Abstract
AbstractI examine notions of equivalence between logics (understood as languages interpreted model-theoretically) and develop two new ones that invoke not only the algebraic but also the string-theoretic structure of the underlying language. As an application, I show how to construe modal operator languages as what might be called typographical notational variants of bona fide first-order languages.
Funder
National Endowment for the Humanities
Publisher
Springer Science and Business Media LLC
Reference22 articles.
1. Andréka, H., Németi, I., & van Benthem, J. (1998). Modal languages and bounded fragments of predicate logic. Journal of Philosophical Logic, 27, 217–274.
2. Barwise, J., & Cooper, R. (1981). Generalized quantifiers and natural language. Linguistics and Philosophy, 4(2), 159–219.
3. Bell, J. L., & Machover, M. (1977). A course in mathematical logic. Amsterdam: North Holland.
4. Caleiro, C., & Gonçalves, R. (2007). Equipollent logical systems. In J.-Y. Béziau (Ed.), Logica universalis (pp. 97–109). Basel: Birkhäuser.
5. Crossley, J. N., & Humberstone, L. (1977). The logic of “actually”. Reports on Mathematical Logic, 8, 11–29.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献