Skip to main content
SpringerLink
Log in

Truth and Knowledge

  • Chapter
  • First Online:
Treatise on Intuitionistic Type Theory

Part of the book series: Logic, Epistemology, and the Unity of Science ((LEUS,volume 22))

  • 933 Accesses

Abstract

The threefold correspondence between things , thoughts , and words , discussed in the previous chapter, will now be investigated in further detail, with particular emphasis on mathematical entities; this investigation constitutes the first section of this chapter. In the next two sections, I attempt to show that common sense realism is not in conflict with intuitionistic type theory even though the latter primafacie seems to be a conceptualist framework. The judgement , and its syntactic counterpart assertion , are investigated in the fourth section. The fifth section treats of reasoning and the sixth section introduces the intuitionistic notion of proposition . In the seventh section, the laws of propositional logic are justified under the intuitionistic notion of proposition. The eighth section treats of schematic letters and variables. The ninth and last section treats of definitions.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 119.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 159.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 159.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  • Husserl, E. Logische Untersuchungen. 3rd ed. Vol. 1. Halle: M. Niemeyer, 1922.

    Google Scholar 

  • Aquinas, St. T. ‘Summa Theologiae’. In: Opera omnia. Iussu impensaque Leonis XIII P. M. edita. Vols. 4–12. Rome: Ex typographia polyglotta S. congregationis de propaganda fide, 1888–1906.

    Google Scholar 

  • — Analytica priora. Trans. by H. Tredennick. Loeb classical library 325. Harvard University Press, 1938, pp. 181–531.

    Google Scholar 

  • Boëthius, S. ‘De syllogismo categorico’. In: Patrologiae cursus completus. Series Latina. Ed. by J.-P. Migne. Vol. 64. 793C–832A. Paris: Garnier, 1847.

    Google Scholar 

  • Buridan, J. Summulae de Dialectica. Trans. by G. Klima. Yale University Press, 2001.

    Google Scholar 

  • Gredt, I. Elementa Philosophiae Aristotelico-Thomisticae. 4th ed. Vol. 1. Freiburg: Herder & Co., 1925.

    Google Scholar 

  • Martin-Löf, P. Intuitionistic Type Theory. Studies in Proof Theory. Napoli: Bibliopolis, 1984.

    Google Scholar 

  • Maritain, J. The Degrees of Knowledge. Trans. by R. McInerny. Notre Dame, Indiana: University of Notre Dame Press, 1995.

    Google Scholar 

  • Poinsot, J. The Material Logic of John of St. Thomas. Basic Treatises. Trans. by Y. R. Simon, J. J. Glanville and G. D. Hollenhorst. Chicago: The University of Chicago Press, 1955.

    Google Scholar 

  • — Logische Untersuchungen. 5th ed. Vol. 2. Tübingen: M. Niemeyer, 1968.

    Google Scholar 

  • — Metaphysics. Trans. by H. Tredennick. Loeb Classical Library 271 & 287. Harvard University Press, 1933 & 1935.

    Google Scholar 

  • — In duodecim libros Metaphysicorum Aristotelis expositio. Ed. by M.-R. Cathala and R. M. Spiazzi. Turin: Marietti, 1950.

    Google Scholar 

  • — ‘De ente et essentia’. In: Opera omnia. Iussu impensaque Leonis XIII P. M. edita. Vol. 43. Rome: Editori di San Tommaso, 1976, pp. 315–381.

    Google Scholar 

  • Maddy, P. ‘Mathematical existence’. In: Bull. Symb. Log. 11.3 (2005), pp. 351–376.

    Article  Google Scholar 

  • — ‘De Veritate’. In: Quaestiones Disputatae. Ed. by R. Spiazzi. Vol. 1. Turin-Rome: Marietti, 1953.

    Google Scholar 

  • Coffey, P. The Science of Logic. 2nd ed. Vol. 1. New York: Peter Smith, 1938.

    Google Scholar 

  • — ‘Mathematische Existenz und Widerspruchsfreiheit’. In: Etudes de Philosophie des sciences en hommage à Ferdinand Gonseth. Neuchatel: Griffon, 1950, pp. 11–25.

    Google Scholar 

  • — ‘On the infinite’. In: From Frege to Gödel. A source book in mathematical logic, 1879–1931. Ed. by J. van Heijenoort. Cambridge Mass.: Harvard University Press, 1967, pp. 367–392.

    Google Scholar 

  • Cajori, F. A History of Mathematics. New York: Macmillan, 1919.

    Google Scholar 

  • Diogenes, L. Lives of Eminent Philosophers. Trans. by R. D. Hicks. 1 & 2 vols. Loeb Classical Library. Harvard University Press, 1925.

    Google Scholar 

  • — Perihermenias. Trans. by H. P. Cooke. Loeb classical library 325. Harvard University Press, 1938, pp. 111–179.

    Google Scholar 

  • — ‘In Peri Hermeneias’. In: In Aristotelis Libros Peri Hermeneias et Posteriorum Analyticorum Expositio. 2nd ed. Marietti, 1964.

    Google Scholar 

  • Searle, J. R. Expression and Meaning. Cambridge: Cambridge University Press, 1979.

    Google Scholar 

  • — ‘The Theory of Implication’. In: Amer. J. Math. 28.2 (1906), pp. 159–202.

    Google Scholar 

  • Hare, R. ‘Meaning and Speech Acts’. In: The Philosophical Review 79.1 (1970),pp. 3–24.

    Article  Google Scholar 

  • — ‘On the meanings of the logical constants and the justifications of the logical laws’. In: Nordic Journal of Philosophical Logic 1.1 (1996), pp. 11–60.

    Google Scholar 

  • Moore, G. E. ‘The nature of judgement’. In: Mind 8.30 (1899), pp. 176–193.

    Google Scholar 

  • — ‘A Path from Logic to Metaphysics’. In: Atti del Congresso Nuovi Problemi della Logica e della Filosofia Scienza, Viareggio, 1990. Vol. 2. Bologna: Clueb, 1991, pp. 141–149.

    Google Scholar 

  • — ‘Inference versus Consequence’. In: The LOGICA Yearbook 1997. Ed. by T. Childers. Filosofia Publishers, 1998, pp. 26–35.

    Google Scholar 

  • — A History of Mathematical Notations. Vol. 1. Illinois: Open Court, 1928.

    Google Scholar 

  • — Analytica posteriora. Trans. by H. Tredennick. Loeb classical library 391. Harvard University Press, 1960, pp. 1–261.

    Google Scholar 

  • — ‘In Posteriorum Analyticorum’. In: In Aristotelis Libros Peri Hermeneias et Posteriorum Analyticorum Expositio. 2nd ed. Marietti, 1964.

    Google Scholar 

  • — Logic Matters. Oxford: Blackwell, 1972.

    Google Scholar 

  • Boole, G. ‘The Calculus of Logic’. In: Cambridge and Dublin Math. J. 3 (1848), pp. 183–198.

    Google Scholar 

  • Geach, P. T. ‘The law of excluded middle’. In: Supp. Proc. Arist. Soc. 30 (1956), pp. 59–90.

    Google Scholar 

  • — ‘The Unreliability of the Logical Principles’. In: Collected Works. Philosophy and Foundations of Mathematics. Ed. by A. Heyting. Vol. 1. Amsterdam: North Holland, 1975 (original from 1908), pp. 107–111.

    Google Scholar 

  • Virgil. Georgics. Trans. by H. R. Fairclough. 2nd ed. Loeb Classical Library. Harvard University Press, 1999.

    Google Scholar 

  • Bacon, F. Novum Organum. London: J. Billius, 1620.

    Google Scholar 

  • — ‘Monadologia. Principia Philosophiæ’. In: Acta Eruditorum (1714).

    Google Scholar 

  • Di Bella, S. ‘Causa Sive Ratio. Univocity of Reason and Plurality of Causes in Leibniz’. In: Leibniz : What Kind of Rationalist ? Vol. 13. Logic, Epistemology, and the Unity of Science. Springer, 2008. Chap. 32.

    Google Scholar 

  • Sundholm, G. ‘Existence, Proof, and Truth-Making : A Perspective on the Intuitionistic Conception of Truth’. In: Topoi 13 (1994), pp. 117–126.

    Article  Google Scholar 

  • — ed. From Brouwer to Hilbert. New York: Oxford University Press, 1998.

    Google Scholar 

  • Bishop, E. and D. Bridges. Constructive Analysis. Springer, 1985.

    Google Scholar 

  • — ‘Analytic and synthetic judgements in type theory’. In: Kant and Contemporary Epistemology. Ed. by P. Parrini. Kluwer, 1994, pp. 87–99.

    Google Scholar 

  • Peano, G. Arithmetices Principia Nova Methodo Exposita. Turin: Fratelli Bocca, 1889.

    Google Scholar 

  • — ‘Identity’. In: Review of Metaphysics 21.1 (1967), pp. 3–12.

    Google Scholar 

  • — ‘De hypotheticis syllogismis’. In: Logicalia. Ed. by L. Obertello. Vol. 1. Parma: Brescia, 1968.

    Google Scholar 

  • Carroll, L. ‘What the Tortoise said to Achilles’. In: Mind 4.14 (1895), pp. 278– 280.

    Article  Google Scholar 

  • Gentzen, G. ‘Untersuchungen über das logische Schließen I & II’. In: Math.Zeit. 39 (1935), pp. 176–210 & 405–431.

    Article  Google Scholar 

  • Kneale,W. and M. Kneale. The Development of Logic. Oxford University Press, 1962.

    Google Scholar 

  • — ‘Mathematical Logic as Based on the Theory of Types’. In: Amer. J. Math. 30.3 (1908), pp. 222–262.

    Google Scholar 

  • Goodstein, R. L. ‘Function Theory in an Axiom-Free Equation Calculus’. In: Proc. London Math. Soc. Ser. 2 48 (1945), pp. 401–434.

    Article  Google Scholar 

  • — Mathematische Schriften. Vol. 5. Hildesheim: Georg Olms Verlag, 1971.

    Google Scholar 

  • — ‘Formal Reductions of the General Combinatorial Decision Problem’. In: Amer. J. Math. 65 (1943), pp. 197–215.

    Google Scholar 

  • — Methods of Logic. 4th ed. Cambridge: Harvard University Press, 1982.

    Google Scholar 

  • Magnusson, L. ‘The Implementation of ALF — A Proof Editor based on Martin-Löf’s Monomorphic Type Theory with Explicit Substitution’. PhD thesis. Chalmers University of Technology, 1995.

    Google Scholar 

  • Sato, M. et al. ‘Calculi of Meta-variables’. In: Lect. Notes Comput. Sc. 2803 (2003), pp. 484–497.

    Article  Google Scholar 

  • Moreau, L. ‘A Syntactic Theory of Dynamic Binding’. In: J. Higher-Order Sym. Comput. 11.3 (1998), pp. 233–279.

    Article  Google Scholar 

  • Schütte, K. Beweistheorie. Berlin: Springer, 1960.

    Google Scholar 

  • Diophantus. Opera Omnia, cum Graecis Commentariis. Arithmeticorum Liber Sex et de Polygonis Numeris Liber. Ed. by P. Tannery. Lipzig: B. G. Teubner, 1893.

    Google Scholar 

  • Vieta, F. Artem Analyticam Isagoge seu Algebra Nova. 2nd ed. Leiden: David Lopes, 1635.

    Google Scholar 

  • Descartes, R. Discours de la Méthode. Leiden: J. Maire, 1637.

    Google Scholar 

  • Kline, M. Mathematical Thought from Ancient to Modern Times. Vol. 1. Oxford University Press, 1972.

    Google Scholar 

  • — ‘Function and Concept’. In: Translations from the Philosophical Writings of Gottlob Frege. Trans. by P. T. Geach. Oxford: B. Blackwell, 1960, pp. 21– 41.

    Google Scholar 

  • — Foundations of Mathematical Logic. 2nd ed. Dover, 1977.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Seestrasse 49, CH-8810, Horgen, Switzerland

    Johan Georg Granström

Authors
  1. Johan Georg Granström
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Johan Georg Granström .

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer Science+Business Media B.V.

About this chapter

Cite this chapter

Granström, J.G. (2011). Truth and Knowledge. In: Treatise on Intuitionistic Type Theory. Logic, Epistemology, and the Unity of Science, vol 22. Springer, Dordrecht. https://doi.org/10.1007/978-94-007-1736-7_2

Download citation

Publish with us

Policies and ethics

Search

Navigation