Студопедия

Главная страница Случайная лекция

Порталы:

БиологияВойнаГеографияИнформатикаИскусствоИсторияКультураЛингвистикаМатематикаМедицинаОхрана трудаПолитикаПравоПсихологияРелигияТехникаФизикаФилософияЭкономика






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

Читайте также:
  1. В категорических суждениях
  2. Категорических суждений
  3. Простых категорических высказываний
  4. Распределённость терминов в категорических суждениях
  5. Респондентам было предоставлено 5 суждений.
  6. Решение логических задач с помощью рассуждений
  7. Тема 3. Суждение как форма мышления. Виды суждений

Отношения между силлогистическими формулами простых

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

· Примеры

Несравнимы суждения: «В огороде бузина» и «В Киеве дядька»; «Многие пирожки вкусны» и «Некоторые здания являются небоскрёбами». Между такого рода силлогистическими формулами логическое следование за отсутствием общих терминов невозможно.

Сравнимые формулы в силлогизмах играют роль посылок и заключений и могут быть либо совместимыми (могущими являться одновременно истинными), либо несовместимыми (не могущими являться одновременно истинными). При этом силлогистическими формулами простых атрибутивных категорических суждений в традиционной силлогистике являются формулы: 1) SaP, SiP, SeP, SoP, которые могут обозначаться заглавными латинскими буквами (A, B, C, D и т. д.),

а также формулы, выражающие их отрицание 2) ¬SaP, ¬SiP, ¬SeP, ¬SoP (¬A,

¬B, ¬C, ¬D и т. д.), читающиеся «неверно, что все S есть P» и т. д.

Теперь определим применительно к простым категорическим атрибутивным

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

Логическое следование между формулами А и В существует тогда и только тогда, когда каждая модельная схема, на которой истинна выступающая посылкой формула А, является модельной схемой, на которой истинна выступающая заключением формула В.

Наличие логического следования из одной формулы-посылки к другой формуле-заключению записывается А |= В. Таким образом, силлогистика есть теория дедуктивных (т. е. таких, у которых между посылками и заключением имеется отношение логического следования) умозаключений из категорических атрибутивных суждений на основе их субъектно-предикатной структуры. В дальнейшем будем иметь в виду, что умозаключения на основе категорических суждений подразделяют на два типа: 1) непосредственные дедуктивные умозаключения, т. е. выводы из одной посылки, и 2) собственно силлогизмы (категорический силлогизм, сокращённый силлогизм (энтимема), сложные (полисиллогизмы) и сложносокращённые силлогизмы (сориты и эпихейрема). Непосредственные дедуктивные умозаключения подразделяются: 1) на выводы на основе отношения между суждениями по значениям истинности (по «логическому

квадрату»); 2) выводы из суждений посредством их преобразования.


<== предыдущая страница | следующая страница ==>
В категорических суждениях | Логический квадрат

Дата добавления: 2014-02-26; просмотров: 171; Нарушение авторских прав


lektsiopedia.org - Лекциопедия - 2013 год. | Страница сгенерирована за: 0.011 сек.