Почему люди задают вопросы?

[ (S ? Р) ? (C ? S) ? ? [ (C ? Р) V (C ? Р) ] ?

читается таким образом: «Если все люди смертны и если Сократ человек, то значит ли это, что Сократ смертен или не значит, что Со­крат смертен?» Но это еще не вывод, а только вопрос. Вывод последует только в том случае, если будет какой-то ответ. Отсюда выводом слу­жит то, что выступает следствием из всех трех вопросов, т. е. что пред­ставляется ответом на каждый вопрос:

[ (S ? Р) ? (C ? S) ? [ (C ? Р) ? ? ? (C ? Р) ]

написанное можно прочесть таким образом: «Если все люди смер­тны, и если Сократ человек и если Сократ смертен, то значит Сократ смертен». В конечном итоге этот диалог принимает классическую фор­му простого силлогизма:

[ (S ? Р) ? (C ? S) ? ? ? (C ? Р) ]

«Если все люди смертны и если Сократ человек, то Сократ смертен».

Но необходимо помнить, что имеем дело не с двумя, а с тремя по­нятиями: «все», «люди», «смертны» и сочетанием этих понятий. В та­ком случае формальная запись примет следующий вид:

{ [ (S ? Б) ? Р ? ? (C ? [ S ? Б ] } ? ? C ? P ?

«Если все (S) люди (Б) смертны (Р) и если Сократ (С) есть чело­век (S ? Б), то Сократ (С) — смертен (Р)».

В самом общем виде, если силлогизм (S ? Р) представить как (А), силлогизм (С ? S)— (Б) и силлогизм (С ? Р) представить как (В), то общая формула будет выглядеть таким образом:

[ (А V А) ? ? (Б V Б) ? ] ? (В V В) ?

Как видно здесь имеются три самостоятельных и одинаковых пред­положения:

(А V А); (Б V Б); (В V В).

Но между ними имеются и принципиальные различия, если они находятся в некоторой логической цепочке рассуждения. А именно, ес­ли в первом предложении мы получаем (А), то теряют смысл и все ос­тальные предложения, их просто не существует, поскольку это озна­чает, что концепция (А V А) не подтвердилась, оказалась ложной; тем самым это означает, что мы должны начать всю работу сначала. Для логического рассуждения необходимо всегда иметь утвердительную концепцию, имеющую положительное, подтверждающее значение, а именно, необходимо иметь (А). Только в этом случае можно сформу­лировать другую концепцию и другое предположение, которое также имеет вид концептуально-гипотетического знания, в частности (Б V Б).