Find counter arguments by entering NameVs… or …VsName.
| 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 |
| Goodman, N. | Bigelow Vs Goodman, N. | I 47 Quantities/Quine/Goodman/Bigelow/Pargetter: it could be that we, if we allow quantities, do not need any other universals anymore. Because almost everything that mathematics needs can be done with quantities. Armstrong: in contrast believes in universals, but not in Quantities! BigelowVsQuine/BigelowVsGoodman: for science we need more universals than Quantities, E.g. probability and necessity. |
Big I J. Bigelow, R. Pargetter Science and Necessity Cambridge 1990 |
| Kant | Frege Vs Kant | I 30 HankelVsKant: the assumption of an infinite number of irrefutable original truths is inappropriate and paradoxical. (Frege pro Hankel) Axioms/FregeVsKant: should be immediately obvious. E.g. is it obvious that 135 664 + 37 863 = 173 527? And that is precisely what Kant cites for their synthetic nature! I 30 Frege: much more speaks against their unprovability. How should they be viewed other than by evidence, since they are not immediately obvious. I 41 Numbers/FregeVsKant: Kant wants to use the view of fingers and points, but that is precisely what is not possible here! A distinction between small and large numbers should not be necessary! FregeVsKant: "pure view" does not help! The things that are called views. Quantities, lengths, surface areas, volumes, angles, curves, masses, speeds I 42 Forces, light levels, currents, etc. In contrast, I cannot even admit the view of the number 100 000. The sense of the word number in logic is therefore a further advanced than that in the transcendental aesthetic. Numbers/Frege: the relationship with geometry should not be overestimated!. I 43 A geometric point is, considered by itself, is impossible to distinguish from another, individual numbers, on the other hand, are not impossible to distinguish! Each number has its peculiarity. I 120 FregeVsKant: he has underestimated the analytic judgments:. I 121 He thinks the judgement in general affirmative. Problem: what if it is about an individual object, about an existential judgement? Numbers/FregeVsKant: he thinks that without sensuality no object would be given to us, but the numbers are it, as abstract but very specific items. Numbers are no concepts. IV 61 Negation/FregeVsKant: he speaks of affirmative and negative judgments. Then you would also have to distinguish affirmative and negative thoughts. This is quite unnecessary in logic. I 119 FregeVsKant: he has underestimated the analytic judgments:. I 120 He thinks the judgement in general affirmative. Problem: what if it is about an individual object, about an existential judgement? Kant: seems to think of adjunctive properties. But E.g. in the case of a continuous function of a really fruitful definition there is certainly a more intimate connection. I 121 The implications of mathematics enrich our knowledge, therefore, they should be called synthetic according to Kant, but they are certainly also analytical! They are included in the definitions as the plant in the seed, not like the beam in the house. Numbers/FregeVsKant: he thinks that without sensuality no object would be given to us, but the numbers are it, as abstract but very specific items. Numbers are no concepts. Stepanians I 34 Mathematics/Truth/FregeVsKant: it is false to generalize geometric knowledge (by mere view) to all mathematics. Stepanians I 34 pPure View/Kant/Frege/Stepanians: (like Kant): geometrical knowledge is based on pure view and is already synthetic "in us", a priori. FregeVsMill: geometrical knowledge is not a sensation, because point, line, etc. are not actually perceived by the senses. Mathematics/Truth/FregeVsKant: it is false to generalize geometric knowledge (by mere view) to all mathematics. I 35 Numbers/KantVsFrege: are not given to us by view. I 36 Numbers/Arithmetic/FregeVsKant: purely logical definitions can be given for all arithmetical concepts. ((s) Therefore, it is a safer knowledge than the geometric one). Def Logicism/Frege/Stepanians: this is the view that was called "logicism". I.e. arithmetic is a part of logic. Arithmetic/FregeVsKant: is not synthetic but analytic. Newen I21 Discovery Context/Justification Context/Newen: the distinction has its roots in Frege’s Foundations of Arithmetic. Def Analytical/Frege: is the justification of a sentence if only general logical laws and definitions are needed in the proof. I 22 Frege/FregeVsKant: all numerical formulas are analytical. Quine X 93 Analytic/FregeVsKant: (1884): the true propositions of arithmetic are all analytic. Quine: the logic that made this possible also contained the set theory. Tugendhat II 12 "Not"/Tugendhat: Error: considering the word "not" as a reflection of the "position". (Kant calls "being" a "position"). FregeVsKant: has shown that the negation always refers to the so-called propositional content and does not stand at the same level with the assertion-moment (position). The traditional opposition of negating and affirming judgments (Kant) is therefore untenable! |
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 Step I Markus Stepanians Gottlob Frege zur Einführung Hamburg 2001 Quine XIII Willard Van Orman Quine Quiddities Cambridge/London 1987 Tu I E. Tugendhat Vorlesungen zur Einführung in die Sprachanalytische Philosophie Frankfurt 1976 Tu II E. Tugendhat Philosophische Aufsätze Frankfurt 1992 |
| Multivalued Logic | Verschiedene Vs Multivalued Logic | X 115 Law of the Excluded Middle/l.e.m./Bivalence/Multivalued Logic/Quine: the doubts about it are often weakly founded. 1. VsLaw of the Excluded Middle: worst: that there are always intermediate stages. (Nonsense). 2. VsLaw of the Excluded Middle: supposedly there would otherwise be a confusion between knowledge and truth: X 116 Quine pro extreme realism: we can take the view that each of the sentences of which we do not know the answer is either true or false. 3. VsLaw of the Excluded Middle: to be taken more seriously: justification from the antinomies of set theory and semantics: Russell's Antinomy/Bovcar: (1939): mean truth value for "~(x e x)". QuineVs: this violates the "principle of minimal mutilation": the antinomies come from set theory and semantics, we try to solve them there, and not to paralyze the functioning complete logic. 4. Quantum MechanicsVsLaw of the Excluded Middle: uncertainty relation. Certain Quantities cannot be measured simultaneously. Thus it seems superfluous and misleading to maintain the classical logical apparatus. Birkhoff/v.Neumann: (1936): attenuated substitute for the truth-functional logic, no multivalent logic but a non-truth-functional one... PopperVs: this does not do what it is supposed to do. |
|
| Neumann, J. von | Quine Vs Neumann, J. von | IX 227 Neumann/Set Theory/Quine: took (1925) extreme classes to extend Zermelo's system. QuineVsNeumann: halted before the full force of the axiom scheme "^ uFu ε θ" or (3) (Chapter 42) unfolded. His system provides "^uFu ε θ" when the bound variables in the formula "Fu" are restricted to all sets, otherwise it does not apply in general. --- IX 228 If the sets should be exactly Zermelo's classes, they could be specified by relativizing Zermelo's comprehension axioms to "Uθ". In particular, every abstraction term from the Zermelo's separation scheme "X n a ε θ" x ε Uθ> x n a ε Uθ, which we would use for "a", would be relativized to "Uθ" additionally. (That is, the "universal class of sets" or "there are only Quantities"). Equivalent to this: Since such a relativization is guaranteed that a = z for a certain z we could just take the single axiom (1) x ε Uθ> x n z ε Uθ. |
Quine XIII Willard Van Orman Quine Quiddities Cambridge/London 1987 |
| Nominalism | Bigelow Vs Nominalism | I 62 NominalismVsBigelow: will try to avoid our apparatus of relations of relations. BigelowVsNominalism: we need relations and relations of relations in science. Realism/Bigelow/Pargetter: we do not claim to have proved him here. But he is the only way to solve the problem of the similar and the different (problem of Quantities) (namely with the 3 levels). Simplicity/BigelowVsNominalism: will never be able to be as uniform as our realistic explanation. Nominalism would have to assume complex relational predicates as primitive. I 97 Quantities/BigelowVsNominalism/Bigelow/Pargetter: if he eliminated quantities, they would come back in through the back door because of the rules of composition. I 98 E.g. instead of refering to the quantity of rabbits, he might say it applies to all and only rabbits. BigelowVsNominalism: one could say this is just an abbreviation for "the quantity of all and only the rabbits". Be true/BigelowVsNominalism/Bigelow/Pargetter. "Is true" must be discussed further before this paraphrase could proof something ontological. ((s) BigelowVsQuine, > semantic ascent). Quantities/Bigelow/Pargetter: whether one believes in it, is not sure. The semantics does certainly not decide that. |
Big I J. Bigelow, R. Pargetter Science and Necessity Cambridge 1990 |
| Quine, W.V.O. | Armstrong Vs Quine, W.V.O. | Armstrong II (c) 88/89 ArmstrongVsQquine: (like Martin): even 4-dimensional spacetime points must be described as a carriers of properties. The properties cannot be "measured mathematically." There can be no quantities and numbers in the absence of properties which distinguish them. |
Armstrong I David M. Armstrong Meaning and Communication, The Philosophical Review 80, 1971, pp. 427-447 In Handlung, Kommunikation, Bedeutung, Georg Meggle Frankfurt/M. 1979 Armstrong II (a) David M. Armstrong Dispositions as Categorical States In Dispositions, Tim Crane London New York 1996 Armstrong II (b) David M. Armstrong Place’ s and Armstrong’ s Views Compared and Contrasted In Dispositions, Tim Crane London New York 1996 Armstrong II (c) David M. Armstrong Reply to Martin In Dispositions, Tim Crane London New York 1996 Armstrong II (d) David M. Armstrong Second Reply to Martin London New York 1996 Armstrong III D. Armstrong What is a Law of Nature? Cambridge 1983 |
| Russell, B. | Quine Vs Russell, B. | Chisholm II 75 Predicates/Denote/Russell: denoting expressions: proper names stand for individual things and general expressions for universals. (Probleme d. Phil. p. 82f). In every sentence, at least one word refers to a universal. QuineVsRussell: confusion! II 108 Theory of Descriptions/VsRussell/Brandl: thus the whole theory is suspected of neglecting the fact that material objects can never be part of propositions. QuineVsRussell: confusion of mention and use. Quine II 97 Pricipia mathematica, 1903: Here, Russell's ontology is rampant: every word refers to something. If a word is a proper name, then its object is a thing, otherwise it is a concept. He limits the term "existence" to things, but has a liberal conception of things which even includes times and points in empty space! Then there are, beyond the existent things, other entities: "numbers, the gods of Homer, relationships, fantasies, and four-dimensional space". The word "concept", used by Russell in this manner, has the connotation of "merely a concept". Caution: Gods and fantasies are as real as numbers for Russell! QuineVsRussell: this is an intolerably indiscriminate ontology. Example: Take impossible numbers, e.g. prime numbers that are divisible by 6. It must be wrong in a certain sense that they exist, and that is in a sense in which it is right that there are prime numbers! Do fantasies exist in this sense? II 101 Russell has a preference for the term "propositional function" against "class concept". In P.M. both expressions appear. Here: Def "Propositional Function": especially based on forms of notation, e.g. open sentences, while concepts are decidedly independent of notation. However, according to Meinong Russell's confidence is in concepts was diminished, and he prefers the more nominalistic sound of the expression "propositional function" which is now carries twice the load (later than Principia Mathematica.) Use/Mention/Quine: if we now tried to deal with the difference between use and mention as carelessly as Russell has managed to do sixty years ago, we can see how he might have felt that his theory of propositional functions was notation based, while a theory of types of real classes would be ontological. Quine: we who pay attention to use and mention can specify when Russell's so-called propositional functions as terms (more specific than properties and relations) must be construed as concepts, and when they may be construed as a mere open sentences or predicates: a) when he quantifies about them, he (unknowingly) reifies them as concepts. For this reason, nothing more be presumed for his elimination of classes than I have stated above: a derivation of the classes from properties or concepts by means of a context definition that is formulated such that it provides the missing extensionality. QuineVsRussell: thinks wrongly that his theory has eliminated classes more thoroughly from the world than in terms of a reduction to properties. II 102 RussellVsFrege: "~ the entire distinction between meaning and designating is wrong. The relationship between "C" and C remains completely mysterious, and where are we to find the designating complex which supposedly designates C?" QuineVsRussell: Russell's position sometimes seems to stem from a confusion of the expression with its meaning, sometimes from the confusion of the expression with its mention. II 103/104 In other papers Russel used meaning usually in the sense of "referencing" (would correspond to Frege): "Napoleon" particular individual, "human" whole class of such individual things that have proper names. Russell rarely seems to look for an existing entity under any heading that would be such that we could call it the meaning that goes beyond the existing referent. Russell tends to let this entity melt into the expression itself, a tendency he has in general when it comes to existing entities. QuineVsRussell: for my taste, Russell is too wasteful with existing entities. Precisely because he does not differentiate enough, he lets insignificance and missed reference commingle. Theory of Descriptions: He cannot get rid of the "King of France" without first inventing the description theory: being meaningful would mean: have a meaning and the meaning is the reference. I.e. "King of France" without meaning, and "The King of France is bald" only had a meaning, because it is the short form of a sentence that does not contain the expression "King of France". Quine: actually unnecessary, but enlightening. Russell tends commingle existing entities and expressions. Also on the occasion of his remarks on Propositions: (P.M.): propositions are always expressions, but then he speaks in a manner that does not match this attitude of the "unity of the propositions" (p.50) and of the impossibility of infinite propositions (p.145) II 105 Russell: The proposition is nothing more than a symbol, even later, instead: Apparently, propositions are nothing..." the assumption that there are a huge number of false propositions running around in the real, natural world is outrageous." Quine: this revocation is astounding. What is now being offered to us instead of existence is nothingness. Basically Russell has ceased to speak of existence. What had once been regarded as existing is now accommodated in one of three ways a) equated with the expression, b) utterly rejected c) elevated to the status of proper existence. II 107 Russell/later: "All there is in the world I call a fact." QuineVsRussell: Russell's preference for an ontology of facts depends on his confusion of meaning with reference. Otherwise he would probably have finished the facts off quickly. What the reader of "Philosophy of logical atomism" notices would have deterred Russell himself, namely how much the analysis of facts is based on the analysis of language. Russell does not recognize the facts as fundamental in any case. Atomic facts are as atomic as facts can be. Atomic Facts/Quine: but they are composite objects! Russell's atoms are not atomic facts, but sense data! II 183 ff Russell: Pure mathematics is the class of all sentences of the form "p implies q" where p and q are sentences with one or more variables, and in both sets the same. "We never know what is being discussed, nor if what we say is true." II 184 This misinterpretation of mathematics was a response to non-Euclidean geometry. Numbers: how about elementary arithmetic? Pure numbers, etc. should be regarded as uninterpreted. Then the application to apples is an accumulation. Numbers/QuineVsRussell: I find this attitude completely wrong. The words "five" and "twelve" are nowhere uninterpreted, they are as much essential components of our interpreted language as apples. >Numbers. They denote two intangible objects, numbers that are the sizes of quantities of apples and the like. The "plus" in addition is also interpreted from start to finish, but it has nothing to do with the accumulation of things. Five plus twelve is: how many apples there are in two separate piles. However, without pouring them together. The numbers "five" and "twelve" differ from apples in that they do not denote a body, that has nothing to do with misinterpretation. The same could be said of "nation" or "species". The ordinary interpreted scientific speech is determined to abstract objects as it is determined to apples and bodies. All these things appear in our world system as values of variables. II 185 It even has nothing to do with purity (e.g. of the set theory). Purity is something other than uninterpretedness. XII 60 Expression/Numbers/Knowledge/Explication/Explanation/Quine: our knowledge of expressions is alone in their laws of interlinking. Therefore, every structure that fulfills these laws can be an explication. XII 61 Knowledge of numbers: consists alone in the laws of arithmetic. Then any lawful construction is an explication of the numbers. RussellVs: (early): Thesis: arithmetic laws are not sufficient for understanding numbers. We also need to know applications (use) or their embedding in the talk about other things. Number/Russell: is the key concept here: "there are n such and suches". Number/Definition/QuineVsRussell: we can define "there are n such and suches" without ever deciding what numbers are beyond their fulfillment of arithmetic addition. Application/Use/QuineVsRussell: wherever there is structure, the applications set in. E.g. expressions and Gödel numbers: even the mention of an inscription was no definitive proof that we are talking about expressions and not about Gödel numbers. We can always say that our ostension was shifted. VII (e) 80 Principia Mathematica(1)/PM/Russell/Whitehead/Quine: shows that the whole of mathematics can be translated into logic. Only three concepts need to be clarified: Mathematics, translation and logic. VII (e) 81 QuineVsRussell: the concept of the propositional function is unclear and obscures the entire PM. VII (e) 93 QuineVsRussell: PM must be complemented by the axiom of infinity if certain mathematical principles are to be derived. VII (e) 93/94 Axiom of infinity: ensures the existence of a class with infinitely many elements. Quine: New Foundations instead makes do with the universal class: θ or x^ (x = x). 1. Whitehead, A.N. and Russel, B. (1910). Principia Mathematica. Cambridge: Cambridge University Press. VII (f) 122 Propositional Functions/QuineVsRussell: ambiguous: a) open sentences b) properties. Russell no classes theory uses propositional functions as properties as value-bound variables. IX 15 QuineVsRussell: inexact terminology. "Propositional function", he used this expression both when referring to attributes (real properties) and when referring to statements or predicates. In truth, he only reduced the theory of classes to an unreduced theory of attributes. IX 93 Rational Numbers/QuineVsRussell: I differ in one point: for me, rational numbers are themselves real numbers, not so for Russell and Whitehead. Russell: rational numbers are pairwise disjoint for them like those of Peano. (See Chapter 17), while their real numbers are nested. ((s) pairwise disjoint, contrast: nested) Natural Numbers/Quine: for me as for most authors: no rational integers. Rational Numbers/Russell: accordingly, no rational real numbers. They are only "imitated" by the rational real numbers. Rational Numbers/QuineVsRussell: for me, however, the rational numbers are real numbers. This is because I have constructed the real numbers according to Russell's version b) without using the name and the designation of rational numbers. Therefore, I was able to retain name and designation for the rational real numbers IX 181 Type Theory/TT/QuineVsRussell: in the present form our theory is too weak to prove some sentences of classical mathematics. E.g. proof that every limited class of real numbers has a least upper boundary (LUB). IX 182 Suppose the real numbers were developed in Russell's theory similar to Section VI, however, attributes were now to take the place of classes and the alocation to attributes replaces the element relation to classes. LUB: (Capters 18, 19) of a limited class of real numbers: the class Uz or {x:Ey(x ε y ε z)}. Attribute: in parallel, we might thus expect that the LUB of a limited attribute φ of real numbers in Russell's system is equal to the Attribute Eψ(φψ u ψ^x). Problem: under Russell's order doctrine is this LUB ψ is of a higher order than that of the real numbers ψ which fall under the attribute φ whose LUB is sought. Boundary/LUB/QuineVsRussell: You need LUB for the entire classic technique of calculus, which is based on continuity. However, LUB have no value for these purposes if they are not available as values of the same variables whose value range already includes those numbers whose upper boundary is wanted. An upper boundary (i.e. LUB) of higher order cannot be the value of such variables, and thus misses its purpose. Solution/Russell: Axiom of Reducibility: Def Axiom of Reducibility/RA/Russell/Quine: every propositional function has the same extension as a certain predicative one. I.e. Ey∀x(ψ!x φx), Eψ∀x∀y[ψ!(x,y) φ(x,y)], etc. IX 184 VsConstruktivism/Construction/QuineVsRussell: we have seen Russell's constructivist approach to the real numbers fail (LUB, see above). He gave up on constructivism and took refuge in the RA. IX 184/185 The way he gave it up had something perverse to it: Axiom of Reducibility/QuineVsRussell: the RA implies that all the distinctions that gave rise to its creation are superfluous! (... + ...) IX 185 Propositional Function/PF/Attribute/Predicate/TT/QuineVsRussell: overlooked the following difference and its analogs: a) "propositional functions": as attributes (or intentional relations) and b) proposition functions: as expressions, i.e. predicates (and open statements: e.g. "x is mortal") Accordingly: a) attributes b) open statements As expressions they differ visibly in the order if the order is to be assessed on the basis of the indices of bound variables within the expression. For Russell everything is "AF". Since Russell failed to distinguish between formula and object (word/object, mention/use), he did not remember the trick of allowing that an expression of higher order refers straight to an attribute or a relation of lower order. X 95 Context Definition/Properties/Stage 2 Logic/Quine: if you prefer properties as sets, you can introduce quantification over properties, and then introduce quantification over sets through a schematic context definition. Russell: has taken this path. Quine: but the definition has to ensure that the principle of extensionality applies to sets, but not to properties. That is precisely the difference. Russell/QuineVsRussell: why did he want properties? X 96 He did not notice at which point the unproblematic talk of predicates capsized to speaking about properties. ((s) object language/meta language/mention/use). Propositional Function/PF: Russell took it over from Frege. QuineVsRussell: he sometimes used PF to refer to predicates, sometimes to properties. |
Quine XIII Willard Van Orman Quine Quiddities Cambridge/London 1987 Chisholm I R. Chisholm The First Person. Theory of Reference and Intentionality, Minneapolis 1981 German Edition: Die erste Person Frankfurt 1992 Chisholm II Roderick Chisholm In Philosophische Aufsäze zu Ehren von Roderick M. Ch, Marian David/Leopold Stubenberg Amsterdam 1986 Chisholm III Roderick M. Chisholm Theory of knowledge, Englewood Cliffs 1989 German Edition: Erkenntnistheorie Graz 2004 |
| Wright, Cr. | Field Vs Wright, Cr. | I 23 Mathematics/Indeterminacytainty/Arbitrariness/Crispin Wright: (1983): Benacerraf’s paper creates indeterminacy not a particular problem for mathematics: Benacerraf: "nothing in our use of numerical singular terms is sufficient to specify which, if any, Quantities they are. WrightVsBenacerraf: this is also valid for the singular terms that represent the Quantities themselves! And according to Quine also for singular terms that stand for rabbits! FieldVsWright: this goes past Benacerraf’s argument. It is aimed more against an anti-platonist argument: that we should be skeptical of numbers, because if we assume that they do not exist, then it seems to be impossible to explain how we refer to them or have beliefs about them. According to Benacerraf’s argument our practice is sufficient to ensure that the entities to which we apply the word "number" form a sequence of distinct objects under the relation that we call "‹" (less-than relation). But that’s all. But perhaps our use does not even determine this. Perhaps they only form a sequence that fulfills our best axiomatic first level theory of ω-sequences. I.e. everything that is determined by the use would be a non-standard model of such a theory. And that would then also apply for Quantities. Wright/(s): Thesis: Our standard use is not sufficient for determining the mathematical entities. (FieldVsWright). I 24 VsWright: but that this would apply for rabbits is more controversial. A bad argument against it would be a causal theory of knowledge (through perception). |
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 |
| |||
The author or concept searched is found in the following theses of the more related field of specialization.
| Disputed term/author/ism | Author |
Entry |
Reference |
|---|---|---|---|
| Ontol. Relativity | Quine, W.V.O. | XII 75f Löwenheim/Skolem/strong form/axiom of choice/Ontology/Reduction/Ontological Relativity/Quine: (early form): Thesis: if a theory is true and has an overcountable object range, then everything is superfluous except for a countable part, in the sense that it can be eliminated from the range of variables without any proposition becoming false. This means that all acceptable theories can be reduced to countable ontologies. And these in turn can be reduced to a special ontology of natural numbers. For this, one takes the enumeration, as far as it is explicitly known, as a strong form. And even if the enumeration is not known, it exists. Accordingly, we can regard all our objects as natural numbers, even if the enumeration number ((s) the name) is not always known. Ontology: could we not then define a Pythagorean all-purpose ontology once and for all? Pythagorean Ontology/Terminology/Quine: consists either only of numbers, or only of bodies, or only of Quantities, etc. XII 76 VsPythagoreism: this shows that an all-embracing Pythagoreism is not attractive, because it offers only new and opaque versions of old methods and problems. Solution: ontological relativity, relativistic theory. |
|
| |||