Простой категорический силлоги́зм — дедуктивное умозаключение, состоящее из трёх простых атрибутивных высказываний: двух посылок и одного заключения. Посылки силлогизма разделяются на бо́льшую и меньшую. По положению среднего термина силлогизмы делятся на фигуры, а последние по логической форме посылок и заключения — на модусы.
Предика́т — это утверждение, высказанное о субъекте. Субъектом высказывания называется то, о чём делается утверждение. В лингвистике субъекту соответствует подлежащее, а предикату — сказуемое.
Те́рмин — слово или словосочетание, являющееся названием строго определённого понятия какой-нибудь области науки, техники, искусства и так далее.
Поня́тие — отображённое в мышлении единство существенных свойств и связей предметов; мысль, выделяющая и обобщающая предметы (объекты) некоторого класса по общим и в своей совокупности специфическим для них признакам.
Сужде́ние — мысль, в которой утверждается наличие или отсутствие каких-либо положений дел.
Выска́зывание в математической логике — предложение, выражающее суждение. Если суждение, составляющее содержание (смысл) некоторого высказывания, истинно, то и о данном высказывании говорят, что оно истинно. Сходным образом ложным называют такое высказывание, которое является выражением ложного суждения. Истинность и ложность называются логическими, или истинностными, значениями высказываний.
Априо́ри — знание, полученное до опыта и независимо от него, то есть знание, как бы заранее известное. Этот философский термин получил важное значение в теории познания и логике благодаря Иммануилу Канту. Идея знания априори связана с представлением о внутреннем источнике активности мышления. Учение, признающее знание априори, называется априоризмом. Противоположностью априори является апостериори — знание, полученное из опыта.
Христоф фон Зи́гварт — немецкий философ-логик, близкий к неокантианству, психологист; профессор философии в Тюбингене. Сын философа Христофа Вильгельма фон Зигварта.
Мода́льная ло́гика — логика, в которой кроме стандартных логических связок, переменных и предикатов есть модальности.
Дуали́зм — свойство некоторой теории или концепции, согласно которому в ней неразрывно сосуществуют два начала, несводимые друг к другу или даже противоположные.
Уильям Стэнли Джевонс — английский профессор логики, философии и политической экономии. Основатель математической школы в политической экономии, один из основоположников теории предельной полезности.
«Энциклопе́дия филосо́фских нау́к» — третья после «Феноменологии духа» и «Науки логики» крупная работа Гегеля, излагает его систему абсолютного идеализма. Публикации этого произведения предшествовали преподавание «философской энциклопедии» в течение восьми лет старшеклассникам нюрнбергской гимназии, а затем чтение курса «энциклопедии философских наук» зимой 1816—1817 годов в Гейдельбергском университете. Поводом к изданию данного «всеохватывающего обзора философии» явилось стремление автора дать руководство для слушателей его лекций.
Кантиа́нство — система критической философии, разработанная Иммануилом Кантом, а также другие философские системы, возникшие под влиянием его идей.
Классическая логика — логика, системы которой строятся на принципах двузначности (бивалентности) значений ее выражений и формул, взаимозаменяемости (экзистенциальности) выражений и формул, имеющих одинаковые значения, а также допустимости интерпретации нелогических символов, состоящей из требований непустоты области интерпретации и принятия термами значений, только элементов области интерпретации.
Трансцендентальная диалектика — раздел трансцендентальной логики, критикующий притязания рассудка на сверхфизическое применение, которое Кант называет метафизическим фиглярством. Диалектику вообще Кант называет логикой видимости. В случае трансцендентальной диалектики лежит видимое противоречие трансцендентальных идей, которое раскрывается в четырех антиномиях :
- Мир конечен или бесконечен в пространстве и времени
- Существуют или не существуют мельчайшие элементы вещества
- Обладаем или не обладаем мы свободой
- Существует или не существует абсолютно необходимое существо, например, Бог
Дескрипцио́нная логика — язык представления знаний, позволяющий описывать понятия предметной области в недвусмысленном, формализованном виде, организованный по типу языков математической логики. Дескрипционные логики сочетают, с одной стороны, богатые выразительные возможности, а с другой — хорошие вычислительные свойства, такие как разрешимость и относительно невысокая вычислительная сложность основных логических проблем, что делает возможным их применение на практике, обеспечивая компромисс между выразительностью и разрешимостью. Могут быть рассмотрены как разрешимые фрагменты логики предикатов, синтаксически же они близки к модальным логикам.
«Пролего́мены ко всякой будущей метафизике, могущей возникнуть в смысле науки» — работа немецкого философа Иммануила Канта, вышедшая в 1783 г. в Риге в издательстве И. Ф. Харткноха. «Пролегомены…» являются предварительной к теории метафизики работой, в которой Кант раскрывает предмет и задачи метафизики, а также указывает план её создания, реализованный им в «Критике чистого разума».
Силлогистика — теория логического вывода, исследующая умозаключения, состоящие из категорических высказываний (суждений).
Предика́т в логике и лингвистике — сказуемое суждения, то, что высказывается о субъекте. Предикат находится с субъектом в предикативном отношении и показывает наличие (отсутствие) у предмета некоторого признака.
Трансцендентальная аналитика – раздел трансцендентальной логики, разлагающий деятельность рассудка на элементы и показывающий их как принципы всякой логической оценки нашего знания. По словам Канта, чистые рассудочные понятия служат для возможности помышления предмета, в отличие от категорий трансцендентальной эстетики, посредством которых предмет нам даётся. Таким образом, трансцендентальная аналитика предназначена для вычленения априорных понятий, которые являются основными для трансцендентального единства апперцепции. Также важно, что эти понятия должны быть чистыми, а не эмпирическими, чтобы они не принадлежали к созерцанию и чувственности, а только к мышлению и рассудку, чтобы они были первоначальными понятиями и отличались от составленных из них, таким образом вторичных по отношению к ним, понятий, а также чтобы их таблица была полной и охватывала всю сферу чистого рассудка.