The logic of implication |
| |
| Authors: | Noel Balzer |
| |
| Institution: | 1. 13 Cripps Avenue, 2208, Kingsgrove, N.S.W., Australia
|
| |
| Abstract: | The principles that AN INSTANCE OF A CLASS IS THE CLASS and A CLASS IS AN INSTANCE OF ITSELF allow for the so called LAWS OF THOUGHT| 1. |
IDENTITY - WHAT IS, IS.
| | 2. |
CONTRADICTION - NOTHING BOTH IS and IS NOT.
| | 3. |
EXCLUDED MIDDLE - EVERYTHING IS or IS NOT.
|
and allow us to adopt a bivalent system. Everything essential for primary logic is provided. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
