display all the ideas for this combination of philosophers
2 ideas
13850 | In modern logic all formal validity can be characterised syntactically [Engelbretsen/Sayward] |
Full Idea: One of the key ideas of modern formal logic is that all formally valid inferences can be specified in strictly syntactic terms. | |
From: Engelbretsen,G/Sayward,C (Philosophical Logic: Intro to Advanced Topics [2011], Ch.2) |
13849 | Classical logic rests on truth and models, where constructivist logic rests on defence and refutation [Engelbretsen/Sayward] |
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. | |
From: Engelbretsen,G/Sayward,C (Philosophical Logic: Intro to Advanced Topics [2011], Intro) | |
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. |