Электронная философская энциклопедия
Index
Log in
Описание
Алфавитный указатель
Тематический указатель
Выпуски
Отрывки
Содержание
Раскрыть
Свернуть
Логика
Подрубрики
Классическая логика
Неклассическая и философская логика
Логические основания теории множеств и математики
Философия логики и логическая философия
Теория аргументации
История логики
Статьи в подрубриках
Зенон из Кития
Стоицизм
Отрывки в подрубриках
Стоическое учение. Категории и логическая часть
Учение Зенона. Пролегомены и логическая часть
Статьи в данной рубрике
Витгенштейн
Логические связки
Машина Тьюринга
Силлогистика
Отрывки в данной рубрике
«Ранняя» философия Витгенштейна: «Логико-философский трактат»
Возникновение и развитие силлогистики в античности и средневековье
Дизъюнкция
Импликация
Истинностные таблицы
История. Статья Тьюринга 1936 года
Конъюнкция
Логика высказываний
Логика стоиков
Логические связки
Машина Тьюринга: определение
Машина Тьюринга: принципы устройства
Отрицание
Проблема остановки и проблема разрешимости
Силлогистика и логика предикатов
Силлогистика и проблема истинностного статуса высказываний о несуществующем
Силлогистика: определение
Современные аксиоматизации чистых позитивных силлогистик
Современные представления негативных, расширенных и сингулярных силлогистик
Тезис Тьюринга
Традиционная силлогистика
Универсальная машина Тьюринга
Фундаментальная силлогистика
Эквиваленция
Язык силлогистики. Виды силлогистических теорий