Тео́рия — учение, система научного знания, описывающая и объясняющая некоторую совокупность явлений и сводящая открытые в данной области закономерные связи к единому объединяющему началу.
Софи́зм — формально кажущееся правильным, но ложное по существу умозаключение, основанное на преднамеренно неправильном подборе исходных положений.
Мышле́ние — психический процесс, высшая ступень человеческого познания относительно себя и окружающего мира; Мышление является функцией головного мозга. Мышление — ментальный процесс, неразрывно связанный с использованием внутренней речи. Он включает в себя как и сознательные процессы, так и иррациональную корневину. Однако в психологии и медицине существуют и другие определения.
Простой категорический силлоги́зм — дедуктивное умозаключение, состоящее из трёх простых атрибутивных высказываний: двух посылок и одного заключения. Посылки силлогизма разделяются на бо́льшую и меньшую. По положению среднего термина силлогизмы делятся на фигуры, а последние по логической форме посылок и заключения — на модусы.
Зна́ние — осведомлённость или понимание чего-либо, что можно логически или фактически обосновать и практически проверить опытом. Согласно распространённой трактовке современной эпистемологии, знание — это реальное положение дел, обоснованное фактами и рациональными аргументами убеждение человека. Говоря о знании, чаще всего подразумевают отражение действительности в сознании человека.
Ло́гика (др.-греч. λογική — «наука о правильном мышлении»; «способность к рассуждению»; от λόγος «учение, наука») — философская дисциплина и нормативная наука о законах, формах и приёмах интеллектуальной деятельности.
Поня́тие — отображённое в мышлении единство существенных свойств и связей предметов; мысль, выделяющая и обобщающая предметы (объекты) некоторого класса по общим и в своей совокупности специфическим для них признакам.
Традукция — вид опосредованного умозаключения, в котором посылки и вывод являются суждениями одинаковой степени общности. Традуктивным умозаключением является аналогия. По характеру посылок и вывода традукция может быть трех типов:
- заключение от единичного к единичному,
- заключение от частного к частному,
- заключение от общего к общему.
Инду́кция — умозаключение от фактов к некоторой гипотезе. Различают полную индукцию, когда обобщение относится к конечно-обозримой области фактов, и неполную индукцию, когда оно относится к бесконечно или конечно-необозримой области фактов.
Деду́кция — вывод по правилам логики; цепь умозаключений (рассуждение), звенья которой (высказывания) связаны отношением логического следования. В дедукции вывод строится от общих положений к частным случаям. Началом (посылками) дедукции являются аксиомы, постулаты или просто гипотезы, имеющие характер общих утверждений (общее), а концом — следствия из посылок, теоремы (частное). Если посылки дедукции истинны, то истинны и её следствия. Дедукция — основное средство доказательства.
Дхармаки́рти — индийский философ VII века, буддийский монах, принадлежащий школе Йогачары, основатель индийской буддийской логики, развивший идеи Дигнаги.
Мышле́ние — познавательная деятельность человека. Она является опосредованным и обобщённым способом отражения действительности с точки зрения марксизма.
Умозаключение — одна из форм мышления, с помощью которого из одного или нескольких суждений строится новое суждение. С точки зрения логики высказываний, умозаключение — это шаг логического вывода, непосредственное выведение высказывания-заключения из одного или более высказываний («посылок»), простейшее рассуждение.
Анало́гия — подобие, равенство отношений; сходство предметов, явлений, процессов, величин и т. п. в каких-либо свойствах, а также познание путём сравнения, например:
Паралоги́зм — случайная, неосознанная или непреднамеренная логическая ошибка в мышлении, возникающая при нарушении законов или правил логики и приводящая к ошибочному выводу (заключению).
Трансцендентальная диалектика — раздел трансцендентальной логики, критикующий притязания рассудка на сверхфизическое применение, которое Кант называет метафизическим фиглярством. Диалектику вообще Кант называет логикой видимости. В случае трансцендентальной диалектики лежит видимое противоречие трансцендентальных идей, которое раскрывается в четырех антиномиях :
- Мир конечен или бесконечен в пространстве и времени
- Существуют или не существуют мельчайшие элементы вещества
- Обладаем или не обладаем мы свободой
- Существует или не существует абсолютно необходимое существо, например, Бог
Логическая ошибка в логике, философии и прочих науках, изучающих познание — ошибка, связанная с нарушением логической правильности умозаключений. Ошибочность обусловлена каким-либо логическим недочётом в доказательстве, что делает доказательство в целом неверным.
Сравнение в ряде социальных наук и в философии — 1) научно-философский метод, направленный на способ познания единичного, особенного и всеобщего; играет роль в познании движения и изменения вещей, а также в раскрытии причин отдельных явлений; является способом классификации и систематизации предметов и явлений, необходимой составляющей любого умозаключения, одним из средств доказательства 2) предмет исследования конкретных дисциплин. Так, в логике, сравнение — это установление сходства и различий объектов и явлений действительности. В лингвистике, сравнение (компаративность) — это, факт языка — в большинстве случаев — синтаксическая или стилистическая категория, а в более общем смысле — определённое, сформированное в конкретной культуре языковое средство, в котором отразились, в ходе исторического развития, некоторые результаты познавательной деятельности людей. В психологии, сравнение - это одна из ключевых операций осуществляемых человеком при познании окружающего мира, себя самого и других людей, а также в ситуациях решения разнообразных, в частности, когнитивно-коммуникативных задач, находящаяся в зависимости от условий (контекста), в котором она совершается, которая не может быть понята, вне единство процесса, в ходе которого она осуществляется, результата, к которому приводит и субъекта, который её осуществляет.
Вероятностная логика — логика, в которой высказываниям приписываются не исключительно значения истины и лжи как в двузначной логике, а непрерывная шкала значений истинности от 0 до 1, так, что ноль соответствует невозможному событию, единица — практически достоверному. Значения истинности в вероятностной логике называются вероятностями истинности высказываний, степенями правдоподобия или подтверждения.
Еду́кция — шестой основной тип умозаключений в предложенной логиком Рутковским Л. В. классификации умозалючений. Едуктивными умозаключениями он называет те случаи логических выводов, где на основании одного доказанного о предмете определения приписывается ему другое, уже заключающееся более или менее скрытым образом в первом.