Головна |
Схоластична логіка - наука тільки про раціональному знанні
діамат | спроба поєднати раціональне мислення з принципом віри |
Фома Аквінський | - Раціональне знання (придбане шляхом міркування) - сверхраціональное знання - придбане не шляхом міркування, а шляхом містичного одкровення, тобто чисто інтуїтивно |
Рене Декарт | - Засновник сучасного раціоналізма- гл. засіб пізнання - розум-гл. метод - дедукція (перехід від загального до конкретного) Антипод - Френсіс Бекон (гл. засіб - емпіричний досвід, гл. філософський твір - «новий органон») |
Антуан Арно + П'єр Ніколь | «Логіка або мистецтво мислити» «Логіка Пор-рояля» 1. вчення про понятіі2. вчення про сужденіі3. вчення про умозаключеніі4. вчення про правильність і методі докладов2 + 3 = логіка висказиваній1 + 2 + 3 = логіка предікатов1 + 2 + 3 + 4 = металогіка |
Готфрід Вільгельм Лейбніц | - Сформулював 4-ий фундаментальний логічний принцип («Принцип достатньої підстави») - висловив ідею про зведення математики до логіки |
III. Сучасна символічна логіка
1. друга половина XIX століття
1. мат. логіка - Джордж Буль
2. Аводот де Морган
3. Ернст Шредер (в Росії - Порицький)
2. Початок XX - наш час
1. Готтлоб Фреге
+ Заклав основу сучасної логічної семантики
+/- «Основні закони арифметики»
2. Бертран Рассел («Пародокс Рассела»)
безлічі:
нормальні - Не є множинами самих себе (апельсини ? апельсин)
ненормальні - (Безліч рішень = рішення)
+ Уайтхедд + Рассел «принципи математики»
творець сучасної мови логіки
+ Логічні дескрипції
3. Давид Гільберт («проблема Гілберта»)
+ Основоположник формальної теорії доповідей
4. Альфред Гарскій
+ Основоположник логічної теорії істини (ЛТИ)
Логіка вивчає універсальні способи отримання складних знань з простих. | Розвиток логіки в Росії
дихотомія | Всього 256 модусів, з 24 правильних | синтаксичні | контрарность |