display all the ideas for this combination of texts
6 ideas
16335 | In Strong Kleene logic a disjunction just needs one disjunct to be true [Halbach] |
Full Idea: In Strong Kleene logic a disjunction of two sentences is true if at least one disjunct is true, even when the other disjunct lacks a truth value. | |
From: Volker Halbach (Axiomatic Theories of Truth [2011], 18) | |
A reaction: This sounds fine to me. 'Either I'm typing this or Homer had blue eyes' comes out true in any sensible system. |
16334 | In Weak Kleene logic there are 'gaps', neither true nor false if one component lacks a truth value [Halbach] |
Full Idea: In Weak Kleene Logic, with truth-value gaps, a sentence is neither true nor false if one of its components lacks a truth value. A line of the truth table shows a gap if there is a gap anywhere in the line, and the other lines are classical. | |
From: Volker Halbach (Axiomatic Theories of Truth [2011], 18) | |
A reaction: This will presumably apply even if the connective is 'or', so a disjunction won't be true, even if one disjunct is true, when the other disjunct is unknown. 'Either 2+2=4 or Lot's wife was left-handed' sounds true to me. Odd. |
3302 | Set theory is full of Platonist metaphysics, so Quine aimed to keep it separate from logic [Quine, by Benardete,JA] |
Full Idea: Quine has showed us how set theory - now recognised to be positively awash in Platonistic metaphysics - can and should be prevented from infecting logic proper. | |
From: report of Willard Quine (works [1961]) by José A. Benardete - Metaphysics: the logical approach Intro |
16309 | Every attempt at formal rigour uses some set theory [Halbach] |
Full Idea: Almost any subject with any formal rigour employs some set theory. | |
From: Volker Halbach (Axiomatic Theories of Truth [2011], 4.1) | |
A reaction: This is partly because mathematics is often seen as founded in set theory, and formal rigour tends to be mathematical in character. |
10211 | Quine wants V = L for a cleaner theory, despite the scepticism of most theorists [Quine, by Shapiro] |
Full Idea: Quine suggests that V = L be accepted in set theory because it makes for a cleaner theory, even though most set theorists are skeptical of V = L. | |
From: report of Willard Quine (works [1961]) by Stewart Shapiro - Philosophy of Mathematics Ch.1 | |
A reaction: Shapiro cites it as a case of a philosopher trying to make recommendations to mathematicians. Maddy supports Quine. |
3336 | Two things can never entail three things [Quine, by Benardete,JA] |
Full Idea: Two things can never entail three things. | |
From: report of Willard Quine (works [1961]) by José A. Benardete - Metaphysics: the logical approach Ch.17 |