Контрольная работа: Судження та силогізм у формальній логіці
Простий категоричний силогізм — міркування, що складається з трьох простих атрибутивних висловлювань: двох посилань і одного висновку.
Посилання силогізма поділяються на більшу (яка містить предикат висновку) і меншу (яка містить суб'єкт висновку). За положенням середнього терміну силогізми поділяються нафігури, а останні за логічною формою посилань і висновку - на модуси.
Приклад силогізма:
Усі люди є смертними (більше посилання)
Аристотель — людина (менше посилання)
Аристотель смертний (висновок)
2.1 Структура простого категоричного силогізму
У силогізм входить рівно три терміна:
S — менший термін: суб'єкт висновку (входить також у менше посилання);
P — більший термін: предикат заключення (входить також у велике посилання);
M — средній термін: входить в обидва посилання, але не входить у висновок.
Підмет 'S' (суб'єкт) - те, щодо чого ми висловлюємо (ділиться на два види):
1. Певний: Одиничне, Приватне, Множинне
2. * Поодинокі [судження] - в яких підмет є індивідуальним поняттям. Прикл: «Ньютон відкрив закон тяжіння»
3. * Приватне судження - в якому підметом судження є поняття, взяте в частині свого об'єму. Прикл: «Деякі S суть P»
4. * Множинне судження - це ті, в яких кілька підметів класових понять. Прикл: «комахи, павуки, раки є членистоногі»
5. Невизначена. Прикл: «світає», «боляче» і т. п.
Присудок 'P' (предикат) - те, що ми висловлюємо (2 види суджень):
· розповідні - це судження щодо подій, станів, процесів або діяльності скороминущі. Прикл: «Роза в саду квітне».
· Описові - коли одному або багатьом предметам приписується яка-небудь властивість. Суб'єктом завжди є певна річ. Прикл: «Вогонь гарячий», «сніг білий».
Відношення між підметом і присудком:
1. Судження тотожності - поняття суб'єкта та предиката мають один і той же обсяг. Прикл: «всякий рівносторонній трикутник є рівнокутний трикутник»
2. Судження підпорядкування - поняття з менш широким обсягом підпорядковується поняттю з ширшим обсягом. Прикл: «Собака є домашня тварина»
3. Судження відносин - саме простору, часу, відносин. Прикл: «Будинок знаходиться на вулиці»
При визначені відносин між підметом і присудком важливою є чітка формалізація термінів, оскільки бездомна собака хоч і не є домашньою з точки зору проживання в будинку, все одно відноситься до класу домашніх тварин з точки зору приналежності за соціально-біологічною ознакою.
Тобто слід розуміти, що "домашня тварина" з соціально-біологічної класифікації в окремих випадках може бути "НЕДОМАШНЬОЮ твариною" з точки зору місця проживання, тобто з соціально-побутової точки зору.
За якістю та кількістю розрізняють чотири види простих атрибутивних висловлювань:
A- від лат. 'A'ffirmo - Загальностверджувальні ( «Всі люди смертні»)
I- від лат. Affirmo - Ососбистостверджувальні ( «Деякі люди - студенти»)
E- від лат. Nego - Загальнозаперечні ( «Жоден з китів не риба»)