Find counter arguments by entering NameVs… or …VsName.
| Disputed term/author/ism | Author Vs Author |
Entry |
Reference |
|---|---|---|---|
| Bundle Theory | Newen Vs Bundle Theory | New I 233 Def Reference/Newen: Relation between the occurrence of a singular term and the object thus designated. ((s) i.e. general terms do not refer?). Names/Proper Names/Newen: two problems: 1) reference definition: how is the reference determined 2) Meaning: what is the meaning of a name. Names/Description Theory/Newen: E.g. "Aristotle": the meaning would then be "student of Plato". Vs: Problem: it could be that someone does not know that Aristotle was a student of Plato, but otherwise uses the name correctly. Bundle Theory/Solution/Searle/Newen/(s): it should not happen that a single failure refutes the entire theory, therefore, a bundle of descriptions should be decisive, not a single description. I 234 Bundle Theory/Reference Definition/Searle/Newen: Searle's bundle theory simultaneously regards itself as a theory of reference definition. Names/Proper Names/KripkeVsBundle Theory/KripkeVsDescription Theory/KripkeVsSearle/Kripke/Newen: (modal argument): there is a necessary condition for Def meaning equality/Kripke: (meaning equality) if two expressions a1 and a2 have the same meaning, they are mutually replaceable in sentences that are introduced by the modal operator "It is necessary that", without changing the truth value. I 235 E.g. It is necessary that Aristotle is K. Here, "student of Plato" is not usable. Hence the name "Aristotle" (quotation marks by Newen) cannot have the same meaning as "student of Plato". Description Theory/Meta-Linguistic/Names/Newen: special case description theory of proper names: the so-called meta-linguistic description theory: E.g. the meaning of the name Aristotle can be specified with the description "The bearer of the name "Aristotle"." Point: this description captures the context-independent knowledge of a speaker with respect to the name. KripkeVs/Newen: if the modal argument is also true for the meta-linguistic theory, it cannot be right: it is indeed necessary that Aristotle is Aristotle, but not necessary that Aristotle is I 236 the bearer of the name "Aristotle". He could have been given a different name. Object Theory/Meaning/Names/Proper Names/Newen: Thesis: The meaning of a name is the designated object. A variation of this theory is Russell's theory of the meaning of logical proper names. ("dis", etc.) Epistemology/VsRussell/Newen: Russell's epistemology proved untenable. Solution/Newen: reference definition by a description: "The only object that satisfies the description associated with the concept "E" (quotation marks by Newen)". Frege: was the first to specify this (in his theory of sense and meaning) Names/Frege/Newen: the Fregean meaning of a name is the designated object. reference Definition/Frege/Newen: through description. This is Frege's theory of sense. Sense/Frege/Newen: through description (= reference definition for proper names). Names/Frege/Newen: Frege combines an object theory of meaning with a description theory of reference definition. I 237 ((s) KripkeVsFrege/KripkeVsDescription Theory/Newen/(s): Kripke also criticized the description theory of reference definition: E.g. Schmidt was the discoverer of the incompleteness theorem, not Gödel. Nevertheless, we refer with "Gödel" to Gödel, and not to an object which is the singled out with a description that can be true or not.) Solution/Kripke: causal theory of proper names. |
New II Albert Newen Analytische Philosophie zur Einführung Hamburg 2005 Newen I Albert Newen Markus Schrenk Einführung in die Sprachphilosophie Darmstadt 2008 |
| 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 |
| Frege, G. | Kripke Vs Frege, G. | Cresswell II 151 Pierre-E.g../Kripke/Cresswell: (Kripke 1979) Cresswell: if de re interpreted, is the belief about London. Description Theory/Cresswell: For this, the example is not a problem ((s) Londres and London are different for Pierre because of different descriptions). ((s) causal theory/(s): the case is a problem for them because they have to assume that the meaning of the name is the carrier and must therefore be the same carrier and therefore contradictory predicates are attributed.) Description Theory/Cresswell: Here the description is relative to Pierre, but it is not his private matter! Def "Extreme Fregeanism"/KripkeVsFrege/KripkeVsRussell/Cresswell: (he attributes this disposition to these two): Thesis: that name in general belong to idiolects. Problem: Then the Pierre-E.g. is not about Pierre but about the speaker, who is reporting this case, and his idiolect. Cresswell: Unfortunately it is not so simple: e.g. an ancient Greek could have been arrived from the ancient to us. He is initially going to use "Φωσφόρος" instead of "Phosphorus". His disposition towards it will as different from ours, as the Pierre-example demonstrates the different dispositions of "London" and "Londres". Ambiguity/Cresswell: is caused here because a name can stand for numerous descriptions. The latter allow in most cases that "London" can be translated as "Londres". The only case in which it does not work is the example of Pierre. Stalnaker I 172 Name/reference/meaning/sense/Stalnaker: 1. Mill/KripkeVsFrege: Thesis: Names are directly addressing the referent without the mediation of an intermediary meaning Frege/Dummett/Searle: Thesis: The meaning of the name must be adopted in-between the name and his referent. a) otherwise the object cannot be identified or we cannot explain how it is identified, b) (DummettVsKripke)since we cannot learn the language. I 174 Reference/meaning/Searle/Stalnaker: When a statement does not possess a descriptive content, it cannot be linked to an object. reference/Dummett/Stalnaker: .. the object must be singled out somehow. Stalnaker: in both cases, it comes to skills, use, habits, practices or mental states. Searle/Dummett/Stalnaker: So both seem to be of the opinion that a satisfactory fundamental semantics (see above that as a fact an expression has its semantic value)cannot be given. StalnakerVsSearle/StalnakerVsDummett: Both, however, do not state this since they do not separate those two issues. a) what is the semantics, e.g. for names b) what circumstances lead to those semantics. Stalnaker: if we separate them, we can no longer rule out the possibility that each language could be a language spoken by us. Then the community could very well speak a Mill’s language. Frege’s language/Meaning/reference/Denotation/Stalnaker: We would need them if these questions were not separate, e.g. if we needed to explain those at the same time. a) why a name has these referents and b) what the speaker communicates with his statement (which information, content). Meaning/ KripkeVsFrege: Kripke (1972) (S.A. Kripke, Naming and Necessity, in D. Davidson and G. Harman (eds.), Semantics of Natural Language, 2nd edition, pp. 253-355; Addenda pp. 763-769, Dordrecht, 1972) The latter should be criticized for using "meaning" in two different ways. a) as meaning b) as the way how the reference is determined. By identifying the two, he assumes that both are created by specific descriptions.that both are given by specific markings. I 192 Causal chain/Historic chain/Semantics/Metasemantics/Presemantics/Kaplan/Stalnaker: (Kaplan 1989a, 574 ("pre-semantics") Question: Are causal chains a part of semantics or a part of metasemantics? Semantics: states, which semantic values hold the expressions of a language. Metasemantics: what circumstances determine the semantic values. Presemantics/Kaplan: concerns those who believe that a name signifies something laying at the other end of a historical chain. Semantics/Kaplan: gives us rather the meaning than explaining how to find it. Similar to Kripke: reference/Meaning/Kripke/Stalnaker: Kripke distinguishes between what the reference fixes (the causal chain) and it signifies. KripkeVsFrege: he has mixed up those two things. Name/Kaplan/Stalnaker: he asks whether names are like index words. I/Kaplan/Stalnaker: Is a rigid designator: The truth conditions (WB) of what is said (propositional content) depend on the actual referent. Contrary to: Meaning/I/Stalnaker: One indicates the significance by stating how the referent is determined in the context. That would belong to a theory of e.g. the English language. E.g. "I refer to the speaker" . Who knows this will be taken for someone who knwos the significance of"I", even if Important Argument: he does not know who was the speaker at a particular occasion.((s) Difference between significance/reference > "whoever was the speaker") Def Character/Kaplan: = significance. Function of possible contexts of use for referents. Tugendhat I 440 KripkeVsFrege: Primacy of descriptions not anymore(TugendhatVs). Kripke/Tugendhat: Actually, he is not particularly interested in the definition of the proper name but in the rigid designator. |
Kripke I S.A. Kripke Naming and Necessity, Dordrecht/Boston 1972 German Edition: Name und Notwendigkeit Frankfurt 1981 Kripke II Saul A. Kripke "Speaker’s Reference and Semantic Reference", in: Midwest Studies in Philosophy 2 (1977) 255-276 In Eigennamen, Ursula Wolf Frankfurt/M. 1993 Kripke III Saul A. Kripke Is there a problem with substitutional quantification? In Truth and Meaning, G. Evans/J McDowell Oxford 1976 Kripke IV S. A. Kripke Outline of a Theory of Truth (1975) In Recent Essays on Truth and the Liar Paradox, R. L. Martin (Hg) Oxford/NY 1984 Cr I M. J. Cresswell Semantical Essays (Possible worlds and their rivals) Dordrecht Boston 1988 Cr II M. J. Cresswell Structured Meanings Cambridge Mass. 1984 Stalnaker I R. Stalnaker Ways a World may be Oxford New York 2003 Tu I E. Tugendhat Vorlesungen zur Einführung in die Sprachanalytische Philosophie Frankfurt 1976 Tu II E. Tugendhat Philosophische Aufsätze Frankfurt 1992 |
| Frege, G. | Russell Vs Frege, G. | Dummett I 59 RussellVs distinction sense / reference (meaning / reference) (RussellVsFrege) --- Stepanians I 44 Proof/Frege/Stepanians: Frege requests with the demand for completeness and rigor much stronger requirements for evidence than his mathematical contemporaries. Mathematics/VsFrege: mathematicians were more interested in truth than in the epistemological status. Intuitively plausible transitions were sufficient. --- Stepanians I 87 Explicit definition/Frege/Stepanians: must satisfy two conditions 1. Frege's adequacy criterion: Hume's principle must follow from it. The justification for this principle is that the basic laws of arithmetic have to be provable on the principle's basis. 2. the explicit definition must master the problem with recourse to concept scope, where the context definition fails: it must solve the Caesar-problem (see above). --- I 88 VsFrege: his explicit definition of the number concept does not solve the Caesar problem, but shifts it only to concept scope. Solution: would it only be if the concept scope excluded from the outset that Caesar is such a one. Solution/Frege: requires here simply that the knowledge of the concept scope excludes this. Value-over-time/terminology: = concept scope. I 88 Concept scope/Frege/StepaniansVsFrege/VsFrege/Stepanians: Frege's own view of concept scopes will prove to be contradictory (see Russell's paradox). I 91 Concept scope/Frege/Stepanians: was a newly introduced logical object by Frege for solving the Caesar-problem. They were not present yet in the concept script. Frege must justify them. Additional axiom: "Basic Law V": The scope of F = is the scope of G bik All Fs are G and vice versa. Russell's paradox/antinomy/RussellVsFrege/Stepanians: Basic Law V allows the transition from a general statement via terms to a statement about objects that fall under F - the scope of F. It is assumed that each term has a scope, even if it might be empty. I 92 RussellVsFrege/Stepanians: shows that not all definable terms in Frege's theory have a scope: Concept scope/Frege/RussellVsFrege: since concept scopes are objects the question has to be allowed whether a concept scope falls under the concept whose extent/scope it is. If so, it includes itself, otherwise not. Example: the scope of the term cat is itself not a cat. On the other hand: Example: the scope of the term non-cat contains very well itself, since it is not a cat. Contradiction: a concept scope which includes all concept scopes that do not contain themselves. If it contained itself, it should not to contain itself by definition, if it did not contain itself, it must include itself by definition. I 96 Object/concept/Frege/Stepanians: we discover (in a purely logical way) objects on concepts as their scopes. I 97 VsFrege/VsConcept scope/Stepanians: the idea of the concept scope is based on a linguistic deception (See Chapter 6 § 2). That was Frege's own diagnosis. I 114 Sentence/declarative sentence/statement/designating/VsFrege/Stepanians: one has often accused Frege that a declarative sentence does not want to denote anything but wants to claim (a truth value as an object) something. FregeVsVs/Stepanians: sentences as names for truth values are actually about subsets, whereas these subsets make a contribution to the truth value of the sentence structure (complete sentence). Sentence/assertion/declarative sentence/Frege: (later, function and concept, 22, footnote): the total sentence means F nothing. Basic Laws/terminology/Frege: (later): in the basic laws he differentiates terminologically and graphically between sentential "truth value names" that contribute towards the determination of the truth value and "concept type sets" that mean F nothing, but claim something. --- Horwich I 57 RussellVsFrege/Cartwright: Russell's analysis differs from Frege, by not using unsaturation. (1) 1. R. Cartwright, „A Neglected Theory of Truth“ , Philosophical Essays, Cambridge/MA pp. 71-93 in: Paul Horwich (Ed.) Theories of Truth, Aldershot 1994 --- Newen I 61 Meaning determination/meaning/Russell/Newen: Two modes are possible: a) syncategorematic: according to the occurrence in a sentence. b) categorematic; independent from the occurrence in a sentence. Relational principle of meaning: applies to categorematic expressions: the meaning is the object (or the property). They are defined by acquaintance. --- I 62 RussellVsFrege: Thesis: simple expressions mean what they signify. Syncategorematic/meaning/Russell. E.g. "and", "or": indicating their meaning means indicating the meaning of sentences in which they occur. ((s)> Context, contextually). Contextually/Russell/Newen: syncategorematic expressions: their meaning is indicated by their meaning in schemes (sentence scheme). --- Quine II 103 Russell: classes, if there are any, must exist, properties at best must be in place (weaker). Quine: I think this is arbitrary. In Russell's analysis of the concept of meaning, its relative indifference reappears opposite the existence-term (subsistence): Frege: threefold distinction a) expression, b) what it means, c) that to what it (if at all) refers to. This is not natural for Russell. RussellVsFrege: ~ the whole distinction between mean and designate is wrong. The relationship between "C" and C remains completely mysterious, and where should we find the designating complex that supposedly refers to C? QuineVsRussell: Russell's position seems sometimes to come from a confusion of terms with their meanings, sometimes from a confusion of the expression with its mention. |
Russell I B. Russell/A.N. Whitehead Principia Mathematica Frankfurt 1986 Russell II B. Russell The ABC of Relativity, London 1958, 1969 German Edition: Das ABC der Relativitätstheorie Frankfurt 1989 Russell IV B. Russell The Problems of Philosophy, Oxford 1912 German Edition: Probleme der Philosophie Frankfurt 1967 Russell VI B. Russell "The Philosophy of Logical Atomism", in: B. Russell, Logic and KNowledge, ed. R. Ch. Marsh, London 1956, pp. 200-202 German Edition: Die Philosophie des logischen Atomismus In Eigennamen, U. Wolf (Hg) Frankfurt 1993 Russell VII B. Russell On the Nature of Truth and Falsehood, in: B. Russell, The Problems of Philosophy, Oxford 1912 - Dt. "Wahrheit und Falschheit" In Wahrheitstheorien, G. Skirbekk (Hg) Frankfurt 1996 Dummett I M. Dummett The Origins of the Analytical Philosophy, London 1988 German Edition: Ursprünge der analytischen Philosophie Frankfurt 1992 Dummett II Michael Dummett "What ist a Theory of Meaning?" (ii) In Truth and Meaning, G. Evans/J. McDowell Oxford 1976 Dummett III M. Dummett Wahrheit Stuttgart 1982 Dummett III (a) Michael Dummett "Truth" in: Proceedings of the Aristotelian Society 59 (1959) pp.141-162 In Wahrheit, Michael Dummett Stuttgart 1982 Dummett III (b) Michael Dummett "Frege’s Distiction between Sense and Reference", in: M. Dummett, Truth and Other Enigmas, London 1978, pp. 116-144 In Wahrheit, Stuttgart 1982 Dummett III (c) Michael Dummett "What is a Theory of Meaning?" in: S. Guttenplan (ed.) Mind and Language, Oxford 1975, pp. 97-138 In Wahrheit, Michael Dummett Stuttgart 1982 Dummett III (d) Michael Dummett "Bringing About the Past" in: Philosophical Review 73 (1964) pp.338-359 In Wahrheit, Michael Dummett Stuttgart 1982 Dummett III (e) Michael Dummett "Can Analytical Philosophy be Systematic, and Ought it to be?" in: Hegel-Studien, Beiheft 17 (1977) S. 305-326 In Wahrheit, Michael Dummett Stuttgart 1982 Step I Markus Stepanians Gottlob Frege zur Einführung Hamburg 2001 Horwich I P. Horwich (Ed.) Theories of Truth Aldershot 1994 Newen I Albert Newen Markus Schrenk Einführung in die Sprachphilosophie Darmstadt 2008 Quine I W.V.O. Quine Word and Object, Cambridge/MA 1960 German Edition: Wort und Gegenstand Stuttgart 1980 Quine II W.V.O. Quine Theories and Things, Cambridge/MA 1986 German Edition: Theorien und Dinge Frankfurt 1985 Quine III W.V.O. Quine Methods of Logic, 4th edition Cambridge/MA 1982 German Edition: Grundzüge der Logik Frankfurt 1978 Quine V W.V.O. Quine The Roots of Reference, La Salle/Illinois 1974 German Edition: Die Wurzeln der Referenz Frankfurt 1989 Quine VI W.V.O. Quine Pursuit of Truth, Cambridge/MA 1992 German Edition: Unterwegs zur Wahrheit Paderborn 1995 Quine VII W.V.O. Quine From a logical point of view Cambridge, Mass. 1953 Quine VII (a) W. V. A. Quine On what there is In From a Logical Point of View, Cambridge, MA 1953 Quine VII (b) W. V. A. Quine Two dogmas of empiricism In From a Logical Point of View, Cambridge, MA 1953 Quine VII (c) W. V. A. Quine The problem of meaning in linguistics In From a Logical Point of View, Cambridge, MA 1953 Quine VII (d) W. V. A. Quine Identity, ostension and hypostasis In From a Logical Point of View, Cambridge, MA 1953 Quine VII (e) W. V. A. Quine New foundations for mathematical logic In From a Logical Point of View, Cambridge, MA 1953 Quine VII (f) W. V. A. Quine Logic and the reification of universals In From a Logical Point of View, Cambridge, MA 1953 Quine VII (g) W. V. A. Quine Notes on the theory of reference In From a Logical Point of View, Cambridge, MA 1953 Quine VII (h) W. V. A. Quine Reference and modality In From a Logical Point of View, Cambridge, MA 1953 Quine VII (i) W. V. A. Quine Meaning and existential inference In From a Logical Point of View, Cambridge, MA 1953 Quine VIII W.V.O. Quine Designation and Existence, in: The Journal of Philosophy 36 (1939) German Edition: Bezeichnung und Referenz In Zur Philosophie der idealen Sprache, J. Sinnreich (Hg) München 1982 Quine IX W.V.O. Quine Set Theory and its Logic, Cambridge/MA 1963 German Edition: Mengenlehre und ihre Logik Wiesbaden 1967 Quine X W.V.O. Quine The Philosophy of Logic, Cambridge/MA 1970, 1986 German Edition: Philosophie der Logik Bamberg 2005 Quine XII W.V.O. Quine Ontological Relativity and Other Essays, New York 1969 German Edition: Ontologische Relativität Frankfurt 2003 Quine XIII Willard Van Orman Quine Quiddities Cambridge/London 1987 |
| Frege, G. | Wittgenstein Vs Frege, G. | Brandom I 919 TractatusVsFrege: nothing can be considered an assertion, if not previously logical vocabulary is available, already the simplest assertion assumes the entire logic. --- Dummett I 32 Frege capturing of thought: psychic act - thought not the content of consciousness - consciousness subjective - thought objective - WittgensteinVs I 35 WittgensteinVsFrege: no personal objects (sensations), otherwise private language, unknowable for the subject itself. WittgensteinVsFrege: Understanding no psychic process, - real mental process: pain, melody (like Frege). Dummett I 62 Wittgenstein's criticism of the thought of a private ostensive definition states implicitly that color words can have no, corresponding with the Fregean assumption, subjective, incommunicable sense. (WittgensteinVsFrege, color words). But Frege represents anyway an objective sense of color words, provided that it is about understanding. Dummett I 158 WittgensteinVsDummett/WittgensteinVsFrege: rejects the view that the meaning of a statement must be indicated by description of their truth conditions. Wittgenstein: Understanding not abruptly, no inner experience, not the same consequences. --- Wolf II 344 Names/meaning/existence/WittgensteinVsFrege: E.g. "Nothung has a sharp blade" also has sense if Nothung is smashed. II 345 Name not referent: if Mr N.N. dies, the name is not dead. Otherwise it would make no sense to say "Mr. N.N. died". --- Simons I 342 Sentence/context/copula/tradition/Simons: the context of the sentence provided the copula according to the traditional view: Copula/VsTradition: only accours as a normal word like the others in the sentence, so it cannot explain the context. Solution/Frege: unsaturated phrases. Sentence/WittgensteinVsFrege/Simons: context only simply common standing-next-to-each-other of words (names). That is, there is not one part of the sentence, which establishes the connection. Unsaturation/Simons: this perfectly matches the ontological dependence (oA): a phrase cannot exist without certain others! --- Wittgenstein I 16 Semantics/Wittgenstein/Frege/Hintikka: 1. main thesis of this chapter: Wittgenstein's attitude to inexpressibility of semantics is very similar to that of Frege. Wittgenstein represents in his early work as well as in the late work a clear and sweeping view of the nature of the relationship between language and the world. As Frege he believes they cannot be expressed verbally. Earlier WittgensteinVsFrege: by indirect use this view could be communicated. According to the thesis of language as a universal medium (SUM) it cannot be expressed in particular, what would be the case if the semantic relationships between language and the world would be different from the given ones? Wittgenstein I 45 Term/Frege/WittgensteinVsFrege/Hintikka: that a concept is essentially predicative, cannot be expressed by Frege linguistically, because he claims that the expression 'the term X' does not refer to a concept, but to an object. I 46 Term/Frege/RussellVsFrege/Hintikka: that is enough to show that the Fregean theory cannot be true: The theory consists of sentences, which, according to their own theory cannot be sentences, and if they cannot be sentences, they also cannot be true ". (RussellVsFrege) WittgensteinVsFrege/late: return to Russell's stricter standards unlike Frege and early Wittgenstein himself. Wittgenstein late: greatly emphasizes the purely descriptive. In Tractatus he had not hesitated to go beyond the vernacular. I 65ff Saturated/unsaturated/Frege/Tractatus/WittgensteinVsFrege: in Frege's distinction lurks a hidden contradiction. Both recognize the context principle. (Always full sentence critical for meaning). I 66 Frege: unsaturated entities (functions) need supplementing. The context principle states, however, neither saturated nor unsaturated symbols have independent meaning outside of sentences. So both need to be supplemented, so the difference is idle. The usual equation of the objects of Tractatus with individuals (i.e. saturated entities) is not only missed, but diametrically wrong. It is less misleading, to regard them all as functions I 222 Example number/number attribution/WittgensteinVsFrege/Hintikka: Figures do not require that the counted entities belong to a general area of all quantifiers. "Not even a certain universality is essential to the specified number. E.g. 'three equally big circles at equal distances' It will certainly not be: (Ex, y, z)xe circular and red, ye circular and red, etc ..." The objects Wittgenstein observes here, are apparently phenomenological objects. His arguments tend to show here that they are not only unable to be reproduced in the logical notation, but also that they are not real objects of knowledge in reality. ((s) that is not VsFrege here). Wittgenstein: Of course, you could write like this: There are three circles, which have the property of being red. I 223 But here the difference comes to light between inauthentic objects: color spots in the visual field, tones, etc., and the actual objects: elements of knowledge. (> Improper/actual, >sense data, >phenomenology). --- II 73 Negation/WittgensteinVsFrege: his explanation only works if his symbols can be substituted by the words. The negation is more complicated than that negation character. --- Wittgenstein VI 119 WittgensteinVsFrege/Schulte: he has not seen what is authorized on formalism that the symbols of mathematics are not the characters, but have no meaning. Frege: alternative: either mere ink strokes or characters of something. Then what they represent, is their meaning. WittgensteinVsFrege: that this alternative is not correct, shows chess: here we are not dealing with the wooden figures, and yet the figures represent nothing, they have no Fregean meaning (reference). There is simply a third one: the characters can be used as in the game. Wittgenstein VI 172 Name/Wittgenstein/Schulte: meaning is not the referent. (VsFrege). --- Sentence/character/Tractatus 3.14 .. the punctuation is a fact,. 3.141 The sentence is not a mixture of words. 3.143 ... that the punctuation is a fact is concealed by the ordinary form of expression of writing. (WittgensteinVsFrege: so it was possible that Frege called the sentence a compound name). 3.1432 Not: "The complex character 'aRb' says that a stands in the relation R to b, but: that "a" is in a certain relation to "b", says aRb ((s) So conversely: reality leads to the use of characters). (quotes sic). --- Wittgenstein IV 28 Mention/use/character/symbol/WittgensteinVsFrege/WittgensteinVsRussell/Tractatus: their Begriffsschrift(1) does not yet exclude such errors. 3.326 In order to recognize the symbol through the character, you have to pay attention to the meaningful use. Wittgenstein IV 40 Sentence/sense/WittgensteinVsFrege/Tractatus: the verb of the sentence is not "is true" or "is wrong", but the verb has already to include that, what is true. 4.064 The sentence must have a meaning. The affirmation does not give the sentence its meaning. IV 47 Formal concepts/Tractatus: (4.1272) E.g. "complex", "fact", "function", "number". WittgensteinVsFrege/WittgensteinVsRussell: they are presented in the Begriffsschrift by variables, not represented by functions or classes. E.g. Expressions like "1 is a number" or "there is only one zero" or E.g. "2 + 2 = 4 at three o'clock" are nonsensical. 4.12721 the formal concept is already given with an object, which falls under it. IV 47/48 So you cannot introduce objects of a formal concept and the formal concept itself, as basic concepts. WittgensteinVsRussell: you cannot introduce the concept of function and special functions as basic ideas, or e.g. the concept of number and definite numbers. Successor/Begriffsschrift/Wittgenstein/Tractatus: 4.1273 E.g. b is successor of a: aRb, (Ex): aRx.xRb, (Ex,y): aRx.xRy.yRb ... General/something general/general public/WittgensteinVsFrege/WittgensteinVsRussell: the general term of a form-series can only be expressed by a variable, because the term "term of this form-series" is a formal term. Both have overlooked: the way, how they want to express general sentences, is circular. IV 49 Elementary proposition/atomism/Tractatus: 4.211 a character of an elementary proposition is that no elementary proposition can contradict it. The elementary proposition consists of names, it is a concatenation of names. WittgensteinVsFrege: it itself is not a name. IV 53 Truth conditions/truth/sentence/phrase/Tractatus: 4.431 of the sentence is an expression of its truth-conditions. (pro Frege). WittgensteinVsFrege: false explanation of the concept of truth: would "the truth" and "the false" really be objects and the arguments in ~p etc., then according to Frege the meaning of "~ p" is not at all determined. Punctuation/Tractatus: 4.44 the character that is created by the assignment of each mark "true" and the truth possibilities. Object/sentence/Tractatus: 4.441 it is clear that the complex of characters IV 54 Ttrue" and "false" do not correspond to an object. There are no "logical objects". Judgment line/WittgensteinVsFrege/Tractatus: 4.442 the judgment line is logically quite meaningless. It indicates only that the authors in question consider the sentence to be true. Wittgenstein pro redundancy theory/Tractatus: (4.442), a sentence cannot say of itself that it is true. (VsFrege: VsJudgment stroke). IV 59 Meaning/WittgensteinVsFrege/Tractatus: (5.02) the confusion of argument and index is based on Frege's theory of meaning IV 60 of the sentences and functions. For Frege the sentences of logic were names, whose arguments the indices of these names. IV 62 Concluding/conclusion/result relation/WittgensteinVsRussell/WittgensteinVsFrege/Tractatus: 5.132 the "Final Acts" that should justify the conclusions for the two, are senseless and would be superfluous. 5.133 All concluding happens a priori. 5.134 one cannot conclude an elementary proposition from another. ((s) Concluding: from sentences, not situations.) 5.135 In no way can be concluded from the existence of any situation to the existence of, IV 63 an entirely different situation. Causality: 5.136 a causal nexus which justifies such a conclusion, does not exist. 5.1361 The events of the future, cannot be concluded from the current. IV 70 Primitive signs/WittgensteinVsFrege/WittgensteinVsRussell/Tractatus: 5.42 The possibility of crosswise definition of the logical "primitive signs" of Frege and Russell (e.g. >, v) already shows that these are no primitive signs, let alone that they signify any relations. IV 101 Evidence/criterion/logic/WittgensteinVsFrege/Tractatus: 6.1271 strange that such an exact thinker like Frege appealed to the obviousness as a criterion of the logical sentence. IV 102 Identity/meaning/sense/WittgensteinVsFrege/Tractatus: 6.232 the essential of the equation is not that the sides have a different sense but the same meaning, but the essential is that the equation is not necessary to show that the two expressions, that are connected by the equal sign, have the same meaning, since this can be seen from the two expressions themselves. 1. G. Frege, Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens, Halle 1879, Neudruck in: Ders. Begriffsschrift und andere Aufsätze, hrsg. v. J. Agnelli, Hildesheim 1964 --- Wittgenstein II 343 Intension/classes/quantities/Frege/Russell/WittgensteinVsRussell/WittgensteinVsFrege: both believed they could deal with the classes intensionally because they thought they could turn a list into a property, a function. (WittgensteinVs). Why wanted both so much to define the number? |
W II L. Wittgenstein Wittgenstein’s Lectures 1930-32, from the notes of John King and Desmond Lee, Oxford 1980 German Edition: Vorlesungen 1930-35 Frankfurt 1989 W III L. Wittgenstein The Blue and Brown Books (BB), Oxford 1958 German Edition: Das Blaue Buch - Eine Philosophische Betrachtung Frankfurt 1984 W IV L. Wittgenstein Tractatus Logico-Philosophicus (TLP), 1922, C.K. Ogden (trans.), London: Routledge & Kegan Paul. Originally published as “Logisch-Philosophische Abhandlung”, in Annalen der Naturphilosophische, XIV (3/4), 1921. German Edition: Tractatus logico-philosophicus Frankfurt/M 1960 Bra I R. Brandom Making it exlicit. Reasoning, Representing, and Discursive Commitment, Cambridge/MA 1994 German Edition: Expressive Vernunft Frankfurt 2000 Bra II R. Brandom Articulating reasons. An Introduction to Inferentialism, Cambridge/MA 2001 German Edition: Begründen und Begreifen Frankfurt 2001 Dummett I M. Dummett The Origins of the Analytical Philosophy, London 1988 German Edition: Ursprünge der analytischen Philosophie Frankfurt 1992 Dummett III (e) Michael Dummett "Can Analytical Philosophy be Systematic, and Ought it to be?" in: Hegel-Studien, Beiheft 17 (1977) S. 305-326 In Wahrheit, Michael Dummett Stuttgart 1982 K II siehe Wol I U. Wolf (Hg) Eigennamen Frankfurt 1993 Simons I P. Simons Parts. A Study in Ontology Oxford New York 1987 |
| Frege, G. | Millikan Vs Frege, G. | I 102 Relation of projection/language/Millikan: We begin by saying that at least a few words are coordinated with objects. Accordingly, true propositions correspond with facts in the world. Problem: Incorrect sentences do not correspond to any facts. How can individual words that correspond very well to objects, be composed in a way that in the end the whole sentence does not correspond? Ex "Theaetetus flies": "Theaetetus" corresponds to Theaitetus, "flies" corresponds to flying. wrong solution: to say that it was up to the relation between the Theaetetus and the flying. Because the relation corresponds somewhat, this may be instantiated (Ex between Theaitetos and walking) or uninstantiiert. Everything corresponds to something - just not the whole sentence "Theaetetus flies". Solution/Frege: he joined the singular term with "values" that were the objects in the world. I 103 Sentence/Frege/Millikan: he interpreted thus similarly to names, as complex characters that marked truth or falsity in the end. (Millikan pro Frege: "elegant") Solution/Wittgenstein/WittgensteinVsFrege/Millikan (Millikan: better than Frege): complex aRb, whereas in the case of false sentences the correspondence with the world lacks. Correspondence/Wittgenstein/Millikan: but that is another meaning of "corresponding"! Words should correspond with different things than sentences with the world. ((S) double difference: 1. aRb unlike 2. SLW!. It would have already made a difference, if aRb and SRW were opposed.). ((S) Sense/Wittgenstein/(S): corresponds to the possibility of derogations.) I 190 real value/indexical adaptor/denotation/Millikan: Ex "the ___ N of ....". indexical adaptor: has to be a real value of "N" to be in the embedded clause "N ..." and a real value of "the" in the embedded sentence "the ...". focused eigenfunction/eigenfunction: to be translated into an internal name, which identifies the individual N. This has the entire denotation if it is properly adapted. intentional Icon: Ex "the ___m of..." thus includes two intentional icons or projections on facts. But these are different from the purpose of the sentence as a whole or a subset. embedded sentence: does not only want to introduce the listener to a fact, but o show to which complex category belongs what corresponds to the subject in the independent sentence containing the embedded sentence. reference: that's how the reference of a designation is determined. Sense / Millikan: now it is clear why I have called sense the rules. Because the various markings differ in terms of the rules, even if they have the same references. Sense according to Frege/Millikan: this difference of rules is the difference in meaning. Meaning/reference/MillikanVsFrege: but a reference has to take on only a meaning of a certain kind. Thus, there is something that has been previously discriminated before the meaning of the remainder of the sentence has been identified. I 191 Reference/meaning/Millikan: but the having of meaning or of references are very similar types of "having". I 274 Property/object/predicate/substance/individual/ontology/Millikan: Strawson'S distinction between "monogamous" and "non-monogamous" entities is not absolute but relative: Object/thing: Ex if my ring is made of gold, it can not be made of silver at the same time. polygamous: Gold is relative to my ring. ((S) it could have been made of silver - the gold could have belonged to another subject.). Then gold is a property (as opposed to another) and my ring a substance. But in relation to other substances the identity of gold seems to be like the identity of an individual. Ontology/MillikanVsFrege/MillikanVsRussell: we must drop the rigid distinction between concept and object or individual thing and property. I 275 Description: not only predicates are variations in world states, but also substances or individuals (they can be exchanged). Substance: if we consider gold as a property that does not prevent interpreting it also as a substance. As Aristotle said: Individuals/Aristotle/Millikan: are merely primary substances, not the only substances that exist, that is, substances which are not properties of something else. Substance/Millikan: is actually an epistemic category. Substance/Millikan: Ex Gold, Ex Domestic Cat, Ex '69 Plymouth Valiant 100th. Substance/category/Millikan: substances fall into categories defined by exclusive classes, in regard to which they are determined. Ex gold and silver fall into the same category because they belong to the same exclusive classes: have a melting point, atomic weight, etc. I 308 Truth/accuracy/criterion/Quine/Millikan: For Quine a criterion for correct thinking seems to be that the relation to a stimulus can be predicted. MillikanVsQuine: but how does learning to speak in unison facilitate the prediction? Correspondence/MillikanVsQuine/MillikanVsWittgenstein: both are not aware of what conformity in judgments really is: it is not to speak in unison. If one does not say the same, that does not mean that one does not agree. Solution/Millikan: correspondence is to say the same about the same. Mismatch: can arise only if sentences have subject-predicate structure and negation is permitted. One-word sentence/QuineVsFrege/Millikan: Quine goes so far as to allow the sentence "Ouch!" He thinks the difference between word and sentence in the end only concernes the printer. Negation/Millikan: the negation of a sentence is not proven by a lack of evidence, but by positive facts (supra). Contradiction/Millikan: that we do not agree on a sentence and its negation simultaneously lies in the nature (natural necessity). I 309 Thesis: lack of contradiction is essentially based on the ontological structure of the world. |
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 |
| Kripke, S. A. | Donnellan Vs Kripke, S. A. | I 27 Names/DonnellanVsRussell: logical proper names ("this") are no meaningful construction: according to the natural conception, it is precisely proper names that stand for an object without describing it. DonnellanVsKripke: for him it looks as if the name would somehow stand directly for the language-independent given object, I 27 Donnellan: but the name is only a means, which could also be replaced by another one. (>Donnellan I 205) I 27 Causal Chain/Donnellan: must be historically correct. In the case of negative existential propositions it breaks off or is blocked. Names/BurgeVsKripke/BurgeVsDonnellan: not singular terms, but predicates (like Russell). E.g. "There is a time t for the speaker S a reference action x to an object y, so that: y is a Socrates and y is bald". The part sentence "y is a Socrates" thus has a truth condition itself. reference is not eliminated. Dual reference: To the reference action and to naming. |
Donnellan I Keith S. Donnellan "Reference and Definite Descriptions", in: Philosophical Review 75 (1966), S. 281-304 In Eigennamen, Ursula Wolf Frankfurt/M. 1993 |
| Meinong, A. | Meixner Vs Meinong, A. | I 62 Round Square/Description/Meinong/Meixner: the Meinongian does not say that the round square exists, he goes even further and says that it cannot exist at all, he insists only that it is an entity. I 63 MeinongVsRussell: if the description "the golden mountain" designates an incomplete individual, then probably also the following description is exactly the same: "the existing golden mountain". MeixnerVsMeinong: not very convincing. However: "Weak Sense"/Existence: like Holmes, you can say in the weak sense, "it has the property F to exist". But that is not the strong sense. Possibilia/Meixner: individual-like entities that are at least in principle able to exist. ((s) So not a round square). Question: Is there such a thing? That would be exactly the ee maximum consistent individuals. The impossible are not ee maximum consistent. Maximum consistent individuals: e.g. Meixner, Bush, (sets of properties). Pure Posssibilia: only possible individuals. Are there any? Language: interestingly, has no names for pure Possibilia! I 64 Nevertheless, there is some ontological evidence of the presence of pure possibilia: It is clear that some individuals are actual, but could not have been actual (e.g. humans). Meixner: Thesis: the reverse assumption, that some are not actual but could have been actual, naturally occurs next to this fact. Meixner: certain actual individuals refer to non-actual ones: egg and sperm cells from which a human never emerges. Should we now say here that it merely seems as if it refers to a possible human being, and that at the other end there is no reference relationship (reference). Unrealized Possibilities/Meixner: the merely possible human does not have certain qualities, e.g. an exact date of birth, (i.e. he does not have them in the real (actual) world, but nevertheless he has the negation of these qualities. Unrealized Possibilities/Meixner: the predisposition for blue eyes (the egg and sperm cells) leave nothing to be desired in positive determination! Def maximum consistent/Meixner: of every individual characteristic the individual contains either this or his negation. ((s) > continuous determination/Kant). Pure Possibilia/Meixner: this applies to merely possible. The individual is, so to speak, nothing other than this set of properties (see above). |
Mei I U. Meixner Einführung in die Ontologie Darmstadt 2004 |
| Principia Mathematica | Gödel Vs Principia Mathematica | Russell I XIV Circular Error Principle/VsPrincipia Mathematica(1)/PM/Russell/Gödel: thus seems to apply only to constructivist assumptions: when a term is understood as a symbol, together with a rule to translate sentences containing the symbol into sentences not containing it. Classes/concepts/Gödel: can also be understood as real objects, namely as "multiplicities of things" and concepts as properties or relations of things that exist independently of our definitions and constructions! This is just as legitimate as the assumption of physical bodies. They are also necessary for mathematics, as they are for physics. Concept/Terminology/Gödel: I will use "concept" from now on exclusively in this objective sense. A formal difference between these two conceptions of concepts would be: that of two different definitions of the form α(x) = φ(x) it can be assumed that they define two different concepts α in the constructivist sense. (Nominalistic: since two such definitions give different translations for propositions containing α.) For concepts (terms) this is by no means the case, because the same thing can be described in different ways. For example, "Two is the term under which all pairs fall and nothing else. There is certainly more than one term in the constructivist sense that satisfies this condition, but there could be a common "form" or "nature" of all pairs. All/Carnap: the proposal to understand "all" as a necessity would not help if "provability" were introduced in a constructivist manner (..+...). Def Intensionality Axiom/Russell/Gödel: different terms belong to different definitions. This axiom holds for terms in the circular error principle: constructivist sense. Concepts/Russell/Gödel: (unequal terms!) should exist objectively. (So not constructed). (Realistic point of view). When only talking about concepts, the question gets a completely different meaning: then there seems to be no objection to talking about all of them, nor to describing some of them with reference to all of them. Properties/GödelVsRussell: one could surely speak of the totality of all properties (or all of a certain type) without this leading to an "absurdity"! ((s) > Example "All properties of a great commander". Gödel: this simply makes it impossible to construe their meaning (i.e. as an assertion about sense perception or any other non-conceptual entities), which is not an objection to someone taking the realistic point of view. Part/whole/Mereology/GödelVsRussell: neither is it contradictory that a part should be identical (not just the same) with the whole, as can be seen in the case of structures in the abstract sense. Example: the structure of the series of integers contains itself as a special part. I XVI/XVII Even within the realm of constructivist logic there are certain approximations to this self-reflectivity (self-reflexivity/today: self-similarity) of impredicative qualities, namely e.g. propositions, which as parts of their meaning do not contain themselves, but their own formal provability. There are also sentences that refer to a totality of sentences to which they themselves belong: Example: "Each sentence of a (given) language contains at least one relational word". This makes it necessary to look for other solutions to the paradoxes, according to which the fallacy does not consist in the assumption of certain self-reflectivities of the basic terms, but in other assumptions about them! The solution may have been found for the time being in simple type theory. Of course, all this refers only to concepts. Classes: one should think that they are also not created by their definitions, but only described! Then the circular error principle does not apply again. Zermelo splits classes into "levels", so that only sets of lower levels can be elements of sets of higher levels. Reducibility Axiom/Russell/Gödel: (later dropped) is now taken by the class axiom (Zermelo's "axiom of choice"): that for each level, for any propositional function φ(x) the set of those x of this level exists for which φ(x) is true. This seems to be implied by the concept of classes as multiplicities. I XVIII Extensionality/Classes: Russell: two reasons against the extensional view of classes: 1. the existence of the zero class, which cannot be well a collection, 2. the single classes, which should be identical with their only elements. GödelVsRussell: this could only prove that the zero classes and the single classes (as distinguished from their only element) are fictions to simplify the calculation, and do not prove that all classes are fictions! Russell: tries to get by as far as possible without assuming the objective existence of classes. According to this, classes are only a facon de parler. Gödel: but also "idealistic" propositions that contain universals could lead to the same paradoxes. Russell: creates rules of translation according to which sentences containing class names or the term "class" are translated into sentences not containing them. Class Name/Russell: eliminate by translation rules. Classes/Principia Mathematica/Russell/Gödel: the Principia Mathematica can do without classes, but only if you assume the existence of a concept whenever you want to construct a class. First, some of them, the basic predicates and relations like "red", "colder" must be apparently considered real objects. The higher terms then appear as something constructed (i.e. something that does not belong to the "inventory of the world"). I XIX Ramsey: said that one can form propositions of infinite length and considers the difference finite/infinite as not so decisive. Gödel: Like physics, logic and mathematics are based on real content and cannot be "explained away". Existence/Ontology/Gödel: it does not behave as if the universe of things is divided into orders and one is forbidden to speak of all orders, but on the contrary: it is possible to speak of all existing things. But classes and concepts are not among them. But when they are introduced as a facon de parler, it turns out that the extension of symbolism opens the possibility of introducing them in a more comprehensive way, and so on, to infinity. To maintain this scheme, however, one must presuppose arithmetics (or something equivalent), which only proves that not even this limited logic can be built on nothing. I XX Constructivist posture/constructivism/Russell/Gödel: was abandoned in the first edition, since the reducibility axiom for higher types makes it necessary that basic predicates of arbitrarily high type exist. From constructivism remains only 1. Classes as facon de parler 2. The definition of ~, v, etc. as valid for propositions containing quantifiers, 3. The stepwise construction of functions of orders higher than 1 (of course superfluous because of the R-Axiom) 4. the interpretation of definitions as mere typographical abbreviations (all incomplete symbols, not those that name an object described by the definition!). Reducibility Axiom/GödelVsRussell: this last point is an illusion, because of the reducibility axiom there are always real objects in the form of basic predicates or combinations of such according to each defined symbol. Constructivist posture/constructivism/Principia Mathematica/Gödel: is taken again in the second edition and the reducibility axiom is dropped. It is determined that all basic predicates belong to the lowest type. Variables/Russell/Gödel: their purpose is to enable the assertions of more complicated truth functions of atomistic propositions. (i.e. that the higher types are only a facon de parler.). The basis of the theory should therefore consist of truth functions of atomistic propositions. This is not a problem if the number of individuals and basic predicates is finite. Ramsey: Problem of the inability to form infinite propositions is a "mere secondary matter". I XXI Finite/infinite/Gödel: with this circumvention of the problem by disregarding the difference between finite and infinite a simpler and at the same time more far-reaching interpretation of set theory exists: Then Russell's Apercu that propositions about classes can be interpreted as propositions about their elements becomes literally true, provided n is the number of (finite) individuals in the world and provided we neglect the zero class. (..) + I XXI Theory of integers: the second edition claims that it can be achieved. Problem: that in the definition "those cardinals belonging to each class that contains 0 and contains x + 1 if it contains x" the phrase "each class" must refer to a given order. I XXII Thus whole numbers of different orders are obtained, and complete induction can be applied to whole numbers of order n only for properties of n! (...) The question of the theory of integers based on ramified type theory is still unsolved. I XXIII Theory of Order/Gödel: is more fruitful if it is considered from a mathematical point of view, not a philosophical one, i.e. independent of the question of whether impredicative definitions are permissible. (...) impredicative totalities are assumed by a function of order α and ω . Set/Class/Principia Mathematica(1)/Russell/Type Theory/Gödel: the existence of a well-ordered set of the order type ω is sufficient for the theory of real numbers. Def Continuum Hypothesis/Gödel: (generalized): no cardinal number exists between the power of any arbitrary set and the power of the set of its subsets. Type Theory/VsType Theory/GödelVsRussell: mixed types (individuals together with predications about individuals etc.) obviously do not contradict the circular error principle at all! I XXIV Russell based his theory on quite different reasons, similar to those Frege had already adopted for the theory of simpler types for functions. Propositional functions/statement function/Russell/Gödel: always have something ambiguous because of the variables. (Frege: something unsaturated). Propositional function/p.f./Russell/Gödel: is so to speak a fragment of a proposition. It is only possible to combine them if they "fit together" i.e. are of a suitable type. GödelVsRussell: Concepts (terms) as real objects: then the theory of simple types is not plausible, because what one would expect (like "transitivity" or the number two) to be a concept would then seem to be something that stands behind all its different "realizations" on the different levels and therefore does not exist according to type theory. I XXV Paradoxes in the intensional form/Gödel: here type theory brings a new idea: namely to blame the paradoxes not on the axiom that every propositional function defines a concept or a class, but on the assumption that every concept results in a meaningful proposition if it is claimed for any object as an argument. The objection that any concept can be extended to all arguments by defining another one that gives a false proposition whenever the original one was meaningless can easily be invalidated by pointing out that the concept "meaningfully applicable" does not always have to be meaningfully applicable itself. 1. Whitehead, A.N. and Russel, B. (1910). Principia Mathematica. Cambridge: Cambridge University Press. |
Göd II Kurt Gödel Collected Works: Volume II: Publications 1938-1974 Oxford 1990 |
| Russell, B. | Field Vs Russell, B. | II 19 Description/Reference/FieldVsRussell: VsClassical Theory: asserts that you can only refer to something that is "definable from "logically proper" primitives". Problem: this requires the existence of certain sentences, E.g. "If Cicero existed, then Cicero denounced Catiline." ((s) Necessary biographical characteristics instead of contingent ones). Solution/Names/Kripke/Field: causal theory of denotation. Causal network between E.g. Cicero ((s) without quotes, the person, not the name) and users. Or between E.g. Myon and the speakers. (> Causal chain). II 20 Problem: (4) No common English name denotes something that does not exist (s) assumed here merely as an example) would become (4') For each name N that is currently in use, N is "France", then France exists, and ... and N is "Germany", then Germany exists. ((s) 4’: only here follows existence from the use of the word). E.g. (5) For any elements A and B, when an atom of A is combined with two of B, then the valency of A - 2 times that of B. (5’) For arbitrary elements A and B, when an atom of A is combined with two of B, then A is either sodium and B is sodium and +1 = -2 (+1), or ... or A is sulfur and B is sodium and +2 = +2 (+1), or ... Field: if you want to eliminate "denotes" or "valence", then these definitions are what you need. |
Field I H. Field Realism, Mathematics and Modality Oxford New York 1989 Field IV Hartry Field "Realism and Relativism", The Journal of Philosophy, 76 (1982), pp. 553-67 In Theories of Truth, Paul Horwich Aldershot 1994 |
| Russell, B. | Frege Vs Russell, B. | Read III 149 FregeVsMeinong FregeVsRussell: there are quite contradictory concepts, just no contradictory objects - logic can only determine the limitation of concepts, i.e. for each object, whether it falls under the concept, or not - a contradictory concept is needed to prove that there is no corresponding object. Russell/Read: statements, meanings of sentences, and objects of belief: have individual things and universals as constituents. "Socrates is wise" literally has Socrates and wisdom as constituent elements. The meaning of "Socrates" for him was the philosopher himself. (>Meaning). Russell: (naive realist: meaning = extension or reference, FregeVs). |
F I G. Frege Die Grundlagen der Arithmetik Stuttgart 1987 F II G. Frege Funktion, Begriff, Bedeutung Göttingen 1994 F IV G. Frege Logische Untersuchungen Göttingen 1993 Re III St. Read Thinking About Logic: An Introduction to the Philosophy of Logic. 1995 Oxford University Press German Edition: Philosophie der Logik Hamburg 1997 |
| Russell, B. | Gödel Vs Russell, B. | Russell I VI GödelVsRussell: the syntax of formalism is not executed! There is a lack of formal precision (order of elimination of symbols). Relations Calculus: previously carried out by Schrödinger and Peirce. I VII Russell/Gödel: very realistic attitude. The things discussed may exist, but we have no direct perception of them! He compares the axioms of logic and mathematics with the laws of nature. I VIII Meaning/Russell/Gödel: the example "author of Waverley" surprisingly leads to the fact that all true sentences have the same meaning. Author v. Waverley: is not a description of Scott. Description is not equal to assertion. It does not denote an object. StrawsonVs: a sentence with Waverley says nothing about Scott because it does not contain it. Description: means nothing at all outside of a context! "The author of Waverley" claims (strictly speaking) nothing about Scott, (Since he contains no constituents that denotes Scott). Description is not equal to assertion. I XIII GödelVsRussel: the circular error principle in its first form is not sufficient, because the axioms imply the existence of real numbers, which in this formalism are definable only with reference to all real numbers. Circular Error Principle/GödelVsRussell: the principia themselves do not satisfy the principle in their first edition, if "definable" means "definable within the system", and no definition methods outside are known, except those which comprise even more extensive totalities than those which occur in the system. Gödel: I would rather see this as proof that the principle of circular error is wrong than that classical mathematics is wrong. For one can deny with good reasons that the reference to a totality necessarily implies a reference to all its individual elements, or in other words that "all" means the same thing as an infinite logical conjunction. I XII/XIV "All"/solution/Carnap: "all" means analyticity or necessity, or provability. Gödel: besides, the circular error principle (PT) seems to apply only if the entities concerned are constructed by ourselves. In this case, a definition must clearly exist, namely the description of the construction. However, when it comes to independent objects, there is nothing absurd about the existence of totalities that contain members that can only be described (i.e. unambiguously characterized) by reference to totality. Def Description/Russell/Gödel: an object is called Def described by a propositional function φ(x) if φ(x) is true for x = a and for no other object. Second form: "comprise": one cannot even say that an object described with reference to a totality "comprises" this totality, although the description itself does. Third form: "presuppose": just as little would it contradict the third form, if "presupposed" means: "presupposed for existence", not "for perceptibility". |
Göd II Kurt Gödel Collected Works: Volume II: Publications 1938-1974 Oxford 1990 |
| Russell, B. | Putnam Vs Russell, B. | I (e) 135 Name/reference/PutnamVsRussell: Vs synonymy of general term and necessary and sufficient conditions for a belonging in the corresponding class: E.g. Multiple Sclerosis: the underlying status is caused by a virus. The interesting question is not the >"extension" of the expression, but what (if anything) is in correspondence with our >concept of multiple sclerosis. |
Putnam I Hilary Putnam Von einem Realistischen Standpunkt In Von einem realistischen Standpunkt, Vincent C. Müller Frankfurt 1993 Putnam I (a) Hilary Putnam Explanation and Reference, In: Glenn Pearce & Patrick Maynard (eds.), Conceptual Change. D. Reidel. pp. 196--214 (1973) In Von einem realistischen Standpunkt, Vincent C. Müller Reinbek 1993 Putnam I (b) Hilary Putnam Language and Reality, in: Mind, Language and Reality: Philosophical Papers, Volume 2. Cambridge University Press. pp. 272-90 (1995 In Von einem realistischen Standpunkt, Vincent C. Müller Reinbek 1993 Putnam I (c) Hilary Putnam What is Realism? in: Proceedings of the Aristotelian Society 76 (1975):pp. 177 - 194. In Von einem realistischen Standpunkt, Vincent C. Müller Reinbek 1993 Putnam I (d) Hilary Putnam Models and Reality, Journal of Symbolic Logic 45 (3), 1980:pp. 464-482. In Von einem realistischen Standpunkt, Vincent C. Müller Reinbek 1993 Putnam I (e) Hilary Putnam Reference and Truth In Von einem realistischen Standpunkt, Vincent C. Müller Reinbek 1993 Putnam I (f) Hilary Putnam How to Be an Internal Realist and a Transcendental Idealist (at the Same Time) in: R. Haller/W. Grassl (eds): Sprache, Logik und Philosophie, Akten des 4. Internationalen Wittgenstein-Symposiums, 1979 In Von einem realistischen Standpunkt, Vincent C. Müller Reinbek 1993 Putnam I (g) Hilary Putnam Why there isn’t a ready-made world, Synthese 51 (2):205--228 (1982) In Von einem realistischen Standpunkt, Vincent C. Müller Reinbek 1993 Putnam I (h) Hilary Putnam Pourqui les Philosophes? in: A: Jacob (ed.) L’Encyclopédie PHilosophieque Universelle, Paris 1986 In Von einem realistischen Standpunkt, Vincent C. Müller Reinbek 1993 Putnam I (i) Hilary Putnam Realism with a Human Face, Cambridge/MA 1990 In Von einem realistischen Standpunkt, Vincent C. Müller Reinbek 1993 Putnam I (k) Hilary Putnam "Irrealism and Deconstruction", 6. Giford Lecture, St. Andrews 1990, in: H. Putnam, Renewing Philosophy (The Gifford Lectures), Cambridge/MA 1992, pp. 108-133 In Von einem realistischen Standpunkt, Vincent C. Müller Reinbek 1993 Putnam II Hilary Putnam Representation and Reality, Cambridge/MA 1988 German Edition: Repräsentation und Realität Frankfurt 1999 Putnam III Hilary Putnam Renewing Philosophy (The Gifford Lectures), Cambridge/MA 1992 German Edition: Für eine Erneuerung der Philosophie Stuttgart 1997 Putnam IV Hilary Putnam "Minds and Machines", in: Sidney Hook (ed.) Dimensions of Mind, New York 1960, pp. 138-164 In Künstliche Intelligenz, Walther Ch. Zimmerli/Stefan Wolf Stuttgart 1994 Putnam V Hilary Putnam Reason, Truth and History, Cambridge/MA 1981 German Edition: Vernunft, Wahrheit und Geschichte Frankfurt 1990 Putnam VI Hilary Putnam "Realism and Reason", Proceedings of the American Philosophical Association (1976) pp. 483-98 In Truth and Meaning, Paul Horwich Aldershot 1994 Putnam VII Hilary Putnam "A Defense of Internal Realism" in: James Conant (ed.)Realism with a Human Face, Cambridge/MA 1990 pp. 30-43 In Theories of Truth, Paul Horwich Aldershot 1994 SocPut I Robert D. Putnam Bowling Alone: The Collapse and Revival of American Community New York 2000 |
| Russell, B. | Quine Vs Russell, B. | Chisholm II 75 Predicates/Denote/Russell: denoting expressions: proper names stand for individual things and general expressions for universals. (Probleme d. Phil. p. 82f). In every sentence, at least one word refers to a universal. QuineVsRussell: confusion! II 108 Theory of Descriptions/VsRussell/Brandl: thus the whole theory is suspected of neglecting the fact that material objects can never be part of propositions. QuineVsRussell: confusion of mention and use. Quine II 97 Pricipia mathematica, 1903: Here, Russell's ontology is rampant: every word refers to something. If a word is a proper name, then its object is a thing, otherwise it is a concept. He limits the term "existence" to things, but has a liberal conception of things which even includes times and points in empty space! Then there are, beyond the existent things, other entities: "numbers, the gods of Homer, relationships, fantasies, and four-dimensional space". The word "concept", used by Russell in this manner, has the connotation of "merely a concept". Caution: Gods and fantasies are as real as numbers for Russell! QuineVsRussell: this is an intolerably indiscriminate ontology. Example: Take impossible numbers, e.g. prime numbers that are divisible by 6. It must be wrong in a certain sense that they exist, and that is in a sense in which it is right that there are prime numbers! Do fantasies exist in this sense? II 101 Russell has a preference for the term "propositional function" against "class concept". In P.M. both expressions appear. Here: Def "Propositional Function": especially based on forms of notation, e.g. open sentences, while concepts are decidedly independent of notation. However, according to Meinong Russell's confidence is in concepts was diminished, and he prefers the more nominalistic sound of the expression "propositional function" which is now carries twice the load (later than Principia Mathematica.) Use/Mention/Quine: if we now tried to deal with the difference between use and mention as carelessly as Russell has managed to do sixty years ago, we can see how he might have felt that his theory of propositional functions was notation based, while a theory of types of real classes would be ontological. Quine: we who pay attention to use and mention can specify when Russell's so-called propositional functions as terms (more specific than properties and relations) must be construed as concepts, and when they may be construed as a mere open sentences or predicates: a) when he quantifies about them, he (unknowingly) reifies them as concepts. For this reason, nothing more be presumed for his elimination of classes than I have stated above: a derivation of the classes from properties or concepts by means of a context definition that is formulated such that it provides the missing extensionality. QuineVsRussell: thinks wrongly that his theory has eliminated classes more thoroughly from the world than in terms of a reduction to properties. II 102 RussellVsFrege: "~ the entire distinction between meaning and designating is wrong. The relationship between "C" and C remains completely mysterious, and where are we to find the designating complex which supposedly designates C?" QuineVsRussell: Russell's position sometimes seems to stem from a confusion of the expression with its meaning, sometimes from the confusion of the expression with its mention. II 103/104 In other papers Russel used meaning usually in the sense of "referencing" (would correspond to Frege): "Napoleon" particular individual, "human" whole class of such individual things that have proper names. Russell rarely seems to look for an existing entity under any heading that would be such that we could call it the meaning that goes beyond the existing referent. Russell tends to let this entity melt into the expression itself, a tendency he has in general when it comes to existing entities. QuineVsRussell: for my taste, Russell is too wasteful with existing entities. Precisely because he does not differentiate enough, he lets insignificance and missed reference commingle. Theory of Descriptions: He cannot get rid of the "King of France" without first inventing the description theory: being meaningful would mean: have a meaning and the meaning is the reference. I.e. "King of France" without meaning, and "The King of France is bald" only had a meaning, because it is the short form of a sentence that does not contain the expression "King of France". Quine: actually unnecessary, but enlightening. Russell tends commingle existing entities and expressions. Also on the occasion of his remarks on Propositions: (P.M.): propositions are always expressions, but then he speaks in a manner that does not match this attitude of the "unity of the propositions" (p.50) and of the impossibility of infinite propositions (p.145) II 105 Russell: The proposition is nothing more than a symbol, even later, instead: Apparently, propositions are nothing..." the assumption that there are a huge number of false propositions running around in the real, natural world is outrageous." Quine: this revocation is astounding. What is now being offered to us instead of existence is nothingness. Basically Russell has ceased to speak of existence. What had once been regarded as existing is now accommodated in one of three ways a) equated with the expression, b) utterly rejected c) elevated to the status of proper existence. II 107 Russell/later: "All there is in the world I call a fact." QuineVsRussell: Russell's preference for an ontology of facts depends on his confusion of meaning with reference. Otherwise he would probably have finished the facts off quickly. What the reader of "Philosophy of logical atomism" notices would have deterred Russell himself, namely how much the analysis of facts is based on the analysis of language. Russell does not recognize the facts as fundamental in any case. Atomic facts are as atomic as facts can be. Atomic Facts/Quine: but they are composite objects! Russell's atoms are not atomic facts, but sense data! II 183 ff Russell: Pure mathematics is the class of all sentences of the form "p implies q" where p and q are sentences with one or more variables, and in both sets the same. "We never know what is being discussed, nor if what we say is true." II 184 This misinterpretation of mathematics was a response to non-Euclidean geometry. Numbers: how about elementary arithmetic? Pure numbers, etc. should be regarded as uninterpreted. Then the application to apples is an accumulation. Numbers/QuineVsRussell: I find this attitude completely wrong. The words "five" and "twelve" are nowhere uninterpreted, they are as much essential components of our interpreted language as apples. >Numbers. They denote two intangible objects, numbers that are the sizes of quantities of apples and the like. The "plus" in addition is also interpreted from start to finish, but it has nothing to do with the accumulation of things. Five plus twelve is: how many apples there are in two separate piles. However, without pouring them together. The numbers "five" and "twelve" differ from apples in that they do not denote a body, that has nothing to do with misinterpretation. The same could be said of "nation" or "species". The ordinary interpreted scientific speech is determined to abstract objects as it is determined to apples and bodies. All these things appear in our world system as values of variables. II 185 It even has nothing to do with purity (e.g. of the set theory). Purity is something other than uninterpretedness. XII 60 Expression/Numbers/Knowledge/Explication/Explanation/Quine: our knowledge of expressions is alone in their laws of interlinking. Therefore, every structure that fulfills these laws can be an explication. XII 61 Knowledge of numbers: consists alone in the laws of arithmetic. Then any lawful construction is an explication of the numbers. RussellVs: (early): Thesis: arithmetic laws are not sufficient for understanding numbers. We also need to know applications (use) or their embedding in the talk about other things. Number/Russell: is the key concept here: "there are n such and suches". Number/Definition/QuineVsRussell: we can define "there are n such and suches" without ever deciding what numbers are beyond their fulfillment of arithmetic addition. Application/Use/QuineVsRussell: wherever there is structure, the applications set in. E.g. expressions and Gödel numbers: even the mention of an inscription was no definitive proof that we are talking about expressions and not about Gödel numbers. We can always say that our ostension was shifted. VII (e) 80 Principia Mathematica(1)/PM/Russell/Whitehead/Quine: shows that the whole of mathematics can be translated into logic. Only three concepts need to be clarified: Mathematics, translation and logic. VII (e) 81 QuineVsRussell: the concept of the propositional function is unclear and obscures the entire PM. VII (e) 93 QuineVsRussell: PM must be complemented by the axiom of infinity if certain mathematical principles are to be derived. VII (e) 93/94 Axiom of infinity: ensures the existence of a class with infinitely many elements. Quine: New Foundations instead makes do with the universal class: θ or x^ (x = x). 1. Whitehead, A.N. and Russel, B. (1910). Principia Mathematica. Cambridge: Cambridge University Press. VII (f) 122 Propositional Functions/QuineVsRussell: ambiguous: a) open sentences b) properties. Russell no classes theory uses propositional functions as properties as value-bound variables. IX 15 QuineVsRussell: inexact terminology. "Propositional function", he used this expression both when referring to attributes (real properties) and when referring to statements or predicates. In truth, he only reduced the theory of classes to an unreduced theory of attributes. IX 93 Rational Numbers/QuineVsRussell: I differ in one point: for me, rational numbers are themselves real numbers, not so for Russell and Whitehead. Russell: rational numbers are pairwise disjoint for them like those of Peano. (See Chapter 17), while their real numbers are nested. ((s) pairwise disjoint, contrast: nested) Natural Numbers/Quine: for me as for most authors: no rational integers. Rational Numbers/Russell: accordingly, no rational real numbers. They are only "imitated" by the rational real numbers. Rational Numbers/QuineVsRussell: for me, however, the rational numbers are real numbers. This is because I have constructed the real numbers according to Russell's version b) without using the name and the designation of rational numbers. Therefore, I was able to retain name and designation for the rational real numbers IX 181 Type Theory/TT/QuineVsRussell: in the present form our theory is too weak to prove some sentences of classical mathematics. E.g. proof that every limited class of real numbers has a least upper boundary (LUB). IX 182 Suppose the real numbers were developed in Russell's theory similar to Section VI, however, attributes were now to take the place of classes and the alocation to attributes replaces the element relation to classes. LUB: (Capters 18, 19) of a limited class of real numbers: the class Uz or {x:Ey(x ε y ε z)}. Attribute: in parallel, we might thus expect that the LUB of a limited attribute φ of real numbers in Russell's system is equal to the Attribute Eψ(φψ u ψ^x). Problem: under Russell's order doctrine is this LUB ψ is of a higher order than that of the real numbers ψ which fall under the attribute φ whose LUB is sought. Boundary/LUB/QuineVsRussell: You need LUB for the entire classic technique of calculus, which is based on continuity. However, LUB have no value for these purposes if they are not available as values of the same variables whose value range already includes those numbers whose upper boundary is wanted. An upper boundary (i.e. LUB) of higher order cannot be the value of such variables, and thus misses its purpose. Solution/Russell: Axiom of Reducibility: Def Axiom of Reducibility/RA/Russell/Quine: every propositional function has the same extension as a certain predicative one. I.e. Ey∀x(ψ!x φx), Eψ∀x∀y[ψ!(x,y) φ(x,y)], etc. IX 184 VsConstruktivism/Construction/QuineVsRussell: we have seen Russell's constructivist approach to the real numbers fail (LUB, see above). He gave up on constructivism and took refuge in the RA. IX 184/185 The way he gave it up had something perverse to it: Axiom of Reducibility/QuineVsRussell: the RA implies that all the distinctions that gave rise to its creation are superfluous! (... + ...) IX 185 Propositional Function/PF/Attribute/Predicate/TT/QuineVsRussell: overlooked the following difference and its analogs: a) "propositional functions": as attributes (or intentional relations) and b) proposition functions: as expressions, i.e. predicates (and open statements: e.g. "x is mortal") Accordingly: a) attributes b) open statements As expressions they differ visibly in the order if the order is to be assessed on the basis of the indices of bound variables within the expression. For Russell everything is "AF". Since Russell failed to distinguish between formula and object (word/object, mention/use), he did not remember the trick of allowing that an expression of higher order refers straight to an attribute or a relation of lower order. X 95 Context Definition/Properties/Stage 2 Logic/Quine: if you prefer properties as sets, you can introduce quantification over properties, and then introduce quantification over sets through a schematic context definition. Russell: has taken this path. Quine: but the definition has to ensure that the principle of extensionality applies to sets, but not to properties. That is precisely the difference. Russell/QuineVsRussell: why did he want properties? X 96 He did not notice at which point the unproblematic talk of predicates capsized to speaking about properties. ((s) object language/meta language/mention/use). Propositional Function/PF: Russell took it over from Frege. QuineVsRussell: he sometimes used PF to refer to predicates, sometimes to properties. |
Quine I W.V.O. Quine Word and Object, Cambridge/MA 1960 German Edition: Wort und Gegenstand Stuttgart 1980 Quine XIII Willard Van Orman Quine Quiddities Cambridge/London 1987 Chisholm I R. Chisholm The First Person. Theory of Reference and Intentionality, Minneapolis 1981 German Edition: Die erste Person Frankfurt 1992 Chisholm II Roderick Chisholm In Philosophische Aufsäze zu Ehren von Roderick M. Ch, Marian David/Leopold Stubenberg Amsterdam 1986 Chisholm III Roderick M. Chisholm Theory of knowledge, Englewood Cliffs 1989 German Edition: Erkenntnistheorie Graz 2004 |
| Russell, B. | Ryle Vs Russell, B. | Read III 33 Russell fell into the trap in his account of universals: according to his opinion, atomic statements consists of a number of individuals and a universal. E.g. "Fido is a dog." What does "dog" refer to? According to the "Fido"-Fido-theory of the Fido, it must get its meaning through the fact that it is assigned to a single thing, to "being-a-dog" or the universal, dog. (>RyleVsCarnap). Statement/Russell's statements were designed by him to make the meaning of sentences. Consequently, he said, they must contain these generic entities, universals. This is an unjustified step. --- Read III 296 "Fido"-Fido principle: RyleVs: reference equals meaning. --- Read III 34 > Various AuthorsVsRussell: >statements, >facts. Russell: believed that predicate expressions, verbs, and adjectives related to universals, "is president" refers to presidency, "runs" to what is common to all things that are going. But many philosophers deny that the concept of the object reference can be applied to such parts of speech. Meaning: Russell and others simply identify meaning and object reference. (>reference/VsRussell). |
Ryle I G. Ryle The Concept of Mind, Chicago 1949 German Edition: Der Begriff des Geistes Stuttgart 1969 Re III St. Read Thinking About Logic: An Introduction to the Philosophy of Logic. 1995 Oxford University Press German Edition: Philosophie der Logik Hamburg 1997 |
| Russell, B. | Searle Vs Russell, B. | V 122 Theory of descriptions/Russell/Searle: Russell went as far as to negate that a specific description could ever be used as reference! ((s) This is about fictions.) Description/fiction/SearleVsRussell: of course you can refer to literary figures. Condition: they must exist (in the literature). You cannot refer to the wife of Sherlock Holmes, because he was not married. V 129 Theory of descriptions/Russell/problem: e.g. "The man insulted me" means that one might assume that only one man exists in the universe. SearleVsRussell: Russell actually asserted something like this in the theory of descriptions. V 245 Names/descriptions/SearleVsRussell: from the supposed distinction between proper names and certain descriptions the metaphysical distinction between objects and properties is derived. V 131 Definite article/reference/SearleVsRussell: there is absolutely no use of the definite article, which implies in itself that only one object can be meant. V 132/133 Definite article: its function is rather to indicate that the speaker intends a singular reference. V 144 Proposition/Searle: only the expression in a particular context (circumstances) ensures the transmission of a proposition! SearleVsRussell: no class of logically proper names can exist at all (this, now, there). If their expressions gave no descriptive content (Russell). There is no way to establish a relation between the expression and the object. How could one explain that this term refers to that object? V 238 Searle: a propositional act can never be identical to the illocutionary act of the assertion, since a propositional act can never occur independently but only as part of an illocutionary act. SearleVsRussell: the attempt to equate the specific reference (propositional act) with the setting up of assertions (illocutionary act) was bound to fail. V 239 Because Russell used the formal notation, complete statements must be prepared for him, even if there is no object. V 240 But from the fact that a certain type of act can be carried out only under certain conditions, does not simply follow that implementation of such an act in itself already represents the assertion that these conditions were met. Searle: the command "Bring this to the King of France" is neither a statement nor does it contain one. (> E.g. "The present King of France is bald.") IV 113 Sense/Russell: e.g. pointless: "Four-pageness drinking postponement": SearleVsRussell: this is read by many authors as a metaphorical statement about the Quadripartite Agreement after WW2. But none of the words occurs here literally! |
Searle I John R. Searle The Rediscovery of the Mind, Massachusetts Institute of Technology 1992 German Edition: Die Wiederentdeckung des Geistes Frankfurt 1996 Searle II John R. Searle Intentionality. An essay in the philosophy of mind, Cambridge/MA 1983 German Edition: Intentionalität Frankfurt 1991 Searle III John R. Searle The Construction of Social Reality, New York 1995 German Edition: Die Konstruktion der gesellschaftlichen Wirklichkeit Hamburg 1997 Searle IV John R. Searle Expression and Meaning. Studies in the Theory of Speech Acts, Cambridge/MA 1979 German Edition: Ausdruck und Bedeutung Frankfurt 1982 Searle V John R. Searle Speech Acts, Cambridge/MA 1969 German Edition: Sprechakte Frankfurt 1983 Searle VII John R. Searle Behauptungen und Abweichungen In Linguistik und Philosophie, G. Grewendorf/G. Meggle Frankfurt/M. 1974/1995 Searle VIII John R. Searle Chomskys Revolution in der Linguistik In Linguistik und Philosophie, G. Grewendorf/G. Meggle Frankfurt/M. 1974/1995 Searle IX John R. Searle "Animal Minds", in: Midwest Studies in Philosophy 19 (1994) pp. 206-219 In Der Geist der Tiere, D Perler/M. Wild Frankfurt/M. 2005 |
| Russell, B. | Strawson Vs Russell, B. | Wolf II 17 StrawsonVsRussell: Vs Russell's resolution of singular sentences like "the F, which is G, is H" are general sentences such as "There is exactly one F, which is G, and this F is H" : this is inappropriate. Thus it is not included, that we refer with the singular term to individual things. --- Newen/Schrenk I 92 Reference/StrawsonVsRussell: ("On Referring") in 1950, 45 years after Russell's "On Denoting" (1905)). Strawson: 5 theses (i) one must distinguish between a) the sentence, b) the use, c) the expression (on one occasion) (ii) there is a difference between (logical) implying and presupposition (iii) truth value gaps are allowed (iv) The meaning of an expression is not its referent, but the conventions and rules. In various uses the term can therefore refer to different objects. (v) expressions can be used referential and predicative (attributing properties). Sentence/truth value/tr.v./Strawson: Thesis: sentences themselves cannot be true or false, only their use. Presupposition/implication/Strawson: difference: Definition implication/Strawson: A implies B iff it cannot be that A is true but B is false. On the other hand: Definition presupposition/Strawson: A presupposes B iff B must be true so that A can take a truth value. Existence assertion/uniqueness assertion/Strawson: are only presupposed by a sentence with description, but not implied. E.g. King of France/presupposition/Strawson: the sentence presupposes the existence, however, does not imply it. And also does not claim the existence and uniqueness. Newen/Schrenk VsStrawson: Strawson provides no philosophical-logical arguments for his thesis. Newen/Schrenk I 94 He rather refers to our everyday practice. Truth-value gaps/StrawsonVsRussell: accepted by him. Negative existential statements/existence/existence theorem/Strawson/VsStrawson/Newen/Schrenk: his approach lets the problem of empty existence theorems look even trickier. Referential/predicative/singular term/designation/name/Strawson/Newen/Schrenk: Thesis: Proper names/demonstratives: are largely used referential. Description: have a maximum predicative, so descriptive meaning (but can also simultaneously refer). Identity/informative identity sentences/referential/predicative/Strawson/Newen/Schrenk: here the description has (or two occurring descriptions) such an extreme predicative use that E.g. "Napoleon is identical to the man who ordered the execution of the Duke" is as good as synonymous with the phrase "Napoleon ordered the ...". In principle, both sentences are used for a predication. Thus, the first sentence is informative when it is read predicative and not purely referential. --- Quine I 447 StrawsonVsRussell: has called Russell's theory of descriptions false because of their treatment of the truth value gaps. --- Schulte III 433 StrawsonVsRussell/Theory of descriptions: Strawson brings a series of basic distinctions between types and levels of use of linguistic expressions into play. Fundamental difference between the logical subject and logical predicate. Pleads for stronger focus on everyday language. "The common language has no exact logic" Schulte III 434 King-xample: "The present king of France is bald". Russell: here the description must not be considered a logical subject. Russell: Such sentences are simply wrong in the case of non-existence. Then we also not need to make any dubious ontological conditions. We analyze (according to Russell) the sentence as follows: it is in reality a conjunction of three sentences: 1. There is a king of France. 2. There are no more than a king of France. 3. There is nothing that is King of France and is not bald. Since at least one member in the conjunction is false, it is wrong in total. StrawsonVsRussell: 1. he speaks too careless of sentences and their meanings. But one has to consider the use of linguistic expressions, which shows that there must be a much finer distinction. 2. Russell confused what a sentence says with the terms of the meaningful use of this sentence. 3. The everyday language and not the formal logic determines the meaning. --- Schulte III 435 Reference/Strawson: an expression does not refer to anything by itself. King-Example/StrawsonVsRussell: with the sentence "The present king of France is bald" no existence assertion is pronounced. Rather, it is "implied". Therefore, the sentence does not need to be true or false. The term does not refer to anything. Definition truth value gap (Strawson): E.g. King-Example: refers to nothing. Wittgenstein: a failed move in the language game. --- VII 95 Description/Strawson: sure I use in E.g. "Napoleon was the greatest French soldier", the word "Napoleon", to name the person, not the predicate. StrawsonVsRussell: but I can use the description very well to name a person. There can also be more than one description in one sentence. VII 98 StrawsonVsRussell: seems to imply that there are such logical subject predicate sentences. Russell solution: only logical proper names - for example, "This" - are real subjects in logical sentences. The meaning is exactly the individual thing. This leads him to the fact that he can no longer regard sentences with descriptions as logical propositions. reference/StrawsonVsRussell: Solution: in "clear referring use" also dscriptions can be used. But these are not "descriptions" in Russell's sense. VII 99 King-Example/StrawsonVsRussell: claims three statements, one of which in any case would be wrong. The conjunction of three statements, one of which is wrong and the others are true, is false, but meaningful. VII 100 Reference/description/StrawsonVsRussell: distinction: terminology: "Unique reference": expression. (Clearly referring description). Sentence begins with clear referring description. Sentences that can start with a description: (A1) sentence (A2) use of a sentence (A3) uttering of a sentence accordingly: (B1) expression (B2) use of an expression (B3) utterance of an expression. King-Example/StrawsonVsRussell: the utterance (assertion (>utterance) "The present king of France is wise" can be true or false at different times, but the sentence is the same. VII 101 Various uses: according to whether at the time of Louis XIV. or Louis XV. Sentence/statement/statement/assertion/proposition/Strawson: Assertion (assertion): can be true or false at different times. Statement (proposition): ditto Sentence is always the same. (Difference sentence/Proposition). VII 102 StrawsonVsRussell: he overlooks the distinction between use and meaning. VII 104 Sense/StrawsonVsRussell: the question of whether a sentence makes sense, has nothing to do with whether it is needed at a particular opportunity to say something true or false or to refer to something existent or non-existent. VII 105 Meaning/StrawsonVsRussell: E.g. "The table is covered with books": Everyone understands this sentence, it is absurd to ask "what object" the sentence is about (about many!). It is also absurd to ask whether it is true or false. VII 106 Sense/StrawsonVsRussell: that the sentence makes sense, has to do with the fact that it is used correctly (or can be), not that it can be negated. Sense cannot be determined with respect to a specific (individual) use. It is about conventions, habits and rules. VII 106/107 King-Example/Russell/Strawson: Russell says two true things about it: 1. The sentence E.g. "The present king of France is wise" makes sense. 2. whoever expresses the sentence now, would make a true statement, if there is now one, StrawsonVsRussell: 1. wrong to say who uttered the sentence now, would either make a true or a false claim. 2. false, that a part of this claim states that the king exists. Strawson: the question wrong/false does not arise because of the non-existence. E.g. It is not like grasping after a raincoat suggests that one believes that it is raining. (> Presupposition/Strawson). Implication/Imply/StrawsonVsRussell: the predication does not assert an existence of the object. VII 110 Existence/StrawsonVsRussell: the use of "the" is not synonymous with the assertion that the object exists. Principia Mathematica(1): (p.30) "strict use" of the definite article: "only applies if object exists". StrawsonVsRussell: the sentence "The table is covered with books" does not only apply if there is exactly one table VII 111 This is not claimed with the sentence, but (commonplace) implied that there is exactly one thing that belongs to the type of table and that it is also one to which the speaker refers. reference/StrawsonVsRussell: referring is not to say that one refers. Saying that there is one or the other table, which is referred to, is not the same as to designate a certain table. Referencing is not the same as claiming. Logical proper names/StrawsonVsRussell: E.g. I could form my empty hand and say "This is a beautiful red!" The other notes that there is nothing. Therefore, "this" no "camouflaged description" in Russell's sense. Also no logical proper name. You have to know what the sentence means to be able to respond to the statement. VII 112 StrawsonVsRussell: this blurs the distinction between pure existence theorems and sentences that contain an expression to point to an object or to refer to it. Russell's "Inquiry into meaning and truth" contains a logical catastrophic name theory. (Logical proper names). He takes away the status of logical subjects from the descriptions, but offers no substitute. VII 113 Reference/Name/referent/StrawsonVsRussell: not even names are enough for this ambitious standard. Strawson: The meaning of the name is not the object. (Confusion of utterance and use). They are the expressions together with the context that one needs to clearly refer to something. When we refer we do not achieve completeness anyway. This also allows the fiction. (Footnote: later: does not seem very durable to me because of the implicit restrictive use of "refer to".) VII 122 StrawsonVsRussell: Summit of circulatory: to treat names as camouflaged descriptions. Names are choosen arbitrary or conventional. Otherwise names would be descriptive. VII 123 Vague reference/"Somebody"/implication/Strawson: E.g. "A man told me ..." Russell: existence assertion: "There is a man who ..." StrawsonVsRussell: ridiculous to say here that "class of men was not empty ..." Here uniqueness is also implicated as in "the table". VII 124 Tautology/StrawsonVsRussell: one does not need to believe in the triviality. That only believe those who believe that the meaning of an expression is the object. (E.g. Scott is Scott). VII 126 Presupposition/StrawsonVsRussell: E.g. "My children sleep" Here, everyone will assume that the speaker has children. Everyday language has no exact logic. This is misjudged by Aristotle and Russell. 1. Whitehead, A.N. and Russel, B. (1910). Principia Mathematica. Cambridge: Cambridge University Press. |
Strawson I Peter F. Strawson Individuals: An Essay in Descriptive Metaphysics. London 1959 German Edition: Einzelding und logisches Subjekt Stuttgart 1972 Strawson II Peter F. Strawson "Truth", Proceedings of the Aristotelian Society, Suppl. Vol XXIV, 1950 - dt. P. F. Strawson, "Wahrheit", In Wahrheitstheorien, Gunnar Skirbekk Frankfurt/M. 1977 Strawson III Peter F. Strawson "On Understanding the Structure of One’s Language" In Truth and Meaning, G. Evans/J. McDowell Oxford 1976 Strawson IV Peter F. Strawson Analysis and Metaphysics. An Introduction to Philosophy, Oxford 1992 German Edition: Analyse und Metaphysik München 1994 Strawson V P.F. Strawson The Bounds of Sense: An Essay on Kant’s Critique of Pure Reason. London 1966 German Edition: Die Grenzen des Sinns Frankfurt 1981 Strawson VI Peter F Strawson Grammar and Philosophy in: Proceedings of the Aristotelian Society, Vol 70, 1969/70 pp. 1-20 In Linguistik und Philosophie, G. Grewendorf/G. Meggle Frankfurt/M. 1974/1995 Strawson VII Peter F Strawson "On Referring", in: Mind 59 (1950) In Eigennamen, Ursula Wolf Frankfurt/M. 1993 K II siehe Wol I U. Wolf (Hg) Eigennamen Frankfurt 1993 Quine I W.V.O. Quine Word and Object, Cambridge/MA 1960 German Edition: Wort und Gegenstand Stuttgart 1980 Quine XIII Willard Van Orman Quine Quiddities Cambridge/London 1987 Schulte I J. Schulte Wittgenstein Stuttgart 2001 Schulte II J. Schulte U. J. Wenzel Was ist ein philosophisches Problem? Frankfurt 2001 Schulte III Joachim Schulte "Peter Frederick Strawson" In Philosophie im 20. Jahrhundert, A. Hügli/P. Lübcke Reinbek 1993 |
| Russell, B. | Tugendhat Vs Russell, B. | Wolf II 22 Identification/Individualization/Tugendhat: the subjective and the objective localization are equally original. TugendhatVsStrawson: space-time not only particularly important, but the only possibility of identification. Like Strawson: sortal predicates must be added. (Taking out of the situation, recognition, countability). All singular terms refer to the lowest level of identification. "This F is G", verifiable. (KantVs). TugendhatVsRussell: although the existential statement "there is exactly one F here and now" is still implied here, it is no longer a general statement as with Russell: "among all objects there is one..." but localization. Only with localizing expressions we have singular terms whose reference can no longer fail. Therefore, they no longer imply existential statements! Thus they resemble Russell's logical proper names. Difference: they no longer stand in an isolated assignment to the object, but in a space-time order. Tugendhat I 378 Existential Statements/Tugendhat: contrary to appearances not statements about individual things but always general statements. In principle, the talk of existence always assumes that one speaks of all objects, and therefore one could not even say (VsRussell) of a single object that it exists. I 383 TugendhatVsRussell: but here it's not about a relation at all, specification takes place against the background of all objects. Russell has already seen that correctly with regard to singular terms, but with his logical proper names he was wrong anyway, precisely because he denied them the reference to that background of a peculiar generality. III 214 TugendhatVsRussell: neither the reaction of a living being nor the triggering sign can be true or false, because here there is no assumption that something is so or so, consequently no error is possible. |
Tu I E. Tugendhat Vorlesungen zur Einführung in die Sprachanalytische Philosophie Frankfurt 1976 Tu II E. Tugendhat Philosophische Aufsätze Frankfurt 1992 K II siehe Wol I U. Wolf (Hg) Eigennamen Frankfurt 1993 |
| Russell, B. | Peacocke Vs Russell, B. | I 131 Acquaintance/Russell: objects of acquaintance: E.g. sense data. They are obvious to the subject. Sense Data/Russell: correspond to the positions of singular terms in a sentence. They are at the same time real constituents of the sentence. And without givenness at that! (Without intension). Purely extensional occurrence of objects in the sentence. PeacockeVsRussell: 1) that may mollify FregeVsRussell's criticism of his concept of proposition. But it does not justify Russell: because he did not refer to obviousness for the thinker. 2) physical objects that, according to Russell, "cause the sense data" are therefore demonstrative and descriptive in a mix. PeacockeVs: our approach, on the other hand, assumes that demonstrative ways of givenness are not descriptive. But Russell's mixed approach is not entirely irrelevant: if we replace "sense data" by "experience": PeacockeVsRussell: he confused a plausible determination of the the constitutive role with "content". I 180 Acquaintance/Russell: (B. Russell, Problems of Philosophy, 1973, p. 32) "Each understandable sentence must be composed of constituents with which we are familiar." PeacockeVs: that got bad press. Problem: Excessive proximity to Humean empiricism. SainsburyVs: Russells ideas should be defended without the principle of acquaintance if possible. Peacocke: but if you free the principle of non-essential epistemological attachments, it is a correct and fundamental condition for the attribution of contents. Acquaintance/Russell: we are familiar with the sense data, some objects of immediate memory and with universals and complexes. Earlier: the thinker is also familiar with himself. Later: Vs. Complex/Russell: aRb. Acquaintance/PeacockeVsRussell: he had a correct basic notion of acquaintance, but a false one of its extension (from the things that fall under it). The salient feature is the idea of relation. One is dealing with the object itself and not its deputy. I 182 Def Principle of Acquaintance/PeacockeVsRussell: Thesis: Reconstruction, reformulated principle of acquaintance: The thinker is familiar with an object if there is a way of givenness (within its repertoire of concepts) that is ruled by the principle of sensitivity and he is in an appropriate current mental state, which he needs to think of the object under this way of givenness. For this, we need a three-digit relation between subject, object and type of the way of givenness The type of the way of givenness (as visual or aural perception) singles out the object. "Singling out" here is neutral in terms of whether the object is to be a "constituent of thoughts" or not. This preserves two features of Russell's concept: 1) acquaintance enables the subject to think about the object in a certain way because of the relationship that it has with it. 2) The concept of the mental state may preserve what Russell meant when he spoke of acquaintance as a relation of presentation. Constituent/Thoughts/Russell: he thought that objects occurred downright as parts of the thought. PeacockeVsRussell: we will interpret this as an object that indicates a type of a way of givenness (indexing). We do not allow an object to occur as part of a thought, just because it is the only component of the thought that corresponds to a singular term position in a sentence that expresses a thought. I 183 This is a Neo-Fregean theory, because an object can only exist as part of the thought by the particular way of its givenness (intension). (VsRussell: not literally part of the thought or sentence). I 195 Colors/Explanation/Peacocke: to avoid circularity, colors themselves are not included in the explanation of a response action, but only their physical bases. Different: E.g. 'John's favorite color': which objects have it, depends on what concepts φ are such that φ judges the subject, 'John's favorite color is φ' together with thoughts of the form 't is φ'. Analog: defined description: E.g. the 'richest man'. He is identified by the relational way of givenness in context with additional information: Complex/Acquaintance/Russell/Peacocke: E.g. a subject has an experience token with two properties: 1) It may have been mentioned in the context with sensitivity for a specific demonstrative way of givenness of an object (e.g. audible tone). 2) At the same time it may be an experience token of a certain type. Then, to be recognized the two must coincide in the context I 196 with a sensitivity for a specific concept φ in the repertoire of the subject. VsAcquaintance/VsRussell/Peacocke: one can argue: E.g. Cicero died long ago E.g. arthritis is painful. We can attribute such beliefs when the subject understands the meanings of the concepts. Nevertheless, the readiness to judge that Cicero died long ago depends on a mental state, with regard to which there must be an evidence. What kind of a mental state should that be? It need not remember the occasion when it first heard the name 'Cicero'. But neither: 'F died long ago', where 'F' is a defined description. Name/Peacocke: semantic function: simply singling out a particular object. Understanding: if you can identify the reference of the name in one way or another. There is no specific way in which you have to think of the Roman orator to understand the name. VsAcquaintance/VsPeacocke: that may even endanger the reformulated principle: if the name only singles out the object, then the subject must have a relation to a thought which contains the object as a constituent. PeacockeVs: I dispute the last conditional. We must distinguish sharply between a) beliefs, where the that-sentence contains a name, and b) the presence of the reference of a name as constituent of a Neo-Fregean thought. The latter corresponds to the relation 'Bel'. I 196/197 Def Relation 'Bel'/Terminology/Belief/Propositional Attitudes/Peacocke: a belief which contains the reference of a name as constituent of a Neo-Fregean thought: E.g. not only 'NN died a long time ago', but propositional attitude. ((s) not only belief about someone or something, but about a particular object.) Relation Bel/Belief/Peacocke: three reasons for distinguishing beliefs: a) we want to exclude that someone can acquire a new belief simply by introducing a new name. (Only a description could do that). E.g. if we wanted to call the inventor of the wheel 'Helle': Trivialization: 1) it would be trivial that such a stipulation should be enough for the reference in a community. 2) Nor is it a question of us being able to give outsiders a theoretical description of the community language. You cannot bring about a relation Bel by linguistic stipulation. I 198 b) Pierre Example/Kripke/Peacocke: this type of problem arises in cases where the language is too poor for a theory of beliefs in this sense: if someone understands a sentence, it is not clear what thoughts he expresses with it. (>Understanding/Peacocke). Because the semantics only singles out the object, not the way of thinking about the object (intension). This is different with pure index words and certain descriptions. E.g. a person who says 'I'm hot now' expresses the thought: ^[self x]^[now t]. But that involves nothing that would be 'thinking of something under a name'! Pierre Example/Kripke/Solution: a complete description of Pierre's situation is possible (for outsiders) without embedding 'London' in belief contexts. Peacocke: at the level of 'Bel' (where the speaker himself is part of the belief) beliefs can be formulated so that proper names are used: 'He believes that NN is so and so'. c) Perception/Demonstratives/Way of Givenness/Peacocke: here, the way of givenness seems to have a wealth that does not need to be grasped completely, if someone uses demonstratives. The wealth of experience is covered by the relation Bel, however. But this way we are not making certain commitments: E.g. we do not need to regarded 'Cicero died long ago' as metalinguistic, but rather as meant quite literally. I 201 Logical Operators/Quantification/Logic/Acquaintance/PeacockeVsRussell: our reconstructed principle of acquaintance implicitly includes the obligation to recognize entities that can only be preserved inferentially: E.g. uniqueness operators, other quantifiers, connections, also derived ones. This can even apply to logical constants and some truth functions and not only for ways of givenness of these functions. RussellVs: the principle of acquaintance is not applicable to logical constituents of thoughts. |
Peacocke I Chr. R. Peacocke Sense and Content Oxford 1983 Peacocke II Christopher Peacocke "Truth Definitions and Actual Languges" In Truth and Meaning, G. Evans/J. McDowell Oxford 1976 |
| Russell, B. | Castaneda Vs Russell, B. | Frank I 382 CastanedaVsRussell: his reduction has devastating effects on ethical contexts. (Theory of Descriptions). Hector-Neri Castaneda (1987b): Self-Consciousness, Demonstrative reference, and the Self-Ascription View of Believing, in: James E. Tomberlin (ed) (1987a): Critical Review of Myles Brand's "Intending and Acting", in: Nous 21 (1987), 45-55 James E. Tomberlin (ed.) (1986): Hector-Neri.Castaneda, (Profiles: An International Series on Contemporary Philosophers and Logicians, Vol. 6), Dordrecht 1986 |
Cast I H.-N. Castaneda Phenomeno-Logic of the I: Essays on Self-Consciousness Bloomington 1999 Fra I M. Frank (Hrsg.) Analytische Theorien des Selbstbewusstseins Frankfurt 1994 |
| Russell, B. | Donnellan Vs Russell, B. | I 18/19 DonnellanVsRussell: has not grasped the referential use, but placed it in a strange construct of "logically proper names". DonnellanVsStrawson: does not see the difference ref/att correctly and mixes the two. Referential/Attributive/Donnellan: varies even when it comes to the importance of the distinction: 1) Text: only pragmatic distinction, 2) later: "semantic significance". KripkeVsDonnellan: denies semantic ambiguity of the use of descriptions. Both can be grasped with the Russell’s analysis: sentences of the form "The F which is G is H" have the same truth conditions, they are true, if the only F that fulfils G is actually H. I 193 DonnellanVsRussell: his strict implication works at most with attributive use. (But he does note make the distinction). I 194 Def Description/Russell: affects an entity which only it fulfills. Donnellan: that is certainly applicable to both uses(!). Ref/Att/Donnellan: if both are not distinguished, the danger is that it must be assumed that the speaker would have to refer to something without knowing it. E.g. "Presidential candidate": we had no idea that it would be Goldwater. Nevertheless, "presidential candidate" would absurdly refer to Goldwater. Solution: DonnellanVsRussell: attributive use. I 205 Logical Proper Names/"This"/Russell: refer to something without attributing properties! (Donnellan pro) Donnellan: It could eb said that they refer to the thing itself, not to the thing under the condition that it has any special properties. DonnellanVsRussell: he believed that this is something that a description cannot do. But it does work with referential use. I 275 Theory of Descriptions/Reference/Existence/Russell/Donnellan: Attributed to himself as a merit to explain the reference to non-existent things without the need to bring the idea of non-existent references of singular terms into play. His fully developed theory of singular terms extended this to the of proper names. Philosophy of logical atomism: names as covert descriptions. I 275/276 Here, the theory "proper names in the strict logical sense" was introduced, which is rarely found in everyday speech. ((s) logical proper names: "this", etc.) DonnellanVsRussell: we want to try to make Russell’s attempt at a solution (which has not failed) redundant with the "historic explanation". (> like ZinK). I 281 Logical Proper Names/DonellanVsRussell: have no place in a correct theory of reference. Proper Names/Historical Explanation/DonnellanVsRussell: Russell’s view is incorrect in terms of common singular terms: it is not true that common proper names always have a descriptive content. Question: does this mean that ordinary singular terms might be able to fulfill the function which according to Russell only logical proper names can have?. I 283 Descriptions/DonellanVsRussell: it seems absurd to deny that in E.g. Waverley that what is described by the description, i.e. Scott, is not "part" of the expressed proposition. Russell: was of the opinion that such statements are not really statements about the described or the reference of the name, that they do not really name the described thing! Only logical proper names could accomplish the feat of actually mentioning a certain particular. "About"/reference/DonnellanVsRussell: Putting great emphasis on concepts such as "about" would lead us into marshy terrain. We should require no definition of "about"!. It would be a delicate task to show that such a statement is either not a statement in any sense of "about" about the described thing or that there is a clear sense of "about" by it being not. I 285/286 DonnellanVsRussell: For his theory he paid the price of giving up the natural use of singular terms. RussellVsVs: but with the "natural conception" we end up at the Meinong population explosion. Proper Names/Historical Explanation/DonnellanVsRussell: according to my theory names are no hidden descriptions. E.g. "Homer" is not an abbreviation for "The author of the Homeric poems". I 209 DonnellanVsRussell/Kripke: Question: Does he refute Russell? No, in itself not! For methodological considerations, Russell’s theory is better than many thought. Nevertheless, it will probably fail in the end. I 222 Statement/Donnellan/VsRussell/Kripke: It’s not so clear that Donnellan refutes Russell. E.g. "Her husband is kind to her": had Donnellan flatly asserted that this is true iff. the lover is nice, without regard to the niceness of the husband (is perhaps also nice), he would have started a dispute with Russell. But he does not assert this! If we now asked "Is the statement is true?", Donnellan would elude us. Because if description is used referentially, it is unclear what is meant by "statement". If the statement is to be that the husband is nice, the problem is: to decide whether ref. or att. Referential: in this case, we would repeat the speech act wrongly, Attributive: we ourselves would be referring to someone, and we can only do that if we ourselves believe that it is the husband. I 232 DonnellanVsRussell/Kripke: Are the two really conflicting? I propose a test: Test: if you consider whether a particular linguistic phenomenon in English is a counterexample to an analysis, you should consider a hypothetical language that is similar to English, except that here the analysis is assumed to be correct. If the phenomenon in question also appears in the corresponding (hypothetical) community, the fact that it occurs in English cannot refute the hypothesis that the analysis for English is correct!. DonnellanVsRussell/Kripke: Test: would the phenomenon ref/att occur in different languages?. I 234 E.g. Sparkling Wine: speakers of the weaker and middle languages think (albeit erroneously) that the truth conditions are fulfilled. Weak: here, the apparatus seems to be entirely adequate. The semantic reference is the only object. Our intuitions are fully explained. Strong: Here, the phenomenon may occur as well. Even ironic use may be clear if the affected person drinks soda. I 235 These uses would become more common in the strong language (which is not English, of course), because the definite article is prohibited. This leads to an expansion of the speaker reference: If the speaker thinks an item to be fulfilling (Ex)(φ x u ψx), it is the speaker reference, then it may indeed be fulfilling or not. Middle: if speaker reference is applicable in the strong one, it is just as easily transferred to the middle one, because the speaker reference of "ψ(ixφ(x)" is then the thing that the speaker has in mind, which is the only one to fulfill φ(x) and about which he wants to announce that it ψ-s. Conclusion: because the phenomenon occurs in all languages, the fact that it occurs in English can be no argument that English is not a Russell language. Newen/Schrenk I 95 Def Attributive/Donnellan/Newen/Schrenk: E.g. "The murderer of Schmidt is insane" in the view of the body of Schmidt ((s) In the absence of the person in question, no matter whether it is them or not, "Whoever ...".). Def referential/Donnellan/Newen/Schrenk: E.g. "The murderer of Schmidt is insane" in the face of a wild rampaging man at court - while Schmidt comes through the door - ((s) in view of the man in question, no matter whether it’s him or not. "This one, whatever he did..."). |
Donnellan I Keith S. Donnellan "Reference and Definite Descriptions", in: Philosophical Review 75 (1966), S. 281-304 In Eigennamen, Ursula Wolf Frankfurt/M. 1993 |
| Searle, J.R. | Donnellan Vs Searle, J.R. | I 287 Names/Searle: are correlated with a set of descriptions (descriptions). The one that best meets the description, because it has the properties that are designated by the predicate, is thus the object. ((s) E.g. "Hans comes": is coming a property then?). Donnellan: Searle’s view is weaker than that of Russell. (Theory of "identifying descriptions": the answer you get if you ask: what are you refering to"?. I 288 DonnnellanVsRussell, DonnellanVsSearle: now it is possible that the properties do not apply to a substantial degreeto the object to which I refer or to another one. Names/KaplanVsRussell: the idea that the reference of a proper name is to be associated with it by the descriptions that are currently connected to it is not plausible! > historical explanation. |
Donnellan I Keith S. Donnellan "Reference and Definite Descriptions", in: Philosophical Review 75 (1966), S. 281-304 In Eigennamen, Ursula Wolf Frankfurt/M. 1993 |
| Type Theory | Gödel Vs Type Theory | Russell I XXV Type Theory/Gödel: in the realistic (intensional) interpretation there is an additional assumption: "Whenever an object x can replace another object y in a meaningful proposition, it can do so in every meaningful proposition". The consequence of this is that the objects are divided into mutually exclusive areas of meaning. GödelVsRussell: suspect that his assumption itself makes his formulation as a meaningful principle impossible: because x and y then have to be narrowed down to definite realms of meaning that are either the same or different and in both cases the statement does not express the principle or even part of it. Other consequence: the fact that an object x is of a given type (or not) cannot be expressed by a meaningful proposition either. I XXVI A solution is not impossible. It might turn out that any concept is meaningful everywhere except for certain "singular points" or "boundary points" so that the paradoxes appeared as something like the "division by zero". I XXVI Axioms/Russell/Gödel: Question: are they analytical (as Russell claims here?). Analyticity/Gödel: can mean two things: 1. purely formal, eliminable. In this sense, even the theory of integers is non-analytical, provided one requires the elimination to be carried out in a finite number of steps. ((s) Otherwise e.g. for each number individually). But the whole of mathematics as applied to propositions of infinite length must be assumed to prove this analyticity, e.g. the axiom of choice can only prove that it is analytical if it is assumed to be true! I XXXIV Analyticity in the 2. sense: "Due to the sense of the terms occurring in it". Thereby this "sense" is perhaps indefinable (i.e. irreducible to something more fundamental). For example, if one defined "class" and "" as "the concepts (terms) which satisfy the axioms", one would not be able to prove their existence. "Concept" could perhaps be defined in terms of "proposition", but then certain axioms about propositions become necessary, which can only be justified by reference to the undefined sense of this term. This view of analyticity in turn makes it possible that perhaps any mathematical proposition could be reduced to a special case of a = a. I XXVII Russell: went the way of seeing both classes and concepts (except for the logically uninteresting basic predicates) as non-existent and replacing them with our own constructions. Russell/Gödel/(s): constructivist. Reducibility Axiom: is provably wrong in the case of infinitely many individuals, unless one assumes the existence of classes or infinitely many "qualitates occultae". The actual development of mathematical logic has gone the way of the existence of classes and concepts, and Russell himself was later forced to go that way. |
Göd II Kurt Gödel Collected Works: Volume II: Publications 1938-1974 Oxford 1990 |
| Type Theory | Wittgenstein Vs Type Theory | II 439 Type Theory/Theory of types/WittgensteinVsRussell: f(a) = U's coat is red F(a) = U's coat has one of the colors of the rainbow φ(f) = Red is a color of the rainbow Question: Now, φ (F) has a meaning? ((s) This is not mentioned in this combination above). Russell: would say that "a color of the rainbow has the property to be a rainbow color" has no meaning, so that "f(f)" generally has no meaning. But if we now create a rule of grammar in order to exclude a replacement option (and exactly this does the theory of types, in order to avoid contradictions), then we must make the replacement rule dependendet exclusively on the characteristics of symbols. Replacement rule: if we introduce "f(x)" we must not give "f (f)" a meaning. E.g. Consider ~ f(f) = F(f) and the expression that is obtained by replacing "f" through "F": the property to not have oneself as a property that has itself in turn as a property. The root of the contradiction is that one considers a function to function of itself. ((s)> heterology). From ~ f(f) = F(f) results the contradiction F(F) = ~ F(F). Problem: arises when one declares a function to its function of itself. II 440 "f" in "f(x)" cannot be used as an argument itself. But why should this not occur as that which one presupposes, is not a sentence? It is not true to say that here the principle of contradiction has been violated, because that could only be the case if one was talking about sentences. Hardy said it would be unbearable to have real numbers of different orders. See his discussion, after which a sequence of real numbers belongs to another order, because it is defined by reference to a entirety whose barrier it is itself. An analog example is the maximum of a curve, which is defined as the highest points of all on this curve. IV 68 Operation/Form Series/Type theory/TT/Tractatus: 5.252 only like this the progression from member to member in a form series (from type to type in Russell) is possible. WittgensteinVsRussell: in Principia Mathematica(1) (PM), they have not given the possibility of this progression, but have made use of it repeatedly. 5.2521 The repeated application of an operation to its own result ((s)> recursion) I call its successive application ("O'O '=' a" is the result of a triple application of "O'ζ" to "a"). 5.2522 the general term of a form series a, O 'a, O'O'a ... I write: IV 69 "[a,x,O'x]". This expression in brackets is a variable. 1. member: beginning of the form series 2. member: The form of any member x of the series 3. member: Form of the immediate successor this x. (Successor: O'). IV 70 WittgensteinVsRussell/Tractatus: 5.4 "Logical objects" or "logical constants" in the sense of Russell do not exist. Primitive signs/WittgensteinVsFrege/WittgensteinVsRussell/Tractatus: 5.42 The possibility of crosswise definition of the logical "primitive signs" of Frege and Russell (e.g. >, v) already shows that these are not primitive signs, let alone that they do not signify any relations. 1. Whitehead, A.N. and Russel, B. (1910). Principia Mathematica. Cambridge: Cambridge University Press. |
W II L. Wittgenstein Wittgenstein’s Lectures 1930-32, from the notes of John King and Desmond Lee, Oxford 1980 German Edition: Vorlesungen 1930-35 Frankfurt 1989 W IV L. Wittgenstein Tractatus Logico-Philosophicus (TLP), 1922, C.K. Ogden (trans.), London: Routledge & Kegan Paul. Originally published as “Logisch-Philosophische Abhandlung”, in Annalen der Naturphilosophische, XIV (3/4), 1921. German Edition: Tractatus logico-philosophicus Frankfurt/M 1960 |
| Various Authors | Prior Vs Various Authors | I 123 Intentionality/Findlay: relational property with only one side. ((s) Vs: absurd.) Of course, "thinking about T" is a property of the thinker. I 124 Touchstone for Intentionality: is the "built-in reference to what is not part of it and what does not need to exist anywhere". There is absolutely no intrinsic difference between thinking and speaking about what does and what does not exist. (>Anscombe pro: >Objects of Thougt/Anscombe). That would only be a Pickwickian distinction (>difference without a difference). FindlayVsRussell: VsTheory of Descriptions. PriorVsFindlay: that's not fair, because he just offered the solution. I 127 PriorVsReid/VsAnscombe/VsFindlay: it is not easy to hold the following two sentences together: (1) What X thinks of Y, plans to do with him, appreciates about him, always involves Y as much as X. (2) There are cases in which X thinks of Y (appreciates, etc.), and there is no Y at all. At least it's difficult in this case to dismiss the following three considerations that merely seem to make them consistent: a) Thinking about an unreal object is a different kind of thinking than that about a real object. b) our thinking would not put us in relation to an object, but only to an "idea" of it. c) there would be strong and weak types of reality. (>Subsistence). I 128 Thinking/Anscombe/Prior: could "think" not be replaced with any other (at least intentional) verb? Object/Tradition/Anscombe: something cannot just be an object without being object of something. I.e. "relational property" of being an object. Simons I 119 Identity/Simons: is transitive. Prior: this is questionable (the only one). (PriorVsTransitivity of identity). |
Pri I A. Prior Objects of thought Oxford 1971 Pri II Arthur N. Prior Papers on Time and Tense 2nd Edition Oxford 2003 Simons I P. Simons Parts. A Study in Ontology Oxford New York 1987 |
| |||
The author or concept searched is found in the following 2 theses of the more related field of specialization.
| Disputed term/author/ism | Author |
Entry |
Reference |
|---|---|---|---|
| Names | Frege, G. | Wolf I 13 Names/FregeVsRussell: singular term. Newen/Schrenk I 101 Meaning/Name/Frege: Thesis: The meaning of a name is expressed by its identification. This is the so-called designation theory, a simple variant of the description theory. Staln I 172 Name/Reference/Sense/Stalnaker: 1. Mill/KripkeVsFrege: Thesis: Names have their reference directly, without mediation of an intermediate meaning. Frege/Dummett/Searle: thesis: between the name and its reference one must assume the sense of the name a) because otherwise the object cannot be identified at all, or we cannot explain how it is identified, b) (DummettVsKripke) because then we cannot learn the language. |
K II siehe Wol I U. Wolf (Hg) Eigennamen Frankfurt 1993 |
| Fido-Fido-Principle | Russell, B. | Read I 32 Russell made the same mistake: he assumed atomic propositions consist of a number of individuals and a Universal - E.g. "Fido is a dog." To what does "dog" refer? According to the "Fido"-Fido theory it needs to get its meaning from the fact that it is associated with a single thing, the dog, or an universal, dog - RyleVsRussell: reference is not the same as meaning. |
Re III St. Read Thinking About Logic: An Introduction to the Philosophy of Logic. 1995 Oxford University Press German Edition: Philosophie der Logik Hamburg 1997 |
| |||