Тема 4. Суждение как форма мысли (логика высказываний)
Предложение и суждение. Понятие и суждение. Грамматический анализ предложения. Общая характеристика суждения. Структура: субьект, предикат, связка. Термины и суждения. Виды суждений: простые и сложные; категорические, описательные (атрибутивные), экзистенциальные, модальные. Суждение и норма. Количество и качество суждений.
Логическая последовательность в суждениях. Отношение логического следования. Условия логической последовательности.
Совместимые и несовместимы суждения. Логический квадрат: отношения между суждениями. Язык логики высказываний.
Логический алфавит. Таблица истинности. Исчисление истинностных значений логических формул. Тождественно-истинные и тожественно-ложные формулы.
Суждением, или высказыванием, называется логическая форма теоретического познания, представляющая собой истинное или ложное утверждение о принадлежности изучаемому предмету некоторого свойства либо об отношении изучаемого предмета к соотносимым с ним предметам. Наличие утверждения или отрицания служит отличительной характеристикой суждения как особой формы мысли. Именно благодаря этому суждение обладает еще одним важным признаком: оно может быть истинным или ложным. Если понятие выделяет и обобщает объекты при помощи признаков, то суждение не выделяет и не обобщает. Суждение не выделяет и не обобщает, оно говорит, что состояние мира таково, что данный признак присущ данному объекту или, наоборот, не присущ данному объекту. В языке суждения выражаются посредством повествовательных предложений. Высказывание о свойствах предмета называют атрибутивными суждениями. Например: «Это утверждение доказуемо». Высказывания об отношениях между предметами называют реляционными. Например: «Курск расположен южнее Санкт-Петербурга». В классической логике высказываний различают простые и сложные суждения. Простыми считают суждения, которые в своей структуре более элементарных высказываний не содержат. Язык классической логики высказываний содержит три основные логические связки: конъюнкцию, дизъюнкцию, импликацию, а также оператор отрицания. Представление высказываний естественного языка в символическом виде с помощью логических переменных означает их формализацию.
|
|
|
Соглашения, о которых идет речь, выражаются таблицами истинности для логических связок, показывающими, в каких случаях высказывание с той или иной связкой считается истинным, а в каких – ложным. При этом мы опираемся на истинность или ложность простых суждений, являющихся компонентами сложного суждения.
Модальные суждения основаны на понятиях, позволяющих охарактеризовать высказывание или описываемую в нем ситуацию с той или иной точки зрения. К модальным относятся такие понятия, как «необходимо», «возможно», «случайно», «запрещено». Модальное высказывание дает оценку входящего в него более простого высказывания или описываемой в последнем ситуации с той или иной точки зрения. В логике рассматриваются только наиболее интересные и важные группы модальных понятий. К ним относятся, в частности, следующие группы модальных понятий: логические, физические, теоретико-познавательные, нормативные и оценочные.
|
|
|
Суждения А и В называются сравнимыми, если их термины совпадают с точностью до перестановки. Суждения С и D назовем несравнимыми, если в суждении С встречается хотя бы один термин, не входящий в D. У каждого такого типа отношений есть свои виды. Так, отношения совместимости делятся на отношения подчинения и противности. Отношения несовместимости – на отношения противоположности и противоречия. Для систематизации и наглядного представления этих отношений еще в средние века был придуман так называемый логический квадрат, который служит для иллюстрации отношений между категорическими суждениями.
Логика высказываний исходит из следующих двух допущений: 1) всякое высказывание является либо истинным, либо ложным; 2) истинное значение сложного высказывания зависит только от истинностных значений входящих в него простых высказываний и характера их связи.
|
|
|
Отношением логического следования является такая связь между высказываниями (посылками) и высказыванием (заключением), при которой заключение не может оказаться ложным, если посылки являются истинными. Суждения А и В находятся в отношении логического следования, если не может быть так, чтобы первое суждение было истинно, а второе – ложно. Отношение логического следования делает заключение необходимым условием истинности посылок и вводит асимметрию в их истинную зависимость друг от друга. Если заключение ложно, то, по крайней мере, одна из посылок ложна.
Основные понятия и термины:
аподиктический, модальность, деонтическая модальность, атрибутивные суждения, экзистенциальные суждения, суждение, субъект суждения, предикат, контрарная противоположность, контрадикторная противоположность.
Контрольные вопросы
1. Общая характеристика и роль суждения в познании.
2. Простые и сложные суждения.
3. Структура суждений.
|
|
|
4. Виды сложных суждений.
5. Понятие необходимого и достаточного условия.
6. Типы и виды модальности.
7. Основные виды логических отношений между высказываниями.
8. Логические отношения между категорическими суждениями.
9. Операции с простыми категорическими суждениями (непосредственные умозаключения).
Тема 5. Законы логики
Понятие закона: общая характеристика. Законы природы, мышления и законы логики: сравнение и анализ. Закон и норма. Нормативный характер законов логики. Законы формальной логики: тождества, противоречия, исключенного третьего, достаточного основания. Формальный (абстрактный) характер законов. Область применения законов логики. Законы логики (мысль) и законы диалектики (жизнь).
Законы – это основные истины теорий, формулируемых в той или иной науке. Как и любая другая наука, логика формулирует свои законы, только законы особые. Они, с одной стороны, похожи на законы науки тем, что описывают основные свойства мышления, а с другой – похожи на законы права или нравственности тем, что формулируют основные требования к правильному мышлению. Таким образом, логические законы – это как бы дважды законы. Они одновременно описывают и предписывают. Традиционная логика знает всего лишь четыре основных закона логического мышления, три из них были сформулированы в IV в. до н. э. Аристотелем, четвертый закон был добавлен немецким философом и ученым XVII в. Г. В. Лейбницем. Законы логики – это такие суждения, которые являются истинными только в силу своей логической формы, т. е. только на основании связи составляющих их суждений.
Закон тождества: всякая мысль в процессе рассуждения должна оставаться равной самой себе.
Закон противоречия: два противоположных суждения не могут быть одновременно истинными – по крайней мере одно из них необходимо ложно.
Закон исключенного третьего: из двух противоречащих друг другу суждений одно обязательно истинно.
Закон достаточного основания: всякая истинная мысль должна иметь основание, достаточное для того, чтобы признать ее истинной.
Основания истинности могут быть объективно или субъективно достаточными. Объективно достаточные основания придают суждению статус знания или убеждения, субъективно достаточные основания – статус веры. Законы логики можно нарушить по двум основаниям: а) сознательно; б) невольно. Софизм – это нарушение законов логики, сознательно спланированное с целью введения собеседника в заблуждение. Паралогизм – нарушение законов логики, допускаемое невольно.
Основные понятия и термины:
норма, достоверность, опосредованная достоверность, непосредственная достоверность, паралогизм, парадигма, логический закон, логическое противоречие, логическое следование, логическое следствие.
Контрольные вопросы:
1. Понятие логического следования и логического закона.
2. Законы логики и законы природы: общая характеристика и анализ.
3. Законы логики и законы психологии: общая характеристика и анализ.
4. Законы формальной логики: общая характеристика.
5. Закон тождества.
6. Закон противоречия.
7. Закон исключенного третьего.
8. Закон достаточного основания.
Дата добавления: 2018-04-15; просмотров: 716; Мы поможем в написании вашей работы! |
Мы поможем в написании ваших работ!