Combining Texts

Ideas for 'fragments/reports', 'Problems of Knowledge' and 'The Metaphysics of Modality'

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 / A. Overview of Logic / 3. Value of Logic
Deduction shows entailments, not what to believe [Williams,M]
     Full Idea: The rules of deduction are rules of entailment, not rules of inference. They tell us what follows from what, not what to believe on the basis of what.
     From: Michael Williams (Problems of Knowledge [2001], Ch.18)
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / d. and
Is the meaning of 'and' given by its truth table, or by its introduction and elimination rules? [Forbes,G]
     Full Idea: The typical semantic account of validity for propositional connectives like 'and' presupposes that meaning is given by truth-tables. On the natural deduction view, the meaning of 'and' is given by its introduction and elimination rules.
     From: Graeme Forbes (The Metaphysics of Modality [1985], 4.4)