Несовместимость.
-
Противоречие. Такие суждения не могут быть вместе не истинными, ни ложными. Например: Все великие люди имеют низкий рост. Некоторые великие люди не являются людьми низкого роста. Если одно из них истинно, то другое обязательно ложно.
-
Противоположность. Суждения находятся в состоянии противоположности, если не могут быть вместе истинными.
Например: Все великие люди низкого роста. Ни один великий человек не является человеком низкого роста.
Отношения между сложными суждениями.
Сложные суждения мы назовём несравнимыми, если в совместно построенной для них таблице (стр.148 Брюшинкин) среди сочетаний их истинностных значений встречаются все возможные комбинации.
Назовём сравнимыми, если в совместной таблице (стр. 148) среди сочетаний их истинностных значений отсутствует хотя бы одна возможная комбинация.
Сравнимые суждения- суждения одновременно истинные или принимающие одни и те же значения.
Несовместимые – суждения не являются одновременно истинными и принимаю во всех строках таблице одни и те же значения.
Совместимость
А) Эквивалентность Отношение между суждениями, уточняющее идею означать одно и то же. Например Ты пойдёшь завтра со мной на логику и на концерт? – Нет (отношение между суждениями, уточняющими идею "означать одно и то же", мы будем называть эквивалентными.) Ну т.е. как поняла суждение эквивалентно, когда "нет" относится и к "пойти на логику" и "к пойти на концерт".
Б) Частичная совместимость. Если построенной для них таблицы мы не встретим комбинации А- ложное, В –ложное, но встретим все остальные комбинации.
В) Отношения логического следования. Если не может быть так, что первое суждение истинно, а второе- ложно.
Например: Если я не пойду на лекцию по логике, то я пойду с тобой в кино". Если первое суждение истинно, то и второе тоже истинно. Если второе суждение ложно, то и первое тоже должно быть ложным.
Несовместимость
А) Противоречие если суждения не могут быть вместе не истинными не ложными.
Например: "Наполеон - великий человек и прекрасно все то, что он совершил" Противоречие: "Наполеон – не великий человек, или не прекрасно все то, что он совершил".
Б) Противоположность. Если в построенной для них таблице не встречаются комбинации 1-истиинно, 2 –истинно, но встречаются все другие комбинации.
Знаком, в виде которого выражается суждение, является предложение. Смыслом этого знака должна быть связанная с ним мысль. Это и есть само суждение. Что касается значения предложения, то иногда в качестве него рассматривают ситуацию, которая имеет или не имеет места в действительности и которая описывается суждением. Однако чаще всего значением предложения принято считать истину или ложь.
Виды терминов.
-
Дескриптивные - это термины, обозначающие предметы, свойства, отношения, именно они определяют конкретное содержание мысли, и именно от их конкретных значений мы отвлекаемся при выявлении логической формы.
-
Логические термины - это термины, относящиеся к логической форме мысли и не имеющие самостоятельного содержания. Они ничего не обозначают и ничего не описывают. В русском языке имеются слова и словосочетания, которые являются такими терминами: «есть», «суть». «не», «неверно, что», «все», «если и только если», «некоторые», «ни один», «или» И т. п.