Понятие о логической форме, языке и логическом законе
Факультет заочного обучения
Кафедра «Истории и философии»
Контрольная работа
по дисциплине « Логика»
«Понятие о логической форме, языке и логическом законе. Основные формально - логические законы»
Выполнила студентка ________ \
Дата сдачи на проверку «03» февраля 2013 г.
Работа защищена «_____» _________ 2013 г. с оценкой ______
Руководитель: к.ф.н., доцент ____________
Петропавловск-Камчатский, 2013 г.
Содержание
Введение
1.Понятие о логической форме,
языке и логическом законе
2. Основные формально-логические
законы
Заключение
Список литературы
Введение
Как самостоятельная наука логика сложилась более двух тысяч лет назад, в 4 в. до н. э. Ее основателем является древнегреческий философ Аристотель (348-322 гг. до н. э.)
Логика – это наука
о мышлении. Но в отличие от других
наук, изучающих мышление человека,
например психологии, логика, изучает
мышление как средство познания; ее
предметом являются законы и формы,
приемы и операции мышления, с помощью
которых человек познаёт
Цель данной работы – дать понятие логической форме, языку и логическому закону и изучить основные формально-логические законы.
Формально-логические законы глобальны в социально - культурном смысле - они действуют во все времена и во всех странах, люди разных национальностей и разных культур мыслят логически, используя одни и те же законы.
1 . Понятие о логической форме, языке и логическом законе
Логической формой конкретной мысли является строение этой мысли, т. е. способ связи ее составных частей. В логических формах отражается не вся полнота содержания мира, существующего вне нас, а его общие структурные связи, которые необходимо воплощаются и в структуре наших мыслей. Понятия, суждения, умозаключения имеют свои специфические формы (структуры).
Структуру мысли, т. е. ее логическую форму, можно выразить при помощи символов. Логическая форма в трех следующих суждениях: «Все караси — рыбы», «Все люди смертны», «Все бабочки — насекомые». Содержание у них разное, а форма одна и та же: «Все S есть Р»; она включает S (субъект), т. е. понятие о предмете суждения, Р (предикат), т. е. понятие о признаке предмета, связку («есть»), кванторное слово («все»). Иногда связка может отсутствовать или заменяться тире.
Логические принципы действуют независимо от воли людей, не созданы по их воле и желанию. Они являются отражением связей и отношений вещей материального мира. Общечеловеческий характер принципов формальной логики состоит в том, что во все исторические эпохи люди всех классов, всех наций мыслят по одним и тем же логическим принципам.
Кроме формально-логических
принципов правильное мышление подчиняется
основным законам материалистической
диалектики: закону единства и борьбы
противоположностей, закону взаимного
перехода количественных и качественных
изменений, закону отрицания.
Понятие формальной правильности рассуждения относится лишь к логическим действиям и операциям мышления. Если в числе посылок умозаключения встречается ложная посылка, то при соблюдении правил логики мы в заключении можем получить и истину, и ложь. Чтоб это показать, возьмем такое умозаключение: Все металлы — твердые тела. Ртуть не является твердым телом. Ртуть не является металлом.
В этом умозаключении заключение получилось ложным именно потому, что в качестве первой посылки взято ложное суждение. Чтобы заключение было истинным, обе посылки должны быть истинными суждениями (имеется в виду, что правила логики соблюдены). При несоблюдении правил логики (если посылки при этом истинны) мы также можем получить как истинное, так и ложное заключение. Например: Все тигры — полосатые. Это животное — полосатое. Это животное — тигр.
Во втором умозаключении обе посылки — истинные суждения, но полученное заключение может быть как ложным, так и истинным потому, что было нарушено одно из правил умозаключения.
Итак, с точки зрения содержания мышление может давать истинное или ложное отражение мира, а со стороны формы оно может быть логически правильным или неправильным. Истинность есть соответствие мысли действительности, а правильность мышления — соблюдение законов и правил логики. Нельзя отождествлять (смешивать) следующие понятия: «истинность» («истина») и «правильность», а также понятия «ложность» («ложь») и «неправильность».
Материалистическая диалектика — глубокое и всестороннее учение о развитии. Законы и категории материалистической диалектики рассматриваются как отражение всеобщих связей объективного мира и как ступени развития его познания.
Современная логика — это интенсивно развивающаяся наука, которая включает в себя логику формальную и логику диалектическую. На их базе формируется логика научного познания, использующая методы обеих наук для анализа научного знания.
Формальная логика в своем развитии прошла два основных этапа. Основанием деления на эти этапы служит различие применяемых в логике средств и методов исследования. Начало первого этапа связано с работами древнегреческого философа и ученого Аристотеля (384—322 гг. до н. э.), в которых впервые дано систематическое изложение логики. Логику Аристотеля и всю доматематическую логику обычно называют «традиционной» формальной логикой. Традиционная формальная логика включала и включает такие разделы, как понятие, суждение, умозаключение (в том числе и индуктивное), законы логики, доказательство и опровержение, гипотеза. Аристотель видел в логике орудие (или метод) исследования. Основным содержанием Аристотелевой логики является теория дедукции. В логике Аристотеля содержатся элементы математической (символической) логики, у него имеются «начатки исчисления высказываний»6.
Второй этап — это появление математической (или символической) логики.
Немецкий философ Г. В. Лейбниц (1646—1716) по праву считается основоположником математической (символической) логики.
Начиная с Лейбница в логике используется в качестве метода исследования метод формализации, который традиционной логикой относился только к методам математического исследования, а Лейбниц показал, что он имеет общенаучный характер. Лейбниц пытался построить универсальный язык, с помощью которого споры между людьми можно было бы разрешать посредством вычисления. В XIX в. математическая логика получила интенсивное развитие в работах Д. Буля, Э. Шредера, П. С. Порецкого, Г. Фреге и других логиков.
Математическая (или символическая) логика изучает логические связи и отношения, лежащие в основе дедуктивного (логического) вывода. При этом в математической логике для выявления структуры вывода строятся различные логические исчисления, прежде всего исчисление высказываний и исчисление предикатов в их различных модификациях. Можно сказать, что математическая логика разрабатывает применение математических методов к анализу форм и законов доказательного рассуждения.
Логика использует уже
сложившуюся структуру
Основными формами абстрактного мышления являются понятия, суждение и умозаключение.
Понятие – форма мышления, в которой отражаются существенные признаки класса однородных предметов. Понятие в языке выражаются словами («дерево», «веселье») или словосочетаниями («студент экономического факультета», «река Волга»).
Суждение представляет собой форму мышления, в которой что-либо утверждается или отрицается в предметах, их свойствах или отношениях. Суждение выражается в форме повествовательного предложения. Суждения бывают простыми и сложными. Пример сложного суждения «Наступила осень, и птицы полетели на юг» (оно состоит из двух простых суждений).
Умозаключение – это такая форма мышления, посредством которой из одного или нескольких суждений, называемых посылками, по определенным правилам получается заключение. Например, все металлы – электропроводны (железо - металл, железо - электропроводно).
Логическая форма обусловлена наиболее общими, чаще всего встречающимися свойствами, непосредственными связями и отношениями реального мира. Поэтому она и выражает устойчивые черты правильного мышления.
Логическая форма представляет
собой исторически
В ходе логического исследования происходит обнаружение и систематизация определенных схем правильного рассуждения. Эти схемы представляют логические законы, лежащие в основе формально правильного мышления. Рассуждать логично – значит рассуждать в соответствии с законами логик.
Предметом изучения логики являются формы и законы правильного мышления. Мышление есть функция человеческого мозга. Труд способствовал выделению человека из среды животных, явился фундаментом в возникновении у людей сознания (в том числе мышления) и языка. Мышление неразрывно связано с языком. В ходе коллективной трудовой деятельности у людей возникла потребность в общении и передаче своих мыслей друг другу, без чего была невозможна сама организация коллективных трудовых процессов.
Функции естественного языка многочисленны и многогранны. Язык — средство повседневного общения людей, средство общения в научной и практической деятельности. Язык позволяет передавать и получать накопленные знания, практические умения и жизненный опыт от одного поколения к другому, осуществлять процесс обучения и воспитания подрастающего поколения. Языку свойственны и такие функции: хранить информацию, быть средством выражения эмоций, быть средством познания.
Речь может быть устной или письменной, звуковой или незвуковой (как, например, у глухонемых), речью внешней (для других) или внутренней, речью, выраженной с помощью естественного или искусственного языка.
Язык — это не только средство общения, но и важнейшая составная часть культуры всякого народа.
На базе естественных языков
возникли искусственные языки науки.
К ним принадлежат языки
Знак — это материальный предмет (явление, событие), выступающий в качестве представителя некоторого другого предмета, свойства или отношения и используемый для приобретения, хранения, переработки и передачи сообщений (информации, знаний).
Знаки подразделяются на языковые и неязыковые. К неязыковым знакам относятся знаки-копии (например, фотографии, отпечатки пальцев, репродукции и др.), знаки-признаки, или знаки-показатели (например, дым — признак огня, повышенная температура тела — признак болезни), знаки-сигналы (например, звонок — знак начала или окончания занятия), знаки-символы (например, дорожные знаки) и другие виды знаков. Существует особая наука — семиотика, которая является общей теорией знаков. Разновидностями знаков являются языковые знаки. Одна из важнейших функции языковых знаков состоит в обозначении ими предметов. Для обозначения предметов служат имена.
Имя — это слово или словосочетание, обозначающее какой-либо определенный предмет. (Слова «обозначение», «именование», «название» рассматриваются как синонимы.) Предмет здесь понимается в весьма широком смысле: это вещи, свойства, отношения, процессы, явления и т. п. как природы, так и общественной жизни, психической деятельности людей, продуктов их воображения и результатов абстрактного мышления. Итак, имя всегда есть имя некоторого предмета. Хотя предметы изменчивы, текучи, в них сохраняется качественная определенность, которую и обозначает имя данного предмета.
Имена подразделяются на :
1) простые («книга», «снегирь», «опера») и сложные, или описательные («самый большой водопад в Канаде и США», «планета Солнечной системы»). В простом имени нет частей, имеющих самостоятельный смысл, в сложном они имеются;
2) собственные, т. е. имена отдельных людей, предметов, событий («П. И. Чайковский», «Обь»), и общие (названия класса однородных предметов), например «дом», «действующий вулкан».
Каждое имя имеет значение и смысл. Значением имени является обозначаемый им предмет.
Смысл (или концепт) имени — это способ, каким имя обозначает предмет, т. е. информация о предмете, которая содержится в имени. Например, один и тот же предмет может иметь множество разных имен (синонимов). Так знаковые выражения «4», «2+2», «9—5» являются именами одного и того же предмета: числа 4. Разные выражения, обозначающие один и тот же предмет, имеют одно и то же значение, но разный смысл (т. е. смысл выражений «4», «2+2» и «9 — 5» различен).
Язык логики предикатов является общепринятым в современной логике. В формальной логике используются две группы терминов: дескриптивные и логические.
Дескриптивные термины (лат. «descriptio» - описание) – это имена предметов, предикаторы и функциональные знаки. Они выражаются средствами естественного языка – словами.
Имена предметов – это слова или словосочетания, которые обозначают отдельные предметы или классы однородных предметов.
Предикаторы – это языковые выражения, которые обозначают свойства или отношения, наличие которых в суждениях утверждается или отличается.
Законы логики – это законы правильного мышления, способ выражения в мысли норм и принципов человеческой деятельности. Они отражают существенные, необходимые, устойчивые и повторяющиеся связи и отношения человеческого бытия и реализуются в процессе рассуждения, направленного на получение истинного выводного знания. Соблюдение законов логики – необходимое условие достижения истины в процессе рассуждения.
2. Основные формально-логические законы
Обладая всеобщим характером, законы логики являются обязательными во всех областях знания для всех людей различной национальностей, классов, профессий, но их применение ограничено сферой мышления, а их действие правомерно лишь в пределах логических форм.
Основных законов логики четыре:
- Закон тождества – суть этого закона такова: если утверждение истинно, то оно истинно. То есть каждая объективно истинная и логическая правильная мысль или понятие о предмете должно быть определенным и сохранять свою однозначность на протяжении всего рассуждения и вывода. Записывается закон следующим образом: А есть А; А=А.
Таким образом, закон тождества требует, чтобы в процессе определенного рассуждения всякая мысль была тождественной самой себе, а разные мысли никогда не отождествлялись. До тех пор, пока вещь остается в своем качестве нужно брать и понятие о ней в определенном смысле. Конечно, объективный мир не остается постоянным вещи изменяются но, изменяясь в некоторых своих свойствах, они все же остаются в пределах своих существенных признаков, а, следовательно, и понятия о них сохраняют свою устойчивость. То есть закон тождества отражает одно из фундаментальных свойств объективного мира – относительную устойчивость, временное равновесие вещей и состояний. В ходе дискуссий по поводу этого закона заявлялось, будто бы он утверждает, что вещи всегда остаются неизменными тождественными сами себе. Понятно, что это неверно. Закон ничего не говорит об изменчивости или неизменчивости. Он утверждает только что если вещь меняется, то она меняется а если она остается прежней, то она остается прежней. Закон тождества не может утверждать что мир вещей остается застывшим в силу того что по своей природе он правомерен только в сфере мышления и не распространяется на внешний мир.
- Закон непротиворечия – был открыт одним из первых и объявлен важным принципом человеческого мышления. Но, несмотря на это, он часто оспаривался. идея этого закона такова: высказывание и его отрицание не могут быть вместе истинными. Неверно, например, что яблоко зеленое и не зеленое одновременно. То есть, два несовместимых друг с другом суждений не могут быть одновременно истинными, одно из них будет обязательно ложным. Записывается этот закон следующим образом, А не есть не - А
Высказывание и его отрицание должны говорить об одном и том же предмете, рассматриваемом в одном и том же отношении. Эти два высказывания должны совпадать во всем, кроме одной единственной вещи: то, что утверждается в одном, должно отрицаться в другом. Необходимо иметь в виду, что данный закон действует в определенных границах, он распространяется не на все суждения, а только на несовместимые. При этом он лишь указывает, что одно из двух высказыванием будет ложным. Но какое из них, закон непротиворечия не определяет.
Существование реальных противоречий не нарушает законов формальной логики, так как о противоречивых процессах необходимо мыслить непротиворечиво, логически правильно. При этом важно соблюдать следующие условия закона непротиворечия:
- В процессе мышления необходимо утверждать принадлежность предмету одного признака и в то же время отрицать принадлежность данному предмету другого признака. Только тогда в процессе мышления не возникнут противоречия.
- Противоречия между суждениями не будет, если в ходе процесса мышления рассматриваются различные предметы.
- Противоречия не будет, если в ходе мышления что-либо утверждается и в то же время отрицается относительно предмета, рассматриваемого в разное время.
- Противоречия не будет, если один и тот же предмет нашей мысли рассматривается в различных отношениях.
- Закон исключенного третьего – сущность закона такова: два противоречащих высказывания об одном и том же предмете, взятом в одно и то же время и в одном и том же отношении, не могут быть вместе истинными или ложными. Записывается этот закон следующим образом:
А, или не – А (например, этот фильм неинтересный, этот фильм интересный) такие суждения не могут быть сразу оба ложными, а из ложности одного обязательно следует истинность другого. Данный закон требует выбирать одно из двух противоречащих высказываний. Одно из них есть искомая истина. Третьего, промежуточного суждения, которое оказалось быть истинным, не существует. Но закон исключенного третьего не указывает, какое из двух противоречивых суждений будет истинным по своему содержанию. Значение закона состоит в том, что он указывает направление в поисках истины: возможно только два решения вопроса «или – или».
- Закон достаточного основания – выражает одну из общих черт правильного – его обоснованность. Всякая мысль может быть признана истинной только тогда, когда она имеет достаточное основание.
А есть потому, что есть В, где А - логическое следствие, а В – логическое основание. В процессе рассуждений, необходимо руководствоваться какими - либо основаниями. В конечном счете, они могут быть представлены в виде достоверных фактов, правил и законов науки. Быть последовательным означает выдвигать исходные суждения на достаточном основании и делать выводы, вытекающие из этих суждений.
Достаточное основание – эта любая мысль, уже проверенная и признанная истинной, из которой с необходимостью вытекает истинность другой мысли.
Доказать утверждение – значит показать, что оно является логическим следствием других утверждений, истинность которых уже установлена.
Но, выдвигая общее положение о необходимости достаточного основания, логика не дает определенных указаний, при каких условиях основание можно считать достаточным. Здесь помогает практика.
Логическую обоснованность нельзя отождествлять с причинно – следственной связью. Отношение между основанием и следствием действует в сфере мышления, причинно – следственные же связи выражают отношение между вещами, явлениями, событиями. Кроме того, закон достаточного основания не совместим с рассуждениями, которые строятся по схеме «после этого – значит по причине этого». Последовательность событий еще не говорит об их обоснованной связи. Одно явление может предшествовать другому, но не быть его основанием, например, смена дня, ночи, времен года и т. п.
Закон достаточного основания
не допускает необоснованных выводов,
он требует убедительного
Заключение логически следует из принятых посылок, если оно связано с ними логическим законом. Без логического закона нет логического следования и нет самого доказательства.
Заключение
Таким образом, логическая форма - это исторически установившийся способ связи между составными элементами человеческой мысли. Она отражает общие и простые связи и отношения бытия и человеческой деятельности.
Язык — средство повседневного общения людей, средство общения в научной и практической деятельности. Язык позволяет передавать и получать накопленные знания, практические умения и жизненный опыт от одного поколения к другому, осуществлять процесс обучения и воспитания подрастающего поколения. Функции его многочисленны и многогранны.
Законы мышления или формально-логические
законы – это необходимая
Логические законы действуют независимо от воли и желания людей. Они являются отражением действительных связей и отношений вещей.
Логические законы образуют фундамент логики, на который опирается все ее знание.
Список литературы
- Алмаев Д.Т. Логика. - М., 2003г.
- Афанасьев О. В. Логика. М., 2003
- Бочаров В. А., Маркин В. П. Основы логики. М., 2002
- Гетманова А. Д. Учебник по логике. М., 2007
- Демидов Н. А. Логика. М., 2006
- Доронин И. А. Логика. М., 2008
- Ивлев Ю. В. Логика. М., 2004
