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