II. Схоластическая логика

Схоластическая логика – наука только о рациональном знании

Диамат	попытка соединить рациональное мышление с принципом веры
Фома Аквинский	- рациональное знание (приобретенное путем рассуждение) - сверхрациональное знание – приобретённое не путем рассуждения, а путем мистического откровения, т.е. чисто интуитивно
Рене Декарт	- основатель современного рационализма - гл. средство познания – разум - гл. метод – дедукция (переход от общего к частному) Антипод – Френсис Бэкон (гл. средство – эмпирический опыт, гл. философское произведение – «новый органон»)
Антуан Арно + Пьер Николь	«Логика или искусство мыслить» «Логика Пор-рояля» 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. Альфред Гарски

+ основоположник логической теории истины (ЛТИ)