Все слоны – тяжелые

Все слоны – млекопитающие.

Некоторые млекопитающие – тяжелые.

Является логически правильным, поскольку его логическая форма

Все С есть Т.

Все С есть М.

Некоторые М есть Т.

гарантирует, что при любой интерпретации параметров С, Т и М из истинных посылок мы получим истинное заключение.

А вот рассуждение

Все львы – хищники.

Все львы питаются мясом.

Все хищники питаются мясом.

нельзя признать правильным. Хотя его заключение является истинным, оно не следует из предложенных посылок. Рассмотрев логическую форму данного рассуждения:

Все Л есть Х.

Все Л есть П.

Все Х есть П.

мы видим, что истинность посылок не гарантирует в общем случае истинности заключения. Действительно, к этому рассуждению можно подобрать контрпример:

Все львы – животные.

Все львы питаются мясом.

Все животные питаются мясом.

Мы всего лишь заменили термин «хищники» на более широкий термин «животные». Обе посылки при этом остались истинными, а вывод оказался откровенно ложным. Это означает, что логического следования между посылками и заключением нет.

Другая, не менее важная задача логики – обнаружение законов мышления, которые были бы истинными всегда и при любых обстоятельствах, то есть логически истинными.

Логически истинными называются высказывания, истинность которых гарантирована их логической формой. Сами же логические формы таких высказываний называют логическими законами.

Например, высказывание «жизнь есть жизнь» является логически истинным, поскольку его логическая форма «А есть А» гарантирует, что при любой интерпретации параметра А мы получим истинное высказывание. Сама же формула «А есть А» представляет собой логический закон.

Существуют, конечно, и высказывания, логическая форма которых гарантирует их ложность. Такие высказывания называются логически ложными, а их логически формы – логическими противоречиями. Каждое логическое противоречие – это отрицание какого-то логического закона.

Например, высказывание «в детстве у меня не было детства» (А.П. Чехов) является логически ложным. Его логическая форма – «А не есть А» – гарантирует, что при любой интерпретации параметра А мы получим ложное высказывание. Надо заметить, что люди редко нарушают логические законы открыто. Чаще всего противоречие проникает в наши рассуждения в неявной форме, по недомыслию.

Упражнение 5. Найдите источники противоречия в следующих контекстах:

Дата добавления: 2015-06-30; просмотров: 135; Нарушение авторских прав

Мы поможем в написании ваших работ!