A Landscape of Logics beyond the Deduction Theorem (and Moore’s Paradox)
DOI:
https://doi.org/10.5007/1808-1711.2022.e85039Palavras-chave:
supervaluation, deduction theorem, logic of belief, Moore’s ParadoxResumo
Philosophical issues often turn into logic. That is certainly true of Moore’s Paradox, which tends to appear and reappear in many philosophical contexts. There is no doubt that its study belongs to pragmatics rather than semantics or syntax. But it is also true that issues in pragmatics can often be studied fruitfully by attending to their projection, so to speak, onto the levels of semantics or syntax — just in the way that problems in spherical geometry are often illuminated by the study of projections onto a plane. To begin I will describe a potentially vast landscape of logics of a certain form, with some illustrations of how they appear naturally in response to some problems in philosophical logic. Then I will turn Moore’s Paradox into logic, within that landscape, and show how far it can be illuminated therein.
Referências
Carnap, R. 1952. Meaning Postulates. Philosophical Studies 3: 65-73.
Gentzen, G. 1934-5. Untersuchungen über das logische Schliessen. Mathematische Zeitschrift 39: 176-210, 405-431.
Herbrand, J. 1930. Recherches sur la théorie de la demonstration. Travaux de la Société des Sciences et des Lettres de Varsovie, Classe III, 3: 128pp. Also published in the series Thèses de l’entre-deux-guerres, 1930. http://www.numdam.org/issue/THESE_1930__110__1_0.pdf
Hintikka, J. 1962. Knowledge and Belief . Ithaca, NY: Cornell.
Jaskowski, S. 1934. On the rules of suppositions in formal logic. Studia Logica 1: 1-32.
Kneale, W. & Kneale, M. 1962. The Development of Logic. Oxford: Clarendon Press.
Moore, G. E. 1942a. A Reply to My Critics. In: P. A. Schilpp (ed.), The Philosophy of G. E. Moore, p. 533-677. Evanston, IL: Northwestern University.
Moore, G. E. 1942b. Russell’s Theory of Descriptions. In: P. A. Schilpp (ed.), The Philosophy of Bertrand Russell, p. 175-225. LaSalle: Open Court,.
Porter, B. 2021. Supervaluations and the Strict-Tolerant Hierarchy. Journal of Philosophical Logic. https://doi.org/10.1007/s10992-021-09624-6
Prior, A. N. 1960. The Runabout Inference-ticket. Analysis 21: 38-39.
Thomason, R. H. 2011. Some Limitations to the Psychological Orientation in Semantic Theory. Journal of Philosophical Logic 40: 1-14.
Van Fraassen, B. C. 1968. Presupposition, Implication, and Self-Reference. Journal of Philosophy 65: 136-152.
Van Fraassen, B. C. 1971. Formal Semantics and Logic. NewYork: Macmillan. http://www.princeton.edu/~fraassen/Formal%20Semantics%20and%20Logic.pdf
Van Fraassen, B. C. 2011. Thomason’s Paradox for Belief, and Two Consequence Relations. Journal of Philosophical Logic 40: 15-32.
Van Fraassen, B. C. 2021. Logic of a Self-Transparent Believer. Filosofiska Notiser 8(1): 11-25. https://filosofiskanotiser.com/Fraassen.pdf
Von Neumann, J. 1927. Zur Hilbertschen Beweisstheorie. Mathematische Zeitschrift 26: 1-46.
Whitehead, A. N. & Russell, B. 1910. Principia Mathematica. Volume 1. Cambridge: Cambridge University Press
Downloads
Publicado
Edição
Seção
Licença
Copyright (c) 2022 Bas van Fraassen
Este trabalho está licenciado sob uma licença Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
A obra Principia de http://www.periodicos.ufsc.br/index.php/principia/index foi licenciada com uma Licença Creative Commons Atribuição-NãoComercial-SemDerivações 4.0 Internacional.
Com base na obra disponível em www.periodicos.ufsc.br.