David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
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)|
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
J. L. Austin (1975). How to Do Things with Words. Clarendon Press.
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.
John Searle & Daniel Vanderveken (1985). Foundations of Illocutionary Logic. Cambridge University Press.
David Kaplan (1979). On the Logic of Demonstratives. Journal of Philosophical Logic 8 (1):81 - 98.
Citations of this work BETA
No citations found.
Similar books and articles
Kevin C. Klement, Propositional Logic. Internet Encyclopedia of Philosophy.
G. Aldo Antonelli & Richmond H. Thomason (2002). Representability in Second-Order Propositional Poly-Modal Logic. Journal of Symbolic Logic 67 (3):1039-1054.
Jerome Frazee (1988). A New Symbolic Representation of the Basic Truth-Functions of the Propositional Calculus. History and Philosophy of Logic 9 (1):87-91.
Edward N. Zalta (1993). A Philosophical Conception of Propositional Modal Logic. Philosophical Topics 21 (2):263-281.
Vilém Novák (1987). First-Order Fuzzy Logic. Studia Logica 46 (1):87 - 109.
David Ellerman (2010). The Logic of Partitions: Introduction to the Dual of the Logic of Subsets. Review of Symbolic Logic 3 (2):287-350.
Greg Restall (2005). Logic: An Introduction. Routledge.
Clas Weber (2012). Eternalism and Propositional Multitasking: In Defence of the Operator Argument. Synthese 189 (1):199-219.
Added to index2009-01-28
Total downloads16 ( #167,478 of 1,726,249 )
Recent downloads (6 months)2 ( #289,836 of 1,726,249 )
How can I increase my downloads?