Combining Texts
Ideas for
'Writing the Book of the World', 'A World of States of Affairs' and 'Logic for Philosophy'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
6 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]
|
15029
|
Modal accounts of logical consequence are simple necessity, or essential use of logical words [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]
|