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