Студопедия
Случайная страница | ТОМ-1 | ТОМ-2 | ТОМ-3
АрхитектураБиологияГеографияДругоеИностранные языки
ИнформатикаИсторияКультураЛитератураМатематика
МедицинаМеханикаОбразованиеОхрана трудаПедагогика
ПолитикаПравоПрограммированиеПсихологияРелигия
СоциологияСпортСтроительствоФизикаФилософия
ФинансыХимияЭкологияЭкономикаЭлектроника

V Пример. Несравнимы суждения: «В огороде бузина» и «В Киеве дядька»; «Многие пирожки вкусны» и

V Пример | V Пример | Введение | Общая характеристика и язык силлогистики | V Пример | Категорических суждений | V Пример | Простых категорических высказываний | V Пример | V Пример |


Читайте также:
  1. B16. Готовы ли Вы петь бесплатно в церковном хоре (например, если у храма нет денег, чтобы заплатить)?
  2. II. Пример разработки упаковки для парфюмерных изделий
  3. MB: Как Вы думаете, нужно ли женщине жертвовать своим до­стоинством ради того, чтобы со­хранить полную семью? К примеру, терпеть рядом дурного мужчину ради детей?
  4. T.V.: Тебе больше нравится выступать на больших фестивалях? или на небольших концертных площадках, например клубах?
  5. V Пример
  6. V Пример
  7. V Пример

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

 

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

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

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

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

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

 


Дата добавления: 2015-09-05; просмотров: 49 | Нарушение авторских прав


<== предыдущая страница | следующая страница ==>
V Пример| Логический квадрат. Умозаключения по логическому квадрату

mybiblioteka.su - 2015-2024 год. (0.005 сек.)