Disputed term/author/ism | Author![]() |
Entry![]() |
Reference![]() |
---|---|---|---|
All | Millikan | I 235 All/"all"/figure/representation/fact/Millikan: Problem: if "All A are φ" is supposed to be a representation, according to what rule does it map the world? What is its real value, if it is true, and how is the real value determined according to the rule? Suppose "All A's" is a description, as is "the A". Specific description: this description always has a referential function. That is, there is something to be mapped. And this is determined before the sentence was formed. "All a": If there are any at all, this is then like a certain description, i.e. it has an indexical adapter and thus a certain sense. Referent/Problem: in the case of a specific description it is assumed that the listener is able to identify the referent. However, "all" does not assume that the listener is capable of doing so. In this regard, "All As!" works like an undetermined description. "All"/Millikan: "all" therefore escapes the distinction determined/undetermined. Or the distinction "determined-and-referential" against "undetermined-and-non-referential". Figure/"all"/Millikan: it is assumed that there is something specific on which it is mapped in every applicable case,... I 236 ...but at the same time it is assumed that this "something" is not individually identified. Necessarily identifying description/necessarily identifying/Millikan: works purely descriptive (non-referential) and escapes the distinction. All/"all"/real value/Millikan: E.g. "all A's are φ" maps the world as it should if each single A is a real value of "A" in the sentence. That is, the real value of the sentence is the fact that a (sic) is φ plus the fact that b is φ plus the fact that c ... etc. ((s) infinite conjunction). Millikan: at the end you have to add: "And these are all A's that exist". ((s) list, of names). |
Millikan I R. G. Millikan Language, Thought, and Other Biological Categories: New Foundations for Realism Cambridge 1987 Millikan II Ruth Millikan "Varieties of Purposive Behavior", in: Anthropomorphism, Anecdotes, and Animals, R. W. Mitchell, N. S. Thomspon and H. L. Miles (Eds.) Albany 1997, pp. 189-1967 In Der Geist der Tiere, D Perler/M. Wild Frankfurt/M. 2005 |
Disquotationalism | Field | II 105 Purely disquotational true: 1. Generalization possible only like this - for example: not every axiom is true - (but one does not yet know which) 2. "True-like-I-understand-it" 3. The concept is use-independent E.g. to say "Snow is white" is true is the same as to call snow white - no property is attributed which would not have it if one uses the sentence differently - everyday language: here we seem to use a different truth-predicate. Use-independency of the truth-predicate: neccessary for the generalization for infinite conjunctions/disjunctions - contingently true: E.g. Euclidean geometry. The axioms could have been wrong - we do not want to say with this, that the speakers could have used their words differently. Ad II 105 Definition disquotational/(s): "literal". Field: heuristic: disquotation means "truth-like-he-understands-it". ((s) So referring to the speaker - this is not a definition of truth in terms of understanding - merely heuristic.) Deflationism: this leads to cognitive equivalence. >Deflationism. Disquotational true/Field: "true, as I understand it". Cf. >Principle of charity, >Understanding. II 123 Field: Disquotational true is unlike Tarski-true. >Tarski-scheme, >Truth definition/Tarski, >Thruth theory/Tarski, >Truth/Tarski. ad II 135 Deflationism/Field/(s): contrast: semantic/disquotational: semantic: not simply repeating something literal, but finding truth, depending on the situation E.g. for index words. Disquotational: only repeating literally; this does not work for indices and demonstratives.# >Index words, >Indexicality. II 152 Disquotational truth: Problem: untranslatable sentences are not disquotationally true. >Translation. II 164 Disquotational true/disquotational reference: corresponds to the thesis that Tarskian truth is not contingently empirical. Necessary: both "p" is true iff p" and "it is true that p iff p" because the equality between possible worlds is not defined. - Truth is here always related to the actual world. >Possible worlds, >Cross world identity, >Actual world, >Actualism, >Actuality. II 223 Radical deflationism/narrow: does not allow interpersonal synonymy - only purely disquotational truth - it is about how the listener understands the sentence, not the speaker. Cf. >Speaker meaning, >Speaker intention. II 259 Definition disquotationalism/Field: the thesis that the question by which facts e.g. "entropy" refers to entropy, is meaningless. >Reference. II 261 Non-disquotational view/indeterminacy/VsDisquotationalism: the non-disquotational view must assume an indeterminacy of our concepts on a substantial level. >Indeterminacy. II 269 Disquotational view/truth/Reference/Semantics/Logic/Field: N.B.: Truth and reference are not really semantic concepts here, but logical ones. - Because they are applied primarily to our idiolect. >Logic, >Semantics, >Idiolect. Here they function as logical concepts. - (E.g. "true" for generalization) N.B.: that "rabbit" refers to rabbits is then a logical truth, not a semantic truth. - Then there is still indeterminacy in translation. II 272 Disquotational view/disquotationalism: for it, the relevant structure of a language is not to be understood in referential terms, but in terms of stimulus meaning, inferential role and indication relation. >Stimuli, >Stimulus meaning, >Pointing, >Ostension, >Inference, >Inferentialism. |
Field I H. Field Realism, Mathematics and Modality Oxford New York 1989 Field II H. Field Truth and the Absence of Fact Oxford New York 2001 Field III H. Field Science without numbers Princeton New Jersey 1980 Field IV Hartry Field "Realism and Relativism", The Journal of Philosophy, 76 (1982), pp. 553-67 In Theories of Truth, Paul Horwich Aldershot 1994 |
Generalization | Field | II 120 Realism/variant/Field: here: "There are sentences in our language that are true, but for which we shall never have a reason to believe them." - Then you need a truth-term to generalize. >Infinite conjunction/disjunction. Anti-Realism/Variant: here would be the opposite position: to identify truth with justifiability in the long run. Cf. >Truth/Peirce, cf. >Assertibility, >Pragmatism. >Ideal justification. Truth-predicate/generalization/truth/Field: For example, the desire to only express true sentences: "I only utter "p" if p." II 121 E.g. "Not every (of infinitely many) axioms is true" - or, for example, they are contingent: "not every one needed to be true". - N.B.: this is only possible with purely disquotational truth. >Disquotationalism. II 205 Partial Denotation/generalization/Field/(s): partial denotation - This is a general case of denotation (not vice versa). >Denotation/Field. II 206 This makes a simple denotation (which is a special case) superfluous. II 207 Partial match: generalization of consistency. >Consistency. II 206 Generalization/Field: E.g. partial denotation is a generalization of denotation. >Generalization. |
Field I H. Field Realism, Mathematics and Modality Oxford New York 1989 Field II H. Field Truth and the Absence of Fact Oxford New York 2001 Field III H. Field Science without numbers Princeton New Jersey 1980 Field IV Hartry Field "Realism and Relativism", The Journal of Philosophy, 76 (1982), pp. 553-67 In Theories of Truth, Paul Horwich Aldershot 1994 |
Infinity | Field | I 93 Infinity/Existence/Field: thesis: there are an infinite number of physical entities: infinitely many spacetime regions. ((s) physical/(s) is not the same as material). I 99 Modal knowledge/Field: E.g. via an infinite conjunction. - The knowledge shortens the infinite conjunction. >Knowledge, >Conjunction, >Generalization, >Modalities, >Modal logic. |
Field I H. Field Realism, Mathematics and Modality Oxford New York 1989 Field II H. Field Truth and the Absence of Fact Oxford New York 2001 Field III H. Field Science without numbers Princeton New Jersey 1980 Field IV Hartry Field "Realism and Relativism", The Journal of Philosophy, 76 (1982), pp. 553-67 In Theories of Truth, Paul Horwich Aldershot 1994 |
Inflationism | Horwich | I XIII Inflationism/Horwich: Inflationism requires attributing additional properties to truth "X is true iff. X has the property P." This is supposed to allow us to specify what truth is (e.g. utility). >Pragmatism. I XIV Deflationism/Quine/Leeds/Horwich: (deflationary) truth allows generalizations of a certain kind for which you'd otherwise need infinite conjunctions. Quine: truth serves the purpose of generalization. Horwich: e.g. generalization: for each object x if x = what Einstein said, then x is true. >Deflationism, >Generalization. |
Horwich I P. Horwich (Ed.) Theories of Truth Aldershot 1994 |
Realism | Field | I 249ff Truth/Realism/Field: does not want to claim truth as a metaphorical concept about the theory but instead the theory itself. The existence of mathematical entities follows from the theory itself, not from the truth of the theory (in the sense of correspondence theory). >Mathematical entities. --- II 120 Realism/Variant/Field: here: Thesis: "There are sentences in our language that are true, but for which we shall never have a reason to believe them." - Then you need a T-concept to generalize. > Infinite conjunction/disjunction. Anti-realism/variant: would be the opposite position here: to identify truth with justifiability in the long run. >ideal justification. --- IV 405f Metaphysical Realism/Field: three game styles. Metaphysical realism 1: there are mind-independent objects. Metaphysical realism 2: There is only one correct description (FieldVs) Metaphysical realism 3: correspondence theory. A refutation of metaphysical realism 3 is not yet one of metaphysical realism 1. IV 414 PutnamVsMetaphysical Realism: Thesis: metaphysical realism leads to a dichotomy facts/values. >Relativism. This refutes itself. Dichotomy between evaluative (pseudo-facts, nonfactual) and non-evaluative facts. FieldVsPutnam/Field per relativism: we can refer the relativism to purely evaluative statements (not facts). Garfinkel: the relativism itself is no valuation. Internal Realism/Putnam: our standards of rationality are objectively correct. >Internal realism/Putnam. |
Field I H. Field Realism, Mathematics and Modality Oxford New York 1989 Field II H. Field Truth and the Absence of Fact Oxford New York 2001 Field III H. Field Science without numbers Princeton New Jersey 1980 Field IV Hartry Field "Realism and Relativism", The Journal of Philosophy, 76 (1982), pp. 553-67 In Theories of Truth, Paul Horwich Aldershot 1994 |
Substitutional Quantification | Field | I 245 Substitutional quantification/Field: Solution for the formulation of infinite conjunctions. >Conjunction. I 245 Def Disquotational truth with substitutional quantification: (P: for all sentences, not objects) applies: S is true iff p (if S = p then p). >Disquotationalism/Field, >Disquotationalism, cf. >Referential quantification. |
Field I H. Field Realism, Mathematics and Modality Oxford New York 1989 Field II H. Field Truth and the Absence of Fact Oxford New York 2001 Field III H. Field Science without numbers Princeton New Jersey 1980 Field IV Hartry Field "Realism and Relativism", The Journal of Philosophy, 76 (1982), pp. 553-67 In Theories of Truth, Paul Horwich Aldershot 1994 |
Tarski | Field | I 33f Tarski/Field: According to Tarski the following two sentences are a contradiction because he needs quantities for his definition of implication: a) "Snow is white" does not imply logically "grass is green". b) There are no mathematical entities like quantities. ((s) Therefore, Field must be independent of Tarski.) Solution Field: Implication as a basic concept. >Mathematical entities, >Ontology/Field, >Tarski-scheme. --- II 124 Tarski/Truth: Tarski's truth theory is unlike disquotational truth: only for a fragment. >Disquotationalism/Field. Unrestricted quantifiers and semantic concepts must be excluded. >Quantifiers. Problem: we cannot create infinite conjunctions and disjunctions with that. (Tarski-Truth is not suitable for generalization). >Generalization. DeflationsimVsTarski/QuineVsTarski. >Deflationism. Otherwise, we must give up an explicit definition. Deflationism: uses a generalized version of the truth-schema. TarskiVsDeflationism: pro compositionality. (Also Davidson) >Compositionality. Tarski: needs recursion to characterize e.g."or". >Logical constants. II 125 Composition principle/Field: E.g. A sentence consisting of a one-digit predicate and a referencing name is true, iff the predicate is true of what the name denotes. This goes beyond logical rules because it introduces reference and denotation. >Reference, >Denotation. Tarski: needs this for a satisfying Truth-concept. Deflationism: Reference and danotation is not important for it. >Compositionality). II 141 Truth-Theory/Tarski: Thesis: we do not get an adequate Truth-theory if we take only all instances of the schema as axioms. - This does not give us the generalizations we need, e.g. that the modus ponens receives the truth. II 142 Deflationism/Tarski/Field. Actually, Tarski's approach is also deflationistic. --- Soames I 477 FieldVsTarski/Soames: Tarski hides speech behavior. Field: Tarski introduces primitive reference, and so on. >language independence. SoamesVsField: his physicalist must reduce every single one of the semantic concepts. - For example, he cannot characterize negation as a symbol by truth, because that would be circular. E.g. he cannot take negation as the basic concept, because then there would be no facts about speakers (no semantic facts about use) that explain the semantic properties. FieldVsTarski: one would have to be able to replace the semantic terms by physical terms. >Semantics. |
Field I H. Field Realism, Mathematics and Modality Oxford New York 1989 Field II H. Field Truth and the Absence of Fact Oxford New York 2001 Field III H. Field Science without numbers Princeton New Jersey 1980 Field IV Hartry Field "Realism and Relativism", The Journal of Philosophy, 76 (1982), pp. 553-67 In Theories of Truth, Paul Horwich Aldershot 1994 Soames I Scott Soames "What is a Theory of Truth?", The Journal of Philosophy 81 (1984), pp. 411-29 In Theories of Truth, Paul Horwich Aldershot 1994 Soames II S. Soames Understanding Truth Oxford 1999 |
Truth | Leeds | I 369 Truth/Truth theory/natural language/leeds: assumed a natural language without function symbols and labels. Only singular terms are names. >Singular terms, >Names, >Descriptions, >Reference, >Everyday language. Reference in L/RiL: Mapping names to denotations and predicates to extensions. >Denotation, >Predicates, >Extensions. Truth in L/TiL: Function that attributes the truth value to each sentence. >Truth values. Tarski/Leeds: Tarski showed that Ril canonically determines TiL. - That is, given the RiL, there is a way to write down the T-Def. >Truth definition. So every T-schema is determined by a reference schema. Problem: Merely knowing that WiL is one of the T-schemes is not sufficient for a definition of TiL. >Definition, >Definability, >Sufficiency. Solution: if we can define reference in L, then we can define truth. I 370 Reference/Definition of reference/Tarski/Leeds: implicitly present: R-sentence: "Caesar" refers to Caesar - ((s) This only works if descrptions are excluded) - This would be a standard interpretation (SI) for a natural language. SI-Theory: Proposition: Every language has an SI (standard interpretation). I 380 Truth/Leeds: Problem: Then "truth" is merely an artificial term for the possibility to make generalizations. >Generalization. Important point: then truth is theoretically dispensable. Leeds: it is not impossible to learn a language with infinite conjunctions and disjunctions. Usefulness: of the W-concept: can be explained completely without reference (reference to the world!). Then it is not a theory of truth, but theory of T-concept. And this from formal facts of language, not from the relation language-world. Truth without reference: E.g., semantic ascent: "Some of Freud's theses are true, others are false". >Semantic ascent. I 381 The fact that we should tell the truth is a datum for the theory of the T-term. I 386 Generalization of infinite conjunction without T-term: exhort people to say only sentences they accept. T-Def/Leeds: on the other hand, the fact that Ex "All men are mortal" is true is a consequence of W-Def. (Along with the fact that all men are mortal). >Truthmakers, cf. >Correspondence theory. |
Leeds I Stephen Leeds "Theories of Reference and Truth", Erkenntnis, 13 (1978) pp. 111-29 In Truth and Meaning, Paul Horwich Aldershot 1994 |
Vagueness | Field | II 227 Vagueness/revision of the logic/Field: some authors: to allow double negation, to prohibit explicit contradictions, thus also not to allow negations of the law of the excluded middle (l.e.m.). >Negation, >Double negation, >Contradictions, >Stronger/Weaker, >Excluded middle. Then old version: if Jones is a limiting case for "Jones is bald", we cannot claim either "bald" or "not-bald", so we can now. New: neither claim: E.g. "Jones is bald or not bald" nor "It is not the case that Jones is either bald or not bald." On the other hand: Field: with definite-operator (definite): "It is not the case that Jones is either definitely bald or definitely not bald". - Without law of the excluded middle: "neither bald nor not bald". II 228 Limiting case/vagueness/definite-Operator/Field: we need the definite-operator to avoid a limiting case of the a limiting case. >dft-operator, >Terminology/Field. II 228 Def Weakly true/vagueness/truth/truth-predicate/Field: to be able to say general things about borderline cases. Not only that somebody represents a certain limiting case. >Generalization. Def paradigmatic borderline case: definitely a borderline case. Not weakly true/deflationism: e.g. "Either bald or not-bald is true". Then the Truth-predicate itself inherits the vagueness. It is not definitely true whether or not. Def Strongly true/Field: assuming, Jones is a limiting case: then neither "bald" nor its negation (strongly) plus classical logic: then the disjunction "bald or not bald" should be true even in strong interpretation. Law of the excluded middle: if we give it up: a) weakly true: then the disjunction is not true b) strongly true: then the disjunction is without truth value. Strongly true: is less vague, does not inherit the vagueness. Correctness: which interpretation is the correct one is only dependent on utility. >Correctness. Per weak truth: allows infinite conjunction and disjunction. This corresponds more to the theory of validity. - Only the weak Truth-concept is supplied by the disquotation scheme. Deflationism: deflationism additionally requires the definite-operator to declare the predicate strongly true. >Deflationism. II 230 Inflationism/Vagueness/FieldVsInflationism: Problem: the I. needs a thing that is "neither bald nor not bald". Inflationism: explains e.g. "weakly true" compositional. >Inflationism. Supervaluation/Sorites/Inflationism: "candidate of an extension". >Supervaluation. Def strongly true: is a sentence with a vague predicate then iff it is true relative to each of the candidates of an extension. - Then the limiting case without definite-operator: "Jones is bald in some extensions but not in all". II 233 Vagueness/Ontology/Field: Thesis: vgueness is a deficiency of language, not of the world. >Language dependence. II 234 Vagueness/radical non-classical logic/Field: here we do not need a definite-operator or distinction between strong/weak truth: e.g. Jones is a limiting case iff it is not the case that he is either bald or not bald. Deflationism/Field: seems to save a lot of trouble, because there is no definite-operator, one would have to understand. Vs: that deceives: the trouble is only postponed: here the logical rules for "not", etc. are much more complicated. ... + ... II 228 Weakly true:...++... |
Field I H. Field Realism, Mathematics and Modality Oxford New York 1989 Field II H. Field Truth and the Absence of Fact Oxford New York 2001 Field III H. Field Science without numbers Princeton New Jersey 1980 Field IV Hartry Field "Realism and Relativism", The Journal of Philosophy, 76 (1982), pp. 553-67 In Theories of Truth, Paul Horwich Aldershot 1994 |
![]() |
Disputed term/author/ism | Author Vs Author![]() |
Entry![]() |
Reference![]() |
---|---|---|---|
Field, H. | Leeds Vs Field, H. | Field II 304 Indeterminacy/Set Theory/ST/Leeds/Field: e.g. somebody considers the term "set" to be undetermined, so he could say instead: The term can be made "as large as possible". (Leeds 1997,24) (s) "everything that is included in the term"). As such the term can have a wider or narrower definition. Cardinality of the continuum/Indeterminacy/Field: This indeterminacy should at least contain the term set membership. LeedsVsField: It is not coherent to accept set theory and to qualify its terms as indetermined at the same time. And it is not coherent to then apply classical logic in set theory. Field: It could also look like this: the philosophical comments should be separated from mathematics. But we do not need to separate theory from practice, e.g. if the belief in indeterminacy is expressed in whether the degree of the mathematician's belief in the continuum hypothesis and his "doubt degree" adds up to 1 ((s) So that there is no space left for a third possibility). Problem: A mathematician for whom it adds up to 1 could ask himself "Is the continuum hypothesis correct?" and would look for mathematical proof. A second mathematician, however, whose degree of certainty adds up to 0 ((s) since he believes in neither the continuum hypothesis nor its negation) will find it erroneous to look for proof. Each possibility deserves to be analyzed. The idea behind indeterminacy however is that only little needs to be defined beyond the accepted axioms. ((s) no facts.) Continuum Hypothesis/Field: Practical considerations may prefer a concept over one another in a particular context and a different one in another context. Solution/Field: This is not a problem as long as those contexts are hold separate. But is has been shown that its usefulness is independent from the truth. II 305 Williamsons/Riddle/Indeterminacy/Leeds/Field: (LeedsVsField): (e.g. it must be determined whether Joe is rich or not): Solution/Leeds: i) we exclude the terms in question, e.g. rich (in this example) from the markup language which we accept as "first class" and ii) the primary (disquotional) use of "referred" or "is true of" is only used for this markup language. Indeterminacy/Leeds: Is because there is no uniform best way to apply the disquotional scheme in order to translate into the markup language. Field: This is genius: To reduce all indeterminacy on the indeterminacy of the translation. FieldVsLeeds: I doubt that a meaning can be found. Problem: To differentiate between undetermined termini and those which are only different regarding the extension of the markup language. Especially if we have a number of translations which all have different extensions in our markup language. Solution/Disquotationalism: It would integrate the foreign terms in its own language. We would then be allowed to cite.(Quine, 1953 b, 135. see above chap. IV II 129-30). Problem: If we integrate "/" and "", the solution which we obtained above may disappear. FieldVsLeeds: I fear that our objective - to exclude the indeterminacy in our own language- will not be reached.It even seems to be impossible for our scientific terms! e.g. the root –1/√-1/Brandom/Field: The indeterminacy is still there; We can simply use the "first class" markup language to say that -1 has two roots without introducing a name like "i" which shall stand for "one of the two". FieldVsLeeds: We can accept set theory without accepting its language as "first class". ((s) But the objective was to eliminate terms of set theory from the first class markup language and to limit "true of" and "refer" to the markup language.) Field: We are even able to do this if we accept Platonism (FieldVsPlatonism) : II 306 e.g. we take a fundamental theory T which has no vocabulary of set theory and only says that there is an infinite number of non-physical eternally existing objects and postulates the consistency of fundamental set theory. Consistency is then the basic term which is regulated by its own axioms and not defined by terms of set theory. (Field 1991). We then translate the language of set theory in T by accepting "set" as true of certain or all non-physical eternally existing objects and interpret "element of" in such a way that the normal axioms remain true. Then there are different ways to do this and they render different sentences true regarding the cardinality of the continuum. Then the continuum hypothesis has no particular truth value. (C.H. without truth value). Problem: If we apply mathematical applications to non-mathemtical fields, we do not only need consistency in mathematics but in other fields as well. And we should then assume that the corresponding theories outside mathematics can have a Platonic reformulation. 1. This would be possible if they are substituted by a nominal (!) theory. 2. The Platonic theorie could be substituted by the demand that all nominal consequences of T-plus-set theory are true. FieldVs: The latter looks like a cheap trick, but the selected set theory does not need to be the one deciding the cardinality of the continuum. The selected set theory for a physical or psychological theory need not to be compatible with the set theory of another domain. This shows that the truth of the metalanguage is not accepted in a parent frame of reference. It's all about instrumental usefulness. FieldVsLeeds: We cannot exclude indeterminacy - which surpasses vagueness- in our own language even if we concede its solution. But we do not even need to do this; I believe my solution is better. I 378 Truth/T-Theory/T-concept/Leeds: We now need to differentiate between a) Truth Theory (T-Theory) ((s) in the object language) and b) theories on the definition of truth ((s) metalinguistic) . Field: (1972): Thesis: We need a SI theory of truth and reference (that a Standard Interpretation is always available), and this truth is also obtainable. (LeedsVsStandard Interpretation/VsSI//LeedsVsField). Field/Leeds: His argument is based on an analogy between truth and (chemical)valence. (..+....) Field: Thesis: If it would have looked as if the analogy cannot be reduced, it would have been a reason to abandon the theory of valences, despite the theory's usefulness! Truth/Field: Thesis: (analogous to valence ): Despite all we know about the extension of the term, the term also needs a physicalistic acceptable form of reduction! Leeds: What Field would call a physicalistic acceptable reduction is what we would call the SI theory of truth: There always is a Standard Interpretation for "true" in a language. Field/Leeds: Field suggests that it is possible to discover the above-mentioned in the end. LeedsVsField: Let us take a closer look at the analogy: Question: Would a mere list of elements and numbers (instead of valences) not be acceptable? I 379 This would not be a reduction since the chemists have formulated the law of valences. Physikalism/Natural law/Leeds: Does not demand that all terms can be easily or naturally explained but that the fundamental laws are formulated in a simple way. Reduction/Leeds: Only because the word "valence" appears in a strict law there are strict limitations imposed on the reduction. Truth/Tarski/LeedsVsTarski: Tarski's Definitions of T and R do not tell us all the story behind reference and truth in English. Reference/Truth/Leeds: These relations have a naturalness and importance that cannot be captured in a mere list. Field/Reduction/Leeds: If we want a reduction à la Field, we must find an analogy to the law of valences in the case of truth, i.e. we need to find a law or a regularity of truth in English. Analogy/Field: (and numerous others) See in the utility of the truth definition an analogy to the law. LeedsVsField: However, the utility can be fully explained without a SI theory. It is not astonishing that we have use for a predicate P with the characteristic that"’__’ is P" and "__"are always interchangeable. ((s)>Redundancy theory). And this is because we often would like to express every sentence in a certain infinite set z (e.g. when all elements have the form in common.) ((s) "All sentences of the form "a = a" are true"), > Generalization. Generalization/T-Predicate/Leeds: Logical form: (x)(x e z > P(x)). Semantic ascent/Descent/Leeds: On the other hand truth is then a convenient term, same as infinite conjunction and disjunction. I 386 Important argument: In theory then, the term of truth would not be necessary! I believe it is possible that a language with infinite conjunctions and disjunctions can be learned. Namely, if conjunctions and disjunctions if they are treated as such in inferences. They could be finally be noted. I 380 Truth/Leeds: It is useful for what Quine calls "disquotation" but it is still not a theory of truth (T-Theory). Use/Explanation/T-Theory/Leeds: In order to explain the usefulness of the T-term, we do not need to say anything about the relations between language and the world. Reference is then not important. Solution/Leeds: We have here no T-Theory but a theory of the term of truth, e.g. a theory why the term is seen as useful in every language. This statement appears to be based solely on the formal characteristics of our language. And that is quite independent of any relations of "figure" or reference to the world. Reference/Truth/Truth term/Leeds: it shows how little the usefulness of the truth term is dependent on a efficient reference relation! The usefulness of a truth term is independent of English "depicts the world". I 381 We can verify it: Suppose we have a large fragment of our language, for which we accept instrumentalism, namely that some words do not refer. This is true for sociology, psychology, ethics, etc. Then we will find semantic ascent useful if we are speaking about psychology for example. E.g. "Some of Freud's theories are true, others false" (instead of using "superego"!) Standard Interpretation/Leeds: And this should shake our belief that T is natural or a standard. Tarski/Leeds: This in turn should not be an obstacle for us to define "T" à la Tarski. And then it is reasonable to assume that "x is true in English iff T (x)" is analytic. LeedsVsSI: We have then two possibilities to manage without a SI: a) we can express facts about truth in English referring to the T-definition (if the word "true" is used) or b) referring to the disquotional role of the T-term. And this, if the explanandum comprises the word "true" in quotation marks (in obliqua, (s) mentioned). Acquaintance/Russell/M. Williams: Meant a direct mental understanding, not a causal relation! This is an elder form of the correspondence theory. I 491 He was referring to RussellVsSkepticism: A foundation of knowledge and meaning FieldVsRussell/M. WilliamsVsRussell: das ist genau das Antackern des Begriffsschemas von außen an die Welt. Field/M. Williams: His project, in comparison, is more metaphysical than epistemic. He wants a comprehensive physicalistic overview. He needs to show how semantic characteristics fit in a physical world. If Field were right, we would have a reason to follow a strong correspondence theory, but without dubious epistemic projects which are normally linked to it. LeedsVsField/M. Williams: But his argument is not successful. It does not give an answer to the question VsDeflationism. Suppose truth cannot be explained in a physicalitic way, then it contradicts the demand that there is an unmistakable causal order. Solution: Truth cannot explain (see above) because we would again deal with epistemology (theory of knowledge).(>justification, acceptability). |
Leeds I Stephen Leeds "Theories of Reference and Truth", Erkenntnis, 13 (1978) pp. 111-29 In Truth and Meaning, Paul Horwich Aldershot 1994 Field I H. Field Realism, Mathematics and Modality Oxford New York 1989 Field II H. Field Truth and the Absence of Fact Oxford New York 2001 Field III H. Field Science without numbers Princeton New Jersey 1980 Field IV Hartry Field "Realism and Relativism", The Journal of Philosophy, 76 (1982), pp. 553-67 In Theories of Truth, Paul Horwich Aldershot 1994 |
![]() |