{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,24]],"date-time":"2023-10-24T21:17:42Z","timestamp":1698182262859},"reference-count":25,"publisher":"Wiley","issue":"1","license":[{"start":{"date-parts":[[2010,2,11]],"date-time":"2010-02-11T00:00:00Z","timestamp":1265846400000},"content-version":"vor","delay-in-days":7711,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":["onlinelibrary.wiley.com"],"crossmark-restriction":true},"short-container-title":["Cognitive Science"],"published-print":{"date-parts":[[1989,1]]},"abstract":"<jats:p>Procedural Semantics(PS), broadly construed, is the thesis that the meaning of a symbolic expression may be identified with procedures which specify how the expression is to be used, or applied to the world. J.A. Fodor has characterized PS as a wildly implausible form of the verification theory of meaning, and has argued that PS constitutes a plausible semantic theory only for highly simplistic universes, such as \u201cblocks worlds\u201d and databases. Fodor argued further that insofar as PS is defensible, it is \u201cparasitic upon\u201d classical denotational semantics. Fodor's critique of PS provoked various rejoinders. Although these rejoinders were not always in agreement, both Wilks and Woods reasoned that some form of PS must be true if we are to render coherent certain fundamental concepts of modeloretic semantics (e.g., denotations and truth\u2010conditions). In the present paper these arguments are reviewed and extended. It is argued that not only Tarskian semantics, but other forms of model\u2010theoretic semantics (including possible world and Situation Semantics) may very well ontologically presuppose some form of PS.<\/jats:p><jats:p>In addition, a default\u2010oriented form of PS is presented which avoids the \u201cdecision procedure\u201d approach of early PS. The new theory embraces aspects of Quine's pragmatism, and assumes that semantic procedures may return pragmatic (default) truth values which may be revised, if the need arises, by adjudication procedures. On the theory here described, semantic procedures do not constitute the complete meanings of symbolic expressions, but constrain these meanings. It is argued that such constraints must exist if there are to be ontological foundations for such traditional notions as denotations and extensions.<\/jats:p>","DOI":"10.1207\/s15516709cog1301_4","type":"journal-article","created":{"date-parts":[[2005,8,6]],"date-time":"2005-08-06T01:09:04Z","timestamp":1123290544000},"page":"107-137","update-policy":"http:\/\/dx.doi.org\/10.1002\/crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["A Default\u2010Oriented Theory of Procedural Semantics"],"prefix":"10.1111","volume":"13","author":[{"given":"Robert F.","family":"Hadley","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2010,2,11]]},"reference":[{"key":"e_1_2_1_2_1","volume-title":"Language, truth, and logic.","author":"Ayer A.J.","year":"1952"},{"key":"e_1_2_1_3_1","volume-title":"Midwest studies in philosophy","author":"Barwise J.","year":"1981"},{"key":"e_1_2_1_4_1","volume-title":"Situations and attitudes.","author":"Barwise J.","year":"1983"},{"key":"e_1_2_1_5_1","first-page":"149","article-title":"Translating Spanish into logic through logic","volume":"7","author":"Dahl V.","year":"1981","journal-title":"American Journal of Computational Linguistics"},{"key":"e_1_2_1_6_1","volume-title":"The language of thought.","author":"Fodor J.A.","year":"1975"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/0010-0277(78)90015-X"},{"key":"e_1_2_1_8_1","unstructured":"Hadley R.F.(1973).Convention and the intensional concepts.Doctoral dissertation Department of Philosophy University of British Columbia Vancouver BC ."},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-8640.1988.tb00087.x"},{"key":"e_1_2_1_10_1","first-page":"41","article-title":"Empiricist criteria of cognitive significance: problems and changes","volume":"11","author":"Hempel C.F.","year":"1950","journal-title":"Revue Internationale de Philosophie"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/0010-0277(78)90016-1"},{"key":"e_1_2_1_12_1","volume-title":"Montague grammars","author":"Lewis D.","year":"1976"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(83)90016-4"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.4159\/harvard.9780674421288"},{"key":"e_1_2_1_15_1","volume-title":"Language, belief, and metaphysics.","author":"Putnam H.","year":"1970"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.2307\/2025079"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.2307\/2273415"},{"key":"e_1_2_1_18_1","article-title":"Two dogmas of empiricism. In W.V.O. Quine","author":"Quine W.V.O.","year":"1953","journal-title":"From a logical point of view"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0140525X00005756"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.2307\/2026307"},{"key":"e_1_2_1_21_1","volume-title":"Strategies for natural language processing.","author":"Wilks Y.","year":"1982"},{"key":"e_1_2_1_22_1","unstructured":"Winograd T.(1971).Procedures as a representation for data in a computer program for understanding natural language.Doctoral dissertation Department of Computer Science M.I.T. Cambridge MA ."},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00653378"},{"key":"e_1_2_1_24_1","volume-title":"Representations and understanding: studies in cognitive science.","author":"Woods W.","year":"1975"},{"key":"e_1_2_1_25_1","volume-title":"Elements of discourse understanding.","author":"Woods W.","year":"1981"},{"key":"e_1_2_1_26_1","volume-title":"Meaning and Cognitive Structure.","author":"Woods W.","year":"1986"}],"container-title":["Cognitive Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1207%2Fs15516709cog1301_4","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1207\/s15516709cog1301_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,22]],"date-time":"2023-10-22T13:04:01Z","timestamp":1697979841000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1207\/s15516709cog1301_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989,1]]},"references-count":25,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1989,1]]}},"alternative-id":["10.1207\/s15516709cog1301_4"],"URL":"https:\/\/doi.org\/10.1207\/s15516709cog1301_4","archive":["Portico"],"relation":{},"ISSN":["0364-0213","1551-6709"],"issn-type":[{"value":"0364-0213","type":"print"},{"value":"1551-6709","type":"electronic"}],"subject":[],"published":{"date-parts":[[1989,1]]},"assertion":[{"value":"2010-02-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}