Какие отделы существуют в современной минералогии. Минералы и минералогия. Смотреть что такое "Минералогия" в других словарях

1. Простой категорический силлогизм Наиболее распространенной и важной формой опосредованного умозаключения из простых атрибутивных суждений выступает простой категорический силлогизм (от греч. syllogismos - умозаключение, выведение). Приводившийся выше пример с Сократом

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

1. Простой категорический силлогизм Структура простого категорического силлогизма1. Выделите структуру (посылки и заключение, больший, меньший и средний термины, б?льшую и меньшую посылку) простого категорического силлогизма в следующем примере:«Все таможенники -

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

§ 3. ПРОСТОЙ КАТЕГОРИЧЕСКИЙ СИЛЛОГИЗМ 1. Состав простого категорического силлогизмаШироко распространенным видом опосредованных умозаключений является категорический силлогизм. Он состоит из трех категорических суждений, два из которых являются посылками, а третье

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

Поймите основную структуру силлогизмов. Силлогизм состоит из трех частей: большая посылка, меньшая посылка и заключение. Каждая часть состоит из двух категоричных форм (термины, которые обозначают категории, такие, как категория птиц, животных и т.д.), связанных в форме "Некоторые / все А есть / нет. Б" Каждая из посылок имеет один термин общий с выводом: основной термин в большей посылке, которая формирует предикат заключения, и меньший термин в меньшей посылке, которая составляет предмет заключения. Категорический термин общего в посылке называется "средний термин". Например: Большая посылка: Все птицы животные. Меньшая посылка: Все попугаи птицы. Вывод: Все попугаи животные. В этом примере, «животное» является большим термином и предикат заключения, "попугай" является меньшим термином и субъект заключения, и "птица" является средним термин.

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

Поймите,что каждая часть выражается как "некоторые / все А есть/нет Б" с четырьмя возможными вариантами. Общее (символизируется А) выражается как "все А / есть Б", сокращенно AaБ. Общеотрицательное (символизируется E) выражается как "не / А являются Б", сокращенно AеБ. Частноутвердительные (символически как I) выражаются, как «некоторые А является / являются B", сокращенно Aib. Частноотрицательные (символизируются O) выражается как "некоторые А / не Б," сокращенно AoB.

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

В силлогизме всегда три термина: средний (М) - понятие, входящее в обе посылки и отсутствующее в заключении; больший (Р), выступающий предикатом заключения, и меньший (S), выступающий субъектом заключения. Формы силлогизма, различающиеся положением среднего термина, называются фигурами силлогизма, их всего четыре.

Отношения между терминами силлогизма (М,Р,S ) изображаются с помощью круговых схем Эйлера. Это позволяет наглядно показать правомерность заключения.

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

Основные правила построения умозаключения в форме силлогизма:

1.Во всяком силлогизме не менее и не более трех терминов. Нарушение этого правила приводит к ошибке учетверения терминов. Обычно это является следствием употребления в посылках двусмысленных понятий.

2.Во всяком силлогизме не более и не менее трех суждений.

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

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

5.Из двух отрицательных суждений нельзя вывести достоверного заключения.

6.Если одна из посылок отрицательна, заключение должно быть отрицательным.

7.Из двух частных суждений нельзя вывести достоверного заключения.

8. Если одна из посылок - частное суждение, то и заключение должно быть частным.

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

В условно-категорическом умозаключении одна посылка - условное суждение, другая посылка и заключение - категорические суждения. Можно построить две правильные формы условно-категорического умозаключения, обеспечивающие логическое следование заключения из посылок, и две неправильные формы. Достаточно универсальный способ проверки правильности модуса (правомерности вывода) - табличное построение, примененное к формуле вывода. При этом возможно как полное построение таблицы истинности (для всех неповторяющихся комбинаций значений истинности входящих переменных), так и сокращенный способ анализа формулы вывода. Последний опирается на предположение о ложности главного логического союза в формуле вывода. По определению такое значение возможно только в одном случае - когда из истины выводится ложь. Дальше в обратном порядке анализируются значения истинности логических союзов и обусловленные ими значения истинности переменных. Если в конечном пункте анализа формулы вывода получаем противоречие с табличным определением логического союза, считаем исходное предположение (о единственно возможном значении ложности главного союза неверным. Значит, в табличном построении главный логический союз будет иметь всегда значение «истина». Формула вывода в таком случае представляет собой тождественно-истинную формулу (закон логики, или тавтологию). На этом основании можно утверждать, что заключение, получаемое по такой формуле, будет достоверно.

СИЛЛОГИЗМ

СИЛЛОГИЗМ

(от греч. sillogismos) - опосредованное силлогистики. Наиболее известной формой С. является т.н. простой С. - двухпосылочное умозаключение об отношении между двумя терминами (большим - Р и меньшим - S) посредством указания их отношения к некоторому третьему, опосредующему термину, называемому средним термином - М. Классическим примером простого категорического С. является следующее умозаключение: «Все люди смертны, Сократ - ; следовательно, Сократ смертен».
С. разделяются по т.н. фигурам, отличающимся друг от друга расположением среднего термина в посылках. С точностью до порядка посылок выделяют следующие фигуры С:
M - P
S - M
S - Р
Фигура 1
Р - М
S - М
S - Р
Фигура 2
M - P
M - S
S - Р
Фигура 3
P - M
M - S
S - Р
Фигура 4
Если в фигуре указать высказываний, стоящих на местах посылок и заключения, то получим разновидность данной фигуры, называемую модусом фигуры. Так, приведенный выше С. относится к модусу Barbara первой фигуры, который имеет следующий вид:
Всякий М есть Р
Всякий S есть М
Всякий S есть Р
Те модусы, для которых между посылками и заключением существует логического следования, называются правильными. Для проверки правильности С. имеется специальный перечень правил. Выполнение каждого правила является необходимым, а всех вместе - достаточным условием, чтобы считать некоторый правильным. Эти правила называются общими правилами С. и подразделяются на правила терминов и правила посылок.
Правила терминов:
1. Должна быть , в которой средний распределен.
2. Если термин распределен в заключении, то он распределен и в посылке.
Правила посылок:
3. Должна иметься утвердительная посылка.
4. Если утвердительными являются обе , то - утвердительное .
5. Если имеется отрицательная посылка, то заключение - отрицательное высказывание.

Философия: Энциклопедический словарь. - М.: Гардарики . Под редакцией А.А. Ивина . 2004 .

СИЛЛОГИЗМ

(греч. ) , форма дедуктивного умозаключения, в которой из двух высказываний (посылок) субъектно-предикатной структуры следует высказывание (заключение) той же логич. структуры. Обычно С. наз. категорич. С., состоящий из трёх терминов, попарно связанных в высказываниях С. посредством одного из след, четырёх логич. отношений: «Всякое... есть...», «Ни одно... не есть...», «Некоторое... есть...», «Некоторое... не есть...» (обозначаемых соответственно буквами А, Е, I, О) . Напр.: «Ни один кит (М) не есть рыба () , всякий кит (М) имеет рыбообразную форму () ; следовательно, некоторые имеющие рыбообразную форму () не есть рыбы () ». Высказывания, содержащие термин, не входящий в заключение С. (средний термин, М) , составляют посылки С. Посылка, содержащая заключения (больший термин, ) , наз. большей посылкой. Посылка, содержащая заключения (меньший термин, ) , наз. меньшей посылкой. По положению среднего термина в посылках (в зависимости от того, является он субъектом или предикатом) С. подразделяют на четыре фигуры. В зависимости от логич. отношений, связывающих термины в высказываниях С., выделяют различные модусы.

Философский энциклопедический словарь. - М.: Советская энциклопедия . Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов . 1983 .

СИЛЛОГИЗМ

(от греч. sollogismos подытоживание)

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

Философский энциклопедический словарь . 2010 .

СИЛЛОГИЗМ

(греч. συλλογισμός) – форма дедуктивного умозаключения, в к-рой из двух высказываний (посылок) определ. субъектно-предикатной структуры следует новое высказывание (заключение) той же логич. структуры. С. обычно наз. к а т е г о р и ч е с к и й С., высказывания (суждения) к-рого составлены из трех терминов, причем каждое высказывание представляет собой двух терминов посредством одного из след. четырех логич. отношений: "Всякое... есть...", "Ни одно... не есть...", "Некоторое... есть...", "Некоторое... не есть..." (обозначаемых в логике соответственно буквами А, Е, I, О). Примеры форм категорич. С: "Всякое M есть P; всякое S есть М; следовательно, всякое S есть P"; "Ни одно Ρ не есть M, нек-рые S суть М; след. нек-рые S не суть P". (Или, формулируя С. в форме условного высказывания, что ближе к тому, как понимал С. создатель его теории Аристотель: "Если всякое M есть Ρ и всякое S есть М, то всякое S есть P"; "Если ни одно Ρ не есть M и некоторое S суть М, то некоторое S не суть P"). Пример конкретного рассуждения в форме С. (в силлогистич. форме): "Если ни один дельфин не является рыбой, а нек-рые живые существа в этом водоеме – рыбы, то нек-рые живые существа в этом водоеме – не дельфины". Высказывания, содержащие термин, не входящий в заключение С. (называемый средним термином и обозначаемый обычно буквой М), составляют две посылки С. Посылка, содержащая предикат (логич. сказуемое) заключения (б о л ь ш и й т е р м и н, Р), наз. большей посылкой. Посылка, содержащая субъект (логич. подлежащее) заключения (м е н ь ш и й т е р м и н, S), наз. меньшей посылкой. По положению среднего термина (М) С. подразделяют на четыре фигуры. В 1-й фигуре M является субъектом в большей посылке и предикатом в меньшей, во 2-й фигуре – предикатом в обеих посылках, в 3-й – субъектом в обеих посылках, в 4-й – предикатом в большей и субъектом в меньшей посылках. В фигурах в зависимости от вида постоянных логич. отношений, связывающих термины в посылках и заключении, выделяются различные м о д у с ы С. Всего, с т. зр. всевозможных сочетаний в трех высказываниях С. четырех постоянных логич. отношений, насчитывается 4·4·4=64 модуса в каждой из фигур; итого 256 модусов в четырех фигурах силлогизма. Однако правильными (т.е. такими, что, рассуждая по ним, мы всегда из истинных посылок получим истинное заключение) из них являются лишь 24 модуса, в т.ч. т.н. ослабленные модусы, т.е. модусы, для к-рых существуют модусы, дающие более сильное заключение из тех же посылок (напр., заключение "Всякое S есть P" вместо "Некоторые S суть Р"). Перечень всех (неослабленных) модусов С. по фигурам (указание фигуры С., фиксация логич. отношения, связывающего термины С. в его посылках и заключении, и задание порядка записи высказываний, составляющих С., – сначала большая посылка, затем меньшая и, наконец, заключение – однозначно определяют нижеследующих трехбуквенных "слов"): 1-я фигура – модусы AAA, EAE, AII, EIO; 2-я фигура – ЕАЕ, АЕЕ, EIO, АОО; 3-я фигура – AAI, IAI, AII, ЕАО, ОАО, EIO; 4-я фигура – AAI, АЕЕ, IAI, ЕАО, EIO; замена общих высказываний частными в соответствующих модусах дает ослабленные модусы. Дальнейшие сведения о теории (категорич.) С. см. в ст. Силлогистика .

Термин "С." применяется и в более широком смысле – применительно к условным и условно-категорическим умозаключениям, разделительно-категоригческим умозаключениям и условно-разделительным (лемматическим) умозаключениям (см. Дилемма , Лемма).

Лит.: Аристотель, Аналитики, первая и вторая, пер. с греч., [Л.], 1952; Калбертсон Дж. Т., Математика и цифровых устройств, пер. с англ., М., 1965. См. также лит. при ст. Силлогистика .

А. Субботин. Москва.

Философская Энциклопедия. В 5-х т. - М.: Советская энциклопедия . Под редакцией Ф. В. Константинова . 1960-1970 .

СИЛЛОГИЗМ

СИЛЛОГИЗМ (греч. συλλογισμός)- дедуктивного умозаключения, в котором из двух высказываний (посылок) субъекгно-предикатной структуры следует новое высказывание (заключение) той же логической структуры. Обычно силлогизмом называют , состоящий из трех терминов, попарно связанных в высказываниях посредством одного из следующих четырех логических отношений: “Всякое... есть...”, “Ни одно... не есть...”, “Некоторое... есть...”, “Некоторое... не есть...” (обозначаемых соответственно буквами А, Е, I, О). Напр.: “Ни один кит (М) не есть рыба (), всякий кит (At) имеет рыбообразную форму (5); следовательно, некоторые имеющие рыбообразную форму (5) не есть рыбы {Р)”. Высказывания, содержащие термин, не входящий в заключение силлогизма (средний термин, М), составляют посылки силлогизма. Посылка, содержащая предикат заключения (больший термин, ), называется большей посылкой. Посылка, содержащая субъект заключения (меньший термин, ), называется меньшей посылкой. По положению среднего термина в посылках (в зависимости от того, является ли он субъектом или предикатом) силлогизм подразделяют на четыре фигуры. В зависимости от логических отношений, связывающих термины в высказываниях силлогизма, выделяют различные его модусы.

А. Л. Субботин

Новая философская энциклопедия: В 4 тт. М.: Мысль . Под редакцией В. С. Стёпина . 2001 .

Смотреть что такое "СИЛЛОГИЗМ" в других словарях:

- [гр. sillogismos] лог. умозаключение, состоящее из двух суждений (посылок), из которых следует третье суждение заключение, вывод (напр., всякое S есть M, а всякое M есть P, следовательно, всякое S есть P). Словарь иностранных слов. Комлев Н.Г.,… … Словарь иностранных слов русского языка

См. доказательство... Словарь русских синонимов и сходных по смыслу выражений. под. ред. Н. Абрамова, М.: Русские словари, 1999. силлогизм вывод, доказательство; рассуждение, умозаключение, энтимема, модус Словарь р … Словарь синонимов

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

- (греч. syllogismos) рассуждение, в котором две посылки, связывающие субъекты (подлежащие) и предикаты (сказуемые), объединены общим (средним) термином, обеспечивающим замыкание понятий (терминов) в заключении силлогизма. Напр.: Все металлы… … Большой Энциклопедический словарь

СИЛЛОГИЗМ, силлогизма, муж. (греч. syllogismos) (филос.). В формальной логике умозаключение, в котором из двух ранее установленных суждений, называемых посылками, получается третье суждение, называемое выводом. Толковый словарь Ушакова. Д.Н.… … Толковый словарь Ушакова

СИЛЛОГИЗМ, а, муж. В логике: умозаключение, в к ром из двух данных суждений (посылок) получается третье (вывод). | прил. силлогистический, ая, ое и силлогический, ая, ое. Толковый словарь Ожегова. С.И. Ожегов, Н.Ю. Шведова. 1949 1992 … Толковый словарь Ожегова

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

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

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

Суть силлогизма

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

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

1. Студентка музыкальной школы Елена великолепно играет на пианино.
2. Мария третий год участвует в музыкальных конкурсах в дуэте с Еленой.
3. Вывод: Мария также успешно учится в музыкальной школе.

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

Три типа умозаключений

Разделение на типы проводится после определения степени общности суждений:

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

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

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

Примеры извлечения умозаключения

Немаловажная сторона ума человека – возможность понять, что такое заключение и суметь его выстроить. Даже простейшие предметы и явления нуждаются в приложении ума: проснувшись, посмотреть на термометр на улице и, когда на нем ртутный столбик находится на отметке -25, одеться соответствующе. Вроде бы мы это выполняем даже не думая. Но единственная информация, которую мы имеет – это температура на улице. Отсюда умозаключение: на улице холодно, хоть помимо термометра это достоверно ничем не доказано. Может, не будет холодно в шортах? Откуда знание? Безусловно, эта цепочка не требует много умственных усилий. И дополнительных посылок также. Это называется непосредственное заключение .

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

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

Например:

• Никакой из многогранников не может быть плоским (частноутвердительная посылка). Любой из многогранников неплоский (частноотрицательная посылка).
• Некоторые ягоды съедобны (общеотрицательная посылка). Некоторые ягоды несъедобны (общеутвердительная посылка).

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

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

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

Категорическое умозаключение

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

• субъект умозаключения (S) – это меньший термин;
• предикат умозаключения (P) – это больший термин;
• связка суждений S и Р, которая отсутствует в умозаключении (M) – это средний термин.

Виды силлогизма, отличающиеся в посылках по среднему термину (M), в категорическом силлогизме называют фигурами . Есть 4 фигуры, у каждой из них свои правила.

• Первая фигура: большая общая посылка, меньшая утвердительная;
• Вторая фигура: большая общая посылка, меньшая отрицательная;
• Третья фигура: меньшая утвердительная посылка, частное умозаключение;
• Четвертая фигура: умозаключение не может быть общеутвердительным суждением.

У любой фигуры существует несколько модусов (это различные силлогизмы по количественной и качественной характеристике посылок и умозаключений). В результате фигуры силлогизма имеют правильных 19 модусов, всем из них присвоено свое определение.

Условно-категорический силлогизм

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

Например:

• Если выпал снег, пришла зима. Зима пришла – значит, пошел снег.
• Не уверен – молчи. Молчишь – значит, не уверен.

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

• Правонарушение – это преступление или проступок; в этом случае – не проступок; соответственно – преступление.
• Больной или жив, или мертв (АБС); больной не умер (АС); больной еще жив (АБ). В этом примере категорическое суждение отрицает альтернативу.

Условно-разделительный силлогизм

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

Количество альтернатив условно-разделительные заключения делит на полилеммы, трилеммы и дилеммы. Число вариантов (дизъюнкция – добавление "или") утвердительных решений - это конструктивная лемма. Когда следствия различные – лемма сложная, когда условная посылка имеет одно суждение – лемма простая, когда дизъюнкция отрицаний, то это называется лемма деструктивная. Это можно определить, по схеме составления заключения.

Например:

• Конструктивная сложная лемма: А+Б; С+Д. Когда власть выборная (А), то государство - республика (Б); когда власть передается по наследству (С), то государство монархическое (Д). Государство – республика или монархия. Власть избирают или она переходит по наследству.
• Конструктивная простая: АБ+СБ+БД= Д; А+С+Д=Б. Если дочь отправится к подруге (А), сделает домашнее задание позже (Б); если дочь отправится в кино (С), то вначале выполнит домашнее задания (Б); если дочь будет дома (Д), то сделает домашнее задание (Б). Дочь отправится к подруге или в кино, или будет дома. Домашнее задание она все равно выполнит.

Зачем необходимо понятие, суждение, умозаключение?

Сами по себе умозаключения не живут. Эксперименты не делаются вслепую. Все имеет смысл лишь в сочетании. Плюс теоретический анализ с синтезом, при котором с помощью обобщений, сравнений и сопоставлений можно сделать заключение. При этом сделать по аналогии заключение можно как о непосредственно предметном, так и о том, что нельзя "пощупать". Как непосредственно можно воспринимать такие процессы, как развитие жизни на Земле или образование звезд? В этом случае и требуется абстрактное мышление.

Понятие

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

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

Суждение

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

Явление умозаключения

Свойственная для людей способность к умозаключениям – это особый мыслительный акт, при котором из суждений можно вывести новую предпосылку о предметах и событиях. Без данной способности нельзя было бы познавать мир. Продолжительное время невозможно было увидеть нашу планету со стороны, но и в этом случае человечество пришло к умозаключению, что наша планета круглая. Смогла помочь правильная связь истинных посылок: Земля во время затмений на Луну накладывает круглую тень; шарообразные предметы дают тень в виде круга; Земля имеет круглую форму. Заключение по аналогии!

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

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