more from this thinker | more from this text
Full Idea
A logical step is a 'material consequence' and not a formal one, if we need the contents as well as the structure or form.
Gist of Idea
A step is a 'material consequence' if we need contents as well as form
Source
JC Beall / G Restall (Logical Consequence [2005], 2)
Book Ref
'Stanford Online Encyclopaedia of Philosophy', ed/tr. Stanford University [plato.stanford.edu], p.4
12196 | A valid hypothetical syllogism is 'that which does not begin with a truth and end with a falsehood' [Sext.Empiricus] |
14106 | Implication cannot be defined [Russell] |
14108 | It would be circular to use 'if' and 'then' to define material implication [Russell] |
9520 | The paradoxes of material implication are P |- Q → P, and ¬P |- P → Q [Lemmon] |
6879 | 'Material implication' is defined as 'not(p and not-q)', but seems to imply a connection between p and q [Mautner] |
6878 | A person who 'infers' draws the conclusion, but a person who 'implies' leaves it to the audience [Mautner] |
10689 | A step is a 'material consequence' if we need contents as well as form [Beall/Restall] |