Combining Texts
Ideas for
'works', 'Logic for Philosophy' and 'Frege on Knowing the Foundations'
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
13680
|
Maybe logical consequence is a primitive notion [Sider]
|
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]
|
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]
|