David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Philosophical Logic 18 (2):115 - 140 (1989)
Developing some suggestions of Ramsey (1925), elementary logic is formulated with respect to an arbitrary categorial system rather than the categorial system of Logical Atomism which is retained in standard elementary logic. Among the many types of non-standard categorial systems allowed by this formalism, it is argued that elementary logic with predicates of variable degree occupies a distinguished position, both for formal reasons and because of its potential value for application of formal logic to natural language and natural science. This is illustrated by use of such a logic to construct a theory of quantity which is argued to be scientifically superior to existing theories of quantity based on standard categorial systems, since it yields real-valued scales without the need for unrealistic existence assumptions. This provides empirical evidence for the hypothesis that the categorial structure of the physical world itself is non-standard in this sense
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
References found in this work BETA
D. M. Armstrong (1978). Universals and Scientific Realism. Cambridge University Press.
D. M. Armstrong (1983). What is a Law of Nature? Cambridge University Press.
Alonzo Church (1956). Introduction to Mathematical Logic. Princeton, Princeton University Press.
Richard E. Grandy (1976). Anadic Logic and English. Synthese 32 (3-4):395 - 402.
Leon Henkin (1950). Completeness in the Theory of Types. Journal of Symbolic Logic 15 (2):81-91.
Citations of this work BETA
Maya Eddon (2013). Quantitative Properties. Philosophy Compass 8 (7):633-645.
John Forge (1995). Bigelow and Pargetter on Quantities. Australasian Journal of Philosophy 73 (4):594 – 605.
Similar books and articles
Jochen Dörre, Esther König & Dov Gabbay (1996). Fibred Semantics for Feature-Based Grammar Logic. Journal of Logic, Language and Information 5 (3-4):387-422.
Srećko Kovač (1999). Quine's Platonism and Antiplatonism. Synthesis Philosophica 14 (1999):45-52.
Christian Retoré & Sylvain Salvati (2010). A Faithful Representation of Non-Associative Lambek Grammars in Abstract Categorial Grammars. Journal of Logic, Language and Information 19 (2):185-200.
Raffaella Bernardi (2004). Analyzing the Core of Categorial Grammar. Journal of Logic, Language and Information 13 (2):121-137.
Achille C. Varzi (1995). Variable-Binders as Functors. Poznan Studies in the Philosophy of the Sciences and the Humanities 40:303-19.
Natasha Kurtonina (1998). Categorial Inference and Modal Logic. Journal of Logic, Language and Information 7 (4):399-411.
Carlos Pedro dos Santos Gonçalves & Maria Odete Madeira, A Systems Theoretical Formal Logic for Category Theory.
Brent Mundy (1987). The Metaphysics of Quantity. Philosophical Studies 51 (1):29 - 54.
Added to index2009-01-28
Total downloads12 ( #106,472 of 1,089,053 )
Recent downloads (6 months)1 ( #69,801 of 1,089,053 )
How can I increase my downloads?