- •1. Ассоциативное и дискурсивное мышление.
- •2. Понятие о логической форме мышления.
- •3. Понятие о логическом законе.
- •4. Мышление и язык.
- •5. Отношения, изучаемые формальной логикой.
- •6. О пользе изучения логики.
- •§2. Имена и понятия.
- •4. Денотат имени
- •6. Отношения между объемами имен
- •4. Виды понятий
- •§ 5. Отношения между объемами понятий
- •3. Определение должно быть четким, ясным, не допускающим двусмысленности.
- •3. Виды простых высказываний по качеству и количеству
- •3. Распределенность терминов в простых высказываниях
- •§2. Высказывания отрицания. Закон двойного отрицания
- •§3. Соединительные (конъюнктивные) высказывания
- •4. Разделительные (дизъюнктивные) высказывания
- •§5. Условные высказывания
- •Глава 4. Умозаключения:
- •§1. Общая характеристика умозаключений и их виды
- •§2. Выводы из отношений между объемами двух имен (Непосредственные умозаключения)
- •§3. Выводы из отношений между объемами трех имен
- •1. Состав простого категорического силлогизма
- •2. Аксиома силлогизма и ее следствия
- •3.3. Обще правила простого силлогизма
- •3.4. Фигуры и модусы простого силлогизма
- •1. Меньшая посылка должна быть утвердительной.
- •2. Большая посылка должна быть общем.
- •1. Меньшая посылка должна быть утвердительной.
- •2. Заключение должно быть частным.
- •1. Если большая посылка утвердительная, то меньшая должна быть общей.
- •2. Если одна из посылок отрицательная, то большая должна быть общей.
- •3. Если меньшая посылка утвердительная, то заключение должно быть частным.
- •§1. Выводы из отношений между простыми высказываниями
- •2.1. Условно-категоpические силлогизмы
- •2.2. Разделительно-категорический силлогизм и его модусы
- •1. Общая характеристика законов логики
- •2. Закон тождества
4. Разделительные (дизъюнктивные) высказывания
Разделительными называются сложные высказывания, образованные из двух или более простых, соединенных логическим союзов "или".
Простые высказывания в составе сложного называются членами дизъюнкции, или дизъюнктами.
Дизъюнкция бывает полной или закрытой, если в нем перечислены все возможные случаи, и неполной или открытой, если перечислены только некоторые из возможных случаев. Например, высказывание "Деревья бывают или лиственные, или хвойные, или смешанные'' представляет собой закрытую дизъюнкцию, так как предполагается, что других деревьев, кроме хвойных и лиственных и смешанных не существует, а высказывание "Леса бывают или лиственные, или хвойные - открытую дизъюнкцию, так как, кроме перечисленных, существуют еще смешанные леса.
В естественном языке союз "или" может употребляться в двух смыслах: соединителъно-разделительном, когда он связывает такие характеристики, которые не исключают друг друга и могут совмещаться в одном предмете, и строго разделительном, когда связанные им характеристики не могут совмещаться в одном предмете, например, в высказывании "Он или математик, или шахматист" союз "или" употреблен в соеденительно-разделительном смысле, а в высказывании «Имена бывают или единичными, или общими» тот же союз употреблен в строго-разделительном смысле.
Соединительно-разделительный союз "или" образует слабую дизъюнкцию, а строго-разделительные - строгую, или сильную, дизъюнкцию.
Слабой дизъюнкцией, таким образом, является такое высказывание, в котором утверждается истинность, по крайней мере, одного из простых высказывании. Если, например, узнав, что кто-то хорошо разбирается в автомобилей, мы выскажем предположение, что он или механик, или водитель, то не ошибемся, если этот человек окажется а) и механиком. и водителем, б) механиком, но не водителем, в) водителем, но не механиком, Наше предположены окажется ошибочным в случае, когда человек, о котором мы его высказали, не имеет отношения к этим профессиям.
-
P
q
p v q
И
И
И
И
Л
И
Л
И
И
Л
Л
Л
Слабая дизъюнкция истинна тогда и только тогда, когда хотя бы один из ее членов истинен, а все остальные ее члены ложны.
Строгая дизъюнкция - это сложное высказывание, в котором утверждается, что из образующих его простых высказываний только одно является истинным, а остальные ложны. Она отличается от слабое тем, что в последней допустима одновременная истинность всех простых высказываний, а в строгой истинность одного из ее членов исключает истинность остальных. Строгую дизъюнкцию высказывают в тех случаях, когда знают, что из двух или более предположении только одно истинное, хотя и не знают какое.
-
P
Q
p v q
И
И
Л
И
Л
И
Л
И
И
Л
Л
Л
Строгая дизъюнкция истинна только тогда, когда лишь один из ее членов истинен, а все остальные ложны. Поэтому строгую дизъюнкцию иногда называют исключающей.