Словарь логики

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