Combining Texts

Ideas for 'fragments/reports', 'Giordano Bruno and Hermetic Tradition' and 'A Mathematical Introduction to Logic (2nd)'

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

display all the ideas for this combination of texts


2 ideas

5. Theory of Logic / B. Logical Consequence / 2. Types of Consequence
Validity is either semantic (what preserves truth), or proof-theoretic (following procedures) [Enderton]
     Full Idea: The point of logic is to give an account of the notion of validity,..in two standard ways: the semantic way says that a valid inference preserves truth (symbol |=), and the proof-theoretic way is defined in terms of purely formal procedures (symbol |-).
     From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], 1.1.3..)
     A reaction: This division can be mirrored in mathematics, where it is either to do with counting or theorising about things in the physical world, or following sets of rules from axioms. Language can discuss reality, or play word-games.
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.