display all the ideas for this combination of philosophers
8 ideas
6877 | Entailment is logical requirement; it may be not(p and not-q), but that has problems [Mautner] |
Full Idea: Entailment is the modern word saying that p logically follows from q. Its simplest definition is that you cannot have both p and not-q, but this has the problem that if p is impossible it will entail every possible proposition, which seems unacceptable. | |
From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.169) | |
A reaction: The word 'entail' was introduced by G.E. Moore in 1920, in preference to 'imply'. It seems clear that we need terms for (say) active implication (q must be true if p is true) and passive implication (p must be false if q is false). |
6880 | Strict implication says false propositions imply everything, and everything implies true propositions [Mautner] |
Full Idea: Strict implication [not(p and not-q)] carries the paradoxes that a false proposition (p) implies any proposition (q), and a true proposition (q) is materially implied by any proposition (p). | |
From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.270) | |
A reaction: This seems to show that we have two drastically different notions of implication; one (the logician's) is boring and is defined by a truth table; the other (the ordinary interesting one) says if you have one truth you can deduce a second. |
6879 | 'Material implication' is defined as 'not(p and not-q)', but seems to imply a connection between p and q [Mautner] |
Full Idea: 'Material implication' is a term introduced by Russell which is defined as 'the conjunction of p and not-q is false', but carries a strong implication that p implies q, and so there must be some kind of connection between them, which is misleading. | |
From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.270) | |
A reaction: Mautner says statements of the form 'if p then q' are better called 'conditionals' than 'material implications'. Clearly there is a need for more precise terminology here, as the underlying concepts seem simple enough. |
6878 | A person who 'infers' draws the conclusion, but a person who 'implies' leaves it to the audience [Mautner] |
Full Idea: 'Implying' is different from 'inferring', because a person who infers draws the conclusion, but a person who implies leaves it to the audience to draw the conclusion. | |
From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.279) | |
A reaction: I had always taken it just that the speaker does the implying and the audience does the inferring. Of course a speaker may not know what he or she is implying, but an audience must be aware of what it is inferring. |
6889 | Vagueness seems to be inconsistent with the view that every proposition is true or false [Mautner] |
Full Idea: Vagueness is of great philosophical interest because it seems to be inconsistent with the view that every proposition is true or false. | |
From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.585) | |
A reaction: This would explain why Williamson and Sorensen are keen to argue that vagueness is an epistemological (rather than ontological) problem. In ordinary English we are happy to say that p is 'sort of true' or 'fairly true'. |
13427 | Either 'a = b' vacuously names the same thing, or absurdly names different things [Ramsey] |
Full Idea: In 'a = b' either 'a' and 'b' are names of the same thing, in which case the proposition says nothing, or of different things, in which case it is absurd. In neither case is it an assertion of a fact; it only asserts when a or b are descriptions. | |
From: Frank P. Ramsey (The Foundations of Mathematics [1925], §1) | |
A reaction: This is essentially Frege's problem with Hesperus and Phosphorus. How can identities be informative? So 2+2=4 is extensionally vacuous, but informative because they are different descriptions. |
6890 | Quantifiers turn an open sentence into one to which a truth-value can be assigned [Mautner] |
Full Idea: In formal logic, quantifiers are operators that turn an open sentence into a sentence to which a truth-value can be assigned. | |
From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.464) | |
A reaction: The standard quantifiers are 'all' and 'at least one'. The controversy is whether quantifiers actually assert existence, or whether (as McGinn says) they merely specify the subject matter of the sentence. I prefer the latter. |
13334 | Contradictions are either purely logical or mathematical, or they involved thought and language [Ramsey] |
Full Idea: Group A consists of contradictions which would occur in a logical or mathematical system, involving terms such as class or number. Group B contradictions are not purely logical, and contain some reference to thought, language or symbolism. | |
From: Frank P. Ramsey (The Foundations of Mathematics [1925], p.171), quoted by Graham Priest - The Structure of Paradoxes of Self-Reference 1 | |
A reaction: This has become the orthodox division of all paradoxes, but the division is challenged by Priest (Idea 13373). He suggests that we now realise (post-Tarski?) that language is more involved in logic and mathematics than we thought. |