Proceeding in abstraction. From concepts to types and the recent perspective on information

History and Philosophy of Logic

Volumn 30, Issue 3, 2009, Pages 257-282

  Primiero, Giuseppe ^a,b,c  

^a GHENT UNIVERSITY   (Belgium)

^b UNIVERSITY OF OXFORD   (United Kingdom)

^c UNIVERSITY OF HERTFORDSHIRE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 68149099445     PISSN: 01445340     EISSN: 14645149     Source Type: Journal    
DOI: 10.1080/01445340902872630     Document Type: Article

References (49)

1. Aaron, R.I. 1953. The Theory of Universals, Oxford: Clarendon Press.
2. Aristotle. Works. The Loeb Classical Library, vols. I, II, IV, XVII, XVIII, Cambridge: Harvard University Press. 1980-1997.
3. Bacon, J. 1995. Universals and Property Instances. The Alphabet of Being, Cambridge MA: Blackwell.
4. Barendregt, H.P. 1984. The Lambda Calculus. Its Syntax and Semantics. Studies in Logic and the Foundations of Mathematics, Amsterdam: North Holland.
5. Barendregt, H.P. 1993. 'Lambda calculi with types', in S. Abramsky, D.M. Gabbay and T.S.E. Maibaum, eds., Handbook of Logic in Computer Science, Vol. II. Oxford: Oxford University Press. pp. 117-309.
6. Bealer, G. 1982. Quality and Concept, Oxford: Clarendon Press.
7. Berardi, S. 1990. 'Type Dependence and Constructive Mathematics', PhD Thesis, Department of Informatics, University of Torino.
8. Brower, J.E. and Guilfoy, K. eds. 2004. Cambridge Companion on Abelard, Cambridge: Cambridge University Press.
9. Campbell, K. 1990. Abstract Particulars, Oxford: Blackwell.
10. Cardelli, L. and Wegner, P. 1985. 'On understanding types, data abstraction and polymorphism', Computing Surveys, 17, 471-522.
11. Colburn, T. and Shute, G. 2007. 'Abstraction in computer science', Minds & Machines, 17, 169-184.
12. Coquand, T. 1995. 'A new paradox in type theory', in Proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Studies in Logic and the Foundations of Mathematics, Vol. 134, D. Prawitz, B. Skyrms, and D. Westerstål, eds., Amsterdam: North-Holland, pp. 555-570.
13. Church, A. 1940. 'A formulation of the simple theory of types', The Journal of Symbolic Logic, 5, 56-68.
14. Curry, H.B. 1934. 'Functionality in combinatory logic', Proceedings of the National Academy of Science USA, 20, 584-590.
15. Dutilh Novaes, C. 2007. Formalizing Medieval Logical Theories, Logic, Epistemology and the Unity of Sciences Series, Vol. 7, Berlin, New York: Springer.
16. Fine, K. 2008. The Limits of Abstraction, Oxford: Oxford University Press.
17. Floridi, L. 2008. 'The method of levels of abstraction', Minds & Machines, 18, 303-329.
18. Frege, G. 1879. Begriffsschrift, eine der arithmetischen nachgebildeten Formelsprache des reinen Denkens, Halle: Louis Nebert. Translated as Concept Script, a formal language of pure thought modelled upon that of arithmetic, by S. Bauer-Mengelberg in J. van Heijenoort, ed., From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931, 1967, Cambridge, MA: Harvard University Press, pp.1-82.
19. Frege, G. 1891. 'Funktion und Begriff', lecture at Jenaischen Gesellschaft für Medizin und Naturwissenschaft, Jena: Hermann Pohle. Reprinted in M. Textor, ed., Funktion - Begriff - Bedeutung, Göttingen: Vandenhoeck & Ruprecht, pp. 2-22.
20. Frege, G. 1892a. 'Über Sinn und Bedeutung', Zeitschfrift für Philosophie und philosophische Kritik, 100, 25-50. Reprinted in M. Textor, ed., Funktion - Begriff - Bedeutung, Göttingen: Vandenhoeck & Ruprecht, pp. 23-46.
21. Frege, G. 1892b. 'Über Begriff und Gegenstand', Zeitschrift für wissenschaftliche Philosophie, 16, 192-205. Reprinted in M. Textor, ed., Funktion - Begriff - Bedeutung, Göttingen: Vandenhoeck & Ruprechtx, pp. 47-60.
22. Girard, J.Y. 1972. Interpretation fonctionelle et eleimination des coupures dans l'arithmetique d'ordre superieure, These d'Etat, Universit Paris 7.
23. Hale, B., 1987. Abstract Objects, Oxford, New York: Blackwell.
24. Hart, W.D. 1979. 'The epistemology of abstract objects: Access and inference II', Proceedings of the Aristotelian Society, 53, 153-165.
25. Herbrand, J. 1971. W.D. Goldfarb, ed., Logical Writings, Dordrecht: Reidel Publishing Company.
26. Jacobs, B. 1989. 'The inconsistency of higher order extensions of Martin-Löf's Type Theory', Journal of Philosophical Logic, 18, 399-422.
27. Kamareddine, F., Laan, T., and Nederpelt, R. 2004. A Modern Perspective on Type Theory - From its Origin Until Today, Applied Logic Series, Vol. 29, Dordrecht: Kluwer Academic Publishers.
28. Künne, W. 1982. 'Criteria of abstractness', in Smith B. ed., Parts and Moments - Studies in Logic and Formal Ontology, München, Wien: Philosophia Verlag, pp. 401-437.
29. Künne, W. 1983. Abstrakte Gegenstände - Semantik und Ontologie Frankfurt am Main: Suhrkamp Verlag.
30. Laan, T. 1997. 'The Evolution of Type Theory in Logic and Mathematics', PhD Dissertation Thesis, Technische Universiteit Eindhoven, Enschede: Print Partners Ipskamp.
31. Longo, G. 2000. 'Prototype proofs in type theory', Mathematical Logic Quarterly, 46, 257-266.
32. Lowe, E.J. 1995. 'The metaphysics of abstract objects', The Journal of Philosophy, 92, 509-524.
33. Martin-Löf, P. 1984. Intuitionistic Type Theory. Naples: Bibliopolis.
34. Martin-Löf, P. 1993. Philosophical Aspects of Intuitionistic Type Theory, unpublished notes of lectures given at the Faculteit Wijsbegeerte Leiden.
35. Nordström, B., Petersson, K., and Smith, J. 1990. Programming in Martin-Löf Type Theory. An Introduction, The international series of monograph in computer science, Vol. 7. Oxford, New York: Clarendon Press, Oxford University Press.
36. Ockham, W. 1349. Summa Logicae - Part One: Logic of Terms; translated and introduced by M.J. Loux, Notre Dame-London: University of Notre Dame Press.
37. Pfeifer, H. and Ruess, H. 1998. 'Polytipic abstraction in type theory', in R. Back-house, T. Sheard, eds, Informal Proceedings of Workshop on Generic Programming (WGP98), Marstrand, Sweden: Dept. of Computing Science, Chalmers University of Technology, and Göteborg University.
38. Pfeifer, H. and Ruess, H. 1999. 'Polytipic proof construction', Lecture Notes in Computer Science, 1690, 55-72.
39. Primiero, G. 2004. 'The determination of reference in a constructive setting', Giornale di Metafisica, 26, 483-502.
40. Primiero, G. 2007. 'On building abstract terms in type systems', The Logica 2006 Yearbook, Czech Academy of Sciences, Prague: FILOSOFIA Publisher, pp. 191-201.
41. Primiero, G. 2008. Information and Knowledge - A Constructive Type-Theoretical Approach, Logic, Epistemology and the Unity of Science Series, Vol. 10, Berlin, New York: Springer.
42. Primiero, G. 2009. 'An epistemic logic for becoming informed', Knowledge, Rationality, and Action, 441-467; Synthese, 167, 363-389.
43. Reynolds, J. 1974. 'Towards a theory of type structure', in B. Robint, ed., Proceedings of the Programming Symposium, Lecture Notes in Computer Science, 19, 408-425.
44. Ross, D. 1971. Plato's Theory of Ideas, Oxford: Clarendon Press.
45. Russell, B. 1908. 'Mathematical logic as based on the theory of types', American Journal of Mathematics, 30, 222-262. Reprinted in J. van Heijenoort, ed. From Frege to Gödel - A Source Book in Mathematical Logic, 1879-1938, 1967, Cambridge, MA: Harvard University Press. pp. 150-182.
46. Sambin, G. and Valentini, S. 1998. 'Building up a toolbox for Martin-Löf type theory: Subset theory', in G. Sambin, J. Smith, eds., Twenty-five years of Constructive Type Theory, Oxford: Clarendon Press. pp. 221-244.
47. Sørensen M.H. and Urzyczyn P. 2006. Lectures on the Curry-Howard Isomorphism, Studies in Logic and the Foundations of Mathematics, Vol. 149. Amsterdam: Elsevier.
48. Whitehead, N. and Russell, B. 1910-12. Principia Mathematica, 3 Vols., Cambridge: Cambridge University Press.
49. Zalta, E.N. 1983. Abstract Objects - An Introduction to Axiomatic Metaphysics, Dordrecht, Boston, Lancaster: Reidel Publishing Company - Kluwer.