Find counter arguments by entering NameVs… or …VsName.
The author or concept searched is found in the following 22 entries.
| Disputed term/author/ism | Author |
Entry |
Reference |
|---|---|---|---|
| Bivalence | Dummett | II 103 Principle of Bivalence/Truth/Dummett: PoB already presumes the concept of truth. - And that is transcendental in the case of undecidable sentences. - It goes beyond our ability to recognize what a manifestation would be. >Decidability. II 103f Undecidability/anti-realism/Dummett: (without bivalence) The meaning theory will then no longer be purely descriptive in relation to our actual practice. III (a) 17 Sense/Frege: Explanation of sense by truth conditions. - Tractatus: dito: "Under which circumstances...". >Truth conditions, >Circumstances. DummettVsFrege/DummettVsWittgenstein: For that one must already know what the statement that P is true means. Vs: if they then say P is true means the same as asserting P. VsVs: then you must already know what sense it makes to assert P! But that is exactly what should be explained. VsRedundancy theory: we must either supplement it (not merely explain the meaning by assertion and vice versa) or abandon the bivalence. >Redundancy theory. III (b) 74 Sense/Reference/Bivalence/Dummett: bivalence: Problem: not every sentence has such a sense that in principle we can recognize it as true if it is true (e.g. >unicorns, >Goldbach’s conjecture). But Frege’s argument does not depend at all on bivalence. III (b) 76 Bivalence, however, works for elementary clauses: if here the semantic value is the extension, it is not necessary to be possible to decide whether the predicate is true or not - perhaps application cannot be effectively decided, but the (undefined) predicate can be understood without allocating the semantic value (truth value) - therefore distinction between sense and semantic value. >Semantic Value. Cf. >Multi valued logic. |
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 |
| Denotation | Kripke | III 334 Denoting/Frege: thesis: complete sentences denote ((s) i.e. sentences with unicorns are always wrong according to Frege.) >Unicorn example/Kripke. Kripke: non-denotating forms are e.g. xy: a form, e.g.(Sx)xys: is implied by each of its instances: f1 > y, f2 ↔ y, f2> y, f1 and y, etc. These are not even significant units - this is something other than transparency. >Cf. >Opacity. III 352 If the terms of the object language are denoting, the meta language must include referential quantification. >Object language, >Meta langugage. III 362 Denoting/denotation/Kripke: Problem: if some terms denote and others do not, then they are not held apart by Q(t,a): example (26c) Q(Zeus,Zeus) is just as true. ((s) Although Zeus denotes nothing.) (19)(Px1)(E1a)(Q(x1,a1) and term(a1)) must therefore not be construed as referential and be read as everything is denoted by a term. Wallace makes this error: everything has a name, which he uses to show triumphantly that the substitutional quantification collapses to referential quantification. (KripkeVsWallace). Q(Cicero,Tullius) is incorrect. >Naming/Kripke, >Nonexistence. Name/denote/KripkeVsWallace: not everything needs to have a name - not every term denotes -(>Frege: each sentence is denoting: ((s) all sentences with unicorns are false or without truth value). >Truth value, >Truth value gap. |
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 |
| Designation | Quine | II 61 Naming: is a name or singular term. Designate: a predicate designates. Naming and designating are referring. They do not express meaning. VIII 27 Syncategorematic expressions such as "on" do not designate anything. Likewise, we can assume that words such as "unicorn" do not designate anything; neither something abstract nor something concrete. The same applies to "-ness" or punctuation marks. The mere ability to appear in a sentence does not make a string a name. Nominalism: interprets all words as syncategorematic! Ad XI 173 Note 18: Sentences/QuineVsFrege/Lauener: sentences do not designate! Therefore no names can be formed by them (by quotation marks). XI 173 Substitutional Quantification/Ontology/Quine/Lauener: Substitutional Quantification does not enter into an ontological obligation in so far as the names used do not have to name anything. That is, we are not forced to accept values of the variables. >Substitutional Quantification/Quine. XI 49 QuineVsSubstitutional Quantification: this is precisely what we use to disguise ontology by not getting out of the language. XI 132 Sense/designate/singular term/Quine/Lauener: it does not need a name to make sense. Example: unicorn. There is a difference between sense,meaning and reference. XII 73 Distinguishability/real numbers/Quine: N.B.: any two real numbers are always distinguishable, even if not every real number can be named! ((s) Not enough names). Because it is always x < y or y < x but never x < x. |
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 |
| Intensions | Frege | Frege II 45 Intension/Extension: the thought is not the meaning (Fregean reference) of the sentence (but the content). For the terminology see also >Fregean Sense. ((s) The terms 'intension' and 'extension' come from Carnap and were not used by Frege himself). Sense/Frege: sense corresponds to the intension. >Way of givenness. Extension: the extension is the object. >Object, >Extension. Dummett I 18 Def "sense" of an expression/Frege: is the way in which its reference is given. Therefore we must first have the concept of the reference. But if we now have the concept of the reference before that of the sense, we cannot claim that the reference is a property of the sense, but only a property of the expression! This becomes clear in the Basic Laws, where Frege determines the interpretation of his symbolism through determinations which prescribe each expression its respective reference. Taken together, these determinations determine for each formula under which conditions it is true. The sense is to be mentioned later. Accordingly, the determinations would be incomprehensible if the concept of the reference to an expression had been derived. I 18 Frege then later explains the sense by referring to the determinations that regulate the reference. >Fregean sense, >Reference. Dummett I 48 Reference/Frege: theory of reference was there before the theory of "sense". "Sense" determines the reference. Husserl: reference equals "sense": The sense determines the relation (the "meaning") in the strong sense that it is - assuming the facts of the world - the factual sense of an expression that explains how it is given its factual "meaning" (relation). (Not only Evans' "weak" sense that no two expressions can have the same sense, but different "meanings" (reference). Thus, a theory of reference is not yet a theory of sense, but its indispensable basis. Not unlike Frege, Husserl takes the view that the sense of an expression is a constitutive element to which it owes its respective reference. >Sense/Husserl. Dummett I 48f Use/Frege/Dummett: the use gives the meaning. The meaning gives the reference (Frege). Meaning is not equal to reference: e.g. unicorn: the term is not meaningless, therefore one knows only that it does not refer to any object. I 48ff Use/Frege/Dummett: use provides meaning - sense provides reference (Frege). Meaning is different from reference: e.g. unicorn. >Non-existence, >Use, >Unicorn example. |
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 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 |
| Judgments | Dummett | I 55 ff Nonexistence/Frege: The sense is detectable, even when expressed without reference. (> Unicorn-Example) - but not a true judgment. III (c) 125 Judgment/Dummett: not directly related to the facts (>truthmakesr). |
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 |
| Non-Existence | Brandom | I 609 Unicorn/Pegasus/existence/ontology/Frege: "Pegasus" has sense, but no meaning (reference) - hence the sentence "Pegasus is a winged horse" cannot be true. >Unicorn-example, >Reference, >Meaning, >Truth value. |
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 |
| Non-Existence | Frege | I 47 Nonexistence/unicorn-example/truth-value gap/Frege: e.g. unicorn: sentences about non-existent objects are without truth value. Predicates cannot be assigned or denied. The thought is the same whether the name refers (>"meaning"/Frege = reference) or not. For the terminology: see Fregean Sense, >Reference, >Predicate, >Unicorn example. Husted V 102 Name/non-existence/Frege: that the name has a reference is not the condition that it belongs to the language but vice versa. >Proper names. I 107 Non-existence/meaning/FregeVsMeinong/FregeVsRussell: there are quite a lot of contradictory terms. However, there are no contradictory objects. The logic may determine only the limitation of terms. That is, for each object, whether it falls within the definition, or not - a contradictory term is used to prove that there is no corresponding object. >Round square. IV 110 Non-existence/Frege: proper names: are names that refer to nothing, that are logically meaningless. But there are not a concept under which nothing falls - for a name to be entitled it is necessary that the appropriate term is sharp. IV 111 Therefore the term should precede the scope. >Term scope, >Concept. |
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 Husted I Jörgen Husted "Searle" In Philosophie im 20. Jahrhundert, A. Hügli/P. Lübcke Reinbek 1993 Husted II Jörgen Husted "Austin" In Philosophie im 20. Jahrhundert, A. Hügli/P. Lübcke Reinbek 1993 Husted III Jörgen Husted "John Langshaw Austin" In Philosophie im 20. Jahrhundert, A. Hügli/P. Lübcke Reinbek 1993 Husted IV Jörgen Husted "M.A. E. Dummett. Realismus und Antirealismus In Philosophie im 20. Jahrhundert, A. Hügli/P. Lübcke (Hg) Hamburg 1993 Husted V J. Husted "Gottlob Frege: Der Stille Logiker" In Philosophie im 20. Jahrhundert, A. Hügli/P. Lübcke (Hg) Reinbek 1993 |
| Non-Existence | Millikan | I 193 Non-existence/Empty Names/Unicorn/Solution/Moore/Millikan: Moore introduced "concepts" so that names such as "Pegasus" have something they can correspond to. Solution/Frege: "meaning" to which referentially equivalent terms with different meaning can correspond to. >Unicorn-example, >Pegasus-example, >Fiction. Solution/Carnap/Millikan: E.g. "Pegasus": here we are talking about our linguistic usage or of the words, not the object. ((s) semantic rise). Identity/Existence/Sentence/Representation/Millikan: Thesis: neither sentences that contain the "is" of existence, nor the "is" of identity are representations! >Sentence/Millikan, >Representation/Millikan, >Identity/Millikan. Identity statement/Millikan: no representation. Existence assertion/existence statement/Existence/Millikan: are no representation. Intentional icon: however, identity statements and existence statements are intentional icons. However, they are more primitive icons than representations. Identity Theorem/Existence/Millikan: although they must map in accordance with mapping rules to perform their eigenfunction,... I 194 ...the variants of the facts in the world which they map do not have to be identified. >Terminology/Millikan. These sentences are icons of the relations of words to the world. That is, we do not translate them into inner icons of facts. I 203 Moved use/changed use/move/disengaged/non-existence/Millikan: E.g: "x does not exist": 1. This is not a representation. (Also not e.g. "x exists"). 2. It is not a referential use. >referential/attributive. |
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 |
| Predicates | Frege | II 47 Frege: e.g. a sentence about a unicorn is a sentence without truth value; predicates cannot be assigned or denied. (>Nonexistence - thought: is the same whether the expression has a reference ("meaning") or not. Berka I 87 Predicate/Frege: one could live with a single predicate, "is a fact". Then there is no question of subject/predicate.(1) 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 Brandom I 943 Frege: (great discovery): there must be complex predicates in this sense: so that the inferential role of sentences, e.g. "anyone who admires someone who admires themselves", can be recognized. (x)(y)[Rxy > Rxx]. (Can also occur in a language without quantification)- Strawson: this is the second distinguishing feature of singular terms and predicates: terms can be quantified. Singulär terms, >Quantification. EMD II 226ff Predicate/Frege: Function: takes objects as arguments and provides truth values as a value. Frege II 71 Predicate/Frege: e.g. "falling under the concept of human" - which means the same as "a human". ((s) Later authors: "is a human being". "Is" belongs to the predicate. Tugendhat I 192 Predicate/Frege/Tugendhat: with Frege the predicate also stands for something, but something non-objective: the concept ("to stand for") - (VsObject Theory). Tugendhat I 193 Predicate/Frege: the predicate has no reference - not because it were contradictory, but because of indeterminacy. >Reference, >Indeterminacy. |
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 Berka I Karel Berka Lothar Kreiser Logik Texte Berlin 1983 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 EMD II G. Evans/J. McDowell Truth and Meaning Oxford 1977 Evans I Gareth Evans "The Causal Theory of Names", in: Proceedings of the Aristotelian Society, Suppl. Vol. 47 (1973) 187-208 In Eigennamen, Ursula Wolf Frankfurt/M. 1993 Evans II Gareth Evans "Semantic Structure and Logical Form" In Truth and Meaning, G. Evans/J. McDowell Oxford 1976 Evans III G. Evans The Varieties of Reference (Clarendon Paperbacks) Oxford 1989 Tu I E. Tugendhat Vorlesungen zur Einführung in die Sprachanalytische Philosophie Frankfurt 1976 Tu II E. Tugendhat Philosophische Aufsätze Frankfurt 1992 |
| Proper Names | Frege | I 54 Proper name/Frege: for a proper name the extension is presumed. Otherwise, the negation would be: "Kepler did not die in misery or the name is meaningless". >Extension. II 69 The "meaning" of a name is never a concept (predicate), but always only an object. >Concept, >Object, >Predicate. II 72f Proper name/Frege: a proper name (saturated) can never be a predicate (but part of a predicate). Names/understanding/Frege: understanding a name means to know what object it denotes. Problem: are names without a carriers (e.g. unicorn). Problem: e.g. different names with the same carrier. >Unicorn-example, >Non-existence. Husted V 99/100 The fact that a name stands for an object is a consequence rather than part of the fact that it has a certain sense. >Fregean sense, >Fregean meaning, Chisholm II 144f Names/Frege: "mixed proper name": contains linguistic and non-linguistic parts: the circumstances. Circumstances: are part of the meaning of an expression. >Circumstances. ChisholmVsFrege: he neglects ostension. Dummett III 68f Names/FregeVsRussell: names may well have the same sense as a specific description - what is actually considered to be a representation of an object: Valencia from the air, from the ground, within a specific buildind, or on the map? Recognition: necessary: is the awareness that the object falls under the concept that determines the proper identity criterion (here: "city"). This is the ability for recognition instead of the method of picking out ("red": is recognition, not a method for red). >Recognition. Frege II 69 Name/Frege: a name can never be a predicate - but certainly part of a predicate. >Predicate. Stalnaker I 183 Names/proper names/Frege/Stalnaker: for him there is a mental representation, i.e. we only have ideas about something that presents itself to us in a certain way. ((s) This can be reconciled with Donnellan’s attributive use). >Attributive/referential. |
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 Husted I Jörgen Husted "Searle" In Philosophie im 20. Jahrhundert, A. Hügli/P. Lübcke Reinbek 1993 Husted II Jörgen Husted "Austin" In Philosophie im 20. Jahrhundert, A. Hügli/P. Lübcke Reinbek 1993 Husted III Jörgen Husted "John Langshaw Austin" In Philosophie im 20. Jahrhundert, A. Hügli/P. Lübcke Reinbek 1993 Husted IV Jörgen Husted "M.A. E. Dummett. Realismus und Antirealismus In Philosophie im 20. Jahrhundert, A. Hügli/P. Lübcke (Hg) Hamburg 1993 Husted V J. Husted "Gottlob Frege: Der Stille Logiker" In Philosophie im 20. Jahrhundert, A. Hügli/P. Lübcke (Hg) Reinbek 1993 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 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 Stalnaker I R. Stalnaker Ways a World may be Oxford New York 2003 |
| Proper Names | Kripke | I 36 Names have no sense, descriptions have a sense. >Sense, >Meaning/Kripke. I 39 Name: a name has a different sense, but the same meaning. Alexander was teacher and student... - facts are not part of the sense of the name. I 59 Names are rigid designation expressions (descriptions are not). I 81 KripkeVsMill: ordinary proper names of people are not characters that have no sense. Otherwise we could not understand any sentence in which Socrates appears if we do not know that Socrates means the individual who is called Socrates. >Signs, >Understanding. I 103 Description does not abbreviate the name, e.g. even if the murdered Schmidt discovered the famous sentence, Goedel still refers to Goedel. >Description/Kripke. I 118 Russell: logical proper names: identity is without empirical investigation, therefore logical proper names are the only real names. I 136 Name for natural kinds: gold: could turn out to be blue, but would still be gold (would retain existence). >Natural kind/Kripke. I 145 Concepts for natural kinds: are much more closely related to proper names than unusually assumed. I 146 Kripke: general names like "cat" do not express any property. >Properties/Kripke. --- III 362 Names/designate/KripkeVsWallace: not everything has to have a name and not every term is denoted (> Frege: every sentence is denoting: ((s) All sentences with unicorn are false or without truth value). >Unicorn example, >Nonexistence, >Truth value, >Truth value gap. --- Prior I 170 Names/Kripke: names do not have a structure. Simple sentences are wrong if x does not exist. --- Stalnaker I 172f Names/Kripke: reference is the designated object directly, without the mediation of sense. >Reference/Kripke. Frege/Dummett/Searle: sense is a mediator between the name and the designated object - otherwise signing out would be inexplicable. Learning a language cannot be explained. >Language acquisition. |
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 Pri I A. Prior Objects of thought Oxford 1971 Pri II Arthur N. Prior Papers on Time and Tense 2nd Edition Oxford 2003 Stalnaker I R. Stalnaker Ways a World may be Oxford New York 2003 |
| Proper Names | Quine | I 230 Ambiguity: The name Paul is not ambiguous, it is not a general term but a singular term with dissemination. - Ambiguity action/habit: delivery (action, object). >Ambiguity/Quine I 316 Name: is a general term that applies only to one object - Ryle: x itself is not a property! - Middle Ages: Socrates, human, mortal: were on the same level - closes truth value gaps, claims no synonymy. >General Terms/Quine, >Truth Value Gap/Quine VII (a) 12ff Name/Quine: is always eliminated - language does not need it. VII (d) 75ff Name/Quine: Frege: a name must be substitutable - this is even possible with abstract entities. VII (i) 167 Proper Names/Quine: can be analyzed as descriptions. Then we can eliminate all singular terms as far as theory is concerned. >Descriptions/Quine VIII 24ff Name/Quine: names are constant substitutions of variables. X 48 A name always refers to only one object - predicate: refers to many. We replace them in the standard grammar by predicates: first: a= instead of a, then predicate A. - The sentence Fa then becomes Ex(Ax.Fx). >Predicates/Quine X 48 Name/Quine: it is not possible to quantify about them, so they are a different category than variables - names can be replaced by variables, but not always vice versa. X 124 Name/logic/Substitutional Quantification/Quine: problem: there are never enough names for all objects of the world: e.g. if a set is not determined by any open sentence, it has no name either. - Otherwise E.g. Name a determination: x ε a - E.g. irrational numbers cannot be traced back to integers. ((s)>substitution class). Lauener XI 39 Name/General Term/Quine/Lauener: names are eliminated by being reconstructed as a general term. As = a - then: Pegasus/truth value: then "Pegasus flies". (Ex)(X = c u Fx) is wrong, because Pegasus does not exist. (There is no pegasus, the conjunction is wrong). (>unicorn example). - The logical status of a proper name does not depend on the type of introduction, but only on the relation to other expressions. XII 78 Name/Quine: is distinguished by the fact that they may be inserted for variables. |
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 Q XI H. Lauener Willard Van Orman Quine München 1982 |
| Propositional Functions | Russell | I XXIV Propositional functions/Russell/Gödel: always have something ambiguous, because of the variables. (Frege: somewhat unsaturated). >Ambiguity, >"unsaturated", >Statement, >Quanfication, >Truth value. I 26 Propositional function/Terminology/Principia Mathematica(1)/Russell: if we want to speak of the Propositional function that "x is hurt" corresponds to, we will write: "x ^ is hurt" and "x is hurt" is an ambiguous value thereof. ((s) x^: class of x). 1. Whitehead, A.N. and Russel, B. (1910). Principia Mathematica. Cambridge: Cambridge University Press. VI 73 Statement function/russell: any expression which has one or more indefinite parts and which becomes a statement when the indefinite part is determined. Example "x is red". A propositional function can be always true (x = x, necessary), sometimes true (x = human, possible) or never true (x = unicorn, impossible). VI 74 Some predicates can only be attributed to statement functions and not to statements. >Nonexistence, >Unicorn example. |
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 |
| Reference | Dummett | I 41 Frege: first reference, then "sense". Trend today: for singular terms: Meaning = Reference - DummettVs: absurd in complex terms (>descriptions). I 47 Reference: words - not sentences or parts of sentences (Dummett: feeling for the language). Def reference of an expression: is that which is common to all other expressions where it is clear that their substitution instead of the original expression does not affect the truth value of any sentence in which it occurs. I 48 Frege: theory of reference prevails over theory of "sense". - "Sense" determines the reference - Husserl: Reference = "sense". Use gives meaning - sense gives reference (Frege) - meaning not equivalent to reference: e.g. unicorn RussellVs distinction sense/reference; >meaning, >reference > Fregean sense. (RussellVsFrege). II 128 Reference/Frege/Dummett: does not show everything that the speaker knows when he understands an expression > sense. - Knowledge of reference is not sufficient for meaning. E.g. identity a = a is uninformative - Dummett: the same goes for every atomic sentence. |
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 |
| Reference | Frege | Husted V 101 Reference/Frege: when sense was the same as meaning (reference), a sentence could not tell anything what a person who knows the name does not already know. Dummett III 113 Reference/singular term/Frege: in Frege's truth theories all singular terms have a guaranteed reference, and always a reference object! So are sentences with "unicorn": they are not wrong but without truth value. RussellVsFrege: sentences with "unicorn" are always wrong. >Unicorn example, >Existence, >Non-existence, >Truth values, >Truth value gaps, >Truth theories, >Singular terms, |
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 Husted I Jörgen Husted "Searle" In Philosophie im 20. Jahrhundert, A. Hügli/P. Lübcke Reinbek 1993 Husted II Jörgen Husted "Austin" In Philosophie im 20. Jahrhundert, A. Hügli/P. Lübcke Reinbek 1993 Husted III Jörgen Husted "John Langshaw Austin" In Philosophie im 20. Jahrhundert, A. Hügli/P. Lübcke Reinbek 1993 Husted IV Jörgen Husted "M.A. E. Dummett. Realismus und Antirealismus In Philosophie im 20. Jahrhundert, A. Hügli/P. Lübcke (Hg) Hamburg 1993 Husted V J. Husted "Gottlob Frege: Der Stille Logiker" In Philosophie im 20. Jahrhundert, A. Hügli/P. Lübcke (Hg) Reinbek 1993 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 |
| Sense | Frege | Dummett III 56 ff Sense/Frege: two arguments: 1) The sentence is the smallest unit. 2) Truth plays the crucial role in explaining the meaning. >Fregean sense, >Fregean meaning. Sense: sense is part of the meaning and relevant for truth or falsehood. The meaning of a sentence, as such, does not determine the truth. So the sense only determines the truth conditions. Truth also depends on nature of the world. When sense determines the semantic value, the contribution of the world is already presumed. Dummett III 64 Sense/Reference/Frege: the argument (a sentence is the smallest unit of sense) has two premises: a) all predicative knowledge is based on propositional knowledge, b) for certain predicative knowledge there is more than just one proposition. Therefore, no mere knowledge of the reference is possible. Dummett III 74 Sense/Dummett: sense is not only acquired by verification method, but by understanding the circumstances which must be realized (e.g. Goldbach’s conjecture). Sense/reference/bivalence/Dummett: bivalence: Problem: not every sentence has such a sense that we can, in principle, recognize it as true if it is true (unicorn, Goldbach’s conjecture). But Frege’s argument does not depend on bivalence. >Bivalence. Dummett III 76 Bivalence does apply, however, for elementary propositions: if the semantic value here is the extension, it does not have to be decided whether the predicate is true or not. It may not be possible to effectively decide the application, but the (undefined) predicate can be understood without being able to allocate the semantic value (here truth value). Therefore, there is a distinction between sense and semantic value. Dummett III 133 Sense/Frege/Dummett: sense is constituted by the manner of givenness but it is not identical with it. Husted V 100f Meaning/sense/Frege/Husted: if both were equal, a sentence could not say anything that everyone who knows the name did not know already. The meaning of a name: is the object. The fact that a name stands for an object is a result, not part of the fact that it has a purpose. V 103 Frege: the sense of the sentence is the truth condition >Understanding/Dummett, >Understanding/Wittgenstein - Understanding, knowing what must be the case. |
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 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 Husted I Jörgen Husted "Searle" In Philosophie im 20. Jahrhundert, A. Hügli/P. Lübcke Reinbek 1993 Husted II Jörgen Husted "Austin" In Philosophie im 20. Jahrhundert, A. Hügli/P. Lübcke Reinbek 1993 Husted III Jörgen Husted "John Langshaw Austin" In Philosophie im 20. Jahrhundert, A. Hügli/P. Lübcke Reinbek 1993 Husted IV Jörgen Husted "M.A. E. Dummett. Realismus und Antirealismus In Philosophie im 20. Jahrhundert, A. Hügli/P. Lübcke (Hg) Hamburg 1993 Husted V J. Husted "Gottlob Frege: Der Stille Logiker" In Philosophie im 20. Jahrhundert, A. Hügli/P. Lübcke (Hg) Reinbek 1993 |
| Singular Terms | Frege | Brandom II 173 Singular terms/Frege, later: sentences are singular terms. Predicates: predicates are the frame. DummettVsFrege: Frege disregards the specific nature of the sentences to be moves in language games. BrandomVsDummett: as if Frege had no idea of Fregean force. >Assertive force, >Theory of force/Dummett. Dummett III 113 Reference/singular term/Frege: in truth theories of the Frege-type all singular terms have a guaranteed reference, always a reference object. Therefore sentences with "unicorn" are not wrong but without a truth value (truth value gap). RussellVsFrege: sentences with "unicorn" are always wrong. >Unicorn example, >Reference, >Truth value. |
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 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 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 |
| Thoughts | Frege | Dummett I 62 Consciousness Content/Frege/Dummett: the content of consciousness are sensations but not meaning. Thoughts: thoughts are the grasping of external things. Dummett I 19 Thought/Thinking/Frege: thought is not identical with the meaning of the sentence - beings with identical thoughts are possible without linguistic cover. Frege II 47 Frege: a sentence about a non-existent unicorn is without truth value, predicates cannot be attributed or denied - the thought is the same, whether there is reference ("meaning") or not. Thought: is a sentence without truth value (because "meaning" (reference) is unresolved) - the same thought in an actor without meaning - judgment: is progress from thought to its truth value. >Fregean sense, >Fregean meaning. II 71 Truth Value: a truth value cannot be one part of a thought, as little as the sun can, because it is not a sense, but an object (truth value = object). >Truth value, >Object. II 76 Thought: one part must be unsaturated, as a binding agent, e.g. "falls under". Thought: not all parts of the thought may be complete, at least one should be unsaturated (predicative), otherwise they would not stick together. Dummett I 32 Frege: grasping the thought: is psychic act. The thought is not the content of consciousness. Consciousness is subjective, the thought is objective - WittgensteinVs. >">Objectivity. Frege IV 52 Thought/Frege: there is not a complete thought without a time determination. But then it is timelessly true or false. Expression/assertion/Frege: there is a difference: time determination belongs to the expression whereas truth belongs to assertion and is timeless. Timeless things are not part of the external world. >Truth, >Timelessness. --- Stuhlmann-Laeisz II 47 ff Thought/Frege: a thought is not the sentence meaning (reference), because it is possible common property of many thinkers (content, objective). Sense of the sentence: is the expressed thought (abstract). Unequal content: sense can be grasped without knowing whether the sentence has a meaning (reference, existing object). Thought/Frege: a thought is abstract. Contradiction: content, idea. Stuhlmann-Laeisz II 57ff Odd Meaning/Frege: odd meaning refers to the expressed thoughts - (thought: abstract, unequal content). Stuhlmann-Laeisz II 66ff Thought/identity criterion for thoughts/Frege/St: sentence A contains the same idea as sentence B, if (i) the assumption that A and B lead to a contradiction - (ii) vice versa - that allows us to conceive thoughts as invariant abstractions - (>partial identity: identity of thoughts) Invariant: is the thought. The thought contained in a sentence is what element A has in common with all the propositions which are logically equivalent to A, and that changes when we move on to a proposition B which is not logically equivalent to A. Stuhlmann-Laeisz II 68 Thought/Frege/St: a thought is that element of an assertion that can be true or false, and which is the object of the believing-to-be-true of epistemic subjects. >Propositions. |
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 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 SL I R. Stuhlmann Laeisz Philosophische Logik Paderborn 2002 Stuhlmann II R. Stuhlmann-Laeisz Freges Logische Untersuchungen Darmstadt 1995 |
| Truth Values | Quine | VII (d) 71 Propositional Calculus/indistinguishability/theoretical terms/Quine: "p", "q" etc. refer to propositional concepts, whatever they may be. But we know that propositional concepts like truth values are not distinguishable in terms of the calculus, the expressiveness of the calculus is limited. VII (f) 112 Truth Values/Quine: can be allowed as abstract entities. VII 115 Truth Value/Quine: is not an abstract entity to which we appeal with assertions. VII (h) 154 Range/Russell: a change in the range of a description is neutral to the truth value of any sentence. Quine: but only if the description designates something. Lauener XI 38 Quantification/Lauener/(s): truth values can only be attributed to quantified sentences. Quine I 226 Vagueness/Quine: leaves the truth values untouched. Therefore it can be useful. >Vagueness. I 263ff Truth Value/intension/extension/Quine: in extensional contexts a singular term may be replaced by a singular term with the same name without changing the truth value of the sentence. This is not possible in opaque (intensional) contexts. >Intensions, >Extensions, >Opacity. I 266 Opaque Contexts/Truth Value/Frege: in a construction with a propositional attitude, a sentence or term may not denote truth values, a class or an individual, but functions as the "name of a thought" or the name of a property or an "individual concept". ((s) In non-intensional contexts, a sentence in Frege's work designates a truth value, "The True," or "The False". > "Great Fact", >"Slingshot Argument"). II 192 From today's point of view, quantifier logic is nothing more than a further development of the logic of truth functions. The truth value of a truth function can be calculated on the basis of the truth values of the arguments. Why then does quantifier logic not become decidable by truth tables? This validity criterion would be too strict because the quantified sub-expressions are not always independent of each other. Some sub-expressions may turn out to be untrue, but are unworthy of a closer look at an assignment to truth values. See also >Truth tables. III 281 Truth value/Existence/Nonexistence/Ontology/Logic/Quine: which truth values have sentences like "Zerberus barking"? (See also >Unicorn example). The answer "wrong" would be premature. III 282 Problem: for all sentences that would be wrong, there would be a negation that would be true! Our derivation methods do not prove anything in case the object does not exist. What would have to be proved is based on an unfulfilled condition. Truth value gap/Quine: comes from everyday language, in logic we have to fill it. And be it arbitrary. Every sentence should have a truth value (true or false). >Everyday language. That was the reason for the convenient extension of the term conditional in § 3,m which generally allowed a truth value for the whole conditional. We now need a similar extension for singular terms, which do not describe anything. But this cannot be achieved by an all-encompassing decision. But this can be done for simple sentences, from which we derive rules for compound sentences. Def simple predicate: is a predicate if it does not explicitly have the form of a quantification, negation, conjunction, alternation etc. of shorter components. If a simple predicate is applied to a singular term that does not denote anything, the sentence in question is to be considered false. Then e.g. "Zerberus barks" is wrong, because it represents an application of the predicate "[1] barks" to "Zerberus". V 112 Truth values/Language learning/Quine: truth values correspond to a more advanced level of learning. Using different theories for different subject areas V 113 we finally learn (if at all) which judgement to make in the indeterminate cases of conjunction or alternation in the middle of the table. Logic/Learn languages/Quine: bivalent logic is a theoretical product which, like all theory, is only learned indirectly. How, we can only speculate about that. VI 128 Singular terms/truth value/sense/divalued logic/unicorn/Quine: in the case of unrelated singular terms or failed descriptions, we may not know the truth value. It is not profitable to describe such sentences as meaningless, since the existence of the object could turn out (e.g. Pluto). It is alright to leave the truth value open, but not the meaning of a sentence! VI 129 Singular terms/truth value/sense/divalued logic/unicorn/Quine: in the case of unrelated singular terms or failed descriptions, we may not know the truth value. It is not profitable to describe such sentences as meaningless, since the existence of the object could turn out (e.g. Pluto). It is alright to leave the truth value open, but not the meaning of a sentence! VI 131 Antirealism/Sentence of the excluded Middle/Dummett/Quine: Dummett turns against the sentence of the excluded middle with epistemological arguments. (Also Brouwer): No sentence is true or false, as long as no procedure for the determination of the truth value is known. |
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 Q XI H. Lauener Willard Van Orman Quine München 1982 |
| Unicorn Example | Brandom | I 609 Unicorn/Pegasus/Existence/Ontology/Frege: "Pegasus" has sense but no meaning (reference) - hence the phrase "Pegasus is a winged horse" cannot be true. >Non-existence, >Meaning, >Reference. |
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 |
| Unicorn Example | Frege | II 47 Unicorn/Frege: the term unicorn in a sentence is a sentence without truth value, predicates cannot be denied nor attrributed. The thought is the same, whether there is reference ("meaning") or not. >Fregean sense, >Fregean meaning, >Thought, >Reference, >Truth value, >Predicate, >Predication, >Attribution. Husted V 97 The fact that a particular name has no support in the form of an external object, has no consequences for the belonging of the name to the language. |
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 Husted I Jörgen Husted "Searle" In Philosophie im 20. Jahrhundert, A. Hügli/P. Lübcke Reinbek 1993 Husted II Jörgen Husted "Austin" In Philosophie im 20. Jahrhundert, A. Hügli/P. Lübcke Reinbek 1993 Husted III Jörgen Husted "John Langshaw Austin" In Philosophie im 20. Jahrhundert, A. Hügli/P. Lübcke Reinbek 1993 Husted IV Jörgen Husted "M.A. E. Dummett. Realismus und Antirealismus In Philosophie im 20. Jahrhundert, A. Hügli/P. Lübcke (Hg) Hamburg 1993 Husted V J. Husted "Gottlob Frege: Der Stille Logiker" In Philosophie im 20. Jahrhundert, A. Hügli/P. Lübcke (Hg) Reinbek 1993 |
| Use Theory | Dummett | I 31 DummettVsuse theory: The disadvantage is that this is substantially non-systematic. According to Wittgenstein, however, it is an advantage, because he emphasizes the variety of speech acts. Dummett: orderliness but is not everything. The use theory is likely to assume that a significant part of the language is already understood. I 31 Use gives meaning - sence gives reference (Frege). - Meaning is not the same as reference: E.g. Unicorn. Use theory of meaning >speech act theory. I 29 Use/Truth/Wittgenstein/Dummett: use theory makes the concept of truth superfluous. >meaning before truth. III (a) 10 Use theory/Dummett: Circumstances not sufficient - we need the purpose of why we use a word - even with classification valid/invalid always of interest (purpose). III (e) 196 Use theory/Dummett: sentences, not words have use. III (e) 200 E.g. use of money: here one must understand the whole institution. I Schiffer 223f Use theory/Understanding/Meaning/Manifestation/Dummett/SchifferVsDummett: behavioristically - (also othersVsDummett) - from it does not follow anti-realism - Dummett himself uses psychological vocabulary - why should one have to be able to show understanding? - Own use should be sufficient. I 225 McDowellVsDummett: Martians still cannot understand us, because the intentional (content-determining) cannot be reduced to the non-intentional. I 227 Knowing whether something counts as verification, could depend on extra-linguistic knowledge and not on the understanding of the sentence - QuineVsDummett: direct Verific. cond. cannot exist for every sentence - ((s)> Quine: ~ theories are not verifiable sentence by sentence). - Sure there are meaningful sentences that have no discernible conditions which would prove the sentence to be true or false. I 228 Pain/Verification/Wittgenstein/Dummett/Schiffer: Dummett cites Wittgenstein with consent: that pain behavior can be refuted - SchifferVsDummett: then the meaning theory needs both contestable criteria and contestable conditions - problem: this is true for most empirical judgments. |
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 |
| |||
| Disputed term/author/ism | Author Vs Author |
Entry |
Reference |
|---|---|---|---|
| Carnap, R. | Quine Vs Carnap, R. | Carnap VII 151 Intensionalist Thesis of Pragmatics/CarnapVsQuine: determining the intention is an empirical hypothesis that can be checked by observing the linguistic habits. Extensionalist Thesis/QuineVsCarnap: determining the intention is ultimately a matter of taste, the linguist is free, because it can not be verified. But then the question of truth and falsehood does not arise. Quine: the completed lexicon is ex pede Herculem i.e. we risk an error if we start at the bottom. But we can gain an advantage from it! However, if in the case of the lexicon we delay a definition of synonymy no problem arises as nothing for lexicographers that would be true or false. Carnap VII 154 Intention/Carnap: essential task: to find out which variations of a given specimen in different ways (for example, size, shape, color) are allowed in the area of the predicate. Intention: can be defined as the range of the predicate. QuineVsCarnap: might answer that the man on the street would be unwilling to say anything about non-existent objects. Carnap VII 155 CarnapVsQuine: the tests concerning the intentions are independent of existential questions. The man on the street is very well able to understand questions related to assumed counterfactual situations. Lanz I 271 QuineVsCarnap: criticism of the distinction analytic/synthetic. This distinction was important for logical empiricism, because it allows an understanding of philosophy that assigns philosophy an independent task which is clearly distinct from that of empirical sciences! Quine undermines this assumption: the lot of concepts is not independent of their use in empirical theories! I 272 There are no conceptual truths that would be immune to the transformation of such theories. Philosophy and sciences are on one and the same continuum. --- Newen I 123 Quine/Newen: is like Carnap in the spirit of empiricism, but has modified it radically. I 124 Thought/Frege: irreducible. Thought/QuineVsFrege: seeks a reductive explanation of sentence content (like Carnap). Base/QuineVsCarnap: not individual sense data, but objectively describable stimuli. Sentence Meaning/Quine/Newen: is determined by two quantities: 1) the amount of stimuli leading to approval 2) the amount of the stimuli leading to rejection. This only applies for occasion sentences. I125 Def Cognitively Equivalent/Quine/Newen: = same meaning: two sentences if they trigger the same behavior of consent or reflection. For the entire language: if it applies to all speakers. QuineVsCarnap: sentences take precedence over words. Quine I 73 QuineVsCarnap: difference to Carnap's empirical semantics: Carnap proposes to explore meaning by asking the subject whether they would apply it under different, previously described circumstances. Advantage: opposites of terms such as "Goblin" and "Unicorn" are preserved, even if the world falls short of examples that could be so sharply distinct from each other in such a way. I 74 Quine: the stimulus meaning has the same advantage, because there are stimulus patterns that would cause consent to the question "unicorn?", but not for "Goblin?" QuineVsCarnap: Carnap's approach presumes decisions about which descriptions of imaginary states are permissible. So, e.g. "unicorn", would be undesired in descriptions to explore the meaning of "unicorn". Difference: Quine restricts the use of unfulfilled conditionals to the researchers, Carnap makes his researcher himself submit such judgments to the informant for evaluation. Stimulus meaning can be determined already in the first stages of radical translation, where Carnap's questionnaire is not even available yet. Quine: theory has primarily to do with records, Carnap: to do with terms. I 466 For a long time, Carnap advocated the view that the real problems of philosophy are linguistic ones. Pragmatic questions about our language behavior, not about objects. Why should this not apply to theoretical questions in general? I 467 This goes hand in hand with the analyticity concept. (§ 14) In the end, the theoretical sentences generally can only be justified pragmatically. QuineVsCarnap: How can Carnap draw a line there and claim that this does not apply for certain areas? However, we note that there is a transition from statements about objects to statements about words, for example, when we skip classes when moving from questions about the existence of unicorns to questions about the existence of points and kilometers. Through the much-used method of "semantic ascent": the transition from statements about kilometers to statements about "kilometers". From content-related to formal speech. It is the transition from speech in certain terms to talk about these concepts. It is precisely the transition of which Carnap said that it undressed philosophical questions of their deceptive appearance and made them step forward in their true form. QuineVsCarnap: this part, however, I do not accept. The semantic ascent of which I speak can be used anywhere. (Carnap: "content-related" can also be called "material".) Ex If it came down to it, the sentence "In Tasmania there are Wombats" could be paraphrased like this: ""Wombat" applies to some creatures in Tasmania." IV 404 Carnap/(Logical Particles): ("The logical structure of the world"): Thesis: it is possible in principle to reduce all concepts to the immediately given. QuineVsCarnap: that is too reductionist: Disposition concepts such as "soluble" cannot be defined like this. (Even later recognized by Carnap himself). IV 416 QuineVsCarnap: Why all these inventive reconstructions? Ultimately sense stimuli are the only thing we have. We have to determine how the image of the world is constructed from them. Why not be content with psychology? V 28 Disposition/Quine: Problem: the dependence on certain ceteris paribus clauses. Potential disturbances must be eliminated. Solution: some authors: (like Chomsky) retreat to probabilities. V 29 Carnap: instead of probability: reduction sentences seen as idealizations to which corrections are made. Carnap conceives these corrections as re-definitions, i.e. they lead to analytic sentences that are true from the meaning. QuineVsCarnap: I make no distinction between analytical and other sentences. V 30 Reflexes/Holt/Quine: those that are conditioned later are not fundamentally different from innate ones. They consist of nerve paths with reduced resistance. Quine: therefore, one can conceive disposition as this path itself! ((s) I.e. pratically physical. Precisely as physical state.) Disposition/GoodmanVsQuine: a disposition expression is a change to an eventually mechanical description and therefore circular. The mechanistic terms will ultimately be implicit disposition terms. QuineVsGoodman/QuineVsCarnap: I, unlike the two, am satisfied with a theoretical vocabulary, of which some fundamental physical predicates were initially learned with the help of dipositioned speech. (Heuristic role). VII (b) 40 But his work is still only a fragment of the whole program. His space-time-point quadruples presume a world with few movements ("laziest world"). Principle of least movement is to be the guide for the construction of a world from experience. QuineVsCarnap: he seemed not to notice that his treatment of physical objects lacked in reduction! The quadruples maximize and minimize certain overall features and with increasing experience the truth values are revised in the same sense. X 127 Logical Truth/Carnap: Thesis: only the language and not the structure of the world makes them true. Truth/Logical Truth/QuineVsCarnap: is not a purely linguistic matter. Logic/QuineVsCarnap: the two breakdowns that we have just seen are similar in form and effect: 1) The logic is true because of the language only insofar as it is trivially true because of everything. 2) The logic is inseparable from the translation only insofar as all evident is inseparable from the translation. Logic/Language/Quine: the semantic ascent seems to speak for linguistic theory. QuineVs: the predicate "true" (T predicate) already exists and helps precisely to separate logic from language by pointing to the world. Logic: While talks a lot about language, it is geared towards the world and not towards language. This is accomplished by the T predicate. X 133 We learn logic by learning language. VsCarnap: but that does not differentiate logic from other areas of everyday knowledge! XI 99 QuineVsProtocol Sentence/QuineVsCarnap/Lauener: describes private, non-public autopsychological experiences. XI 129 Intention/Carnap/Lauener: (Meaning and Necessity): attempts to introduce intentions without thereby entangling himself in metaphysics. QuineVsCarnap: you cannot take advantage of a theory without paying the ontological bill. Therefore, the assumed objects must be values of the variable. Another way would be to say that certain predicates must be true for the theory to be true. But that means that it is the objects that must be the values of variables. To every value applies a predicate or its negation. ((s) >continuous determination). XI 130 Conversely, everything to which a predicate applies is a value of a variable. Because a predicate is an open sentence. XI 138 Ontology/Carnap/Lauener: Ex "x is a thing": at a higher level of universality existence assumptions no longer refer to the world, but only to the choice of a suitable linguistic framework. QuineVsCarnap: this is merely a gradual difference. XI 142 Ontology/Carnap/Lauener: (temporarily represented): Thesis: philosophical questions are always questions about the use of language. Semantic Ascent/QuineVsCarnap: it must not be misused for evasive ontological maneuvers. XI 150 Thing/Object/Carnap/Lauener: to accept things only means choosing a certain language. It does not mean believing in these things. XI 151 CarnapVsQuine: his existence criterion (being the value of a bound variable) has no deeper meaning in as far as it only expresses a linguistic choice. QuineVsCarnap: language and theory cannot be separated like that. Science is the continuation of our daily practice. XII 69 QuineVsCarnap/QuineVsUniversal Words: it is not said what exactly is the feature for the scope. Ontological Relativity/QuineVsCarnap: cannot be enlightened by internal/external questions, universal words or universal predicates. It has nothing to do with universal predicates. The question about an absolute ontology is pointless. The fact that they make sense in terms of a framework is not because the background theory has a wider scope. Absolute Ontology/Quine: what makes it pointless, is not its universality but its circularity. Ex "What is an F?" can only be answered by recourse to another term: "An F is a G." XII 89 Epistemology/Scope/Validity/QuineVsCarnap: Hume's problem (general statements + statements about the future are uncertain if understood as about sense data or sensations) is still unsolved. Carnap/Quine: his structures would have allowed translating all sentences about the world in sense data or observation terms plus logic and set theory. XII 90 QuineVsCarnap: the mere fact that a sentence is expressed with logical, set-theoretical and observational terms does not mean that it could be proved by means of logic and set theory from observation statements. ((s) means of expression are not evidence. (inside/outside, plain, circles).) Epistemology/Quine: Important argument: wanting to equip the truths about nature with the full authority of direct experience is just as much sentenced to failure as the reduction of truths in mathematics to the potential intelligibility of elementary logic. XII 91 Carnap/QuineVsCarnap: If Carnap had successfully carried out its construction, how could he have known if it is the right one? The question would have been empty! Any one would have appeared satisfactory if only it had represented the physical contents properly. This is the rational reconstruction. Def Rational Reconstruction/Carnap/Quine: construction of physicalistic statements from observation terms, logical and set-theoretical concepts. QuineVsCarnap: Problem: if that had been successful, there would have been many such constructions and each would have appeared equally satisfactory,if only it had represented the physicalistic statements properly. But each would have been a great achievement. XII 92 QuineVsCarnap: unfortunately, the "structure" provides no reduction qua translation that would make the physicalist concepts redundant. It would not even do that if his sketch was elaborated. Problem: the point where Carnap explains how points in physical space and time are attributed sensory qualities. But that does not provide a key for the translation of scientific sentences into such that are formed of logic, set-theoretical and observation concepts. CarnapVsCarnap: later: ("Testability and Meaning", 1936): reduction propositions instead of definitions. XII 94 Empiricism/QuineVsCarnap: empiricism has 1) abandoned the attempt to deduce the truth about nature from sensory experience. With that he has made a substantial concession. 2) He has abandoned rational reconstruction, i.e. attempt to translate these truths in observation terms and logical mathematical tools. QuineVsPeirce: Suppose we meant that the meaning of a statement consists in the difference that its truth makes for the experience. Could we then not formulate in a page-long sentence in observation language any differences that might account for the truth, and could we then not see this as a translation? Problem: this description could be infinitely long, but it could also be trapped in an infinitely long axiomatization. Important argument: thus the empiricist abandons the hope that the empirical meaning of typical statements about reality could be expressed. Quine: the problem is not too high a complexity for a finite axiomatization, but holism: XII 95 Meaning/QuineVsPeirce: what normally has experience implications ("difference in the experience") only refers to theories as a whole, not to individual experience sentences. QuineVsCarnap: also the "structure" would have to be one in which the texts, into which the logical mathematical observation terms are to be translated, are entire theories and not just terms or short sentences. Rational Reconstruction/QuineVsCarnap: would be a strange "translation": it would translate the whole (whole theories), but not the parts! Instead of "translation" we should just speak of observation bases of theories. pro Peirce: we can very well call this the meaning of empirical theories. ((s) Assigning whole theories to observations). |
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 Ca I R. Carnap Die alte und die neue Logik In Wahrheitstheorien, G. Skirbekk (Hg) Frankfurt 1996 Ca II R. Carnap Philosophie als logische Syntax In Philosophie im 20.Jahrhundert, Bd II, A. Hügli/P.Lübcke (Hg) Reinbek 1993 Ca IV R. Carnap Mein Weg in die Philosophie Stuttgart 1992 Ca IX Rudolf Carnap Wahrheit und Bewährung. Actes du Congrès International de Philosophie Scientifique fasc. 4, Induction et Probabilité, Paris, 1936 In Wahrheitstheorien, Gunnar Skirbekk Frankfurt/M. 1977 Ca VI R. Carnap Der Logische Aufbau der Welt Hamburg 1998 CA VII = PiS R. Carnap Sinn und Synonymität in natürlichen Sprachen In Zur Philosophie der idealen Sprache, J. Sinnreich (Hg) München 1982 Ca VIII (= PiS) R. Carnap Über einige Begriffe der Pragmatik In Zur Philosophie der idealen Sprache, J. Sinnreich (Hg) München 1982 Lanz I Peter Lanz Vom Begriff des Geistes zur Neurophilosophie In Philosophie im 20. Jahrhundert, A. Hügli/P. Lübcke Reinbek 1993 New II Albert Newen Analytische Philosophie zur Einführung Hamburg 2005 Newen I Albert Newen Markus Schrenk Einführung in die Sprachphilosophie Darmstadt 2008 |
| Frege, G. | Quine Vs Frege, G. | Quine I 425 VsFrege: tendency to object orientation. Tendency to align sentences to names and then take the objects to name them. I 209 Identity/Aristotle/Quine. Aristotle, on the contrary, had things right: "Whatever is predicated by one should always be predicated by the other" QuineVsFrege: Frege also wrong in "Über Sinn und Bedeutung". QuineVsKorzybski: repeated doubling: Korzybski "1 = 1" must be wrong, because the left and right side of the equation spatially different! (Confusion of character and object) "a = b": To say a = b is not the same, because the first letter of the alphabet cannot be the second: confusion between the sign and the object. Equation/Quine: most mathematicians would like to consider equations as if they correlated numbers that are somehow the same, but different. Whitehead once defended this view: 2 + 3 and 3 + 2 are not identical, the different sequence leads to different thought processes (QuineVs). I 264 according to Russell "Propositional Attitudes": believes, says, strives to, that, argues, is surprised, feares, wishes, etc. ... I 265 Propositional attitudes create opaque contexts into which quantification is not allowed. (>) It is not permissible to replace a singular term by an equally descriptive term, without stretching the truth value here. Nor a general term by an equally comprehensive one. Also cross-references out of opaque contexts are prohibited. I 266 Frege: in a structure with a propositional attitude a sentence or term may not denote truth values, a class nor an individual, but it works as "name of a thought" or name of a property or as an "individual term". QuineVsFrege: I will not take any of these steps. I do not forbid the disruption of substitutability, but only see it as an indication of a non-designating function. II 201 Frege emphasized the "unsaturated" nature of the predicates and functions: they must be supplemented with arguments. (Objections to premature objectification of classes or properties). QuineVsFrege: Frege did not realize that general terms can schematized without reifying classes or properties. At that time, the distinction between schematic letters and quantifiable variables was still unclear. II 202 "So that" is ontologically harmless. Despite the sad story of the confusion of the general terms and class names, I propose to take the notation of the harmless relative clause from set theory and to write: "{x:Fx} and "ε" for the harmless copula "is a" (containment). (i.e.the inversion of "so that"). Then we simply deny that we are using it to refer to classes! We slim down properties, they become classes due to the well-known advantages of extensionality. The quantification over classes began with a confusion of the general with the singular. II 203 It was later realized that not every general term could be allocated its own class, because of the paradoxes. The relative clauses (written as term abstracts "{x: Fx}") or so-that sentences could continue to act in the property of general terms without restrictions, but some of them could not be allowed to exercise a dual function as a class name, while others could. What is crucial is which set theory is to be used. When specifying a quantified expression a variable may not be replaced by an abstraction such as: "x} Fx". Such a move would require a premise of the form (1), and that would be a higher form of logic, namely set theory: (1) (Ey)(y = {x:Fx}) This premise tells us that there is such a class. And at this point, mathematics goes beyond logic! III 98 Term/Terminology/Quine: "Terms", here as a general absolute terms, in part III single-digit predicates. III 99 Terms are never sentences. Term: is new in part II, because only here we are beginning to disassemble sentences. Applying: Terms apply. Centaur/unicorn/Quine: "Centaur" applies to any centaur and to nothing else, i.e. it applies to nothing, since there are no centaurs. III 100 Applying/Quine: Problem: "evil" does not apply to the quality of malice, nor to the class of evil people, but only to each individual evil person. Term/Extension/Quine: Terms have extensions, but a term is not the denotation of its extension. QuineVsFrege: one sentence is not the denotation of its truth value. ((s) Frege: "means" - not "denotes"). Quine: advantage. then we do not need to assume any abstract classes. VII (f) 108 Variables/Quine: "F", etc.: not bindable! They are only pseudo-predicates, vacancies in the sentence diagram. "p", "q", etc.: represent whole statements, they are sometimes regarded as if they needed entities whose names these statements are. Proposition: these entities are sometimes called propositions. These are rather hypothetical abstract entities. VII (f) 109 Frege: alternatively: his statements always denote one or the other of exactly two entities: "the true one" or "the false one". The truth values. (Frege: statements: name of truth values) Quine pro Frege: better suited to distinguish the indistinguishable. (see above: maxim, truth values indistinguishable in the propositional calculus (see above VII (d) 71). Propositions/Quine: if they are necessary, they should rather be viewed as names for statements. Everyday Language/Quine: it is best if we return to everyday language: Names are one kind of expression and statements are another! QuineVsFrege: sentences (statements) must not be regarded as names and "p", "q" is not as variables that assume entities as values that are entities denoted by statements. Reason: "p", "q", etc. are not bound variables! Ex "[(p>q). ~p]> ~p" is not a sentence, but a scheme. "p", "q", etc.: no variables in the sense that they could be replaced by values! (VII (f) 111) VII (f) 115 Name/QuineVsFrege: there is no reason to treat statements as names of truth values, or even as names. IX 216 Induction/Fregean Numbers: these are, other than those of Zermelo and of von Neumann, immune against the trouble with the induction (at least in the TT), and we have to work with them anyway in NF. New Foundations/NF: But NF is essentially abolishing the TT! Problem: the abolition of TT invites some unstratified formulas. Thus, the trouble with induction can occur again. NFVsFrege: is, on the other hand, freed from the trouble with the finite nature which the Fregean arithmetic touched in the TT. There, a UA was needed to ensure the uniqueness of the subtraction. Subtraction/NF: here there is no problem of ambiguity, because NF has infinite classes - especially θ - without ad-hoc demands. Ad 173 Note 18: Sentences/QuineVsFrege/Lauener: do not denote! Therefore, they can form no names (by quotation marks). XI 55 QuineVsFrege/Existence Generalisation/Modal/Necessary/Lauener: Solution/FregeVsQuine: this is a fallacy, because in odd contexts a displacement between meaning and sense takes place. Here names do not refer to their object, but to their normal sense. The substitution principle remains valid, if we use a synonymous phrase for ")". QuineVsFrege: 1) We do not know when names are synonymous. (Synonymy). 2) in formulas like e.g. "(9>7) and N(9>7)" "9" is both within and outside the modal operaotor. So that by existential generalization (Ex)((9>7) and N(9>7)) comes out and that's incomprehensible. Because the variable x cannot stand for the same thing in the matrix both times. |
Quine XIII Willard Van Orman Quine Quiddities Cambridge/London 1987 |
| Kuhn, Th. | Field Vs Kuhn, Th. | II 183 Theory Change/Semantic Change/Reference/Kuhn/Field: (Kuhn 1962.101): The references of Einsteinian concepts are never the identical with those of the Newtonian concepts that bear the same name. Newton’s mass is maintained, Einstein’s can be converted to energy. FieldVsKuhn: that seems completely implausible, because Einstein showed that there is no "Newtonian mass"! Semantic Change/Kuhn/Field: I do not deny that Newton’s "mass" meant something else, but I also do not deny Kuhn’s assertions about meaning, but about reference or denotation. Kuhn/(s): Newton’s concepts have a different meaning and therefore no reference at all. FieldVsKuhn/(s): Newton’s concepts do have different meanings, but they refer to a set of objects where the present terms only refer to a subset of these objects. (see below). II 184 FieldVsKuhn: I deny that there ever was such a thing as "Newtonian mass" or ever will be. And therefore Newton himself can never have referred to "Newtonian mass". Therefore, no further positive analytic hypotheses are possible other than merely (HP) and (HR). (HR) Newton’s word "mass" denoted relativistic mass. (HP) Newton’s word "mass" denoted net mass. Problem: now we have to consider the negative (HA): that Newton’s word "mass" denoted nothing, just as "Nicholas" denotes nothing. (HA) Newton’s word "mass" denoted nothing at all. Problem: then we have to attribute false truth values to Newton’s (indisputable) sentences (sentence tokens). Nicholas/unicorn/Solution/Frege: Some phrases have truth value gaps. Newton/Field: E.g. undeniably true statement by Newton with which every physicist agrees: (7) In order to accelerate a body uniformly between any pair of various speeds more force is required if the mass of the body is greater. That certainly seemed to be true in Newton’s time. And the RT agrees with him (both for net mass and relativistic mass). II 195 Theory Change/Denotation/FieldVsKuhn: one should not say that Newton’s "mass" did not denote anything. In that case, a sentence like E.g. "The mass of the Earth is less than that of the Sun" would not have been literally true if Newton had expressed it. Solution/Field: you should at least speak of a "conveyance of information". (Also FieldVsLanguage Rules). |
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 |
| Montague, R. | Hintikka Vs Montague, R. | II 97 Quantifier/Natural Language/HintikkaVsMontague: his theory is not appropriate because of his treatment of quantifiers. Terminology: "PTQ": Montague: "The Proper Treatment of Quantification in Ordinary English". Montague: Theses: (i) Meaning entities are functions of possible worlds on extensions. (ii) Semantic objects ((s) words) are connected to meaningful expressions by rules that correspond on a one-to-one basis to the syntactic rules by which the expressions are composed. I.e. the semantic rules work from inside out. (iii) Quantifiers: E.g. "a girl", E.g. "every man". II 98 Behave semantically like singular terms. I.e. E.g. "John is happy" and "Every man is happy" are on the same level. Hintikka: ad (i) is the basis of the possible worlds semantics. (It is a generalization of Carnap’s approach). ad (ii) is a form of Frege’s principle (compositionality). ad (iii) has been anticipated by Russell in Principia Mathematica(1). Individuals Domain/Possible World/Montague/Hintikka: Thesis: Montague assumes a constant domain of individuals. HintikkaVsMontague: this is precisely what leads to problems. In particular, in belief contexts. Individual/Montague: individuals are the range of functions that operate as a sense of a singular term. Belief Context/Opaque Context/Belief/Propositional Attitudes/HintikkaVsMontague: Problem: Montague dedicates no special treatment to contexts with propositional attitudes (attitude contexts). E.g. "knowing who", E.g. "remembering where," E.g. "seeing what". This is a deficiency, because Montague had admitted his interest in propositional attitudes. W-Questions/Who/What/Where/Hintikka: Thesis: are nothing more than quantified phrases. II 99 logical form: (1) John knows who the prime minister of Norway is analyzed as a that-construction: (2) (e.g.) John knows that (the Prime Minister of Norway = x) (= de dicto) Problem: you have to specify the individuals domain over which the variable "x" goes ((s) quotation marks from Hintikka). de re: (de re interpretation of (1)): (3) (Ex) (x = Prime Minister of Norway & (Ey) John knows that (x = y)) De Re/De Dicto/Hintikka: de re does not entail de dicto, i.e. (3) does not entail (2). ((s) Because otherwise omniscience would follow again). Knowledge/Hintikka: we do not need to analyze it here as the relation to the alternatives, which singles out one and the same individual in each possible world compatible with the knowledge. HintikkaVsMontague: problem: all this does not work in the context of Montague. Problem: in the natural extension of Montague semantics, which we are considering here, the following sentences are all valid: (4) ((x)(Ey)(x = y) > (Ey)(y = x & (Ez) John knows that y = z))) II 100 Everyday Language Translation/Hintikka: John knows of every currently existing individual who that is (de re). (5) (x)(Ey)(John knows that (x = y)) > (Ey)(y = x & (Ez) Bill knows that (y = z))) Everyday Language Translation/Hintikka: Bill knows of every individual whose identity is known to John who this individual is (again de re). Problem: both are blatantly false. Non-Existence/Hintikka: However, that is not a problem as long as we do not need to consider the possible non-existence of individuals in epistemically possible worlds. Hintikka: Problem: but that does not change the problem. Possible Non-Existence/Hintikka: we do not allow it here, i.e. every individual is somehow linked to one or another individual in every possible world. Terminology/Kaplan/Hintikka: "TWA" "Transworld Heir Line" ((s) same pronunciation) world line that links an individual between possible worlds. Individual: it follows that every individual is well-defined in all possible worlds. This means that the sentences (4) and (5) are valid in our extension of Montague semantics. TWA/World Line//Hintikka: therefore, we must also allow the world lines to break off somewhere and not to be continued ad libitum. Non-Existence/Intensional Logic/Montague: according to Montague’s thesis we need not worry about possible non-existence. For one and the same individual occurs in every possible world as a possible denotation of the same name (name phrase). ((s) Because the individuals domain remains constant). HintikkaVsMontague: that is precisely why our criticism applies to Montague. Non-Existence/Montague Semantics/Hintikka: how can his semantics be modified to allow for possible non-existence in some possible worlds?. II 101 Important argument: Knowing-Who/Knowledge/Hintikka: for John to be able to know who Homer was, it is not necessary that his knowledge excludes all possible worlds in which Homer does not exist. Quantification/Opaque Context/Belief Context/Hintikka: therefor,e we need not assume with the quantification in intensional contexts that a world line exists that connects an existing individual in all knowledge worlds accessible to John. Solution: All we need is that we can say for each of these possible worlds whether the individual exists there or not. ((s) I.e. we do not allow any possible worlds in which the question of the existence or non-existence is meaningless.) E.g. I.e. in this example we only have to exclude those worlds for John, in which it is unclear whether Homer exists or not. World Line/Hintikka: this shows that world lines are independent of the question of the possible non-existence. Quantification/Intensional Contexts/Epistemic/Hintikka: i.e. an existence theorem with quantification in an epistemic (opaque) context E.g. (6) (e.g.) John knows that F(x) can be true, even if there is no world line that singles out an existing individual x in any knowledge world of John. Important argument: but it must always make sense to ask whether the individual exists in a possible world or not. Non-Existence/Hintikka: So there are two possible ways of failure of existence: a) non-existence b) Non-well-definedness (i.e. it does no longer make sense to ask whether an individual exists). World Line: breaks off in both cases, but there is a difference. TWA: can only be drawn if there is comparability between possible worlds, and that is no longer the case in b). II 102 Comparability/Hintikka: always needs regularity (continuity). E.g. spatiotemporal continuity. HintikkaVsMontague: with this distinction we move away from his oversimplified semantics with constant individuals domain. W-Questions/Non-Existence/Hintikka: Variant: Problem: (7) John knows that Homer did not exist. I.e. in every epistemically possible world of John Homer does not exist. This implies that it makes sense to ask about the existence. Uniqueness/Existence/Hintikka: i.e. we must distinguish between existence and uniqueness (determinacy) of an individual. Non-Existence/Hintikka: non-existence does not make the identity of the individual unknown. ((s) otherwise the question would not make sense). II 103 Non-Existence/Not Well Defined/HintikkaVsMontague: Montague semantics does not allow the question of the existence or non-existence to be pointless, because an individual in a possible world is not well defined. ((s) Because the individuals domain is assumed to be consistent in Montague). Individuals Domain/Solution/Hintikka: we have to allow the domain of individuals to be inconsistent. But problem: Quantification/Belief Context/Existence/Truth/Hintikka: In the following example, we must presuppose existence, so that the sentence can be true: (11) John is looking for a unicorn and Mary is, too. ((s) the same unicorn). ((s) numbering sic, then continue with (8)) Range/Quantifier/Hintikka: in the only natural interpretation of (11) it must be assumed that the range of the implicit quantifier is such that "a unicorn" has a longer range than "is looking for". ((s) I.e. both are looking for the same unicorn. Problem: how can you know whether both subjects believe in the same individual or have it in their heads?) ((s) >Geach E.g. „Hob, Cob, Nob, Hob/Cob/Nob E.g. (Geach 1967, 628) Cresswell. II 142 (Needs quantifier that is simultaneoulsy inside and outside the range of the attitude verb). Hob/Conb/Nob-E.g./Geach/(s): ~Hob believes that a witch killed his sow and Nob believes that it is the same witch who bewitched Cob’s horse: problem: the sentence must be true in order to preserve the ordinary language meaning of "believe". On the other hand, it must be wrong, because there are no witches, exacerbation: "the same witch" poses an additional condition to the truth of the sentence. The demanded identity makes it harder to simply say that the three believe something wrong). II 103 Existence/W-Question/Unicorn/Hintikka: nevertheless, example (11) shows that the reading should not oblige us to assume the existence of unicorns. Non-Existence/Epistemic Context/Intensional/Belief/Hintikka: it is obviously possible that two people can seek the same thing, even if it does not exist. Solution: We allow that well-defined individuals do not exist in some possible worlds. For this purpose, only a slight modification is necessary. Problem: in more complex sentence, all the problems resurface: II 104 E.g. John does not know if unicorns exist, yet he is looking for a unicorn, because Mary is looking for one. Problem: here John must be able to recognize a particular unicorn. (because otherwise the sentence that uses "it" would not be true) although he is considering possible non-existence. World Line/Hintikka: to expand the Montague semantics we have to allow more or less unnatural world lines. HintikkaVsMontague: according to his semantics all sentences of the following form would be valid: (8) John knows that (Ex) (x = a) > (Ex) John knows that 0 (x = a) ((s) i.e. conclusion from de dicto to de re.) Everyday Language Translation/Hintikka: John knows the reference of a name immediately if he knows that the name is not empty. That is, of course, often wrong. World Line/Hintikka: therefore, the world lines cannot be identical with lines that connect names with their references. ((s) Otherwise again a kind of omniscience would follow. Moreover, it implies that names are non-rigid.) Species/Common Noun/Hintikka: the same applies to common names (generic names): They cannot identify the same individuals in all possible worlds, otherwise sentences like the following could not be analyze in the possible worlds semantics: E.g. (9) John holds this bush for a bear. Perception Concepts/Perception/Possible Worlds Semantics/HintikkaVsMontague: here there are further problems: E.g. all sentences of the following form become contradictory accoridng to Montague semantics: (10) (Ex)(Ey)(x = y & it appears to John visually that x is right of y). I 105 SIolution: It may well be that John sees an object as two. World Line: can split or merge. But according to Montague semantics they are not allowed to! World Line/Possible Worlds/Semantics/Hintikka: a typical case would be if there were two sets of world-lines for one set of possible worlds, these also connected every individual with an individual in another possible world, but the two sets differed in which individual is connected with which. Perception: we need such a possibility for perception verbs ((s) because it may be that you confuse one object with another. Elegance/Theory/Cantor/Hintikka: elegance is something for taylors, not for mathematicians. II 106 Quantification/Quantifiers/Ambiguity/Any/HintikkaVsMontague: All in all, the Montague semantics shows how ambiguity is caused by the interaction of quantifiers and intensional expressions. E.g. (12) A woman loves every man (13) John is looking for a dog. HintikkaVsMontague: only explains why certain expressions may be ambiguous, but not which of them actually are. In general, he predicts too many ambiguities. Because he does not consider the grammatical principles that often resolve ambiguities with quantifiers. Range/Hintikka: determines the logical sequence. Quantifier/Quantification/Each/He/Montague/Hintikka: E.g. (14) If he exerts himself, he will be happy (15) If everyone exerts themselves, they will be happy. Problem: in English "if" has precedence over "every" so that "everyone" in (15) cannot precede "he" as a pronoun ("pronominalize"). II 107 HintikkaVsMontague: So we need additional rules for the order of the application of rules. 1. Whitehead, A.N. and Russel, B. (1910). Principia Mathematica. Cambridge: Cambridge University Press. |
Hintikka I Jaakko Hintikka Merrill B. Hintikka Investigating Wittgenstein German Edition: Untersuchungen zu Wittgenstein Frankfurt 1996 Hintikka II Jaakko Hintikka Merrill B. Hintikka The Logic of Epistemology and the Epistemology of Logic Dordrecht 1989 |
| Russell, B. | Wittgenstein Vs Russell, B. | Carnap VI 58 Intensional logic/Russell: is not bound to certain statement forms. All of their statements are not translatable into statements about extensions. WittgensteinVsRussell. Later Russell, Carnap pro Wittgenstein. (Russell, PM 72ff, e.g. for seemingly intensional statements). E.g. (Carnap) "x is human" and "x mortal": both can be converted into an extensional statement (class statement). "The class of humans is included in the class of mortals". --- Tugendhat I 453 Definition sortal: something demarcated that does not permit any arbitrary distribution . E.g. Cat. Contrast: mass terminus. E.g. water. I 470 Sortal: in some way a rediscovery of the Aristotelian concept of the substance predicate. Aristotle: Hierarchy: low: material predicates: water, higher: countability. Locke: had forgotten the Aristotelian insight and therefore introduced a term for the substrate that, itself not perceivable, should be based on a bunch of perceptible qualities. Hume: this allowed Hume to reject the whole. Russell and others: bunch of properties. (KripkeVsRussell, WittgensteinVsRussell, led to the rediscovery of Sortals). E.g. sortal: already Aristotle: we call something a chair or a cat, not because it has a certain shape, but because it fulfills a specific function. --- Wittgenstein I 80 Acquaintance/WittgensteinVsRussell/Hintikka: eliminates Russell's second class (logical forms), in particular Russell's free-floating forms, which can be expressed by entirely general propositions. So Wittgenstein can say now that we do not need any experience in the logic. This means that the task that was previously done by Russell's second class, now has to be done by the regular objects of the first class. This is an explanation of the most fundamental and strangest theses of the Tractatus: the logical forms are not only accepted, but there are considered very important. Furthermore, the objects are not only substance of the world but also constitutive for the shape of the world. I 81 1. the complex logical propositions are all determined by the logical forms of the atomic sentences, and 2. The shapes of the atomic sentences by the shapes of the objects. N.B.: Wittgenstein refuses in the Tractatus to recognize the complex logical forms as independent objects. Their task must be fulfilled by something else: I 82 The shapes of simple objects (type 1): they determine the way in which the objects can be linked together. The shape of the object is what is considered a priori of it. The position moves towards Wittgenstein, it has a fixed base in Frege's famous principle of composite character (the principle of functionality, called Frege principle by Davidson (s)> compositionality). I 86 Logical Form/Russell/Hintikka: thinks, we should be familiar with the logical form of each to understand sentence. WittgensteinVsRussell: disputes this. To capture all logical forms nothing more is needed than to capture the objects. With these, however, we still have to be familiar with. This experience, however, becomes improper that it relates to the existence of objects. I 94ff This/logical proper name/Russell: "This" is a (logical) proper name. WittgensteinVsRussell/PU: The ostensive "This" can never be without referent, but that does not turn it into a name "(§ 45). I 95 According to Russell's earlier theory, there are only two logical proper names in our language for particularistic objects other than the I, namely "this" and "that". One introduces them by pointing to it. Hintikka: of these concrete Russellian objects applies in the true sense of the word, that they are not pronounced, but can only be called. (> Mention/>use). I 107 Meaning data/Russell: (Mysticism and Logic): sense data are something "Physical". Thus, "the existence of the sense datum is not logically dependent on the existence of the subject." WittgensteinVsRussell: of course this cannot be accepted by Wittgenstein. Not because he had serious doubts, but because he needs the objects for semantic purposes that go far beyond Russell's building blocks of our real world. They need to be building blocks of all logical forms and the substance of all possible situations. Therefore, he cannot be satisfied with Russell's construction of our own and single outside world of sensory data. I 108 For the same reason he refused the commitment to a particular view about the metaphysical status of his objects. Also: Subject/WittgensteinVsRussell: "The subject does not belong to the objects of the world". I 114 Language/sense data/Wittgenstein/contemporary/Waismann: "The purpose of Wittgenstein's language is, contrary to our ordinary language, to reflect the logical structure of the phenomena." I 115 Experience/existence/Wittgenstein/Ramsey: "Wittgenstein says it is nonsense to believe something that is not given by the experience, because belonging to me, to be given in experience, is the formal characteristics of a real entity." Sense data/WittgensteinVsRussell/Ramsey: are logical constructions. Because nothing of what we know involves it. They simplify the general laws, but they are as less necessary for them as material objects." Later Wittgenstein: (note § 498) equates sense date with "private object that stands before my soul". I 143 Logical form/Russell/Hintikka: both forms of atomic sentences and complex sentences. Linguistically defined there through characters (connectives, quantifiers, etc.). WittgensteinVsRussell: only simple forms. "If I know an object, I also know all the possibilities of its occurrence in facts. Every such possibility must lie in the nature of the object." I 144 Logical constants/Wittgenstein: disappear from the last and final logical representation of each meaningful sentence. I 286 Comparison/WittgensteinVsRussell/Hintikka: comparing is what is not found in Russell's theory. I 287 And comparing is not to experience a phenomenon in the confrontation. Here you can see: from a certain point of time Wittgenstein sees sentences no more as finished pictures, but as rules for the production of images. --- Wittgenstein II 35 Application/use/WittgensteinVsRussell: he overlooked that logical types say nothing about the use of the language. E.g. Johnson says red differed in a way from green, in which red does not differ from chalk. But how do you know that? Johnson: It is verified formally, not experimentally. WittgensteinVsJohnson: but that is nonsense: it is as if you would only look at the portrait, to judge whether it corresponds to the original. --- Wittgenstein II 74 Implication/WittgensteinVsRussell: Paradox for two reasons: 1. we confuse the implication with drawing the conclusions. 2. in everyday life we never use "if ... then" in this sense. There are always hypotheses in which we use that expression. Most of the things of which we speak in everyday life, are in reality always hypotheses. E.g.: "all humans are mortal." Just as Russell uses it, it remains true even if there is nothing that corresponds to the description f(x). II 75 But we do not mean that all huamns are mortal even if there are no humans. II 79 Logic/Notation/WittgensteinVsRussell: his notation does not make the internal relationships clear. From his notation does not follow that pvq follows from p.q while the Sheffer-stroke makes the internal relationship clear. II 80 WittgensteinVsRussell: "assertion sign": it is misleading and suggests a kind of mental process. However, we mean only one sentence. ((s) Also WittgensteinVsFrege). > Assertion stroke. II 100 Skepticism/Russell: E.g. we could only exist, for five minutes, including our memories. WittgensteinVsRussell: then he uses the words in a new meaning. II 123 Calculus/WittgensteinVsRussell: jealousy as an example of a calculus with three binary relations does not add an additional substance to the thing. He applied a calculus on jealousy. II 137 Implication/paradox/material/existence/WittgensteinVsRussell: II 137 + applicable in Russell's notation, too: "All S are P" and "No S is P", is true when there is no S. Because the implications are also verified by ~ fx. In reality this fx is both times independent. All S are P: (x) gx > .fx No S is P: (x) gx > ~ fx This independent fx is irrelevant, it is an idle wheel. Example: If there are unicorns, then they bite, but there are no unicorns = there are no unicorns. II 152 WittgensteinVsRussell: his writing presupposes that there are names for every general sentence, which can be given for the answer to the question "what?" (in contrast to "what kind?"). E.g. "what people live on this island?" one may ask, but not: "which circle is in the square?". We have no names "a", "b", and so on for circles. WittgensteinVsRussell: in his notation it says "there is one thing which is a circle in the square." Wittgenstein: what is this thing? The spot, to which I point? But how should we write then "there are three spots"? II 157 Particular/atom/atoms/Wittgenstein: Russell and I, we both expected to get through to the basic elements ("individuals") by logical analysis. Russell believed, in the end there would be subject predicate sentences and binary relations. WittgensteinVsRussell: this is a mistaken notion of logical analysis: like a chemical analysis. WittgensteinVsAtomism. Wittgenstein II 306 Logic/WittgensteinVsRussell: Russell notes: "I met a man": there is an x such that I met x. x is a man. Who would say: "Socrates is a man"? I criticize this not because it does not matter in practical life; I criticize that the logicians do not make these examples alive. Russell uses "man" as a predicate, even though we almost never use it as such. II 307 We could use "man" as a predicate, if we would look at the difference, if someone who is dressed as a woman, is a man or a woman. Thus, we have invented an environment for this word, a game, in which its use represents a move. If "man" is used as a predicate, the subject is a proper noun, the proper name of a man. Properties/predicate/Wittgenstein: if the term "man" is used as a predicate, it can be attributed or denied meaningfully to/of certain things. This is an "external" property, and in this respect the predicate "red" behaves like this as well. However, note the distinction between red and man as properties. A table could be the owner of the property red, but in the case of "man" the matter is different. (A man could not take this property). II 308 WittgensteinVsRussell: E.g. "in this room is no man". Russell's notation: "~ (Ex)x is a man in this room." This notation suggests that one has gone through the things in the room, and has determined that no men were among them. That is, the notation is constructed according to the model by which x is a word like "Box" or else a common name. The word "thing", however, is not a common name. II 309 What would it mean, then, that there is an x, which is not a spot in the square? II 311 Arithmetics/mathematics/WittgensteinVsRussell: the arithmetic is not taught in the Russellean way, and this is not an inaccuracy. We do not go into the arithmetic, as we learn about sentences and functions, nor do we start with the definition of 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 Ca I R. Carnap Die alte und die neue Logik In Wahrheitstheorien, G. Skirbekk (Hg) Frankfurt 1996 Ca VIII (= PiS) R. Carnap Über einige Begriffe der Pragmatik In Zur Philosophie der idealen Sprache, J. Sinnreich (Hg) München 1982 Tu I E. Tugendhat Vorlesungen zur Einführung in die Sprachanalytische Philosophie Frankfurt 1976 Tu II E. Tugendhat Philosophische Aufsätze Frankfurt 1992 |
| |||