Advertisement

Journal of Philosophical Logic

, Volume 43, Issue 2–3, pp 549–577 | Cite as

Truth-Maker Semantics for Intuitionistic Logic

Article

Abstract

I propose a new semantics for intuitionistic logic, which is a cross between the construction-oriented semantics of Brouwer-Heyting-Kolmogorov and the condition-oriented semantics of Kripke. The new semantics shows how there might be a common semantical underpinning for intuitionistic and classical logic and how intuitionistic logic might thereby be tied to a realist conception of the relationship between language and the world.

Keywords

Intuitionism Intuitionistic logic Forcing Construction Realism Truthmaker Truthmaking Conditional Realism 

References

  1. 1.
    Ciaredelli, I. (2009). ‘Inquisitive semantics and intermediate logics’, M Sc. Thesis, University of Amsterdam.Google Scholar
  2. 2.
    Fine, K. (2005). Modality and tense: philosophical papers. Oxford: Oxford University Press.CrossRefGoogle Scholar
  3. 3.
    Fine, K. (2013). ‘Constructing the impossible’, to appear in a Festschrift for Dorothy Eddginton. In L. Walters (Ed.), Oxford: Oxford University Press.Google Scholar
  4. 4.
    Jankov, V. A. (1968). ‘Ob ischislenii slabogo zakona iskluchennogo tret’jego’, Izvestija AN. SSSR ser matem, 32.5, 1044–1051.Google Scholar
  5. 5.
    Kreisel, G., & Putnam, H. (1957). Eine unableitbarkeitsbeweismethode fur den intuitionistischen aussagenkalkul. Zeitschrift fur Mathematische Logik and Grundlagen der Mathematik, 3, 74–78.Google Scholar
  6. 6.
    Kripke, S. (1965). ‘Semantical analysis of intuitionistic logic’. In J. Crossley and M. A. E. Dummett (Eds.), [1965], 92–130.Google Scholar
  7. 7.
    Rumfitt, I. (2012). On a neglected path to intuitionism. Topoi, 31(1), 201–209.CrossRefGoogle Scholar
  8. 8.
    Troelstra, A., & van Dalen, D. (1988). ‘Constructivism in mathematics’ (volumes 1 & 2). Amsterdam: North Holland.Google Scholar
  9. 9.
    Van Fraassen, B. (1969). Facts and tautological entailments. Journal of Philosophy, 66, 477–487.CrossRefGoogle Scholar
  10. 10.
    Veldman, W. (1976). An intuitionistic completeness theorem for intuitionistic predicate logic. Journal of Symbolic Logic, 41(1), 159–166.Google Scholar

Copyright information

© Springer Science+Business Media Dordrecht 2013

Authors and Affiliations

  1. 1.Department of PhilosophyNYUNew YorkUSA

Personalised recommendations