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