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

(от греч. apodeiktikos — доказательный, убе­дительный) безусловно достоверный, основанный на необходи­мости, неопровержимый. В традиционной логике принято разде­лять суждения по модальности, т. е. по характеру связи между субъектом и предикатом, на три вида: вероятностные — «5, веро­ятно, есть Р», ассерторические «S есть Р» и А. — «S необходимо есть Р».

суждение выражает необходимую связь субъекта и предика­та: «Вокруг проводника, по которому проходит электрический ток, возникает магнитное поле». Если ассерторические суждения используются для конста­тации фактов, то в А. суждениях выражаются законы приро­ды. Различие между первыми и вторыми не может быть усмотрено из самой формы суждений и является не вполне определенным.