고전논리학
둘러보기로 가기
검색하러 가기
노트
위키데이터
- ID : Q236975
말뭉치
- In fact, classical logic was the reconciliation of Aristotle's logic, which dominated most of the last 2000 years, with the propositional Stoic logic.[1]
- Leibniz's calculus ratiocinator can be seen as foreshadowing classical logic.[1]
- Bernard Bolzano has the understanding of existential import found in classical logic and not in Aristotle.[1]
- Though he never questioned Aristotle, George Boole's algebraic reformulation of logic, so called Boolean logic, was a predecessor of modern mathematical logic and classical logic.[1]
- Though various alternatives and innumerable extensions to classical logic have been proposed, none has yet succeeded in questioning its domination.[2]
- Thus, it is no surprise that many attempts to apply formal methods to the law have been centred upon using first-order classical logic.[2]
- By “classical logic” one broadly refers to those such systems which reflect the kind of logic as understood, quite literally, by the classics, say starting with Aristotle, Metaphysics 1011b24.[3]
- There is some variance in what exactly counts as classical and as non-classical in logic, but one main characteristic of classical logic is its use of the principle of excluded middle.[3]
- One consequence of the principle of excluded middle in classical logic is the possibility to obtain proof of a proposition by showing that its negation is false (proof by contradiction).[3]
- There are other principles that are often associated with classical logic, which still seemed self-evident at a time, but maybe less so than the principle of excluded middle.[3]
- Inferential conception of explanation follows the classical logic argument.[4]
- We give an equivalent proof for the classical logic which turns out to have disjoint distributive and nondistributive ortholattices.[5]
- In particular, we prove that both classical logic and quantum logic are sound and complete with respect to each of these lattices.[5]
- We also show that there is one common nonorthomodular lattice that is a model of both quantum and classical logic.[5]
- In classical logic, it has been known as two-valued interpretation for more than a century.[5]
- Suffice it to note that the inference ex falso quodlibet is sanctioned in systems of classical logic, the subject of this article.[6]
- For this reason, classical logic has often been called “the one right logic”.[6]
- That classical logic has been given as the answer to which logic ought to guide reasoning is not unexpected.[6]
- As indicated in Section 5, there are certain expressive limitations to classical logic.[6]
- us explain why it is fair to say that an image is a copy of classical logic in intuitionistic logic.[7]
- The book identifies a number of important current trends in contemporary non-classical logic.[8]
- This course explores non-classical logics and extensions to classical logic.[9]
소스
- ↑ 1.0 1.1 1.2 1.3 Classical logic
- ↑ 2.0 2.1 Classical Logic and the Law
- ↑ 3.0 3.1 3.2 3.3 classical logic in nLab
- ↑ Classical Logic - an overview
- ↑ 5.0 5.1 5.2 5.3 Classical Logic and Quantum Logic with Multiple and Common Lattice Models
- ↑ 6.0 6.1 6.2 6.3 Classical Logic (Stanford Encyclopedia of Philosophy)
- ↑ Copies of Classical Logic in Intuitionistic Logic
- ↑ Essays on Non-Classical Logic
- ↑ Beyond Classical Logic
메타데이터
위키데이터
- ID : Q236975
Spacy 패턴 목록
- [{'LOWER': 'classical'}, {'LEMMA': 'logic'}]
- [{'LOWER': 'standard'}, {'LEMMA': 'logic'}]