Combining Philosophers
Ideas for Lynch,MP/Glasgow,JM, Theodore Sider and R Keefe / P Smith
expand these ideas
|
start again
|
choose
another area for these philosophers
display all the ideas for this combination of philosophers
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]
|
13680
|
Maybe logical consequence is a primitive notion [Sider]
|
13682
|
Maybe logical consequence is impossibility of the premises being true and the consequent false [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]
|