Abstract
Abstract
The revolution in semantics in the late 1960s and 1970s overturned an earlier competing paradigm, ‘translational’ semantics. I revive and defend Prior’s translational semantics for modals and tense-modals. I also show how to extend Prior’s propositional modal semantics to quantificational modal logic, and use the resulting semantics to formalize Prior’s own counterexample to the Barcan Formula.
Publisher
Springer Science and Business Media LLC
Subject
General Social Sciences,Philosophy
Reference26 articles.
1. Copeland, B. J. (1979). On when a semantics is not a semantics. Journal of Philosophical Logic, 8, 399–413.
2. Copeland, B. J. (1982). A note on the Barcan formula and substitutional quantification. Logique et Analyse, 97, 83–86.
3. Copeland, B. J. (1985). Substitutional quantification and existence. Analysis, 45, 1–4.
4. Copeland, B. J. (1986). What is a semantics for classical negation? Mind, XCV, 478–490.
5. Copeland, B. J. (1996). Prior, Arthur. Stanford encyclopedia of philosophy. http://plato.stanford.edu/entries/prior/.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献