Історія логіки

Размещено на http://www.allbest.ru/

НАЦІОНАЛЬНИЙ МЕДИЧНИЙ УНІВЕРСИТЕТ ІМ. О.О. БОГОМОЛЬЦЯ

Кафедра філософії

Реферат

на тему «Історія логіки»

Київ 2014

1. Загальний характер середньовічної логіки

Лише декілька десятиліть тому вчені змогли гідно оцінити середньовічну логіку. З одного боку, вона є дидактичною систематизацією античної логіки, з іншого боку, в ній можна угледіти оригінальні рефлексії у вигляді логічних ідей. У середньовічних університетах логіку вивчали на факультетах мистецтв. Вона давала право на заняття теологією, юриспруденцією, медициною. На факультетах мистецтв логікою завершувався «трівіум» (після граматики і риторики) і починався квадрівіум (арифметика, геометрія. астрономія і музика). Діалектика і логіка виступали в ролі інструментарію теології.

Характерною межею середньовічної логіки був зв'язок між латинською мовою і логічними теоріями і виразами. Мова середньовічної логіки базувалася на аналізі наукової латинської мови, що розуміється не просто як ідіом (т.е мова), але як високий рівень раціональності. Тому середньовічні логіки, окрім формулювання логічних законів, ще і описували ці закони. Характеризуючи середньовічну логіку в цілому, дослідники часто висловлюють думку про те, що вся середньовічна логіка - це дидактична систематизація античної логіки. З одного боку, це так, з іншої - не зовсім так. Дійсно, для середньовічної логіки першочерговими були завдання викладання. Безліч підручників містили ґрунтовні пояснення логічних правил у дусі строгої і невблаганної ясності. В цих цілях були винайдені майстерні абревіатури і мнемотехнічні вправи, в яких відчувається турбота авторів про молоді розуми, їх професіональна підготовка, в ході якою жодна дрібниця не має бути упущена.

Розрізняють три періоди розвитку середньовічної логіки : старе мистецтво, нове мистецтво, логіка сучасних. Період «старого мистецтва» через Боеція пов'язаний з Абеляром (до середини ХII Ст). Логіка даного періоду концентрується головним чином довкола «Ісагога» Порфирія, «Категорій: і «О тлумаченні» Арістотеля.

Період «нового мистецтва» пов'язаний з розквітом великих схсхоластичних систем (XIII ст), в рамках яких філософи частіше, ніж логіки, використовували логічний «Органон» для теологічних цілей. У даний період в широкий науковий ужиток вводяться «Топіка», «Про софістичні спростування», обидві «Аналітика Арістотеля».

Так звані «модерністи (XIV Ст), безумовним лідером яких є номіналіст Оккам, культивували логіку не як органон, інструмент, але як речову науку, тобто як функцію структури мови науки, розглянуту з формальної точки зору. «Сціенція» як наука про духовну реальністьі «модерністів» мало займала.

2. Перший період

Данний період охоплює час від початку середніх століть до Абеляра включно (приблизно до середини Xil ст). Одним з перших логіків в ранньому європейському середновіччі, що зв'язав античність і схоластику, був Аніций Манлій Торквот Северин Боеций (480-525) - римський державний діяч, філософ і логік.

Боецій успадкував від арістотеліків уявлення про логіку як органон наук - вчення про універсальний метод пізнання і теорії міркування взагалі. Проте він ясно бачив, що в логіки є свій власний предмет. «Логіка швидше знаряддя, ніж частина філософії» .

Знаходячись у в'язниці по звинуваченню в зраді, Боецій написав філософську працю «Втіха філософією», в якому вживав такі логічні терміни, як «веріфікувати», «Подвійність», «Доказовий», «необхідна причина для досягнення чого-небудь і ін. »

Боецій відомий як коментатор творів Арістотеля і і Порфирия з логічної проблемати, перекладач на латинську мову арістотелівських книг "Категорії", "Про тлумачення, а також твір Порфирія "Введення в "Категорії Арістотеля".

У історію логіки Боецій увійшов і як оригінальний мислитель. Він написав ряд творів про силлогізми "Введення в категоричний силогізм", "Про гіпотетичний силлогізм", "Про категоричний силогізм і про деякі логічні операції над іменами ("Про визначення", "Про ділення, "Про розбіжність")

Таким чином, "останній римлянин, Боецій передав схоластичні арістотелівські логічні трактати у власному латинському перекладі, прокоментував "Введення" Порфирія і написав ряд самостійних трактатів по логіці. Усе це в перспективі зіставило основу середньовічної логіки на ранньому етапі (до XII ст.). Пізніше цей цикл робіт і охоплений ним круг ідей отримали назву старої логіки. Тут розроблялась в основному теорія понять. Таким чином, середньовіччя зв'язало логіку з ім'ям Боеція.

Михайло Пселл (1018-1096) знаменитий своїм твором "Огляд логіки Арістотеля" (відомо під назвою "Синопсис ). Згідно Прантлю, західноєвропейські учені ознайомилися з "Синопсисом" Пселла в XIII ст.

У логіці Пселл досліджував модуси силогізмів, займався проблемами рівносильності пропозицій, застосуванням математичних методів в процесі доказу, склав так званий логічний квадрат, наочно виражаючий стосунки між осоружними, підосоружними і такими, що суперечать судженнями, а також між підпорядковуючими судженнями.

Найбільш колоритною фігурою в логіці західноєвропейського середньовіччя даного періоду, поза сумнівом, можна вважати П'єера Абеляра (1079-1142). Логічні твори Абеляра включають коментарі до "Isagoge" Порфирія, до "Категорій", "Про тлумачення: Арістотеля, до "теічних відмінностей" Боеція. Він написав також трактат про діалектиці "Dialectica", в котрому аналізував висловлювання і їх складові. Абеляр працював з так званою старою логікою" (переважно із спадщиною Боеція). Проте у своєму підході до рішення проблем Абеляр прагнув перейти від розуміння логіки як аналізу суті до ідеї логіки термінів і висловлювань. Логіку Абеляр називав наукою про оцінку і розрізнення аргументів по їх істинності і хибності. Шлях пізнання в логіці повинен починатися з простого і сходити до складного. Істина, стверджував Абеляр, може бути досягнута лише в результаті зіставлення протилежних висловлювань з приводу спірного

У логічній спадщині Абеляр досліджував роль зв'язки в судженні, аналізував силогізм, прийоми визначення і ділення об'єму понять, застосовував в логічних операціях деякі правила з використанням імплікації і диз'юнкції, розробив ряд проблем модальної логіки.

3. Другий період

Особливістю цього періоду було те, що в цей час сильний вплив на схоластику в цілому (У тому числі і на логічні вчення) робив арабомовний перипатетизм (Ибн-Сина, Ибн-Рушд). Іншим специфічним явищем була тенденція до математизації філософії в цілому з середини XIII ст. і "математизации арістотелизма" зокрема.

Найбільш великими логіками цього періоду (середина ХII ст. - XIII ст.) були Уільям Шервуд (1206-1266), Альберт фон Больштедт(1193-1280), Петро Іспанський (1210-1277), Фома Аквінський (1225-1274), Раймонд Луллій(1266-1315), Іоанн Дунс Худоба (1266-1308). Різний внесок кожного з них у розвиток логіки в середні віки. Звернемо увагу на найбільш істотні логічні ідеї у деяких відмічених авторів.

Англійський логік Уільям Шервуд написав підручник логіки (званий "Суммулами"). Шервуд ділив судження на прості і складні, а складні - на копулятиннвні (kopulativa), диз'юнктивні (disiunctiva) і імплікативні (consequentia). Особливу увагу Шервуд приділив вивченню проблем модальної логіки. Він говорив про шість значень істинності : істинно, неправдиво, можливо, неможливо, випадково і необхідно. Шервуд досліджував взаємовідношення кванторів, займався розробкою графічного вираження стосунків між логічними класами.

Великою популярністю в середні віки користувалися "Сумули " Петра Іспанського. За період з кінця ХV по початок ХVI ст. його підручник витримав близько 50 видань в різних містах Європи. По "Суммулам" логіка викладалася в школах Західної Європи більш ніж три століття. Логіка, як стверджував автор "Суммул", є мистецтво і наука наук, оскільки є приготуванням до усіх інших наук. Вона є мистецтво міркування, бо останнє повинне вестися за допомогою мови. Тому вивчення логіки повинне розпочинатися з дослідження термінів і функцій.

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

Яскравою фігурою другого періоду в розвитку схоластичної логіки був іспанський мислитель Раймонд Луллuй (1235-1315), родом з острова Майорка (Іспанія). Цікаво, що при загільній тенденції звільнення логіки від метафізики і теології, Луллій пішов проти течії, поставивши логіку на службу релігійним цілям. Його називали "прокуратором невірних", уміючим використати арсенал безвідмовних засобів для звернення в християнство євреїв і мусульман.

Аж до середини XVIII ст. лулліанська доктрина мала незмінний успіх. Але навіть переведена в 1634 році на французьку мову, вона залишалася недооціненою логіками. Лейбніц заявить пізніше, що це лише слабка тінь справжнього мистецтва комбінаторики, від якого вона також далека, як фанфарон від солідного ученого". Чарльз Пирс відверто заявить, що ідеї Луллія просто абсурдні. Проте, якщо не висмикувати їх з історичного контексту і не оцінювати з точки зору сьогоднішніх досягнень логіки, то стане очевидною заслуга Луллия у справі систематичного використання символізму : букви, фігури, кольори, схеми. Усе це було поставлено на службу інтелекту, що дозволило замінити неясні образи точними, майже механічними

Своєрідні логічні точки зору Іоанна Дунса Скота. Він написав коментарі до творів Арістотеля з логіки. Логіку він називав точною наукою і ділив її на дві частини: теоретичну і прикладну. Дунс Скот цікавий своєю теорією логічного дотримання і логічним законом, формальне вираження якого має вид: p~(p~q). Ян Лукасевич назвав цей закон законом Дунса Скота: якщо дві що суперечать одна одній пропозиції одночасно визнаються істинними, то МИ можемо винести з них довільну пропозицію, тобто будь-яку пропозицію.

4. Третій період

Логічні теорії цього періоду зростають на тлі дуже глибоких зрушень в схоластичній свідомості. Одна з характерних рис - це схильність до математизації філософських концепцій і доказів. Ті, що займалися цим вченням дістали назву "калькулятори". У XIV ст. ведуться жваві дискусії про співвідношення між "категорематичною" і "синкатегорематичною" нескінченністю, що якоюсь мірою відповідають сучасній постановці питання про співвідношення між актуальною і потенційною нескінченністю.

Все разом це називалося "Новий шлях".У рамках цього руху, що почався ще у кінці XIII ст, значна увага приділялася логічним дослідженням і передусім аналізу функцій термінів і висловлювань. Таким чином, в XIV ст. відбувається зміщення інтересу в з університетської філософії до логічних і аналітичних досліджень (логічні парадокси, природа імплікації або пропозиціональних функцій термінів).

Найяскравішою фігурою цього періоду був Уільям Оккам(1285-1319). Корпус його логічних праць досить великий. Він включає тлумачення "lsagogci" Порфирія, творів Аристотеля "Категорії", "Про визначення", "Про софістичні опроверження".

Логіка, за переконанням Оккама, належить до наук не реальних, а раціональним і, подібно до риторики і граматики, трактує про поняття. Логіка, риторика і граматика, помічає Окикам, суть достовірно пізнавальне керівництво, а не спекулятивні дисципліни, оскільки вони дійсно управляють интеллектом в його діяльності. Вона повинна займатися аналізом знаків і термінів.

У "Сумі усієї логіки" Оккам виділяє і аналізує терміни: ментальні, оральні, письмові, категорематичніі синкатегорематичні. У термінізмі Оккама очевидний намір надати логіці автономний статус і строгі очертания, чого не було у попередників. Він постійно підкреслює, що ніякої об'єктивної реальності за термінами немає. В Оккама ми маємо справу з радикальним розрізненням логіки і реальності, імена і речі, а усередині логіки термінів знаходимо геніальну ідею про те, що в сучасній символічній логіці отримало назва "синтаксису" і "семантики".

Серед відомих логіків третього періоду слід назвати Жана Буридана(1300-1358), Його логічний трактат про дотримання був проголошений першою в середні віки спробою здійснити дедуктивне виведення законів дедуктивного виводу. Він писав і на інші логічні теми, зокрема, про софізми. У цьому трактаті, зокрема, аналізується більше число головоломок, парадоксів і їх логічне значення.

Один з широко відомих парадоксів такого роду приписується самому Буридану: осел, який застиг перед двома однаково апетитними оберемками сіна і, виявившись не в змозі вибрати між ними, помер від голоду. Ця конкретная ілюстрація не зустрічається в творах Буридана, проте, він використовує схожий приклад з собакою, посилаючись на Арістотеля.

Висновок

Таким чином, зроблений огляд середньовічної західноєвропейської логіки характеризується наступними загальними моментами

Три століття, що протекли від Абеляра, були блискучою епохою в історії логіки. Тематика античної традиції, поглиблена і збагачена, збагатилася новими дослідженнями в області синтаксису, семантики, чого не знала антична логіка. Глибоке вивчення модальної логіки далеко відвело від того рівня, який був заданий Арістотелем.

Середньовічна логіка з часом все більше ставала логікою термінів, висловлювань і стосунків між ними. Проблема "семантичних антиномій була забезпечена дюжиною формулювань і рішень. Безперечним був зв'язок логіки з мовою.

Велику частину своїх досліджень середньовічні логіки підняли на новий рівень, не просто конструюючи формули, але і описуючи їх, що древні робили надзвичайно рідко. У середньовіковій логіці спостерігався рух в напрямі усе більшої формалізації, хоча, зрозуміло, робота логіків утруднювалася відсутністю адекватної системи запису.

Через усю середньовічну історію логіки і філософії проходить спір реалістів з номіналістами, що іноді доходить до крайнього озлоблення.

Проблему було поставлено ще в III ст. популярним комментатором Арістотеля Порфирієм. Суть його питань зводилася до наступного.

1.Чи існують загальні поняття або ідеї самі по собі, або ж тільки в думці мислячого суб'єкта?

2.Чи існують універсалії тільки в чуттєвих предметах або також і незалежно від них?

3.Якщо універсалії існують, то чи являються вони чимось реальним (як тоді виражалися - речами), або вони суть лише слова, умовні позначення, імена?

Звідси назви двох течій: реалізм (універсалії суть реальності), номіналізм (універсалії суть лише імен, номен - ім'я).

Крайні реалісти стверджували, що універсалії існують поза нашим розумом, мають духовну природу, трансцендентні чуттєвому світу і є прообразами індивідуальних тілесних речей. Це був, дійсно, розвиток поглядів Платона. Найбільш крупними представниками реалізму були Ансельм Кентербері(1033-1109), Бернар Клервосский(1091-1153).

Номіналісти продовжуючи традиції кініків і стоїків, стверджували, що універсалії суть лише імена, назви, позначення речей, що реально існує тільки індивідуальні речі, універсалії ж не мають ніякої реальності поза межами людської думки і мови, не існують самі по собі "ні на небі, ні на землі". Номіналістичні позиції пов'язані з ім'ям Иоанна Росцелина (1050-1122).

Проміжне положення займав "помірний реалізм", стверджуючий, що універсалії реальні, але співпадають з формами чуттєвих речей і тому не існують поза чуттєвим світом. Цей напрям думки коренився у вченні Арістотеля. У середньовіковій логіці цей напрям пов'язаний з ім'ям Абеляра, По Абеляру, природа загального криється не в речах і не в словах, а в значеннях відповідних розмов .Він хотів підкреслити в універсаліях їх семантичну сторону, тобто відношення знаків до позначуваних ними об'єктів.

середньовічна логіка реалізм номіналізм

Використана література

1. Боеций. Комментарий к Порфирию// Боеций. ”Утешение философией” и другие трактаты. М.,1990

2. Абеляр П.Логика ”Для начинающих”//Абеляр П.Теологические трактаты. М.,1995

3. Маковельский А.О. История Логики. М.,1967

4. Стяжкин Н.И Формирование математической логики. М.,1967

Размещено на Allbest.ru