Propositional Identity, Truth According to Predication and Strong Implication

With a Predicative Formulation of Modal Logic
  • Daniel Vanderveken
Part of the Logic, Epistemology, and the Unity of Science book series (LEUS, volume 2)


In contemporary philosophy of language, mind and action, propositions are not only Senses of sentences with truth conditions but also contents of conceptual thoughts like illocutionary acts and attitudes that human agents perform and express. It is quite clear that propositions with the same truth conditions are not the senses of the same sentences, just as they are not the contents of the same thoughts. To account for that fact, the logic of propositions according to predication advocates finer criteria of propositional identity than logical equivalence and requires of competent speakers less than perfect rationality. Unlike classical logic it analyzes the structure of constituents of propositions. The logic is predicative in the very general sense that it analyzes the type of propositions by mainly taking into consideration the acts of predication that we make in expressing and understanding them. Predicative logic distinguishes strictly equivalent propositions whose expression requires different acts of predication or whose truth conditions are understood in different ways. It also explicates a new relation of strong implication between propositions much finer than strict implication and important for the analysis of psychological and illocutionary commitments. The main purpose of this work is to present and enrich the logic of propositions according to predication by analyzing elementary propositions that predicate all kinds of attributes (extensional or not) as well as modal propositions according to which it is necessary, possible or contingent that things are so and so. I will first explain how predicative logic analyzes the structure of constituents and truth conditions of propositions expressible in the modal predicate calculus without quantifiers. The ideal object language of my logic is a natural extension of that of the minimal logic of propositions. Next I will define the structure of a model and I will formulate an axiomatic system. At the end I will enumerate important valid laws. The present work on propositional logic is part of my next book Propositions, Truth and Thought which formulates a more general logic of propositions according to predication analyzing also generalization, ramified time, historic modalities as well as action and attitudes.


Truth Condition Atomic Proposition Modus Ponens Elementary Proposition Strict Implication 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Anderson R., Belnap N. & Dunn J.M. (1992). Entailment The Logic of Relevance and Necessity. Princeton University.Google Scholar
  2. Bealer G. (1982). Quality and Concept. Oxford: Clarendon Press.Google Scholar
  3. Belnap N. (1991). “Backwards and Towards in the Modal Logic of Agency” Philosophy and Phenomenological Research 51.Google Scholar
  4. Carnap R. (1956). Meaning and Necessity. University of Chicago Press.Google Scholar
  5. Cherniak C. (1986). Minimal Rationality. Bradford Books.Google Scholar
  6. Couturat L. (1903). Opuscules et fragments inédits de Leibnitz, extraits des manuscrits de la bibliothèque royale de Hanovre. Paris.Google Scholar
  7. Cresswell M. J. (1975). “Hyperintensional Logic”, Studia Logica 34:25–38.Google Scholar
  8. Fine K. (1986). “Analytic Implication”, in Notre Dame Journal of Formal Logic 27:2.Google Scholar
  9. Hintikka J. (1962). Knowledge and Belief. Cornell University Press.Google Scholar
  10. Kaplan D. (1970). “How to Russell a Frege-Church”, The Journal of Philosophical Logic 8:1, 716–29.Google Scholar
  11. Kripke S. (1963). “Semantical Considerations on Modal Logic”, in Acta Philosophica Fennica 16.Google Scholar
  12. ____ (1975) “Speaker Reference and Semantic Reference” in P.A. French et al (eds) Contemporary Perspectives in the Philosophy of Language. University of Minnesota Press.Google Scholar
  13. ____ (1980) Naming and Necessity. Harvard University Press.Google Scholar
  14. Lewis C. I. (1918). A Survey of Symbolic Logic. University of California Press.Google Scholar
  15. Marcus R. Barcan (1993). Modalities. Oxford University Press.Google Scholar
  16. Montague R. (1974). Formal Philosophy. Yale University Press.Google Scholar
  17. Nowak M. & Vanderveken D. (1996). “The Minimal Logic of Propositional Contents of Thought: a Completeness Theorem”, Studia Logica 54, 391–410.Google Scholar
  18. Parry W.T. (1972). “Comparison of Entailment Theories”, The Journal of Symbolic Logic 37.Google Scholar
  19. Rodriguez Marqueze J. (1993). “On the Logical Form of Propositions: Some Problems for Vanderveken’s New Theory of Propositions” in Philosophical Issues 3.Google Scholar
  20. Searle J.R. & Vanderveken D. (1985). Foundations of Illocutionary Logic. Cambridge Univ. Press.Google Scholar
  21. Strawson P.F. (1959). Individuals. Methuen.Google Scholar
  22. ____ (1974). Subject and Predicate in Logic and Grammar. Methuen.Google Scholar
  23. Vanderveken D. (1990–1). Meaning and Speech Acts, Volume I: Principles of Language Use and Volume II: Formal Semantics of Success and Satisfaction. Cambridge University Press.Google Scholar
  24. ____ (1995). “A New Formulation of the Logic of Propositions”, in M. Marion & R. Cohen (eds), Québec Studies in the Philosophy of Science 1, Logic, Mathematics and Physics. Boston Studies in the Philosophy of Science, Kluwer, 95–105.Google Scholar
  25. ____ (2001). “Universal Grammar and Speech Act Theory” in D. Vanderveken & S. Kubo (eds), Essays in Speech Act Theory. Benjamins, P&b ns 77, 25–62.Google Scholar
  26. ____ (2002). “Attempt, Success and Action Generation” in the special issue on Mental Causation of Manuscrito XXV:1.Google Scholar
  27. ____ (2003). “Formal Ontology, Propositional Identity and Truth According to Predication With an Application of the Theory of Types to the Logic of Modal and Temporal Proposition” in Cahiers d’épistémologie 2003:03. Université du Québec à Montréal. 29 pages. www.philo.uqam.caGoogle Scholar
  28. ____ (2003). “Attempt and Action Generation Towards the Foundations of the Logic of Action” in Cahiers d’épistémologie 2003:02. Université du Québec à Montréal. 43 pages. www.philo.uqam.caGoogle Scholar
  29. ____ (2004). “Attempt, Success and Action Generation A Logical Study of Intentional Action”. Chapter 15 of the present Volume. — (2004). “Success, Satisfaction and Truth in the Logic of Speech Acts and Formal Semantics”, in S. Davis & B. Gillan (eds) A Reader in Semantics, 710–734 Oxford. University Press, in press.Google Scholar
  30. ____ Propositions, Truth and Thought New Foundations for Philosophical Logic, forthcoming.Google Scholar
  31. Whitehead A. & Russell B. (1910). Principia Mathematica. Cambridge University Press.Google Scholar
  32. Wittgenstein L. (1961). Tractatus logico-philosophicus. Routledge.Google Scholar

Copyright information

© Springer 2005

Authors and Affiliations

  • Daniel Vanderveken
    • 1
  1. 1.Université du QuébecTrois-Rivières

Personalised recommendations