Логика. Термины и определения

СОДЕРЖАНИЕ

 

 

1. Предмет и значение логики	3
2.  Учение о понятии	6
3. Учение о суждении	11
4. Законы  мышления	15
5. Дедуктивные умозаключения	17
6. Доказательства и опровержение	20
7. Практическая логика	23
Список использованной литературы	26

 

 

1. Предмет и значение логики

 

АНТИФОРМАЛЬНОЕ ПОВЕДЕНИЕ - это внешнее действие людей, происходящее с нарушениями заранее заданных правил.

АБСТРАКТНОЕ МЫШЛЕНИЕ - это мысленное отвлечение от ряда несущественных свойств, связей изучаемого предмета и выделение основных, общих его свойств, связей и отношений.

ВЕЩЬ - целостная и относительно устойчивая часть материального мира, существующая объективно, то есть вне нас и не зависимо от нас и отражающаяся в нашем сознании;

- это отдельный фрагмент бытия, существующий самостоятельно.

ДЕДУКЦИЯ - это переход от общего утверждения к частному.

ЕДИНИЧНОЕ - понятие, в котором мыслится лишь один предмет (явление, событие), ограниченное в пространстве и времени.

ИЗОЛИРОВАННОСТЬ - это такие отношения, при которых изменение одной вещи не влечет за собой изменение другой.

ИСТИННОСТЬ МЫСЛИ - это соответствие мысли действительности.

ИНДУКЦИЯ - это переход от частного утверждения к общему.

ЛОГИЧЕСКАЯ КУЛЬТУРА - это методология и методика научного познания, усвоение рациональных методов и приемов доказательного рассуждения, формирование творческого мышления.

ЛОГИЧЕСКАЯ ФОРМА - это строение конкретной мысли, т.е. способ связи ее составных частей. Логическая форма отражает объективный мир, но это отражение не всей полноты содержания мира, существующего вне нас, а его общих структурных связей, которые воплощаются в структуре наших мыслей.

ЛОГИЧЕСКИЙ ЗАКОН - это универсальная взаимосвязь между абстрактными объектами, выраженная средствами естественного или формального языка;

ЛОЖЬ - это мысль, в которой неверно, искаженно отражена действительность.

 НЕФОРМАЛЬНОЕ ПОВЕДЕНИЕ - это  внешнее поведение людей в  ситуациях, в которых правила  не заданы.

ОТНОШЕНИЕ - отличается от свойства тем, что для получения истинного или ложного представления его (отношения) следует отнести в мыслях к паре или тройке предметов;

- указывает на связь и изолированность  вещей.

ОСОБЕННОЕ - свойства, по которым выделяются классы предметов, входящие в другие классы предметов (составляя при этом их правильную часть), образованных по более общим свойствам. Эти свойства характеризуют группу вещей.

ОБЩЕЕ - понятие, в котором мыслится совокупность однородных элементов.

ПРАВОВОЕ ОБЩЕСТВО - это общество в котором максимально широко распространено формальное поведение.

ПОНЯТИЕ - есть мысль, в которой отражаются отличительные свойства предметов и отношения между ними.

ПРАВИЛЬНОЕ РАССУЖДЕНИЕ - это рассуждение, в котором заключение вытекает из посылок с логической необходимостью и общая схема такого рассуждения представляет собой логический закон. Отличительной особенностью правильного рассуждения является то, что от истинных посылок он всегда ведет к истинному заключению.

ПРЕДМЕТ - всякая материальная вещь,  объект познания. Предмет существует вне и независимо от сознания и восприятия наших чувств. В логике П. называется все то, на что направлена наша мысль, все что может быть как-то воспринято, названо и т.д.

ПРИЗНАК - это наличие или отсутствие свойства у предмета, а также наличие или отсутствие отношения между предметами.

РАССУЖДЕНИЕ - это определенная, внутренне обусловленная связь утверждений.

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

- указывают на сходство и  отличия вещей.

СУЖДЕНИЕ - это мысль, в которой что-либо утверждается или отрицается о предметах действительности, х свойствах или отношениях.

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

ТРАДУКЦИЯ - это переход от частного утверждения к частному, от общего к общему.

УМОЗАКЛЮЧЕНИЕ - абстрактная взаимосвязь суждений, постигаемая с помощью рационального мышления.

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

ФОРМАЛЬНОЕ МЫШЛЕНИЕ - это мышление, осуществляемое в соответствии с требованиями логики.

ФОРМАЛЬНАЯ ЛОГИКА - наука, занимающаяся анализом структуры высказываний и доказательств, обращающая основное внимание на форму в отвлечении от содержания;

- наука о законах и формах  правильного мышления;

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

ФОРМАЛЬНОЕ ПОВЕДЕНИЕ - это внешнее действие людей, происходящее в соответствии с заранее заданными правилами.

 

 

2.  Учение о понятии

 

АБСТРАГИРОВАНИЕ - логическая операция, проводимая с понятиями, элементами объема которых являются свойства или отношения;

- мысленное выделение отдельных  признаков предмета и отвлечение  от других признаков.

АНАЛИЗ - мысленное расчленение предмета на составные части.

ВИД - понятие, имеющее меньший объем и составляющее часть объема другого понятия;

- понятие подчиненное.

ВСПОМОГАТЕЛЬНАЯ КЛАССИФИКАЦИЯ - классификация, в основание которой кладутся несущественные для выделяемых классов признаки.

ДЕЛЕНИЕ - раскрывает объем понятия путем перечисления всех возможных видов.

ДЕЛЕНИЕ ПО ВИДОИЗМЕНЕНИЮ ПРИЗНАКА - это деление, при котором признак, служащий основанием деления, присущ объектам выделяемых видов в различной степени;

- его основанием является признак, при изменении которого образуются  видовые понятия, входящие в объем  делимого (родового) понятия.

ДЕЛИМОЕ ПОНЯТИЕ - понятие, объем которого надо расчленить;

- родовое понятие, объем которого  раскрывается через составляющие  его виды.

ДИХОТОМИЧЕСКОЕ ДЕЛЕНИЕ - это деление, при котором объем данного понятия делится на два вида по наличию или отсутствию некоторого  признака.

ЕСТЕСТВЕННАЯ КЛАССИФИКАЦИЯ - классификация, в основание которой положены существенные для выделяемых классов признаки.

ЗАКОН ОБРАТНОГО ОТНОШЕНИЯ - устанавливает, что с увеличением содержания объем понятия уменьшается и наоборот, с увеличением объема понятия содержание понятия уменьшается.

ЛОГИЧЕСКАЯ ХАРАКТЕРИСТИКА - определение того, к какому виду относится то или иное понятие;

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

ОБОБЩЕНИЕ - логическая операция, состоящая в переходе от некоторого понятия А к понятию В, при котором объем понятия А оказывается частью объема В;

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

ОБОБЩЕНИЕ - переход от вида к роду;

- логическая операция, состоящая  в переходе от понятия А  к понятию В, при котором объем  понятия А оказывается частью  объема понятия В;

- логическая операция, которая  предполагает переход от понятия  с меньшим объемом, но большим содержанием к понятию с большим объемом, но с меньшим содержанием.

ОБЪЕМ ПОНЯТИЯ - отражает количество предметов, входящих в него;

- совокупность предметов, которая  мыслится в понятии.

ОГРАНИЧЕНИЕ - переход от рода к виду;

- переход от понятия А к  понятию В, при котором объем понятия В представляет собой часть объема понятия А;

-переход от понятия с большим  объемом, но с меньшим содержанием  к понятию с меньшим объемом, но с большим содержанием.

ОПРЕДЕЛЕНИЕ - логическая операция, которая раскрывает содержание понятия путем перечисления всех существенных признаков, входящих в него.

ОТНОШЕНИЯ ПЕРЕСЕЧЕНИЯ - объемы понятий частично пересекаются;

- понятия совместимы, и имеются  элементы объема понятия А, не  являющиеся элементами объема  В, и элементы объема понятия В, не являющиеся элементами объема понятия А.

ОТНОШЕНИЯ ПОДЧИНЕНИЯ - объем одного понятия полностью входит в объем другого, составляя его часть.

ОТНОШЕНИЯ ПРОТИВОПОЛОЖНОСТИ - противоположные понятия А и В соподчинены понятию С и представляют собой крайние степени  выраженности некоторого качества;

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

ОТНОШЕНИЯ ПРОТИВОРЕЧИЯ - понятия А и В противоречащие, если существует третье понятие С, такое, что А подчиняется С и В подчиняется С, и не существует такого элемента объема понятия С, который бы не был элементом объема понятия А или элементом объема понятия В;

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

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

ОТНОШЕНИЯ СОПОДЧИНЕНИЯ - понятия А и В соподчиненные, если существует третье понятие С, такое, что А подчиняется С, и В подчиняется  С, и существует элемент объема понятия С, который не входит ни в  объем понятия А, ни в объем понятия В;

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

ОТНОШЕНИЯ ТОЖДЕСТВЕННОСТИ - объемы тождественных понятий полностью совпадают, т.е. они состоят из одних и тех же элементов.

ПОНЯТИЯ АБСТРАКТНЫЕ - элементами которых являются свойства или отношения;

- фиксируют отдельное свойство  предмета;

- в которых мыслятся свойства  предмета или отношение между   предметами.

ПОНЯТИЯ БЕЗОТНОСИТЕЛЬНЫЕ - мыслятся самостоятельно;

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

ПОНЯТИЯ ЕДИНИЧНЫЕ - в объем которых входит только один элемент.

ПОНЯТИЯ КОНКРЕТНЫЕ - элементами объема которых являются предметы;

- фиксируют предмет или группу  в целом;

- в которых мыслится предмет  или совокупность предметов как  нечто самостоятельно существующее.

ПОНЯТИЯ НЕСОБИРАТЕЛЬНЫЕ - мыслится один предмет или один класс предметов.

ПОНЯТИЯ ОБЩИЕ - в объем которых входит более одного элемента.

ПОНЯТИЯ ОТНОСИТЕЛЬНЫЕ - мыслятся обязательно с другим предметом;

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

ПОНЯТИЯ ПУСТЫЕ - объем которых представляет собой пустое множество, т.е. не содержит ни одного предмета.

ПОНЯТИЯ СОБИРАТЕЛЬНЫЕ - элементы объема которых сами составляют множества однородных предметов;

- в которых мыслится группа предметов как единое целое;

- совокупность элементов, составляющих  единое целое.

ПРИЗНАКИ НЕОТЛИЧИТЕЛЬНЫЕ - присущи не только объектам, входящим в объем данного понятия.

ПРИЗНАКИ НЕСУЩЕСТВЕННЫЕ - без которых мы можем помыслить существование данного объекта;

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

ПРИЗНАКИ ОТЛИЧИТЕЛЬНЫЕ - присущи только объектам, входящим в объем данного понятия.

ПРИЗНАКИ ОТРИЦАТЕЛЬНЫЕ - говорят об отсутствии у предмета свойства или отношения.

ПРИЗНАКИ ПОЛОЖИТЕЛЬНЫЕ - говорят о наличии у предмета свойства или отношения.

ПРИЗНАКИ СУЩЕСТВЕННЫЕ - без которых нельзя помыслить само существование предмета;

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

РОД - понятие, имеющее больший объем и включающее объем другого понятия;

- понятие подчиняющее.

СОДЕРЖАНИЕ ПОНЯТИЯ - отражает количество существенных признаков предмета;

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

ФИЗИЧЕСКОЕ ДЕЛЕНИЕ - мысленное расчленение целого предмета на части.

ЧЛЕНЫ ДЕЛЕНИЯ - виды, на которые делится понятие.

 

 

3. Учение о суждении

 

АТРИБУТИВНЫЕ СУЖДЕНИЯ - суждения, в которых выражается принадлежность предметам некоторых свойств или отсутствие у предметов каких-либо свойств;

- суждения о полном или частичном  включении или невключении одного  множества предметов в другое  или суждение о принадлежности  или непринадлежности предмета к классу предметов.

ИСТИННОСТЬ

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

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

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

-i - подчиненные суждения. Истинность  общего суждения определяет истинность  частного суждения. Ложность общего  суждения оставляет частное суждение  неопределенным.

ИСКЛЮЧАЮЩЕ-РАЗДЕЛИТЕЛЬНЫЕ СУЖДЕНИЯ - это суждения, в которых утверждается наличие ровно одной из двух ситуаций. Осуществляются посредством союза “или...,или....”.

КВАНТОР - элемент , указывающий, относится ли суждение ко всему объему понятия, выражающего субъект, или к его части.

.КОЛИЧЕСТВО И КАЧЕСТВО СУЖДЕНИЯ - В логике применяется объединенная классификация суждений по количеству и качеству, на основе которой выделяются следующие 4 типа суждения:

A - общеутвердительное суждение (структура: “Все S есть P”);

I - частноутвердительное суждение (структура: “Некоторые S есть P”);

E - общеотрицательное суждения (структура: “ Ни одно S не есть P”);

О - частноотрицательное суждения (структура: “Некоторые S  не естьP”).

КОЛИЧЕСТВО СУЖДЕНИЯ - характеристика суждения, определяющая, в каком объеме рассматривается объект суждения.

КАЧЕСТВО СУЖДЕНИЯ - способность раскрывать наличие или отсутствие тех или иных связей и отношений между мыслимыми предметами.

КАТЕГОРИЧЕСКИЕ СУЖДЕНИЯ - суждения, в котором предикат утверждается или отрицается относительно субъекта без формирования каких-либо условий и при этом исключаются какие-либо альтернативные предикаты.

ОБЩИЕ СУЖДЕНИЯ - это суждения, в которых предикат высказывается обо всем объеме суждения.

ОТРИЦАТЕЛЬНОЕ СУЖДЕНИЕ - выражает отсутствие у предмета некоторого признака.

ПРЕДИКАТ - понятие о признаке предмета, рассматриваемом в суждении.

ПРОСТОЕ СУЖДЕНИЕ - суждение, в котором нельзя выделить правильную часть, т.е. часть несовпадающую с целым, в свою очередь являющуюся суждением;

- имеет один субъект и один  предикат.

РАЗДЕЛИТЕЛЬНЫЕ СУЖДЕНИЯ - это суждения, в которых утверждается наличие по крайней мере одной из двух ситуаций. Суждения этого типа осуществляются посредством союза “или”.

РАСПРЕДЕЛЕННОСТЬ И НЕРАСПРЕДЕЛЕННОСТЬ ТЕРМИНОВ СУЖДЕНИЯ - Термин считается распределенным , если его объем полностью включается в объем другого термина или полностью исключается из него. Термин будет не распределен, если его объем частично включается в объем другого термина или частично исключается из него.

СУЖДЕНИЕ - мысль в которой утверждается наличие или отсутствие свойств у предметов, отношений между предметами, связей между ситуациями.

СУБЪЕКТ - понятие об объекте суждения.

СВЯЗКА - элемент простого суждения, связывающий субъект и предикат;

- это самоутверждение или отрицание  мыслимого в предикате содержания

СЛОЖНОЕ СУЖДЕНИЕ - суждение, в котором можно выделить правильную часть, являющуюся суждением. Сложное суждение образуется из простых суждений с помощью союзов, отрицания, модальных терминов;

- состоит из нескольких простых  суждений.

СОЕДИНИТЕЛЬНЫЕ СУЖДЕНИЯ - это суждения, в которых утверждается одновременное наличие двух ситуаций. Чаще всего такие утверждения выражаются посредством предложений содержащих союз “и”.

СУЖДЕНИЯ ЭКВИВАЛЕНТНОСТИ - это суждения в которых утверждается одновременное наличие или одновременное отсутствие двух ситуаций. Выражаются посредством предложений содержащих союзы “ если и только если..., то...”, “тогда и только тогда..., когда”.

ТАБЛИЦА ИСТИННОСТИ

 

А В соедини- раздели- исключ.- условные суждения

тельные тельные разделит. суждения эквива-

суждения суждения суждения   лентности

   А^В     АvВ     АvВ     А   В     А=В

И И      И       И       Л       И       И

И Л      Л       И       И       Л       Л

Л И      Л       И       И       И       Л

Л Л      Л       Л       Л       И       И

 

 

ТАБЛИЦА РАСПРЕДЕЛЕННОСТИ.

Вид суждения  Обозна- Формула Распределенность                 

Отношение                  чение  суждения         терминов    S и P

 

Общеутвер-     А     SaP   + -

дительное        +

 

Частноут-     I     SiP   - -

вердительное       +

 

Общеотри-     E     SeP   + +

цательное

 

Частноотри-     O     SoP   - +

цательное

 

УТВЕРДИТЕЛЬНОЕ СУЖДЕНИЕ - выражает принадлежность предмету некоторого признака.

УСЛОВНЫЕ СУЖДЕНИЯ - суждения в которых утверждается, что наличие одной ситуации обуславливает наличие другой. Выражаются предложениями с союзом “если..., то...”.

ЧАСТНЫЕ СУЖДЕНИЯ - это суждения, в которых предикат высказывается о некоторых элементах объема суждения.

 

4. Законы  мышления

 

ЗАКОН ЛОГИКИ - необходимая, существенная, устойчивая, повторяющаяся связь между мыслями;

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

ЗАКОН ТОЖДЕСТВА- объемы содержания всякого понятия должны быть зафиксированы и оставаться неизменными в течении всего процесса рассуждения.

- любой объект тождествен лишь  самому себе.

ЗАКОН НЕПРОТИВОРЕЧИЯ - два несовместимых друг с другом суждения не могут быть одновременно истинными в одно и то же время в одном и том же отношении;

- контрадикторные (противоречащие) друг  другу высказывания не могут  быть одновременно истинным.

ЗАКОН ИСКЛЮЧЕНИЯ ТРЕТЬЕГО - из двух противоречивых друг другу суждений одно истинно, другое ложно, а третьего не дано.

ЗАКОН ДОСТАТОЧНОГО ОСНОВАНИЯ - всякая истинная мысль должна иметь достаточное основание.

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

Требования к мышлению:

АМФИБОЛОГИЯ - двусмысленность, двойственность.

ЛОГОМАХИЯ - спор о словах;

- употребление слов, имеющих два  значения.

НЕПРОТИВОРЕЧИВОСТЬ - противоречия нет,если мы рассматриваем суждения в разных отношениях;

- мысль противоречива, если мы  об одном и том же предмете  в одно и то же время и  в одном и том же отношении  нечто утверждаем и отрицаем.

ОПРЕДЕЛЕННОСТЬ - в процессе рассуждения, употребляя некоторый термин, мы должны употребить его в одном и том же смысле, понимать под ним нечто определенное.

ОБОСНОВАННОСТЬ - для подтверждения истинной мысли могут быть использованы истинные суждения, фактический материал, законы науки;

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

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

ПОСЛЕДОВАТЕЛЬНОСТЬ - нельзя отождествлять разные мысли. Нельзя тождественные мысли принимать за нетождественные.

- утверждая нечто о чем-то, мы  не отрицаем того же, о том  же, в том же самом смысле, в тоже самое время.

ПАРАЛОГИЗМ - нарушение законов логики, допускаемое невольно.

СОФИЗМ - это нарушение законов логики, сознательно спланированное с целью введения собеседника в заблуждение.

ЭКВИВОКАЦИЯ - подмена понятий;

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

 

 

5. Дедуктивные умозаключения

 

ВЕРОЯТНОСТНЫЕ УМОЗАКЛЮЧЕНИЯ - когда вывод правдоподобный может быть как истиной так и ложью.

ВЫВОД - это логический переход от посылок к заключению.

ДЕДУКТИВНЫЕ УМОЗАКЛЮЧЕНИЯ - умозаключения, в которых переход от общего знания к частному является логически необходимым;

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

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

ЗАКЛЮЧЕНИЕ - это новое суждение, полученное логическим путем из посылок и содержащее новое знание.

ИНДУКЦИЯ - это вид умозаключения, переход от частного знания к общему;

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

МОДУСЫ - это разновидности силлогизма, различающиеся количеством и качеством посылок и заключения;

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

НЕОБХОДИМЫЕ УМОЗАКЛЮЧЕНИЯ - когда из истинных посылок, при соблюдении правил логики, делается истинное умозаключение.

НЕПОСРЕДСТВЕННОЕ УМОЗАКЛЮЧЕНИЕ - это умозаключения, в которых новое знание выводится из одной посылки;

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

ОБРАЩЕНИЕ - это преобразование суждения, в результате которого субъект исходного суждения становится предикатом, а предикат субъектом заключения;

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

ПОЛИСИЛЛОГИЗМ или сложный силлогизм - это соединение силлогизмов, в котором заключение предшествующего силлогизма (просиллогизма) становится посылкой последующего (эписиллогизма).

ПОСЫЛКА - это исходное суждение, из которого делается вывод;

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

ПРЕВРАЩЕНИЕ - такая логическая операция, когда из данного суждения получается равнозначное ему суждение;

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

ПРОСТОЙ КАТЕГОРИЧЕСКИЙ СИЛЛОГИЗМ - это умозаключение об отношении двух крайних терминов на основании их отношения к среднему термину;

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

ПРОТИВОПОСТАВЛЕНИЕ ПРЕДИКАТУ - преобразование суждения, в результате которого субъектом становится понятие, противоречащее предикату, а предикатом - субъект исходного суждения;

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

РАЗДЕЛИТЕЛЬНЫЙ СИЛЛОГИЗМ - силлогизм, в котором разделительная посылка фиксирует ряд исключающих друг друга свойств, одно из которых может принадлежать предмету.

СИЛЛОГИЗМ - это умозаключение, в котором из двух категорических суждений, связанных общим средним термином получается третье суждение, называемое выводом; при этом средний термин в заключение не входит;

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