Linear Logic and the Laws of Excluded Middle and Noncontradiction

If LEM is the Law of Excluded Middle and LNC is the Law of Non-contradiction then

  • Classical Logic preserves both LEM and LNC
  • Intuitionistic Logic preserves LNC, but rejects LEM
  • Co-Intuitionistic Logic preserves LEM, but rejects LNC
  • Linear Logic broadly preserves neither, but narrowly preserves and rejects them with its pairs of conjunctive and disjunctive logical operators

Above is shown the four operators of Linear Logic and the statements for their preservation and rejection of LEM and LNC.

Further Reading:

Pete Wolfendale / Essay on Transcendental Realism
(at PhilPapers)





Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.