Словарь по логике

В скобки заключены названия разделов, находящихся в процессе создания или нуждающиеся в переработке.

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

После названий рубрик в скобках указана дата последних изменений в ней.


  •  Инфа + Поиск

  •  (Семиотика I. Разное) (29.08.2014)

  •  Семиотика II. Теория обозначения (4.09.2014)

  •  (Семиотика III. Синтаксис) (29.08.2014)

  •  Общая логика (29.08.2014)

  •  Логические знаки и операции (2011/2014)

  •  (Формальный синтаксис) (29.08.2014)

  •  Теория высказываний (28.08.2014)

  •  Аргументация и правила рассуждения (30.08.2014)

  •  Дедукция и ТПО (30.08.2014)

  •  Силлогистика. I. Общие понятия и непосредственные умозаключения (23.08.2014)

  •  Силлогистика. II. Простой категорический силлогизм и силогизмы на его основе (30.08.2014)

  •  (Логическая методология) (2014)

  •  Схемы и схематизация в логике и методологии (31.08.2014)

  •  Теории (27.08.2014)

  •  (Теория квантификации)

  •  Взаимопогружаемость теорий

  •  Дедуктивная сила

  •  Дефинициальная вложимость теории

  •  Дефинициальная выразимость теории

  •  Дефинициальная эквивалентность теорий

  •  Дефинициальное расширение теории

  •  Дополнение к формальной теории

  •  Исчисление гильбертовского типа

  •  Кванторная теория

  •  Конечно-аксиоматизируемая теория (при данном дедуктивном замыкании)

  •  Консервативное расширение теории

  •  Модальная теория

  •  Независимость теорий

  •  Несущественное расширение теории

  •  Относительная непротиворечивость теорий

  •  Пересечение теорий

  •  Погружаемое расширение теории

  •  Погружаемость одной теории в другую

  •  Подтеория

  •  Предикатная теория

  •  Пропозициональная теория

  •  Равнонепротиворечивость теорий

  •  Расширение теории

  •  Рекурсивная вложимость теории

  •  Рекурсивная определимость теории

  •  Рекурсивная эквивалентность теорий

  •  Рекурсивность по Смирнову

  •  Собственная подтеория

  •  Собственное расширение теории

  •  Совместимость теорий

  •  Точный фрагмент теории T в языке L

  •  Формальная теория

  •  Формальный язык

  •  Функциональная несовместимость теорий относительно языка L

  •  Функциональная сила теорий относительно языка L

  •  Функциональная эквивалентность теорий относительно языка L

  •  Языковое расширение теории

  •  Математика (2005)

  •  Латинские термины и выражеия (16.08.2014)

  •  Древне-греческие термины и выражеия (28.08.2014)

  • Разделы, требующие переработки


  •  (Символическая логика)

  •  (Теория терминов и понятий)

  •  (История логики) (29.08.2014)

  •  (Персоналии) (29.08.2014)