classical logic

(redirected from Non-classical logic)
Also found in: Wikipedia.

classical logic

(logic)
References in periodicals archive ?
In this first collection in a planned series, contributors focus on basic issues related to the formal aspects of IT systems and cover efficient algorithms, graph-theoretic methods and recent applications in computer science, classical and non-classical logic, automata, tree transducers, logic in computer science, finite-source queuing systems, and metamodeling and model transformations.
Perhaps, then, we should investigate the implications of an indeterminacy view combined with a non-classical logic.
Firstly that Dummett's idea that reflective theorising about mathematics will inevitably lead to indeterminacy and necessitate use of a non-classical logic is basically right; but a coherent working out of the idea will require a coherent framework for naive set theory, and that is evidently not an intuitionistic one.
Finally, Cooper notes that the distinction between his two stages is somewhat artificial, since a good reason for thinking that a system of beliefs is embedded in a non-classical logic is precisely that difficulties such as apparent inconsistencies are removed if such a logic is applied.
Salmon's argument that Zande logic cannot be Lukasiewicz's L3 iS correct but, as Cooper himself would point out, it rules out only one kind of non-classical logic and there are many others available to choose from.
To specify privacy, LV-Pri20 will design/refine different non-classical logic languages which have inherent semantics for privacy-like expression (e.
One common characteristic of the articles collected here is that they all adopt some version or other of non-classical logic.
One major philosophical problem concerns the entailment from conceivability to so-called absolute possibility in thought experiments of theoretical philosophy: how does conceiving a scenario give evidence of its possibility LoC will address such issues via the techniques of non-classical logics with non-normal worlds semantics.
In the classical context, this happens as soon as the formal language has infinitely many elementary letters; for many non-classical logics, it can also arise in the finite case.
Building hybrid versions of these two models, versions which graft classical and non-classical logics, might look like a way around the extreme either/or choice of a neo-symbolist or pan-connectionist account, but at some point every hybrid will face the same choice between processing strategies.
Situations of this kind are not unknown in non-classical logics.

Full browser ?