2) Все равносторонние треугольники равноугольны.
16. С помощью логического квадрата установите отношение между следующими простыми суждениями:
1) Все студенты изучают логику.
2) Некоторые студенты не изучают логику.
3) Все люди эгоистичны.
4) Ни один человек не эгоист.
5) Не все люди пишут грамотно.
6) Не все люди знают логику.
7) Некоторые из них знают логику.
17. Чем отличается логическая структура суждения от грамматической структуры предложения? Приведите пример распространенного повествовательного предложения и выделите в нем субъект, предикат и связку.
18. Определите вид модальности в следующих суждениях:
1) Возможно, что существует разумная жизнь во Вселенной.
2) Вероятность снегопада летом весьма мала.
3) Сумма углов в треугольнике равна 180°.
4) Сегодня солнечный день.
5) Вы должны пойти на лекцию.
6) Мы обязаны сдавать зачеты.
7) Достоверно известно, что его там не было.
8) Никогда не нарушайте правила движения.
19. Чем отличается грамматическая условная связь импликации в логике?
20. Определите, какую смысловую связь выражают следующие условные предложения:
1) Если идет ток по проводнику, то он нагреется.
2) Если диаметр перпендикулярен к хорде, то он делит ее пополам.
3) Если число делится на 2, то оно не простое.
4) Если вы не знаете логики, то вам трудно будет обнаружить ошибку в рассуждении.
21. Чем отличаются с логической точки зрения связь причины и следствия (действия); основания и следствия? Приведите примеры.
22. Что необходимо сделать, чтобы перевести предложения естественного языка на язык логики? Является ли такой перевод адекватным?
23. Как можно построить аксиоматическую теорию для исчисления высказывания?
24. Какие преимущества процесс логического вывода и доказательства имеет перед табличным способом определения истинностного значения сложных высказываний?
4 ГЛАВА. Логика предикатов
В исчислении высказываний мы рассматривали отношения между высказываниями, не входя в анализ логической структуры отдельных высказываний. Правда, для первоначального знакомства с ними и их классификациями нам пришлось говорить о субъектно-предикатной структуре суждений традиционной логики, а при их делении на общие и частные упомянуть о кванторах общности и существования. Но все эти понятия никак не использовались в исчислении высказываний, где последние берутся как нечто единое, нерасчлененное целое. Нередко поэтому отдельные высказывания рассматриваются как логические атомы, образующие посредством логических операций - отрицания, конъюнкции, дизъюнкции, импликации и эквиваленции - сложные высказывания, или молекулы.
Теперь наступило время перейти к более глубокому анализу высказываний, связанному с изучением их внутренней логической структуры. Уже традиционная логика в своем учении о силлогизмах опиралась на субъектно-предикатную структуру суждений и учитывала их количественную характеристику с помощью таких слов, как "все", "любой", "каждый", "никакой", "некоторые" и т.п.
Как отмечалось в гл. 1, современная логика отличается от традиционной как по глубине и точности исследования, так и по широте применения своих методов. Если традиционная логика ограничивалась логическим анализом отношений между предметами и их свойствами, то современная логика анализирует различные отношения между самими предметами. В результате логика свойств выступает хотя и как важный, но частный случай логики отношений. Тем не менее и с исторической и с практической точек зрения представляется целесообразным обсудить в этой главе элементы теории силлогизмов, во-первых, потому, что такие умозаключения широко используются в повседневных и даже научных рассуждениях, во-вторых, потому, что читатель может сравнить традиционный подход с современным и убедиться в значительной эффективности и точности последнего.
4.1. Свойства, отношения и предикаты
Свойства вещей реального мира представляют собой результат взаимодействия их с другими вещами, ибо без этого они не могли бы проявиться и мы не были бы в состоянии судить о них. В самом деле, мы говорим, например, что алмаз является самым твердым минералом, а графит - мягким потому, что они различаются по свойству твердости и пластичности.
В традиционной логике свойство отображается в суждении предикатом, а вещь, которой принадлежит это свойство, - субъектом. Следует, однако, различать субъект и предикат в грамматике и логике, подобно тому как мы различаем предложение и суждение (высказывание) Суждения, имеющие субъектно-предикатную структуру, отображают часто встречающиеся в действительном мири связи между вещами, событиями и явлениями, с одной стороны, и их свойствами и признаками, с другой. Именно эти связи и стали предметом изучения традиционной логики. Хотя различные виды отношений, такие, как "больше", "меньше", "выше", "ниже", "дальше", "ближе" и т.п., не говоря уже об отношениях родства встречаются часто, но традиционная логика либо совершенно не интересовалась логическим анализом отношений, либо пыталась свести их к субъектно-предикатной структуре.