An epistemic constructive definition of information

The present paper formulates an Epistemic Constructive Definition of Information (ECDI), based on the rejection of the alethic nature ascribed to declarative objective semantic information (DOS). ECDI reformulates the principles holding for the non-alethic Standard Definition of Information (SDI), it is based on the Verificationist Principle of Truth and it refers to the typical constructive distinction between judgemental act and propositional content. The resulting framework defines two distinct and complementary epistemic acts: justifications and conditions of knowledge. Finally, the concept of information is formally presented within the syntactic-semantic method of Constructive Type Theory (CTT).