Статья 185-Заключение

Canon 2614 (ссылка)

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

Canon 2615 (ссылка)

Слово Inference происходит от латинского infero, означающего "низший, нижний из простейших", и enti/ensus, означающего "бороться, подниматься, стремиться, рожать".

Canon 2616 (ссылка)

Слово силлогизм происходит от древнегреческого слова συλλογισμός (силлогизм), означающего "заключение, вывод".

Канон 2617 (ссылка)

В логике вывод эквивалентен заключению.

Статья 186-Логическая Форма

Canon 2618 (ссылка)

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

Canon 2619 (ссылка)

Логическая форма существенно отличается от общего языкового выражения аргументации тем, что субъект и предикат должны быть строго упорядочены в рамках определенного отношения смысла (связки) согласно следующим основным правилам:

(i) субъект (a) обычно является первым элементом “ действительного ” логического выражения, за которым следует (b) связка, представленная ограниченным числом операторов и конъюнкций, а затем (c) предикат, описывающий качество, атрибуты или предположения, касающиеся (a) субъекта; и

(ii) род, время, склонения обычно считаются не имеющими отношения к действительной логической форме и удаляются.

Canon 2620 (ссылка)

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

Статья 187. Дедуктивная Логика

Канон 2621 (ссылка)

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

Канон 2622 (ссылка)

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

Canon 2623 (link)

В двухвалентной линейной логике дедуктивные аргументы являются действительными или недействительными, проверенными или непроверенными, никогда не истинными или ложными.

Canon 2624 (ссылка)

Простейшая форма дедуктивной логики называется законом отрешенности. Делается одно условное утверждение, а затем формулируется гипотеза (P). Вывод (Q) выводится из гипотезы и утверждения. Самая основная форма бытия:

(i) поскольку P стремится к Q (P→Q)

ii) P (изложенная гипотеза)

iii) Q (данное заключение)

Canon 2625 (ссылка)

Вторая простейшая форма дедуктивной логики называется законом силлогизма. Два условных утверждения делаются относительно A,B и C. вывод выводится путем объединения гипотезы одного утверждения с выводом другого. Самая основная форма бытия:

i) Если A = B

ii) и B = C

iii) тогда A = C

Статья 188-Индуктивная Логика

Canon 2626 (ссылка)

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

Canon 2627 (ссылка)

В то время как дедуктивная логика стремится установить достоверность в терминах абсолютов, индуктивная логика указывает, что логический аргумент поддерживает вывод в некоторой степени (индуктивная вероятность) без абсолютной определенности. Таким образом, индуктивная логика позволяет рассматривать некоторые неопределенности реального мира, отраженные в высших формах логики в рамках низшей Бивалентной линейной логики.

Canon 2628 (ссылка)

Индуктивная логика зависит от двух (2) ключевых понятий, являющихся законами вероятности и определенности. Следовательно, самая сильная форма вывода с помощью индуктивной логики - это когда человек уверен вне "разумного сомнения", что вывод, вероятно, истинен.

Canon 2629 (ссылка)

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