Find counter arguments by entering NameVs… or …VsName.
The author or concept searched is found in the following 17 entries.
| Disputed term/author/ism | Author |
Entry |
Reference |
|---|---|---|---|
| Classes | Quine | I 289 Class abstraction is attributed to singular descriptions: (iy)(x)(x from y iff ..x..). Instead: x^(..x..). This does not work for intensional abstraction. Difference classes/properties: classes are identical with the same elements. Properties are not yet identical if they are assigned to the same things. >Properties/Quine. II 29 Classes: one could reinterpret all classes in their complement: "no element of .." and you would never notice anything. At the bottom layer every relative clause, every general term determines a class. II 100 Russell (Principia Mathematica(1)) classes are things: they must not be confused with the concept of classes. However: paradoxes also apply to class terms and propositional functions are not only for classes. Incomplete symbols (explanation by use) are used to explain away classes. 1. Whitehead, A.N. and Russel, B. (1910). Principia Mathematica. Cambridge: Cambridge University Press. VII (a) 18 Classes/Quine: simplify our access to physics but are still a myth. VII (f) 114 Classes/Quine: classes are no accumulations or collections! E.g. the class of stones in a pile cannot be identified with the pile: otherwise another class could also be identified with the same pile: e.g. the class of stone molecules in the pile. The validity theory applies to classes, but not to the individual sentences - predicates are not names of classes, classes are the extension of predicates - classes are assumed to be pre-existent. IX 21 Classes/Relations/Quine: classes are real objects if values of bound variables. IX 23 Class/Individuals/Quine: everything is class! If we understand individuals to be identical to their class of one (i.e. not elementless). IX 223 Classes/Quine: quantification through classes allows for terms that would otherwise be beyond our reach. XIII 24 Class/Quantity/Quine: we humans are stingy and so predisposed that we never use two words for the same thing, or we demand a distinction that should underlie it. XIII 25 Example ape/monkey: we distinguish them by size, while French and Germans have only one word for them. Problem: how is the dictionary supposed to explain the difference between "beer, which is rightly called so" and "ale, which is rightly called so"? Example Sets/Classes/Quine: here this behaves similarly. Class/Mathematics: some mathematicians treat classes as something of the same kind as properties (Quine pro, see above): sets as something more robust, though still abstract. >Properties/Quine. Classes: can contain sets as elements, but not other classes. (see impredicativity). Paradox/Paradoxes/Quine: lead to some element relationships not being able to define sets. Nevertheless, they can still define classes! von Neumann: established such a system in 1925. It simplifies evidence and strengthens the system, albeit at the risk of paradoxes. >Paradoxes/Quine. Problem: it requires imaginative distinctions and doublings, e.g. for every set there must be a coextensive class. Solution/Quine. (Quine 1940): simply identify the sets with the coextensive classes. XIII 26 Def Classes/Def Sets/QuineVsNeuman: new: sets are then classes of a certain type: a class is a set if it is an element of a class. A class is a Def outermost class/Quine: if it is not an element of a class. Russell's Paradox/Quine: some authors thought that by distinguishing between classes and sets, it showed that Russell's antinomy was mere confusion. Solution/some authors: classes themselves are not such substantial objects that they would come into question as candidates for elements according to a condition of containment. But sets can be. On the other hand: Sets: had never been understood as defined by conditions of abstinence. And from the beginning they had been governed by principles that Zermelo later made explicit. QuineVs: these are very perishable assumptions! In reality, sets were classes from the beginning, no matter what they were called. Vagueness of one word was also vagueness of the other word. Sets/Cantor/Quine: sure, the first sets at Cantor were point sets, but that does not change anything. QuineVsTradition/Quine: it is a myth to claim that sets were conceived independently of classes, and were later confused with them by Russell. That again is the mistake of seeing a difference in a difference between words. Solution/Quine: we only need sets and outermost classes to enjoy the advantages of von Neumann. >Sets/Quine. |
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 |
| Classes | Russell | I XIV Classes/Concepts/Gödel: can be construed as real objects, namely as "multiplicities of things" and concepts as properties or relations of things that exist independently of our definitions and constructions - which is just as legitimate as the assumption of physical bodies - they are as necessary for mathematics as they are for physics. >Platonism, >Universals, >Mathematical entities, cf. >Hartry Field's Antiplatonism. I XVIII Set/Gödel: realistic: classes exist, circle fault no fault, not even if it is seen constructivistically. But Gödel is a non-constructivist. Russell: classes are only facon de parler, only class names, term, no real classes. I XVIII Class names/Russell: eliminate through translation rules. I XVIII Classes/Principia Mathematica(1)/PM/Russell/Gödel: Principia do without classes, but only if one assumes the existence of a concept whenever one wants to construct a class - E.g. "red" or "colder" must be regarded as real objects. I 37 Class/Principia Mathematica/Russell: The class formed by the function jx^ is to be represented by z^ (φ z) - E.g. if φ x is an equation, z^ (φ z) will be the class of its roots - Example if φ x means: "x has two legs and no feathers", z^ (φ z) will be the class of the humans. I 120 Class/Principia Mathematica/Russell: incomplete symbol. >Incomplete symbols. Function: Complete Symbol - therefore no transitivity when classes are inserted for variables - E.g. x = y . x = z . > . y = z (transitivity) is a propositional function which always applies. But not if we insert a class for x and functions for y and z. - E.g. "z^ (φ z) = y ! z^" is not a value of "x = y" - because classes are incomplete symbols. 1. Whitehead, A.N. and Russel, B. (1910). Principia Mathematica. Cambridge: Cambridge University Press. Flor III 117 Classes/sets/things/objects/Russell/Flor: sets must not be seen as things - otherwise, we would always have also 2n things at n things (combinations - i.e. we would have more things than we already have - Solution: Eliminate class symbols from expressions - instead designations for propositional functions. >Quine: Class Abstraction. |
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 Flor I Jan Riis Flor "Gilbert Ryle: Bewusstseinsphilosophie" In Philosophie im 20. Jahrhundert, A. Hügli/P. Lübcke Reinbek 1993 Flor II Jan Riis Flor "Karl Raimund Popper: Kritischer Rationalismus" In Philosophie im 20. Jahrhundert, A.Hügli/P.Lübcke Reinbek 1993 Flor III J.R. Flor "Bertrand Russell: Politisches Engagement und logische Analyse" In Philosophie im 20. Jahrhundert, A. Hügli/P.Lübcke (Hg) Reinbek 1993 Flor IV Jan Riis Flor "Thomas S. Kuhn. Entwicklung durch Revolution" In Philosophie im 20. Jahrhundert, A. Hügli/P. Lübcke Reinbek 1993 |
| Descriptions | Russell | Cresswell I 117 Descriptions/Russell: are never names - Other authors VsRussell: Descriptions are names, but not of normal objects but of intensional objects (various objects in different worlds). - CresswellVs intentional objects. >Objects of thought, >Objects of belief, >Mental objects. Geach I 61 Description/Russell is never a name: E.g. The Duke of Cambridge is also a pub, but the Duke does not sell beer. Newen I 90 Theory of Descriptions/Russell: E.g. 1. There is at least one author of "Waverley" (existence assertion) - 2. There is at most one author of "Waverley" (uniqueness assertion) - 3. Whoever wrote "Waverley", was a Scott (statement content) - E.g. The current King of France/empty names: At least one king of France is bald - 2. At most one - 3. whoever ... is bald - E.g. identity: at least one denounced Catiline - 2. At most one ... - 1* at least one wrote "De Oratore" - 2* at most one ... - 3. Whoever denounced Catiline, wrote ... - E.g. negative existence sentences "It is not the case that 1. At least one .. - 2. At most one ... - RussellVsFrege: thus one avoids to accept Fregean sense as an abstract entity. Truth-value gaps/RussellVsFrege: they too are thus avoided. I 92 N.B.: sentences that seemed to be about a subject, are now about general propositions about the world. >Fregean sense, >Truth value gap. Russell I VIII E.g. Waverley - all true sentences have the same meaning - e.g. "Author of Waverley." Is no description of Scott - Description (labeling) is not the same as assertion - this does not refer to an object. - StrawsonVs - A sentence with "Waverley" says nothing about Scott, because it does not contain Scott. I 46 Descriptions/Russell: are always in the singular E.g. "father of" but not "son of" (not clear - always presuppoes quotes without "the": "jx": "x is φ" - instead of (ix)(jx) in short "R'y": the R of y, "the father of y" - characterizing function, not propositional function all mathematical functions are distinctive features. >Function/Russell. I 96 Description/Principia Mathematica(1)/Russell: "The author of Waverley" means nothing - we cannot define (ix)(jx) only its use - (> ?concept=Definitions">definition, definability). 1. Whitehead, A.N. and Russel, B. (1910). Principia Mathematica. Cambridge: Cambridge University Press. Flor III 122 Descriptions/Russell/Flor: are not names - reason: otherwise it would result in a mere triviality: "a = a" or something wrong. E.g. "The Snow man does not exist" is something different than to say, "Paul does not exist" - Descriptions: incomplete symbols - ((s) If description were names, they could not fail.) >Incomplete symbol, >Names. |
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 Cr I M. J. Cresswell Semantical Essays (Possible worlds and their rivals) Dordrecht Boston 1988 Cr II M. J. Cresswell Structured Meanings Cambridge Mass. 1984 Gea I P.T. Geach Logic Matters Oxford 1972 New II Albert Newen Analytische Philosophie zur Einführung Hamburg 2005 Newen I Albert Newen Markus Schrenk Einführung in die Sprachphilosophie Darmstadt 2008 Flor I Jan Riis Flor "Gilbert Ryle: Bewusstseinsphilosophie" In Philosophie im 20. Jahrhundert, A. Hügli/P. Lübcke Reinbek 1993 Flor II Jan Riis Flor "Karl Raimund Popper: Kritischer Rationalismus" In Philosophie im 20. Jahrhundert, A.Hügli/P.Lübcke Reinbek 1993 Flor III J.R. Flor "Bertrand Russell: Politisches Engagement und logische Analyse" In Philosophie im 20. Jahrhundert, A. Hügli/P.Lübcke (Hg) Reinbek 1993 Flor IV Jan Riis Flor "Thomas S. Kuhn. Entwicklung durch Revolution" In Philosophie im 20. Jahrhundert, A. Hügli/P. Lübcke Reinbek 1993 |
| Incomplete Symbols | Baudrillard | Baud I J. Baudrillard Simulacra and Simulation (Body, in Theory: Histories) Ann Arbor 1994 Baud II Jean Baudrillard Symbolic Exchange and Death, London 1993 German Edition: Der symbolische Tausch und der Tod Berlin 2009 |
|
| Incomplete Symbols | Grover, D. L. | Horwich I 319 Incomplete Symbol/Russell/Camp, Grover, Belnap/CGB/Grover: incomplete symbols are e.g. descriptions that are not clear in the translation. E.g. "The present King of France is bald". Incomplete symbol: an incomplete symbol is then the fragment in the source language. Prosentential Theory/Grover: there is nothing that translates "true", but it is possible to grasp the meaning of the complete expressions which "is true" includes. >Prosentential theory. |
Grover, D. L. Gro I D. Grover, A Prosentential Theory of Thruth, Princeton New Jersey 1992 Kamp/Grover/Belnap D. L. Grover, J L. Camp, N. D. Belnap Philosophical Studies 27 (1) 73 – 125 (1975) See external reference in the individual contributions. Horwich I P. Horwich (Ed.) Theories of Truth Aldershot 1994 |
| Incomplete Symbols | Quine | XII 88 Incomplete Symbol/Russell: description is an incomplete symbol. Quine: it corresponds to the knowledge that only entire sentences are primary bearers of meaning. >Descriptions, >Subsententials. II 98 Incomplete symbol: is defined in use. II 100 Incomplete symbols/Quine: are used to clear away classes. (Explanation by use). XI 38 Incomplete Symbol/Russell/Lauener: certain descriptions are incomplete symbols because they can be equated with their reference object and can be paraphrased away by context definition. >Descriptions/Quine. |
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 |
| Incomplete Symbols | Russell | I 64f Def incomplete Symbol/Principia Mathematica(1)/Russell: E.g. proposition or sentence. (Contrast: Judgment that is already complete because it brings together perception and sentence about the perception). >Proposition, >Sentence, >Judgment, >Perception. I 65 E.g. the proposition Socrates is a human being requires some kind of supplement. - But if I judge the same wording, the corresponding judgement is complete - although no explicit amendment was made to the proposition. I 64 Incomplete Symbol/Principia Mathematica/Russell: sentence or proposition - complete: Judgment (brings together sentence and perception). >Description, >Name. I 95 Description/name/proper name/Principia Mathematica/Russell: E.g. round square is a description, not a proper name. - ((s) so names are not abbreviated descriptions.) - Description: incomplete. - Name/Russell: complete, complete symbol. I 95 Incomplete symbols: formulas in mathematics: only useful in use - descriptions, remain undetermined. - Symbol for classes. I 95f Complete symbols: proper names: e.g. Socrates. 1. Whitehead, A.N. and Russel, B. (1910). Principia Mathematica. Cambridge: Cambridge University Press. Flor III 117 Def incomplete symbols/Russell/Flor: class names, or expressions that contain class names and thus can be replaced by other symbols. Example "all humans" "some people": - (logical fictions). |
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 Flor I Jan Riis Flor "Gilbert Ryle: Bewusstseinsphilosophie" In Philosophie im 20. Jahrhundert, A. Hügli/P. Lübcke Reinbek 1993 Flor II Jan Riis Flor "Karl Raimund Popper: Kritischer Rationalismus" In Philosophie im 20. Jahrhundert, A.Hügli/P.Lübcke Reinbek 1993 Flor III J.R. Flor "Bertrand Russell: Politisches Engagement und logische Analyse" In Philosophie im 20. Jahrhundert, A. Hügli/P.Lübcke (Hg) Reinbek 1993 Flor IV Jan Riis Flor "Thomas S. Kuhn. Entwicklung durch Revolution" In Philosophie im 20. Jahrhundert, A. Hügli/P. Lübcke Reinbek 1993 |
| Lexicon | Quine | VI 81 Dictionary/Lexicon/Quine: does not describe objects, but use of words - is not about synonymy of terms - is not about cognitive equivalence of sentences. VII (c) 49 Lexicon/Quine: shows couples of synonymous sequences (no monopoly on meaning). II 65 Lexicon: the lexicographer will often use a so-called "meaning distinction": he will call several partial synonyms, some of which fit into subcontexts, others into others. The contexts must then be kept apart with reference to the topic. II 99 Lexicon: the definition of words in the lexicon is nothing more than a recursive definition of sentence meanings. Russell's examination of incomplete symbols continues and extends to classes. II 139 Lexicon of Predicates: You can define an identity in any theory, even in one without classes and elements. This is the method of exhaustion of the Lexicon of Predicates. Trivial example: Suppose we have only two undefined single-digit predicates. F and G as well as a two-digit predicate H and no constant singular terms or functors, only quantifiers and truth functions. Then we can define "x = y" as Fx bik Fy.Gx bik GY.(z)(Hxz bik Hyz.Hzx bik Hzy) which ensures substitutivity in atomic contexts. Now the entire logic of identity can be derived. The method can be applied to any finite lexicon of undefined predicates and it defines real identity or an afterimage indistinguishable from it every time. Undistinguishable in terms of the corresponding theory. >Predicates/Quine. II 139/140 How will it work if our approach to explain identity by exhaustion of the predicates is generalized? Let us assume a rich lexicon of predicates. Certain predicates will be desired in terms of properties, in particular "has". Others will be superfluous (e.g. property "be pink" or property "divisible by four"). Ryle branded such predications as category confusion. Russell and Carnap the same. QuineVsRyle/QuineVsCarnap/QuineVsRussell: for years I have represented a minority of philosophers who prefer the opposite direction: we can simplify grammar and logic by minimizing our grammatical categories and maximizing their scope instead. II 141/142 Are all cases actually due to "has"? If so, the exhaustion of our encyclopedia would be done in no time at all, which would result in all properties being identical if exactly the same things "have" them. In this case, properties are extensional. We might as well read this "has" as being-contained and call properties classes. But they are classes as multiplicities, not as a unit. Because we declare it "ungrammatical" to present them as elements of other classes. They occur only through their values. However, if there are desired contexts of property variables that are not due to "has", it should be possible to create a list and thus individualize properties. >Properties/Quine. |
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 |
| Meaning | Geach | I 28f Frege: sense/meaning. >Fregean sense, >Fregean meaning, >Sense, >Meaning. GeachVsRussell: false equivalence with "means"/"denotes" (refers to) in Principia Mathematica(1) Seeming parallel: a description contains "meaning" (Frege: Sinn) as a component, but not on this sense but about the objects. The description denotes. >Denotation, >Description. Signifiying expression/Russell: general term with a prefix, all, some, etc. >General terms. Meaning/Principia Mathematica: two phrases mean the same thing when they maintain the same assumption. >Meaning/Russell. Signify/Frege: two sentences mean the same when they have both the same truth value. >Truth value. Incomplete symbol/Russell/late: certain descriptions have no meaning. GeachVsRussell: this is misleading – rather: we do not need a single entity that corresponds to a specific description – E. g "There is a King…". >Incomplete symbols. 1. Whitehead, A.N. and Russel, B. (1910). Principia Mathematica. Cambridge: Cambridge University Press. |
Gea I P.T. Geach Logic Matters Oxford 1972 |
| Object | Russell | I 106 Object/combinations/Principia Mathematica(1)/PM/Russell: combinations are not an object, also not a whole as "12 apostles" as a property that belongs to every apostle. Solution: Difference intensional/extensional functions. >Intension, >Extension. 1. Whitehead, A.N. and Russel, B. (1910). Principia Mathematica. Cambridge: Cambridge University Press. Flor III 125 Things/objects/Russell: two theories: A. defined as logical constructions - e.g. series of classes of sensory data. B. known only from descriptions. Flor III 126 Object/Person/Russell: People are also physical objects! Problem: therefore they need to be understood by Russell as hidden descriptions or class names - a subject name must be an incomplete symbol - by no means a name. >Person, >Name, >Description, >Incomplete symbol. |
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 Flor I Jan Riis Flor "Gilbert Ryle: Bewusstseinsphilosophie" In Philosophie im 20. Jahrhundert, A. Hügli/P. Lübcke Reinbek 1993 Flor II Jan Riis Flor "Karl Raimund Popper: Kritischer Rationalismus" In Philosophie im 20. Jahrhundert, A.Hügli/P.Lübcke Reinbek 1993 Flor III J.R. Flor "Bertrand Russell: Politisches Engagement und logische Analyse" In Philosophie im 20. Jahrhundert, A. Hügli/P.Lübcke (Hg) Reinbek 1993 Flor IV Jan Riis Flor "Thomas S. Kuhn. Entwicklung durch Revolution" In Philosophie im 20. Jahrhundert, A. Hügli/P. Lübcke Reinbek 1993 |
| Objects (Material Things) | Russell | Geach I 314 Definition Object/Definition Person/Russell: (logical atomism): an object is a set of classes of particulars, and therefore a logical fiction. "Real things (= sense data) only last a very short time". GeachVsRussell: he tried to apply two theories of classes at once: 1. the "no-classes theory" that classes are only fictions 2. the "composition theory": that classes are composed of their elements. Flor III 125 Things/objects/Russell: two theories: A. defined as logical constructions - e.g. series of classes of sensory data. B. known only from descriptions. Flor III 126 Object/Person/Russell: People are also physical objects! Problem: therefore they need to be understood by Russell as hidden descriptions or class names - a subject name must be an incomplete symbol - by no means a name. >Person, >Name, >Description, >Incomplete symbol. |
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 Gea I P.T. Geach Logic Matters Oxford 1972 Flor I Jan Riis Flor "Gilbert Ryle: Bewusstseinsphilosophie" In Philosophie im 20. Jahrhundert, A. Hügli/P. Lübcke Reinbek 1993 Flor II Jan Riis Flor "Karl Raimund Popper: Kritischer Rationalismus" In Philosophie im 20. Jahrhundert, A.Hügli/P.Lübcke Reinbek 1993 Flor III J.R. Flor "Bertrand Russell: Politisches Engagement und logische Analyse" In Philosophie im 20. Jahrhundert, A. Hügli/P.Lübcke (Hg) Reinbek 1993 Flor IV Jan Riis Flor "Thomas S. Kuhn. Entwicklung durch Revolution" In Philosophie im 20. Jahrhundert, A. Hügli/P. Lübcke Reinbek 1993 |
| Properties | Quine | Rorty VI 151 Major Property/holism/Quine/Rorty: at best: "property, which is necessary for the use of a certain description" - but not: "property, which is necessary for the identity of an object with itself." Quine I 43 Features: independent existence is pointless. >Existence/Quine I 218 Mass Term/Quine: is archaic(> (> E. Cassirer, Philosophie der symbolischen Formen, Berlin 1923-1929))) - Properties: a) Is commonality decisive? b) Is it about cattered clumps? I 217 Features: are usually merely convenient abbreviations for long cross-references - Quine/Cassirer: features of archaic remains. I 219 Not all abstract objects are properties: numbers, classes, functions, geometric figures, ideas, possibilities - give up or trace back to abstract objects - one can faithfully distinguished concrete objects by use of "-ness". >Object/Quine I 322 Property abstraction (elimination) instead of "a = x(..x..)" - new: irreducible two-digit operator "0": "a0x(..x..)" - variables remain as the only ones - primacy of the pronoun. >Variables/Quine I 344/45 Properties/Quine: there are no necessary or contingent properties (VsModal Logic) - there are only more or less important properties. I 344 Properties/relations: meaning of timeless open sentences - is unidentifiable (How-propositions). I 361 Elimination of relations and properties in favor of classes of ordered pairs, open sentences, general terms - even scattered objects (in the case of color) (46). I 412 QuineVsProperties: fallacy of subtraction: to derive existence from "about" and "deals with" - "round" and "dog" are terms for physical objects - but no additional features. "Round" and "dog" are general terms for objects not singular terms for properties or classes. The same argument would be for classes instead of properties: general term symbolizes its extension as well as its intension. >General Term/Quine I 412 Properties: not every general term is necessarily about properties or classes - properties and classes are acceptable as values of variables. I 464 QuineVsRussell/Whitehead: theory of incomplete symbols: eliminated classes only in favor of properties. II 129f Properties: are hard to individuate - not to define like classes by the same elements - various properties can get to the same things. Properties: "Zettsky" (like Russell): properties are identical when they were members of the same classes - QuineVs - solution: property is identical if two sentences ↔ (follow seperately) - unsatisfactory, less analyticity and necessity-operator. Properties/Quine: identical when coextensive-classes: are not specified by elements, but by condition of containment (open sentence). Property is not the same as predicate - property: open sentences - propositions: completed sentences. Properties are not the same as classes: since no individuation principle for properties - solution "last classes" (do not belong to any other class, only have elements themselves) - like Russell: statement function only comes through their values - properties = last classes or properties = statement function. >Classes/Quine Properties as last classes are every element of the zero class, therefore all identical? - Vs: this identity definition only applies to theories that allow no objects who belong to no class (Unicorn). Properties/identity: (here) are interchangeability in all contexts - Prerequisite: exhaustion of a finite lexicon by interchangeability of atomic contexts - RyleVs: Category confusion. Properties: QuineVsCarnap/Russell: minimize grammatical categories, expand scope - if all can be attributed to "has", then all properties are extensional - rest could be listed by list. Properties: contexts with "has" unproblematic - "contained in" prohibited (less classes) - "is" leads to circular definition of properties - properties do not count. "Nap had all properties but one": is prohibited. - however: "all properties" allowed. II 144 f De re: E.g. spy should be an essential property (wrong) - no belief is de re (essential property). Modal Logic/Quine: the entire modal logic is context-dependent - what role does someone or something play? - Same level as essential properties. Necessity/Quine: the whole concept is only meaningful in context. Property Einstein/Quine: are preserved. - But not de re. >de re/Quine X 95 Properties/Quine: do not exist for lack of distinctness (only amounts) - "synonymy unclear" - open sentences that apply to the same objects never determine different amounts, but differnt properties could underlie. |
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 Rorty I Richard Rorty Philosophy and the Mirror of Nature, Princeton/NJ 1979 German Edition: Der Spiegel der Natur Frankfurt 1997 Rorty II Richard Rorty Philosophie & die Zukunft Frankfurt 2000 Rorty II (b) Richard Rorty "Habermas, Derrida and the Functions of Philosophy", in: R. Rorty, Truth and Progress. Philosophical Papers III, Cambridge/MA 1998 In Philosophie & die Zukunft, Frankfurt/M. 2000 Rorty II (c) Richard Rorty Analytic and Conversational Philosophy Conference fee "Philosophy and the other hgumanities", Stanford Humanities Center 1998 In Philosophie & die Zukunft, Frankfurt/M. 2000 Rorty II (d) Richard Rorty Justice as a Larger Loyalty, in: Ronald Bontekoe/Marietta Stepanians (eds.) Justice and Democracy. Cross-cultural Perspectives, University of Hawaii 1997 In Philosophie & die Zukunft, Frankfurt/M. 2000 Rorty II (e) Richard Rorty Spinoza, Pragmatismus und die Liebe zur Weisheit, Revised Spinoza Lecture April 1997, University of Amsterdam In Philosophie & die Zukunft, Frankfurt/M. 2000 Rorty II (f) Richard Rorty "Sein, das verstanden werden kann, ist Sprache", keynote lecture for Gadamer’ s 100th birthday, University of Heidelberg In Philosophie & die Zukunft, Frankfurt/M. 2000 Rorty II (g) Richard Rorty "Wild Orchids and Trotzky", in: Wild Orchids and Trotzky: Messages form American Universities ed. Mark Edmundson, New York 1993 In Philosophie & die Zukunft, Frankfurt/M. 2000 Rorty III Richard Rorty Contingency, Irony, and solidarity, Chambridge/MA 1989 German Edition: Kontingenz, Ironie und Solidarität Frankfurt 1992 Rorty IV (a) Richard Rorty "is Philosophy a Natural Kind?", in: R. Rorty, Objectivity, Relativism, and Truth. Philosophical Papers Vol. I, Cambridge/Ma 1991, pp. 46-62 In Eine Kultur ohne Zentrum, Stuttgart 1993 Rorty IV (b) Richard Rorty "Non-Reductive Physicalism" in: R. Rorty, Objectivity, Relativism, and Truth. Philosophical Papers Vol. I, Cambridge/Ma 1991, pp. 113-125 In Eine Kultur ohne Zentrum, Stuttgart 1993 Rorty IV (c) Richard Rorty "Heidegger, Kundera and Dickens" in: R. Rorty, Essays on Heidegger and Others. Philosophical Papers Vol. 2, Cambridge/MA 1991, pp. 66-82 In Eine Kultur ohne Zentrum, Stuttgart 1993 Rorty IV (d) Richard Rorty "Deconstruction and Circumvention" in: R. Rorty, Essays on Heidegger and Others. Philosophical Papers Vol. 2, Cambridge/MA 1991, pp. 85-106 In Eine Kultur ohne Zentrum, Stuttgart 1993 Rorty V (a) R. Rorty "Solidarity of Objectivity", Howison Lecture, University of California, Berkeley, January 1983 In Solidarität oder Objektivität?, Stuttgart 1998 Rorty V (b) Richard Rorty "Freud and Moral Reflection", Edith Weigert Lecture, Forum on Psychiatry and the Humanities, Washington School of Psychiatry, Oct. 19th 1984 In Solidarität oder Objektivität?, Stuttgart 1988 Rorty V (c) Richard Rorty The Priority of Democracy to Philosophy, in: John P. Reeder & Gene Outka (eds.), Prospects for a Common Morality. Princeton University Press. pp. 254-278 (1992) In Solidarität oder Objektivität?, Stuttgart 1988 Rorty VI Richard Rorty Truth and Progress, Cambridge/MA 1998 German Edition: Wahrheit und Fortschritt Frankfurt 2000 |
| Round Square | Russell | I 95 Identification/name/personal name/Principia Mathematica(1)/Russell: E.g. "round square" is a description, not a proper name. description: incomplete symbol. Name/Russell: complete symbol. >Description, >Name, >Incomplete symbol. 1. Whitehead, A.N. and Russel, B. (1910). Principia Mathematica. Cambridge: Cambridge University Press. |
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 |
| Semantic Holism | Fodor | IV 41 Semantic Holism/Fodor/Lepore: the semantic holism comprises a combination of the Quine-Duhem thesis (no sentence individually verifiable) with verificationism. Quine-Duhem thesis: every sentence of a theory determines the level of verifiability of every other sentence of the theory. Verificationism: meaning corresponds to the verification method. >Quine-Duhem thesis. Holism: every sentence of the theory determines the meaning of every other sentence of the theory. Fodor/LeporeVsHolism: then only identical theories could have any common inferences and this cannot be true. >Holism. IV ~ 49 Fodor/Lepore VsSemantic Holism: natural semantic objects are linguistic: e.g. formulas of natural objects of confirmation. Trans-linguistically they are propositions. Verificationism and confirmation holism are both true, but of different things! Therefore, semantic holism does not follow. IV 54 Meaning holism/Fodor/Lepore: additional argument pro: according to Russell's incomplete symbol: this is defined in use. Use then represents the larger unit. Fodor/LeporeVs: 1) Definition in use does not guarantee meaning. 2) It is unclear whether they have the semantic properties from the relations of words to the sentences in which they occur. 3) It is also unclear whether the syntactic and semantic units match. IV 125 Meaning Holism/MH/Fodor/Lepore: we can avoid the inference from belief holism to meaning holism if we assume that the objects which have inherent semantic properties are initially neither propositional attributes nor speech acts, but representations. >Representations. |
F/L Jerry Fodor Ernest Lepore Holism. A Shoppers Guide Cambridge USA Oxford UK 1992 Fodor I Jerry Fodor "Special Sciences (or The Disunity of Science as a Working Hypothesis", Synthese 28 (1974), 97-115 In Kognitionswissenschaft, Dieter Münch Frankfurt/M. 1992 Fodor II Jerry Fodor Jerrold J. Katz Sprachphilosophie und Sprachwissenschaft In Linguistik und Philosophie, G. Grewendorf/G. Meggle Frankfurt/M. 1974/1995 Fodor III Jerry Fodor Jerrold J. Katz The availability of what we say in: Philosophical review, LXXII, 1963, pp.55-71 In Linguistik und Philosophie, G. Grewendorf/G. Meggle Frankfurt/M. 1974/1995 |
| Signs | Wittgenstein | Stegmüller IV 79 Excessive fact/Wittgenstein: (Philosophical Investigations/PI § 192): Kripke: straightforward solution: finding an excessive fact: this should clearly define as a finite fact the potentially infinite future uses of a sign. - That is impossible. >Rules, >Rule following, >Kripkenstein. --- II 48 Sign/Symbol/Wittgenstein: a sign can be nonsensical. - A symbol cannot be nonsensical. - Also tone and expression are part of the symbol. - Incomplete symbol: E.g. "I'm hungry" written on the blackboard. >Symbols, >Incomplete symbols. --- VI 159 Sign/Wittgenstein/Schulte: signs are not interpreted, but known. This is a practical ability. -> Training/Wittgenstein. --- VI 177 Definition/Symptom/Wittgenstein: a phenomenon that occurs according to experience with the phenomenon together, which is our defining criterion. - E.g. Symptoms: sore throat. - Criteria: Angina bacillus. - The fluctuation of grammar between the two makes it seem as if there were only symptoms. - Meaning: is not only secured by shared occurrence (like a symptom). - Instead: we need the method of verification. >Definition, >Symptom, >Criteria. |
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 Carnap V W. Stegmüller Rudolf Carnap und der Wiener Kreis In Hauptströmungen der Gegenwartsphilosophie Bd I, München 1987 St I W. Stegmüller Hauptströmungen der Gegenwartsphilosophie Bd I Stuttgart 1989 St II W. Stegmüller Hauptströmungen der Gegenwartsphilosophie Bd 2 Stuttgart 1987 St III W. Stegmüller Hauptströmungen der Gegenwartsphilosophie Bd 3 Stuttgart 1987 St IV W. Stegmüller Hauptströmungen der Gegenwartsphilosophie Bd 4 Stuttgart 1989 |
| Symbols | Russell | I 103 Symbols for classes/Principia Mathematica(1)/Russell: symbols for classes are incomplete symbols: their use is defined, but we do not assume that they mean anything at all. >Incomplete symbol. 1. Whitehead, A.N. and Russel, B. (1910). Principia Mathematica. Cambridge: Cambridge University Press. |
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 |
| Symbols | Wittgenstein | Hintikka I 60f Symbol/Wittgenstein/Hintikka: symbols are not what they appear to be: R looks like a noun, but is not a noun - what is symbolized is that R occurs between a and b. >Relations. I 61 So R is not the indefinable symbol in aRb. (Aül 9) - Hintikka: but the indefinable symbols are for Wittgenstein nothing more than names and these stand for objects - but the name is not a linguistic symbol (the letter R) but a linguistic relation, namely, to occur next to a specific letter - But different than Frege's distinction saturated/unsaturated. >Definability, >Names. --- II 65 Symbol/Wittgenstein - is complete in itself - it does not refer to something outside. Cf. >Incomplete symbols. |
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 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 |
| |||
| Disputed term/author/ism | Author Vs Author |
Entry |
Reference |
|---|---|---|---|
| Principia Mathematica | Gödel Vs Principia Mathematica | Russell I XIV Circular Error Principle/VsPrincipia Mathematica(1)/PM/Russell/Gödel: thus seems to apply only to constructivist assumptions: when a term is understood as a symbol, together with a rule to translate sentences containing the symbol into sentences not containing it. Classes/concepts/Gödel: can also be understood as real objects, namely as "multiplicities of things" and concepts as properties or relations of things that exist independently of our definitions and constructions! This is just as legitimate as the assumption of physical bodies. They are also necessary for mathematics, as they are for physics. Concept/Terminology/Gödel: I will use "concept" from now on exclusively in this objective sense. A formal difference between these two conceptions of concepts would be: that of two different definitions of the form α(x) = φ(x) it can be assumed that they define two different concepts α in the constructivist sense. (Nominalistic: since two such definitions give different translations for propositions containing α.) For concepts (terms) this is by no means the case, because the same thing can be described in different ways. For example, "Two is the term under which all pairs fall and nothing else. There is certainly more than one term in the constructivist sense that satisfies this condition, but there could be a common "form" or "nature" of all pairs. All/Carnap: the proposal to understand "all" as a necessity would not help if "provability" were introduced in a constructivist manner (..+...). Def Intensionality Axiom/Russell/Gödel: different terms belong to different definitions. This axiom holds for terms in the circular error principle: constructivist sense. Concepts/Russell/Gödel: (unequal terms!) should exist objectively. (So not constructed). (Realistic point of view). When only talking about concepts, the question gets a completely different meaning: then there seems to be no objection to talking about all of them, nor to describing some of them with reference to all of them. Properties/GödelVsRussell: one could surely speak of the totality of all properties (or all of a certain type) without this leading to an "absurdity"! ((s) > Example "All properties of a great commander". Gödel: this simply makes it impossible to construe their meaning (i.e. as an assertion about sense perception or any other non-conceptual entities), which is not an objection to someone taking the realistic point of view. Part/whole/Mereology/GödelVsRussell: neither is it contradictory that a part should be identical (not just the same) with the whole, as can be seen in the case of structures in the abstract sense. Example: the structure of the series of integers contains itself as a special part. I XVI/XVII Even within the realm of constructivist logic there are certain approximations to this self-reflectivity (self-reflexivity/today: self-similarity) of impredicative qualities, namely e.g. propositions, which as parts of their meaning do not contain themselves, but their own formal provability. There are also sentences that refer to a totality of sentences to which they themselves belong: Example: "Each sentence of a (given) language contains at least one relational word". This makes it necessary to look for other solutions to the paradoxes, according to which the fallacy does not consist in the assumption of certain self-reflectivities of the basic terms, but in other assumptions about them! The solution may have been found for the time being in simple type theory. Of course, all this refers only to concepts. Classes: one should think that they are also not created by their definitions, but only described! Then the circular error principle does not apply again. Zermelo splits classes into "levels", so that only sets of lower levels can be elements of sets of higher levels. Reducibility Axiom/Russell/Gödel: (later dropped) is now taken by the class axiom (Zermelo's "axiom of choice"): that for each level, for any propositional function φ(x) the set of those x of this level exists for which φ(x) is true. This seems to be implied by the concept of classes as multiplicities. I XVIII Extensionality/Classes: Russell: two reasons against the extensional view of classes: 1. the existence of the zero class, which cannot be well a collection, 2. the single classes, which should be identical with their only elements. GödelVsRussell: this could only prove that the zero classes and the single classes (as distinguished from their only element) are fictions to simplify the calculation, and do not prove that all classes are fictions! Russell: tries to get by as far as possible without assuming the objective existence of classes. According to this, classes are only a facon de parler. Gödel: but also "idealistic" propositions that contain universals could lead to the same paradoxes. Russell: creates rules of translation according to which sentences containing class names or the term "class" are translated into sentences not containing them. Class Name/Russell: eliminate by translation rules. Classes/Principia Mathematica/Russell/Gödel: the Principia Mathematica can do without classes, but only if you assume the existence of a concept whenever you want to construct a class. First, some of them, the basic predicates and relations like "red", "colder" must be apparently considered real objects. The higher terms then appear as something constructed (i.e. something that does not belong to the "inventory of the world"). I XIX Ramsey: said that one can form propositions of infinite length and considers the difference finite/infinite as not so decisive. Gödel: Like physics, logic and mathematics are based on real content and cannot be "explained away". Existence/Ontology/Gödel: it does not behave as if the universe of things is divided into orders and one is forbidden to speak of all orders, but on the contrary: it is possible to speak of all existing things. But classes and concepts are not among them. But when they are introduced as a facon de parler, it turns out that the extension of symbolism opens the possibility of introducing them in a more comprehensive way, and so on, to infinity. To maintain this scheme, however, one must presuppose arithmetics (or something equivalent), which only proves that not even this limited logic can be built on nothing. I XX Constructivist posture/constructivism/Russell/Gödel: was abandoned in the first edition, since the reducibility axiom for higher types makes it necessary that basic predicates of arbitrarily high type exist. From constructivism remains only 1. Classes as facon de parler 2. The definition of ~, v, etc. as valid for propositions containing quantifiers, 3. The stepwise construction of functions of orders higher than 1 (of course superfluous because of the R-Axiom) 4. the interpretation of definitions as mere typographical abbreviations (all incomplete symbols, not those that name an object described by the definition!). Reducibility Axiom/GödelVsRussell: this last point is an illusion, because of the reducibility axiom there are always real objects in the form of basic predicates or combinations of such according to each defined symbol. Constructivist posture/constructivism/Principia Mathematica/Gödel: is taken again in the second edition and the reducibility axiom is dropped. It is determined that all basic predicates belong to the lowest type. Variables/Russell/Gödel: their purpose is to enable the assertions of more complicated truth functions of atomistic propositions. (i.e. that the higher types are only a facon de parler.). The basis of the theory should therefore consist of truth functions of atomistic propositions. This is not a problem if the number of individuals and basic predicates is finite. Ramsey: Problem of the inability to form infinite propositions is a "mere secondary matter". I XXI Finite/infinite/Gödel: with this circumvention of the problem by disregarding the difference between finite and infinite a simpler and at the same time more far-reaching interpretation of set theory exists: Then Russell's Apercu that propositions about classes can be interpreted as propositions about their elements becomes literally true, provided n is the number of (finite) individuals in the world and provided we neglect the zero class. (..) + I XXI Theory of integers: the second edition claims that it can be achieved. Problem: that in the definition "those cardinals belonging to each class that contains 0 and contains x + 1 if it contains x" the phrase "each class" must refer to a given order. I XXII Thus whole numbers of different orders are obtained, and complete induction can be applied to whole numbers of order n only for properties of n! (...) The question of the theory of integers based on ramified type theory is still unsolved. I XXIII Theory of Order/Gödel: is more fruitful if it is considered from a mathematical point of view, not a philosophical one, i.e. independent of the question of whether impredicative definitions are permissible. (...) impredicative totalities are assumed by a function of order α and ω . Set/Class/Principia Mathematica(1)/Russell/Type Theory/Gödel: the existence of a well-ordered set of the order type ω is sufficient for the theory of real numbers. Def Continuum Hypothesis/Gödel: (generalized): no cardinal number exists between the power of any arbitrary set and the power of the set of its subsets. Type Theory/VsType Theory/GödelVsRussell: mixed types (individuals together with predications about individuals etc.) obviously do not contradict the circular error principle at all! I XXIV Russell based his theory on quite different reasons, similar to those Frege had already adopted for the theory of simpler types for functions. Propositional functions/statement function/Russell/Gödel: always have something ambiguous because of the variables. (Frege: something unsaturated). Propositional function/p.f./Russell/Gödel: is so to speak a fragment of a proposition. It is only possible to combine them if they "fit together" i.e. are of a suitable type. GödelVsRussell: Concepts (terms) as real objects: then the theory of simple types is not plausible, because what one would expect (like "transitivity" or the number two) to be a concept would then seem to be something that stands behind all its different "realizations" on the different levels and therefore does not exist according to type theory. I XXV Paradoxes in the intensional form/Gödel: here type theory brings a new idea: namely to blame the paradoxes not on the axiom that every propositional function defines a concept or a class, but on the assumption that every concept results in a meaningful proposition if it is claimed for any object as an argument. The objection that any concept can be extended to all arguments by defining another one that gives a false proposition whenever the original one was meaningless can easily be invalidated by pointing out that the concept "meaningfully applicable" does not always have to be meaningfully applicable itself. 1. Whitehead, A.N. and Russel, B. (1910). Principia Mathematica. Cambridge: Cambridge University Press. |
Göd II Kurt Gödel Collected Works: Volume II: Publications 1938-1974 Oxford 1990 |
| Redundancy Theory | Black Vs Redundancy Theory | IV 155 Truth/Tarski/Philosophy/Everyday language/Black: then one could say that "true" is an "incomplete symbol", a part of the assertion stroke "I-". Redundancy theory/BlackVsRedundancy theory: with that truth will lose its dignity. One might tend to call "true" "redundant". IV 156 Redundancy/Definition/Black: in this sense, every defined character is redundant (eliminable). Truth/Everyday language/Black: We do not need to fear that the paradoxes occur again, because we can always stratify (distinguish semantic types). Truth/Everyday language/Philosophy/Tarski/Black: Thesis: a "philosophical t-theory will bring little more than platitudes and tautologies". |
Black I Max Black "Meaning and Intention: An Examination of Grice’s Views", New Literary History 4, (1972-1973), pp. 257-279 In Handlung, Kommunikation, Bedeutung, G. Meggle (Hg) Frankfurt/M 1979 Black II M. Black The Labyrinth of Language, New York/London 1978 German Edition: Sprache. Eine Einführung in die Linguistik München 1973 Black III M. Black The Prevalence of Humbug Ithaca/London 1983 Black IV Max Black "The Semantic Definition of Truth", Analysis 8 (1948) pp. 49-63 In Truth and Meaning, Paul Horwich Aldershot 1994 |
| Russell, B. | Fodor Vs Russell, B. | Fodor/Lepore IV 54 Meaning Holism/MH/Fodor/Lepore: Quine suggests a curious additional argument, derived from the incomplete symbol. Incomplete Symbol/Russell: an incomplete symbol is defined in use. This would imply a "statement holism": because the unit of meaning is the statement and not the term (phrase, word >Frege). Fodor/LeporeVs: this is a modal thesis and therefore the last thing Quine would appreciate. That is, not only that expressions are not defined in use, but that they must be defined like this. IV 55 VsRussell: mildly speaking, it is unclear whether Russell’s remarks about certain descriptions guarantee that. It is not clear whether definition in use guarantees anything about meaning. E.g. suppose some words were defined in terms of their context, as Russell believed: then it remains to be seen in relation to which aspects. In particular, it depends on whether words that are defined in use are ipso facto defined relative to the semantic properties of their contexts. Fodor/Lepore: maybe, maybe not. Vs: this suggests that a sentence is a syntactic unit (Dennett pro). Semantic Properties/Fodor/Lepore: it is not at all clear that the semantic properties are something that words have by virtue of their relationship to the sentences in which they occur. Nor is it clear that the units of the semantic and syntactic analysis should be the same. |
F/L Jerry Fodor Ernest Lepore Holism. A Shoppers Guide Cambridge USA Oxford UK 1992 Fodor I Jerry Fodor "Special Sciences (or The Disunity of Science as a Working Hypothesis", Synthese 28 (1974), 97-115 In Kognitionswissenschaft, Dieter Münch Frankfurt/M. 1992 Fodor II Jerry Fodor Jerrold J. Katz Sprachphilosophie und Sprachwissenschaft In Linguistik und Philosophie, G. Grewendorf/G. Meggle Frankfurt/M. 1974/1995 Fodor III Jerry Fodor Jerrold J. Katz The availability of what we say in: Philosophical review, LXXII, 1963, pp.55-71 In Linguistik und Philosophie, G. Grewendorf/G. Meggle Frankfurt/M. 1974/1995 |
| |||
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 |
|---|---|---|---|
| Holism | Fodor, J. | IV 54 Meaning holism / Fodor / Lepore: a curious additional argument suggested by Quine: derived from the incomplete symbol. incomplete symbol / Russell: is defined in use: this would mean a "Propositional holism" is implied. Because the unit of meaning is the statement and not the term ( > Frege). Fodor / LeporeVs: this is a modal thesis and so the last thing that Quine would accept. IV 127 Thesis: belief - holism is secured - meaning - holism is not! |
|
| |||