[FOM] Examples of paraconsistent systems

Joe Shipman joeshipman at aol.com
Tue Jan 29 01:17:21 EST 2019

Can anyone provide an example of a formal system for some part of mathematics which is known to be inconsistent but not known to have a feasibly derivable inconsistency? (In other words, it is “known” to be inconsistent according to a proof relying on some other formal system which can formulate the proposition of its consistency, but also has a clear enough semantics that there is *some* statement it can express which is obviously false.)

— JS

Sent from my iPhone

More information about the FOM mailing list