display all the ideas for this combination of texts
5 ideas
13678 | The most popular account of logical consequence is the semantic or model-theoretic one [Sider] |
Full Idea: On the question of the nature of genuine logical consequence, ...the most popular answer is the semantic, or model-theoretic one. | |
From: Theodore Sider (Logic for Philosophy [2010], 1.5) | |
A reaction: Reading the literature, one might be tempted to think that this is the only account that anyone takes seriously. Substitutional semantics seems an interesting alternative. |
13679 | Maybe logical consequence is more a matter of provability than of truth-preservation [Sider] |
Full Idea: Another answer to the question about the nature of logical consequence is a proof-theoretic one, according to which it is more a matter of provability than of truth-preservation. | |
From: Theodore Sider (Logic for Philosophy [2010], 1.5) | |
A reaction: I don't like this, and prefer the model-theoretic or substitutional accounts. Whether you can prove that something is a logical consequence seems to me entirely separate from whether you can see that it is so. Gödel seems to agree. |
13682 | Maybe logical consequence is impossibility of the premises being true and the consequent false [Sider] |
Full Idea: The 'modal' account of logical consequence is that it is not possible for the premises to be true and the consequent false (under some suitable notion of possibility). | |
From: Theodore Sider (Logic for Philosophy [2010], 1.5) | |
A reaction: Sider gives a nice summary of five views of logical consequence, to which Shapiro adds substitutional semantics. |
13680 | Maybe logical consequence is a primitive notion [Sider] |
Full Idea: There is a 'primitivist' account, according to which logical consequence is a primitive notion. | |
From: Theodore Sider (Logic for Philosophy [2010], 1.5) | |
A reaction: While sympathetic to substitutional views (Idea 13674), the suggestion here pushes me towards thinking that truth must be at the root of it. The trouble, though, is that a falsehood can be a good logical consequence of other falsehoods. |
13722 | A 'theorem' is an axiom, or the last line of a legitimate proof [Sider] |
Full Idea: A 'theorem' is defined as the last line of a proof in which each line is either an axiom or follows from earlier lines by a rule. | |
From: Theodore Sider (Logic for Philosophy [2010], 9.7) | |
A reaction: In other words, theorems are the axioms and their implications. |