Понятие о законах и формах мышления

Понятие о законах и формах мышления

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

Закон тождества, его роль в процессе рассуждения.

Формулы: р есть р – «р равно р» р - «если р, то р»

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

Формулы: «неверно, что р и не-р» или (рÙØр) Требование: непротиворечивость мышления.

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

Закон достаточного основания – всякая истинная мысль должна быть обоснована другими мыслями, истинность которых доказана.

Формула: «если есть q, то и есть его основание p»

Мысли, приводящиеся для обоснования других мыслей – лог. Основание.

Мысль, вытекающая из других суждений – лог. Следствие

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

 

Понятие как форма мышления.

Признак предмета – то, в чём предметы схожи друг с другом или отличны друг от друга. Для образования понятия необходимо осуществить операции: анализ,… Понятие состоит из:

Логические операции обобщения и ограничения понятий.

(В основе обобщения и ограничения понятий лежит закон обратного отношения содержания и объёма)

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

Например: «генеральный прокурор» преобразуется в «прокурор»

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

Например: «деяние» преобразуем в «преступное деяние» преобразуем «должностное преступное деяние» ® «получение взятки»

 

Виды понятий.

Общее – в объём входит более одного элемента («суд») Общие могут быть: регистрирующими – объём составляет конечное множество… Нерегистрирующие – бесконечное множество элементов

Виды отношений между понятиями.

Совместимые: 1. Равнозначность – объёмы полностью совпадают («работа» и «труд») A B 2. Подчинение – объём одного полностью входит в объём другого

Логическая операция определения понятия. Виды определения. Определение через род и видовое отличие. Правила определения.

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

Логическая операция деления понятия. Виды деления. Деление по видоизменению признака. Правила деления.

Элементы деления: делимое – понятие, объём которого надо раскрыть Члены деления – на которые делится понятие Основание деления – признак, по которому происходит деление

Суждение как форма мышления. Суждение и предположение.

Суждение формируется с помощью понятий. Формой выражения суждений является: 1. Предложение – форма выражения законченной мысли

Простые суждения, их вид и состав.

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

Выделяющие и исключающие суждения.

Термин считается распределённым(+), если его объём полностью включается в объём другого или полностью исключается из него. Нераспределённым (–), если частично включен или частично исключён из другого…  

Виды и структура сложных суждений.

Виды: Отрицательные суждения – это суждения, образованное с помощью союза «не». Соединительное (конъюнктивное) суждение – суждение, образованное из простых суждений с помощью связки «и», «а», «но»,…

Соединительное (конъюнктивное) суждение

Пример: «Мы поедем в Санкт-Петербург и посетим Русский музей» Истинность: p q pÙq И И …  

Разделительное (дизъюнктивное) суждение, его строение виды и условия истинности.

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

Виды:

I.В зависимости от смысла связки «или»:

1) Сильная дизъюнкция – связка имеет соединительно-разделительный смысл (т.е. связка между простыми суждениями не исключают друг друга)

Схема: «pÚq»

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

Схема: «p‍‍ ‍‍Ú q»

II.В зависимости от полноты:

1) Полное (закрытое) суждение – перечислены все возможные члены дизъюнкции

Схема: <pÚq>

2) Неполное (открытое) – перечисляются не все члены…

Схема: pÚq…

Истинность

P	q	pÚq	pÚq
И	И	И	Л
И	Л	И	И
Л	И	И	И
Л	Л	Л	Л

 

Условное (импликативное) суждение, его строение и условия истинности.

(- ситуация описываемая в основании является достаточным основанием для ситуации следствия) Схема: «p®q» Строение: основание (p) следствие (q)

Эквивалентное суждение (двойная импликация) его строение и условие истинности.

Схема: «p«q» Истинность: p q p«q И И И …  

Эпистемическая модальность суждений. Достоверные и проблематические суждения.

Пример: «По показаниям свидетелей Петров не участвовал в похищении оружия» Основания принятия: Вера, Знание. Степень обоснованности: достоверные и… Достоверные – это достаточно обоснованные истинные или ложные суждения.

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

Логическая структура нормативных суждений: 1) Авторитет – орган, устанавливающий норму (Правительство РФ) 2) Адресат – субъект, для которого установлена норма (граждане)

Умозаключение как форма мышления. Виды умозаключений.

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

Структура:

Посылки – исходные суждения

Заключение – новое суждение, полученное логическим путём из посык

Обосновывающие знания – правила логического перехода от посылок к заключению

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

· В зависимости от правил вывода: -необходимые (заключение следует с необходимостью)

- правдоподобные (заключения, с большей или меньшей вероятностью)

· По направлению логического следования: - индуктивные (от частного к общему)

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

- заключения по аналогии (по сходству)

· В зависимости от количества посылок - непосредственные (преобразования одной посылки)

^{(дедуктивные)} - опосредованные (из двух и более посылок)

· Дедуктивные: - Сложные (состоит из простых суждений)

- простые (состоит из простых и сложных)

 

 

Превращение

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

Превращение опирается на правило: двойное отрицание равносильно утверждению:

˥˥p≡p, где р-любое суждение, ˥- символ отрицания, ≡- символ равнозначности(эквивалентности)

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

Общеутвердительное суждение (А) превращается в общеотрицательное(Е).

Схема превращения А : Все S есть P./Ни одно S не есть не-Р

Общеотрицательное суждение(Е) превращается в общеутвердительное(А)

Схема превращения в суждение (Е): Ни одно S не есть Р/Все S есть не-Р

Частноутвердительное суждение (I) Превращается в частноотрицательное (О)

Схема превращения суждения I: Некоторые S есть Р/Некоторые S не есть не-Р

Частноотрицательное суждение (О) превращается в частноутвердительное (I)

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

Обращение.

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

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

(Идёт преобразование суждения во все виды: то есть в А, Е, I, O Пример: «Все адвокаты – юристы»(А) – «ни один(все) адвокат не юрист»(Е) –… 1) Противоположное: А – истина, то Е – ложь

Простой категорический силлогизм Состав простого категорического силлогизма

Широко распространенным видом опосредствованных умозак лючений является простой категорический силлогизм. Таким образом, простой категорический силлогизм состоит и трех категорических… В отличие от терминов суждения — субъекта (S) и предиката (Р) — понятия, входящие в состав силлогизма, называют…

Общие правила категорического силлогизма.

Правила терминов. 1-е правило: в силлогизме должно быть только три термина. 2-е правило: средний термин должен быть распределен хотя бы в одной из посылок. Если средний термин не распределен ни…

Умозаключения из суждений с отношениями.

Логическим основанием умозаключений из суждений с отношениями являются свойства отношений, важнейшие из которых — 1) симметричность, 2)… 1. Отношение называется симметричным, если оно имеет место как между… 2. Отношение называется рефлексивным, если каждый член отношения находится в таком же отношении к самому себе. Таковы…

Чисто условное умозаключение

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

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

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

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

Схема чисто условного умозаключения:

(р -> q) л (q -> г) р ->г

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

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

 

 

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

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

Это умозаключение имеет два правильных модуса: 1) утверждающий и 2) отрицающий.

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

Утверждающий модус дает достоверные выводы. Он имеет схему:

(P->q, P)/q

 

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

(P-»q, q)/P

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

 

Разделительно-категорическое умозаключение.

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

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

Утверждая один член дизъюнкции, мы с необходимостью должны отрицать другой и, отрицая один из них, — утверждать другой. В соответствии с этим различают два модуса разделительно-категорического умозаключения: (1) утверждаюшеотрицающий и (2) отрицающеутверждающий.

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

p˅q,p/˥q

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

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

Схема отрицающеутверждающего модуса:

<p˅q>,˥p/q

< > — символ закрытой дизъюнкции.

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

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

 

Сокращенный силлогизм (энтимема)

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

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

Посылками индуктивного умозаключения выступают суждения, в которых фиксируется полученная опытным путем информация о повторяемости признака Р у ряда… Посылки: 1) S1 имеет признак Р, S2 имеет признак Р, S3 имеет признак Р

Неполная индукция.

Схема неполной индукции имеет следующий вид: Посылки: 1) S1 имеет признак Р, S2 имеет признак Р, S3 имеет признак Р

Научная индукция

В зависимости от способов исследования различают: (1) индукцию методом отбора (селекции) и (2) индукцию методом исключения (элиминации). 1. Индукция методом отбора Индукция методом отбора, или селективная индукция, — умозаключение, в котором вывод о принадлежности признака классу…

Метод сходства

По методу сходства сравнивают несколько случаев, в каждом из которых исследуемое явление наступает; при этом все случаи сходны лишь в одном и… Метод сходства называют методом нахождения общего в различном, поскольку все… Схема рассуждения по методу сходства имеет следующий вид:

Метод различия

Метод различия называют методом нахождения различного в сходном, ибо сравниваемые случаи совпадают друг с другом по многим свойствам. Схема рассуждения по методу различия имеет следующий вид: (1) АВСМ вызывает d

Метод сопутствующих изменений

(1) Необходимо знание о всех возможных причинах исследуемого явления. Такими обстоятельствами выступают А, В и С: AvBvC (2) Из приведенных обстоятельств должны быть элиминированы те, которые не удовлетворяют свойству однозначности…

Метод остатков

Схема рассуждения по методу остатков имеет следующий вид: 1) АВС вызывает xyz 2) А вызывает х

Аналогия и ее виды.

По характеру уподобляемых объектов различают два вида аналогии: (1) аналогию предметов и (2) аналогию отношений. (1) Аналогия предметов — умозаключение, в котором объектом уподобления… Если обозначить символам и а и b два единичных предмета или события, а Р, Q, S, Т — их признаки, то вывод по аналогии…

Аргументация и доказательство

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

Прямое и косвенное доказательство тезиса.

А1, А2, …,Аn T Схема:    

Правила и ошибки по отношению к тезису

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

Гипотеза

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