4 ГЛАВА. Логика предикатов

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 
17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 
34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 
51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 
68 69 70 71 

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

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

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