Аподиктический
(от греч. apodeiktikos - доказательный, убедительный) безусловно достоверный, основанный на необходимости, неопровержимый. В традиционной логике принято разделять суждения по модальности, т. е. по характеру связи между субъектом и предикатом, на три вида: вероятностные - "5, вероятно, есть Р", ассерторические - "S есть Р" и А. - "S необходимо есть Р". В суждениях первого вида отражаются возможные связи между субъектом и предикатом, напр.: "Илиада" есть, вероятно, продукт коллективного творчества"; ассерторическое суждение утверждает наличие действительно существующей связи между субъектом и предикатом, напр.: "Киев расположен на берегу Днепра"; А. суждение выражает необходимую связь субъекта и предиката: "Вокруг проводника, по которому проходит электрический ток, возникает магнитное поле".
Если ассерторические суждения используются для констатации фактов, то в А. суждениях выражаются законы природы. Различие между первыми и вторыми не может быть усмотрено из самой формы суждений и является не вполне определенным. Необходимость А. суждения должна быть обоснована с помощью теоретического доказательства.