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.
Similar content being viewed by others
References
ArmstrongD.: 1978, Universals and Scientific Realism, Cambridge U.P., Cambridge.
Armstrong, D.: 1983, What Is a Law of Nature?, Cambridge.
BalzerW., MoulinesC. U., and SneedJ.: 1987, An Architectonic for Science, D. Reidel, Dordrecht.
BarwiseJ. and FefermanS. (eds.): 1985, Model-Theoretic Logics, Springer, New York.
vanBenthemJ.: 1982, ‘The Logical Study of Science’, Synthese 51 431–472.
vanBenthemJ. and DoetsK.: 1983, ‘Higher-Order Logic’, in D.Gabbay and F.Guenthner (eds.), Handbook of Philosophical Logic, Vol. 1, D. Reidel, Dordrecht, 275–239.
vanBenthemJ.: 1986, ‘A Linguistic Turn: New Directions in Logic’, in R. BarcanMarcus et al. (eds.), Logic, Methodology and Philosophy of Science VII, Elsevier Amsterdam.
ChurchA.: 1956, Introduction to Mathematical Logic, vol. 1, Princeton U.P., Princeton, N. J.
FregeG.: 1879, Begriffschrift, English translation in vanHeijenoort (ed.), From Frege to Gödel, Harvard, Cambridge, 1967, 1–82.
GrandyR.: 1976, ‘Anadic Logic and English’, Synthese 32, 395–402.
GrandyR.: 1977, Advanced Logic for Applications, D. Reidel, Dordrecht.
HenkinL.: 1950, ‘Completeness in the Theory of Types’, Journal of Symbolic Logic 15, 81–91.
HölderO.: 1901, ‘Die Axiome der Quantität und die Lehre vom Mass’, Berichte über die Verhandlungen der Königliche Sachsischen Gesellschaft der Wissenschaften zu Leipzig, Mathematisch-Physische Klasse 53, 1–64.
KrantzD., LuceR., SuppesP., and TverskyA.: 1971, Foundations of Measurement, Vol. 1, Academic Press, New York.
MundyB.: 1986, ‘On the General Theory of Meaningful Representation’, Synthese 67, 391–437.
MundyB.: 1987a, ‘The Metaphysics of Quantity’, Philosophical Studies 51, 29–54.
MundyB.: 1987c, ‘Faithful Representation, Physical Extensive Measurement Theory and Archimedean Axioms’, Synthese 70, 373–400.
MundyB.: 1987c, ‘Scientific Theory as Partially Interpreted Calculus’, Erkenntnis 27, 173–196.
MundyB.: 1988a, ‘Extensive Measurement and Ratio Functions’, Synthese 75, 1–23.
MundyB.: 1988b, ‘Scientific Theory as Partially Interpreted Calculus II’ Erkenntnis 28, 165–183.
RamseyF.: 1925, ‘Universals’, in The Foundations of Mathematics, Routledge and Kegan Paul, London, 1931, pp. 112–134.
RamseyF.: 1926, ‘Note on the Preceding Paper’, in The Foundations of Mathematics, Routledge and Kegan Paul, London, pp. 135–137.
RussellB.: 1918, ‘The Philosophy of Logical Atomism’, reprinted in Russell, B., Logic and Knowledge (MarshR. C. (ed.)), Allen and Unwin, London, 1956, 177–281.
ScottD. and SuppesP.: 1958, ‘Foundational Aspects of Theories of Measurement’, Journal of Symbolic Logic 23, 113–28.
SneedJ. D.: 1971, The Logical Structure of Mathematical Physics; second revised edition, D. Reidel, Dordrecht, Holland, 1979.
TarskiA.: 1951, A Decision Method for Elementary Alegebra and Geometry, U. of California Press, Berkeley.
TarskiA.: 1959, ‘What Is Elementary Geometry?’, in HenkinL., SuppesP., and TarskiA. (eds.), The Axiomatic Method, North Holland, Amsterdam, 1959.
UrmsonJ. O.: 1956, Philosophical Analysis, Oxford U.P., Oxford.
WarnockG. J.: 1958, English Philosophy Since 1900, Oxford U.P., Oxford.
Author information
Authors and Affiliations
Additional information
I would like to thank my collegue Mark Brown and an anonymous referee for helpful comments on an earlier draft of this paper.
Rights and permissions
About this article
Cite this article
Mundy, B. Elementary categorial logic, predicates of variable degree, and theory of quantity. J Philos Logic 18, 115–140 (1989). https://doi.org/10.1007/BF00293444
Issue Date:
DOI: https://doi.org/10.1007/BF00293444