Abstract
It is fitting to begin this book on intuitionistic type theory by putting the subject matter into perspective. The purpose of this chapter is to relate intuitionistic type theory to the old dream of a lingua characteristica. The line of thought which leads to the lingua characteristica can be briefly summarized as follows. Man thinks about thing and expresses his thoughts in word: this leads to the threefold correspondence discussed in the first section. Based on this correspondence, the acts of the mind, or the thoughts themselves, are analysed and divided in the second section. The third section treats of a theory of meaning according to which the complex is understood by synthesizing, as it were, the meanings of its parts. The fourth and last section of this chapter gives an account of the history of the lingua characteristica.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Bibliography
Diogenes, L. Lives of Eminent Philosophers. Trans. by R. D. Hicks. 1 & 2 vols. Loeb Classical Library. Harvard University Press, 1925.
Cicero, M. T. De Fato. Trans. by H. Rackham. Loeb Classical Library. Harvard University Press, 1942.
— Perihermenias. Trans. by H. P. Cooke. Loeb classical library 325. Harvard University Press, 1938, pp. 111–179.
Cajetan, T. Commentaria in Praedicamenta Aristotelis. Rome: Angelicum, 1939.
Wittgenstein, L. Tractatus Logico-Philosophicus. Trans. by C. K. Ogden and F. P. Ramsey. London: Routledge & Kegan Paul, 1922.
— Formal Logic. London: Taylor and Walton, 1847.
Maritain, J. The Degrees of Knowledge. Trans. by R. McInerny. Notre Dame, Indiana: University of Notre Dame Press, 1995.
— ‘On the Algebra of Logic : a contribution to the philosophy of notation’. In: Amer. J. Math. 7.2 (1885), pp. 180–202.
Arnauld, A. The art of thinking. Trans. by J. Dickoff and P. James. New York: Bobbs-Merrill, 1964.
Augustine, A. De Dialectica. Ed. by J. Pinborg. Trans. by B. D. Jackson. Synthese Historical Library. Springer, 1975.
— Logische Untersuchungen. 5th ed. Vol. 2. TĂ¼bingen: M. Niemeyer, 1968.
Gredt, I. Elementa Philosophiae Aristotelico-Thomisticae. 4th ed. Vol. 1. Freiburg: Herder & Co., 1925.
Locke, J. An Essay Concerning Humane Understanding. 2nd ed. London: Thomas Basset, 1694.
— ‘In Peri Hermeneias’. In: In Aristotelis Libros Peri Hermeneias et Posteriorum Analyticorum Expositio. 2nd ed. Marietti, 1964.
Bolzano, B. Wissenschaftslehre. Sulzbach: Seidel, 1837.
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.
Husserl, E. Logische Untersuchungen. 3rd ed. Vol. 1. Halle: M. Niemeyer, 1922.
Mill, J. S. A System of Logic. New York: Harper & Brothers, 1846.
Katz, J. J. and J. A. Fodor. ‘The Structure of a Semantic Theory’. In: Language 39.2 (1963), pp. 170–210.
Ranta, A. Type-Theoretical Grammar. Oxford: Clarendon, 1995.
— Metaphysics. Trans. by H. Tredennick. Loeb Classical Library 271 & 287. Harvard University Press, 1933 & 1935.
Turner, W. ‘Raymond Lully’. In: The Catholic Encyclopedia. Ed. by C. G. Herbermann et al. Vol. 12. New York: Robert Appleton Company, 1911.
Vieta, F. Artem Analyticam Isagoge seu Algebra Nova. 2nd ed. Leiden: David Lopes, 1635.
Wilkins, J. An Essay Toward a Real Character and a Philosophical Language. London: Gellibrand & Martyn, 1668.
Leibniz, G. W. Dissertatio de Arte Combinatoria. Leipzig: Fick & Seubold, 1666.
— Philosophical Papers and Letters. Ed. by L. E. Loemker. Dordrecht: Reidel, 1969.
LeÅ›niewski, S. ‘GrundzĂ¼ge eines neuen Systems der Grundlagen der Mathematik’. In: Fundamenta Mathematicae 14 (1929), pp. 1–81.
— Intuitionistic Type Theory. Studies in Proof Theory. Napoli: Bibliopolis, 1984.
Ifrah, G. Räknekonstens kulturhistoria. Trans. by B. Ellenberger. Vol. 2. Original in French : Histoire universelle des chiffres. Wahlström & Widstrand, 2002.
—. ‘Projet et Essais pour arriver Ă quelque certitude pour finir une bonne partie des disputes et pour avancer l’art d’inventer’. In: Opuscules et Fragments InĂ©dits de Leibniz. Ed. by L. Couturat. Paris: F. Alcan, 1903, pp. 175–182.
Aristotle. Politics. Trans. by H. Rackham. Loeb Classical Library 264. Harvard University Press, 1932.
— ‘A bibliography of symbolic logic’. In: J. Symb. Log. 1 (1936), pp. 121–218.
— Paradoxes of the Infinite. Trans. by D. A. Steele. London: Routledge, 1950.
Perlis, A. J. ‘Epigrams on Programming’. In: SIGPLAN Notices 17.9 (1982), pp. 7–13.
Iverson, K. E. A Programming Language. Hoboken: John Wiley & Sons, 1962.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2011 Springer Science+Business Media B.V.
About this chapter
Cite this chapter
Granström, J.G. (2011). Prolegomena. 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_1
Download citation
DOI: https://doi.org/10.1007/978-94-007-1736-7_1
Published:
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-007-1735-0
Online ISBN: 978-94-007-1736-7
eBook Packages: Humanities, Social Sciences and LawPhilosophy and Religion (R0)