A complete minimal logic of the propositional contents of thought

Studia Logica 54 (3):391 - 410 (1995)
Our purpose is to formulate a complete logic of propositions that takes into account the fact that propositions are both senses provided with truth values and contents of conceptual thoughts. In our formalization, propositions are more complex entities than simple functions from possible worlds into truth values. They have a structure of constituents (a content) in addition to truth conditions. The formalization is adequate for the purposes of the logic of speech acts. It imposes a stronger criterion of propositional identity than strict equivalence. Two propositions P and Q are identical if and only if, for any illocutionary force F, it is not possible to perform with success a speech act of the form F(P) without also performing with success a speech act of the form F(Q). Unlike hyperintensional logic, our logic of propositions is compatible with the classical Boolean laws of propositional identity such as the symmetry and the associativity of conjunction and the reduction of double negation.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF01053006
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index
Download options
PhilPapers Archive

Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 15,831
External links
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA
Saul A. Kripke (1963). Semantical Considerations on Modal Logic. Acta Philosophica Fennica 16 (1963):83-94.
Richard Montague (1975). Formal Philosophy. Canadian Journal of Philosophy 4 (3):573-578.
David Kaplan (1979). On the Logic of Demonstratives. Journal of Philosophical Logic 8 (1):81 - 98.

View all 9 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Monthly downloads

Added to index


Total downloads

16 ( #163,725 of 1,724,747 )

Recent downloads (6 months)

2 ( #268,625 of 1,724,747 )

How can I increase my downloads?

My notes
Sign in to use this feature

Start a new thread
There  are no threads in this forum
Nothing in this forum yet.