more from this thinker     |     more from this text

Single Idea 13849

[filed under theme 5. Theory of Logic / A. Overview of Logic / 6. Classical Logic ]

Full Idea

Classical logic rests on the concepts of truth and falsity (and usually makes use of a semantic theory based on models), whereas constructivist logic accounts for inference in terms of defense and refutation.

Gist of Idea

Classical logic rests on truth and models, where constructivist logic rests on defence and refutation

Source

Engelbretsen,G/Sayward,C (Philosophical Logic: Intro to Advanced Topics [2011], Intro)

Book Ref

Engelbretsen,G/Sayward,C: 'Philosophical Logic: Intro to Advanced Topics' [Continuum 2011], p.2

A Reaction

My instincts go with the classical view, which is that inferences do not depend on the human capacity to defend them, but sit there awaiting revelation. My view isn't platonist, because I take the inferences to be rooted in the physical world.

The 27 ideas with the same theme [system of logic accepted as the modern norm]:

12376 Demonstrations by reductio assume excluded middle [Aristotle]
13337 A language: primitive terms, then definition rules, then sentences, then axioms, and finally inference rules [Tarski]
9002 Elementary logic requires truth-functions, quantifiers (and variables), identity, and also sets of variables [Quine]
9820 In classical logic, logical truths are valid formulas; in higher-order logics they are purely logical [Dummett]
3098 Deductive logic is the only logic there is [Harman]
13346 Truth is the basic notion in classical logic [Bostock]
13545 Elementary logic cannot distinguish clearly between the finite and the infinite [Bostock]
13822 Fictional characters wreck elementary logic, as they have contradictions and no excluded middle [Bostock]
12430 Classical logic is our preconditions for assessing empirical evidence [Kitcher]
12431 I believe classical logic because I was taught it and use it, but it could be undermined [Kitcher]
9463 Classical logic is bivalent, has excluded middle, and only quantifies over existent objects [Jacquette]
23548 Indeterminacy is in conflict with classical logic [Fine,K]
15405 Classical logic neglects the non-mathematical, such as temporality or modality [Burgess]
15421 Classical logic neglects counterfactuals, temporality and modality, because maths doesn't use them [Burgess]
15427 The Cut Rule expresses the classical idea that entailment is transitive [Burgess]
18784 In classical logic the connectives can be related elegantly, as in De Morgan's laws [Mares]
18793 Material implication (and classical logic) considers nothing but truth values for implications [Mares]
10972 The non-emptiness of the domain is characteristic of classical logic [Read]
15020 Classical logic is good for mathematics and science, but less good for natural language [Sider]
4705 Logical relativism appears if we allow more than one legitimate logical system [O'Grady]
8951 Classical logic is: excluded middle, non-contradiction, contradictions imply all, disjunctive syllogism [Fisher]
15326 Doubt is thrown on classical logic by the way it so easily produces the liar paradox [Horsten]
16333 The underestimated costs of giving up classical logic are found in mathematical reasoning [Halbach]
13849 Classical logic rests on truth and models, where constructivist logic rests on defence and refutation [Engelbretsen/Sayward]
18804 The case for classical logic rests on its rules, much more than on the Principle of Bivalence [Rumfitt]
18805 Classical logic rules cannot be proved, but various lines of attack can be repelled [Rumfitt]
18827 If truth-tables specify the connectives, classical logic must rely on Bivalence [Rumfitt]