Контрольная работа: Судження та силогізм у формальній логіці

Жодне дерево не їстівне.

Деякі дерева зелені.

Деякі зелені речі не їстівні.

'Bramantip'

Всі яблука в моєму саду корисні.

Всі корисні фрукти зрілі.

Деякі зрілі фрукти - яблука в моєму саду.

' 'Camenes

Всі яскраві квіти ароматні.

Жодна ароматна квітка не вирощена в приміщенні.

Жодна вирощена у приміщенні квітка не яскрава.

'Dimaris'

Деякі невеликі птахи живуть на меді.

Всі, хто мешкав на меді птахи кольорові.

Деякі кольорові птахи невеликі.

'Fesapo'

Жодна людина не є бездоганною.

Всі міфічні істоти бездоганні.

Деякі міфічні істоти не люди.

' 'Fresison

Жодна компетентна людина не помиляється.

Деякі люди, які помиляються працюють тут.

Деякі працюючі тут люди некомпетентні.

Відповідно до правил, форми можуть бути перетворені в інші форми, і всі форми можуть бути перетворені в одну з форм першої фігури.

Вчення про силогізм вперше викладено у Аристотеля в його «Першій аналітиці». Він говорить лише про три фігури категоричного силогізму, не згадуючи про можливу четверту. Особливо докладно він розглядає роль модальності суджень у процесі умовиводу.

Наступник Арістотеля, засновник ботаніки Теофраст, за словами Олександра Афродізійського (у його коментарі до першої «Аналітика» Аристотеля), додав ще п'ять модусів (modi) до першої фігури силогізма; ці п'ять модусів згодом були виділені Клавдієм Галеном (жив у II-му ст. н. е.) в особливу четверту фігуру.

Крім того, Теофраст і його учень Евдем зайнялися аналізом умовного і роздільного силогізмів. Вони допустили п'ять видів умовиводів: два з них відповідають умовному С., а три - роздільному, який вони розглядали як видозміну умовного С. Цим і закінчується розвиток вчення про С. в давнину, якщо не рахувати того додатку, що зробили стоїки у вченні про умовний С.

За словами Секста Емпірика, стоїки визнавали деякі види умовного і роздільного С. αναπόδεικτοι, тобто що не потребують доказів, і розглядали їх як прототипи С. (як , напр., нині дивиться на С. Зігварт). Стоїки визнавали п'ять видів подібних С., що збігаються з Феофрастовими.

З епохи схоластичної філософії по відношенню до вчення про С. уваги заслуговує Фома Аквінський (1274), особливо його докладний аналіз помилкових висновків ( «De fallaciis»). Твори з логіки, мали деяке історичне значення, належить візантійцеві Михайлу Пселу. Він запропонував так званий «логічний квадрат», в якому наочно виражається ставлення різних видів суджень. Йому належать назви різних modi (грец. τρόποι) фігур. Ці назви, латинізовані, перейшли до західної логічної літератури.