Читайте также
3.9. Непосредственные умозаключения традиционной логики
Основываясь на исчислении высказываний, можно теперь лучше понять не только механизм непосредственных дедуктивных умозаключений, но и упростить обращение с ними. Такие умозаключения состоят всего из одной
§ 2. Непосредственные дедуктивные умозаключения
В непосредственных умозаключениях вывод осуществляется из одной посылки путем ее преобразований: превращения, обращения, противопоставления предикату и по «логическому квадрату».Выводы в каждом из этих умозаключений
Непосредственные умозаключения
Умозаключение, построенное посредством преобразования суждения и содержащее одну посылку, называется непосредственным.Выделяют четыре вида преобразований суждений: превращение, обращение, противопоставление предикату, умозаключение
Дедуктивные умозаключения (выводы из сложных суждений)
Чисто условное умозаключение — это умозаключение, обе посылки и заключение которого являются условными суждениями. Например: если средства производства находятся в руках всего общества (а), то члены общества
2.11. Истинность сложных суждений
В предыдущем параграфе мы рассмотрели шесть видов сложных суждений, которые состоят из простых суждений, объединяемых каким-либо союзом: конъюнкцию, дизъюнкцию нестрогую и дизъюнкцию строгую, импликацию, эквиваленцию и отрицание.Союзов в
§ 2. НЕПОСРЕДСТВЕННЫЕ УМОЗАКЛЮЧЕНИЯ
Суждение, содержащее новое знание, может быть получено посредством преобразования суждения. Так как исходное (преобразуемое) суждение рассматривается как посылка, а суждение, полученное в результате преобразования, — как заключение,
Глава VIII ДЕДУКТИВНЫЕ УМОЗАКЛЮЧЕНИЯ. ВЫВОДЫ ИЗ СЛОЖНЫХ СУЖДЕНИЙ. СОКРАЩЕННЫЕ И СЛОЖНЫЕ СИЛЛОГИЗМЫ
Умозаключения строятся не только из простых, но и из сложных суждений. Широко используются умозаключения, посылками которых являются условные и разделительные суждения,
Глава II. Дедукция. Непосредственные умозаключения
В зависимости от числа посылок, из которых можно сделать тот или иной вывод, дедуктивные умозаключения подразделяются прежде всего на непосредственные и опосредованные. Учитывая, что эти выражения уже употреблялись
1. Непосредственные умозаключения из простых суждений
Непосредственные умозаключения можно получать прежде всего из простых суждений — как атрибутивных, так и реляционных. Применительно к атрибутивным суждениям это достигается двояким путем: 1) через преобразование
2. Непосредственные умозаключения из сложных суждений
Посылкой непосредственного умозаключения может быть не только простое — атрибутивное или реляционное, но и сложное суждение.Возьмем в качестве примера условное суждение (импликацию): «Если завтра будет солнечная
Глава IV. Дедукция. Опосредованные умозаключения из сложных суждений
Наряду с опосредованными умозаключениями из простых суждений существуют еще опосредованные умозаключения из сложных суждений. Логическое следование заключения из посылок определяется в них не
Глава II. Дедукция. Непосредственные умозаключения
1. Непосредственные умозаключения из простых суждений
Непосредственные умозаключения через преобразование суждений1. Правильно ли сделаны следующие непосредственные умозаключения через обращение суждений:
«Все
1. Непосредственные умозаключения из простых суждений
Непосредственные умозаключения через преобразование суждений1. Правильно ли сделаны следующие непосредственные умозаключения через обращение суждений:
«Все таможни — правоохранительные органы. Следовательно,
Глава IV. Дедукция. Опосредованные умозаключения из сложных суждений
1. Условные умозаключения
Условно-категорические умозаключения1. Соблюдены ли правила условно-категорического умозаключения в следующих примерах:«Если Н. — сотрудник таможни, то он государственный
30. Отрицание сложных суждений
Отрицание суждения в логике – это замена существующей связки внутри сложного высказывания на другую, противоположную последней. Если мы говорим о формуле, в которой можно выразить отрицание сложных суждений, то нужно отметить, что
1. Понятие сложных суждений
Понятие сложных суждений неразрывно связано с конъюнкцией, дизъюнкцией, импликацией, эквиваленцией и отрицанием.Это так называемые логические связки. Они используются в качестве объединяющего звена, привязывающего одно простое суждение к