17 ideas
| 13338 | '"It is snowing" is true if and only if it is snowing' is a partial definition of the concept of truth [Tarski] |
| Full Idea: Statements of the form '"it is snowing" is true if and only if it is snowing' and '"the world war will begin in 1963" is true if and only if the world war will being in 1963' can be regarded as partial definitions of the concept of truth. | |
| From: Alfred Tarski (The Establishment of Scientific Semantics [1936], p.404) | |
| A reaction: The key word here is 'partial'. Truth is defined, presumably, when every such translation from the object language has been articulated, which is presumably impossible, given the infinity of concatenated phrases possible in a sentence. |
| 13337 | A language: primitive terms, then definition rules, then sentences, then axioms, and finally inference rules [Tarski] |
| Full Idea: For a language, we must enumerate the primitive terms, and the rules of definition for new terms. Then we must distinguish the sentences, and separate out the axioms from amng them, and finally add rules of inference. | |
| From: Alfred Tarski (The Establishment of Scientific Semantics [1936], p.402) | |
| A reaction: [compressed] This lays down the standard modern procedure for defining a logical language. Once all of this is in place, we then add a semantics and we are in business. Natural deduction tries to do without the axioms. |
| 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? |
| 13335 | Semantics is the concepts of connections of language to reality, such as denotation, definition and truth [Tarski] |
| Full Idea: Semantics is the totality of considerations concerning concepts which express connections between expressions of a language and objects and states of affairs referred to by these expressions. Examples are denotation, satisfaction, definition and truth. | |
| From: Alfred Tarski (The Establishment of Scientific Semantics [1936], p.401) | |
| A reaction: Interestingly, he notes that it 'is not commonly recognised' that truth is part of semantics. Nowadays truth seems to be the central concept in most semantics. |
| 13336 | A language containing its own semantics is inconsistent - but we can use a second language [Tarski] |
| Full Idea: People have not been aware that the language about which we speak need by no means coincide with the language in which we speak. ..But the language which contains its own semantics must inevitably be inconsistent. | |
| From: Alfred Tarski (The Establishment of Scientific Semantics [1936], p.402) | |
| A reaction: It seems that Tarski was driven to propose the metalanguage approach mainly by the Liar Paradox. |
| 13339 | A sentence is satisfied when we can assert the sentence when the variables are assigned [Tarski] |
| Full Idea: Here is a partial definition of the concept of satisfaction: John and Peter satisfy the sentential function 'X and Y are brothers' if and only if John and Peter are brothers. | |
| From: Alfred Tarski (The Establishment of Scientific Semantics [1936], p.405) | |
| A reaction: Satisfaction applies to open sentences and truth to closed sentences (with named objects). He uses the notion of total satisfaction to define truth. The example is a partial definition, not just an illustration. |
| 13340 | Satisfaction is the easiest semantical concept to define, and the others will reduce to it [Tarski] |
| Full Idea: It has been found useful in defining semantical concepts to deal first with the concept of satisfaction; both because the definition of this concept presents relatively few difficulties, and because the other semantical concepts are easily reduced to it. | |
| From: Alfred Tarski (The Establishment of Scientific Semantics [1936], p.406) | |
| A reaction: See Idea 13339 for his explanation of satisfaction. We just say that a open sentence is 'acceptable' or 'assertible' (or even 'true') when particular values are assigned to the variables. Then sentence is then 'satisfied'. |
| 13341 | Using the definition of truth, we can prove theories consistent within sound logics [Tarski] |
| Full Idea: Using the definition of truth we are in a position to carry out the proof of consistency for deductive theories in which only (materially) true sentences are (formally) provable. | |
| From: Alfred Tarski (The Establishment of Scientific Semantics [1936], p.407) | |
| A reaction: This is evidently what Tarski saw as the most important first fruit of his new semantic theory of truth. |
| 22868 | The value and truth of knowledge are measured by success in activity [Dewey] |
| Full Idea: What measures knowledge's value, its correctness and truth, is the degree of its availability for conducting to a successful issue the activities of living beings. | |
| From: John Dewey (The Middle Works (15 vols, ed Boydston) [1910], 4:180), quoted by David Hildebrand - Dewey 2 'Critique' | |
| A reaction: Note that this is the measure of truth, not the nature of truth (which James seemed to believe). Dewey gives us a clear and perfect statement of the pragmatic view of knowledge. I don't agree with it. |
| 22865 | Habits constitute the self [Dewey] |
| Full Idea: All habits are demands for certain kinds of activity; and they constitute the self. | |
| From: John Dewey (The Middle Works (15 vols, ed Boydston) [1910], 14:22), quoted by David Hildebrand - Dewey 1 'Acts' | |
| A reaction: Not an idea I have encountered elsewhere. He emphasises that habits are not repeated actions, but are dispositions. I'm not clear whether these habits must be conscious. |
| 22871 | The good people are those who improve; the bad are those who deteriorate [Dewey] |
| Full Idea: The bad man is the man who no matter how good he has been is beginning to deteriorate, to grow less good. The good man is the man who no matter how morally unworthy he has been is moving to become better. | |
| From: John Dewey (The Middle Works (15 vols, ed Boydston) [1910], 12:181), quoted by David Hildebrand - Dewey 3 'Reconstruct' | |
| A reaction: Although a slightly improving rat doesn't sound as good as a slightly deteriorating saint, I have some sympathy with this thought. The desire to improve seems to be right at the heart of what makes good character. |
| 22876 | Democracy is the development of human nature when it shares in the running of communal activities [Dewey] |
| Full Idea: Democracy is but a name for the fact that human nature is developed only when its elements take part in directing things which are common, things for the sake of which men and women form groups. | |
| From: John Dewey (The Middle Works (15 vols, ed Boydston) [1910], 12:199), quoted by David Hildebrand - Dewey 4 'Democracy' | |
| A reaction: It is hard to prove that human nature develops when it particpates in groups. If people are excluded from power, their loyalty tends to switch to sub-groups, such as friends in a pub, or a football team. Powerless nationalists baffle me. |
| 22875 | Democracy is not just a form of government; it is a mode of shared living [Dewey] |
| Full Idea: A democracy is more than a form of government; it is primarily a mode of associated living, of conjoint communicated experience | |
| From: John Dewey (The Middle Works (15 vols, ed Boydston) [1910], 9:93), quoted by David Hildebrand - Dewey 4 'Democracy' | |
| A reaction: This precisely pinpoints the heart of the culture wars in 2021. A huge swathe of western populations believe in Dewey's idea, but a core of wealthy right-wingers and their servants only see democracy as the mechanism for obtaining power. |
| 22874 | Individuality is only developed within groups [Dewey] |
| Full Idea: Only in social groups does a person have a chance to develop individuality. | |
| From: John Dewey (The Middle Works (15 vols, ed Boydston) [1910], 15:176), quoted by David Hildebrand - Dewey 4 'Individuals' | |
| A reaction: This is a criticism of both Rawls and Nozick. Rawls's initial choosers don't consult, or have much social background. Nozick's property owners ignore everything except contracts. |