Abstract
Abstract
Can conjunctive propositions be identical without their conjuncts being identical? Can universally quantified propositions be identical without their instances being identical? On a common conception of propositions, on which they inherit the logical structure of the sentences which express them, the answer is negative both times. Here, it will be shown that such a negative answer to both questions is inconsistent, assuming a standard type-theoretic formalization of theorizing about propositions. The result is not specific to conjunction and universal quantification, but applies to any binary operator and propositional quantifier. It is also shown that the result essentially arises out of giving a negative answer to both questions, as each negative answer is consistent by itself.
Publisher
Cambridge University Press (CUP)
Subject
Logic,Philosophy,Mathematics (miscellaneous)
Reference16 articles.
1. To Be is to be a Value of a Variable (or to be Some Values of Some Variables)
2. Prior on propositional identity
3. Russell’s theory of identity of propositions;Church;Philosophia Naturalis,1984
4. Problems arising in the formalization of intensional logic;Myhill;Logique et Analyse,1958
5. Converse Relations
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Grounding Generalizations;Journal of Philosophical Logic;2022-11-22