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