A Paraconsistência e ramificação temporal

os tipos e aplicações de contradições em árvores de instantes possíveis

Autores/as

DOI:

https://doi.org/10.51359/2357-9986.2025.263815

Palabras clave:

filosofia da paraconsistência, filosofia da ciência, lógica modal, lógica temporal ramificada, lógica paraconsistente, contradição

Resumen

Esta pesquisa questiona a natureza clássica atemporal de uma contradição e demonstra como a mudança de lógica e uma concepção temporal de contradição influencia diretamente na interpretação de problemas de filosofia da ciência e da lógica. Em particular, o texto apresenta um sistema paraconsistente modal de tempo com ramificação para o futuro, KBLP, uma variação do sistema paraconsistente modal KLP de Graham Priest. O sistema permite que uma proposição receba ambos os valores de verdade (1 e 0) nos instantes de tempo. Combinando paraconsistência com ramificação, a semântica de KBLP possibilita quatro tipos modais de contradição no tempo. Considerando a linguagem de KBLP e sua tipologia de contradições, são discutidos três tipos de interpretações dos ramos temporais (intrinsecamente lógica, ontológica e epistemológica) na filosofia da lógica e da ciência, as quais são empregadas introdutoriamente para a análise de paradoxos semânticos, viagens no tempo e divergências sobre o que teria ocorrido no “passado real”, uma vez que esses casos podem implicar diferentes tipos de contradição no tempo.

Citas

ARENHART, J. e COSTA, V. “Quasi-truth and incomplete information in historical sciences”. Theoria, v. 36, pp. 113–137, 2021.

ASIMOV, I. Gold: The Final Science Fiction Collection. New York: Harper Collins, 1995 [2003].

BALTAG, A e RENNE, B. "Dynamic Epistemic Logic". In: ZALTA, E. (ed.). The Stanford Encyclopedia of Philosophy. Winter 2016 Edition. URL = https://plato.stanford.edu/archives/win2016/entries/dynamic-epistemic.

BENTHEM, J. F. K. van. The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse. Dordrecht: R. Reidel Publishing Company, 1983.

BENTHEM, J. F. K. van. Modal Logic for Open Minds. California: CSLI Publications, 2010.

BENFORD, G.; BOOK, D. L. e NEWCOMB, W. A. “The tachyonic antitelephone”. [s.l.]: Phys. Rev. D, vol. 2, pp. 263–265, 1970.

BURGESS, J. P. “Basic Tense Logic”. In: GABBAY, D. e GUENTHNER. F. (eds.). Handbook of Philosophical Logic. Volume II: Extensions of Classical Logic. London: Kluwer Academic Publishers, pp. 89–133, 1984.

CARNIELLI, W. How to build your own paraconsistent logic: an introduction to the Logics of Formal (In)Consistency, p. 1–15, jan. 2004.

COSTA, Newton C. A. da. Logic and Ontology. Florianópolis: Principia, vol. 6, n. 2, dez. 2002, p. 279–298.

COSTA, N. C. A. da. O Conhecimento Científico. São Paulo: Discurso Editorial, 2018 [1995].

COSTA, V. M. A história enquanto está sendo conhecida: estruturas com passado ramificado, lógica do anúncio histórico e uma teoria formal sobre consensos e atualizações em ciências históricas. Tese de doutorado. Florianópolis: Universidade Federal de Santa Catarina, 2024.

RICKLES, D. Symmetry, Structure, and Spacetime. [s.l.]: Elsevier Science, 2007.

ECHEVERRIA, F.; KLINKHAMMER, G. e THORNE, Kip. "Billiard balls in wormhole spacetimes with closed timelike curves: Classical theory". [s.l.]: Physical Review D, vol. 44, n. 4, pp. 1077–1099, 1991.

FRIEDMAN, J. et al. "Cauchy problem in spacetimes with closed timelike curves". [s.l.]: Physical Review D, vol. 42, n. 6, pp. 1915–1930, 1990.

GÖDEL, K. "An Example of a New Type of Cosmological Solutions of Einstein's Field Equations of Gravitation". [s.l.]: Rev. Mod. Phys., 21, pp. 447–450, 1949.

GORANKO, V. e RUMBERG, A. “Temporal Logic”. In: ZALTA. E. N. e NODELMAN, U. (ed.). The Stanford Encyclopedia of Philosophy. Summer 2024 Edition. URL = https://plato.stanford.edu/archives/sum2024/entries/logictemporal.

HAACK, S. Filosofia das lógicas. Tradução: Cezar Augusto Mortari e Luiz Henrique de Araújo Dutra. São Paulo: Unesp, 2002.

HANSSON, S. O., "Logic of Belief Revision". ZALTA. E. N. (ed.). The Stanford Encyclopedia of Philosophy. Spring 2022 Edition. URL = https://plato.stanford.edu/archives/spr2022/entries/logic-belief-revision.

HAWKING, S. Uma breve história do tempo. Rio de Janeiro: Intrínseca, 2015.

KRAUSE, D. Tópicos em Ontologia Analítica. São Paulo: Unesp, 2017.

NOVAES, C. D. “Towards a Practice-based Philosophy of Logic: Formal Languages as a Case Study”. Philosophia Scientiæ, vol. 16, n. 1, pp. 71-102, 2012 .

POWER, S. E. Philosophy of Time: A Contemporary Introduction. Routledge, 2021.

PRIEST, G. An Introduction to Non-Classical Logic: From If to Is. Second Edition. Cambridge: Cambridge University Press, 2008 [2001].

PRIOR, A. Past, Present and Future. Oxford: Oxford University Press, 1967.

Randall, L. (2005). Warped Passages: Unraveling the Mysteries of the Universe's Hidden Dimensions. Harper Collins. p. 286.

SMITH, N. J.J. "Time Travel". In: ZALTA, E. N. e NODELMAN, U. (eds.). The Stanford Encyclopedia of Philosophy. Summer 2024 Edition. URL = https://plato.stanford.edu/archives/sum2024/entries/time-travel/.

STAAL, F. Preface: The generosity of formal languages. [s.l.]: Journal of Indian Philosophy, vol. 35, pp. 405–412, 2007.

THORNE, K.; MORRIS, M. e YURTSEVER, U. "Wormholes, Time Machines, and the Weak Energy Condition". [s.l.]: Physical Review Letters, vol. 61, n. 13, pp. 1446–1449, 1988.

SIDER, T. Logic for Philosophy. Oxford: Oxford University Press, 2010.

WILLIAMSON, T. Modal Logic as Metaphysics. Oxford: Oxford University Press, 2013.

Descargas

Publicado

2025-12-04

Número

Vol. 52 Núm. 2 (2025): Perspectivas Contemporâneas em Filosofia da Lógica

Sección

Perspectiva Contemporâneas em Filosofia da Lógica

Licencia

Derechos de autor 2025 Vitor Costa

Creative Commons License

Esta obra está bajo una licencia internacional Creative Commons Atribución 4.0.

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:

  1. 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.

  2. 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).

Licença Creative Commons
As obras publicadas pela Revista Perspectiva Filosófica estão licenciadas com Creative Commons Atribuição 4.0 Internacional.