| 12373 | Something holds universally when it is proved of an arbitrary and primitive case [Aristotle] |
| Full Idea: Something holds universally when it is proved of an arbitrary and primitive case. | |
| From: Aristotle (Posterior Analytics [c.327 BCE], 73b33) | |
| A reaction: A key idea in mathematical logic, but it always puzzles me. If you snatch a random person in London, and they are extremely tall, does that prove that people of London are extremely tall? How do we know the arbitrary is representative? |
| 23173 | If a syllogism admits one absurdity, others must follow [Aquinas] |
| Full Idea: In syllogistic arguments, granted one absurdity, others must follow too. | |
| From: Thomas Aquinas (Summa Theologicae [1265], I-II Q19 6) | |
| A reaction: This asserts the necessity of logical consequence, which he derives from Aristotle. |
| 13342 | Carnap defined consequence by contradiction, but this is unintuitive and changes with substitution [Tarski on Carnap] |
| Full Idea: Carnap proposed to define consequence as 'sentence X follows from the sentences K iff the sentences K and the negation of X are contradictory', but 1) this is intuitively impossible, and 2) consequence would be changed by substituting objects. | |
| From: comment on Rudolph Carnap (The Logical Syntax of Language [1934], p.88-) by Alfred Tarski - The Concept of Logical Consequence p.414 | |
| A reaction: This seems to be the first step in the ongoing explicit discussion of the nature of logical consequence, which is now seen by many as the central concept of logic. Tarski brings his new tool of 'satisfaction' to bear. |
| 18812 | Split out the logical vocabulary, make an assignment to the rest. It's logical if premises and conclusion match [Tarski, by Rumfitt] |
| Full Idea: Tarski made a division of logical and non-logical vocabulary. He then defined a model as a non-logical assignment satisfying the corresponding sentential function. Then a conclusion follows logically if every model of the premises models the conclusion. | |
| From: report of Alfred Tarski (The Concept of Logical Consequence [1936]) by Ian Rumfitt - The Boundary Stones of Thought 3.2 | |
| A reaction: [compressed] This is Tarski's account of logical consequence, which follows on from his account of truth. 'Logical validity' is then 'true in every model'. Rumfitt doubts whether Tarski has given the meaning of 'logical consequence'. |
| 13681 | Logical consequence is marked by being preserved under all nonlogical substitutions [Quine, by Sider] |
| Full Idea: Quine's view of logical consequence is that it is when there is no way of uniformly substituting nonlogical expressions in the premises and consequences so that the premises all remain true but the consequence now becomes false. | |
| From: report of Willard Quine (Carnap and Logical Truth [1954], p.103) by Theodore Sider - Logic for Philosophy 1.5 | |
| A reaction: One might just say that the consequence holds if you insert consistent variables for the nonlogical terms, which looks like Aristotle's view of the matter. |
| 13827 | Logical consequence isn't a black box (Tarski's approach); we should explain how arguments work [Prawitz] |
| Full Idea: Defining logical consequence in the way Tarski does is a rather meagre result, treating an argument as a black box, observing input and output, while disregarding inner structure. We should define logical consequence on the basis of valid arguments. | |
| From: Dag Prawitz (On the General Idea of Proof Theory [1974], §2) |
| 14180 | Etchemendy says fix the situation and vary the interpretation, or fix interpretations with varying situations [Etchemendy, by Read] |
| Full Idea: In Etchemendy's Interpretational Semantics (perhaps better called 'Substitutional') we keep the situation fixed and vary the interpretation; in Representational Semantics ('Modal'?) we keep interpretations fixed but consider varying situations. | |
| From: report of John Etchemendy (The Concept of Logical Consequence [1999]) by Stephen Read - Formal and Material Consequence 'Inval' | |
| A reaction: [compressed] These are semantic strategies for interpreting logic, so they are two ways you might go about assessing an argument. |
| 14181 | Validity is where either the situation or the interpretation blocks true premises and false conclusion [Etchemendy, by Read] |
| Full Idea: The Representational account of validity says an argument is valid if there is no situation where the premises are true and the conclusion false. The Interpretation account says the premises are true and conclusion false under no interpretations. | |
| From: report of John Etchemendy (The Concept of Logical Consequence [1999]) by Stephen Read - Formal and Material Consequence 'Inval' | |
| A reaction: My immediate instinct is to want logic to be about situations, rather than interpretations. Situations are more about thought, where interpretations are more about language. I think our account of logic should have some applicability to animals. |
| 10260 | Logical consequence is defined by the impossibility of P and ¬q [Field,H, by Shapiro] |
| Full Idea: Field defines logical consequence by taking the notion of 'logical possibility' as primitive. Hence q is a consequence of P if the conjunction of the items in P with the negation of q is not possible. | |
| From: report of Hartry Field (Science without Numbers [1980]) by Stewart Shapiro - Philosophy of Mathematics 7.2 | |
| A reaction: The question would then be whether it is plausible to take logical possibility as primitive. Presumably only intuition could support it. But then intuition will equally support natural and metaphysical possibilities. |
| 17286 | Logical consequence is verification by a possible world within a truth-set [Fine,K] |
| Full Idea: Under the possible worlds semantics for logical consequence, each sentence of a language is associated with a truth-set of possible worlds in which it is true, and then something is a consequence if one of these worlds verifies it. | |
| From: Kit Fine (Guide to Ground [2012], 1.10) | |
| A reaction: [compressed, and translated into English; see Fine for more symbolic version; I'm more at home in English] |
| 10300 | Logical consequence can be defined in terms of the logical terminology [Shapiro] |
| Full Idea: Informally, logical consequence is sometimes defined in terms of the meanings of a certain collection of terms, the so-called 'logical terminology'. | |
| From: Stewart Shapiro (Higher-Order Logic [2001], 2.4) | |
| A reaction: This seems to be a compositional account, where we build a full account from an account of the atomic bits, perhaps presented as truth-tables. |
| 14188 | Not all arguments are valid because of form; validity is just true premises and false conclusion being impossible [Read] |
| Full Idea: Belief that every valid argument is valid in virtue of form is a myth. ..Validity is a question of the impossibility of true premises and false conclusion for whatever reason, and some arguments are materially valid and the reason is not purely logical. | |
| From: Stephen Read (Formal and Material Consequence [1994], 'Logic') | |
| A reaction: An example of a non-logical reason is the transitive nature of 'taller than'. Conceptual connections are the usual example, as in 'it's red so it is coloured'. This seems to be a defence of the priority of semantic consequence in logic. |
| 14182 | If the logic of 'taller of' rests just on meaning, then logic may be the study of merely formal consequence [Read] |
| Full Idea: In 'A is taller than B, and B is taller than C, so A is taller than C' this can been seen as a matter of meaning - it is part of the meaning of 'taller' that it is transitive, but not of logic. Logic is now seen as the study of formal consequence. | |
| From: Stephen Read (Formal and Material Consequence [1994], 'Reduct') | |
| A reaction: I think I find this approach quite appealing. Obviously you can reason about taller-than relations, by putting the concepts together like jigsaw pieces, but I tend to think of logic as something which is necessarily implementable on a machine. |
| 14183 | Maybe arguments are only valid when suppressed premises are all stated - but why? [Read] |
| Full Idea: Maybe some arguments are really only valid when a suppressed premise is made explicit, as when we say that 'taller than' is a transitive concept. ...But what is added by making the hidden premise explicit? It cannot alter the soundness of the argument. | |
| From: Stephen Read (Formal and Material Consequence [1994], 'Suppress') |
| 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. |
| 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. |
| 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. |
| 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. |
| 10970 | A theory of logical consequence is a conceptual analysis, and a set of validity techniques [Read] |
| Full Idea: A theory of logical consequence, while requiring a conceptual analysis of consequence, also searches for a set of techniques to determine the validity of particular arguments. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.2) |
| 10984 | Logical consequence isn't just a matter of form; it depends on connections like round-square [Read] |
| Full Idea: If classical logic insists that logical consequence is just a matter of the form, we fail to include as valid consequences those inferences whose correctness depends on the connections between non-logical terms (such as 'round' and 'square'). | |
| From: Stephen Read (Thinking About Logic [1995], Ch.2) | |
| A reaction: He suggests that an inference such as 'round, so not square' should be labelled as 'materially valid'. |
| 15029 | Modal accounts of logical consequence are simple necessity, or essential use of logical words [Sider] |
| Full Idea: The simplest modal account is that logical consequence is just necessary consequence; another modal account says that logical consequences are modal consequences that involve only logical words essentially. | |
| From: Theodore Sider (Writing the Book of the World [2011], 12.3) | |
| A reaction: [He cites Quine's 'Carnap and Logical Truth' for the second idea] Sider is asserting that Humeans like him dislike modality, and hence need a nonmodal account of logical consequence. |
| 18755 | Validity is explained as truth in all models, because that relies on the logical terms [McGee] |
| Full Idea: A model of a language assigns values to non-logical terms. If a sentence is true in every model, its truth doesn't depend on those non-logical terms. Hence the validity of an argument comes from its logical form. Thus models explain logical validity. | |
| From: Vann McGee (Logical Consequence [2014], 4) | |
| A reaction: [compressed] Thus you get a rigorous account of logical validity by only allowing the rigorous input of model theory. This is the modern strategy of analytic philosophy. But is 'it's red so it's coloured' logically valid? |
| 11061 | Intensional consequence is based on the content of the concepts [Hanna] |
| Full Idea: In intensional logic the consequence relation is based on the form or content of the concepts or properties expressed by the predicates. | |
| From: Robert Hanna (Rationality and Logic [2006], 2.2) |
| 13288 | Consequence is truth-preserving, either despite substitutions, or in all interpretations [Koslicki] |
| Full Idea: Two conceptions of logical consequence: a substitutional account, where no substitution of non-logical terms for others (of the right syntactic category) produce true premises and false conclusions; and model theory, where no interpretation can do it. | |
| From: Kathrin Koslicki (The Structure of Objects [2008], 9.3.2 n8) | |
| A reaction: [compressed] |
| 18813 | Logical consequence is a relation that can extended into further statements [Rumfitt] |
| Full Idea: Logical consequence, I argue, is distinguished from other implication relations by the fact that logical laws may be applied in extending any implication relation so that it applies among some complex statements involving logical connectives. | |
| From: Ian Rumfitt (The Boundary Stones of Thought [2015], 3.3) | |
| A reaction: He offers implication in electronics as an example of a non-logical implication relation. This seems to indicate that logic must be monotonic, that consequence is transitive, and that the Cut Law always applies. |
| 12195 | Soundness in argument varies with context, and may be achieved very informally indeed [Rumfitt] |
| Full Idea: Our ordinary standards for deeming arguments to be sound vary greatly from context to context. Even the package tourist's syllogism ('It's Tuesday, so this is Belgium') may meet the operative standards for soundness. | |
| From: Ian Rumfitt (Logical Necessity [2010], Intro) | |
| A reaction: No doubt one could spell out the preconceptions of package tourist reasoning, and arrive at the logical form of the implication which is being offered. |
| 12199 | There is a modal element in consequence, in assessing reasoning from suppositions [Rumfitt] |
| Full Idea: There is a modal element in consequence, in its applicability to assessing reasoning from suppositions. | |
| From: Ian Rumfitt (Logical Necessity [2010], §2) |
| 12201 | We reject deductions by bad consequence, so logical consequence can't be deduction [Rumfitt] |
| Full Idea: A rule is to be rejected if it enables us to deduce from some premisses a purported conclusion that does not follow from them in the broad sense. The idea that deductions answer to consequence is incomprehensible if consequence consists in deducibility. | |
| From: Ian Rumfitt (Logical Necessity [2010], §2) |