Graduate studies at Western
Polish Journal of Philosophy 1 (1):81-100 (2007)
|Abstract||λ-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)
|Through your library||Configure|
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 downloads5 ( #170,393 of 740,480 )
Recent downloads (6 months)1 ( #61,957 of 740,480 )
How can I increase my downloads?