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

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

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

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

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