Combining Texts

All the ideas for 'The Logical Syntax of Language', 'Schopenhauer' and 'Tarski's Theory of Truth'

unexpand these ideas     |    start again     |     specify just one area for these texts


12 ideas

2. Reason / A. Nature of Reason / 5. Objectivity
We become objective when we detach ourselves from the world [Janaway]
     Full Idea: We apprehend the world purely objectively, only when we no longer know that we belong to it.
     From: Christopher Janaway (Schopenhauer [1994], II:368), quoted by Christopher Janaway - Schopenhauer 6 'Objectivity'
     A reaction: Since we are not actually detached from the world, that makes objective thought an act of imagination. And none the worse for that, I would say, since philosophers don't seem to understand the central epistemological importance of imagination.
3. Truth / A. Truth Problems / 4. Uses of Truth
The notion of truth is to help us make use of the utterances of others [Field,H]
     Full Idea: I suspect that the original purpose of the notion of truth was to aid us in utilizing the utterances of others in drawing conclusions about the world,...so we must attend to its social role, and that being in a position to assert something is what counts.
     From: Hartry Field (Tarski's Theory of Truth [1972], §5)
     A reaction: [Last bit compressed] This sounds excellent. Deflationary and redundancy views are based on a highly individualistic view of utterances and truth, but we need to be much more contextual and pragmatic if we are to get the right story.
3. Truth / A. Truth Problems / 9. Rejecting Truth
In the early 1930s many philosophers thought truth was not scientific [Field,H]
     Full Idea: In the early 1930s many philosophers believed that the notion of truth could not be incorporated into a scientific conception of the world.
     From: Hartry Field (Tarski's Theory of Truth [1972], §3)
     A reaction: This leads on to an account of why Tarski's formal version was so important, and Field emphasises Tarski's physicalist metaphysic.
3. Truth / F. Semantic Truth / 1. Tarski's Truth / a. Tarski's truth definition
Tarski reduced truth to reference or denotation [Field,H, by Hart,WD]
     Full Idea: Tarski can be viewed as having reduced truth to reference or denotation.
     From: report of Hartry Field (Tarski's Theory of Truth [1972]) by William D. Hart - The Evolution of Logic 4
Tarski really explained truth in terms of denoting, predicating and satisfied functions [Field,H]
     Full Idea: A proper account of Tarski's truth definition explains truth in terms of three other semantic notions: what it is for a name to denote something, and for a predicate to apply to something, and for a function symbol to be fulfilled by a pair of things.
     From: Hartry Field (Tarski's Theory of Truth [1972])
     A reaction: This is Field's 'T1' version, which is meant to spell out what was really going on in Tarski's account.
3. Truth / F. Semantic Truth / 1. Tarski's Truth / b. Satisfaction and truth
Tarski just reduced truth to some other undefined semantic notions [Field,H]
     Full Idea: It is normally claimed that Tarski defined truth using no undefined semantic terms, but I argue that he reduced the notion of truth to certain other semantic notions, but did not in any way explicate these other notions.
     From: Hartry Field (Tarski's Theory of Truth [1972], §0)
5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence
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.
5. Theory of Logic / C. Ontology of Logic / 4. Logic by Convention
Each person is free to build their own logic, just by specifying a syntax [Carnap]
     Full Idea: In logic, there are no morals. Everyone is at liberty to build his own logic, i.e. his own form of language. All that is required is that he must state his methods clearly, and give syntactical rules instead of philosophical arguments.
     From: Rudolph Carnap (The Logical Syntax of Language [1934], §17), quoted by JC Beall / G Restall - Logical Pluralism 7.3
     A reaction: This is understandable, but strikes me as close to daft relativism. If I specify a silly logic, I presume its silliness will be obvious. By what criteria? I say the world dictates the true logic, but this is a minority view.
5. Theory of Logic / I. Semantics of Logic / 2. Formal Truth
Tarski gives us the account of truth needed to build a group of true sentences in a model [Field,H]
     Full Idea: Model theory must choose the denotations of the primitives so that all of a group of sentences come out true, so we need a theory of how the truth value of a sentence depends on the denotation of its primitive nonlogical parts, which Tarski gives us.
     From: Hartry Field (Tarski's Theory of Truth [1972], §1)
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
Model theory is unusual in restricting the range of the quantifiers [Field,H]
     Full Idea: In model theory we are interested in allowing a slightly unusual semantics for quantifiers: we are willing to allow that the quantifier not range over everything.
     From: Hartry Field (Tarski's Theory of Truth [1972], n 5)
17. Mind and Body / E. Mind as Physical / 2. Reduction of Mind
'Valence' and 'gene' had to be reduced to show their compatibility with physicalism [Field,H]
     Full Idea: 'Valence' and 'gene' were perfectly clear long before anyone succeeded in reducing them, but it was their reducibility and not their clarity before reduction that showed them to be compatible with physicalism.
     From: Hartry Field (Tarski's Theory of Truth [1972], §5)
19. Language / B. Reference / 3. Direct Reference / b. Causal reference
Field says reference is a causal physical relation between mental states and objects [Field,H, by Putnam]
     Full Idea: In Field's view reference is a 'physicalistic relation', i.e. a complex causal relation between words or mental representations and objects or sets of objects; it is up to physical science to discover what that physicalistic relation is.
     From: report of Hartry Field (Tarski's Theory of Truth [1972]) by Hilary Putnam - Reason, Truth and History Ch.2
     A reaction: I wouldn't hold your breath while the scientists do their job. If physicalism is right then Field is right, but physics seems no more appropriate for giving a theory of reference than it does for giving a theory of music.