Логический квадрат - Категорическое высказывание как вид простого высказывания
Некоторые отношения между четырьмя видами категорических высказываний графически представляются так называемым логическим квадратом.
Противоречашие высказывания {SaP и SoP; SeP и SiP) не могут быть одновременно истинными и ложными; если одно из них истинно, то другое ложно. Так, если высказывание "Все киты дышат легкими" истинно, то высказывание "Некоторые киты не дышат легкими" ЛОЖНО. Если высказывание "Некоторые медведи - не бурые" истинно, то высказывание "Все медведи - бурые" ложно.
Противные высказывания (SaP и SeP), в отличие от противоречащих, могут вместе быть ложными, но не могут быть вместе истинными. Так, высказывания "Все спортсмены -- гроссмейстеры" и "Ни ОДИН спортсмен не Гроссмейстер" Оба ЛОЖНЫ. I 1оскольку высказывание "У всех людей есть головы" истинно, то высказывание "Ни у одного человека нет головы" ложно; и если высказывание "Все металлы не являются газами" истинно, то высказывание "Все металлы - газы" ложно,
Подпротивные высказывания (SiP п Sop) не могут быть одновременно ложными, но могут быть одновременно истинными. Так, если высказывание "Некоторые овцы - хищники" ложно, то высказывание "(По меньшей мере) некоторые овцы не являются хищниками" истинно. Высказывания же "Некоторые спортсмены - футболисты" и "Некоторые спортсмены не футболисты" оба истинны.
В отношении подчинения находятся попарно высказывания SaP и Si]', SeP и SoP Из подчиняющего высказывания логически следует подчиненное: из SaP вытекает SiP и из SeP вытекает SoP. Это означает, что из истинности подчиняющего высказывания логически следует истинность подчиненного, и из ложности подчиненного следует ложность подчиняющего. К примеру, из высказывания "Все киты являются млекопитающими" следует высказывание "Некоторые киты млекопитающие", а из высказывания "Все металлы не являются сжимаемыми" следует высказывание "Некоторые металлы не сжимаемы". Еще раз подчеркнем, что противоречат друг дру1 у высказывания "Все S есть Р" и "Некоторые S не есть Р" и высказывания "Все S не есть Р" и "Некоторые S есть Р". Высказывания же "Все S есть Р" и "Все S не есть Р", а также высказывания "Некоторые S есть Р" и "Некоторые S не есть Р" не противоречат друг другу'- Логические связи категорических высказываний, представляемые логическим квадратом, можно представить также в форме непосредственных умозаключений, т. е. умозаключений из одной посылки. Противоречат друг другу высказывания "Bсe S есть Р" и "Некоторые S не есть Р", а также высказывания "Bсe S не есть Р" и "Некоторые S есть Р". Это означает, что являются правильными следующие, в частности, непосредственные умозаключения: Все S есть Р. Неверно, что некоторые S не есть Р. Из высказывания "Все совы - птицы" непосредственно вытекает высказывание "Неверно, что некоторые совы не являются птицами". Некоторые S не есть Р. Неверно, что все S есть Р. Из высказывания "Некоторые ученые не химики" непосредственно вытекает высказывание "Неверно, что все ученые химики". Все S не есть Р. Неверно, что некоторые S есть Р. Из высказывания "Все киты не рыбы" непосредственно вытекает высказывание "Неверно, что некоторые киты - рыбы" Некоторые S есть Р. Неверно, что все S не есть Р. Из высказывания "Некоторые жидкости упруги" непосредственно следует высказывание "Неверно, что все жидкости неупругие". Противные высказывания (SaP и SeP) не могут быть вместе истинными. Все S есть Р. Неверно, что все S не есть Р. Из высказывания "Все летающие имеют крылья" непосредственно вытекает высказывание "Неверно, ЧТО Все летающие не имеют крыльев". Все S не есть Р. Неверно, что все S есть Р. Из высказывания "Все категорические высказывания не являются условными" непосредственно вытекает высказывание "Неверно, что все категорические высказывания - условные". Из подчиняющего высказывания логически следует подчиненное: Все S есть Р. Некоторые S есть Р. Из высказывания "Все люди дышат легкими" непосредственно вытекает высказывание "(По меньшей мере) некоторые люди дышат легкими". Все S не есть Р. Некоторые S не есть Р. Из высказывания "Все тигры не птицы" непосредственно вытекает высказывание "Некоторые тигры не птицы".
Похожие статьи
-
Категорические высказывания - Категорическое высказывание как вид простого высказывания
При рассмотрении способов образования сложных высказываний из простых внутреннее строение простых высказываний во внимание не принималось. Они брались...
-
Правила посылок - Простой категорический силлогизм
1-е правило: хотя бы одна из посылок должна быть утвердительным суждением. Из двух отрицательных посылок заключение с необходимостью не следует....
-
Для того чтобы при наличии истинных посылок заключение следовало из посылок с необходимостью, требуется соблюдение правил построения простого...
-
Информация о тождестве или различии терминов категорического высказывания (суждения) - субъекта и предиката - выражается в понятии их распределенности....
-
Умозаключения делятся на следующие виды: 1) в зависимости от строгости правил вывода: демонстративные - заключение в них с необходимостью следует из...
-
Анализ основных ошибок, возникающих в логических высказываниях
Логическая ошибка, или алогизм, -- это ход мысли, нарушающий какие-то законы или правила логики. Если ошибка допущена неумышленно, ее называют...
-
Простой категорический силлогизм - Основы логики
Простой категорический силлогизм - дедуктивное умозаключение, в котором из двух суждений, имеющих субъектно-предикатную форму, следует новое суждение...
-
Специальные правила фигур - Простой категорический силлогизм
Каждая фигура имеет свои особые правила, которые выводятся из общих. Правила 1-й фигуры: 1. Большая посылка -- общее суждение. 2. Меньшая посылка --...
-
Аксиома силлогизма - Простой категорический силлогизм
Умозаключение в форме силлогизма, хотя бы в сокращенной его форме, является для нас привычной, естественной формой мышления. Эта естественность...
-
О чем говорят парадоксы - Логические парадоксы
Парадокс лжец логика аргумент Рассмотренные парадоксы - это только часть из всех обнаруженных к настоящему времени. Вполне вероятно, что в будущем будут...
-
Парадокс лжеца - Логические парадоксы
Парадоксы не всегда легко отделить от того, что только напоминает их. Еще труднее сказать, откуда возник парадокс, чем не устраивают нас самые...
-
Понятие о логическом выводе. Непосредственные умозаключения - Логические умозаключения
Непосредственными умозаключениями называются умозаключения, представляющие собой некоторое преобразование одного простого категорического суждения. Это...
-
Простой категорический силлогизм и его структура - Простой категорический силлогизм
Слово "силлогизм" произошло от греческого syllogysmos, что означает "вывод". Очевидно, что силлогизм - это выведение следствия, заключения из...
-
Логические парадоксы и софизмы - Основы логики
Софизмы базируются на разнообразных нарушениях логического закона тождества, представляют собой внешне правильные доказательства ложных мыслей. Софизмы...
-
Проблема теодицеи: ее суть и логическая формулировка - Уникальность проблемы зла
Богословско-философские доктрины, имеющие целью согласовать идею благого Божьего промысла о мире с наличием в мире зла, получили общее название...
-
Дефиниция сложного суждения Сложные суждения состоят из нескольких простых суждений, связанных между собой логическими союзами. Например: "Прозрачный лес...
-
Логическое следование - отношение, существующее между посылками и обоснованно выводимыми из них заключениями. Логическое следование относится к числу...
-
Суждение - форма мышления, в ктр что либо утверждается или отрицается о сущности предметов, связи между предметом и его св-ми или отношениях между...
-
Подтверждением называют соответствие гипотезы или теории некоторому факту или экспериментальному результату. В методологии научного познания...
-
Некоторые современные парадоксы - Логические парадоксы
Самое серьезное воздействие не только на логику, но и на математику оказал парадокс, обнаруженный английским логиком и философом прошлого века Б....
-
Задачи - Логические умозаключения
1. Произведите превращение следующих суждений: А) Некоторые юристы - адвокаты. Б) Все адвокаты - юристы. Превращение (обверсия) - это преобразование...
-
"Конституция разума", которую написал Кант, оказалась не слишком эффективной. Она предложила лишь один, универсальный рецепт решения научных споров -...
-
Виды суждений, Простые суждения - Суждение как форма мышления
Все суждения разделяются на две большие группы: простые и сложные. Простые суждения Простым называется суждение, выражающее связь двух понятий Попов Ю....
-
Суждение как форма мышления - Основы логики
Суждение - это форма мысли, посредством которой раскрывается наличие или отсутствие каких-либо связей и отношений между предметами. В рамках силлогистики...
-
Логический и исторический метод построения теории - Философия и методология науки
Восхождение от абстрактного к конкретному как метод теоретического освоения предмета содержит историческое в качестве подчиненного, но существенного...
-
Проблема истинности научных знаний (логический позитивизм) - Предмет Философии
Логический позитивизм -- направление философии, основывающееся на том, что для познания устройства мира требуются наблюдаемые доказательства, опирающиеся...
-
Обобщить понятие - значит, перейти от понятия с меньшим объемом, но с большим содержанием к понятию с большим объемом, но с меньшим содержанием. Наиболее...
-
Основные логические законы, Закон тождества - Законы логики
Среди множества логических законов логика выделяет четыре основных, выражающих коренные свойства логического мышления -- его определенность,...
-
Три неразрешимых спора - Логические парадоксы
В основе другого знаменитого парадокса лежит небольшое происшествие, случившееся две с лишним тысячи лет назад и не забытое до сих пор. У знаменитого...
-
Основные правила доказательства и опровержения - Логические основы спора
Основные элементы доказательства и опровержения -- тезис, аргументы, демонстрация -- подчиняются логическим правилам, нарушение которых ведет к ошибкам....
-
Введение, Основные понятия логики спора - Логические основы спора
Умение рассуждать аргументировано необходимо не только в научной деятельности, но и в повседневной жизни. Знание и владение теорией аргументации помогает...
-
Закон достаточного основания - Закон достаточного основания
Закон достаточного основания находится в неразрывной связи с остальными формально-логическими законами. Ведь действительно, если мысль обладает...
-
Нравственные принципы и заповеди Пифагора - Философские взгляды Пифагора
Нравственные принципы, проповедуемые Пифагором и сегодня достойны подражания. Каждый человек должен следовать правилу: беги от всякой хитрости, отсекай...
-
Русские высказывания о доме, Английские высказывания о доме - Философия имени
Традиция хвалить свое жилище в крови у всех народов мира. Эта идея реализуется в народном творчестве. Пословицы о доме занимают важное место в...
-
Логические операции с понятиями - Понятие
Содержание и объем понятия нередко скрыты за его словесной оболочкой. Поэтому в практике мышления нередко необходимо раскрывать как содержание, так и...
-
Логические отношения между понятиями - Понятие
Так как все предметы мира находятся во взаимодействии и взаимообусловленности, то и понятия, отражающие предметы мира, также находятся в определенных...
-
Логические приемы образования понятий - Признаки понятия
Для образования понятия необходимо выделить существенные признаки предмета, применив с этой целью ряд логических приемов: сравнение, анализ, синтез,...
-
Этот уровень отвечает, прежде всего, за взаимосвязанную работу отдельных органов и их интеграцию в целостный организм. Ясно, что гипофункция, например,...
-
Суждение, как форма мышления - Суждение как форма мышления
Суждение - это форма мышления, в которой что-либо утверждается или отрицается о существовании объектов и связях между ними и их признаками Кобзарь И....
-
Одним из важнейших свойств разумного человека является мышление. Согласно Wikipedia "Мышление -- это познавательная деятельность человека. Продуктом или...
Логический квадрат - Категорическое высказывание как вид простого высказывания