4 ideas
7334 | Anti-realism needs an intuitionist logic with no law of excluded middle [Dummett, by Miller,A] |
Full Idea: Dummett argues that antirealism implies that classical logic must be given up in favour of some form of intuitionistic logic that does not have the law of excluded middle as a theorem. | |
From: report of Michael Dummett (works [1970]) by Alexander Miller - Philosophy of Language 9.4 | |
A reaction: Only realists can think every proposition is either true or false, even if it is beyond the bounds of our possible knowledge (e.g. tiny details from remote history). Personally I think "Plato had brown eyes" is either true or false. |
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
Full Idea: Gentzen thought that his natural deduction gets at the heart of logical reasoning, and used the sequent calculus only as a convenient tool for proving his chief results. | |
From: report of Gerhard Gentzen (Investigations into Logical Deduction [1935]) by Ian Hacking - What is Logic? §05 |
3303 | For anti-realists there are no natural distinctions between objects [Dummett, by Benardete,JA] |
Full Idea: Dummett says that anti-realism offers us a picture of reality as an amorphous lump not yet articulated into discrete objects. | |
From: report of Michael Dummett (works [1970]) by José A. Benardete - Metaphysics: the logical approach Ch.2 | |
A reaction: This might be called 'weak' anti-realism, where 'strong' anti-realism is the view that reality is quite unknowable, and possibly non-existent. |
6017 | Nomos is king [Pindar] |
Full Idea: Nomos is king. | |
From: Pindar (poems [c.478 BCE], S 169), quoted by Thomas Nagel - The Philosophical Culture | |
A reaction: This seems to be the earliest recorded shot in the nomos-physis wars (the debate among sophists about moral relativism). It sounds as if it carries the full relativist burden - that all that matters is what has been locally decreed. |