Combining Texts

Ideas for 'fragments/reports', 'Politics' and 'Logic for Philosophy'

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

display all the ideas for this combination of texts

---

5 ideas

5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence

13678

The most popular account of logical consequence is the semantic or model-theoretic one [Sider]

13679

Maybe logical consequence is more a matter of provability than of truth-preservation [Sider]

13682

Maybe logical consequence is impossibility of the premises being true and the consequent false [Sider]

13680

Maybe logical consequence is a primitive notion [Sider]

5. Theory of Logic / B. Logical Consequence / 3. Deductive Consequence |-

13722

A 'theorem' is an axiom, or the last line of a legitimate proof [Sider]