Распределенность терминов в категорическом высказывании. Логический квадрат

Автор: Пользователь скрыл имя, 16 Марта 2012 в 12:18, реферат

Описание работы

Особый интерес к категорическим высказываниям объясняется прежде всего тем, что с исследования их логических связей началось развитие логики как науки.
Кроме того высказывания этого типа широко используются в наших рассуждениях.
Категорическое высказывание – это высказывание, в котором утверждается или отрицается наличие какого-то признака у всех или некоторых предметов рассматриваемого класса.

Работа содержит 1 файл

логика.doc

— 50.50 Кб (Скачать)


Распределенность терминов в категорическом высказывании. Логический квадрат.

 

 

Категорические высказывания (суждения).

 

Особый интерес к категорическим высказываниям объясняется прежде всего тем, что с исследования их логических связей началось развитие логики как науки.

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

Категорическое высказывание – это высказывание, в котором утверждается или отрицается наличие какого-то признака у всех или некоторых предметов рассматриваемого класса.

Например в высказывании "Все динозавры вымерли" всем динозаврам (или, что то же самое, каждому из динозавров) приписывается признак "быть вымершими". В высказывании "некоторые динозавры летали" способность летать приписывается

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

Если отвлечься от количественной характеристики, содержащейся в категорическом высказывании и выражающейся словами "все" и "некоторые", то получится два варианта таких высказываний: утвердительный и отрицательный. Их структура:

"S есть P" и "S не есть P",

где буква S представляет имя того предмета, о котором идет речь в

высказывании, а буква P – имя признака, присущего или не присущего этому предмету.

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

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

Простые высказывания типа "S есть  P" называются атрибутивными: в них осуществляется атрибуция (приписывание) какого-то свойства предмету.

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

Таким образом, возможны четыре вида категорических высказываний:

 

"Все S есть P"

"Некоторые S есть P"

"Все S не есть P"

"Некоторые S не есть P"

– общеутвердительное высказывание (обозначается буквой A);

– частноутвердительное высказывание (обозначается буквой I);

– общеотрицательное высказывание (обозначается буквой E);

– частнотрицательное высказывание (обозначается буквой O);

 

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

В традиционной логике предполагалось также, что имена, подставляемые вместо переменных, не должны быть единичными или пустыми. Иначе говоря, высказывания типа "Платон – человек", "Все золотые горы – это горы" не относятся к категорическим в традиционном смысле, поскольку "Платон" – единичное имя, а "золотые горы" – пустое имя.

Категорический силлогизм

 

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

Логическая теория такого рода умозаключений называется силлогистикой. Она была создана еще Аристотелем и долгое время служила образцом логической теории вообще. В силлогистике выражения "Все S есть P" , "Некоторые  S есть P" , "Все S не есть P" , "Некоторые S не есть P" рассматриваются как логические постоянные, т.е. берутся как единое целое. Это не высказывания, а определенные

логические формы, из которых получаются высказывания путем подстановки вместо переменных каких-то имен. Подставляемые имена называются терминами силлогизма.

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

Примером силлогизма может быть:

Все жидкости упруги.

Вода – жидкость.

Вода упруга.

В каждом силлогизме должно быть три термина: меньший, больший и средний. Меньшим термином называется субъект заключения (в примере таким термином является термин "вода"). Большим термином именуется предикат заключения ("упруга"). Термин, присутствующий в посылках, но отсутствующий в заключении, называется средним термином ("жидкость"). Меньший термин обозначается обычно буквой S, больший – буквой P и средний - M. Посылка, в которую входит больший термин, называется большей. Посылка с меньшим термином называется меньшей. Большая посылка записывается первой, меньшая – второй.

Логическая форма приведенного силлогизма такова:

Все М есть P

 

Все S есть М

 

Все S есть P

 

 

Логический Квадрат (квадрат Противоположностей)

диаграмма, служащая для мнемонического запоминания некоторых логических соотношений между общеутвердительными (A), общеотрицательными (Е), частноутвердительными (I) и частноотрицательными суждениями (О). Логический квадрат показан на рисунке. Противоречащие, контрадикторные суждения (А и О; Е и I) не могут быть одновременно истинными и ложными: если одно из них истинно, то другое ложно. Так, если суждение "Все металлы являются электропроводными" (A) истинно, то суждение "Некоторые металлы не являются электропроводными" ложно. Если суждение "Некоторые металлы не являются твердыми" (О) истинно, то суждение "Все металлы являются твердыми" (А) ложно. Противные суждения (A и Е), в отличие от противоречащих, могут оба оказаться ложными, но не могут быть оба истинными. Так, суждения "Все студенты являются шахматистами" (A) и "Ни один студент не является шахматистом" (Е) оба ложны. При истинности же одного из них второе является ложным. Так, если суждение "Все кенгуру являются млекопитающими" (A) истинно, то суждение "Ни один кенгуру не является млекопитающим" (Е) ложно. Подпротивные суждения (I и О) не могут быть одновременно ложными. Так, если суждение "Некоторые металлы не являются электропроводными" (О) ложно, то суждение "Некоторые металлы являются электропроводными" (I) (т. е. "Существуют металлы, которые электропроводны") является истинным. Подпротивные суждения могут оказаться и оба истинными. Таковы суждения "Некоторые металлы являются твердыми" (O) и "Некоторые металлы не являются твердыми" (О). Суждения, находящиеся в отношении подчинения (A, I и Е, О), отличаются, напр., тем важным свойством, что при истинности общих суждений соответствующие им частные также являются истинными. Так, истинность суждения "Все газы являются сжимаемыми" (A) влечет истинность подчиненного ему суждения (I) "Некоторые газы являются сжимаемыми".

 

 

Определить вид высказывания, его термины и их распределенность в «Иногда люди опаздывают на работу».

 

 

1)Простое.

2)утвердительное.

3) нераспределенное.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

БЕЛОРУССКИЙ НАЦИОНАЛЬНЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ

МЕЖДУНАРОДНЫЙ ИНСТИТУТ ДИСТАНЦИОННОГО ОБРАЗОВАНИЯ

 

 

 

 

 

 

 

 

Логика.

Реферат по теме «Распределенность терминов в категорическом высказывании. Логический квадрат.»

 

 

 

 

 

 

 

 

 

 

Выполнила: ст. гр. 417211

Мацко В.Н.

 

 

Проверила: Клокоцкий В.М.

 

 

 

 

 

 

 

 

 

 

 

Минск 2011

 



Информация о работе Распределенность терминов в категорическом высказывании. Логический квадрат