Journal of Philosophical Logic 18 (2):115 - 140 (1989)
|Abstract||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 realvalued 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)|
|Through your library||Configure|
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).
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 downloads11 ( #99,650 of 549,671 )
Recent downloads (6 months)1 ( #63,425 of 549,671 )
How can I increase my downloads?