History and Philosophy of Logic 33 (3):215-243 (2012)
Fitch's basic logic is an untyped illative combinatory logic with unrestricted principles of abstraction effecting a type collapse between properties (or concepts) and individual elements of an abstract syntax. Fitch does not work axiomatically and the abstraction operation is not a primitive feature of the inductive clauses defining the logic. Fitch's proof that basic logic has unlimited abstraction is not clear and his proof contains a number of errors that have so far gone undetected. This paper corrects these errors and presents a reasonably intuitive proof that Fitch's system K supports an implicit abstraction operation. Some general remarks on the philosophical significance of basic logic, especially with respect to neo-logicism, are offered, and the paper concludes that basic logic models a highly intensional form of logicism.
|Keywords||Abstraction Combinatory Logic|
|Categories||categorize this paper)|
References found in this work BETA
The Reason's Proper Study: Essays Towards a Neo-Fregean Philosophy of Mathematics.Bob Hale (ed.) - 2001 - Oxford University Press.
Citations of this work BETA
No citations found.
Similar books and articles
A Definition of Existence in Terms of Abstraction and Disjunction.Frederic B. Fitch - 1957 - Journal of Symbolic Logic 22 (4):343-344.
Logic Without Contraction as Based on Inclusion and Unrestricted Abstraction.Uwe Petersen - 2000 - Studia Logica 64 (3):365-403.
A Further Consistent Extension of Basic Logic.Frederic B. Fitch - 1949 - Journal of Symbolic Logic 14 (4):209-218.
Recursive Functions in Basic Logic.Frederic B. Fitch - 1956 - Journal of Symbolic Logic 21 (4):337-346.
A Simplification of Basic Logic.Frederic B. Fitch - 1953 - Journal of Symbolic Logic 18 (4):317-325.
A Definition of Negation in Extended Basic Logic.Frederic B. Fitch - 1954 - Journal of Symbolic Logic 19 (1):29-36.
An Extensional Variety of Extended Basic Logic.Frederic B. Fitch - 1958 - Journal of Symbolic Logic 23 (1):13-21.
The Logical Enterprise.Alan Ross Anderson, Ruth Barcan Marcus, R. M. Martin & Frederic B. Fitch (eds.) - 1975 - Yale University Press.
The Heine-Borel Theorem in Extended Basic Logic.Frederic B. Fitch - 1949 - Journal of Symbolic Logic 14 (1):9-15.
Expedited Broda-Damas Bracket Abstraction.M. W. Bunder - 2000 - Journal of Symbolic Logic 65 (4):1850-1857.
Compact Bracket Abstraction in Combinatory Logic.Sabine Broda & Luís Damas - 1997 - Journal of Symbolic Logic 62 (3):729-740.
The Church–Fitch Knowability Paradox in the Light of Structural Proof Theory.Paolo Maffezioli, Alberto Naibo & Sara Negri - 2013 - Synthese 190 (14):2677-2716.
Added to index2012-02-18
Total downloads167 ( #27,517 of 2,168,616 )
Recent downloads (6 months)5 ( #61,319 of 2,168,616 )
How can I increase my downloads?