Tese de Suszko e pluralismo lógico
DOI:
https://doi.org/10.51359/2357-9986.2020.248944Palavras-chave:
lógicas multivaloradas, tese de Suszko, pluralismo lógico, consequência lógicaResumo
A Tese de Suszko (SUSZKO, 1977) afirma a existência de somente dois valores lógicos, o verdadeiro lógico, o verdadeiro e o falso. Neste artigo, argumento em favor da compatibilidade da Tese de Suszko com a tese do Pluralismo Lógico tal como formulado por Hjortland (HJORTLAND, 2011).
Referências
ASENJO, Florencio G. A calculus of antinomies. Notre Dame Journal ofFormal Logic, v. 7, n. 1, p. 103-105, 1966.
BACON, Andrew. Non-classical metatheory for non-classical logics. Journalof Philosophical Logic, v. 42, n. 2, p. 335-355, 2013.
BARRIO, Eduardo Alejandro. Models & Proofs: LFIs Without a CanonicalInterpretations. Principia: an international journal of epistemology, v. 22,n. 1, p. 87-112, 2018.
BEALL, Jeffrey C.; RESTALL, Greg. Logical pluralism. Oxford UniversityPress on Demand, 2006.
BEZERRA, Edson V. Uma análise das bivalorações do ponto de vista dassemânticas de sociedade. Dissertação de mestrado. Universidade Estadualde Campinas, 2017.
BLASIO, Carolina. Sobre noções de consequência generalizadas e lógicasplurivalentes. Tese de doutorado. Universidade Estadual de Campinas. 2017.
CALEIRO, Carlos; CARNIELLI, Walter A.; CONIGLIO, Marcelo; MAR-COS, João. Two's company: “The humbug of many logical values”. In: Logi-ca universalis. Birkhäuser Basel, 2005. p. 169-189.
CALEIRO, Carlos; MARCOS, Joao. Two Many Values: An Algorithmic Ou-tlook on Suszko's Thesis. In: 2010 40th IEEE International Symposium onMultiple-Valued Logic. IEEE, 2010. p. 93-97.
CARNIELLI, Walter A. Systematization of finite many-valued logics throughthe method of tableaux. The Journal of Symbolic Logic, v. 52, n. 2, p. 473-493, 1987.
CARNIELLI, Walter A. Paul Bernays and the eve of non-standard models inlogic. Universal logic: an anthology, 2012.
CARNIELLI, Walter A.; LIMA-MARQUES, Mamede. Society semanticsand multiple-valued logics. Advances in Contemporary Logic and Compu-ter Science, v. 235, p. 33-52, 1999.
CARNIELLI, Walter; RODRIGUES, Abilio. An epistemic approach to para-consistency: a logic of evidence and truth. Synthese, v. 196, n. 9, p. 3789-3813, 2019.
DA COSTA, Newton CA et al. Malinowski and Suszko on many-valued lo-gics: on the reduction of many-valuedness to two-valuedness. Modern Logic,v. 6, n. 3, p. 272-299, 1996.
DA COSTA, Newton CA. On the theory of inconsistent formal systems. No-tre dame journal of formal logic, v. 15, n. 4, p. 497-510, 1974.
GÖDEL, Kurt. Zum intuitionistischen aussagenkalkül. Anzeiger Akademieder Wissenschaften Wien, mathematisch-naturwissenschaftliche Klasse,v. 69, p. 65-66, 1932.
HJORTLAND, Ole Thomassen. Logical Pluralism, Meaning-Variance andVerbal Disputes. Australasian Journal of Philosophy, v. 91, n. 2, p. 355-373, 2013.
KNEALE, William; KNEALE, Martha. The development of logic. OxfordUniversity Press, 1962.
ŁOŚ, Jerzy; SUSZKO, Roman. Remarks on sentential logics. Indagationesmathematicae, v. 20, n. 2, p. 177-183, 1958.
MALINOWSKI, Grzegorz. Inferential many-valuedness. In: Philosophicallogic in Poland. Springer, Dordrecht, 1994. p. 75-84.
MALINOWSKI, Grzegorz. Many-valued logic and its philosophy. TheMany-Valued and Nonmonotonic Turn in Logic, v. 8, p. 13-94, 2007.
MALINOWSKI, Grzegorz. Many-Valued Logics. Oxford Logic Guides 25.1993.
MALINOWSKI, Grzegorz. Non-Fregean Logic and Other Formalizations ofPropositional Identity'. Bulletin of the Section of Logic, v. 14, n. 1, p. 21-27, 1985.
MALINOWSKI, Grzegorz. Q-consequence operation. Reports on Mathe-matical Logic, v. 24, p. 49 – 59, 1990.
MARCOS, João. What is a non-truth-functional logic?. Studia Logica, v. 92,n. 2, p. 215, 2009.
PIRÓG-RZEPECKA, Krystyna. Systemy nonsense-logics. Państowe Wy-dawn. Naukowe, 1977.
PRIEST, Graham. The logic of paradox. Journal of Philosophical logic, v.8, p. 219-241, 1979.
PRIEST, Graham. In contradiction. Oxford University Press, 2006a.
PRIEST, Graham. Doubt truth to be a liar. Oxford University Press, 2006b.
PRIEST, Graham. An introduction to non-classical logic: From if to is.Cambridge University Press, 2008.
QUINE, Willard V. Philosophy of logic. Harvard University Press, 1986.
RESCHER, Nicholas. Many-valued logics. McGraw Hill New York, 1969.
SMITH, Peter. Squeezing arguments. Analysis, v. 71, n. 1, p. 22-30, 2011.
SUSZKO, Roman. The Fregean axiom and Polish mathematical logic in the1920s. Studia Logica: An International Journal for Symbolic Logic, v.36, n. 4, p. 377-380, 1977.
TARSKI, Alfred. Logic, semantics, metamathematics: papers from 1923to 1938. Hackett Publishing, 1983.
TSUJI, Marcelo. Many-valued logics and Suszko's thesis revisited. Studia Lo-gica, v. 60, n. 2, p. 299-309, 1998.
WÓJCICKI, Ryszard. Theory of logical calculi: basic theory of conse-quence operations. Springer Science & Business Media, 2013.
WITTGENSTEIN, Ludwig. Tractatus Logico-Philosophicus. Tradução deLuiz Henrique Lopes dos Santos. São Paulo, Edusp, 2010.
Downloads
Publicado
Edição
Seção
Licença
A Revista Perspectiva Filosófica orienta seus procedimentos de gestão de artigos conforme as diretrizes básicas formuladas pelo Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq). http://memoria2.cnpq.br/web/guest/diretrizes/
Autores que publicam nesta revista concordam com os seguintes termos:
-
Os autores mantém os direitos autorais e concedem à revista o direito de primeira publicação, sendo o trabalho simultaneamente licenciado sob Creative Commons Atribuição 4.0 Internacional que permite o compartilhamento do trabalho com reconhecimento da autoria e publicação inicial nesta revista.
-
Os autores têm autorização para assumir contratos adicionais separadamente, para distribuição não-exclusiva da versão do trabalho publicada nesta revista, com reconhecimento de autoria e publicação inicial nesta revista (Consultar http://opcit.eprints.org/oacitation-biblio.html).
As obras publicadas pela Revista Perspectiva Filosófica estão licenciadas com Creative Commons Atribuição 4.0 Internacional.
