Судження та силогізм у формальній логіці
Контрольная работа - Математика и статистика
Другие контрольные работы по предмету Математика и статистика
?ять.
Жоден торт не здорова їжа.
Camestres
Всі коні мають здуття живота.
Жодна людина не має здуття живота .
Жодна людина не кінь.
Festino
Жодна ледача людина не здає іспити.
Деякі студенти здають іспити.
Деякі студенти не ледачі.
Baroco
Усі інформативні речі корисні.
Деякі сайти не корисні.
Деякі сайти не інформативні.
Darapti
Всі фрукти поживні.
Всі фрукти смачні.
Деякі смачні речі поживні.
Disamis
Деякі гуртки красиві.
Всі гуртки корисні.
Деякі корисні речі красиві.
Datisi
Всі старанні хлопчики у цій школі руді.
Деякі старанні хлопчики у цій школі - пансіонери.
Деякі пансіонери в цій школі руді.
Felapton
Жоден глечик в цій шафі не новий.
Всі глечики у цій шафі тріснути.
Всі тріснуті речі в цьому шафі не нові.
Bocardo
Деякі кішки безхвості.
Всі коти - ссавці.
Деякі ссавці безхвості.
Ferison
Жодне дерево не їстівне.
Деякі дерева зелені.
Деякі зелені речі не їстівні.
Bramantip
Всі яблука в моєму саду корисні.
Всі корисні фрукти зрілі.
Деякі зрілі фрукти - яблука в моєму саду.
Camenes
Всі яскраві квіти ароматні.
Жодна ароматна квітка не вирощена в приміщенні.
Жодна вирощена у приміщенні квітка не яскрава.
Dimaris
Деякі невеликі птахи живуть на меді.
Всі, хто мешкав на меді птахи кольорові.
Деякі кольорові птахи невеликі.
Fesapo
Жодна людина не є бездоганною.
Всі міфічні істоти бездоганні.
Деякі міфічні істоти не люди.
Fresison
Жодна компетентна людина не помиляється.
Деякі люди, які помиляються працюють тут.
Деякі працюючі тут люди некомпетентні.
Відповідно до правил, форми можуть бути перетворені в інші форми, і всі форми можуть бути перетворені в одну з форм першої фігури.
Вчення про силогізм вперше викладено у Аристотеля в його Першій аналітиці. Він говорить лише про три фігури категоричного силогізму, не згадуючи про можливу четверту. Особливо докладно він розглядає роль модальності суджень у процесі умовиводу.
Наступник Арістотеля, засновник ботаніки Теофраст, за словами Олександра Афродізійського (у його коментарі до першої Аналітика Аристотеля), додав ще пять модусів (modi) до першої фігури силогізма; ці пять модусів згодом були виділені Клавдієм Галеном (жив у II-му ст. н. е.) в особливу четверту фігуру.
Крім того, Теофраст і його учень Евдем зайнялися аналізом умовного і роздільного силогізмів. Вони допустили пять видів умовиводів: два з них відповідають умовному С., а три - роздільному, який вони розглядали як видозміну умовного С. Цим і закінчується розвиток вчення про С. в давнину, якщо не рахувати того додатку, що зробили стоїки у вченні про умовний С.
За словами Секста Емпірика, стоїки визнавали деякі види умовного і роздільного С. ????????????, тобто що не потребують доказів, і розглядали їх як прототипи С. (як , напр., нині дивиться на С. Зігварт). Стоїки визнавали пять видів подібних С., що збігаються з Феофрастовими.
З епохи схоластичної філософії по відношенню до вчення про С. уваги заслуговує Фома Аквінський (1274), особливо його докладний аналіз помилкових висновків ( De fallaciis). Твори з логіки, мали деяке історичне значення, належить візантійцеві Михайлу Пселу. Він запропонував так званий логічний квадрат, в якому наочно виражається ставлення різних видів суджень. Йому належать назви різних modi (грец. ??????) фігур. Ці назви, латинізовані, перейшли до західної логічної літератури.
Михайло Псел, слідуючи Феофрасу, пять modi четвертої фігури відносив до першого. Назва видів мало у нього на увазі мнемонічну мету. Йому ж належить і загальновживане позначення літерами кількості та якості суджень (а, е, i, о).
Вчення логічні у Псела носять формальний характер. Твір Псела було переведено Вільгельмом Ширвудом і набуло поширення завдяки переробці Петра Іспанського (папи Івана XXI). У Петра Іспанського в його підручнику помітно те ж прагнення до мнемотехнічних правил.
Латинські назви видів фігур, які приводяться в формальній логіці, взяті у Петра Іспанського. Петро Іспанська і Михайло Псьол представляють собою розквіт формальної логіки в середньовічній філософії. З епохи Відродження починається критика формальної логіки і силогістичної формалізму.
Першим серйозним критиком Аристотелівської логіки був Пєр Рамі, який загинув під час Варфоломеєвської ночі. У другій частині його Діалектики йдеться про С.; його вчення про С., проте, істотних відступів від Арістотеля не представляє.
Починаючи з Бекона і Декарта філософія йде за новими шляхами і відстоює методи дослідження: непридатність силогістичної методу в сенсі методу дослідження, знаходження істини, стає все
Силогізм переважав в логіці до XIX століття а і мав обмежений додаток зокрема через привязку до категоричного силогізму.
3. Завдання
3.1 Логічні операції „перетворення”, „обернення” та часткового протиставлення”
Здійснить логічні операції „перетворення”, „обернення” та часткового протиставлення” з наступними судженнями:
Всі видатні баскетболісти є чорношкірими (А)
Жоден англієць не є вегетаріанцем (Е)
Деякі президенти є головнокомандуючими (І)
Деякі льотчики не є камікадзе (О)
Всі видатні баскетболісти є чорношкі?/p>