Truth as a Mathematical Object

Principia: An International Journal of Epistemology 14 (1):31-46 (2010)
  Copy   BIBTEX

Abstract

Neste artigo, discutimos em que sentido a verdade é considerada como um objeto matemático na lógica proposicional. Depois de esclarecer como este conceito é usado na lógica clássica, através das noções de tabela de verdade, de função de verdade, de bivaloração, examinamos algumas generalizações desse conceito nas lógicas não clássicas: semânticas matriciais multi-valoradas com três ou quatro valores, semântica bivalente não veritativa, semânticas dos mundos possiveis de Kripke. DOI:10.5007/1808-1711.2010v14n1p31

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 77,670

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Kierkegaard e il Paradosso: Oscillazioni tra Fede e Ragione.Diego Giordano - 2008 - Revista Portuguesa de Filosofia 64 (2/4):1057 - 1066.
Partial Structures and the Logic of Azande.Steven French - 2011 - Principia: An International Journal of Epistemology 15 (1):77-105.
O conceito de verdade na Lógica Formal.Vitorino de Sousa Alves - 1992 - Revista Portuguesa de Filosofia 48 (3):411 - 422.
Experiencia, Verdad y Existencia en Søren Kierkegaard.Gabriel Amengual - 2008 - Revista Portuguesa de Filosofia 64 (2/4):1037 - 1055.

Analytics

Added to PP
2013-04-12

Downloads
59 (#206,463)

6 months
1 (#481,005)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jean-Yves Beziau
Universidade Federal do Rio de Janeiro

References found in this work

Philosophy of Logic.Willard Van Orman Quine - 1970 - Harvard University Press.
Tractatus logico-philosophicus.Ludwig Wittgenstein - 1922 - Filosoficky Casopis 52:336-341.
Tractatus Logico-Philosophicus.Ludwig Wittgenstein - 1956 - Revista Portuguesa de Filosofia 12 (1):109-110.
The logic of paradox.Graham Priest - 1979 - Journal of Philosophical Logic 8 (1):219 - 241.
A completeness theorem in modal logic.Saul Kripke - 1959 - Journal of Symbolic Logic 24 (1):1-14.

View all 19 references / Add more references