Посылка
Посы́лка, высказывание (формула), из которого делается вывод или умозаключение. Посылкой могут служить высказывания о фактах, принципы, аксиомы, постулаты и пр.

Правило вывода
Пра́вило вы́вода, правило, определяющее переход от посылок к следствиям; более точно — правило, устанавливающее определенного вида соответствие между некоторой совокупностью высказываний (формул),...

Предикат (в логике)
Предика́т (от лат. praedicatum — сказуемое), в узком смысле — то же, что свойство; в широком смысле — отношение, т. е. свойство нескольких предметов. В логике — пропозициональная функция, т. е....

Предметная область
Предме́тная о́бласть, множество всех предметов, свойства которых и отношения между которыми рассматриваются в научной теории. В логике — подразумеваемая область возможных значений предметных...

Принцип двузначности
При́нцип двузначности — принцип классической (двузначной) логики, согласно которому во всех мыслимых случаях вопрос об истинностном значении любого высказывания допускает только два ответа: «истинно»...

Пропозициональная функция
Пропозициона́льная фу́нкция, см. Предикат.

Семенов Алексей Львович
СемЁНОВ Алексей Львович (р. 13 октября 1950, Москва) — российский ученый-математик, действительный член Российской академии наук (2011, член-корреспондент с 2008), Российской академии образования...

Силлогизм
Силлоги́зм (греч. syllogismos), рассуждение, в котором две посылки, связывающие субъекты (подлежащие) и предикаты (сказуемые), объединены общим (средним) термином, обеспечивающим «замыкание» понятий...

Силлогистика
Силлоги́стика (от греч. syllogistikos — выводящий умозаключение), исторически первое, созданное Аристотелем учение о логической дедукции, в котором рассматриваются рассуждения в форме силлогизмов.

Символическая логика
Символи́ческая ло́гика, то же, что математическая логика.

Смысл
Смысл, идеальное содержание, идея, сущность, предназначение, конечная цель (ценность) чего-либо (смысл жизни, смысл истории и т. д.); целостное содержание какого-либо высказывания, несводимое к...

Софизм
Софи́зм (от греч. sophisma — уловка, выдумка, головоломка), мнимое доказательство, в котором обоснованность заключения кажущаяся, порождается чисто субъективным впечатлением, вызванным...

Софистика
Софи́стика (греч. sophistike),

Суждение
Сужде́ние,

Тавтология
Тавтоло́гия (от греч. tauto — то же самое и logos — слово),

Тавтология в логике
Тавтоло́гия в логике — крайний случай логической ошибки «предвосхищение основания» (petitio principii), когда нечто определяется или доказывается тем же самым (idem per idem). В двузначной...

Тезис (утверждение)
Те́зис (греч. — утверждение) — утверждение в изложении теории, основополагающий принцип. В логике тезисом является утверждение, истинность которого требует доказательства. В философии Г. Гегеля тезис...

Термин (понятие)
Те́рмин (от лат. terminus — граница, предел), слово или сочетание слов, обозначающее специальное понятие, употребляемое в науке, технике, искусстве. В современной логике слово «термин» часто...

Тождественная Истинность
Тожде́ственная И́стинность — свойство сложных высказываний быть истинными в силу своей формально-логической структуры и смысла (интерпретации) используемых в них логических операций. Такие...

Тренделенбург Адольф
Тре́нделенбург Адольф (полн. Фридрих Адольф Тренделенбург, Friedrich Adolph Trendelenburg) (30 ноября 1802, Ойтин, Шлезвиг-Гольштейн — 24 января 1872, Берлин) — немецкий ученый-философ, логик,...