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
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Greg Restall (2005). Logic: An Introduction. Routledge.
David Ellerman (2010). The Logic of Partitions: Introduction to the Dual of the Logic of Subsets. Review of Symbolic Logic 3 (2):287-350.
Vilém Novák (1987). First-Order Fuzzy Logic. Studia Logica 46 (1):87 - 109.
Edward N. Zalta (1993). A Philosophical Conception of Propositional Modal Logic. Philosophical Topics 21 (2):263-281.
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.
G. Aldo Antonelli & Richmond H. Thomason (2002). Representability in Second-Order Propositional Poly-Modal Logic. Journal of Symbolic Logic 67 (3):1039-1054.
Kevin C. Klement, Propositional Logic. Internet Encyclopedia of Philosophy.
Clas Weber (2012). Eternalism and Propositional Multitasking: In Defence of the Operator Argument. Synthese 189 (1):199-219.
Added to index2009-01-28
Total downloads14 ( #122,977 of 1,140,315 )
Recent downloads (6 months)1 ( #140,127 of 1,140,315 )
How can I increase my downloads?