3 ideas
9463 | Classical logic is bivalent, has excluded middle, and only quantifies over existent objects [Jacquette] |
Full Idea: Classical logic (of Whitehead, Russell, Gödel, Church) is a two-valued system of propositional and predicate logic, in which all propositions are exclusively true or false, and quantification and predication are over existent objects only. | |
From: Dale Jacquette (Intro to I: Classical Logic [2002], p.9) | |
A reaction: All of these get challenged at some point, though the existence requirement is the one I find dubious. |
17897 | Analytic explanation is wholes in terms of parts; synthetic is parts in terms of wholes or contexts [Belnap] |
Full Idea: Throughout the whole texture of philosophy we distinguish two modes of explanation: the analytic mode, which tends to explain wholes in terms of parts, and the synthetic mode, which explains parts in terms of the wholes or contexts in which they occur. | |
From: Nuel D. Belnap (Tonk, Plonk and Plink [1962], p.132) | |
A reaction: The analytic would be bottom-up, and the synthetic would be top-down. I'm inclined to combine them, and say explanation begins with a model, which can then be sliced in either direction, though the bottom looks more interesting. |
5655 | Happiness is not satisfaction of desires, but fulfilment of values [Bradley, by Scruton] |
Full Idea: For Bradley, the happiness of the individual is not to be understood in terms of his desires and needs, but rather in terms of his values - which is to say, in terms of those of his desires which he incorporates into his self. | |
From: report of F.H. Bradley (Ethical Studies [1876]) by Roger Scruton - Short History of Modern Philosophy Ch.16 | |
A reaction: Good. Bentham will reduce the values to a further set of desires, so that a value is a complex (second-level?) desire. I prefer to think of values as judgements, but I like Scruton's phrase of 'incorporating into his self'. Kant take note (Idea 1452). |