Основные законы логики: закон тождества и закон противоречия.

Закон противоречия или закон не противоречия (сформулирован в работе Аристотеля «Первая аналитика»): два противоположных несовместимых друг с другом суждения не могут быть одновременно истинными в одно и то же время и в одном и том же отношении;

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

Методы доказывания:

*свидение к абсурду

*Ситуация мнимых противоречий:

1) Ситуация, когда в одной из посылок утверждается наличие одного какого-то признака, а в другом – отсутствие другого признака, но все это поставлено в один ряд, и кажется, что говорится об одном и том же;

2) Речь идет о разных предметах. Используются однокоренные слова, используемые в значении разных понятий;

3) Ситуация, если мы что-либо утверждаем и то же самое отрицаем об одном и том же предмете, но в разное время;

4) Когда мы что-либо утверждаем или отрицаем об одном и том же объекте в одно и то же время в разных отношениях.

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

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

Абсолютного тождества не существует.

Опории Зинона «О зайце и черепахе»

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

Основные законы логики: закон исключенного третьего и закон достаточного основания.

Закон исключённого третьего.

-был сформулирован Аристотелем

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

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

-не допускается ошибок

-из двух одно – истинно, другое – ложно.

А ли не А.

-принцип третьего не дано. Строгая полная дизъюнкция

-или то или другое

-не решает какое из двух истинное, а какое ложное.

-охватывает один круг суждений

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

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

-ограничение применения закона – только о прошлом и настоящем.

-Гегелевская критика закона

весьма иронично использовал то, что не имеет отношения к закону

критика провалилась,бессмысленные суждения нельзя оценивать со стороны истинности,по законам истинности,закон зависит от языковой адаптации

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

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

Закон достаточного основания.

-был сформулирован в начале 18 века Лейбницем

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

-задача – доказательство

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

-обоснованные с помощью логического основания мысли – логические следствия – должны вытекать из основания

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

-истинность логического следствия зависит от истинности оснований

-если хотя бы одно основание ложно, то следствие в целом ложно.

-степень обоснованности вывода – достаточно ли избранное основание

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

-в ряде случаев исходя из следствия устанавливается причина.

Общая характеристика умозаключения.

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

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

Компоненты умозакл:

1) Исходное – которым мы располагаем.

2) Обосновывающее знание – знание, которое мы привлек.к конкрнтной ситуации

3) Выводное знание – знание, получаемое нами, в результате мыслительной деятельности.

Формула умозаключения:

Первая посылка

Вторая посылка (если их больше двух, все ниже пишутся)

Вывод.

Пример:

Первая – Все граждане рф имеют право на образование

вторая - Новиков-гражданин рф

Вывод: Новиков имеет право на образование

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

1) Все посылки должны быть истинными суждениями (если здесь обратить внимание лишь на форму, а содержание опустить, то это правило выполняться не будет);

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

3 вида умозаключений: дедуктивные, Индуктивные, умозаключения по аналогии

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

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

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

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

-непосредственные – которые делаются из одной единственной посылки

Формулировка вывода осуществляется путём использования одного из четырёх видов преобразований исходной посылки:

-превращение

-обращение

-противопоставление предикату

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

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

2 способа осуществления:

1)способ двойного отрицания – отрицание ставится перед связкой и перед предикатом

S есть P-- S не есть не Р

справедливое следствие:

двойное отрицание = утверждение

2)перевод отрицания из предиката в субъект

S есть не Р – S не есть Р

Превращению поддаются все 4 вида суждений при этом А превращается в Е, Е в А, I в О, О в I.

полученное заключение уточняет знание, устанавливает отношения между субъектом и предикатом

предикат – с новой стороны. предмет не может иметь или не иметь какого-либо свойства.

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

Обращение подчиняется правилу распределенности

-субъект распределен в общих и нераспределен в частных суждениях

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

все S есть Р – некоторые Р есть S

ни одно S не есть Р – ни одно Р не есть S

некоторые S есть Р – некоторые Р есть S

Обращению не подлежат частноотрицательные суждения.

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

Заключение зависит от количества и качества исходного суждения

Противопоставление предикату осуществляется следующим образом:

-Все S есть Р – ни одно не Р не есть S

-ни одно S не есть Р – некоторые не Р есть S

Частноутвердительные суждения путём противопоставления предикату не преобразуются

некоторые S не есть Р – некоторые не Р есть S

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

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

3 вида:

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

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

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