![]() |
||||||
Basic Laws of Logic
La Trobe University - Australia |
||||||
The basic laws of logic are those that hold purely as a result of the meanings of the logical terms in them and are thus independent of the way the world is. By examining the definition and role of deductive logic, we make out the basic concepts upon which logic rests: meaning containment and a 4-valued (De Morgan) negation. From these, we determine a specific logic called MC (previously DJd) and also determine the role of the Law of Excluded Middle (LEM) and the Disjunctive Syllogism (DS), the key constituents of classical logic. We will argue that these two are contingent and not basic laws of logic.
In the first session we will introduce MC and its quantificational extension QMC. We will also argue for the rational assumption of the DS and introduce the three levels of involvement of the LEM. The second session will examine the properties of MC and place it within the following classes of logics: M1-metacomplete, depth relevant and paraconsistent. The third session will introduce a Fitch-style natural deduction system for MC and QMC and a Routley-Meyer semantics for MC. |
Bibliography: R.T. Brady, "The Simple Consistency of a Set Theory Based on the Logic CSQ", Notre Dame Journal of Formal Logic, Vol.24 (1983), pp.431-449. |
|||||