then includes time, but then does not So trying to describe a system with temporal feedback in logic can lead to inconsistencies.
- 
If there is a contact, the contact will break.
 - 
If P, then it is NOT P
 - 
Rational mysticism p.221
 
This page is auto-translated from /nishio/論理は因果の不完全なモデル using DeepL. If you looks something interesting but the auto-translated English is not good enough to understand it, feel free to let me know at @nishio_en. I’m very happy to spread my thought to non-Japanese readers.