Lattice of truth values for a paraconsistent logic?

  • Context: Undergrad 
  • Thread starter Thread starter nomadreid
  • Start date Start date
  • Tags Tags
    Lattice Logic
Click For Summary
SUMMARY

The discussion centers on the structure of truth values in paraconsistent logics, specifically questioning whether a paraconsistent logic can be represented by a lattice of truth values. It is established that in paraconsistent logics, at least one truth value is not implied by 0 (False), suggesting that traditional lattice structures may not apply. The conversation references the article "Lattice-based Paraconsistent Logic" by Wendy McCaull and Dimiter Vakarelov, which provides insights into constructing a distributive lattice from truth tables in paraconsistent systems.

PREREQUISITES
  • Understanding of paraconsistent logic principles
  • Familiarity with lattice theory in logic
  • Knowledge of truth tables and their applications
  • Basic comprehension of implications in logical frameworks
NEXT STEPS
  • Read "Lattice-based Paraconsistent Logic" by Wendy McCaull and Dimiter Vakarelov
  • Explore the Stanford Encyclopedia of Philosophy entry on paraconsistent logic
  • Study the construction of distributive lattices in logical systems
  • Investigate the implications of truth values in non-classical logics
USEFUL FOR

Logicians, philosophers of mathematics, and computer scientists interested in non-classical logics and their applications in truth value structures.

nomadreid
Gold Member
Messages
1,773
Reaction score
256
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.
 

Similar threads

  • · Replies 12 ·
Replies
12
Views
3K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 22 ·
Replies
22
Views
4K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 19 ·
Replies
19
Views
3K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 17 ·
Replies
17
Views
2K