Предыдущая страница реферата | 1  2  3  4  5  6  7 | Следующая страница реферата

Категорические высказывания

Логика высказываний сводит сложные высказывания к простым
(атомарным).

Она рассматривает сложные высказывания как функции от простых, но простые при этом уже не расчленяются.

Высказывания, имеющую структуру, выраженную формулой «S есть P» называют утвердительными, а имеющие структуру «S не есть P» - отрицательными. Это деление по качеству.

Кроме того, категорические высказывания делятся по количеству на единичные (Это S есть (или не есть) P), общие (Все S есть (или не есть) P) и частные (Некоторые S есть (или не есть) P). Слова «все» и «некоторые» называют кванторными словами.

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

Таким образом, классификация категорических высказываний по качеству и количеству содержит четыре типа:

n общеутвердительные (А) n общеотрицательные (Е) n частноутвердительные (I) n частноотрицательные (O)

Буквы A, E, O, I для символических обозначений взяты из латинского слова affirmo - утверждаю - для двух утвердительных высказываний и из слова nego - отрицаю - для отрицательных.

Фигуры категорического силлогизма

Расмотрим (на примере) строение силлогизма.

Каждый человек (М) - смертен (Р)

Сократ (S) - человек(М)

~~~~~~~~~~~~~~~~~~~~~~~~~~~~

Сократ (S) - смертен (P)

Силлогизм состоит из трех категорических высказываний (две посылки и одно заключение, которое к стандартной записи пишется под чертой). Субъект заключения обозначается (обычно) буквой S, а предикат - P, но в силлогизме
S называется меньшим термином, а P - большим; оба они называются крайними терминами. Термин, дважды повторяющийся в посылках, называется средним
(лат. - terminus medius) и обозначается буквой M.

Посылки также имеют собственные названия: та, которая содержит термин
P, называется большей посылкой, а содержащая термин S - меньшей посылкой.

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

В общем виде структуру силлогизма можно представить так:

R(X, Y) ^ Q(Y, Z) -> L(XZ),

где R, Q, L могут иметь значения A, E, I, O;

X, Y означает MP или PM,

Y,Z - MS

X,Z - SP

Конъюнкцию посылок в силлогизме можно рассматривать как антецендент, а заключение - как консеквент.

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





Предыдущая страница реферата | 1  2  3  4  5  6  7 | Следующая страница реферата