Acronyms and symbols used in What is Logic?:

OGC	- One Global (Multiversal) Context
OGT	- One Global (Multiversal) Truth
SOM	- Subject-Object Metaphysics

What is Logic?

According to Aristotle, logic is a branch of philosophy which studies valid inference. Logic is a way to reason well (more generally) about reality. We agree; however, we think current Western logic, which is founded on Aristotelian SOM assumptions, cripples our ability to reason well.

Logic is the method of dialectic. Dialectic is the process of arriving at the truth via dialog of logical argumentation. Dialectic resolves argument by statement of propositions which may be valued true, false, or neither.

To quote Hughes directly, "The things that are [either] true or false, at least in any sense of 'true' and 'false' with which Buridan thinks [...and Aquinas, Newton, Einstein, Hume, et al., thingk...] the logician should be concerned, are what he calls propositions." Doug's bracketed comment - 27Aug2012.

Note our partial list of classes of propositions (written in SOMese) which SOM dialectic excludes:

• Propositions about that which does not exist
• Reliable, both TRUE and FALSE, existential logical propositions
• Reliable, either TRUE or FALSE, nonexistential logical propositions
• Reliable, both TRUE and FALSE, nonexistential logical propositions
• Reliable, either TRUE or FALSE, existential-mixed-nonexistential logical propositions
• Reliable, both TRUE and FALSE, existential-mixed-nonexistential logical propositions
• Propositions about stuff which is not substantial and objective

It is extraordinary, illuminated by bright and glaring light of our above list, to consider SOM dialectic includes only:

• Reliable, either TRUE or FALSE, existential logical propositions
• Tautological propositions (e.g., Aristotle's syllogistic laws, which by~the~wayve are sophisms! Aristotle created his own 'unintended super-dialectical consequences!') Doug - 27Aug2012.

  (Rev. 8Dec1999 PDR) In Quantonics, we talk about different types/kinds of logic. SOM's bivalent logic assumes OGT in OGC. In other words, SOM's de facto legacy logic is uni-logical or homo-logical (one or same Aristotelian logic). By comparison, MoQ, Quantonics, and quantum scihænce are paralogical~pragmalogical. All differ from SOM in how they view reality with many potentially omnivalent logics, in many con(m)text(ing)s, proposing and asserting many truths. Paralogism~pragmalogism are dual terms for sophism. Pragmalogism is a quantum term for quantum~Peircean abductionism. So those of us who practice MoQ/Quantonic/quantum-logic AKA coquecigrues are, by definition, paralogists~pragmalogists and thus sophists. Paralogists see islands of truth, SOM being only one of many. Within a logical island of truth, local logic holds, but is subject to quantum affects of nonlocal logics. Nonlocal affects are seen, when one views them only from within a local logic, as paralogisms, and are called "paradice." Viewed from a larger paralogical perspective, paradice resolve as "many truths." Also see, more recent CeodE 2009, oxymora. Also see What are Sophisms? Doug - 27Aug2012.

Thank you for reading,

Doug.