Чтение онлайн

3. Молодой афинянин обратился к Сократу за советом: стоит ли ему жениться или нет? Сократ ответил: “Если тебе попадется хорошая жена, то будешь счастливым исключением, если – плохая, то ты будешь, как и я, философом. Но тебе попадется хорошая или плохая жена”. Присутствующий при этом пожилой афинянин сказал: “Но моя жена и ни хорошая, и ни плохая”. Сократ ответил: “Значит, хорошая”. (Закончите рассуждение.)

4. Во время пожара некто рассуждает так: “Если я пойду по лестнице, то сгорю. Если я выпрыгну из окна, то разобьюсь. Я не пойду по лестнице или не выпрыгну из окна. Следовательно, я не сгорю или не разобьюсь”.

Условные умозаключения. Посылками и заключениями этих умозаключений являются условные суждения.

Контрапозиция. Это умозаключение имеет следующую логическую форму:

А– >В

________

B– > A

П р и м е р:

Если философ — марксист, то он диалектик________________________

Если философ не диалектик, то и не марксист.

Сложная контрапозиция. Схема:

(АВ)– >С

__________ .

(АС)– >В

П р и м е р:

Если Иванов совершил преступление, предусмотренное ст. 156 УК, и он же совершил преступление, предусмотренное ст. 206 УК,

то он подлежит наказанию по двум этим статьям.__________________________

Если Иванов совершил преступление, предусмотренное ст. 156 УК, и он не подлежит наказанию по двум статьям — 156 и 206 УК, то он не совершил преступление, предусмотренное ст. 206 УК.

Транзитивность:

A– >B, B– >C

___________ .

A– >C

Импортация:

A– > (B– >C)

__________ .

(AB)– >C

Экспортация:

(AB)– >C,

_________ .

А– >(В– >С)

В традиционной логике рассматривался один вид наиболее простых умозаключений за другим и выделялись формы правильных умозаключений и формы неправильных. Учащимся предлагалось заучивать формы тех и других рассуждении. Недостатком этого способа изучения является то, что изучение занимает слишком много времени и не приводит к сколь-нибудь завершенному логическому образованию, поскольку правильных и неправильных способов рассуждении бесконечно много.

Современная логика нашла несколько способов обзора бесконечного множества форм правильных рассуждений, относящихся к логике высказываний. Рассмотрим один из них.

Табличное построение логики высказываний.

Логика высказываний — раздел символической логики, поэтому в ней используется язык символов. Символы этого языка:

а) p, q, r, s, p1,q1,... — пропозициональные символы (пропозициональные переменные);

б) , , , , — логические термины (логические константы);

в) (,) — скобки.

Определение формулы:

а) пропозициональная переменная есть формула;

б) если А есть формула и В есть формула, то A, (А В),(A B), (А В), (А В) — формулы;

в) ничто иное не есть формула.

Согласно определению, выражения (рq), ((рq) (р r)), p, r являются формулами, а выражения (p q) , r , (р s) — нет.

Примем соглашения об опускании скобок в формулах. Будем опускать внешние скобки. Условимся считать, что знак связывает теснее, чем знаки , , , ; знак — теснее, чем , , ; — теснее, чем , ; теснее, чем . Исходя из сказанного, в формулах ((рq) (rs)), (р (р q)) можно опустить скобки следующим образом:

р q r s, р (р q).

Упражнение 4

Восстановите скобки в следующих формулах:

1. р q r;

2. q ( p r) q;

3. р q р r р q;

4. р q r р (q r).

При табличном построении логики высказываний логические константы определяются посредством таблиц истинности. При этом принимается, что каждое высказывание имеет одно значение — или “истина”, или “ложь”.

Приведем эти табличные определения логических констант еще раз:

А	В	А В	A В	А В	А В
и	и	и	и	и	и
и	л	л	и	л	л
л	и	л	и	и	л
л	л	л	л	и	и

Назовем формулу, являющуюся пропозициональной переменной, элементарной, формулу, содержащую логические константы, — сложной. В сложной формуле можно выделить логическую константу, называемую главной логической константой формулы. Поясним, как это можно сделать.

Каждую сложную формулу логики высказываний можно единственным образом представить в виде А, или А В, или A В, А В или А В. Буквами А и В здесь обозначаются формулы, являющиеся частями сложной формулы. Подформулы, конечно, в свою очередь могут быть сложными формулами.