David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Polish Journal of Philosophy 1 (1):81-100 (2007)
λ-calculi are of interest to logicians and computer scientists but have largely escaped philosophical commentary, perhaps because they appear narrowly technical or uncontroversial or both. I argue that even within logic λ-expressions need to be understood correctly, as functors signifying functions in intension within a categorical or typed language. λ-expressions are not names but pure viable binders generating functors, and as such they are of use in giving explicit definitions. But λ is applicable outside logic and computer science, anywhere where the notions of complex whole, substitution, abstraction and structure make sense. To illustrate this, two domains are considered. One is somewhat frivolous: the study of flags; the other is very serious: manufacturing engineering. In each case we can employ λ-abstraction to describe substitutions within a structure, and in the latter case there is even a practical need for such a notation
|Keywords||No keywords specified (fix it)|
No categories specified
(categorize this paper)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
Bjørn Jespersen & Massimiliano Carrara (2011). Two Conceptions of Technical Malfunction. Theoria 77 (2):117-138.
Similar books and articles
Sergio F. Martínez & Xiang Huang (2011). Epistemic Groundings of Abstraction and Their Cognitive Dimension. Philosophy of Science 78 (3):490-511.
Timothy Colburn & Gary Shute (2007). Abstraction in Computer Science. Minds and Machines 17 (2):169-184.
Giuseppe Primiero (2009). Proceeding in Abstraction. From Concepts to Types and the Recent Perspective on Information. History and Philosophy of Logic 30 (3):257-282.
Timothy R. Colburn (1999). Software, Abstraction, and Ontology. The Monist 82 (1):3-19.
Rafal Urbaniak (2010). Neologicist nominalism. Studia Logica 96 (2):149-173.
Christopher Gauker (1993). An Extraterrestrial Perspective on Conceptual Development. Mind and Language 8 (1):105-30.
Itamar Pitowsky (1982). Substitution and Truth in Quantum Logic. Philosophy of Science 49 (3):380-401.
M. W. Bunder (2000). Expedited Broda-Damas Bracket Abstraction. Journal of Symbolic Logic 65 (4):1850-1857.
Øystein Linnebo & Gabriel Uzquiano (2009). Which Abstraction Principles Are Acceptable? Some Limitative Results. British Journal for the Philosophy of Science 60 (2):239-252.
Dale A. Miller (1987). A Compact Representation of Proofs. Studia Logica 46 (4):347 - 370.
Stephen Laurence & Eric Margolis (2012). Abstraction and the Origin of General Ideas. Philosophers' Imprint 12 (19):1-22.
Added to index2011-01-09
Total downloads11 ( #201,792 of 1,699,588 )
Recent downloads (6 months)4 ( #161,079 of 1,699,588 )
How can I increase my downloads?