Combining Texts

Ideas for 'fragments/reports', 'The Fourth Revolution' and 'Essays on Active Powers 1: Active power'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


3 ideas

5. Theory of Logic / A. Overview of Logic / 5. First-Order Logic
Classical liberalism seeks freedom of opinion, of private life, of expression, and of property [Micklethwait/Wooldridge]
     Full Idea: The classical liberals agreed on a basic list of freedoms: of opinion (including religion), of private life, of expression, and of property
     From: Micklethwait,J/Wooldridge,A (The Fourth Revolution [2014], 9)
     A reaction: Mill is main articulator of this. Modern neo-liberals focus on economic freedom. Neither of them seem to make freedom of opportunity central, though I suspect our modern Liberal Party would.
5. Theory of Logic / B. Logical Consequence / 5. Modus Ponens
Modus ponens is one of five inference rules identified by the Stoics [Chrysippus, by Devlin]
     Full Idea: Modus ponens is just one of the five different inference rules identified by the Stoics.
     From: report of Chrysippus (fragments/reports [c.240 BCE]) by Keith Devlin - Goodbye Descartes Ch.2
     A reaction: Modus ponens strikes me as being more like a definition of implication than a 'rule'. Implication is what gets you from one truth to another. All the implications of a truth must also be true.
5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle
Every proposition is either true or false [Chrysippus, by Cicero]
     Full Idea: We hold fast to the position, defended by Chrysippus, that every proposition is either true or false.
     From: report of Chrysippus (fragments/reports [c.240 BCE]) by M. Tullius Cicero - On Fate ('De fato') 38
     A reaction: I am intrigued to know exactly how you defend this claim. It may depend what you mean by a proposition. A badly expressed proposition may have indeterminate truth, quite apart from the vague, the undecidable etc.