Philosopher Susan Haack uses the term "**deviant logic**" to describe certain non-classical systems of logic. In these logics,

- the set of well-formed formulas generated equals the set of well-formed formulas generated by classical logic.
- the set of theorems generated is different from the set of theorems generated by classical logic.

The set of theorems of a deviant logic can differ in any possible way from classical logic's set of theorems: as a proper subset, superset, or fully exclusive set. A notable example of this is the trivalent logic developed by Polish logician and mathematician Jan Ćukasiewicz. Under this system, any theorem necessarily dependent on classical logic's principle of bivalence would fail to be valid. The term first appears in Chapter 6 of W.V.O. Quine's *Philosophy of Logic*, New Jersey: Prentice Hall (1970), which is cited by Haack on p.15 of her book.

Read more about Deviant Logic: Quasi-deviant and Extended Logics, Two Decades Later

### Other articles related to "deviant logic, logics, logic":

...

**Deviant Logic**... Philosophy of

**Logics**. 1996,

**Deviant Logic**, Fuzzy

**Logic**Beyond the Formalism ...

**Deviant Logic**- Two Decades Later

... stand well the test of time, particularly with the "extraordinary proliferation of nonclassical

**logics**in the past two decadesâparaconsistent

**logics**, linear

**logics**, substructural

**logics**...

### Famous quotes containing the word logic:

“There is no morality by instinct.... There is no social salvation—in the end—without taking thought; without mastery of *logic* and application of *logic* to human experience.”

—Katharine Fullerton Gerould (1879–1944)