Иванов является студентом;

2. Некоторые американцы – это всемирно-известные люди.

3. Все розы – это цветы.

4. Ни один кит – не рыба.

Свойства суждения: 1)Любое суждение состоит из понятий, связанных между собой. 2)Любое суждение выражается в форме предложения. 3)Любое суждение является истинным или ложным. 4)Суждения бывают простыми и сложными.

Составляющие суждения:

1.Субъект S (то, о чем идет речь в суждении).

2. Предикат Р (то, что говориться о субъекте).

3. Квантор (указатель на объем субъекта)

4. Связка (соединяет субъект и предикат)

Виды простых суждений:

1.Общеутвердительные суждения (А).(все S есть Р)

2. Частноутвердительные суждения ( I ).

(некоторые S есть Р)

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

(все S не есть Р) (ни одно S не есть Р)

4. Частноотрицательные суждения (О).

(некоторые S не есть Р)

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

Умозаключение

Умозаключение – это форма мышления, в которой из двух или нескольких исходных суждений вытекает новое суждение или вывод. Умозаключения делятся на три вида: дедуктивные, индуктивные, по аналогии.Дедуктивные умозаключения или дедукция (лат.deductio) – это умозаключения, в которых из общего правила делается вывод для частного случая. Индуктивные умозаключения или индукция (от лат. inductio) – это умозаключения, в которых из нескольких частных случаев выводится общее правило. Два вида индукции: ПОЛНАЯ - перечисляются все объекты из какой-либо группы и дела-ется вывод обо всей этой группе. НЕПОЛНАЯ - перечисляются некоторые объекты из какой-либо группы и делается вывод обо всей этой группе. Достоверность выводов неполной индукции:1. Необходимо подбирать как можно больше исходных посылок. 2. Необходимо подбирать разнообразные посылки. 3. Необходимо делать вывод только на основе существенных признаков.Умозаключенияпо аналогии: на основе сходства предметов в одних признаках делается вывод об их сходстве и в других признаках. Два вида аналогии: АНАЛОГИЯ СВОЙСТВ - сравниваются два предмета, переносимым признаком является какое - либо свойство сравниваемых предметов. АНАЛОГИЯ ОТНОШЕНИЙ -сравниваются две группы предметов, переносимым признаком является какое - либо отношение между предметами внутри этих групп.

Законы логики

Любое рассуждение (высказывание) должно быть тождественно самому себе, то есть быть ясным, точным и определенным. Закон тождества запрещает: употреблять слова одновременно в различных значениях; отождествлять не тождественные объекты, свойства, явления, ситуации. Нарушение закона тождества: СОФИЗМЫ - Закон тождества нарушается умышленно (преднамеренно). ПАРАЛОГИЗМЫ- Закон тождества нарушается непреднамеренно (по незнанию). Закон противоречия - Если одно суждение что-либо утверждает, а другое то же самое отрицает об одном и том же объекте, в одно и то же время и в одном и том же отношении, то они не могут быть одновременно истинными. Виды противоречий: Контактные: последующая фраза отрицает предыдущую. Дистантные: между противоречащими друг другу суждениями находится значительный интервал в речи или в тексте. Явные: одна мысль (высказывание) непосредственно противоречит другой. Неявные: противоречие вытекает из контекста (подразумевается). Закон исключенного третьего - Два противоречащих суждения об одном и том же предмете, в одно и то же время и в одном и том же отношении не могут быть одновременно истинными и не могут быть одновременно ложными (истинность одного из них обязательно означает ложность другого и наоборот). Закон исключенного третьего распространяется как на противоположные, так и на противоречащие суждения. Закон достаточного основания- любая мысль (тезис) для того, чтобы иметь силу, обязательно должна быть доказана (обоснована) какими-либо аргументами (основаниями). аргументы должны быть достаточны для доказательства исходной мысль , исходная мысль должна вытекать из них с необходимостью.

Софизмы и парадоксы

«Человек есть мера всех вещей, существующих, что они существуют и несуществующих, что они не существуют».Протагор. «Как Солнце в небе – истина для всех одна». Сократ.

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

Доказательство

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

Структура доказательства:

1.Тезис - это какое-либо суждение, утверждение, высказывание, которое необходимо доказать.

2. Аргументы (основания) – это утверждения, истинность которых установлена ранее и не подлежит сомнению.

3. Демонстрация (презентация) – порядок построения аргументов в процессе доказательства.

Правила построения:

1.Тезис должен быть сформулирован ясно и определенно.

2. Тезис должен оставаться неизменным на протяжении всего доказательства

3. Аргументы, или основания должны быть истинными суждениями.

4. Истинность аргументов, или оснований должна быть установлена независимо от истинности тезиса.

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

Прямое доказательство - Если что-либо развивает мышление, оно полезно.Изучение логики развивает мышление. Косвенное докозательство- Если пациент болен гриппом, он должен иметь характерные для этой болезни симптомы.Характерными симптомами гриппа являются высокая температура и головная боль. У пациента Петрова не болит голова и нет высокой температуры. тезис: Петров не болен гриппом. антитезис:Петров болен гриппом.