Философский словарь - аподиктический

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

В дальнейшем в традиционной логике все суждения были разделены по модальности, т.е. характеру связи между субъектом и предикатом, на три вида: вероятностные ("S, вероятно, есть Р"), ассерторические ("S есть Р") и A. ("S необходимо есть Р"). Последние выражают необходимую связь субъекта и предиката, причем необходимость истолковывалась как физическая (онтологическая), а не логическая. Ассерторические суждения используются для констатации фактов, А. суждения выражают законы природы (напр., "Всякий металлический стержень при нагревании удлиняется"). В современной модальной логике термин "А." не употребляется. .