display all the ideas for this combination of philosophers
4 ideas
8452 | Traditionally, universal sentences had existential import, but were later treated as conditional claims [Orenstein] |
Full Idea: In traditional logic from Aristotle to Kant, universal sentences have existential import, but Brentano and Boole construed them as universal conditionals (such as 'for anything, if it is a man, then it is mortal'). | |
From: Alex Orenstein (W.V. Quine [2002], Ch.2) | |
A reaction: I am sympathetic to the idea that even the 'existential' quantifier should be treated as conditional, or fictional. Modern Christians may well routinely quantify over angels, without actually being committed to them. |
8475 | The substitution view of quantification says a sentence is true when there is a substitution instance [Orenstein] |
Full Idea: The substitution view of quantification explains 'there-is-an-x-such-that x is a man' as true when it has a true substitution instance, as in the case of 'Socrates is a man', so the quantifier can be read as 'it is sometimes true that'. | |
From: Alex Orenstein (W.V. Quine [2002], Ch.5) | |
A reaction: The word 'true' crops up twice here. The alternative (existential-referential) view cites objects, so the substitution view is a more linguistic approach. |
19110 | In classical logic the relation |= has Monotony built into its definition [Antonelli] |
Full Idea: In classical logic, Monotony follows immediately from the nature of the relation |=, for Γ |= φ holds precisely when φ is true on every interpretation on which all sentences in Γ are true. | |
From: G. Aldo Antonelli (Non-Monotonic Logic [2014], 1) | |
A reaction: That is, semantic consequence (|=) is defined in terms of a sentence (φ) always being true if some other bunch of sentences (Γ) are true. Hence the addition of further sentences to Γ will make no difference - which is Monotony. |
19112 | Cautious Monotony ignores proved additions; Rational Monotony fails if the addition's negation is proved [Antonelli] |
Full Idea: Basic Monotony: something stays proved if further premises are added. Cautious Monotony: the addition of something which has been proved makes no difference. Rational Monotony: it stays proved as long as the addition's negation hasn't been proved. | |
From: G. Aldo Antonelli (Non-Monotonic Logic [2014], 1) | |
A reaction: [A compressed and non-symbolic summary] |