{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T22:54:35Z","timestamp":1762296875175},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1989,5,1]],"date-time":"1989-05-01T00:00:00Z","timestamp":609984000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[1989,5]]},"DOI":"10.1007\/bf00293444","type":"journal-article","created":{"date-parts":[[2004,12,10]],"date-time":"2004-12-10T03:01:48Z","timestamp":1102647708000},"page":"115-140","source":"Crossref","is-referenced-by-count":7,"title":["Elementary categorial logic, predicates of variable degree, and theory of quantity"],"prefix":"10.1007","volume":"18","author":[{"given":"Brent","family":"Mundy","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","volume-title":"Universals and Scientific Realism","author":"D. Armstrong","year":"1978","unstructured":"ArmstrongD.: 1978, Universals and Scientific Realism, Cambridge U.P., Cambridge."},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"Armstrong, D.: 1983, What Is a Law of Nature?, Cambridge.","DOI":"10.1017\/CBO9781316499030"},{"key":"CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-3765-9","volume-title":"An Architectonic for Science","author":"W. Balzer","year":"1987","unstructured":"BalzerW., MoulinesC. U., and SneedJ.: 1987, An Architectonic for Science, D. Reidel, Dordrecht."},{"key":"CR4","volume-title":"Model-Theoretic Logics","year":"1985","unstructured":"BarwiseJ. and FefermanS. (eds.): 1985, Model-Theoretic Logics, Springer, New York."},{"key":"CR5","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1007\/BF00485263","volume":"51","author":"J. Benthem van","year":"1982","unstructured":"vanBenthemJ.: 1982, ?The Logical Study of Science?, Synthese 51 431?472.","journal-title":"Synthese"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1007\/978-94-009-7066-3_4","volume-title":"Handbook of Philosophical Logic","author":"J. Benthem van","year":"1983","unstructured":"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."},{"key":"CR7","volume-title":"Logic, Methodology and Philosophy of Science VII","author":"J. Benthem van","year":"1986","unstructured":"vanBenthemJ.: 1986, ?A Linguistic Turn: New Directions in Logic?, in R. BarcanMarcus et al. (eds.), Logic, Methodology and Philosophy of Science VII, Elsevier Amsterdam."},{"key":"CR8","volume-title":"Introduction to Mathematical Logic","author":"A. Church","year":"1956","unstructured":"ChurchA.: 1956, Introduction to Mathematical Logic, vol. 1, Princeton U.P., Princeton, N. J."},{"key":"CR9","first-page":"1","volume-title":"From Frege to G\u00f6del","author":"G. Frege","year":"1879","unstructured":"FregeG.: 1879, Begriffschrift, English translation in vanHeijenoort (ed.), From Frege to G\u00f6del, Harvard, Cambridge, 1967, 1?82."},{"key":"CR10","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1007\/BF00484785","volume":"32","author":"R. Grandy","year":"1976","unstructured":"GrandyR.: 1976, ?Anadic Logic and English?, Synthese 32, 395?402.","journal-title":"Synthese"},{"key":"CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-010-1191-4","volume-title":"Advanced Logic for Applications","author":"R. Grandy","year":"1977","unstructured":"GrandyR.: 1977, Advanced Logic for Applications, D. Reidel, Dordrecht."},{"key":"CR12","doi-asserted-by":"crossref","first-page":"81","DOI":"10.2307\/2266967","volume":"15","author":"L. Henkin","year":"1950","unstructured":"HenkinL.: 1950, ?Completeness in the Theory of Types?, Journal of Symbolic Logic 15, 81?91.","journal-title":"Journal of Symbolic Logic"},{"key":"CR13","first-page":"1","volume":"53","author":"O. H\u00f6lder","year":"1901","unstructured":"H\u00f6lderO.: 1901, ?Die Axiome der Quantit\u00e4t und die Lehre vom Mass?, Berichte \u00fcber die Verhandlungen der K\u00f6nigliche Sachsischen Gesellschaft der Wissenschaften zu Leipzig, Mathematisch-Physische Klasse 53, 1?64.","journal-title":"Berichte \u00fcber die Verhandlungen der K\u00f6nigliche Sachsischen Gesellschaft der Wissenschaften zu Leipzig, Mathematisch-Physische Klasse"},{"key":"CR14","volume-title":"Foundations of Measurement","author":"D. Krantz","year":"1971","unstructured":"KrantzD., LuceR., SuppesP., and TverskyA.: 1971, Foundations of Measurement, Vol. 1, Academic Press, New York."},{"key":"CR15","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1007\/BF00485942","volume":"67","author":"B. Mundy","year":"1986","unstructured":"MundyB.: 1986, ?On the General Theory of Meaningful Representation?, Synthese 67, 391?437.","journal-title":"Synthese"},{"key":"CR16","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/BF00353961","volume":"51","author":"B. Mundy","year":"1987","unstructured":"MundyB.: 1987a, ?The Metaphysics of Quantity?, Philosophical Studies 51, 29?54.","journal-title":"Philosophical Studies"},{"key":"CR17","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1007\/BF00414156","volume":"70","author":"B. Mundy","year":"1987","unstructured":"MundyB.: 1987c, ?Faithful Representation, Physical Extensive Measurement Theory and Archimedean Axioms?, Synthese 70, 373?400.","journal-title":"Synthese"},{"key":"CR18","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/BF00175368","volume":"27","author":"B. Mundy","year":"1987","unstructured":"MundyB.: 1987c, ?Scientific Theory as Partially Interpreted Calculus?, Erkenntnis 27, 173?196.","journal-title":"Erkenntnis"},{"key":"CR19","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00873272","volume":"75","author":"B. Mundy","year":"1988","unstructured":"MundyB.: 1988a, ?Extensive Measurement and Ratio Functions?, Synthese 75, 1?23.","journal-title":"Synthese"},{"key":"CR20","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1007\/BF00166442","volume":"28","author":"B. Mundy","year":"1988","unstructured":"MundyB.: 1988b, ?Scientific Theory as Partially Interpreted Calculus II? Erkenntnis 28, 165?183.","journal-title":"Erkenntnis"},{"key":"CR21","first-page":"112","volume-title":"The Foundations of Mathematics","author":"F. Ramsey","year":"1925","unstructured":"RamseyF.: 1925, ?Universals?, in The Foundations of Mathematics, Routledge and Kegan Paul, London, 1931, pp. 112?134."},{"key":"CR22","first-page":"135","volume-title":"The Foundations of Mathematics","author":"F. Ramsey","year":"1926","unstructured":"RamseyF.: 1926, ?Note on the Preceding Paper?, in The Foundations of Mathematics, Routledge and Kegan Paul, London, pp. 135?137."},{"key":"CR23","first-page":"177","volume-title":"Logic and Knowledge","author":"B. Russell","year":"1918","unstructured":"RussellB.: 1918, ?The Philosophy of Logical Atomism?, reprinted in Russell, B., Logic and Knowledge (MarshR. C. (ed.)), Allen and Unwin, London, 1956, 177?281."},{"key":"CR24","doi-asserted-by":"crossref","first-page":"113","DOI":"10.2307\/2964389","volume":"23","author":"D. Scott","year":"1958","unstructured":"ScottD. and SuppesP.: 1958, ?Foundational Aspects of Theories of Measurement?, Journal of Symbolic Logic 23, 113?28.","journal-title":"Journal of Symbolic Logic"},{"key":"CR25","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-010-3066-3","volume-title":"The Logical Structure of Mathematical Physics","author":"J. D. Sneed","year":"1971","unstructured":"SneedJ. D.: 1971, The Logical Structure of Mathematical Physics; second revised edition, D. Reidel, Dordrecht, Holland, 1979.","edition":"second revised"},{"key":"CR26","doi-asserted-by":"crossref","DOI":"10.1525\/9780520348097","volume-title":"A Decision Method for Elementary Alegebra and Geometry","author":"A. Tarski","year":"1951","unstructured":"TarskiA.: 1951, A Decision Method for Elementary Alegebra and Geometry, U. of California Press, Berkeley."},{"key":"CR27","volume-title":"The Axiomatic Method","author":"A. Tarski","year":"1959","unstructured":"TarskiA.: 1959, ?What Is Elementary Geometry??, in HenkinL., SuppesP., and TarskiA. (eds.), The Axiomatic Method, North Holland, Amsterdam, 1959."},{"key":"CR28","volume-title":"Philosophical Analysis","author":"J. O. Urmson","year":"1956","unstructured":"UrmsonJ. O.: 1956, Philosophical Analysis, Oxford U.P., Oxford."},{"key":"CR29","volume-title":"English Philosophy Since 1900","author":"G. J. Warnock","year":"1958","unstructured":"WarnockG. J.: 1958, English Philosophy Since 1900, Oxford U.P., Oxford."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00293444.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00293444\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00293444","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,30]],"date-time":"2021-06-30T22:56:38Z","timestamp":1625093798000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00293444"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989,5]]},"references-count":29,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1989,5]]}},"alternative-id":["BF00293444"],"URL":"https:\/\/doi.org\/10.1007\/bf00293444","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[1989,5]]}}}