I Lattice of truth values for a paraconsistent logic?

  • I
  • Thread starter Thread starter nomadreid
  • Start date Start date
  • Tags Tags
    Lattice Logic
AI Thread Summary
Paraconsistent logics challenge traditional truth value structures by introducing nodes that are not implied by the false value (0). This raises questions about the applicability of a lattice framework for representing truth values in such systems. The discussion highlights the difficulty in deriving a distributive lattice from paraconsistent truth tables. A referenced article, "Lattice-based Paraconsistent Logic," offers a more detailed exploration of this topic. Understanding the lattice structure in paraconsistent logic remains an area of ongoing research.
nomadreid
Gold Member
Messages
1,748
Reaction score
243
Usually the truth values of propositions of a logic are structured into a lattice, with 0 (False) on (say) the bottom and 1(True) on (say) the top, and the connecting lines being implication. In paraconsistent logics, there is at least one node which is not implied by 0. Can one safely say that a paraconsistent logic would not be able to refer to a lattice of truth values? If not, what would a lattice for the truth values of a paraconsistent system look like?
 
Physics news on Phys.org
thanks, sysprog; I know the article, but it is not clear to me how one would get a distributive lattice out of these truth tables. I found a more thorough answer in the following article, that I am still working through: "Lattice-baed Paraconsistent Logic", by Wendy McCaull and Dimiter Vakarelov, Lecture Notes in Computer Science 3929, Relational Methods in Computer Science ; Springer Verlag, ed. McCaull & WInter, 2006, pages 173-187.
 
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...

Similar threads

Replies
12
Views
2K
Replies
7
Views
1K
Replies
17
Views
2K
Replies
6
Views
1K
Replies
6
Views
1K
Back
Top