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

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

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

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

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

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

 

 

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. Дедуктивные умозаключения

 

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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