8 ideas
| 10845 | To be true a sentence must express a proposition, and not be ambiguous or vague or just expressive [Lewis] |
| Full Idea: Sentences or assertions can be derivately called true, if they succeed in expressing determinate propositions. A sentence can be ambiguous or vague or paradoxical or ungrounded or not declarative or a mere expression of feeling. | |
| From: David Lewis (Forget the 'correspondence theory of truth' [2001], p.276) | |
| A reaction: Lewis has, of course, a peculiar notion of what a proposition is - it's a set of possible worlds. I, with my more psychological approach, take a proposition to be a particular sort of brain event. |
| 10847 | Truthmakers are about existential grounding, not about truth [Lewis] |
| Full Idea: Instances of the truthmaker principle are equivalent to biconditionals not about truth but about the existential grounding of all manner of other things; the flying pigs, or what-have-you. | |
| From: David Lewis (Forget the 'correspondence theory of truth' [2001]) | |
| A reaction: The question then is what the difference is between 'existential grounding' and 'truth'. There wouldn't seem to be any difference at all if the proposition in question was a simple existential claim. |
| 10846 | Truthmaker is correspondence, but without the requirement to be one-to-one [Lewis] |
| Full Idea: The truthmaker principle seems to be a version of the correspondence theory of truth, but differs mostly in denying that the correspondence of truths to facts must be one-to-one. | |
| From: David Lewis (Forget the 'correspondence theory of truth' [2001], p.277) | |
| A reaction: In other words, several different sentences might have exactly the same truthmaker. |
| 17896 | We need to know the meaning of 'and', prior to its role in reasoning [Prior,AN, by Belnap] |
| Full Idea: For Prior, so the moral goes, we must first have a notion of what 'and' means, independently of the role it plays as premise and as conclusion. | |
| From: report of Arthur N. Prior (The Runabout Inference Ticket [1960]) by Nuel D. Belnap - Tonk, Plonk and Plink p.132 | |
| A reaction: The meaning would be given by the truth tables (the truth-conditions), whereas the role would be given by the natural deduction introduction and elimination rules. This seems to be the basic debate about logical connectives. |
| 17898 | Prior's 'tonk' is inconsistent, since it allows the non-conservative inference A |- B [Belnap on Prior,AN] |
| Full Idea: Prior's definition of 'tonk' is inconsistent. It gives us an extension of our original characterisation of deducibility which is not conservative, since in the extension (but not the original) we have, for arbitrary A and B, A |- B. | |
| From: comment on Arthur N. Prior (The Runabout Inference Ticket [1960]) by Nuel D. Belnap - Tonk, Plonk and Plink p.135 | |
| A reaction: Belnap's idea is that connectives don't just rest on their rules, but also on the going concern of normal deduction. |
| 11021 | Prior rejected accounts of logical connectives by inference pattern, with 'tonk' his absurd example [Prior,AN, by Read] |
| Full Idea: Prior dislike the holism inherent in the claim that the meaning of a logical connective was determined by the inference patterns into which it validly fitted. ...His notorious example of 'tonk' (A → A-tonk-B → B) was a reductio of the view. | |
| From: report of Arthur N. Prior (The Runabout Inference Ticket [1960]) by Stephen Read - Thinking About Logic Ch.8 | |
| A reaction: [The view being attacked was attributed to Gentzen] |
| 13836 | Maybe introducing or defining logical connectives by rules of inference leads to absurdity [Prior,AN, by Hacking] |
| Full Idea: Prior intended 'tonk' (a connective which leads to absurdity) as a criticism of the very idea of introducing or defining logical connectives by rules of inference. | |
| From: report of Arthur N. Prior (The Runabout Inference Ticket [1960], §09) by Ian Hacking - What is Logic? |
| 8114 | The institutional theory says only a competent expert can decree something to be an art work [Dickie, by Gardner] |
| Full Idea: Dickie's institutional theory of art says that something is a work of art if and only if it has had that status conferred on it by a competent member of the artworld. | |
| From: report of George Dickie (Introduction to Aesthetics [1997], Ch.8) by Sebastian Gardner - Aesthetics 3.1 | |
| A reaction: The idea that a single 'competent' person can do this sounds daft, and probably circular. A consensus in the artworld sounds more plausible, but this still leaves the revolutionary genius, who - in retrospect - produced unrecognised 'art'. |