Суждение как логическая форма. Атомарное суждение презентация

Суждение как логическая форма. Атомарное суждение Лекция 3

Суждение Суждение – форма мышления, в которой утверждается или отрицается связь между предметом и его признаком или отношение между предметами, и которая обладает свойством выражать либо истину, либо ложь. «Некоторые животные не являются хищниками»

Суждениями не являются Вопросительные предложения. Восклицательные предложения. Кроме риторических вопросов и восклицаний «И какой же русский не любит быстрой езды?»

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

Суждение и предложение: отличия

Номинация и предикация Номинация - это процесс создания, закрепления и распределения наименования за разными фрагментами действительности, а также значимая языковая единица, образованная в процессе называния Предикация - формальное установление связей между субъектом и предикатом, а также утверждение или отрицание (истинности или ложности) пропозиции относительно действительности

Простое суждение один субъект и один предикат; одну смысловую единицу, обладающую самостоятельным значением истинности

Виды простых суждений Атрибутивные суждения Экзистенциальные суждения Релятивные суждения

Атрибутивные (категорические) суждения суждения, в которых предикат представляет собой какой-либо существенный, неотъемлемый признак субъекта «Все воробьи – это птицы»

Экзистенциальные суждения суждения, в которых предикат указывает на существование или несуществование субъекта «Вечных двигателей не бывает»

Релятивные суждения суждения, в которых предикат выражает собой какое-то отношение к субъекту «Москва основана раньше Санкт-Петербурга»

Структура атрибутивного суждения субъект (S) – то, о чем идет речь в суждении; предикат (Р) – то, что говорится о субъекте; связка (слова «есть», «является») – то, что соединяет субъект и предикат; квантор (слова «все», «некоторые», «ни один») – указатель на объём субъекта

Структура суждения

Категорические суждения и их виды

Примеры

Суждения, в которых субъект представляет собой единичное понятие, считаются общими Суждения, в которых субъект представляет собой единичное понятие, считаются общими «Солнце – это небесное тело» «Антарктида – это один из материков Земли»

Выделяющие и исключающие суждения Выделяющие суждения те, в которых выражается принадлежность или отсутствие признака только у данного предмета «Только свидетели, и только они, являются в народный суд по повестке» Исключающие суждения те, в которых выражается принадлежность или отсутствие признака у всех предметов, за исключением их части «Все студенты нашей группы, кроме Волкова, сдали экзамены»

Перформативные суждения совершающие действия, они не описывают реальность а создают ее сами «Я объявляю Вам выговор» «Приказываю проверить все посты» «Если бы Вы ушли, никто бы не обиделся» «Обещаю написать работу к среде»

Субъект (S) и предикат (P) – понятия, называемые терминами суждения Субъект (S) и предикат (P) – понятия, называемые терминами суждения их объемы могут находиться в различных отношениях между собой и изображаться с помощью кругов Эйлера

Распределенность терминов в категорических суждениях

S всегда распределен в суждениях А, Е S всегда распределен в суждениях А, Е S всегда нераспределен в суждениях I, O P всегда распределен в суждениях E, O P может быть как распределен, так и нераспределен в суждениях А, I

Примеры Все акулы (S) являются хищниками (Р). S a P Некоторые континенты (S) очень холодные (Р). S i P Ни один дельфин (S) не дышит жабрами (Р). S е P

Отношения между суждениями по истинности Устанавливать отношения можно только между сравнимыми суждениями, которые имеют одинаковые субъекты и предикаты «Все грибы съедобные» «Некоторые грибы являются съедобными» «Ни один гриб не является съедобным» «Некоторые грибы не являются съедобными»

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

Логический квадрат

Правила логического квадрата АЕ – отношения противоположности могут быть одновременно ложными, одновременно истинными быть не могут  IО – отношения частичной совместимости могут быть одновременно истинными, одновременно ложными быть не могут АI (ЕО) – отношение подчинения если А(Е) истинно, то I(O) истинно; если I(O) ложно, то А(Е) – ложно   АО (ЕI) – отношение противоречивости если А(Е) истинно, то О(I) ложно, если А(Е) ложно, то О(I) истинно, и наоборот

Модальные суждения в них дается дополнительная информация о типе зависимости между субъектом и предикатом Модальность выражается в терминах и/или выводится также из контекста или угадывается интуитивно

Модальный шестиугольник

Модальный треугольник все суждения здесь связаны отношением противоположности

Спасибо за внимание