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)|
References found in this work BETA
Semantical Considerations on Modal Logic.Saul A. Kripke - 1963 - Acta Philosophica Fennica 16 (1963):83-94.
Foundations of Illocutionary Logic.John Searle & Daniel Vanderveken - 1985 - Cambridge University Press.
Citations of this work BETA
No citations found.
Similar books and articles
The Logic of Partitions: Introduction to the Dual of the Logic of Subsets.David Ellerman - 2010 - Review of Symbolic Logic 3 (2):287-350.
A Philosophical Conception of Propositional Modal Logic.Edward N. Zalta - 1993 - Philosophical Topics 21 (2):263-281.
A New Symbolic Representation of the Basic Truth-Functions of the Propositional Calculus.Jerome Frazee - 1988 - History and Philosophy of Logic 9 (1):87-91.
Representability in Second-Order Propositional Poly-Modal Logic.G. Aldo Antonelli & Richmond H. Thomason - 2002 - Journal of Symbolic Logic 67 (3):1039-1054.
Eternalism and Propositional Multitasking: In Defence of the Operator Argument.Clas Weber - 2012 - Synthese 189 (1):199-219.
Added to index2009-01-28
Total downloads28 ( #181,018 of 2,158,821 )
Recent downloads (6 months)1 ( #354,157 of 2,158,821 )
How can I increase my downloads?