乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,23]],"date-time":"2023-10-23T14:31:50Z","timestamp":1698071510305},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"11","license":[{"start":{"date-parts":[[2015,12,19]],"date-time":"2015-12-19T00:00:00Z","timestamp":1450483200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"},{"start":{"date-parts":[[2015,12,19]],"date-time":"2015-12-19T00:00:00Z","timestamp":1450483200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2016,11]]},"abstract":"Abstract<\/jats:title>\n The revolution in semantics in the late 1960s and 1970s overturned an earlier competing paradigm, \u2018translational\u2019 semantics. I revive and defend Prior\u2019s translational semantics for modals and tense-modals. I also show how to extend Prior\u2019s propositional modal semantics to quantificational modal logic, and use the resulting semantics to formalize Prior\u2019s own counterexample to the Barcan Formula.<\/jats:p>","DOI":"10.1007\/s11229-015-0955-2","type":"journal-article","created":{"date-parts":[[2015,12,19]],"date-time":"2015-12-19T11:20:20Z","timestamp":1450524020000},"page":"3507-3519","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Prior, translational semantics, and the Barcan formula"],"prefix":"10.1007","volume":"193","author":[{"given":"B. Jack","family":"Copeland","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,12,19]]},"reference":[{"key":"955_CR1","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/BF00258440","volume":"8","author":"BJ Copeland","year":"1979","unstructured":"Copeland, B. J. (1979). On when a semantics is not a semantics. Journal of Philosophical Logic, 8, 399\u2013413.","journal-title":"Journal of Philosophical Logic"},{"key":"955_CR2","first-page":"83","volume":"97","author":"BJ Copeland","year":"1982","unstructured":"Copeland, B. J. (1982). A note on the Barcan formula and substitutional quantification. Logique et Analyse, 97, 83\u201386.","journal-title":"Logique et Analyse"},{"key":"955_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/analys\/45.1.1","volume":"45","author":"BJ Copeland","year":"1985","unstructured":"Copeland, B. J. (1985). Substitutional quantification and existence. Analysis, 45, 1\u20134.","journal-title":"Analysis"},{"key":"955_CR4","doi-asserted-by":"publisher","first-page":"478","DOI":"10.1093\/mind\/XCV.380.478","volume":"XCV","author":"BJ Copeland","year":"1986","unstructured":"Copeland, B. J. (1986). What is a semantics for classical negation? Mind, XCV, 478\u2013490.","journal-title":"Mind"},{"key":"955_CR5","unstructured":"Copeland, B. J. (1996). Prior, Arthur. Stanford encyclopedia of philosophy. http:\/\/plato.stanford.edu\/entries\/prior\/."},{"key":"955_CR6","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1023\/A:1015273407895","volume":"31","author":"BJ Copeland","year":"2002","unstructured":"Copeland, B. J. (2002). The genesis of possible worlds semantics. Journal of Philosophical Logic, 31, 99\u2013137.","journal-title":"Journal of Philosophical Logic"},{"key":"955_CR7","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1007\/s11229-005-5514-9","volume":"150","author":"BJ Copeland","year":"2006","unstructured":"Copeland, B. J. (2006). Meredith, Prior, and the history of possible worlds semantics. Synthese, 150, 373\u2013397.","journal-title":"Synthese"},{"key":"955_CR8","doi-asserted-by":"publisher","unstructured":"Cresswell, M. J. (2015). Prior on the semantics of modal and tense logic. Synthese. doi:10.1007\/s11229-015-0949-0.","DOI":"10.1007\/s11229-015-0949-0"},{"key":"955_CR9","doi-asserted-by":"crossref","unstructured":"Davidson, D. (1967). Truth and meaning. Synthese, 17, 304\u2013323.","DOI":"10.1007\/BF00485035"},{"key":"955_CR10","doi-asserted-by":"publisher","first-page":"400","DOI":"10.2307\/2964546","volume":"27","author":"FR Drake","year":"1962","unstructured":"Drake, F. R. (1962). On McKinsey\u2019s syntactical characterizations of systems of modal logic. Journal of Symbolic Logic, 27, 400\u2013406.","journal-title":"Journal of Symbolic Logic"},{"key":"955_CR11","volume-title":"Truth and meaning: Essays in semantics","year":"1976","unstructured":"Evans, G., & MacDowell, J. (Eds.). (1976). Truth and meaning: Essays in semantics. Oxford: Oxford University Press."},{"key":"955_CR12","volume-title":"The language of thought","author":"JA Fodor","year":"1975","unstructured":"Fodor, J. A. (1975). The language of thought. New York: Crowell."},{"key":"955_CR13","first-page":"63","volume":"16","author":"SA Kripke","year":"1963","unstructured":"Kripke, S. A. (1963). Semantical considerations on modal logic. Acta Filosophica Fennica, 16, 63\u201372.","journal-title":"Acta Filosophica Fennica"},{"key":"955_CR14","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/BF00413598","volume":"22","author":"DK Lewis","year":"1970","unstructured":"Lewis, D. K. (1970). General semantics. Synthese, 22, 18\u201367.","journal-title":"Synthese"},{"key":"955_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2269159","volume":"11","author":"RB Marcus","year":"1946","unstructured":"Marcus, R. B. (1946). A functional calculus of the first order based on strict implication. Journal of Symbolic Logic, 11, 1\u201316.","journal-title":"Journal of Symbolic Logic"},{"key":"955_CR16","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1080\/00201746208601353","volume":"5","author":"RB Marcus","year":"1962","unstructured":"Marcus, R. B. (1962). Interpreting quantification. Inquiry, 5, 252\u2013259.","journal-title":"Inquiry"},{"key":"955_CR17","unstructured":"Meredith, C. A., & Prior, A. N. (1956). Interpretations of different modal logics in the \u2018Property Calculus\u2019. Mimeograph, University of Canterbury Philosophy Department. Reprinted in Logic and reality: Essays on the legacy of Arthur Prior, by B. J. Copeland, (Ed.), 1996, Oxford: Clarendon Press."},{"key":"955_CR18","volume-title":"Time and modality","author":"AN Prior","year":"1957","unstructured":"Prior, A. N. (1957a). Time and modality. Oxford: Oxford University Press."},{"key":"955_CR19","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1093\/mind\/LXVI.263.401","volume":"66","author":"AN Prior","year":"1957","unstructured":"Prior, A. N. (1957b). Critical notice of Alfred Tarski, Logic, semantics and metamathematics. Mind, 66, 401\u2013410.","journal-title":"Mind"},{"key":"955_CR20","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1353\/frc.1958.0008","volume":"18","author":"AN Prior","year":"1958","unstructured":"Prior, A. N. (1958). The syntax of time-distinctions. Franciscan Studies, 18, 105\u2013120.","journal-title":"Franciscan Studies"},{"key":"955_CR21","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1305\/ndjfl\/1093956750","volume":"2","author":"AN Prior","year":"1961","unstructured":"Prior, A. N. (1961). On a family of paradoxes. Notre Dame Journal of Formal Logic, 2, 16\u201332.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"955_CR22","doi-asserted-by":"publisher","first-page":"36","DOI":"10.2307\/2216837","volume":"12","author":"AN Prior","year":"1962","unstructured":"Prior, A. N. (1962a). Possible worlds. Philosophical Quarterly, 12, 36\u201343.","journal-title":"Philosophical Quarterly"},{"key":"955_CR23","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/BF02317267","volume":"13","author":"AN Prior","year":"1962","unstructured":"Prior, A. N. (1962b). Tense logic and the continuity of time. Studia Logica, 13, 133\u2013148.","journal-title":"Studia Logica"},{"key":"955_CR24","unstructured":"Prior, A. N. (1976). What is logic? In A. N. Prior, Papers in logic and ethics. London: Duckworth."},{"key":"955_CR25","unstructured":"Smiley, T. J. (1957). Modal logic. Lecture handout, Department of Philosophy, University of Cambridge."},{"key":"955_CR26","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199552078.001.0001","volume-title":"Modal logic as metaphysics","author":"T Williamson","year":"2013","unstructured":"Williamson, T. (2013). Modal logic as metaphysics. Oxford: Oxford University Press."}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-015-0955-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11229-015-0955-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-015-0955-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,2]],"date-time":"2021-09-02T19:54:25Z","timestamp":1630612465000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11229-015-0955-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,12,19]]},"references-count":26,"journal-issue":{"issue":"11","published-print":{"date-parts":[[2016,11]]}},"alternative-id":["955"],"URL":"https:\/\/doi.org\/10.1007\/s11229-015-0955-2","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,12,19]]},"assertion":[{"value":"12 October 2015","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 October 2015","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 December 2015","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}