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