Отношения между суждениями

Любые два суждения по своей логической форме могут быть сравнимыми и несравнимыми. Сравнимыми являются суждения, имеющие одинаковые термины и различающиеся по качеству и количеству. Несравнимымибудут суждения, в которых субъекты и предикаты различны. Например: «В огороде бузина» и «В Киеве дядька».

Среди сравнимых суждений различают совместимые и несовместимые. Совместимость суждений включает три вида отношений:эквивалентность (полная совместимость), субКонтрарность (частичная овместимость) и логическое подчинение(следование).

 

Несовместимость имеет две разновидности: противоположность(Контрарность) и противоречие (контрадикторность).

 

Отношение контрарности: суждения вида А-Е не могут быть одновременно истинными, но могут быть одновременно ложными.

 

Отношение субконтрарности: суждения вида I-О могут быть одновременно истинными, но не могут быть одновременно ложными.

 

Отношение контрадикторности: суждения вида А-О, а так же Е-I не могут быть одновременно ни истинными, ни ложными: если одно из них -

истинно, то другое - ложно, и наоборот.

 

Отношение подчинения: если суждения А или Е - истинны, то, соответственно, истинны и подчиненные им суждения O или I

(соответственно), а из ложности частных суждений I (O) следует ложность соответствующих им суждений А (Е).

Еще одной из возможных классификаций суждений может служить следующая:

 

Выделяют атрибутивные, экзистенциональные (суждения существования) и суждения об отношениях (реляционные).

 

Атрибутивные категорические суждения - суждения, в которых указывается на наличие или отсутствие у предмета каких-либо признаков, свойств, состояний, видов деятельности и т.п.

Они имеют форму “S есть P”. Например: «Аристотель - автор «Поэтики». «Неучастие в политике не оберегает от ее последствий».

 

Экзистенциональные суждения - это суждения, в которых утверждается или отрицается сам факт существования или несуществования некоторого материального или идеального объекта.

 

Суждения об отношениях - суждения, в которых говорится о каких- либо отношениях между предметами, при этом отношения могут быть самыми разными.

Например: Иван - отец Петра. Ростов южнее Москвы. 3 больше 2.

 

Умозаключения

 

Мы можем получать новые суждения, пользуясь исключительно собственным умом. Этот вид деятельности называется умозаключением: мы заключаем своим умом.

 

Умозаключение - это последовательность суждений, в котором последнее Суждение выводится из предыдущих.

 

Суждение - это мысль. Следовательно, умозаключение - это последовательность мыслей.

Мы переходим к исследованию более сложных объектов. До сих пор мы имели дело с отдельными мыслями, теперь перейдем к их последовательности.

Например:

Записка написана на японском или китайском языке.

Это - не китайский язык.

Следовательно, это - японский язык.

Мы видим, что здесь приведена последовательность из трех суждений, причем последнее Суждение “это - японский язык”, выводится из первых двух.

 

Умозаключение– это форма мышления, посредством которой из одного или нескольких суждений выводится новое Суждение.

Рассмотрим структуру умозаключения. Мы можем различить в умозаключении:

1. Суждения, из которых выводится последнее Суждение - посылки.

2.Суждение, которое выводится из предыдущих суждений - заключение.

3.Логическая связь между ними.

Третий элемент умозаключения в нашей речи явно не выражен, но именно он соединяет в мышлении все суждения в единое целое.

Исходя из характера логической связи между посылками, можно выделить, по крайней мере, три вида рассуждений: от общего к частному, от частного к общему и от частного к частному.

Идея первого типа рассуждений (а далее мы рассматриваем именно его) основывалась на том явном для людей положении, что если общее положение верно, то должны быть верными и частные утверждения, определяемые этим общим положением. Такого типа рассуждения называются дедуктивными.

 

Название «дедуктивные умозаключения» происходит от латинского слова deductio –«выведение». В дедуктивных умозаключениях связи между посылками и заключением представляют собой формально-логические законы. При истинных посылках заключение всегда оказывается истинным. Дедуктивным называется умозаключение, в котором истинность посылок должна гарантировать истинность заключения.

 

Остальные виды рассуждении с точки зрения корректности вывода куда менее ясны. Рассуждения от частного к общему отражают наш путь постижения мира и нас самих в нем. Общие утверждения возникают на пути обобщения частных, отражающих совокупность наших единичных опытных фактов. Такие рассуждения получили наименование индуктивных.

Название «индуктивные умозаключения» происходит от латинского слова inductio – «наведение». Между посылками и заключением в этих умозаключениях имеют место такие связи по формам, которые обеспечивают получение только правдоподобного заключения при истинных посылках. Посредством дедуктивных умозаключений «выводят» некоторую мысль из других мыслей, а индуктивные умозаключения лишь «наводят» на мысль.

 

Недедуктивным называется умозаключение, в котором истинность посылок не гарантирует истинности заключения.

Истинность общего результата подобных рассуждении для людей становится очевидной, если частных утверждений, подтверждающих данный результат, довольно много, а опровергающих утверждений нет.

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

 

Можно выделить два вывода: