David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Australasian Journal of Philosophy 2:44-55 (2004)
The formal structure of Frege’s ‘concept script’ has been widely adopted in logic text books since his time, even though its rather elaborate symbols have been abandoned for more convenient ones. But there are major difficulties with its formalisation of pronouns, predicates, and propositions, which infect the whole of the tradition which has followed Frege. It is shown first in this paper that these difficulties are what has led to many of the most notable paradoxes associated with this tradition; the paper then goes on to indicate the lines on which formal logic—and also the lambda calculus and set theory—needs to be restructured, to remove the difficulties. Throughout the study of what have come to be known as first-, second-, and higher-order languages, what has been primarily overlooked is that these languages are abstractions. Many well known paradoxes, we shall see, arose because of the elementary level of simplification which has been involved in the abstract languages studied. Straightforward resolutions of the paradoxes immediately appear merely through attention to languages of greater sophistication, notably natural language, of course. The basic problem has been exclusive attention to a theory in place of what it is a theory of, leading to a focus on mathematical manipulation, which ‘brackets off’ any natural language reading
|Keywords||No keywords specified (fix it)|
|Categories||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
Hartley Slater (2007). Logic and Grammar. Ratio 20 (2):206–218.
Similar books and articles
J. P. Ressayre (1988). Formal Languages Defined by the Underlying Structure of Their Words. Journal of Symbolic Logic 53 (4):1009-1026.
Professor Henry Laycock (2005). Variables, Generality and Existence: Considerations on the Notion of a Concept-Script. Philosophical Explorations.
Paula Olmos & Luis Vega (2011). The Use of the Script Concept in Argumentation Theory. Argumentation 25 (4):415-426.
D. Macbeth (2012). Seeing How It Goes: Paper-and-Pencil Reasoning in Mathematical Practice. Philosophia Mathematica 20 (1):58-85.
Adam Morton (1997). Hypercomparatives. Synthese 111 (1):97-114.
John L. Bell, Infinitary Logic. Stanford Encyclopedia of Philosophy.
Added to index2009-01-28
Total downloads9 ( #173,562 of 1,413,428 )
Recent downloads (6 months)1 ( #154,636 of 1,413,428 )
How can I increase my downloads?