- •Ростов-на-дону «феникс»
- •Глава 1
- •Глава 1. Теоретическая логика: круг проблем____
- •Глава 1. Теоретическая логика; круг проблем
- •Глава 1. Теоретическая логика; круг проблем____
- •Глава 2
- •2.1. Логические отношения между понятиями
- •Глава 2. Понятие
- •Глава 2. Понятие
- •Глава 2. Понятие
- •Глава 2. Понятие
- •Глава 2. Понятие
- •Глава 2. Понятие
- •Глава 2. Понятие
- •Упражнения
- •Глава 2. Понятие
- •Глава 2. Понятие
- •Глава 2. Понятие
- •Глава 2. Понятие
- •Глава 2. Понятие
- •Глава 2. Понятие
- •Глава 3
- •Глава 3. Суждение
- •Глава 3. Суждение
- •Глава 3. Суждение
- •Глава 3. Суждение
- •Глава 3. Суждение
- •Глава 3. Суждение
- •Глава 3. Суждение
- •Глава 3. Суждение
- •Глава 3. Суждение
- •Упражнения
- •Глава 3. Суждение
- •Глава 3. Суждение
- •Глава 3. Суждение
- •Глава 3. Суждение
- •Глава 3. Суждение
- •Глава 3. Суждение
- •Глава 3. Суждение
- •Глава 4
- •Глава 4. Рассуждение
- •Глава 4. Рассуждение
- •Глава 4. Рассуждение
- •Глава 4. Рассуждение
- •Глава 4. Рассуждение
- •3. А посылка
- •Глава 4. Рассуждение
- •Глава 4. Рассуждение
- •Глава 4. Рассуждение
- •Глава 4. Рассуждение
- •Глава 4. Рассуждение
- •Глава 4. Рассуждение
- •Глава 4. Рассуждение
- •Глава 4. Рассуждение
- •Глава 4. Рассуждение
- •5. Логика 129
- •1 Фигура 2 фигура 3 фигура 4 фигура
- •Глава 4. Рассуждение
- •Глава 4. Рассуждение
- •1. Только в споре рождается истина.
- •2. Некоторые высказывания противоречивы. Лишь непротиворечивое возможно.
- •Глава 4. Рассуждение
- •Глава 5. Классическая логика предикатов
- •1. Тоkько демократическое государство может быть правов{м.
- •2. Лишь глупые люди верят в конец света.
- •3. Каждого, кто верит в себя, можно считать человеком. Никто, ни один человек не верит политикам.
- •9. Тоkько в споре рождается истина.
- •Глава 5. Классическая логика предикатов
- •17. Любой честный человек не любит лжецов. Каждый принципиальный человек честен.
- •Глава 5. Классическая логика предикатов
- •Глава 5. Классическая логика предикатов
- •Глава 5. Классическая логика предикатов
- •Глава 5. Классическая логика предикатов
- •Глава 5. Классическая логика предикатов
- •Глава 5. Классическая логика предикатов
- •Глава 6
- •Глава 6. Неклассическая логика; время, модальность,...
- •Глава 6. Неклассическая логика: время, модальность,...
- •Глава 6. Неклассическая логика: время, модальность,...
- •Глава 6. Неклассическая логика: время, модальность....
- •Глава 6. Неклассическая логика: время, модальность,...
- •Глава 6. Неклассическая логика; время, модальность,...
- •Глава 6. Неклассическая логика; время, модальность....
- •Глава 7 7.1. Логическая структура доказатеkьства
- •Глава 7. Доказательство и опровержение
- •Глава 7. Доказательство и опровержение
- •Глава 7. Доказательство и опровержение____
- •Глава 7. Доказательство и опровержение
- •Глава 7. Доказательство и опровержение
- •Глава 8. Проблема, гипотеза, теория
- •Глава 8. Проблема, гипотеза, теория
- •Глава 8. Проблема, гипотеза, теория
- •Глава 8. Проблема, гипотеза, теория
- •Глава 8. Проблема, гипотеза, теория
- •Глава 8. Проблема, гипотеза, теория
- •Глава 8. Проблема, гипотеза, теория
- •Глава 8. Проблема, гипотеза, теория
- •Глава 8. Проблема, гипотеза, теория
- •Глава 8. Проблема, гипотеза, теория
- •Глава 8. Проблема, гипотеза, теория
- •Глава 8. Проблема, гипотеза, теория
- •Глава 9
- •Глава 9. Диалогика
- •Глава 9. Диалогика
- •Глава 9. Диалогика
- •Глава 9. Диалогика
- •Глава 9. Диалогика
- •Глава 9. Диалогика
- •Глава 9. Диалогика
- •Глава 9. Диалогика
- •Глава 9. Диалогика
- •Глава 9. Диалогика
- •Глава 10
- •Глава 10. Эротетика диалога
- •Глава 10. Эротетика диалога
- •Глава 10. Эротетика диалога
- •Глава 10. Эротетика диалога
- •Глава 10. Эротетина диалога
- •Глава 10. Эротетика диалога
- •Глава 10. Эротетика диалога
- •Глава 10. Эротетика диалога
- •Глава 10. Эротетика диалога
- •Глава 11
- •Глава 11. Прагматика диалога
- •Глава 11. Прагматика диалога
- •Глава 11. Прагматика диалога
- •Глава 11. Прагматика диалога
- •Глава 11. Прагматика диалога
- •Глава 11. Прагматика диалога
- •Глава 11. Прагматика диалога
- •Глава 11. Прагматика диалога
- •Глава 11. Прагматика диалога
- •Глава 11. Прагматика диалога
- •Глава 11. Прагматика диалога
- •Глава 11. Прагматика диалога
- •Глава 11. Прагматика диалога
- •Глава 11. Прагматика диалога
- •Глава 11. Прагматика диалога
- •Глава 11. Прагматика диалога
- •Глава 11. Прагматика диалога
- •Глава 11. Прагматика диалога
- •Глава 11. Прагматика диалога
- •Глава 12 12.1. Парадоксы
- •Глава 12. Классические парадоксы и софизмы
- •Глава 12. Классические парадоксы и софизмы
- •12.2. Софизмы
- •Глава 12. Классические парадоксы и софизмы
- •Глава 12. Классические парадоксы и софизмы abc
- •Глава 12. Классические парадоксы и софизмы____
- •Тема 1. Теоретическая логика: круг проблем
- •Тема 2. Понятие как логическая форма научного познания
- •Тема 3. Суждение как логическая форма научного познания
- •Приложение
- •Приложение
- •Тема 4. Рассуждение как логическая форма научного познания
- •Тема 5. Логика, диалектика и методология науки
- •Тема 6. Диалогика: круг проблем
- •Приложение
- •Оглавление
Глава 5. Классическая логика предикатов
4. Если В = ЗхС(х,у1,...,уп) и Be сп[а], то
С(у,у1,...,уп)е сп[а]для новой свободной предметной переменной у, yt встречающейся в списке Сп[А].
5. Если В = VxC(x,y1,...,yn) и ВбСп[д], то
С(у,У1,.--,Уп)<= сп[а)для каждой свободной предметной переменной у, встречающейся в списке Сп[А[.
Определение 5.12. Модельной МК[А]-конструкци-ей для формулы А называется множество альтернативных списков формул iCn[AJ1,...,Cn[A]nji построенных по правилам определения 5.11.
Определение 5.13. Список Сп[А] называется замкнутым, если он содержит формулу В такую, что
ВеСп[д]и -|ВеСп[А]. Модельная конструкция называется замкнутой, если замкнут каждый принадлежащий ей список формул из {Сп^]^.
Определение 5.14. МК-моделью для формулы А называется любой незамкнутый список формул Сп[А].
Определение 5.15. Формула А называется МК-ис-тинной, если и тоkько если она имеет МК-модель, определенную на МК[А]-конструкции.
Определение 5.16. Формула А называется логически истинной в классической логике предикатов, если и тоkько если ее контрдуал, то есть негативно-нормальная форма формула —iA, не является МК-истинн{м ни на одной из МК-моделей. Обозначается: h=A.
167
_______________Логика________________
Теорема 5.3. l=A на модельной структуре М = (U, f) если и только если (==А на модельной конструкции МК [А].
Теорема приводится без доказатеkьства.
С логической точки зрения метод модеkьных структур и метод модельных конструкций равносильны по своим результатам. В соответствии с теоремой 5.3 они приводят к одному и тому же множеству логических формул, которые считаются логически истинными. Но каждый из этих методов опирается на отличающиеся друг от друга концепции истинности. Как уже было сказано, метод модеkьных структур основывается на классической или корреспондентской концепции, в соответствии с которой быть истинным, значит соответствовать действитеkьности.
В МК[А]-конструкции реализуется концепция когерентности истины. В соответствии с когерентной концепцией истины высказывание является истинным, если оно совместимо с множеством других высказываний и может быть включено в данное множество без противоречия. Безусловно, в модеkьные структуры и модельные конструкции вкладывается различный философский смысл относитеkьно понятия истинности. Модеkьные структуры определяют семантическую категорию истинности как отношения между языком и реальностью. В модельных конструкциях категория истинности устанавливает отношения между лингвистическими объектами: формулой и списком формул. В модельных структурах основными семантическими понятиями являются понятия предметного универсума и определенного на нем множества предикатов, то есть, в целnм, — понятие состояния объекта. В модеkьных конструкциях
168
Глава 5. Классическая логика предикатов
таким основным понятием является понятие списка формул, а также множества атомарных подформул списка, образующих описание состояния.
Пример 1. Доказать методом модельных конструкций логическую истинность формулы
Зх(А(х)л В(х)) -> (ЗхА(х) л ЗхВ(х)). Доказательство. Приведем данную формулу в негативно-нормальную форму методом эквивалентных преобразований.
1. А = эх(а(х) л В(х)) -> (ЭхА(х) л ЭхВ(х)).
2. -,Зх(А(х) л b(x)) v (ЗхА(х) л ЗхВ(х)). КЛВ
3- А° = Vx(-nA(x) v -.В(х)) v (ЭхА(х) л ЗхВ(х)), %>у(,
где А° — негативно-нормальная формула для А. 4. Контр. А[А] = Эх(А(х)лВ(х))л(Ух-,А(х)уУх-,В(х)), где Контр. А[А] — контрдуал для формулы А°.
Модельная конструкция контрдуала для формулы А° строится в соответствии с правилами 1—5 определения 5.11.
1. Контр. А[А] (1)
2. Зх(А(х)дВ(х)) (2)
3. Vx-,A(x) v Vx-,B(x) (2)
4. (А(у)лВ(у)) (4) 5- А(у) (2) 6. В(у) (2) 7.1. Vx-,A(x) 7.2. Vx^B(x) (3) 8.1. ^А(у) 8.2 ^в(у) (5) (5-8.1)— противоречие; (6-8.2) — противоречие.
169
_______________Логика
Следовательно, по определениям 5.12—5.16:
Пример 2. Проверить логическую корректность следующего силлогизма методом модельных конструкций.
Только философы эгоисты.
Нет циника, который не был бы эгоистом.
Следовательно, все циники — философы.
Решение. Данный силлогизм имеет следующий перевод на формальный язык (см. пример к упр. 5.1) Vx(a(x) -» Ф(х)), -Вх(ц(х) л -.Э(х)) => Vx(li;(x) -» Ф(х)).
Данный перевод силлогизма на формальный язык имеет следующую негативно-нормальную форму (см. пример к упр. 5.2.)
Vx(-O(x) v Ф(х))л Ух(-Щ(х)л Э(х))л Зх(ц(х) v -пФ(х)). Построим модельную конструкцию для контрду-ала формулы А в негативно-нормальной форме, испоkьзуя условия 1-5 определения 5.11.
1.
|
Vx(-,afx)v Ф(х))л Ух(-^ц(х)л Э(х))л Эх(ц(х) v -,ф(х))
|
(1)
|
2.
|
Ух(-тЭ(х)уф(х))
|
(2)
|
3.
|
Ух(-,Ц(х)лЭ(х))
|
(2)
|
4.
|
Эх(ц(хК-,ф(х))
|
(2)
|
5.
|
ц(у)у-,ф(у)
|
(4)
|
6.
|
-,ц(у)лЭ(у)
|
(5)
|
7.
|
-,Ц(у)
|
(2)
|
8.
|
э(у)
|
(2)
|
9.1.
|
ц(у) 9-2- ->ф(у)
|
(3)
|
|
7-9.1 -® Ю.2. -,э(ууф(у))
|
(5)
|
|
11.2.1. _,э(у) 11.2.2. ф(у)
|
(3)
|
8-11.2.1 — ® 9.2-11.2.2 —<
___Глава 5. Классическая логика предикатов
Модельная конструкция для контрдуала замкнулась. Следовательно, силлогизм логически корректен.
Упражнения
5.8. Проверьте логическую корректность силлогизмов, приведенных в упр. 5Л, методом модеkьных конструкций.
5.9. Докажите логическую истинность формул упр. 5.6 методом модельных конструкций.
5.10. Опровергните логическую истинность формул упр. 5.7 методом модельных конструкций.
5.3. Теория доказатеkьств классической логики предикатов
Теоретическую логику иногда называют формальной к огромнnму неудовольствию бол|шинства исследователей в области логической науки и ее истинных почитателей. Такая неудовлетворенность в терминологии вызвана прежде всего тем, что под термин «формальная логика», преднамеренно или по незнанию, подводят всю современную структуру логики в целом, отказывая ей в какой-либо содержатеkьной значимости. Однако это, конечmо, не так. Теория моделей классической логики предикатов — образца современной логической теории — обнаруживает глубинный содержательный смысл, заложенный в такие семан-
171
_______________Логика_______________
тические категории, как понятие модели или истинности. Содержательные аспекты логического исследования были подробно рассмотрены и изучены в предшествующем разделе.
И все же профессиональный исследоватеkь в области логического познания, изгоняя крамолу допущения некоторой «содержательной логики», отличной от изучаемой и развиваемой им, всегда готов признать, что значительная часть теоретической логики занимается исключительно формальн{ми проблемами, никак не связанными непосредственно с изучением и моделированием реальности. Эта часть логики называется теорией доказатеkьств, в которой анализируются проблемы }ффективной и регулярной выводимости одних логических структур из других, не заботясь о том, какие содержатеkьные интерпретации могли бы быть для них подходяyими.
Теория доказательств, в первом приближении, исследует логические правила образования формальных структур, то есть формализованного языка теории, а также правила преобразования этих структур в другие формальные структуры. Последние являются логическими правилами вывода и доказатеkьства. В разделе 4.2, относящемся к классической логике высказываний, уже затрагивались эти вопросы в рамках изучения дедуктивной теории натурального вывода.
В этом разделе будут сформулированы некоторые вводные положения и замечания, связанные с рассмотрением аксиоматического метода в теории доказательств классической логики предикатов. Аксиоматический метод является древнейшим в логических исследованиях и методологии научного познания. Еще два с половиной тысячелетия назад аксиоматический метод стал образцом систематизации
172