Умозаключения. Виды умозаключений. Понятие о логике высказываний Основные непрямые правила

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

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

Язык логики высказываний включает: алфавит, определение правильно выстро­енных выражений, интерпретацию.

Алфавит логики высказываний состоит из следующих символов.

1) Символы для высказываний: р, q, r ... (пропозициональные переменные).

2) Символы для логических связок:

Ù - конъюнкция (союз «и»);

v - дизъюнкция (союз «или»);

® - импликация (союз «если..., то...»);

º - эквивалентность (союз «если и только если..., то...»); 1 ù ù- отрицание («неверно, что...»).

3) Технические знаки (,) - скобки.

Допустимые в логике высказываний выражения, называемые правильно постро­енными формулами, или сокращенно ППФ, вводятся следующим определением:

1. Всякая пропозициональная переменная - р, q, r ... - является ППФ.

2. Если А и В - ППФ (А и В - символы метаязыка для любых формул), то выражения - А Ù В, A v В, А ® В, А ºВ, ùА- также являются ППФ.

3. Все другие выражения, помимо предусмотренных п. 1 и 2, не являются ППФ языка логики высказываний.

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

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

Среди правильно построенных формул в зависимости от их истинностного значе­ния различают тождественно истинные, тождественно ложные и выполнимые фор­мулы.

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

Тождественно ложными называют формулы, принимающие значение ложности при любых - истинных или ложных - значениях пропозициональных переменных

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

Табличное построение предполагает определение логических отношений между формулами. Существенное значение для анализа рассуждений имеет отношение логического следования (символ |- ), которое определяется следующим образом. Из a 1 , ..., An как посылок логически следует В как заключение, если при истинности каждого Ai, ..., А п истинным является и В В языке-объекте отношение следования адекватно выражается импликацией. Значит, если a 1 , ..., A n |-В , то формула, пред­ставляющая собой импликацию вида (A 1 Ù А 2 Ù ... Ù А n) ® В , должна быть тождест­венной истинной.

Табличное построение логики высказываний позволяет определять логические отношения между высказываниями (см. гл. V § 4) и проверять правильность умозак­лючений, используя приведенный выше критерий. В качестве примера предлагаем провести табличным способом проверку правильности рассуждения формулы (р ®q) \- (ùq®ù р). Заменив знак логического следования между посылкой и заклю­чением на импликацию и построив таблицу для полученной формулы, видим, что она является тождественно истинной. Значит, рассуждение является правильным.

Если в рассуждении содержится более трех переменных, то строить полную таблицу для проверки его правильности затруднительно и тогда используют сокра­щенный метод проверки, рассуждая от противного. Поскольку при правильном рас­суждении формула вида (A 1 Ù .. Ù А n) ® В должна быть тождественно истинной, посмотрим, не может ли она при каком-то наборе значений переменных оказаться ложной. Допустим, что может. Если из этого допущения получим какое-нибудь про­тиворечие, то такое допущение будет неверным, а проверяемое рассуждение - пра­вильным. Если же из допущения не получаем противоречия, то обнаружим набор значений переменных, при котором формула ложна, т.е. тот набор, который опровер­гает проверяемое рассуждение

Логика высказываний как исчисление - это прежде всего так называемая систе­ма натурального вывода (СНВ). Аппаратом в ней служат правила вывода, каждое из которых является какой-нибудь элементарной формой умозаключения. Переходя по этим правилам от посылок или некоторых допущений к новым формулам, постепенно доходят до заключения. Вывод из посылок осуществлен, если удалось элиминировать все сделанные допущения. Таким образом, под выводом формулы В (заключения) из формул A 1 ,..., Ап (посылок) имеется в виду последовательность формул, каждая из которых является либо посылкой, либо допущением, либо получается по правилам вывода из предыдущих, и последняя формула этой последовательности есть форму­ла В, а все допущения при этом элиминированы.

Правила СНВ позволяют оперировать со всеми связками, имеющимися в алфа­вите языка. Они делятся на правила введения (в) и правила исключения (и) связок .

Конъюнкция:

Дизъюнкция:

Ùв А, В ; Ù и 1 АÙВ ; Ùи 2 АÙВ

А В AvB,ùA AvB,ù B

v в -- ; v в -- ; v и ---- ; v и
AvB AvB В А

Импликация:

A ® и A®B,ùB
Ú B B®A ùA
Отрицание:

ù и ù ù А

Эквиваленция:

º и АºВ

(А® В) Ù (В® А)

Кроме этих прямых правил получения новых строк вывода, в СНВ приняты непрямые правила, определяющие стратегию построения вывода. Например, если нужно вывести из посылок формулу вида импликации (x 1 ® (x 2 ®...(x n - 1 ® x n))) , то после выписывания посылок выписываются в качестве допущений все антецеденты заключения, начиная с антецедента главного знака импликации, т.е. x 1 , x 2 , х 3 ,..., x n - 1

Г,А->В

Если при этом удастся вывести х n , то по непрямому правилу ® в ------ собираем

Г®А®В

последовательно формулы: (x n - 1 ® x n) (при этом исключается допущение x n -1), (х n -2 ® (x n -1 ® x n)(x n -r исключается из числа допущений) и т.д., пока не получим требуемое заключение x 1 ®(x n -2 ®... (x n -1 ® x n). Это правило построения прямого вы­вода.

Приведем пример вывода с применением этого правила:

((pÙq)®r) |-_ (p® (q ®r)

1. (р Ù q) ® r - посылка

2. р - допущение

3. q - допущение

4. р Ù q (2, 3. Ù в)

5. r (1,4, ® n)

6.q®r(3,5,®в)(-3)

7.p®(q®r)(2,6,®в)(-2)

Другое непрямое правило используется для построения косвенного вывода, при котором допущением является отрицание В или отрицание последнего консеквента х n Г,А®(ВÙùВ)

Это правило имеет вид -------- и говорит о том, что если из

Г-> |А

каких-то формул (Г) и допущения (А) получено противоречие (В Ù ù В), то из этих формул следует ]А. Таким образом, если строится косвенный вывод формулы вида (x 1 ® (x 2 ® ...(x n -1 -> х n)...), то после посылок выписываются формулы:

Х 2

допущения

ù х n допущение косвенного доказательства [ДКД]

атем по правилам вывода получаем следствия из всех имеющихся посылок и допущений до тех пор, пока не получим две противоречащие друг другу формулы "(В и 1в), что свидетельствует о несовместимости допущения косвенного доказательства с другими допущениями и посылками. Отсюда делается вывод о его ложности. Тогда в вывод вписывается строка 1]х п, и тем самым допущение косвенного доказательства исключается. Например, осуществим косвенный вывод: (р ® q) ½- (ù q ®ù p)

1 . р ® q - посылка

2. ù q - допущение

3. ù ù р дкд

4.р(3,] и)

5. q (1,4,® и)

6.q Ù ù q(5,2, Ù в)

7. ù ù ù p (6,3, ù в)(-3)

8. ù p (7, ù и)

9. ù q ® ù p (2,8, ® и)(-2)

Косвенный вывод считается законченным, если в ходе вывода получена какая-то формула и ее отрицание, т.е. противоречие. Таким образом, если строится косвенный вывод формулы вида x 1 ® (x 2 ®... ® х n ), то построчно выписывают все антецеденты от x 1 до X n -1 в качестве допущений; в последней строчке выписывают отрицание последнего консеквента - ] х n как допущение косвенного вывода. По правилам вывода получаем различные следствия из всех имеющихся посылок и допущений. Получение двух противоречащих следствий говорит о ложности допущения косвен­ного вывода. На этом основании ДКД отрицается, т.е. получаем двойное отрицание. Снятие двойного отрицания дает формулу х n .

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

Непротиворечивость означает, что из истинных посылок могут получаться толь­ко истинные следствия и если формула выводима из пустого множества посылок, то она тождественно истинна. Это исключает возможность вывести из пустого множест­ва посылок какую-либо формулу (А ) и ее отрицание (ù А ).

Полнота системы означает, что дедуктивных ее средств достаточно, чтобы вы­вести из пустого множества посылок любую тождественно истинную формулу.

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

КОНТРОЛЬНЫЕ ВОПРОСЫ

1. На какие виды делятся выводы из сложных суждений?

2. Как строятся чисто условные умозаключения?

3. Что такое условно-категорическое умозаключение? Назовите его правильные модусы, выразите их в символической записи.

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

5. Укажите условия правильности выводов по утверждающе-отрицающему и от-рицающе-утверждающему модусам разделительно-категорического умозаключения.

6. Какое умозаключение называется условно-разделительным (леммантичес-ким)? Какие модусы имеет дилемма?

7. Что такое энтимема?

8. Каковы принципы построения логики высказываний?

9. Покажите значение различных видов условных и разделительных умозаключе­ний в работе юриста.

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

Например, в школьной геометрии есть аксиомы: «через любые две точки можно провести прямую и только одну» или «прямая разбивает плоскость на две полуплоскости».

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

Доказываемые свойства понятий называют теоремами , следствиями, признаками, формулами, правилами.

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

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

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

В качестве примера рассмотрим рассуждение школьника, которому надо установить отношение «меньше» между числами 7 и 8. Учащийся говорит: «7 < 8, потому что при счете 7 называют раньше, чем 8».

Выясним, на какие факты опирается вывод, полученный в этом рассуждении.

Таких фактов два: Первый: если число а при счете называют раньше числа b , то a < b . Второй: 7 при счете называют раньше, чем 8.

Первое предложение носит общий характер, так как содержит квантор общности - его называют общей посылкой. Второе предложение касается конкретных чисел 7 и 8 - его называют частной посылкой. Из двух посылок получен новый факт: 7 < 8, его называют заключением.

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

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

В логике вместо термина «рассуждения» чаще используется слово «умозаключение».

Умозаключение - это способ получения нового знания на основе некоторого имеющегося.

Умозаключение состоит из посылок и заключения.

Посылки - это , содержащие исходное знание.

Заключение - это высказывание, содержащее новое знание, полученное из исходного.

Как правило, заключение отделяется от посылок с помощью слов «следовательно», «значит». Умозаключение с посылками р 1, р 2, …, рn и заключением Р будем записывать в виде: или (р 1, р 2, …, рn) Р.

Примеры умозаключений: а) Число а = b. Число b = с . Следовательно, число а = с.

b) Если в дроби числитель меньше знаменателя, то дробь правильная. В дроби числитель меньше знаменателя (5<6) . Следовательно, дробь - правильная.

с) Если идет дождь, то на небе есть тучи. На небе есть тучи, следовательно, идет дождь.

Умозаключения могут быть правильными и неправильными.

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

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

1) формализуют все посылки и заключение;

2) записывают формулу, представляющую конъюнкцию посылок, соединенную знаком импликации с заключением;

3) составляют таблицу истинности для данной формулы;

4) если формула тождественно-истинна, то умозаключение правильное, если нет - то умозаключение неправильное.

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

Правил много, но наиболее часто используются следующие:

1. - правило заключения;

2. - правило отрицания;

3. - правило силлогизма.

Приведем пример умозаключения, выполненного по правилу заключения: «Если запись числа х оканчивается цифрой 5, то число х делится на 15. Запись числа 135 оканчивается цифрой 5 . Следовательно, число 135 делится на 5 ».

В качестве общей посылки в этом умозаключении выступает утверждение «если А(х), то В(х) », где А(х) - это «запись числа х оканчивается цифрой 5 », а В(х) - «число х делится на 5 ». Частная посылка представляет собой высказывание, которое получилось из условия общей посылки при
х = 135 (т.е. А(135) ). Заключение является высказыванием, полученным из В(х) при х = 135 (т.е. В(135) ).

Приведем примерумозаключения, выполненного по правилу отрицания: «Если запись числа х оканчивается цифрой 5, то число х делится на 5 . Число 177 не делится на 5 . Следовательно, оно не оканчивается цифрой 5 ».

Видим, что в этом умозаключении общая посылка такая же как и в предыдущем, а частная представляет собой отрицание высказывания «число 177 делится на 5 » (т.е. ). Заключение - это отрицание предложения «Запись числа 177 оканчивается цифрой 5 » (т.е. ).

И наконец, рассмотрим пример умозаключения, построенного по правилу силлогизма : «Если число х кратно 12, то оно кратно 6. Если число х кратно 6 , то оно кратно 3 . Следовательно, если число х кратно 12, то оно кратно 3 ».

В этом умозаключении две посылки: «если А(х), то В(х) » и «если В(х), то С(х) », где А(х) - «число х кратно 12 », В(х) - «число х кратно 6 » и С(х) - «число х кратно 3 ». Заключение представляет собой высказывание «если А(х), то С(х) ».

Проверим, правильны ли следующие умозаключения:

1) Если четырехугольник - ромб, то его диагонали взаимно перпендикулярны. АВС D - ромб. Следовательно, его диагонали взаимно перпендикулярны.

2) Если число делится на 4 , то оно делится на 2 . Число 22 делится на 2 . Следовательно, оно делится на 4.

3) Все деревья являются растениями. Сосна - дерево. Значит, сосна - растение.

4) Все учащиеся данного класса ходили в театр. Петя не был в театре. Следовательно, Петя - учащийся не данного класса.

5) Если числитель дроби меньше знаменателя, то дробь правильная. Если дробь правильная, то она меньше 1. Следовательно, если числитель дроби меньше знаменателя, то дробь меньше 1.

Решение: 1) Для решения вопроса о правильности умозаключения выявим его логическую форму. Введем обозначения: С(х) - «четырехугольник х - ромб», В(х) - «в четырехугольнике х диагонали взаимно перпендикулярны». Тогда первую посылку можно записать в виде:
С(х) В(х), вторую - С(а), а заключение В(а).

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

2) Введем обозначения: А(х) - «число х делится на 4 », В(х) - «число х делится на 2 ». Тогда первую посылку запишем: А(х) В(х), вторую В(а), а заключение - А(а). Умозаключение примет форму: .

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

Значит, что данное рассуждение неправильное.

3) Введем обозначения. Пусть А(х) - «если х дерево», В(х) - «х растение». Тогда посылки примут вид: А(х) В(х), А(а), а заключение В(а). Наше умозаключение построено по форме: - правила заключения.

Значит, наше рассуждение построено верно.

4) Пусть А(х) - «х - учащиеся нашего класса», В(х) - «учащиеся х ходили в театр». Тогда посылки будут следующими: А(х) В(х), , а заключение .

Данное умозаключение построено по правилу отрицания:

- значит оно верное.

5) Выявим логическую форму умозаключения. Пусть А(х) - «числитель дроби х меньше знаменателя». В(х) - «дробь х - правильная». С(х) - «дробь х меньше 1 ». Тогда посылки примут вид: А(х) В(х), В(х) С(х), а заключение А(х) С(х).

Наше умозаключение будет следующей логической формы: - правило силлогизма.

Значит, данное умозаключение верно.

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

Таблица 9

Словесная формулировка предложения	Запись на теоретико- множественном языке	Изображение на кругах Эйлера
Всякое А есть В
Некоторые А есть В Некоторые А не есть В
Ни одно А не есть В

а есть А
а не есть А

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

Посылка А(х) В(х) может быть записана в виде ТА ТВ , где ТА и ТВ - множества истинности высказывательных форм А(х) и В(х).

Частная посылка А(а) означает, что а ТА, а заключение В(а) показывает, что а ТВ.

Все умозаключение, построенное по правилу заключения, запишется на теоретико-множественном языке так: .

	Изобразив на кругах Эйлера множества ТА и ТВ и обозначив элемент а ТА, мы увидим, что а ТВ (рис. 58). Значит, а Т аТ .

Рис. 58.

Примеры.

1. Правильно ли умозаключение «Если запись числа оканчивается цифрой 5, то число делится на 5. Число 125 делится на 5. Следовательно, запись числа 125 оканчивается цифрой 5 »?

Решение: Это умозаключение выполнено по схеме , что соответствует . Такой схемы среди известных нам нет. Выясним, является ли она правилом дедуктивного умозаключения?

Воспользуемся кругами Эйлера. На теоретико-множественном языке

полученное правило можно записать так:

. Изобразим на кругах Эйлера множества ТА и ТВ и обозначим элемент а из множества ТВ.

Оказывается, что он может содержаться в множестве ТА, а может и не принадлежать ему (рис. 59). В логике считают, что такая схема не является правилом дедуктивного умозаключения, так как не гарантирует истинности заключения.

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

Рис. 59.

б) Все глаголы отвечают на вопрос «что делать?» или «что сделать?». Слово «василек» не отвечает ни на один из этих вопросов. Следовательно, «василек» не является глаголом.

Решение: а) Запишем данное умозаключение на теоретико-множественном языке. Обозначим через А - множество студентов педагогического факультета, через В - множество студентов, являющихся учителями, через С - множество студентов, старше 20 лет.

Тогда умозаключение примет вид: .

Если изобразить данные множества на кругах, то возможно 2 случая:

1) множества А, В, С пересекаются;

2) множество В пересекается с множеством С и А, а множество А пересекается с В , но не пересекается с С.

б) Обозначим через А множество глаголов, а через В множество слов, отвечающих на вопрос «что делать?» или «что сделать?».

Тогда умозаключение можно записать в следующем виде:

Рассмотрим несколько примеров.

Пример 1. Ученику предлагается объяснить, почему число 23 можно представить в виде суммы 20 + 3. Он рассуждает: «Число 23 - двузначное. Любое двузначное число можно представить в виде суммы разрядных слагаемых. Следовательно, 23 = 20 + 3».

Первое и второе предложения в этом умозаключении посылки, причем одна общего характера - это высказывание «любое двузначное число можно представить в виде суммы разрядных слагаемых», а другая - частная, она характеризует только число 23 - оно двузначное. Заключение - это предложение, которое стоит после слова «следовательно», - также носит частный характер, так как в нем речь идет о конкретном числе 23.

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

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

Пример 2. Один из приемов ознакомления младших школьников с переместительным свойством умножения заключается в следующем. Используя различные средства наглядности, школьники вместе с учителем устанавливают, что, например, 6 3 = 36, 52 = 25. Затем на основе полученных равенств делают вывод: для всех натуральных чисел a и b верно равенство ab = ba.

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

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

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

Данный пример - это пример рассуждения по аналогии.

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

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

ВЫВОД ЛОГИЧЕСКИЙ

ВЫВОД ЛОГИЧЕСКИЙ - рассуждение, в котором

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

В современной логике понятие логического вывода определяется для формальных систем, в которых высказывания представлены формулами. Обычно выделяют три основных типа формальных систем: аксиоматические исчисления, исчисления натурального вывода, исчисления секвенций. Стандартное определение логического вывода (из множества формул Г) для аксиоматического исчисления S таково: логический вывод в S из множества формул Г есть такая последовательность Ai... A, формул языка исчисления S, что для каждой Ai (ÏSiSn) выполняется, по крайней мере, одно из следующих трех условий: 1) А, есть формула из Г; 2) Αι есть аксиома исчисления S; 3) А, есть формула, получающаяся из предшествующей ей в последовательности Л ι...Лд формулы или из предшествующих ей в этой последовательности формул по одному из правил вывода исчисления S. Если α есть логический вывод в S из множества формул Г, то формулы из Г называются посылками a, a сам вывод α называется выводом в S из посылок Г; если при этом А есть последняя формула а, то а называется логическим выводом в S формулы А из посылок Г. Запись “Г ,А* означает, что существует логический вывод в S формулы А из посылок Г. Логический вывод в S из пустого множества формул называется доказательством в S. Запись “ г,-4” означает, что существует доказательство в S формулы А. Формула А называется доказуемой в S, если -А. В качестве примера рассмотрим аксиоматическое исчисление Si со стандартным определением вывода, являющееся вариантом классической логики высказывании. Алфавит этого исчисления содержит только пропозициональные переменные pi, pi, ..., р„ ..., логические связки =>, 1 и круглые скобки. Определение формулы в этом языке обычное. Аксиомы?ι-ύто формулы следующих шести видов (и только эти формулы): I. (А^>А), II. ((Д55)э((Д=)С)э(^эС))), Ш. ((Л=?/”эО)эГДэ(ЛэС))), IV. ((Лэ(1Д))э(Дэ(1Д))), V. ((1(1Л)эЛ), М. (((А зВ)=,А)зА).

Единственное правило исчисления St модус поненс: Л, А^В^В.

Определение логического вывода для Si является очевидной конкретизацией определения, данного выше. Следующая последовательность формул Ф1 - Ф6 является логическим выводом в Si формулы ((pi^pi)^) из посылок .

ΦΙ. ((Ρι^Ρι)^(Ρι^Ρι)), Ф2. Wpi-spî) э(р1 эра)) =>ό?ι =>((?, э^) з^))), ФЗ. (р1Э((р1=>й)э^)), Ф4.^, Ф5. ((pi Dpi)^pî).

Анализ: Ф1 есть аксиома вида 1, Ф2 есть аксиома вида III, ФЗ получена по правилу модус поненс из Ф1 и Ф2, Ф4 есть посылка, Ф5 получена по правилу модус поненс из Ф4 и ФЗ. Итак, fßilhi ((р^рг)=)рг). Рассмотрев последовательность формул Ф1, Ф2 ФЗ, убеждаемся, что гл(р13р1)зрг)).

В ряде случаев логический вывод определяется так, что на использование некоторых правил накладываются ограничения. Напр., в аксиоматических исчислениях, являющихся вариантами классической логики предикатов первого порядка и содержащих среди правил вывода только модус поненс и правило обобщения, логический вывод часто определяется так, что на использование правила обобщения накладывается ограничение: любое применение правилам обобщения в α таково, что переменная, по которой ироввдитея обобюение в этом применении правила обобщения, не входит ни в одну посылку, предшествующую в α нижней формуле этого применения правила обобщения. Цель этого ограничения обеспечить ряд полезных с точки зрения логики свойств вывода (напр., выполнение для простых форм дедукции теоремы). Существуют определения логического вывода (как для аксиоматических, так и для исчислений других типов), которые (1) задают логический вывод не только из множества посылок, но допускают другие формы организации посылок (напр., списки или последовательности), (2) структурируют вывод не только линейно, но, напр., в форме дерева, (3) имеют явно выраженный индуктивный характер; при этом индуктивное определение вывода может вестись как по одной переменной (напр., по длине вывода), так и по нескольким переменньм (напр., по длине логического вывода и по числу его посылок), (4) содержат формализацию зависимости между формулами в логическом выводе, и многие другие определения логического вывода, обусловленные иными способами формализации и аксиоматизации классических и неклассических систем логики. О некоторых из них см. в ст. Аналитических таблиц метод. Семиотика, Исчисление секвенций.

• - логический - формальный вывод в исчислении, содержащем логические правила и имеющем в качестве основных выводимых объектов формулы...

  Математическая энциклопедия

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

  Математическая энциклопедия

• - в древнерусском зодчестве крепостное сооружение, выступающее перед основным. * * * 1. Форт. 2. Печная труба...

  Архитектурный словарь

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

  Философская энциклопедия

• - ВЫВОД ЛОГИЧЕСКИЙ -рассуждение, в котором по определенным правилам осуществляется переход от высказываний или системы высказываний к высказыванию или системе высказываний...

  Энциклопедия эпистемологии и философии науки

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

  Словарь логики

• - англ. conclusion/deduction; нем. Schlussfolgerung. Умозаключение, в ходе к-рого из к.-л. исходных суждений получается логически вытекающее суждение. см. АБДУКЦИЯ, ДЕДУКЦИЯ, ИНДУКЦИЯ...

  Энциклопедия социологии

• - English: Terminal Часть электротехнического изделия, предназначенная для электрического соединения его с другими изделиями Источник: Термины и определения в электроэнергетике...

  Строительный словарь

• - 1. Термин, связанный с переводом информации, содержащейся в основном запоминающем устройстве компьютера, в поддерживающее запоминающее устройство...

  Словарь бизнес терминов

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

  Энциклопедический словарь Брокгауза и Евфрона

• - в логике, рассуждение, в ходе которого из каких-либо исходных суждений), посылок или предпосылок В., получается суждение, логически вытекающее из посылок. См. Дедукция, Индукция...

  Большая Советская энциклопедия

• - переход от посылок к следствиям по правилам логики...

  Большой энциклопедический словарь

• - ВЫ́ВОД, -а, муж. 1. см. вывести 1. 2. Умозаключение, то, что выведено. Важный в. Сделать необходимые выводы. 3. Провод, устройство, выходящее или выводящее что-н. наружу. | прил. выводной, -ая, -ое...

  Толковый словарь Ожегова

• - вы́вод сущ., м., употр. часто Морфология: чего? вы́вода, чему? вы́воду, что? вы́вод, чем? вы́водом, о чём? о вы́воде; мн. что? вы́воды, чего? вы́водов, чему? вы́водам, что? вы́воды, чем? вы́водами, о чём? о вы́водах 1...

  Толковый словарь Дмитриева

• - см....

  Сводная энциклопедия афоризмов

• - Дать вывод. Сиб. Ответить кому-л. ФСС, 53; СРНГ 7, 257. Сделать вывод. Кар. . Обменяться подарками. СРГК 1, 254...

  Большой словарь русских поговорок

"ВЫВОД ЛОГИЧЕСКИЙ" в книгах

5.4. Логический анализ

Из книги Восстановление бухгалтерского учета, или Как «реанимировать» фирму автора Уткина Светлана Анатольевна

5.4. Логический анализ Во избежание ошибок и неточностей при составлении формы № 1 «Бухгалтерский баланс» целесообразно проанализировать по Главной книге обороты и остатки по счетам. Сделать это довольно просто. Рассмотрим на примере. К примеру, вы составляете

Логический позитивизм

Из книги Тень и реальность автора Свами Сухотра

Логический позитивизм Течение, возникшее в XX в. как развитие эмпиризма и позитивизма. Его сутью является теория верификации, утверждающая, что единственно валидной истиной является то, что подтверждено современными научными методами. Чтобы выразить эту истину, язык

2.9. Логический квадрат

Из книги Логика. Учебное пособие автора Гусев Дмитрий Алексеевич

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

2. Логический позитивизм

Из книги Введение в философию автора Фролов Иван

2. Логический позитивизм В 1922 году на кафедре натуральной философии Венского университета, которую после смерти Э. Маха возглавил профессор М. Шлик, собралась группа молодых ученых, поставивших перед собой смелую цель - реформировать науку и философию. Эта группа вошла

2. Логический обвал

Из книги Философия. Книга третья. Метафизика автора Ясперс Карл Теодор

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

Логический позитивизм

Из книги История философии автора Скирбекк Гуннар

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

Логический крючок

Из книги Виктор Суворов врет! [Потопить «Ледокол»] автора Верхотуров Дмитрий Николаевич

Логический крючок В использовании этой «концепции» у Виктора Суворова есть занятный момент. Подробно и многословно «доказывается» только второй тезис, тогда как остальные тезисы только упоминаются, очень кратко и без обоснования. Все внимание сосредоточивается на его

1.1. Наш логический вывод и свидетельство Ливия

Из книги автора

1.1. Наш логический вывод и свидетельство Ливия Прежде чем обратиться к первоисточникам, вспомним эмпирико-статистические и астрономические результаты, отождествляющие Царский Рим со Второй и Третьей Римскими империями, а также с Великой = «Монгольской» Империей XIII–XVI

Логический закон

Из книги Большая Советская Энциклопедия (ЛО) автора БСЭ Из книги Описание языка PascalABC.NET автора Коллектив РуБоард

Логический тип Значения логического типа boolean занимают 1 байт и принимают одно из двух значений, задаваемых предопределенными константами True (истина) и False (ложь).Для логического типа определены статические методы: boolean.Parse(s) - функция, конвертирующая строковое

26. Логический анализ

Из книги Упражнения в стиле автора Кено Раймон

26. Логический анализ Автобус.Площадка.Площадка автобуса. Это место.Полдень.Приблизительно.Приблизительно полдень. Это время.Пассажиры.Ссора.Ссора пассажиров. Это действие.Молодой человек.Шляпа. Длинная тощая шея.Молодой человек в шляпе с плетенной тесьмой вокруг. Это

Логический способ

Из книги Активные продажи 3.1: Начало автора Рысев Николай Юрьевич

Логический способ Каждое возражение можно логически отразить – представить аргументы, достойные интеллекта клиента, и перевернуть его воззрения.К: У вас слишком молодая аудитория.П: Молодость – это стремительность, желание, деньги, решительность. Как вы смотрите на

	G |– F Ú G G È F |– C G È G |– C
(У Ú)
	G |– C

Здесь F и G – формулы, и C – либо формула, либо ^.

Теперь описание системы вывода для логики высказываний завершено.

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

1) (p Ú q ) É (q Ú p ).

2) (p Ú p ) º p.

3) p É ((p Ú q ) º q ).

4) (p & (q Ú r )) º ((p & q ) Ú (p & r )).

5) p º p.

6) (p Ú q ) º (p & q ).

И) Оба правила введения дизъюнкции корректны.

К) Правило удаления дизъюнкции корректно.

Теорема корректности. Если существует вывод F из G, тогда G логически влечёт F.

Теорема полноты. Для любой формулы F и любого множества формул G, если G влечёт F, тогда существует вывод F из подмножества G.

Полнота логики высказываний (для другого множества правил вывода) была установлена Эмилем Постом в 1921 году.

Правило вывода – это предписание, или разрешение позволяющее из суждения 1-ой логической структуры, как посылок, вывести суждения некоторой логической структуры, как заключения.

Особенности правил заключения в том, что признаки истинности заключения производятся на основе не содержания, а их структуры. Правила вывода записываются в виде схемы, которая состоит из 2-х частей (сверху и снизу), разделённых вертикальной линией. Над чертой в столбец записываются логические схемы посылок, под чертой логические схемы заключения.

Все правила выводов логики высказываний делятся на 2-е группы:

Основные и Производные .

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

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

· Косвенные – лишь дают возможность умозаключить о правомерности вывода одних суждений из других.

- Производные - сокращённый процесс вывода, выводятся из основных.

Основные прямые.

Введение конъюнкции: А, В

Удаление конъюнкции: А ⋀ В

Введение дизъюнкции: А В

А ⋁ В А ⋁ В

Удаление дизъюнкции: А ⋁ В

Удаление импликации: А ⊃ В

Введение отрицания/удаление: А; Ǟ

Введение эквивалентности: А ⊃ В, В ⊃ А

Удаление эквивалентности: А <--> В

А ⊃ В, В ⊃ А

Основные непрямые.

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

Введение импликации.

2.А – допущение

4.В – удаление импликации 1,2

5.С – удаление импликации 3,4

6.А ⊃ С введение импликации 2,5.

Правило сведения к абсурду – если из посылок и допущения, в ходе рассуждения или доказательства выводятся 2-а противоречащих друг другу высказываний В и не В, то в заключении можно записать не А. В (не В)

Производные.

Правило условного (гипотетического) силлогизма:

Отрицание дизъюнкции:

Правило контрапозиции:

Сложная контрапозиция:

Правило импортации.

Правило экспортации:

Простая конструктивная диллема:

Сложная конструктивная дилемма:

Простая деструктивная дилемма:

Сложная деструктивная дилемма:

Импликация через конъюнкцию

Вопросы для самоконтроля:

1. В чем различие между суждениями, вопросами и нормами?

2. Каков состав и каковы виды атрибутивных суждений?

3. Каковы виды суждений об отношениях?

4. Каковы виды сложных суждений?

5. Как производится отрицание атрибутивных суждений и суждений об отношениях?

6. Как отрицаются сложные суждения?

7. Каковы основные виды отношений между суждениями?

8. Отношения между какими суждениями выражаются посредством логического квадрата?

9. Как выражаются на языке логики предикатов атрибутивные суждения и суждения об отношениях?

10. Какие вопросы являются некорректными? Назовите виды некорректности вопросов.

11. Как соотносятся понятия “обязательно”, “разрешено” и “запрещено”.

Задания для самостоятельной работы:

I. Являются ли суждениями следующие предложения?

1. Урал находится от нас далеко.

2. По дорожке чистой, гладкой

Я прошел, не наследил...

Кто ж катался здесь украдкой?

Кто здесь падал и ходил?

(С.Есенин)

3. Без экспериментов невозможен научно-технический прогресс.

4. Современный физический или биологический эксперимент часто дает столько информации, что обработать ее без ЭВМ практически невозможно.

5. Он сегодня не явился на работу.

6. Какой студент не мечтает получить на экзамене хорошую оценку?

7. Необходимо активнее внедрять информатику и вычислительную технику в учебный процесс.

8. Спать! Выключи свет!

9. Что день грядущий мне готовит?

10. Куда там сейчас ехать? Разве отсюда выберешься? (К.Паустовский).

11. У лесного оврага в тени под дубками цветут ландыши и земляника.

12. Евгений ждет: вот едет Ленский

На тройке чалых лошадей,

Давай обедать поскорей!

«Ну, что соседки?

Что Татьяна?

Что Ольга резвая твоя?»

(А.С.Пушкин)
II. Определите вид, термины суждения и их распределенность в следующих рассуждениях:

1.Некоторые подлежащие выражаются местоимениями в именительном падеже.
2. Некоторые школьники не изучают второй иностранный язык.

3. Гранит широко используют в строительстве.

4. Ни один дельфин не является рыбой.

V. Зная распределенность терминов в простом атрибутивном ассерторическом суждении, постройте правильно мысль:

5.1. Шоссе (S+), дорога с твердым покрытием (P-);

5.2. Русский ученый (S-), лауреат Нобелевской премии(P-);

5.3. Пантера(S+), травоядное животное (P+);

5.4. Глава Правительства(S+), руководитель высшего органа исполнительной государственной власти(P+);

5.5. Писатель(S-), драматург(P+).

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

1. «Детская душа в одинаковой мере чувствительная и к родному слову, и к красоте природы, и к музыкальной мелодии. Если в раннем детстве донести до сердца красоту музыкального произведения, если в звуках ребенок почувствует многогранные оттенки человеческих чувств, он поднимается на такую ступеньку культуры, которая не может быть достигнута никакими другими средствами» (В.А.Сухомлинский).

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

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

4. «Если наши дети - это наша старость, то правильное воспитание -это наша счастливая старость, плохое воспитание - наше горе, это наши слезы, это наша вина перед другими людьми» (А.С.Макаренко).

V. Определите вид модальности в следующих суждениях:

1. Доказано, что S= п R2 где S - площадь круга, а R - его радиус.

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

3. Необходимо, чтобы космос был мирным.

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

5. Дети дают нам возможность оставить свой след на земле - в их памяти, в их деятельности, в традиции и знаниях, которые мы им передаем.

VI. Являются ли законами логики следующие формулы:

6.1.((p → q) ^ q) → q.

6.2. (p V q V r) = p ^ q ^ r.

6.3. ((p → q) ^ (p → r) ^ (q V r)) → p

6.4. ((p → q) ^ (r → s) ^ (p V r)) → (q Vs).

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

7.1. Установлено, что преступление могли совершить Смит, Джонс или Браун. Известно, что Джонс никогда не совершает преступления без Брауна. Следовательно, если Браун не совершал преступления, то его совершил Смит.

7.2. Если человек удовлетворен работой и счастлив в семейной жизни, то у него нет причин жаловаться на судьбу. У этого человека есть причина жаловаться на судьбу. Значит, он либо удовлетворен и счастлив в семейной жизни, либо счастлив в семейной жизни, но не удовлетворен работой.

7.3. Если человек говорит неправду, то он заблуждается или сознательно вводит в заблуждение других. Этот человек не говорит не правду, но явно не заблуждается. Следовательно, он сознательно вводит в заблуждение других.

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

8.1. Договаривающиеся стороны не имеют претензий друг к другу или они договариваются о расчете.

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

8.2. Если философ является дуалистом, то он не идеалист.

Если философ не идеалист, то он диалектик или метафизик.

8.3. Если человек совершил преступление, то он подлежит привлечению к уголовной ответственности.

Если человек совершил преступление и это доказано, то он подлежит привлечению к уголовной ответственности.

Человек совершил преступление, но он не подлежит привлечению к уголовной ответственности.

Глава V. УМОЗАКЛЮЧЕНИЕ как форма мысли.

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

Аристотель приводил такой пример умозаключения: "Все люди смертны" и "Сократ - человек" - посылки. "Сократ смертен" - заключение. Переход от посылок к заключению происходит по ПРАВИЛАМ ВЫВОДА и законам логики.

ПРАВИЛО 1 : Если посылки умозаключения истинны, то истинно и

заключение.
ПРАВИЛО 2 : Если умозаключение справедливо во всех случаях, то оно справедливо и в каждом частном случае. (Это правило ДЕДУКЦИИ - переход от общего к частному.)
ПРАВИЛО 3 : Если умозаключение справедливо в некоторых частных случаях, то оно справедливо во всех случаях. (Это правило ИНДУКЦИИ - переход от частного к общего.)
Цепи умозаключений складываются в РАССУЖДЕНИЯ и ДОКАЗАТЕЛЬСТВА, в которых заключение предшествующего умозаключения становится посылкой следующего. Условием правильности доказательства является не только истинность исходных суждений, но и истинность каждого входящего в его состав умозаключения. Доказательства должны быть построены по законам логики:

1. ЗАКОН ТОЖДЕСТВА. Всякая мысль тождественна самой себе, т.е. субъект рассуждений должен быть строго определен и неизменен до их окончания. Нарушением этого закона является подмена понятий (часто используется в адвокатской практике).
2. ЗАКОН НЕПРОТИВОРЕЧИЯ. Два противоположных суждения не могут быть одновременно истинны: по крайней мере одно из них ложно.
3. ЗАКОН ИСКЛЮЧЕННОГО ТРЕТЬЕГО. Истинно либо суждение, либо его отрицание ("третьего не дано").
4. ЗАКОН ДОСТАТОЧНЫХ ОСНОВАНИЙ. Для истинности всякой мысли должно быть достаточно оснований, т.е. умозаключение необходимо обосновать исходя из суждений, истинность которых уже доказана.

Познакомимся с некоторыми интересными видами умозаключений:
ПАРАЛОГИЗМ - умозаключение, содержащее непреднамеренную ошибку. Такой вид умозаключений часто встречается в ваших контрольных работах.
СОФИЗМ - умозаключение, содержащее преднамеренную ошибку с целью выдать ложное суждение за истинное.
Попробуем, например, доказать, что 2 х 2 = 5:

4/4 = 5/5
4(1/1) = 5(1/1)
4 = 5.

ПАРАДОКС - это умозаключение, доказывающее как истинность, так и ложность некоторого суждения.
Например:
Генерал и брадобрей. Каждый солдат может сам себя брить или бриться у другого солдата. Генерал приказал выделить одного специального солдата-брадобрея, у которого брились бы только те солдаты, которые себя не бреют. Кто должен брить солдата-брадобрея?

В логике исследуются умозаключения , осуществляемые на основе или с использованием особенностей логических форм посылок и заключений. Умозаключение содержит в своем составе суждения (а, следовательно, и понятия), но не сводится к ним, а предполагает еще их определенную связь. Благодаря этому и образуется особая форма с ее специфическими функциями. Формально - логический анализ этой формы означает ответ на следующие основные вопросы: в чем сущность умозаключений и какова их роль и структура; что представляют собой их основные типы; в каких взаимоотношениях между собой они находятся; наконец какие логические операции с ними возможны. Значение подобного анализа определяется тем, что именно в умозаключениях (и основанных на них доказательствах) сокрыта "тайна" принудительной силы речей, которая поражала людей еще в древности и с постижения которой началась логика как наука. Именно умозаключения обеспечивают то, что мы называем в настоящее время силой логики. Вот почему нередко логику именуют наукой о выводном знании. И в этом есть значительная доля истины. Ведь анализ понятий и суждений, хотя и важен сам по себе, но в полной мере раскрывает все свое значение лишь в связи с их логическими функциями по отношению к умозаключениям (а значит, и доказательствам). Мы рассмотрим умозаключение в двух соотношениях: 1) как форму отражения действительности, и 2) как форму мышления, так или иначе воплощенную в языке.

Чтобы уяснить происхождение и сущность умозаключения , необходимо сопоставить два рода знаний, которыми мы располагаем и пользуемся в процессе своей жизнедеятельности, - непосредственные и опосредственные. Непосредственные знания - это те, которые получены нами с помощью органов чувств: зрения, слуха, обоняния и т. д. Таковы, например, знания выраженные суждениями типа «трава зеленная», «снег бел», «небо голубое», «цветок пахнет», «птицы поют». Они составляют значительную часть всех наших знаний в процессе отражения объективного мира сознанием человека и служат их базой. Однако далеко не обо всем на свете мы можем судить непосредственно. Например, никто никогда не наблюдал, что в районе Москвы некогда бушевало море. А знание об этом есть. Оно получено из других знаний. Дело в том, что в Подмосковье обнаружены большие залежи белого камня. Он образовался из скелетов бесчисленных мелких морских организмов, которые могли накапливаться лишь на дне моря. Так был сделан вывод о том, что примерно 250 - 300 млн. лет назад Русскую равнину, на которой расположена и Московская область, заливало море. Подобные знания, которые получены не прямо, непосредственно, а опосредственно, т. е. путем выведения из других знаний, называются опосредственными (или выводными). Логической формой их приобретения и служит умозаключение . В самом общем виде под ним разумеется форма мышления, посредством которой из известного знания выводится новое знание. Существование такой формы в нашем мышлении, как и понятия и суждения, обусловлено самой объективной действительностью. Если в основе понятия лежит предметный характер действительности, а в основе суждения - связь (отношение) предметов, то объективную основу умозаключения составляет более сложная взаимная связь предметов, их взаимные отношения. Так если один класс предметов (А) входит целиком в другой (В), но не исчерпывает его объема, то означает необходимую обратную связь: более широкий класс предметов (В) включает в себя менее широкий (А) как свою часть, но не сводится к нему. Это видно из схемы: В А А В. Например: "Все ученые - умные люди", это означает: "Некоторые умные люди - ученые". Или более сложный случай взаимосвязи предметов мысли: если один класс предметов (А) входит в другой (В), а этот, в свою очередь, входит в третий (С), то отсюда следует, что первый (А) входит в третий (С). На схеме: В С В С А А Пример: "М. Ломоносов - ученый, а все ученые - умные люди, то М. Ломоносов - умный человек". Такова объективная возможность умозаключений : - это структурный слепок с самой действительности, но в идеальной форме, в форме структуры мысли. А их объективная необходимость, как и понятий и суждений, тоже связана со всей практикой человечества. Удовлетворение одних потребностей людей и возникновение на этой основе других требует прогресса общественного производства, а он, в свою очередь, немыслим без прогресса знаний. Необходимым связующим звеном в осуществлении этого прогресса и выступают умозаключения как одна из форм перехода от известных знаний к новым.

5.1. Роль умозаключений и их структура.

Умозаключения весьма распространенная форма, используемая в научном и повседневном мышлении. Этим определяется их роль в познании и практике людей. Значение умозаключений людей состоит в том, что они не только связывают наши знания в более или менее сложные, относительно законченные комплексы - мыслительные конструкции, но и обогащают, усиливают эти знания. Вместе с понятиями и суждениями умозаключения преодолевают ограниченность чувственного познания. Они оказываются незаменимыми там, где органы чувств бессильны в постижении причин и условий возникновения какого либо предмета или явления, его сущности и форм существования, закономерностей развития и т. д. Они участвуют в образовании понятий и суждений, которые нередко выступают как итог умозаключений, чтобы стать средством дальнейшего познания. На каждом шагу умозаключения производятся в повседневной жизни. Так выгляну в окно утром и, заметив мокрые крыши домов, мы делаем вывод о прошедшем ночью дожде. Наблюдая вечером, багрово - красный закат, мы предполагаем на завтра ветреную погоду. Особую роль играют умозаключения в юридической практике. В своих знаменитых записках о Шерлоке Холмсе А. Канон Дойл дал классический образ сыщика, который в совершенстве владел искусством умозаключений и на их основе распутывал самые сложные и невероятные криминалистические истории. В современной юридической литературе и практике умозаключениям тоже принадлежит огромная роль. Так предварительное следствие с точки зрения логики есть не что иное, как построение всевозможных умозаключений о предполагаемом преступнике, о механизме образования следов преступления, о мотивах побудивших его к совершению преступления, о последствиях совершенного для общества. Обвинительное заключение есть лишь одна из форм умозаключения вообще. Умозаключение - целостное мыслительное образование, оно подобно тому как, например, вода, будучи целостным, качественно определенным агрегатным состоянием вещества, разлагается на химические элементы - водород и кислород, находящихся в определенном между собой соотношении, так и всякое умозаключение имеет свою структуру. Она обусловлена природой этого мышления и ее ролью в познании и общении. В структуре умозаключения различаются два основных более или менее сложных элемента: посылки (одна или несколько) и заключение, между которыми также существует определенная связь. Посылки - это исходное и притом уже известное, знание, служащее основанием умозаключения. Заключение - производное, притом новое, полученное из посылок и выступающее их следствием. Вывод - логический переход от посылок к заключению. Это связь между посылками и умозаключением, есть необходимое отношение между ними, делающее возможным переход от одного к другому, - отношение логического следования. Это основной закон всякого умозаключения, позволяющий раскрыть его самый глубокий и сокровенный "секрет" - принудительность вывода. Если мы признали какие - либо посылки, то хотим мы этого или не хотим, но вынуждены признать и заключение - именно из - за определенной связи между ними. Этот закон, в основе которого лежит объективное соотношение самих предметов мысли, проявляется во многих особых правилах, которые специфичны для разных форм умозаключений. Мы уже рассматривали, какую роль играют умозаключения в образовании понятий и суждений, а теперь рассмотрим какую роль играют понятия и суждения в умозаключениях. Поскольку понятия и суждения входят в структуру умозаключений нам важно установить здесь их логические функции. Так, нетрудно понять, что суждения выполняют функции либо посылок, либо заключения. Понятия же, будучи терминами суждения, выполняют здесь функции терминов умозаключения. Если рассматривать понятия диалектически, как процесс перехода с одной ступени знания на другую, более высокую, то не составит труда уяснить относительность деления суждений на посылки и заключение. Одно и тоже суждение, будучи результатом (выводом) одного познавательного акта, становится исходным пунктом (посылкой) другого. Этот процесс можно уподобить строительству дома: один ряд бревен (или кирпичей) положенный на уже имеющееся основание, превращается тем самым в основание для другого, последующего ряда. Аналогично обстоит дело и с понятиями - терминами умозаключения: одно и тоже понятие может выступать, то в роли субъекта, то в роли предиката посылки или заключения, то в роли посредствующего звена между ними. Так осуществляется бесконечный процесс познания. Подобно всякому суждению, заключение может быть истинным и ложным. Но то и другое определяется здесь непосредственно отношением не к действительности, а прежде всего к посылкам и их связи. Заключение будет истинным при наличии двух необходимых условий: во - первых, должны быть истинными исходные суждения - посылки умозаключения; во - вторых, в процессе рассуждения следует соблюдать правила вывода, которые обуславливают логическую правильность умозаключения.

Например: Все художники тонко чувствуют природу

И. Левитан - художник

И. Левитан - тонко чувствует природу

А - И. Левитан, В - художники С - тонко чувствующие люди А В С А И наоборот, заключение может быть ложным, если: 1) хотя бы одна из посылок ложна или 2) строение умозаключения неправильное.

Пример: Все свидетели правдивы

Сидоров - свидетель

Сидоров - правдив

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

Все дикари носят перья

Все женщины носят перья

Все женщины - дикари

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

Например: Стекло не проводит электричество.

Железо не стекло.

Железо проводит электричество.

При подобном строении умозаключения достаточно поставить вместо «железо» "резина", чтобы понять случайность верного вывода. Связь между посылками и заключением должна быть не случайной, а необходимой, однозначной, обоснованной, одно должно действительно следовать, вытекать из другого. Если же связь случайна или многозначна в отношении вывода, как говорят при обмене квартир "возможны варианты", то такой вывод делать нельзя, иначе неизбежна ошибка.

5.2.Умозаключение и связь предложений.

Как и любая другая форма мышления, умозаключение так или иначе воплощается в языке. Если понятие выражается отдельным словом (или словосочетанием), а суждение - отдельным предложением (или сочетание предложений), то умозаключение всегда есть связь нескольких (двух или более) предложений, хотя и не всякая связь двух или более предложений – непременно умозаключение (например, сложные суждения). В русском языке эта связь выражается словами "следовательно", "значит", "таким образом", "потому что", "так как" и т. п. Умозаключение может завершаться заключением (выводом), но может и начинаться с него; наконец вывод может находиться в середине умозаключения, между посылками. Общее правило языкового выражения умозаключения таково: если заключение стоит после посылок, то перед ним ставятся слова "следовательно", "значит", "поэтому", итак "," отсюда следует "и т. п. Если же заключение стоит перед посылками, то после него ставятся слова" потому что "," так как "," ибо "," оттого что "и др. Если же, наконец, оно расположено между посылками, то и перед ним, и после него употребляются соответствующие слова одновременно. В приводимом примере возможны следующие логические, а следовательно, и языковые конструкции: 1) Все ученые умные люди, а М. Ломоносов - ученый, следовательно, он умный человек, (заключение в конце); 2) М. Ломоносов умный человек, потому, что он - ученый, а все ученые умные люди, (заключение в начале); 3) Все ученые умные люди, следовательно, М. Ломоносов умный человек, потому что он - ученый, (заключение в середине). Совсем нетрудно догадаться, что мы не исчерпали всех возможных вариантов логических конструкций умозаключений, но их важно знать, чтобы в потоке живой речи - письменной или устной - уметь выделить более или менее устойчивые мыслительные конструкции, чтобы подвергнуть их строгому логическому анализу во избежании возможных или уже допущенных ошибок и недоразумений.

5.3. Виды умозаключений .

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

Дедукция (от латинского deductio -" выведение ") - это умозаключение, в котором переход от общего знания к частному является логически необходимым. Правила дедуктивного вывода определяются характером посылок, которые могут быть простыми или сложными суждениями. В зависимости от количества посылок дедуктивные выводы делятся на непосредственные, в которых заключение выводится из одной посылки, и опосредственные, в которых заключение выводится из нескольких (двух и более) посылок.

Пример: Все металлы проводят электричество.

Медь - металл.

Медь проводит электричество.

Индуктивные умозаключения (от латинского inductio –«наведение») - это умозаключения, в которых на основании принадлежности признака отдельным предметам или частям некоторого класса делают вывод о его принадлежности классу в целом. Основная функция индуктивных выводов в процессе познания - генерализация, т. е. получение общих суждений. По своему содержанию и познавательному значению эти обобщения могут носить различный характер - от простейших обобщений повседневной практики до эмпирических обобщений в науке или универсальных суждений, выражающих всеобщие законы. В зависимости от полноты и закономерности эмпирического исследования различают два вида индуктивных умозаключений: полную индукцию и неполную индукцию. Пример: определив, что каждый металл проводит электричество, можно сделать вывод: «Все металлы проводят электричество».

Традуктивные умозаключения (от латинского traductio – « перевод», « перемещение», «перенос») - это умозаключения, в которых и посылки, и вывод одинаковой степени общности, т.е. это умозаключения из суждений отношения и умозаключения по аналогии, которые представляют собой вывод о принадлежности определенного признака исследуемому единичному объекту (предмету, событию, отношению или классу) на основе его сходства в существенных чертах с другим уже известным единичным объектом. Умозаключению по аналогии всегда предшествует операция сравнения двух объектов, которая позволяет установить сходства и различия между ними. При этом для аналогии требуются не любые совпадения, а сходства в существенных признаках при несущественности различий. Именно такие сходства служат для уподобления двух материальных или идеальных объектов. В качестве примера можно привести в истории физики о механизмах распространении звука и света, когда их уподобили движению жидкости. На основе этого возникли волновые теории звука и света. Объектами уподобления в этом случае были жидкость, звук и свет, а переносимым признаком волновой способ их распространения.

Дедуктивные Традукция Полная

Чисто условные Условно- дедукция

РАЗДЕЛИТЕЛЬНЫЕ

УМОЗАКЛ. ИЗ СУЖДЕНИЙ С ОТНОШЕНИЯМИ

НЕПОСРЕДСТВЕННЫЕ УМОЗАКЛЮЧЕНИЯ

Напечатать

Похожие записи:

Николай пирогов Врач пирогов николай иванович Цитаты о том что важно. Афоризмы о цитатах. Это и есть смысл огарёва; фгбоу во "мгу им Лучшие учебники английского языка для пополнения словарного запаса Экзотическая страна австралия