Вопрос№1:Логика есть наука о законах и формах познающего мышления(изучает мышление)направленна на обнаружение и обоснование истины.

Вопрос№2:В развит.,истории логики 2 этапа первый с 5до н.э- 19 века.в 16 веке переживала упадок.С второй половины 19 века появляется математическая логика (символическая)

Вопрос№3:Формой человеческого познания являются Научное поз.,Художественное,Философское ,Религиозное.

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

Вопрос№:5классическая логика осуществляет такой подход к высказываниям, при котором они могут быть либо истинными, либо ложными, и никакими другими;

6. Закон тождества. «В процессе определенного рассуждения всякое понятие и суждение должны быть тождественны сами себе». Формализуется закон так «а=(только три черточки)а» в логике высказываний и «А= (3черты)А» - в логике классов. Тождество обозначает равенство, сходство предметов в каком-либо отношении, причем это сходство мы выделяем умозрительно, абстрактно, так как в реальности абсолютного тождества нет, оно всегда соседствует с различиями, которые тоже не могут быть абстрактными. В рассуждении важно держать в виду именно сходство, тождество, т.е. нельзя в процессе рассуждения подменять одно понятие или суждение другими, нельзя тождественные мысли выдавать за различные, и наоборот. Например, понятия «младший брат Александра Павловича Чехова», «земский врач, в чьем ведении во время холеры 1892 года было 26 деревень» и «автор пьесы «Чайка»» - это тождественные друг другу понятия, и все они обозначают Антона Павловича Чехова.  Нарушение закона тождества неминуемо ведет к двусмысленностям, к омонимам, употребление которых в речи разнообразит её, конечно, но запутывает собеседника или слушателя. На использовании омонимов, т.е. на нарушении закона тождества, основаны софистические увертки, приемы, шутки. Например, услышав знакомую фразу «Жизнь бьет ключом…», мы с улыбкой спешим ее закончить: «и все по голове», прекрасно понимая, что слово «ключ» здесь употребляется ради шутки в разных значениях и даже в разных частях речи. Но нам совсем не до шуток, если мы встречаемся в жизни с ситуациями, когда люди говорят о разных вещах, а думают при этом, что имеют в виду одно и то же.

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

8)Закон исключённого третьего - (, то есть «третьего не дано») — закон классической логики, состоящий в том, что из двух высказываний — «А» или «не А» — одно обязательно является истинным, то есть два суждения, одно из которых является отрицанием другого, не могут быть одновременно ложными (либо истинными), одно из них необходимо истинно, а другое ложно. Закон исключённого третьего является одним из основополагающих принципов современной математики.

16. Логические приемы формирования понятий.

Понятия формируются с помощью следующих приемов:

-анализ;

-синтез;

-сравнение;

-обобщение;

-абстрагирование.

Понятия формируются чтобы:

-отличить объекты данного множества от всех остальных объектов;

-обобщить объекты данного множества;

-выразить и зафиксировать сущность объектов данного множества.

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

1. Анализ – мысленное расчленение предмета на составные части, признаки. Прим.: «Закон-1)необходимая, 2)существенная, 3)устойчивая связь предметов и явлений между собой.» Анализ дает новое знание об объекте, так как разделение целого на части позволяет установить структуру, то есть внутреннюю взаимосвязь частей, отделить существенное от несущественного. Если мы анализируем не объект как таковой, а процесс, то это означает выделение в нем различных стадий, этапов, противоречивых тенденций, внешнего и внутреннего. В процессе анализа мысль движется от сложного к более простому, от случайного к необходимому, от многообразию к установлению тождественного. По этой причине одной из форм анализа служит классификация предметов и явлений.

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

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

4. Абстрагирование – мысленное выделение одних признаков и отвлечение от других, причем отвлеченные признаки превращаются в объект самостоятельного рассмотрения и обозначают самостоятельное понятие. Ребенок до 11-12 лет в норме не способен рассматривать признаки предмета сами по себе(«трезвость», «доброта»), а только вместе с предметом-носителем (трезвый папа, добрая мама).

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

17. Содержание и объем понятий.

Содержание и объем – чисто логические характеристики понятий.

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

2. Объем понятия – класс предметов, который мыслится в данном понятии, то есть обладает данным содержанием. При этом мыслимое должно соответствовать объективной реальности. Наприм., в объем понятия «ученый» входят все люди, когда-либо занимавшиеся и занимающиеся наукой, а так же те, которые в дальнейшем изберут это поле деятельности. Если в формулу «Х – ученый» подставить имя человека, действительно ученого, то образуемое высказывание будет истинным , а это имя войдет в объем понятия «ученый». Если же подстановка какого-либо понятия приведет к ложному высказыванию, то это понятие будет исключено из объема понятий «ученый».

3. Класс состоит из отдельных объектов(элементов).В зависимости от числа последних классы делятся на пустые (класс ангелов), так как в реальности им ничего не соответствует; конечные (класс «государства Шенгенской зоны»),число которых на данный момент можно сосчитать; бесконечные (песчинки на пляжах), число которых сосчитать почти невозможно.

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

1. Регистирующие (их элементы можно сосчитать,наприм. Города России в 2008 г.), нерегистрирующие (элементы сосчитать невозможно; «доброта»)

2. Количество элементов в классе понятия. Соответственно ему выделяются понятия: 1. Пустые (не содержат реальных элементов, хотя содержат мыслимые, например «жареный лед»); 2. Единичные (содержащие один-единственный элемент, например «русский писатель И. Бунин»); 3. Общие (содержащие больше одного элемента, например «спутник Сатурна»); 4. Универсальные (=категории, то есть наиболее общие для данной области знания понятия, например «нормативно-правовой акт» - в юриспуденции.)

По содержанию понятия делятся на несколько групп, содержащих пары противоположностей:

1. Конкретные понятия отражают одно- или многоэлементные классы предметов – абстрактные понятия отражают не предметы, а их признаки или отношения между предметами. Например, понятия «яблоко», «красное яблоко», «стакан» - конкретные, понятия «белизна», «честность», «любовь» - абстрактные. Конкретные понятия можно изобразить, например, графически; абстрактные понятия не изображаются.

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

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

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

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

Внимание! Понятия, в содержании которых отражаются свой­ства, признаки предметов (яблоко, автомобиль), и понятия, в кото­рых отражаются отношения между предметами (располагаться между, брат, быть старшим), — не одинаковы. Отношения между предметами в логике обозначаются буквой R, и выражение aRb чи­тается так: «предмет а находится к предмету b в отношении R».

Если в высказывании отражается отношение (больше, млад­ше, ближе, равно) между двумя предметами (Москва и Санкт-Петербург), то такое отношение называется двухместным: «Москва старше Санкт-Петербурга», или xRy, где х — Москва, у — Санкт-Петербург, R — отношение старшинства.

Отношение «между» — трехместное, его можно установить не менее, чем с тремя предметами, чтобы образовалось осмысленное высказывание: «Москва находится между Санкт-Петербургом и Ка­лугой» (xRyRz, где х — Санкт-Петербург, у — Москва, z — Калу­га, R — отношение пространственной отдаленности). Выражение «Москва находится между Санкт-Петербургом» является бессмыс­ленным, или абсурдным. Отношения (в отличие от свойств) назы­ваются многоместными предикатами, поскольку для образования осмысленного предложения, выражающего истинное или ложное суждение, требуется установить отношения минимум между дву­мя предметами. Свойства называются одноместными предикатами, поскольку для образования осмысленного предложения, выражаю­щего истинное или ложное суждение, требуется отнести указанное свойство лишь к одному предмету.

Двухместный предикат обозначается формулой xRy, где x и у — предметы, a R — отношение между ними, одномест­ный предикат обозначается формулой Р(х), где х — предмет, а Р — свойство предмета х. При этом в формулах xRy и Р(х) зна­ки R и Р обозначают отношения и свойства предметов, а знаки x и у — сами предметы.

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

Внимание! Пустые по объему понятия, соответственно, со­держанием не обладают. Например, дать логическую характери­стику понятия «барабашка» можно лишь одним способом — ука­зать, что оно пустое по объему.

Содержание и объем понятий связаны обратно пропорцио­нальной связью: чем шире объем понятия, тем уже его содержа­ние, и наоборот. Чем меньше информации о предметах, заклю­ченных в понятии, чем меньше указанных в понятии признаков, тем неопределеннее его состав и тем шире класс, и наоборот. На­пример: животное — млекопитающее животное — млекопита­ющее домашнее животное — собака — овчарка — моя овчарка Акбара. Что произошло в данном случае? Сообщив новые, до­полнительные сведения о животном «вообще», то есть расширив содержание понятия «животное», я сузила его объем до конкрет­ного, единичного понятия — моя единственная и неповторимая овчарка-любимица, второй такой нет и не будет!

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

Ограничение понятия — это логическая операция перехода от понятия большего объема к понятию меньшего объема. Этот переход совершается путем добавления к признакам исходного понятия новых признаков, относящихся только к части предме­тов, входящих в объем исходного понятия.

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

Ограничить понятие — значит сократить его объем до еди­ничного, а обобщить — значит довести его объем до максимума, до категории (если это возможно).

Пример ограничения: Чехов — А.П. Чехов — Антон Пав­лович Чехов — великий русский писатель и драматург Антон Павлович Чехов. Понятие «А.П. Чехов» может быть понято и как просто какой-нибудь двойной тезка и однофамилец писате­ля, и как Александр Павлович Чехов — старший брат писателя (тоже, кстати, известный в свое время писатель), и как двойной тезка и однофамилец последнего. Понятие «Антон Павлович Чехов» не является единичным, так как может быть множество двойных тезок и одновременно однофамильцев великого ху­дожника.

Пример обобщения: Скульптура О. Родена «Вечная весна» — скульптура О. Родена — скульптура — произведение искусства — результат человеческой творческой деятельности.

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

Внимание! Пустые понятия не поддаются операциям ограни­чения и обобщения.

18. Отношения между понятиями.

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

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

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

Несравнимыми понятиями логика не занимается, зато сравнимые делятся на совместимые (то есть такие, чьи объемы совпадают полностью либо частично — елка около дома и елка в лесу) и несовместимые (то есть такие, чьи объемы не имеют совпадения ни по одному элементу — елка и береза как представители класса «деревья»).

Совместимые понятия, в свою очередь, делятся на три группы:

1) Равнозначные понятия — те, объемы которых полностью совпадают по всем элементам, хотя выражены они различными средствами, то есть имеют разное содержание. Например, понятия А {«студентка 1 курса исторического факультета, сидящая сейчас за первой партой в аудитории 3504»), В («Юлия Б. 1990-го года рождения, живущая по такому-то адресу») и С («единственная дочь Ирины Борисовны Б. 1968 года рождения, живущей по такому-то адресу») — равнозначные, тождественные друг другу, так как характеризуют одну и ту же девушку, по различными средствами, с разных сторон.

2) Перекрещивающиеся понятия — те, объемы которых частично совпадают, например, понятия «врач» (А), «писатель» (В), «драматург» (С) — перекрещиваются по объему и характеризуют с разных сторон Антона Павловича Чехова (D).

3). Подчинение, или субординация — это отношение между понятиями такое, в котором объем одного целиком входит в объем другого, но не исчерпывает его. Это отношение рода (как более объемного понятия, подчиняющего второе) и вид (как менее объемного, подчиненного первому). Например, «юрист» А — подчиняющее понятие, «адвокат» В — подчиненное, так как не все юристы — адвокаты, но все адвокаты — обязательно юристы.

19 . Несовместимые понятия также делятся на три группы:

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

2. 2). Противоположные, или контрарные, понятия — те, кото­рые являются видами одного и того же рода, но занимают «крайние» позиции в этом роде: одно из них содержит какие-то признаки, а дру­гое их не только не содержит, но и замещает прямо противополож­ными. Между ними можно расположить понятия, принадлежащие этому же роду, но с другими, как бы промежуточными, объемами. Например, понятия «маленький мальчик» В и «дряхлый старик» С противоположны, но между ними находятся понятия «молодой чело­век», «мужчина зрелого возраста», «пожилой мужчина», и все они входят в объем понятия А — «мужчина».

3. Противоречащие (контрадикторные) понятия — те, кото­рые являются видами одного и того же рода, но при этом одно поня­тие — положительное, а второе — отрицательное, то есть одно ука­зывает на определенные признаки, а второе эти признаки исключает, не заменяя их никакими другими. Например, понятия «дружная се­мья» А и «недружная семья» В, «приятель» А и «неприятель» В — контрадикторные, противоречащие друг другу.

Вопрос 20 Определение понятия ( = дефиниция) – это логическая операция, которая раскрывает содержание понятия или устанавливает значение термина. Неявные определения вместо определяющего понятия (дефиниенса) допускают контекст, или набор аксиом, или описание способа построения определяемого понятия (дифиниендума). Явные определения – такие, в которых даны определяемое понятие и определяющее понятие, а между ними устанавливается отношение равенства (эквивалентности). Явные определения строятся: 1. Через указание ближайшего рода и видового отличия. Прим: «движение – изменение вообще», то есть видовое понятие (движение) подводится под родовое понятие (изменение вообще) 2. Через указание генезиса, то есть способа образования именно этого предмета. Прим: «сумма – результат сложения двух чисел» Правила построения явных определений: 1 Правило соразмерности: объемы определяемого и определяющего понятий должны быть эквивалентны. 2 Правило запрета на круг (тавтологию): нельзя пользоваться однокоренными словами 3 Правило ясности и четкости: нельзя употреблять омонимы, двусмысленности, метафоры 4 Определение положительных понятий не должно быть, по возможности, отрицательным. Прим. Ошибки: «имеешь то, чего не терял» Если определяется реальный предмет, его определение реальное Если определяется термин, его значение – номинальное определение Вопрос 36 Индуктивные умозаключения - от знаний меньшей степени общности к знаниям большей степени общности, или от фактов к обобщению. Индукция бывает полной и ли неполной. В полной индукции на основе принадлежности каждому элементу или каждой части класса определенного признака делается вывод о его принадлежности к классу в целом. Неполная индукция – это такое умозаключение, в котором заключение получается на основании повторяемости признака у некоторой части рассматриваемого класса явлений. Неполная индукция дает только вероятные заключения. Неполная индукция : Популярная – обобщение, в котором путем перечисления устанавливают принадлежность признака некоторым предметам или частям класса и на этом основании заключают о его принадлежности всему классу. Научная – обобщение строится путем отбора необходимых и исключения случайных обстоятельств

26. Виды суждений

Суждения делятся на простые и сложные

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

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

Состав простого суждения

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

Субъект суждения — это мысль о каком-то предмете, понятие о предмете суждения (логическое подлежащее).

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

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

Квантор — указывает, относится ли суждение ко всему объёму понятия, выражающего субъект, или только к его части: «некоторые», «все» и т. п.

[править] Состав сложного суждения

Сложные суждения состоят из ряда простых («Человек не стремится к тому, во что не верит, и любой энтузиазм, не подкрепляясь реальными достижениями, постепенно угасает»), каждое из которых в математической логике обозначается латинскими буквами (A, B, C, D… a, b, c, d…). В зависимости от способа образования различают конъюнктивные, дизъюнктивные, импликационные, эквивалентные и отрицательные суждения.

Дизъюнктивные суждения образуются с помощью разделительных (дизъюнктивных) логических связок (аналогичных союзу «или»). Подобно простым разделительным суждениям, они бывают:

нестрогими (нестрогая дизъюнкция), члены которой допускают совместное сосуществование («то ли…, то ли…»). Записывается как ;

строгими (строгая дизъюнкция), члены которой исключают друг друга (либо одно, либо другое). Записывается как .

Импликационные суждения образуются с помощью импликации, (эквивалентно союзу «если …, то»). Записывается как или ab. В естественном языке союз «если …, то» иногда является синонимом союза «а» («Погода изменилась и, если вчера было пасмурно, то сегодня не одной тучи») и, в таком случае, означает конъюнкцию.

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

Эквивалентные суждения указывают на тождественность частей суждения друг другу (проводят между ними знак равенства). Помимо определений, поясняющих какой-либо термин, могут быть представлены суждениями, соединенными союзами «если только», «необходимо», «достаточно» (например: «Чтобы число делилось на 3, достаточно, чтобы сумма цифр, его составляющих, делилась на 3»). Записывается как (у разных математиков по-разному, хотя математический знак тождества всё-таки ).

Отрицательные суждения строятся с помощью связок отрицания «не». Записываются либо как a ~ b, либо как a b (при внутреннем отрицании типа «машина не роскошь»), а также с помощью черты над всем суждением при внешнем отрицании (опровержении): «не верно, что …» (a b).

27. Деление категорических суждений по количеству и качеству

Категорические суждения — суждения, в которых сказуемое утверждается относительно субъекта без ограничений во времени, в пространстве или обстоятельствах; безусловное суждение (S есть P). Пример: «Все люди смертны».

По качеству делятся так:

Утвердительные — S есть P. Пример: «Люди пристрастны к самим себе».

Отрицательные — S не есть P. Пример: «Люди не поддаются лести».

По количеству

:Общие — суждения, которые справедливы относительно всего объёма понятия (Все S суть P). Пример: «Все растения живут».

Частные — суждения, которые справедливы относительно части объема понятия (Некоторые S суть P). Пример: «Некоторые растения суть хвойные».

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

Суждения А (обще-утвердительные суждения) Распределяет свое подлежащее (S), но не распределяет свое сказуемое (P)

Объем подлежащего (S) меньше объема сказуемого (Р)

Прим.: «Все рыбы суть позвоночные»

Объемы подлежащего и сказуемого совпадают

Прим.: «Все квадраты суть параллелограммы с равными сторонами и равными углами»

Суждения Е (обще-отрицательные суждения) Распределяет как подлежащее (S), так и сказуемое (P)

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

Прим.: «Ни одно насекомое не есть позвоночное»

Суждения I (частно-утвердительные суждения) Ни подлежащие (S), ни сказуемые (P) не распределены

Часть класса подлежащего входит в класс сказуемого.

Прим.: «Некоторые книги полезны»

Прим.: «Некоторые животные суть Позвоночные»

Суждения О (частно-отрицательные суждения) Распределяет свое сказуемое (Р), но не распределяет свое подлежащее (S) В этих суждениях мы обращаем внимание на то, что есть несовпадающего между ними (заштрихованная область)

Прим.: «Некоторые животные не суть позвоночные (S)»

Прим.: «Некоторые змеи не имеют ядовитых зубов (S)»

29. Виды умозаключений и их общая характеристика

Умозаключения (отдельные шаги вывода) разделяют:

1.По направлению логического следования.

а.Дедуктивные (от общего к частному).

б.Индуктивные (от частного к общему).

в.Трансдуктивные (от одной степени общности к такой же степени общности).

2.По достоверности вывода.

а.Достоверные.

б.Правдоподобные.

3.По числу посылок.

а.Непосредственные.

б.Опосредственные.

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

Дедукция (лат. deductio — выведение) — метод мышления, при котором частное положение логическим путем выводится из общего, вывод по правилам логики; цепь умозаключений (рассуждений), звенья которой (высказывания) связаны отношением логического следования.

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

Пример дедуктивного умозаключения:

Все люди смертны.

Путин — человек.

Следовательно, Путин смертен.