A complete minimal logic of the propositional contents of thought (Q1893127)

The aim of the paper is to formulate a logic that takes into account not only the property of propositions of having a truth value, but also the property of having a content. Syntactically this is done by the introduction of special properties of propositions (creating thereby the elementary sentences of the calculus): of propositions one may say that they are true, or tautological; and a pair of propositions may be such that the content of the latter is included in the content of the former. Semantically, content (or meaning) inclusion is realized by claiming conditions on the occurrence of atomic propositions, and the semantic value of a sentence is a pair consisting of a set of propositional constituents and classical truth conditions. The logic is axiomatized and its completeness is proven in the paper.