“…He developed a new kind of constructive mathematics, called intuitionism, which seems to allow for a rigorous refutation of widely accepted mathematical assumptions including fundamental principles of classical logic. Following an intense mathematical debate esp. in the 1920s, Brouwer's revolutionary criticism became a central philosophical concern in the 1970s, when Michael Dummett tried to substantiate it with meaning-theoretic considerations.…”
Enlace del recurso

Enlace del recurso
Enlace del recurso
Enlace del recurso

Enlace del recurso
Enlace del recurso
Enlace del recurso

“…It is concluded that classical logic is sufficient for dealing with quantum mechanical propositions.…”
Enlace del recurso

“…A contra-classical logic is a logic that, over the same language as that of classical logic, validates arguments that are not classically valid. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso

“…Many-valued logics were developed as an attempt to handle philosophical doubts about the "law of excluded middle" in classical logic. The first many-valued formal systems were developed by J. …”
Enlace del recurso
Enlace del recurso

“…The discussion of classical logic is rounded off with a concise exposition of second-order logic. …”
Enlace del recurso
Enlace del recurso

“…Many important logical arguments, which are valid either in Birkhoff and von Neumann’s quantum logic or in classical logic, are generally violated.…”
Enlace del recurso
Enlace del recurso
Enlace del recurso

“…On the plausible assumption that our logical practice is both single-conclusion and assertion-based, it seemingly follows that classical logic, unlike intuitionistic logic, can’t be accounted for in inferentialist terms. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso

“…This book describes the aspects of mathematical logic that are closely related to each other, including classical logic, constructive logic, and modal logic. …”
Enlace del recurso

“…This paper presents a computational method based on non-classical logic dedicated to routing management and information stream control in communication networks. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso

“…Van Dalen's book, the success and popularity of which may be suspected from this steady interest in it, contains a thorough introduction to elementary classical logic in a relaxed way, suitable for mathematics students who just want to get to know logic. …”
Enlace del recurso
Enlace del recurso

“…Since Saul Kripke’s influential work in the 1970s, the revisionary approach to semantic paradox—the idea that semantic paradoxes must be solved by weakening classical logic—has been increasingly popular. In this paper, we present a new revenge argument to the effect that the main revisionary approaches breed new paradoxes that they are unable to block.…”
Enlace del recurso
Enlace del recurso
Enlace del recurso

“…We show that our measures can be seen as approximation of classical probability measures over classical logic, and that a variant of the PSAT [10] problem for them is solvable in polynomial time.…”
Enlace del recurso
Enlace del recurso

“…Given its scope, the book offers a valuable resource for researchers and teachers in the areas of rough sets and algebras of rough sets, algebraic logic, non classical logic, fuzzy sets, possibility theory, formal concept analysis, computational learning theory, category theory, and other formal approaches to vagueness and approximate reasoning. …”
Enlace del recurso
Enlace del recurso

“…At first glance, Robinson's original form of nonstandard analysis appears nonconstructive in essence, because it makes a rather unrestricted use of classical logic and set theory and, in particular, of the axiom of choice. …”
Enlace del recurso
Enlace del recurso

“…The papers touch upon a wide range of topics including combination of logic, non-classical logic, square and other geometrical figures of opposition, categorical logic, set theory, foundation of logic, philosophy and history of logic (Aristotle, Avicenna, Buridan, Schröder, MacColl). …”
Enlace del recurso
Enlace del recurso
Enlace del recurso

“…Five example are given: 1) The validity of axioms and rules of classical propositional logic depend on the interpretation of sentential variables; 2) The language­ dependency of verisimilitude; 3) The proof of the weak and strong anti­ inductivist theorems in Popper's theory of inductive support is not invariant with respect to limitative criteria put on classical logic; 4) The language-dependency of the concept of provability; 5) The language­ dependency of the existence of ungrounded and paradoxical sentences (in the sense of Kripke). …”
Enlace del recurso
Enlace del recurso

“…This language, which we call Zsyntax (where Z stands for the Greek word ζωή, life), is grounded on a particular type of non-classical logic, and it can be used to write algorithms and computer programs. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso

“…We argue that many formal systems are required for psychology: classical logic, non-monotonic logics, probability logics, relevance logic, and others. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso