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

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

В суждениях первого вида отражаются возможные связи между субъектом и предикатом, напр.: «Илиада» есть, вероятно, продукт коллективного творчества»; ассерторическое суждение ут­верждает наличие действительно существующей связи между субъектом и предикатом, напр.: «Киев расположен на берегу Днеп­ра»; А.

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

Необходимость А. суждения должна быть обоснована с помощью теоретического доказательства. .