Портал:Логика/Статьи

Математическая логика
Список статей по математической логике.
Логика высказываний. Алгебра логики. Аксиома. Математическая индукция. Квантор. Круги Эйлера. Отношение. Таблица истинности. Закон двойного отрицания. Закон исключённого третьего. Закон противоречия. Формальный язык. Теория моделей. Теория множеств. Множество. Мощность множества. Теория типов. Теория рекурсии. Алгоритм. Теория доказательств. Метаматематика. Математический конструктивизм. Автоматическое доказательство теорем.
Философские аспекты логики
Категория:Философская логика
Диалектика. Диалектическая логика. Софистика. Антиномия. Антитезис. Априори. Денотат. Достоверность. Знак. Интенсионал. Категорический силлогизм. Категория. Конкретное. Концептуализм. Ложь. Метаязык. Модус. Модус простого силлогизма. Номинализм. Объём понятия. Определение. Перформатив. Понятие. Предикативность. Предикация. Противоречие. Референт. Референция. Сигнификат. Смысл. Спекуляция. Суждение. Тождество. Трансцендентальная логика. Универсалия. Экстенсионал. Энтимема. Эристика.
Разделы логики и приложения
Дескрипционная логика. Игровая логика. Многоагентная система. Экзистенциальные графы. Нечёткая логика. Эпистемическая логика. Интуиционистская логика. Логика Гюнтера. Классическая логика. Логика высшего порядка. Модальная логика. Многозначная логика. Параконсистентная логика. Релевантная логика. Традиционная логика.
Логики
Список логиков.
Аристотель (384—322 гг. до н. э.) • Филон из Мегары (IV—III в. до н. э.) • Хрисипп (281—208 гг. до н. э.) • Цицерон (106-43 гг. до н. э.) • Боэций (475—524) • Пьер Абеляр (1079—1142) • Ибн Рушд (1126—1198) • Уильям из Шервуда (1200—1266) • Дунс Скот (1266—1308) • Уильям Оккам (1285—1347) • Жан Буридан (1300—1358) • Лейбниц (1646—1716) • Готфрид Плуке (1716—1790) • Георг Гегель (1770—1831) •Артур Шопенгауэр (1788—1860) • Огастес де Морган (1806—1871) • Джордж Буль (1815—1864) • Чарльз Пирс (1839—1914) • Эрнст Шрёдер (1841—1902) • Фридрих Фреге (1848—1925) • Джузеппе Пеано (1858—1932) • Давид Гильберт (1862—1943) • Бертран Рассел (1872—1970) • Ян Лукасевич (1878—1956) • Генри Шеффер (1882—1964) • Людвиг Витгенштейн (1889—1951) • Рудольф Карнап (1891—1970) • Аренд Гейтинг (1898—1980) • Готхард Гюнтер (1900—1984) • Альфред Тарский (1901—1983) • Юзеф Мария Бохеньский (1902—1995) • Алонзо Чёрч (1903—1995) • Станислав Яськовский (1906—1965) • Курт Гёдель (1906—1978) • Жак Эрбран (1908—1931) • Эверт Бет (1908—1964) • Уильям Куайн (1908—2000) • Клод Шеннон (1916—2001) • Георг фон Вригт (1916—2003) • Рэймонд Смаллиан (* 1919) • Карел Берка (* 1923) • Уэсли Сэлмон (1925—2001) • Яаакко Хинтикка (* 1929) • Джон Робинсон (* 1930) • Сол Крипке (* 1940)