16. Отношения совместимости между суждениями. Логический квадрат.

Суждения как и понятия подразделяются на:

* сравнимые (имеющие общий субъект или предикат)

* несравнимые

Сравнимые суждения делятся на:

а) Несовместимые – если из истинности одного из них необходимо следует ложность другого.

б) Совместимые – выражают одну и ту же мысль полностью или лишь в некоторой части.

1. Эквивалентность – выражают, одну и ту же мысль в различной форме.

Для удобства анализа отношении между суждениями используют лог.квадрат

1. Логическое подчинение

а) Суждения, которые имеют общий предикат

б) Понятия выражающие субъекты находятся в отношении лог. подчинения.

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

№14. Виды простых суждении.

По содержанию предиката

а) Атрибутивные, суждения о свойствах.

б) Релятивные, суждения об отношениях (Москва больше Кирова).

в) Экзистенциональные, суждения о существов.

2. По составу субъекта и предиката

а) Суждения со сложными субъектами

S1, S2, S3,…S есть P

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

S есть P, и P2

S есть P, или P2

3. По качеству связки между субъектом и предикатом.

а) Утвердительные, когда предметом приписываются какие – либо сво – ва или устанавливаются отношения между предметами.

б) Отрицательные, выражают отсутствие каких – либо свойств или отношении между предметами.

4. По объему субъекта

а) Единичные суждения, содержат утверждения или отрицания об одном предмете суждении (это S есть P (не есть))

б) Частные суждения, это суждения в которых что – либо утверждается или отрицается лишь о части предметов некоторого класса. ( некоторые S есть P (не есть))

в) Общие суждения, в которых что – либо утверждается или отрицается обо всех предметах, какого – либо класса ( все S есть P, ни одно S не есть P)

Выделяют 4 вида суждении:

A – общеутвердительные суждения

( Все S есть P – все черепахи имеют панцырь)

I – частноутвердительные суждения

( Некоторые S есть P – некоторые деревья есть хвойные)

Е – общеотрицательное

( Ни одно S не есть P – ни кто не хотел умирать)

О – частноотрицательное

( Некотрые S не есть P – некоторые люди не курят)

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

№18. Модальность суждении. Виды модальности.

Модальность в логике – это характеристика «по силе» высказанного в суждении утверждения.

Виды модальности:

Наиболее важными и распространенными суждениями являются:

1. Эпистелическая модальность – это высказанная в суждении информация по степени его обоснованности.

По степени обоснованности эпистелические суждения м.б:

Достоверные – это достаточно обоснованные, истинные или ложные суждения.

Модальность выражается с помощью операторов:доказано (проверено).неразрешимо (не проверяемо).опровергнуто.фальсифицировано

Проблематичные – это такие, которые нельзя считать достоверными в силу их недостаточной обоснованности.

Модальность выражается с помощью операторов:по – видимому.вероятно.

представляется возможным

2.Деонтическая модальность – это выраженное в суждении предписания в виде совета пожелания, правила поведения, приказа и т.д.

Распространяется только на дея – ть людей, нравственные и правовые нормы, их поведения в об – ве.

Выражается с помощью операторов: обязательно.разрешено.запрещено

3.Алетическая – выраженная в суждении информация о лог. или фактической обусловленности суждении.

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

№19. Понятие вопроса. Виды вопросов.

Вопрос – это форма мышления, в которой выражается требование о недостающей информации об объекте.

В естественной жизни недостающая информация чаще всего спрашивается в вопросительном предложении. Однако, в логике не всякое вопросительное предложение является вопросом. К ним относятся:

1. Риторический вопрос

2. Вопросительные предложения содержащие просьбу (не хотите ли чаю?)

3. В логике термин (вопрос) связан с термином «проблема»

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

Проблемная ситуация – это такая ситуация (теоретическая или практическая), в которой нет соответствующего обстоятельствам решения.

Каждый вопрос состоит из трех элементов:Базиса (основа) или предпосылки вопроса.;Искомого знания.;Требования перехода от незнания (непонимания) к знанию (понимания).

По степени выражения вопросы м.б:

1.Явными – выражаются в языке полностью вместе со своими предпосылками и требованиями установит неизвестное.

2.Скрытые – выражаются в языке лишь своими предпосылками, а требования установить неизвестное восстанавливается после осмысления предпосылок вопроса.

По своей структуре вопросы подразделяются на:

1.Простые ( не включают других вопросов, один)

2.Сложные (образуются из простых вопросов, с помощью союзов: и, или, если то…)

По правильности постановки, вопросы делятся:

1.Корректные, вопросы предпосылки которых представляют собой истинное и непротиворечивое знание.

2.Некорректное, основаны на предпосылке ложного и противоречащего суждения или суждения смысл, которого определен.

Различают следующие виды вопросов:

1.Уточняющий вопрос ( «ли – вопрос»)

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

2.Восполняющий вопрос ( « что – вопрос»)

Это вопрос направленный на выяснение новых свойств исследуемых явлении.

№20. Ответ. Виды ответов.

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

Ответы м.б:Истинными.Ложными

По области поиска ответы м.б:

Прямые – взятые непосредственно в области поиска ответов без доп. сведении и рассуждении.

Косвенные – ответы, которые берутся из более широкой области, нежели обл. поиска ответа.

Правила формулирования ответов:

Ответ д.б ясным, однозначным и кратким.

Ответ должен уменьшать неопределенность вопроса, быть информативны

При некорректной постановке вопроса, ответ должен содержать указание на эту некорректность.

№21. Сложные суждения таблицы истинности.

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

Логические связки выражают лог. операции.

р	g	Т g	P л g	P и g	ии	Р g	p> g
И	И	Л	И	И	Л	И	И
И	Л	И	Л	И	И	Л	Л
Л	И	Л	Л	И	И	И	Л
Л	Л	И	Л	Л	Л	И	Л

Отрицательные или противоречивые (не верю, что черепаха является человеком)

Соединительные (конъюнктивные) (мы поедем в Санкт – Петербург и посетим русский музей)

Разделительные (дизъюнктивные)

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

б) Строго разделительные суждения (строгая дизъюнкция) Или Р или Q

Условные или импликативные ( если воду нагреть, то она закипит)

Эквивалентные

Тождественно истинной формулой называется формула при любых комбинациях (значениях) входящих в нее переменных применяет значение истины.

№22. Умозаключение. Основные элементы. Виды умозаключений.

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

Структура умозаключении:

Посылки - это суждения содержащие исходное уже имеющие знание.

Заключение - это вновь полученное суждение, содержащее новое знание.

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

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