Find counter arguments by entering NameVs… or …VsName.
The author or concept searched is found in the following 48 entries.
| Disputed term/author/ism | Author |
Entry |
Reference |
|---|---|---|---|
| Anaphora | Brandom | I 438 Anaphora/Brandom: you do not describe a cat if you refer to it with "it". >Pronouns. I 438 Truth/Brandom Thesis: "true" functions I 423 Pronoun/Brandom: old: only linguistic, like bound variables (Co-Reference) - new: anaphora is more basal than Deixis! - Deixis assumes anaphora. - Anaphora without index words is possible, but not vice versa. >Pointing, >Ostension. I 627 Anaphora/Reference/Uniqueness/Unrepeatability/Brandom: substitution is of course not definable for unrepeatable tokenings - therefore it has to be referred to anaphorically. I 638 Deixis requires anaphora! No language can indicate if it does not have asymmetric, anaphoric constructions - the predecessor can even be a mere possible tokening: "refers to". I 639 Two possibilities: a) Type Recurrence: symmetrically acquired significance (e.g. proper names of certain descriptions) - 2. indexical, asymmetrical I 954 Anaphora/Rigidity/Brandom: anaphoric chains are rigid - but not "impure chains": Leibniz could have been called differently, so it is possible that the one referred to by "Leibniz" is not Leibniz - N.B.: in counterfactual situations expressions would belong to other token recurrence structures than actual. >Rigidity. I 684 Anaphoric chains/Evans/Brandom. Problem: if the predecessor is quantified: Example Hans has bought some donkeys and Heinz has vaccinated them (all or some of the some?) - Example few politicians came to the party but they had a good time (few of the few?).Cf. >Donkey sentences. I 686 Evans: Proposal: Note I 956 "An expression a c dominates an expression b exactly if the first branching node that dominates a also dominates b (and a and b do not dominate each other). |
Bra I R. Brandom Making it exlicit. Reasoning, Representing, and Discursive Commitment, Cambridge/MA 1994 German Edition: Expressive Vernunft Frankfurt 2000 Bra II R. Brandom Articulating reasons. An Introduction to Inferentialism, Cambridge/MA 2001 German Edition: Begründen und Begreifen Frankfurt 2001 |
| Atomism | Russell | I 129 Atomism/Logic/Principia Mathematica(1)/Russell: cannot work with atomic propositions alone, because the truth can only be known empirically. >Atomic sentence, >Foudation, >Truth value. 1. Whitehead, A.N. and Russel, B. (1910). Principia Mathematica. Cambridge: Cambridge University Press. Flor III 127 Existence/Russell: what things exist in Russell's view? Atomic facts and absolutely simple individuals. (>Logical Atomism). >Atomism. Logical Atomism: an atomic fact consists of one or more simple individuals of a certain quality, or individuals who are part of a certain relation. >Relation, >Individuals, >Individual constant. Atomism/Russell: a statement about an atomic fact does not contain bound variables or propositional connectives. |
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 |
| 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 |
| Counterpart Theory | Adams | Stalnaker I 112 Counterpart theory/GT/Lewis/Stalnaker: because Lewis himself is a possibilist and the most prominent representative of the counterpart theory, it is true that the most famous arguments for the counterpart theory are possibilistic, but they do not have to be. The counterpart theory is independent of the conflict between possibilism and actualism. It has quite different arguments for itself. >Actualism, >Actual world, >Actuality. Stalnaker: I would like to consider the counterpart theory here independently of Lewis' arguments. But it is more about actualism than about possibilism. Thesis (here on trial): Actualism can combine a belief in primitive deity (haecceitas) (Adams 1979) and a genuine cross-world identity with a version of the counterpart theory, so that contingent identity and difference makes sense. >Cross-world identity, >Haecceitism, >Contingency, >Identity. Contingent Identity/Stalnaker: two things could have been one, and one thing could have been two things. >Modalities, >Counterfactuals. It will be about the connections between metaphysical and semantic questions, the possibility, the predication and identity. Haecceitism/Kaplan/Stalnaker: (Kaplan 1975)(2). I 113 Surprisingly, the problems do not arise in connection with identity, but with variable binding and quantification. >Variables, >Bound variables, >Quantification. 1. R. Adams (1979). "Primitive Thisness and Primitive Identity". Journal of Philosophy 76: 5-26. 2. D. Kaplan (1975). How to Russell a Frege-Church. Journal of Philosophy 72: 716-29. |
Stalnaker I R. Stalnaker Ways a World may be Oxford New York 2003 |
| Elimination | Hintikka | II 180 Elimination/eliminability/HintikkaVsRussell/Hintikka: in order to eliminate seemingly denotative descriptions, one must assume that the quantifiers and bound variables go over individuals that are identified descriptively. Otherwise the real Bismarck would not be an admissible value of the variables with which we express that there is an individual of a certain kind. Problem: then these quantifiers must not be constituents of the propositions, for their domains of values consists not merely of objects of acquaintance. So Russell's mistake was a twofold one. 1. Quantifier/variable/Russell/Hintikka: in 1905 he had already stopped thinking that quantifiers and bound variables are real constituents of propositions. Def Apparent Variable/Russell/Hintikka: an apparant variable is a bound variable. 2. Acquaintance/Russell: values of the variables should only be objects of the acquaintance (HintikkaVsRussell). >Quantifiers, >Quantification, >Propositions, >Acquaintance. |
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 |
| Existence | Quine | I 54 Existence: is from the standpoint of theory always a settlement. It can only be avoided by greater complexity. Arbitration: the method of arbitration: question of existence is question of evidence. I 300 Existence: the category is dependent on the point of view, but not on the existence of the objects E.g. time period. I 316 Existence: no claim of existence arises from the meaning of singular terms. >Singular Terms/Quine. I 402f Existence: does not arise from the dichotomy "single thing" - "universalia" - it does not matter whether they exist. "Equator", "North Pole" - Linking with stimuli is a weak argument for primacy of physical objects but it makes terms accessible for all positions. >Stimuli/Quine. I 412 QuineVsProperties: there is a fallacy of subtraction: deriving existence from "about" and "is about" - "round" and "dog" are terms for physical objects - but not also properties. "Round" and "dog" are general terms for objects and not singular terms for properties or classes. The same argument would be true for classes instead of properties: Generic term symbolizes as much its extension as its intension. >Classes/Quine, >Properties/Quine, >Singular Terms/Quine. II 173 Existence: "All x are y" controversy: does this imply the existence of "x"? In medieval logic it does but not in modern times (thus one gains symmetry and simplicity). VII (f) 110 Existence/Ontology/Quine: is only values of bound variables: not predicates "F", not statements "p", etc. because these are not the names of entities. VII (i) 167 Existence/Quine: we can do without "a exists" when singular terms are included in description after translation. VIII 31 Existence/Quine/(s): comes ultimately only from "The word appendicitis is a name" - but do names have to denote? >Denotation/Quine. IX 29 Existence/Ontology/Quine/(s): we cannot infer the quantity from the element. ((s) An existing thing may possibly belong to many quantities) - but the fact that we state the element implies its existence as a thing - then there is also {x: Fx} if it is to be an element of something. IX 33 Existence/Quine: must not be confused with the property of being a quantity - and virtual classes must not be confused with extreme classes. Existence of a means being an element of ϑ (universal class). The property of being a quantity means that a is an element of something. Important argument: the whole point is that you do not know if ϑ is a something. If we postulate the existence of ϑ, i.e. ϑ ε ϑ, then, in fact, all things become quantities. Existent would then be the property of being a quantity. But if there are extreme classes at all now, then ϑ is not real, ϑ ε ϑ. ((s) absurd.) IX 176 Definition/Existence/Quine: does not assume existence, but a description - Vs: even classes are not created by description. IX 218 Existence/Quine: is for NF (New Foundations) plus extreme classes: the property of being a quantity: IX 221 Existence/Quine: what was existence for NF (New Foundations), becomes only the property of being a quantity - i.e. where NF (New Foundations) said "{x: Fx} ε ϑ", we now have to say "^uFu ε Uϑ", and also limit all variables that can be hidden in the "F" to quantities (i.e. "Uϑ"). Lauener XI 128 Existence/Value of a bound variable/Quine/Lauener: since "exists" is not a predicate, we need quantification. Its logic is that of the existence quantifier. Quantifiers only receive meaning when the values of the variables are identifiable. Ideology: Part of the predicates - (as opposed to logical constants and quantifiers) - values of the variables are precisely the objects. Lauener XI 130 Everything to which a predicate applies is a value of a variable because a predicate is an open sentence. Predicate variables only exist freely. Everything that exists are objects, not e.g. properties. >Object/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 Q XI H. Lauener Willard Van Orman Quine München 1982 |
| Existence | Russell | Flor III 127 Existence/Russell: the term existence can only be applied usefully to propositional functions. >Propositional function. Def existence/Russell: There is an argument for a certain propositional function, for which it is true. cf. >Quine: to be is to be a value of a bound variable. >Existence/Quine. ((s) Explanation: according to Quine, there are no properties independent of objects. In other words, one must not quantify about properties). >Second order logic, >Schematic letters, >Bound variable. According to Russell, there are only atomic facts and absolutely simple individuals (> Logical atomism). Russell VI 76 Predicate/propositional function/Russell: some predicates, for example existence, can only be attributed to statement functions (or classes), but not to statements: E.g. "People are numerous, therefore Socrates is numerous". - Therefore, you also know that there are people in Timbuktu, without knowing them: the existence theorem is about a class, not individuals. >Description level, >Unit set, >Things/Russell, >Particulars, >Individual/Russell. Tugendhat I 377 Existence/Russell/Tugendhat: Russell interprets the singular predicative statement as an existential proposition and this as a general statement. - That was already anticipated by Kant and Frege. - Then e.g. "The present King of France is bald", etc. is always wrong -> Generality/Russell. Tugendhat II 43 Existence/Russell: one can only talk about existent things - but past and future are also existent. >Time, >Past, >Future. |
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 Tu I E. Tugendhat Vorlesungen zur Einführung in die Sprachanalytische Philosophie Frankfurt 1976 Tu II E. Tugendhat Philosophische Aufsätze Frankfurt 1992 |
| Generalization | Mates | I 173 Generalization/theorems/spelling/terminology/logic/Mates: E.g. (x) (y) Fxy <> (y) (x) Fx: generalized: II- ∧α∧α "j <> La"∧αj E.g. (Ex) (Ey) fxy <> (Ey) (Ex) fxy: II- VaVa "φ <> VaVa"φ E.g. (x) (P u Fx) <> (P u (x) Fx): II- ∧α (φ u ψ) <> (φ u Laψ) if a in φ does not occur freely E.g. (x) (Ey) (Fx u Gy) <> ((x) Fx u (Ey) Gy): II- ∧αVa "(φ u ψ) <> (∧αφ u Va" ψ) and when a does not occur freely in ψ and when a" does not occur freely in φ. >Variables/Mates, >Free variables, >Bound variables. |
Mate I B. Mates Elementare Logik Göttingen 1969 Mate II B. Mates Skeptical Essays Chicago 1981 |
| Generalization | Tarski | Berka I 469 Generalization/generalization/Tarski: makes free variables disappear. >Free Variables, >Bound variables. Berka I 480 Generalization/generalization/fulfillment/"at most distinguished at i-th position"/Tarski: Let x be a propositional function, assuming it is already known, which sequences satisfy the function x. By taking into account the content of the subject operation, we will only claim of the sequence f, that it satisfies the function LKx if this sequence itself satisfies the function x, and even then not stops to satisfy this sequence when the k-th term varies in any way. >Satisfaction/Tarski, >Sequences/Tarski. E.g. the function L2l1,2 is only satisfied through such a result, if the formula f1 >Functions/Tarski, >Terminology/Tarski. 1. A.Tarski, Der Wahrheitsbegriff in den formalisierten Sprachen, Commentarii Societatis philosophicae Polonorum. Vol 1, Lemberg 1935 |
Tarski I A. Tarski Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983 Berka I Karel Berka Lothar Kreiser Logik Texte Berlin 1983 |
| I, Ego, Self | Kaplan | Frank I 412 Vivid name/Kaplan: restriction: there must not only be one a of which I think he is going to be the next president, but a "vivid Name". (> vivid name/Locke). - Perry: but that does not solve the problem of the essential index word "I". I 430 I/Kaplan: "rigid intension", not individual - "I" designates in each claim in which it occurs, the person who is making the claim. >Index words, >Indexicality, >Names, >Designation, >Denotation. John Perry (1979): The Problem of the Essential Indexicals, in : Nous 13 (1979), 3-21 --- I 459ff I/Kaplan: designates always the one who makes the claim (the user). - CastanedaVs: only de re not in a de dicto-references - does not help with the preparation of a network of beliefs. I 469 Problem: the pronoun does not always express the speaker - more of a bound variable: "Stan thinks of me ..." VsKaplan: the first person aspect is a "grammatical illusion". >Pronoun, >de re, >de dicto. Hector-Neri Castaneda (1983 b): Reply to John Perry: Meaning, Belief, and Reference, in: Tomberlin (ed.) (1983),313-327 |
D. Kaplan Here only external sources; compare the information in the individual contributions. Fra I M. Frank (Hrsg.) Analytische Theorien des Selbstbewusstseins Frankfurt 1994 |
| Idealism | Quine | II 221 Idealism/QuineVsBradley, QuineVsIdealism: all of Bradley’s relations are real - there is no recourse: Definition from outside to inside. Basic: use of two-place predicates is no reference to an ever so real relation (otherwise abstract singular terms or bound variables). >Singular terms, >Abstract terms, >Abstract singular terms, >Bound variables, >Reference. |
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 |
| Identity | Wittgenstein | Hintikka I 22 Definition sense of the sentence/Tractatus: (4.2:) it is agreement and disagreement with the possibilities of the existence and non-existence of facts. >Facts, >States of affairs. Hintikka: it follows that the identity of the meaning of two expressions cannot be said linguistically. (6.2322) I 140 Note Hintikka: ... for Wittgenstein this is about the dispensability of the identity concept. He could also have said that this term already exists in the other elementary propositions. --- Wittgenstein I 364 Experience/perception/identity/Wittgenstein: the comparison between experiences in terms of their identity does not belong to the primary but to the secondary language games. >Language games. In a certain secondary language game, the relationship can partially be influenced by the possible documentary evidence. >Evidence. --- Wittgenstein II 338 Identity/Relation/Notation/WittgensteinVsRussell: Russell notation triggers confusion, because it gives the impression that the identity is a relationship between two things. We have to differentiate this use of the equal sign from its use in arithmetics, where we may think of it as part of a replacement rule. >Rules. WittgensteinVsRussell: its spelling gives erroneously the impression that there is a sentence like x = y or x = x. One can remove the identity sign. --- II 338/339 Identity/logical form/sentence/Wittgenstein: in my writing neither (Ex, y) x = y, nor (Ex) x = x is a set. If there is a thing, then why to express this by a statement about a thing? What tempts us to believe it is a fundamental truth that a thing is identical with itself? Thus, I did not yet met the sentence of identity. II 416 WittgensteinVsRussell: he was just trying to get next to the list another "entity", so he provided a function that uses the identity to define this entity. II 418 Identity/substitution/equal sign/Wittgenstein: E.g. "a = a": here the equal sign has a special meaning - because one would not say that a can be replaced by a. - Equal sign: its use is limited to cases in which a bound variable exists. --- IV 103 Identity/meaning/sense/WittgensteinVsFrege/Tractatus: 6.232 the essence of the equation is not that the sides have different sense but the same meaning. - But that this can be already seen at the two sides. >Equations. --- VI 179 Identity/Wittgenstein/Schulte: in overlapping silhouettes the question is meaningless, which is A or B after the separation. VI 183 Pain/identity/criteria/Wittgenstein/Schulte: which criterion for identity? Well, simply, the one who is sitting there, or any description. >Criteria. But for my pain? There is no criterion! >Pain. |
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 |
| Lambda-Abstraction | Stechow | 48 Lambda notation: [λx: f. g]. - E.g. if g is a sentence: - the function f, such that for any x that satisfies f : f (x) = 1 if g is true, 0 if g is false. 161 Lambda abstraction: returns the value sequence of a function. Lambda-bound variables: have no reference. - The variable in the lambda operator is neither bound nor free. >Lambda calculus, >Variables, >Bound variable, >Free variable, >Reference, >Operators, >Functions, >Value progression. |
A. von Stechow I Arnim von Stechow Schritte zur Satzsemantik www.sfs.uniï·"tuebingen.de/~astechow/Aufsaetze/Schritte.pdf (26.06.2006) |
| Logical Proper Names | Prior | I 150f Logical Proper Names/Prior: Logical proper names make complex predicates superfluous. N and M are l.E. if and only if any propositions in which they are both used (not only mentioned) express a relation between the objects to which they refer, and whose relation has a converse, so if φ and ψ are converses, [φMN] and [ψNM] are logically equivalent. >Predicates, >Equivalence, >Mention, >Use, >Mention/Use. An expression N is then a logical proper name (Russell's proper name, "this" etc.) only if [(δφ)N] is indistinguishable in meaning from [δ(φN)]. (Parenthesis)Prior: the latter contributes to the fact that one could say that logical proper names are always arguments of sentence-forming functions and never functions of such functions. >Functions. In general: a context of a context of a real "argument" x is a context of x. For example, "I think this is a human" is synonymous(!) with "This is a thought of mine, to be human". >Synonymy, >Context, >Levels/order, >Description levels. I 149 Bound Variables/Prior: stand for logical proper names - "For an x: 1. x φt , 2. Not other than x φt and 3. It is not the case that x ψt". >Variables, >Bound variables. I 152 Logical Proper Names/Prior: if expressions like "the φ-er" can be used as Russell's logical proper name, then without doubt all names can be used that way! >Logical proper names/Russell. But Peirce and Russell believe that this is not the case, real relations are expressed. >Relations/Russell, >B. Russell, >Ch. S. Peirce. I 155 Names/Relation/Logical Proper Names/Prior: if "Y" is a logical proper name, the following forms are equivalent: (A) X says that Y is bald (B) X says that Y is bald (C) Y is considered bald by YX. Problem: what are names in this sense anyway? >Proper names. Prior Thesis: There is a close relationship between names and the term "to be about something". >"About", >Predication, >Attribution. |
Pri I A. Prior Objects of thought Oxford 1971 Pri II Arthur N. Prior Papers on Time and Tense 2nd Edition Oxford 2003 |
| Mathematics | Chihara | Field III 44 f Mathematics / Chihara: Thesis: numbers are only linguistic entities - not abstract entities. >Numbers, >Mathematical entities, >Abstract objects. FieldVsChihara: 1st then there may only be predicative predicates (i.e. no bound variables of a higher order than ^ x). >Predicativeness, >Levels/order, >Second Order Logic. 2nd Chihara must also take account of never expressed tokens 3rd Chihara does not show the use of extrinsic, causally irrelevant entities. >Causality, >Extrinsic, >Use, >Relevance, Cf. >Electron example. |
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 |
| Natural Kinds | Fodor | I 139 Natural Kind/Fodor: no natural kind is e.g. "less than". There is no science that is based on this predicate, e.g. "less then three kilometers from the Eiffel Tower": if I knew what a law is, I would say: P is a natural kind predicate relative to S if S contains actual laws of the form Px>ax or ax>Px a-A-P are the predicates whose terms are the bound variables in the actual laws of a science. Problem: the concept of law is unclear. >Laws. I 141 E.g. different payment modes (sea shealls, dollar bills) form a natural kind, because Gresham's Law applies to payments. I 154 Def Natural kind/Fodor: a natural kind can be a thing or event classes about which there are important generalizations. Not all physical objects form natural kinds. A complete generalization dissolves the natural kind. >Generalization. |
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 |
| Non-Existence | Boer | I 7 Non-existence/search/propositional attitudes/Boer: E.g. someone who is looking for the fountain of youth or e.g. someone who worships Zeus, is looking for something and worships something. One cannot say that he is not looking for anything This leads to (D3): (D3) R is an existence-independent relation = It is possible for an existing thing to have the relation ^R to something that is not an existing thing. Boer: the application of (D3) now depends on how we interpret "some" and "existing". Existence/Classical logic: to be value of a bound variable. Problem: then you can have no relation to an existing thing that is not an existing thing ((s). That is, classical logic leads to a contradiction on a more elementary level). Relation/classical logic: must deny that there are such relations at all. Solution: then you have to regard "looking for the fountain of youth" as a simple form without complexity, i.e. no relational verb with a singular term. --- I 12 Existence-independence/conceptual dependency/non-actuality/"there is"/"exists"/Boer: distinction between "exists" and "there exists": VsNon-Actualism/Boer: this is fixed on shady entities like potential fat men. (Unrealized Possibilities). BoerVsVs: these are overreactions. Solution/Boer: a metaphysical basis for the distinction exist/be without ontological overpopulation. --- I 13 Non-actual/non-existent: here there are two possibilities then: A) an essential property of N is not exemplified (e.g., fictional figures, "merely possible individuals" e.g. Superman)> Possibilism, also Plantinga pro as an actualist) (B) N has no essential properties. For example, it is assumed that fictional characters are essentially fictional, that is, they could not be real. Then there might be at best an imitation of Superman. The fictional Superman is then a thing without individual essence. If you accept this, you can still maintain the thesis that all things are necessarily self-identical. --- I 16 Existence-independence/referential quantification/non-actualism: causal relations cannot be existence-independent. On the other hand, relations to non-existent objects must be existence-independent. E.g. search, worship, etc. can be relations to non-existent objects. |
Boer I Steven E. Boer Thought-Contents: On the Ontology of Belief and the Semantics of Belief Attribution (Philosophical Studies Series) New York 2010 Boer II Steven E. Boer Knowing Who Cambridge 1986 |
| Object | Quine | I 102 Goodman: "Rabbitness": is a discontinuous space-time segment, which consists of rabbits. --- I 372f Objects of propositional attitude eliminated: "Thomas believes (Cicero has): no longer the form" Fab" a = Thomas, b = () - but: "Fa" where "F" is a complex expression - no longer "believes" term, but operator. I 402 Existence: does not arise from dichotomy "single thing" - "universal" - it does not matter whether they do exist. "Equator", "North Pole" - linking with stimuli is weak argument for primacy of physical objects, but makes terms accessible for all positions. >Existence/Quine. I 412 Object: name which is denoted by singular terms, accepts it as values - (but the singular term is eliminated!) - E.g. "glimmer", but not "glimmeriness". I 438 Ideal objects are not permitted - geometric objects are permitted (no identity without localization). I 435 Relativity: additional dimension: space-time: point moments are absolutely different, independent of relative movement of the viewpoint. II 30 Object/Quine: space-time piece can also be distributed or scattered. (Nominalism, Goodman). II 23 Physical object is deceptive - better space-time pieces - "space" and "places as such" untenable, otherwise there would be absolute standstill and absolute movement - 4-digit coordinates suffice - ontology of pure set theory - no more physical object. II 156 ff Object (physical)/Quine: arbitrarily scattered and arbitrarily singled out - pocket contents, single coin at various points in time, combination with the Eiffel Tower, space-time points, anything - are not so strongly body-oriented - identification like from one possible world to another: without content as long as no instructions are given - value of a variable. VI 32 Object/Ontology/Quine: bodies constitute themselves as ideal nodes in the centers of overlapping observation sentences - problem: observation sentences are not permanent - therefore the objectification (reification) is always already a theory. VI 34 Question: what should be considered real objectification and not just a theoretically useful one (like classes). VI 35 Abstract objects: it is pointless to speak of permanent stimulus phases - solution: pronouns and bound variables - Vs singular term: are often not referring - there must be unspecifiable irrational numbers - Solution: bound variable instead of singular term. VI 38f Objectification/Reification/Quine: for the first time in predicative connection of observation sentences - instead of their mere conjunction - "This is a blue pebble": calls for embedding pebble into the blue. VI 41 Abstract objects/Modal/Putnam/Parsons: modal operators can save abstract objects - QuineVsModal logic: instead quantification (postulation of objects) - so we can take the slack out of the truth function. >Modal Logic/Quine. VII (d) 69 Object/Quine: may be unconnected: E.g. USA Alaska. XII 36 Properties/Identity/Quine: Problem: (unlike objects) they are ultimately based on synonymy within a language - more language-specific identity. >Properties/Quine. V 39 Ultimately we do without rigorous individuation of properties and propositions. (different term scheme) - Frege dito: (Basic Laws): do not extend identity to terms. XII 68 Object/Theory/Quine: what is an object, ultimately, cannot be stated - only in terms of a theory - (ultimately overall theory, i.e. language use) - but wrong: to say that talk about things would only make sense within a wider range - that would correspond to the false thesis that no predicate applied to all things - there are universal predicates. >Mention, >use, >word, >object. |
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 |
| Objects (Material Things) | Quine | III 270 Item/Thing/Object/Quine: is the sum of the simultaneous instantaneous states of distributed atoms or other small physical particles in space at any given moment. And over time it is the sum of its successive momentary states. QuineVsHeraclit: we can climb into the same river twice. What we cannot do is go twice to the same time stage of the river. (At least not if this part is shorter than the time we need to get in.) III 271 Change/Quine/(s): depends on the choice of time periods to be compared. XI 150 Thing/Object/Carnap/Lauener: accepting things only means choosing a certain language. It is not believing in those things. XI 151 CarnapVsQuine: its existence criterion (to be the value of a bound variable) has no deeper meaning in that it only expresses a language choice. QuineVsCarnap: Language and theory cannot be separated in this way. Science is the continuation of our daily practice. >Language/Quine. VII (a) 18 Objects/Quine: their existence is postulated in order to simplify access to the stream of experience. >Experience/Quine. VII (d) 66f Objects/Particulars/Thing/Hume: the idea of physical objects arises from an error of identification. Every moment we really invent a new object! QuineVsHume: we do not need to share that. IX 35 Object/Class/Quine: every thing for us is a class, after we declared individuals in Chapter 4 to be their own elements, it follows that every class is a class of classes, and that every thing is in a class of classes. Benefit: wherever a free variable has a meaning, a set abstraction makes sense. Therefore, we can henceforth use Greek letters instead of variables in the free places. >Classes/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 |
| Ontological Commitment | Quine | Lauener XI 130 Ontological Commitment/Quine/Lauener: only exists when an object is common to all differently re-interpreted domains - (while retaining the interpretation of the predicates) - the theory only presupposes objects if it would be wrong if the objects did not exist - E.g. "objects of any kind whatsoever": here one is commited to dogs if each of the domains contains one or the other dog. XI 48 Substitutional Quantification/sQ/Ontology/Quine/Lauener: substitutional quantification does not enter into an ontological obligation in so far as the names used do not have to name anything. That is, we are not forced to accept values of the variables. XI 49 QuineVsSubstitutional Quantification: precisely with this we disguise ontology by not getting out of the language. >Substitutional Quantification/Quine. XI 133 Ontology/Modality/LauenerVsQuine: it is noticeable that in its formulations occur intensional expressions such as "must occur among the values of the variables", "must be true of" etc. Or psychological connotations such as "we look at". ChurchVsQuine: the expression "ontological commitment" is intentional. (>Intensions). XI 158 Ontology/ontological obligation/Quine/Lauener: Lauener: unsolved problem: the relationship between ontological obligation and ontology. For example, two modern chemical theories, one implies the existence of molecules with a certain structure, the other denies them. Question: do they have the same ontology despite different commitments? Quine/Lauener: would probably say yes and say that one of the two theories must be wrong. ((s) Then they have rather the same obligation than the same ontology). LauenerVsQuine: my attempts to solve these problems make me believe that not only the quantified variables (with the objects) but also the predicates play a role. Quine VII (a) 12 Ontology: the bound variable is the only way to impose ontological obligations on us. Example: we can already say that it is something (namely the value of the bound variables) that red houses and sunsets have in common. |
Quine I W.V.O. Quine Word and Object, Cambridge/MA 1960 German Edition: Wort und Gegenstand Stuttgart 1980 Quine II W.V.O. Quine Theories and Things, Cambridge/MA 1986 German Edition: Theorien und Dinge Frankfurt 1985 Quine III W.V.O. Quine Methods of Logic, 4th edition Cambridge/MA 1982 German Edition: Grundzüge der Logik Frankfurt 1978 Quine V W.V.O. Quine The Roots of Reference, La Salle/Illinois 1974 German Edition: Die Wurzeln der Referenz Frankfurt 1989 Quine VI W.V.O. Quine Pursuit of Truth, Cambridge/MA 1992 German Edition: Unterwegs zur Wahrheit Paderborn 1995 Quine VII W.V.O. Quine From a logical point of view Cambridge, Mass. 1953 Quine VII (a) W. V. A. Quine On what there is In From a Logical Point of View, Cambridge, MA 1953 Quine VII (b) W. V. A. Quine Two dogmas of empiricism In From a Logical Point of View, Cambridge, MA 1953 Quine VII (c) W. V. A. Quine The problem of meaning in linguistics In From a Logical Point of View, Cambridge, MA 1953 Quine VII (d) W. V. A. Quine Identity, ostension and hypostasis In From a Logical Point of View, Cambridge, MA 1953 Quine VII (e) W. V. A. Quine New foundations for mathematical logic In From a Logical Point of View, Cambridge, MA 1953 Quine VII (f) W. V. A. Quine Logic and the reification of universals In From a Logical Point of View, Cambridge, MA 1953 Quine VII (g) W. V. A. Quine Notes on the theory of reference In From a Logical Point of View, Cambridge, MA 1953 Quine VII (h) W. V. A. Quine Reference and modality In From a Logical Point of View, Cambridge, MA 1953 Quine VII (i) W. V. A. Quine Meaning and existential inference In From a Logical Point of View, Cambridge, MA 1953 Quine VIII W.V.O. Quine Designation and Existence, in: The Journal of Philosophy 36 (1939) German Edition: Bezeichnung und Referenz In Zur Philosophie der idealen Sprache, J. Sinnreich (Hg) München 1982 Quine IX W.V.O. Quine Set Theory and its Logic, Cambridge/MA 1963 German Edition: Mengenlehre und ihre Logik Wiesbaden 1967 Quine X W.V.O. Quine The Philosophy of Logic, Cambridge/MA 1970, 1986 German Edition: Philosophie der Logik Bamberg 2005 Quine XII W.V.O. Quine Ontological Relativity and Other Essays, New York 1969 German Edition: Ontologische Relativität Frankfurt 2003 Quine XIII Willard Van Orman Quine Quiddities Cambridge/London 1987 Q XI H. Lauener Willard Van Orman Quine München 1982 |
| Ontology | Quine | I 416 Existence/Quine: doubtful: "There are terms that...", "some of these propositions...", "there is something that he doubts...". - Meaningless: talking about two different meanings of "there is" for abstract and concrete objects, but of one single meaning of object. >Meaning/Quine. I 416 Theory: are isolated systems, mass point, infinitesimal size: each behavior is more typical, the closer you get to zero, therefore acceptable - but not approved in ontology. - Unlike geometrical object: Position of mass points had no meaning - therefore not individuable, no identity! (> Quine, Word and Object, 1960, § 52.) I 465f Ontology: in the end only words at all (names of objects) - but accpetance of ideal objects is no linguistic convention. II 25 Ontology that consisted only of materials and bodies would be very vague - but precision is just a question of classification. II 28 Numbers/Ontology: Numbers merely "facon de parler". - Higher classes are needed to replace numbers - otherwise there are only physical object. VII (a) 15ff Ontology/Quine: the phrase "To be is to be the value of a bound variable" does not decide between competing O. - We do not consider the variables to find out what there is! - The variable shows what a statement asserts - Problem: I cannot admit that there are things that the other one accepts and I do not. Deviations in the O involve those in the conceptual scheme - the upper links of the object language can be shared by counterparties and make discussion of language possible. >Semantic ascent/Quine. VII (f) 107 Ontology/Translation/Quine: we cannot find ontological definitions for totally foreign languages. VII (g) 132 Ontology/Quine: a theory may even include entities that are indefinable in the same theory. XII 38 Economical ontology/Quine: predicates instead of properties - sentences instead of propositions. >Predicates/Quine, >Sentences/Quine. XII 75ff Pythagorean Ontology/Pythagorism/Quine: a pythagorean ontology consists only of objects of one type, for example numbers or quantities or bodies. One could get these with Loewenheim. Quine: that should be avoided. Problem: after reduction an infinite range might still remain. Some numbers lose their number property but we do not know which. Solution: Ontological Relativity: it is useless to speak of the ontology of a theory in absolute terms including that "all are numbers". Solution: relativistic theory. Just as there is no absolute location or absolute speed. Problem: we need to specify a proxy function for a reduction and that is not possible with the axiom of choice (the strong form of Loewenheim). - A proxy function from above-countable to countable range is impossible because of the lack reversibility. |
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 |
| Operators | Stalnaker | I 129 Variable binding/Stalnaker: binding of variables can also be done by an abstraction operator instead of a quantifier. >Bound variable, >Quantifiers, >Operators, >Quantification. Advantage: an advantage is conceptual clarity. Complex predicates can be vague or ambiguous. >Predicates, >Ambiguity, cf. >Disjunctive Predicates. |
Stalnaker I R. Stalnaker Ways a World may be Oxford New York 2003 |
| Properties | Strawson | IV 67/68 properties/Strawson: one could concede that attributes and properties are ontologically of secondary importance. Reference to characteristics presupposes the reference to objects but not vice versa. >Reference, >Attributes, >Things/Strawson, >Properties. IV 69 VsQuine: quantification over properties: e.g. "there is a property that no thing has: perfection". >Quantification/Quine, >Schematic letters/Quine, >Properties/Quine, >Second Order Logic. IV 67 Reference/Strawson: particulars are possible without reference to properties. ((s) QuineVsStrawson: when Quine says being means being value of a bound variable, it means there are no properties without objects). >Bound variable. |
Strawson I Peter F. Strawson Individuals: An Essay in Descriptive Metaphysics. London 1959 German Edition: Einzelding und logisches Subjekt Stuttgart 1972 Strawson II Peter F. Strawson "Truth", Proceedings of the Aristotelian Society, Suppl. Vol XXIV, 1950 - dt. P. F. Strawson, "Wahrheit", In Wahrheitstheorien, Gunnar Skirbekk Frankfurt/M. 1977 Strawson III Peter F. Strawson "On Understanding the Structure of One’s Language" In Truth and Meaning, G. Evans/J. McDowell Oxford 1976 Strawson IV Peter F. Strawson Analysis and Metaphysics. An Introduction to Philosophy, Oxford 1992 German Edition: Analyse und Metaphysik München 1994 Strawson V P.F. Strawson The Bounds of Sense: An Essay on Kant’s Critique of Pure Reason. London 1966 German Edition: Die Grenzen des Sinns Frankfurt 1981 Strawson VI Peter F Strawson Grammar and Philosophy in: Proceedings of the Aristotelian Society, Vol 70, 1969/70 pp. 1-20 In Linguistik und Philosophie, G. Grewendorf/G. Meggle Frankfurt/M. 1974/1995 Strawson VII Peter F Strawson "On Referring", in: Mind 59 (1950) In Eigennamen, Ursula Wolf Frankfurt/M. 1993 |
| Propositional Functions | Quine | IX 178 Propositional Function/Principia Mathematica(1)/Theoretical Terms/Russell: name for attributes and relations - "f", "y"... as variables - i.e. that x has the attribute f, that x is to y in the relation y, etc. "fx",y(x,y)", etc. - ^x: to abstract propositional function from statements he just inserted variables with an accent circonflexe into the argument positions - E.g. the attribute to love: "^x loves y" E.g. to be loved: "x loves ^y" (active/passive, without classes!) (>lambda notation/(s) Third Way between Russell and Quinean classes) - Analog in class abstraction: "{x: x loves y}", "{y: x loves y}" - E.g. relation of loving: "{: x loves y}" or "{: x loves}". Abstraction: Problem: in wider contexts sometimes you have no clues as to whether a variable ^x should be understood as if it caused an abstraction of a short or a longer clause - Solution/Russell: Context Definition - statement function must not occur as a value of bound variables that are used to describe it - it must always have too high an order to be a value for such variables - characteristic back and forth between sign and object: the propositional function receives its order from the abstracting expression, and the order of the variables is the order of the values. >Variables/Quine, >Attributes/Quine IX 185 Propositional Function/Attribute/Predicate/Theoretical Terms/QuineVsRussell: overlooked the following difference and its analogues: a) "propositional functions": as attributes (or intensional relations) and b) "proposition functions": as expressions, i.e. predicates (and open statements: E.g. "x is mortal") - accordingly: a) attributes b) open statements - solution/Quine: allow an expression of higher order to refer straight away to an attribute or a relation of lower order. 1. Whitehead, A.N. and Russel, B. (1910). Principia Mathematica. Cambridge: Cambridge University Press. |
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 |
| Quantifiers | Russell | Hintikka I 173 Quantification/quantifier/acquaintance/description/Russell/Hintikka: in Russell, the quantifiers (or the domain of bound variables) go only via objects of the acquaintance. ((s) physically present things). Description/Theory of Description/Russell: descriptions are eliminated in the context in favor of quantifiers. There are only quantifiers and bound variables. >Bound variables. Russell/Hintikka: one could paraphrase it as the following: the concept "is always true" is the only one occuring in propositions which originally contained certain descriptions. Power/Russell/Hintikka: the force ((s) semantic force) of the reduced propositions depends on the individual range of the variable. N.B./Hintikka: now it is only a part of the story that Russell has successfully eliminated non-existent objects (E.g., the current King of France is bald). His reduction continues: Quantifier/Russell/Hintikka: the quantifiers go only via objects of the acquaintance. ((s) objects of which we only know by description are not allowed, they cannot be quantified via according to Russell, which is more than the elimination of non-existent objects because there are also existing objects which we know only by description). Hintikka I 173 Denotation/Russell/Hintikka: N.B.: a brilliant feature of Russell's theory of the denotation of 1905 is that it is the quantifiers which denote! Theory of Description/Russell: (end of "On Denoting")(1) Thesis: contains the reduction of descriptions on objects of acquaintance. >Acquaintance. I 174 Hintikka: this connection is astonishing. It also appears to be circular, only to admit objects of acquaintance. Solution: we must see what successfully denotating phrases actually denote: they denote objects of acquaintance. Ambiguity/uniqueness/Hintikka: it is precisely ambiguity that leads to the failure of the existential generalization. E.g. Waverley/Russell/Hintikka: that only objects of acquaintance are allowed, shows his own example: "the author of Waverley" in (1) is actually a primary event, i.e. his example (2). "Whether"/Russell/Hintikka: only difference: wanted to know "whether" instead of "did not know". Secondary Description/Russell: can also be expressed in the way that George wanted to know from the man who actually wrote Waverley whether he was Scott. I 175 That would be the case if George IV had seen Scott (at a distance) and had asked "Is that Scott?". HintikkaVsRussell: why does Russell choose an example with a perceptually known individual? Do we not normally deal with individuals of flesh and blood, whose identity is known to us, rather than merely with perceptual objects? Knowledge who/knowledge what/perception object/Russell/Hintikka: precisely in the case of perception objects, it seems as if the kind of uniqueness that we need for a knowledge-who does not exist. Hintikka I 178 Quantifier/Quantification/HintikkaVsRussell: Russell systematically confuses two types of quantifiers. (A) of the acquaintance, (B) of the description. Problem: Russell had not realized that the difference cannot be defined solely in relation to the actual world! Solution/Hintikka: we need a relativization to sets of possible worlds, which change with the different propositional attitudes. >Possible world, >Propositional attitude. Hintikka I 180 Elimination/Eliminability/HintikkaVsRussell/Hintikka: in order to eliminate merely seemingly denotating descriptions, one must assume that the quantifiers and bound variables go via individuals that are identified descriptively. ((s) >intensional object ). Otherwise the real Bismarck would not be an admissible value of the variables with which we express that there is an individual of a certain kind. Problem: then these quantifiers must not be constituents of the propositions, for their range of values consists not merely of objects of acquaintance. So Russell's mistake was a twofold one. 1. Quantifier/Variable/Russell/Hintikka: by 1905 he had already stopped thinking that quantifiers and bound variables are real constituents of propositions. Def apparent variable/Russell/Hintikka: = bound variable. 2. Acquaintance/Russell: values of the variables should only be objects of the acquaintance. (HintikkaVsRussell). Hintikka I 180 Quantifiers/HintikkaVsRussell: now we can see why Russell did not distinguish between different quantifiers (acquaintance/description): for him, quantifiers were only notational patterns, and for them it is not necessary to define the range of possible interpretation, therefore it does not make a difference when the domain changes! Quantification/Russell: for him it was implicitly objective (referential), in any case not substitutional. >Domains, >Referential quantification, cf. >Substitutional quantification. 1. Russell, B.(1905). On Denoting. Mind 14 (56):479-493 |
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 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 |
| Quotation Marks | Brandom | I 438 Anaphora/Brandom: you cannot describe a cat by referring to it as "it". >Anaphora. I 438 Truth/Brandom thesis: "true" works anaphorically and not descriptively. >Truth predicate, >Description. I 423 Pronoun/Brandom: old: only linguistically, like bound variables (co-reference) - new: anaphora is more basal than deixis! - Deixis implies anaphora - anaphora possible without index words, but not vice versa. >Pronouns, >Ostension. I 627 Anaphora/Reference/Uniqueness/Unrepeatability/Brandom: Substitution is note definable for unrepeatable tokenings, of course - therefore anaphoric reference must be made to them. I 638 Deixis requires anaphora. No language can indicate if it does not possess asymmetric, anaphoric constructions - the predecessor may even be a merely possible Tokening: "refers to". I 639 Two options: a) Type recurrence: symmetrically acquired significance (e.g. proper names of specific descriptions) - 2) indexical, asymmetric. I 954 Anaphora/rigidity/Brandom: anaphoric chains are rigid - but not "impure chains": Leibniz could have had a different name, so it is possible that the person to which "Leibniz" refers is not Leibniz - N.B.: in counterfactual situations, expressions with different token recurrence structures would be considered factual. >Rigidity. I 684 Anaphoric chains/Evans/Brandom: Problem: if the predecessor is quantified: E.g. Hans bought some donkeys and Heinz vaccinated them (all or some of them?) - E.g. few politicians came to the party, but they enjoyed themselves a lot (few of the few?). I 686 Evans: Proposal: I 956 An expression a dominates an expression b then if and only if the first branch node that dominates a, also dominates b (and a and b do not dominate each other mutually). II 112 Distancing quotation marks/Brandom: one takes the responsibility for the claim - however, one attributes the responsibility that these words are appropriate to another - the exact reverse of de re attribution. >Attribution, cf. >Description levels. |
Bra I R. Brandom Making it exlicit. Reasoning, Representing, and Discursive Commitment, Cambridge/MA 1994 German Edition: Expressive Vernunft Frankfurt 2000 Bra II R. Brandom Articulating reasons. An Introduction to Inferentialism, Cambridge/MA 2001 German Edition: Begründen und Begreifen Frankfurt 2001 |
| Ramsey Sentence | Lewis | IV 78 Ramsey-sentence/Lewis: eliminates theoretical terms in favor of bound variables. >Theoretical term/Lewis, >Bound variable. Carnap conditional: then divides the theory into two parts: a) analytical part of the theory: partial interpretation of the theoretical terms b) synthetic part: the theoretical terms are eliminated here. >Carnap-conditional. IV 81 Ramsey-sentence/Lewis: says nothing more than that the theory is implemented. - Carnap sentence: is neutral as to whether it is implemented. Carnap sentence is a conditional of the Ramsey sentence and of the postulate of the theory 1) the postulate: is logically equivalent to the conjunction of Ramsey and Carnap sentence 2) the Ramsey sentence and the postulate imply exactly the same sentences in old theory 3) Carnap sentence implies no sentences of the old theory except logical truths. Ramsey sentence: could simply replace the postulate (the new theory in a sentence). Carnap: proposes to take the Ramsey sentence as synthetic postulate of T and the Carnap sentence as an analytical postulate of T - They share the work of the original postulate. Postulate/Carnap: systematized the O sentences (old theory) and partially interpreted the theoretical terms. IV 89 Ramsey-sentence/Lewis: states that a theory has at least one implementation - this is weaker than our extended postulate/Lewis: this implies that the theory has been implemented once. IV 259 Ramsey-sentence/Lewis: wipes out the difference between intensional and extensional language - at the same time it eliminates technical vocabulary by existential quantification. >Extension, >Intension, >Existential quantification. "Ramsification" neutral level: there is a system of categories, S, N, X/Y, there are three relationships of expressions to things: A-tension, B-tension, C-tension. --- Schwarz I 218 Ramsey-sentence/Lewis/Schwarz: E.g. banana theory: there are things that are long-ish yellow fruits (can turn out to be wrong) - Carnap-conditional: if there are things that are long-ish ..., then bananas are long-ish ...- cannot turn out to be wrong (is analytical). >Analyticity/syntheticity. |
Lewis I David K. Lewis Die Identität von Körper und Geist Frankfurt 1989 Lewis I (a) David K. Lewis An Argument for the Identity Theory, in: Journal of Philosophy 63 (1966) In Die Identität von Körper und Geist, Frankfurt/M. 1989 Lewis I (b) David K. Lewis Psychophysical and Theoretical Identifications, in: Australasian Journal of Philosophy 50 (1972) In Die Identität von Körper und Geist, Frankfurt/M. 1989 Lewis I (c) David K. Lewis Mad Pain and Martian Pain, Readings in Philosophy of Psychology, Vol. 1, Ned Block (ed.) Harvard University Press, 1980 In Die Identität von Körper und Geist, Frankfurt/M. 1989 Lewis II David K. Lewis "Languages and Language", in: K. Gunderson (Ed.), Minnesota Studies in the Philosophy of Science, Vol. VII, Language, Mind, and Knowledge, Minneapolis 1975, pp. 3-35 In Handlung, Kommunikation, Bedeutung, Georg Meggle Frankfurt/M. 1979 Lewis IV David K. Lewis Philosophical Papers Bd I New York Oxford 1983 Lewis V David K. Lewis Philosophical Papers Bd II New York Oxford 1986 Lewis VI David K. Lewis Convention. A Philosophical Study, Cambridge/MA 1969 German Edition: Konventionen Berlin 1975 LewisCl Clarence Irving Lewis Collected Papers of Clarence Irving Lewis Stanford 1970 LewisCl I Clarence Irving Lewis Mind and the World Order: Outline of a Theory of Knowledge (Dover Books on Western Philosophy) 1991 Schw I W. Schwarz David Lewis Bielefeld 2005 |
| Recursion | Quine | IX 58 Recursive definition/recursion/sum/product/potency/arithmetic/Quine: recursion scheme: x + 0 = x - x + S°y = S°(x + y); - x times 0 = 0; - x times (S°y) = x + x times y - (s) difference to the successor for x u y equal)›; - x0 = S°0 (=1) ; - x S°y = x times x y. - "Plus"/plus sign/Quine: so we can eliminate "+" completely from "x + 3": "S°(S°(S°x))" - but not from "x + y" (Because we do not know how often we need the successor of x) - multiplication: we can eliminate the "times" from "x 3 times": "x + (x + (x + 0))" but not from "x times y" - recursions are real definitions if we regard the characters as scheme letters for numbers, not as bound variables. --- IX 126 Transfinite recursion/sum/product/potency/Quine: x * 0 = 0. x * (S 'z) = x + x * z - transformed into a real or direct definition: x * y = (λv(x + v))Iy'0 - general divice: a'0 = k, a'(S'z) = b'(a'z) - a'y = b Iy'k - from the last element: a = U{w: w ε Seq u ‹k,0› ε w u w I S ^w ≤ b}. - Advanced, liberal recursion: not only from the last previous element. - instead totality of the previous elements a = U{w: w ε Seq u ∀y(y ε ^w''ϑ ›› ‹w'y, w re {z:z ‹ y}› ε g)}. |
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 |
| Relations | Cresswell | II 107 Relativization/Cresswell: E.g. "admires" is a two-place relation - i.e. it depends on two arguments - but they can be reduced to a single digit: as a predicate "admires someone". We achieve independence by adding the relation. That is, it is either true or false that x admires someone. It is no longer relatively to two things. V *: evaluation function (in the idiolect) can then play the role of a bound variable. >Valuation, >Bound variable, >Idiolect. |
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 |
| Russell’s Paradox | Quine | IX 181 Russell’s paradox/Theoretical Term/Quine: how is it avoided in the theoretical terms? - If y the truth function ~^j^j (the attribute of not being an attribute of itself - then by concretisation that "c(yc~cc.) - And thus in particular that yy~yy. 1) The combination "jj" is ungrammatical, because the order of an statement function must exceed that of its arguments 2) Even if it was not excluded: if one defines y as ~jj, y obtains a higher order than its bound variable "j" and thus one cannot use c for y in this step, which led to "yy~yy". IX 196 Antinomy/Russell: should be neither true nor false, but simply meaningless - A is also avoided by limiting the variables - but after Wieners gP, the model of finite classes does not depend on the futility of the violation - they simply become wrong - with universal variables the systematic ambiguity also becomes void. IX 227 Russell’s paradox/Quine: set of all...exists! However, as oc - or "class of all classes that do not ..." does not exist, but "class of all sets that do not ...". |
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 |
| Satisfaction | Quine | VI 121f Truth/Satisfaction/Recursion/Tarski/Quine: truth can actually not be defined by satisfaction (level) - Solution: satisfaction itself is not directly but recursively defined - then truth can be defined through satisfaction - because satisfaction of each sentence is delivered, not a rule like "x fulfils y" for variable y - direct definition: leads to rules - Recursion: on individual cases. VI 123 Hence truth and satisfaction clearly, but not eliminably defined. --- X 61 Satisfaction/Meta language/Object language/Quine(s): that what satisfies, is part of the meta language, that what is satisfied is part of the object language. >Object language, >Metalanguage. X 62 Satisfaction/Quine: the n-tuples can contain more elements than the satisfied sentence has variables. The surplus elements are irrelevant - E.g. x conquered y is fulfilled by the n-tuple (sequence) for every a - ((s) i.e. the surplus elements can be any objects.) If the n-tuple has fewer elements than there are variables in the sentence, then the last element is always repeated. Only closed sentences can be true - but also closed sentences can be satisfied - they are satisfied with any n-tuple (object sequence), because all surplus elements of the sequence (objects) are simply irrelevant - if the sentence contains no variables, all objects are irrelevant. Quine: this applies due to a convention. X 63 N-tuples/sequence/satisfaction/(s): the sequences or n-tuples are always sequences of objects, rather than strings. - A sentence (even a string) can never be satisfied by a string, only by objects. Satisfaction/alphabetical order/Quine: is important because of conjunction - E.g. satisfies both "x conquered y" and "z killed x". X 64 Satisfaction/Existential quantification/Quine/(s): existential quantification creates sentences where not all variables must be bound. Deviation at most at i-th point: the point that may deviate is just the point of the bound variable! - E.g. (Ey)(x conquered y) is fulfilled with X 68 Satisfaction definition/Quine: must contain object language and metalanguage. X 72 Satisfaction/Sequences/Object sequences/General/Particular/Compound/Compound sentences/Quine: Problem: you could know of an n-tuple which simple sentences it fulfils and yet you cannot decide whether it satisfies a particular compound sentence. - E.g. one could know which simple sentences an n-tuple satisfies, but not if it fulfils a quantification "Ez Fxyz" - because that depends on whether at least one element w requires: fulfils "Fxyz". |
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 |
| Satisfiability | Tarski | Berka I 482 Satisfiability/Tarski: depends only on those terms of the sequence from which (with respect to their indices) correspond to the free variables of propositional functions. >Sequences/Tarski, >Propositional functions. In the case of a statement (without free variables) the satisfiability does not depend on the properties of the links. >Statements. Each infinite sequence of class satisfies a given true statement - (because it does not contain free variables). >Free variables, >Bound variables. False statement: satisfied by no sequence - variant: satisfiability by finite sequences: according to this view, only the empty sequence satisfies a true statement (because this one has no variables). Berka I 483 Satisfiability/sequences/statements/Tarski: (here: by finite sequences): E.g. the statement (not propositional function) L1U2l1,2. i.e. "PxlNPxllNIxlxll" according to Definition 22 (satisfiability) satisfies the propositional function L1,2 those and only those sequences f of classes for which f1 Being satisfied/satisfiability/Tarski: previously ambiguous because of relations of different linking numbers or between object and classes, or areas of different semantic categories - therefore actually an infinite number of different satisfiability-concepts - Problem: then no uniform method for construction of the concept of the true statement - solution: recourse to the class calculus: Satisfiability by succession of objects.(1) >Truth definition, >Truth theory, >Class calculus. 1. A.Tarski, Der Wahrheitsbegriff in den formalisierten Sprachen, Commentarii Societatis philosophicae Polonorum. Vol. 1, Lemberg 1935 |
Tarski I A. Tarski Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983 Berka I Karel Berka Lothar Kreiser Logik Texte Berlin 1983 |
| Semantic Categories | Tarski | Berka I 498 Def Semantic Category/meaning category/Husserl/Tarski: 1. two expressions belong to the same meaning category when its first propositional function is one that contains any of these phrases. 2. When no function that contains one of these expressions loses the character of a propositional function if this expression is substituted by the other - ( reflexive, transitive, symmetric). Example of Category propositional function: e.g. names of individuals - e.g. variables. >Propositional functions, >Variables, >Proper names, >Meaning categories. I 499 Def Main Principle of semantic categories/Tarski: in everyday language a single case seems to satisfy the propositional function which is preserved while replacing the expression. >Everyday language. Meaning category/Tarski: here not for compound expressions but only for variables - Decisive is the mere form. Wit of the Main Principle: we want that substitution always results in new statements, we can use as variables only expressions of the same semantic category. >Inserting, >Substitution, >Abstraction/Tarski. I 500 It follows that no character can be a functor of two functions at the same time that can have a different number of arguments or two such functions (even if they have the same number of arguments) in which two of their relevant arguments belong to different meaning categories. >Uniqueness, >Unambiguity, >Functors. I 520 Bound variables have no influence on the semantic type.(1) >Bound variables. 1. A.Tarski, Der Wahrheitsbegriff in den formalisierten Sprachen, Commentarii Societatis philosophicae Polonorum. Vol. 1, Lemberg 1935 |
Tarski I A. Tarski Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983 Berka I Karel Berka Lothar Kreiser Logik Texte Berlin 1983 |
| Sentences | Quine | I 252f "Purely indicative" unambiguous (substitutability of identity) not: "Tullius was a Roman" is trochaic - An expression in quotation marks is not purely indicative - ambiguous reference. - Every truth function is denotation-transparent. I 332 Sentence = Universal! - Value of the variables: Proposition (object) - remains intact even after the elimination of the singular term. - The proposition resists a change of the truth value. - The proposition remains nameless in "x0p". I 337 Sentence: is not the class of its expressions, otherwise non-expressed sentenceswould be = zero class (all would have the same meaning). - A sentence is not a property of expressions either. - Solution: sentence as a consequence: class of pairs. - Partial sign: class of expression incidents. I 336 Words describe - sentences do not (no singular term)! - Nevertheless, a sentence has a meaning: the singular term is formed by bracketing the sentence. (not a proposition!) - Proposition here: completion of the correct sentence to a timeless sentence - timeless sentence "The door is open": which door? denotes nothing. --- Prior I 35 Sentence/Quine: is not an object - Then also no quantification, no bound variables for it - PriorVsQuine: unproblematic: E.g. "J. believes p": J. does not believe anything, this ultimately stands for a sentence. --- Quine VII (f) 109ff Sentence/QuineVsFrege: sentences must not be regarded as names and "p", "q" not as variables, accept the entities as entities named through expressions as values. --- X 31 Sentence/Quine: we speak only of sentences if we want to generalize - (and we cannot do that through objects). X 35 Semantic ascent/Quine: this mention of sentences is only a technical necessity that arises when we want to generalize in one dimension, which cannot be grasped by a variable. --- XII 39 Sentence/Proposition/Propositional attitude/Translation/ChurchVsQuine: if sentence bears the meaning instead Proposition, then problem: E.g. Edwin believes the German sentence S - English Translation: a) leave sentence, b) reproduce in indirect speech in English: then both are not equivalent - "QuineVsVs: admitted, but unclear concept of everyday language equivalence. Quine: still not accepts linguistic forms as objects of propositional attitude: too artificial. >Propositional attitudes. |
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 Pri I A. Prior Objects of thought Oxford 1971 Pri II Arthur N. Prior Papers on Time and Tense 2nd Edition Oxford 2003 |
| Substitution | Hintikka | II 194 Substitutability of Identity/intensionality/Hintikka: a sure indicator of intensionality is the failure to preserve the identity of the individual domain. >Intentionality. If it happens that the identity fails from one possible world to another, we have a counter-example to the known law ((s) Leibniz's law): (Substitutability of identity) (x)(y) (X = y > F[x] > F[y])). ((s) identical objects have all properties in common). This is sometimes called the "bound variable form of identity". Equivalent to: (x)(y) ( x = y > neccessary (x = y)) ((s) What is identical is necessarily identical). Hintikka: this failure of the substitutability of the identity is to be distinguished from the failure for any singular terms. Here it can simply be because a singular term refers to another thing in another possible world. II 195 Identity/individuals/Hintikka: it is much less clear how the identity can fail for certain individuals in the transition to another possible world. That is, that world lines can branch (> separation). Separation/KripkeVsSeparation/substitutability of identity/SI/Hintikka: Kripke excludes separation because the substitutability of identity is valid for him. A separation would violate the transitivity of the identity according to him. After a separation, the individuals would not be identical, even if they were identical after the transition. Therefore, the substitutability of identity is inviolable to Kripke. HintikkaVsKripke: that is circular: Transitivity of Identity/Hintikka: can mean two things: A) transitivity within a world or B) transitivity between worlds. The plausibility of transitivity belongs to the former, not to the latter. Transitivity of the identity between possible worlds is simply to exclude separation. This is the circularity in Kripke's argument. Substitutability of Identity/Hintikka: many authors have noted that identity and quantification remain meaningless in intensional contexts unless we have the substitutability of identity. HintikkaVs: that is simply wrong: after the world lines are defined, we can formulate the truth conditions for sentences with arbitrary intensional expressions. And then, independently of the behavior of the world lines. Modal Logic/substitutability of identity/Hintikka: it is double ironic that the defenders of conventional modal logic want to save the substitutability of identity by saying that without it, possible worlds and intensional logic makes no sense. This is because substitutability of identity excludes separation. Fusion/Hintikka: to exclude it, we need the reverse form instead substitutability of identity we need identity of substitutability: (identity of substitutability) (x)(y) (possible (x = y) > x = y) ((s) possible identity is identity, i.e. ultimately it is necessary). Problem/Hintikka: identity of substitutability is not valid in some conventional systems of the quantified modal logic, including that of Ruth Barcan Marcus. For these systems, we must allow separation when we go from possible worlds to the actual worlds (travel home). Direction/interpretation/Hintikka: however in interpretation there is nothing to distinguish between the directions. II 196 It is only a coincidence that these systems do not contain retrospective operators (Saarinen, see above). That is, every defender of these conventional systems secretly defends the possibility of separation. That is, the rejection of substitutability of identity. II 196 Separation/Hintikka: separation is useful in a few models of cross-world identification, re-identification in time. E.g. a computer could be dismantled and two computers could be built from it. This could be revised later. >Cross world identity. Re-Identification/Hintikka: re-identification is the key to cases of separation and fusion. Separation/Hintikka: there is a structural reason why it is so rare: if world lines are composed of infinitesimal elements as the solutions of differential equations, the separation of a singularity corresponds - this is a rare phenomenon. Separation/Hintikka: the arguments against them are circular in a deep sense. They are based on the idea that for quantification the individual domain should remain fixed (HintikkaVsKripke). Possible World/individual area/HintikkaVsKripke: one should not demand that the individuals must remain the same when changing from world to world. The talk of worlds is empty, if there are no possible experiences that could distinguish them. |
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 |
| Substitution (Insertion) | Gödel | I Berka 306 Inserting/replacing/substitution/Goedel: individual variables (free and bound) may be replaced by any other, provided there occurs no overlap of the range of equally naming variables.(1) >Range, >Scope, >Variables, >Individual variables, >Substitution, >Substitutability, >Formulas, >Free variables, >Bound variables. 1. K. Gödel: Die Vollständighkeit der Axiome des logischen Funktionenkalküls, in: Mh, Math. Phys. 37 (1930), pp. 349-360. |
Göd II Kurt Gödel Collected Works: Volume II: Publications 1938-1974 Oxford 1990 |
| Substitution (Insertion) | Wessel | I 202f Rule of substitution/insertion/QL: 1. In A i is replaced only at the places where it occurs freely 2. If i in A is in an area where a quantifier binds the variable h, no expression may be used for i which contains h as free variable. ((s) E.g. ("h)(P(h)ui): here i should not mean "h u y") - "everything I own are bicycles and also a bike ... " E.g. Wessel: from A follows AiA: A: "x is born later than 1930"> "x is less than 100 years old" - if i would occur free in the assumptions of the proof then wrong: "all people are born later than in 1930". >Free variable, >Bound variable, >Variables, >Quantification, >Levels/order, >Introduction, >Universal quantification, >Existential quantification. |
Wessel I H. Wessel Logik Berlin 1999 |
| Syntax | Prior | I 46 Syntax/Prior: variables and constants belong to the same syntactic category. >Variables, >Constants Problem: what is the meaning of the quantifier with quantification over properties? >Quantification over properties, >Quantification, >Quantifiers. Should the following variable (to be bound by the quantifier) belong to it? >Bound Variables. Solution: if we consider lambda operators as the only operators that may bind the variables, then the quantifier can build the sentence : ∏(λxφx) (which is equivalent to the simple φ) is briefly ∏φ, everything φ-s. The quantifier builts the sentence. >Lambda calculus, >Lambda notation, >Range. Syntactic status of Lambda: symbolic crutch. Problem: e.g. Something is not the case: SN: S builds a sentence out of a one-digit compound or an adverb. >Sets, >Clauses, >Adverbs. |
Pri I A. Prior Objects of thought Oxford 1971 Pri II Arthur N. Prior Papers on Time and Tense 2nd Edition Oxford 2003 |
| Terminology | Hilbert | Berka I 58 Normal form/Berka: the normal form is another method to replace truth tables. An excellent (canonical) normal form was introduced by Hilbert/Ackermann (1928). Berka I 112 Definition convertible/Hilbert/Berka: a formula is convertible into another means when the equivalence of the two is derivable. Definition pranex/Hilbert: pranex is a formula in which all quantifiers are at the beginning and the ranges extend to the end. Definiton deduction-equal/Hilbert: two formulas are deduction-equal, if each is derivable from the other. Each formula is deduction-equal to each such formula, which results from it by replacing any free individual variable (IV) with a bound variable which has not previously occurred, and the universal quantifier belonging to the introduced bound variables (in any order) are placed at the beginning. ("Exchange of free variables against bound ones"). This can also be done in reverse order. Definition Skolem's normal form/Hilbert: the Skolem's normal form is a prenexic formula (that is, all quantifiers at the beginning, range to the end), where there is nowhere among the previous quantifiers a universal quantifier before an existential quantifier. Each formula is deduction-equal to a Skolem normal form. (s) Each formula can be transformed into a Skolem normal form. Note (I 116) This Skolem normal form is the "proof-theoretic" one. Definiton fulfillment theoretic Skolem normal form/Hilbert: the fulfillment of the theoretic Skolem normal form is dual to the proof-theoretic Skolem normal form, i.e. the universal quantifiers and existence quantifiers exchange their roles. >Duality. Insert/Hilbert/(s): inserting is used here for free variables. Rename/Hilbert/(s): renaming is used here for bound variables(1). 1. D. Hilbert & P. Bernays: Grundlagen der Mathematik, I, II, Berlin 1934-1939 (2. Aufl. 1968-1970). |
Berka I Karel Berka Lothar Kreiser Logik Texte Berlin 1983 |
| Terminology | Russell | ad Putnam II 133 ~ Russell: Terminology: a statement corresponds to true facts. Basic constituents of each statement are logically proper names - singular term: all expressions are singular terms. Later self-criticism: not all statements can be reduced to sense data. I XXXII(Annotation) Def Extensionality principle: no two different properties can belong to exactly the same thing ((s) but only intensional). E.g., "tall man"/"fat man" may be the same, they are just different intensions (therefore no properties)). I XVI Def Intensionality principle: to different definitions belong different terms. Def vicious circle principle/Russell: no totality can contain members that can be defined only in terms of this totality, or members which comprise this totality or presuppose it. Hintikka I 180 Def apparent variable/Russell/Hintikka: = bound variable. >Bound variable. II 46 Def "space-like"/Russell: two events are space-like if it is impossible for a body to move fast enough to be present at both events - but it can be "halfway" and perceive both as happening at the same time. Def "time-like"/Russell: two events are time-like if it is possible for a physical body to be present at both events. Borderline case: E.g. two events as part of a light beam or - E.g. an event. perception of the other event: then distance 0. Def Distance/Russell: is a physical fact which is part of the events and does not depend on the circumstances of observer. II 20 Paradox of Tristram Shandy/Russell: The retention of the axiom (that there are infinitely many time points beween two time points) leads to other paradoxes of which I call one: the paradox of Tristram Shandy. It is the reversal of the Zenonian paradox and says that the turtle can get everywhere if you give it only enough time. Tristram Shandy needed two years to list the course of the first two days of his life and complained that the material accumulated faster than he could capture it. Russell: I assert now that if he had lived his life that way further on, he would not have missed any part of his biography. For the hundredth part is written in the thousandth year, and so on. |
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 Putnam I Hilary Putnam Von einem Realistischen Standpunkt In Von einem realistischen Standpunkt, Vincent C. Müller Frankfurt 1993 Putnam I (a) Hilary Putnam Explanation and Reference, In: Glenn Pearce & Patrick Maynard (eds.), Conceptual Change. D. Reidel. pp. 196--214 (1973) In Von einem realistischen Standpunkt, Vincent C. Müller Reinbek 1993 Putnam I (b) Hilary Putnam Language and Reality, in: Mind, Language and Reality: Philosophical Papers, Volume 2. Cambridge University Press. pp. 272-90 (1995 In Von einem realistischen Standpunkt, Vincent C. Müller Reinbek 1993 Putnam I (c) Hilary Putnam What is Realism? in: Proceedings of the Aristotelian Society 76 (1975):pp. 177 - 194. In Von einem realistischen Standpunkt, Vincent C. Müller Reinbek 1993 Putnam I (d) Hilary Putnam Models and Reality, Journal of Symbolic Logic 45 (3), 1980:pp. 464-482. In Von einem realistischen Standpunkt, Vincent C. Müller Reinbek 1993 Putnam I (e) Hilary Putnam Reference and Truth In Von einem realistischen Standpunkt, Vincent C. Müller Reinbek 1993 Putnam I (f) Hilary Putnam How to Be an Internal Realist and a Transcendental Idealist (at the Same Time) in: R. Haller/W. Grassl (eds): Sprache, Logik und Philosophie, Akten des 4. Internationalen Wittgenstein-Symposiums, 1979 In Von einem realistischen Standpunkt, Vincent C. Müller Reinbek 1993 Putnam I (g) Hilary Putnam Why there isn’t a ready-made world, Synthese 51 (2):205--228 (1982) In Von einem realistischen Standpunkt, Vincent C. Müller Reinbek 1993 Putnam I (h) Hilary Putnam Pourqui les Philosophes? in: A: Jacob (ed.) L’Encyclopédie PHilosophieque Universelle, Paris 1986 In Von einem realistischen Standpunkt, Vincent C. Müller Reinbek 1993 Putnam I (i) Hilary Putnam Realism with a Human Face, Cambridge/MA 1990 In Von einem realistischen Standpunkt, Vincent C. Müller Reinbek 1993 Putnam I (k) Hilary Putnam "Irrealism and Deconstruction", 6. Giford Lecture, St. Andrews 1990, in: H. Putnam, Renewing Philosophy (The Gifford Lectures), Cambridge/MA 1992, pp. 108-133 In Von einem realistischen Standpunkt, Vincent C. Müller Reinbek 1993 Putnam II Hilary Putnam Representation and Reality, Cambridge/MA 1988 German Edition: Repräsentation und Realität Frankfurt 1999 Putnam III Hilary Putnam Renewing Philosophy (The Gifford Lectures), Cambridge/MA 1992 German Edition: Für eine Erneuerung der Philosophie Stuttgart 1997 Putnam IV Hilary Putnam "Minds and Machines", in: Sidney Hook (ed.) Dimensions of Mind, New York 1960, pp. 138-164 In Künstliche Intelligenz, Walther Ch. Zimmerli/Stefan Wolf Stuttgart 1994 Putnam V Hilary Putnam Reason, Truth and History, Cambridge/MA 1981 German Edition: Vernunft, Wahrheit und Geschichte Frankfurt 1990 Putnam VI Hilary Putnam "Realism and Reason", Proceedings of the American Philosophical Association (1976) pp. 483-98 In Truth and Meaning, Paul Horwich Aldershot 1994 Putnam VII Hilary Putnam "A Defense of Internal Realism" in: James Conant (ed.)Realism with a Human Face, Cambridge/MA 1990 pp. 30-43 In Theories of Truth, Paul Horwich Aldershot 1994 SocPut I Robert D. Putnam Bowling Alone: The Collapse and Revival of American Community New York 2000 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 |
| Universe | Quine | VII (e) 97 Universe/v. Neumann/Set Theory/Quine: divides the universe (of discourse) into things that can be elements and those that cannot be. What exists for Zermelo are von Neumann's elements. For the existence of classes, elements and others there are further postulates, which satisfy every condition φ, whose bound variables are limited to elements as values. IX 221 Universe/Quine: we get our expanded universe by adding classes to the extreme universe of new foundations. The resulting system is called an enlargement of the system of new foundations. - We cannot use the old comprehension schema of new foundations. Maintained because for example "(x: Fx} ε ϑ "(Fx stratified)) - "{x: x = x}" is now wrong. - ((s) Because not stratified.). |
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 |
| Values | Quine | VI 155 Values/Quine, that we find paintings good, is not to rely on that causality is somehow suspended. Nevertheless are ethical judgments no observation sentences. >Observation, >Observation sentences. VI 158 Values/Moral/Ethics/Quine: are entirely of human origin. They were probably developed in the course of selection. Their purpose is certainly to agree on conflicting desires. VIII 24 ~ Value/Quine: that which is named by the name is not the name, e.g. digit/number. "There is a thing that is appendicitis" - "The Word appendicitis denotes something" - "The Word appendicitis is a name" - "the word appendicitis is the replacement of a variable" - "appendicitis is the value of a variable". >Bound variables. |
Quine I W.V.O. Quine Word and Object, Cambridge/MA 1960 German Edition: Wort und Gegenstand Stuttgart 1980 Quine II W.V.O. Quine Theories and Things, Cambridge/MA 1986 German Edition: Theorien und Dinge Frankfurt 1985 Quine III W.V.O. Quine Methods of Logic, 4th edition Cambridge/MA 1982 German Edition: Grundzüge der Logik Frankfurt 1978 Quine V W.V.O. Quine The Roots of Reference, La Salle/Illinois 1974 German Edition: Die Wurzeln der Referenz Frankfurt 1989 Quine VI W.V.O. Quine Pursuit of Truth, Cambridge/MA 1992 German Edition: Unterwegs zur Wahrheit Paderborn 1995 Quine VII W.V.O. Quine From a logical point of view Cambridge, Mass. 1953 Quine VII (a) W. V. A. Quine On what there is In From a Logical Point of View, Cambridge, MA 1953 Quine VII (b) W. V. A. Quine Two dogmas of empiricism In From a Logical Point of View, Cambridge, MA 1953 Quine VII (c) W. V. A. Quine The problem of meaning in linguistics In From a Logical Point of View, Cambridge, MA 1953 Quine VII (d) W. V. A. Quine Identity, ostension and hypostasis In From a Logical Point of View, Cambridge, MA 1953 Quine VII (e) W. V. A. Quine New foundations for mathematical logic In From a Logical Point of View, Cambridge, MA 1953 Quine VII (f) W. V. A. Quine Logic and the reification of universals In From a Logical Point of View, Cambridge, MA 1953 Quine VII (g) W. V. A. Quine Notes on the theory of reference In From a Logical Point of View, Cambridge, MA 1953 Quine VII (h) W. V. A. Quine Reference and modality In From a Logical Point of View, Cambridge, MA 1953 Quine VII (i) W. V. A. Quine Meaning and existential inference In From a Logical Point of View, Cambridge, MA 1953 Quine VIII W.V.O. Quine Designation and Existence, in: The Journal of Philosophy 36 (1939) German Edition: Bezeichnung und Referenz In Zur Philosophie der idealen Sprache, J. Sinnreich (Hg) München 1982 Quine IX W.V.O. Quine Set Theory and its Logic, Cambridge/MA 1963 German Edition: Mengenlehre und ihre Logik Wiesbaden 1967 Quine X W.V.O. Quine The Philosophy of Logic, Cambridge/MA 1970, 1986 German Edition: Philosophie der Logik Bamberg 2005 Quine XII W.V.O. Quine Ontological Relativity and Other Essays, New York 1969 German Edition: Ontologische Relativität Frankfurt 2003 Quine XIII Willard Van Orman Quine Quiddities Cambridge/London 1987 |
| Variables | Cresswell | Hughes I 118 Variables/free/bound/Hughes/Cresswell: it is all about occurrences of variables. - Therefore one and the same variable can be in one and the same formula both bound also occur as free. (> mention / >use /> word /object, >Word/object, >Free variables, >Bound variables. A token of x can be free and once again bound in the same formula. Hughes I 120 Free variables/inserting/propositional calculus/Hughes/Cresswell: when evaluating a formula, we must assume that the other possibly occurring free variables are constant. >Valuation. |
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 Hughes I G.E. Hughes Maxwell J. Cresswell Einführung in die Modallogik Berlin New York 1978 |
| Variables | Geach | I 198f Variable/description/proxy/GeachVsCarnap: in its rules for descriptions, e.g. ""___ ___ (ix)(...x...)___ ___" etc. the strokes do not function, as Carnap believes as vacancies (substitutes) but as variables! Carnap thinks, however, if he renames them, he avoids his problems with variables. >Variables / >Constants. I 199/200 Variables/Constants/GeachVsCarnap: Carnap does not distinguish between them, as he himself says: E.g. Carnap: "If "Q" is a constant pr (determined or indeterminate), then the sentences (Prague)" (city),"Q(a)" are all equally derivable from "Q(x)". Geach: "determined or undetermined", shows that the alleged "constant pr" is used as a variable. - Solution: "For all "Q" if ..." - but then we have a variable ""Q"" that contains quotes as part of itself. I 201 Free Variables/Strawson: E.g. (A) In "x is a human", "x" is a free variable. - Here, "x" does not occur as a free variable - because "x" is "x is a human" occurs as a free variable, the theorem (A) is true. - If (A) contained a free variable, it would not be a statement, but a propositional function. >Free variable. I 203 Bound variables/use/mention/Geach: in e.g. "x is a human being", "x" is needed, therefore it is a bound variable! (Bound by the quotes) - at the same time the expression is the name of a description, even if it does not denote anything. >Bound variables. >Denotation, >Designation. Names do not denote anything. |
Gea I P.T. Geach Logic Matters Oxford 1972 |
| Variables | Mates | I 36 Variable/Mates: for them names or descriptions are used. >Names, >Descriptions, >Inserting. Values: values include all objects, which can be designated by these expressions (according to a convention). >Naming, >Denotation, >Domains. I 37 no changeable things, also no names of changeable things. >Numbers/Frege, >Variables/Frege. I 66 Variable/free/bound/Mates: E.g. "(x)F"x": here bound for the second time. Problem: simultaneously within "F"x" free. - ((S) considered without quantifier. >Bound variables, >Free variables, >Quantifiers, >Quantification. I 67 and formulas (if used) may occur bound. >Logical formulas. I 68 (s) An entire formula always occurs free of course. Cf. >Free-standing content/Brandom, cf. >Generalization/Mates. |
Mate I B. Mates Elementare Logik Göttingen 1969 Mate II B. Mates Skeptical Essays Chicago 1981 |
| Variables | Prior | I 30 Number variables/Prior: variables are no names. E.g. if exactly 3 things φ and exactly 4 things ψ, then more things are φ than ψ. Then "3" is no name but an inseparable part of the verb operator "Exactly 3 things __". >Names, >Operators, >Predication, >Is, >Equality, >Equations, >Sets, >Set theory. I 33 Bound variables/Quine: bound variables can only stand for names. So for things, not for sentences. >Bound variables, cf. >Names of sentences, >Quantification, >Objects. QuineVsFrege: names are not for sentences, only for things. - E.g. "For a φ, φx" is the only way to read this, that there is at least one thing, so that x "does" this thing. >Sentences, >"Stand for", >Names/Frege, >Sentences/Frege. Quine himself does not do that but he has "ε" for "is element of". >Element relation, >Is, >Predication. I 35 Bound variable/name/Prior: E.g. open sentence "x is red-haired": what is x? >Open sentences/propositional functions. It depends on how we stand for" understanding: a) x is for a name, such as "Peter" (Substitute) b) or object Peter PriorVsQuine: bound variables can also stand for sentences: "J. believes that p" (anything), then stands for a sentence. ad I 93 (external): Sentence variable/Wittgenstein: Tractatus: The term presupposes forms of all sentences in which it can occur - Tractatus 3.312: It is therefore represented by the general form of the sentences which it characterizes - Wittgenstein: namely in this form the expression will be constant and everything else can be variable - sentence variable: Aristotle's innovation "a" for a whole sentence. I 148 Bound variables/Prior: bound variables represent logical proper names. "For an x: 1. x φ-s, 2. nothing else than x φ-s and 3. it is not the case that x ψ-s". I 164f Bound variable/PriorVs some American logicians: not any bound variable stands for a name. |
Pri I A. Prior Objects of thought Oxford 1971 Pri II Arthur N. Prior Papers on Time and Tense 2nd Edition Oxford 2003 |
| Variables | Quine | V 129 Variables/Quine: Their archetype are the pronouns - in the relative clause the relative pronoun stands for the name of the object. --- VI 37/38 Variable/Quine: allows us to manoeuvre every occurrence of "a" into a context of "a =" and to treat the resulting context as an unanalysable predicate "A" that absorbes the singular term - singular term: can be re-introduced later as a description. --- VII (a) 13 Bound variable/Quine: instead of it, we can say that something is in the range of a pronoun. --- VII (f) 107ff Variables/Quine: "F": not bindable - Only apparent predicates, vacancies in the sentence chart - "p", "q", etc. stand for whole expressions, they are sometimes viewed as if they needed entities whose names are these expressions (these are called propositions) - "p" "q", etc. are never bound variables! - "p>q" not a sentence, but a scheme. --- VII (f) 110 Not bindable variable/Quine: E.g. "p". If it were considered to be the name of some entity, it would have to be a bindable variable, which is not the case - e.g. "F" on a par with "p": if predicates are to be the names of some entity, they would have to be regarded as bindable variables, which they are not. VII (f) 110 Variables/Numbers/Quine: in "x + 3 > 7" "x" should be regarded as a pseudo-number - "x + 3> 7" should be considered a pseudo-sentence or scheme. It cannot be quantified. VII (f) 111 Variables/Quine: Greek letters: completely different status: they occur in a language about language: E.g. (3) (∃a)(φ v ψ) is on a semantically higher level than "x + 3> 7". (3) is a name of a sentence or expression - Greek letters are standing for sentences here - they are quantifiable - "φ": grammatically substantival, occupies the place of names of sentences. - "p": grammatically sentential (sentence form): has the place of complete sentences. --- IX 194f Universal variable/Systematic ambiguity/Quine: possibly at the expense of adding new and unreduced predicates "T0", "T1", "T2",... that are added to "ε", we can get rid of the special, indexed variables in favor of the universal variables x, y.... - in fact, "Tnx" can easily be expressed with help of "ε" and the logic: "∃z(x,y ε z)" ensures compliance of the type in x and y and vice versa ensures compliance of the type with x and y that xn, yn ε ϑ n + 1, that ∃z(x,y, ε z). - Thus disappears Russell’s grammatical constraint, that declared "xm ε y n" meaningless if m + 1 unequal n - "m ε y n" now becomes useful for all m and n - if m + 1 unequal n, so "xm ε y n" simply becomes wrong. --- X 95 Variables/Quine: quantifiable variables should never be in predicate places, but always in name places. |
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 |
| Variables | Wittgenstein | Hintikka I 58 Pseudo variable/apparent variables/Wittgenstein/Hintikka: (same distinction as Russell) - these are the bound variables. - They should be eliminated. >Pseudo-variables/Russell, >bound variables, >Quantification. |
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 |
|---|---|---|---|
| Armstrong, D. | Quine Vs Armstrong, D. | II 221 QuineVsArmstrong: he does not provide a scale. He revives Bradley's old problem of the relation recourse. QuineVsBradley: All of Bradley's relations are real, but it does not come down to recourse, because we can define each of them, from the outermost to the innermost without referring to the one positioned further inwards. The reason is that the use of double-digit predicate as such is not a reference to an ever so real relation which constitutes the extension of the predicate. Such a reference would rather be the task of a corresponding abstract singular term or a bound variable. II 222 QuineVsArmstrong: A. neglects the individuation of universals. In that, we are mainly thinking about properties and attributes. I make no difference here. (..+.. "properties" abandoned in favor of "attribute"...+) I expressly accept classes and predicates as objects. It is impossible to interpret classes as concrete sums or aggregates. |
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 |
| 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). |
W.V.O. Quine I Quine Wort und Gegenstand Stuttgart 1980, Reclam II Quine Theorien und Dinge Frankfurt/M 1985, Suhrkamp III Quine Grundzüge der Logik Frankfurt/M 1978 IV Oliver R. Scholz "Quine" aus Hügli (Hrsg) Philosophie im 20. Jahrh., Reinbek 1993 V Quine Wurzeln der Referenz Frankfurt 1989 VI Quine Unterwegs zur Wahrheit Paderborn (Schöningh) 1995 VII Quine Form al logical point of view Cambrinde 1953 IX Quine Mengenlehre und ihre Logik Vieweg 1967 X Quine Philosophie der Logik Bamberg 2005 XI Henri Lauener Quine München 1982 XII Quine Ontologische Relativität Sprechen über Gegenstände, Naturalisierte Erkenntnistheorie 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 |
| Carnap, R. | Stroud Vs Carnap, R. | I 182 External/internal/Carnap/Quine/Stroud: Quine seems to interpret Carnap this way. That the distinction between "category questions" and "subsets questions" corresponds to the distinction. External/QuineVsCarnap: this is nothing more than two ways of formalizing the language. If we have only one kind of bound variable for all things, it will be an external question: "Is there such and such?" if the variable goes over the whole range. (This is a question of category). Internally: if there is a variable for every kind of thing, it will be a subset question. Then the question does not refer to all the things that can exist. I 183 Philosophy/QuineVsCarnap: differs from the sciences only in the range of its categories. (Quine, Word and Object, p. 275). External/internal/QuineVsCarnap: Category questions differ from internal questions only in their generality from subset questions. We can get to the generality by letting some kind of variable go over all things. I 191 StroudVsCarnap: this introduces a "we", and something that happens to us, called "experience". That we exist and have experience cannot simply be seen as an "internal" truth of the thing language. One cannot then see the meaning of experience as the common goal of all "real alternatives", because then it is assumed that there are external things. Problem: the question of the common goal of all genuine alternatives cannot be regarded as an external question of all reference systems either, because then it becomes meaningless. But if it were "internal", what would be the difference if one were to switch from one reference system to another that does not even contain this goal? Carnap does not answer that. I 192 This makes it difficult to grasp his positive approach. CarnapVsSkepticism: misunderstands the relation between linguistic frame of expression about external objects and the truths expressed within this system of reference. StroudVsCarnap: but what exactly is his own non-sceptical approach to this relation? 1. To which system does Carnap's thesis belong that assertions of existence in the language of things are neither true nor false? 2. What does the thesis express at all then? Knowledge/internal/Carnap: for example the geometer in Africa really comes to knowledge about the mountain. StroudVsCarnap: but what does it mean in addition to the fact that this is not a truth that is independent of a reference system? Suppose for some reason we did not have the thing language and could freely choose another language. Does it follow from this that, for example, the sentence about the mountain in Africa would no longer be true? Surely we would express something completely different in a completely different language without thing expressions. But would the sentence we can make now not be true in this other language? I 193 And could it never be true if we had never accidentally adopted the thing language. Existence/Language/Skepticism/StroudVsCarnap: that cannot be right and it leads to an extreme idealism that Carnap just rejects. It is absurd because we already know enough about mountains to see that they are not influenced by a chosen language. Language/object/Stroud: things were there long before language came into being in the world. And that again is something we know "internally" in the thing language. StroudVsCarnap: then his thesis, understood as "internal" to the language, is wrong. It contradicts what we already assume it as knowledge about ourselves and external things. Empirically speaking, it leads to idealism that contradicts the known facts. CarnapVsVs: would say that of course one must not understand his thesis "empirically" and not the thing language "internally". StroudVsCarnap: but within some reference system it must be internal, otherwise it is meaningless. Problem: but this is a statement about the relation between a chosen framework and the internal statements within that framework. And if that implies that these internal statements would have been neither true nor false, if a different frame of reference had been chosen, it is still idealism, whether empirical or non empirical idealism. Truth Value/tr.v./Convention/StroudVsCarnap: the truth value of the internal sentences would depend on the choice of language (of the reference system). I 194 StroudVsCarnap: it is important to see that if this did not follow, Carnap's thesis would not be different from traditional skepticism! There would then be room for the possibility that statements about things would remain true, even if we abandoned the thing language and truth would again be independent of language. Problem: that would again lead to our choice of a linguistic framework being necessary only to formulate or recognize something that would be true anyway ((s) > metaphysical realism) independently of that framework. Theoretically: according to Carnap this would then be a "theoretical" question about the acceptability of the thing language as a whole. But in terms of objectivity, which we then presuppose. CarnapVsTradition: it is precisely the incomprehensibility of such theoretical questions that is important in Carnap. Because Problem: then it could be that even if we carefully apply our best procedures (> Best explanation), things could still be different from what we think they are. This is equivalent to skepticism. "Conditional Correctness"/Skepticism/Carnap/Stroud: Carnap accepts what I have called the "conditional correctness" of skepticism: if the skeptic could ask a meaningful question, he would prevail. StroudVsCarnap: if he now would not deny that the "internal" sentences remain true or false when changing the reference system, his approach would be just as tolerant of skepticism as tradition. ((s) So both denial and non-denial would become a problem.) Kant/Stroud: he also accepts the "conditional correctness" of skepticism. If Descartes' description of experience and its relation to external things were correct, we could never know anything about these things. Carnap/Stroud: his thesis is a version of Kant's "Copernican Turn". And he obtains it for the same reasons as Kant: without it we would have no explanation, how is it possible that we know anything at all? Reference system/frame/StroudVsCarnap: a gap opens up between the frame and what is true independently of it. ((s) If a choice between different frames is to be possible). StroudVsCarnap: in this respect, Carnap's approach is entirely Kantian. I 196 And he also inherits all the obscurity and idealism of Kant. There are parallels everywhere: for both there can be a kind of distancing from our belief. We can do a philosophical study of everyday life (as far as the conditions of knowledge are concerned). I 197 Reference system/framework/StroudVsCarnap: to which framework does Carnap's thesis belong that no propositions about external objects are true or false regardless of the choice of a reference system (language)? And is this thesis - analytical or not - itself "internal" in any framework? And whether it is or not, is it not merely an expression of Kantian Transcendental Idealism? Skepticism/StroudVsCarnap: the basic mistake is to develop any competing theory at all to tradition. I 198 A purely negative approach or deflationary use of the verification principle would simply eliminate skepticism as pointless. If that were possible, scepticism would no longer need to be undermined. But: Verification Principle/StroudVsCarnap: Problem: the status of the verification principle itself, or its acceptability. We can only use it to refute Descartes if we have a good reason to accept it as necessary. But that depends on how it is introduced. It should serve to prevent the excesses of senseless philosophical speculation. StroudVsCarnap: 1. Then we can only watch and see how far the principle can lead to a distinction that we have already made before! The only test would be sentences, which we would have recognized as senseless before! 2. But even assuming that the principle would be adequately proven as extensional and descriptive, i.e. it would distinguish between meaningful and senseless, as we do, I 199 it would not allow us to eliminate something as senseless that we had not already recognized as senseless by other means. Verification Principle/StroudVsCarnap: was incorrectly introduced ((s) with the ulterior motive of producing a result that was already fully known). Early Carnap sketches show that general laws of nature were initially wrongly excluded. Verification principle/VP/StroudVsCarnap: a correct introduction would provide a strong destructive tool that Kant was already looking for: it would have to explain why the verfication principle is correct. This would probably be identical to an explanation of how knowledge of external things is possible. Verification Principle/Hempel/Carnap/Stroud: the early representatives had in mind that 1. a sentence is meaningful only if it expresses an "actual content", 2. that understanding a sentence means knowing what would happen if the sentence were true. Verificationism/Stroud: There is nothing particularly original about this approach. What gives it the verificationist twist is the idea that we cannot even understand anything that cannot be known as true or false, or weaker: at least to believe as more rational than its opposite. StroudVsCarnap: that failed, even as an attempt to extract empirically verifiable sentences. I 205 SkepticismVsVerificationism/StroudVsVerificationism/StroudVsCarnap: even if verificationism is true, we still need an explanation of how and why traditional philosophical ((s) non-empirical) inquiry fails. ((s) should correspond here to skepticism). (>Why-question). I 207 StroudVsVerificationism/StroudVsCarnap/StroudVsHempel: it is more plausible to reject the verification principle ((s) > empiricist sense criterion) than to claim that Descartes never said anything meaningful. StroudVsVerification Principle: it will remain implausible as long as it is not understood why the traditional distinction internal/external should not be correct. I 214 Formal manner of speaking: ""Wombat" applies to (is true of) some living beings in Tasmania". QuineVsCarnap: misunderstands the semantic ascent when he speaks of external issues. But this does not reject Carnap's pragmatic approach to simplicity and fertility of theories. |
Stroud I B. Stroud The Significance of philosophical scepticism Oxford 1984 |
| Chisholm, R.M. | Hintikka Vs Chisholm, R.M. | II 197 Intentionality/Hintikka: I can best show in my criticism HintikkaVsChisholm that it has different dimensions: Various criteria for intentionality by Chisholm turn out to be criteria for different dimensions of intentionality. Terminology: "referential opacity": this is what Chisholm calls the failure of the substitutivity of identity (SI). Non-Extensionality/Chisholm: this is what he calls the failure of substitutivity of sentences on the basis of shared truth values. This is not a criterion of intentionality for him, because the concept of necessity also violates the non-extensionality. Intentionality/Criteria/Chisholm/Hintikka: at first we look at those criteria of Chisholm’s that are about the order of quantifiers and intentional operators: This is shown by the failure of the following implications: (1) a believes that every individual F-t > a believes of every individual that F-t. (2) vice versa A formalization of (1) would be (3) Ba (x)F(x) > (x)(Ey) (x = y & Ba F(y)) (4) formalization of (2) correspondingly vice versa. II 198 HintikkaVsChisholm: his explanations of his own criteria are not entirely clear. Chisholm: it may be that you mistakenly think of an incomplete set of things that it contains every individual, and vice versa, you can mistakenly believe that complete set does not include all individuals. Possible World Semantics/Hintikka: is clearer: (i) there may be individuals that do not exist in the world of someone’s beliefs (ii) there may be individuals in the world of someone’s beliefs that do not exist in the real world exist. HintikkaVsChisholm: he does not see that the failure of (1) and (2) can occur in a much deeper way: E.g. the values of the bound variables are politicians in California and I believe that they are all lawyers. Suppose also that I have no beliefs about what kind of other politicians there are, except the ones that I know. In particular, there is no set of politicians of which I believe that they exhaust the class of politicians. Question: does it follow that I believe that every politician in California is a lawyer? No, it does not follow. ((s) The belief of an absence cannot be inferred from the absence of a belief). HintikkaVsChisholm: according to its criteria, that would have to follow! Solution/Hintikka: there is a set of politicians about whom I have no belief, but I do not doubt their existence or their being lawyers. The question of what I do believe about them does not arise. Possible World Semantics/Hintikka: here it means that there are elements of the actual world, which are not linked with my belief worlds by any world lines. Important argument: it does not mean that they do not exist in the worlds of belief, only that the question of their existence or nonexistence does not arise there. World lines: cannot be extended in that case: Chisholm: limits himself to nonexistence in doxastic possible worlds (belief worlds). HintikkaVsChisholm: For me, on the other hand, it is about the possibility to draw world lines, namely in this case from alternative possible worlds back to the real world ("home"). II 199 Intentionality/Criteria/Chisholm/Hintikka: his criteria are a mixture of my criteria (b) (i), (ii) and (d) (i),(ii). They get their plausibility rather from (d) than from (b). Nonexistence/World Lines/Definability/HintikkaVsChisholm: the collapse of world lines represents a much deeper divide between possible worlds than nonexistence. Nonexistence/Hintikka: is considered by contemporary philosophers as much decisive. Def Intentionality/Criteria/Chisholm/Hintikka: Chisholm is an operator intentional p iff. p(S) is contingent for every value of "S". HintikkaVsChisholm: this is unreasonable: then there would be no intentional concepts at all! E.g. p = John believes that S = (S1 & ~S1). I.e. for a belief concept to be intentional, it must be possible, according to Chisholm, to believe an explicit contradiction. Contradiction/Hintikka: you cannot explicitly believe a contradiction, only implicitly. ((s) >Cresswell: if you do not understand what proposition is expressed by a conflicting sentence.) Chisholm/Hintikka: certainly means something else: even if John does not believe an explicit contradiction (S1 & ~ S1), there are many logically equivalent sentences that are logically wrong, but that John can believe. II 200 HintikkaVsChisholm: but even then his criterion is not met: because then it is no longer the contingency of p(S), but the failure of the logical equivalence which is to guarantee the substitutivity of identity (SI). SI/Hintikka: if it is abandoned, I can at the same time assert the logical falsity of (5) John believes that (S1 & ~S1) and assert the contingency of (6) John believes that S2 as well! Intentionality/HintikkaVsChisholm: in contrast, we need a concept of intentionality which excludes logical omniscience. Def Intentional/Hintikka: is then a concept iff. logical equivalence does not guarantee the SI in a context that is governed by this concept. Proposition/Sentence/HintikkaVsChishom: therefore we cannot assume that we can save Chisholm’s criterion by assuming propositions instead of sentences as values of "S" ((s) because propositions are by definition understood sentences, and therefore John would have to have explicitly contradictory beliefs when we attribute propositions to him). Solution/Hintikka: logical equivalence no longer guarantees substitutivity of identity (SI). Hintikka: we can further analyze this corrected version of Chisholm’s criterion ((s) only implicit contradictions credible, no contradictory propositions): Equivalence/Hintikka: we can distinguish between those logical equivalences that allow SI in epistemic contexts, and those who do not (> Lit. Hintikka 1974 Logic and language games). +... |
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 |
| Cresswell, M.J. | Stechow Vs Cresswell, M.J. | I 154 Lambda-Operator/λ-Operator/Stechow: the language used here corresponds pretty much to the λ categorial of Cresswell 1973. Only difference: Cresswell: does not differentiate between syntactic categories and types. The type symbols act at the same time as category symbols. StechowVsCresswell: this is impractical, because different categories can have the same type. For example intransitive verbs as well as nomina are of type ep. Here: we choose a language with meaning*types, so e, p etc. Lambda-Operator/Semantics/Linguistics/Stechow: interprets the motion index. Thus the logical properties of the operator are transferred to the interpretation of the movement. Movement: (on LF) creates a lambda operator that binds its track and thus all the same variables (pronouns) that it commands c. 1. Interpretation: of a closed expression does not depend on the choice of a certain occupancy. This is a consequence of the so-called Def Coincidence Lemma: this means that two expressions, which differ only by free variables, can be interpreted in the same way by suitable assignments. 2. The syntax of the λ language contains the principle of the Def λ conversion, which is our function conversion. The principle says that you can break down a λ operator if you use an expression of the variable type for the variables bound by the operator. This follows from the >transition lemma. (>binding). 3. Bound Renaming/Stechow: if two expressions differ only in the choice of their bound variables, they mean the same thing. ^These are the alphabetical variants. |
A. von Stechow I Arnim von Stechow Schritte zur Satzsemantik www.sfs.uniï·"tuebingen.de/~astechow/Aufsaetze/Schritte.pdf (26.06.2006) |
| Descartes, R. | Nozick Vs Descartes, R. | II 87 I/Self/Synthesis/Nozick: let us begin with the act of reflexive self-reference. Act: what is the point, where are its limits? We could look for a pre-existing entity, the support of the act, the agent. This already includes a theory, namely that every act needs an agent (actor, player). LichtenbergVsDescartes: has not found that "he thinks", but only that "it thinks". In the "agent view" we should assume: "I'm tired" = "agent of this act is tired". Problem: what does my knowing that I am the agent consist in? (Sometimes my subsequent knowledge of a previous act). If there must be a pre-existent being for it, how am I supposed to know about it? And how am I to know that this pre-existing being is the agent of my current act? Suppose, then, there is no pre-existent entity: rather that the I is represented around the act (outlined, delineated). Then there are two possibilities: 19 an agent is postulated, then the boundaries are outlined 2) we imagine that an entity is outlined and is synthesized around the act. Reference/Self-Reference/Nozick: when we start with the act of reference: A refers to x, then we can also form the concept that A refers to A. II 93 Then we can build a concept of Gödel's self-reference, by virtue of a permanent defining feature of A, and then it is necessarily self-referring in all possible worlds. Next step: self-reference not by a permanent defining characteristic, but by a characteristic which arises in the act. Explanation: Are we not applying self-reference in the latter case to explain itself? Namely, if it is the sense? This merely points back to an earlier constant or bound variable. Indexicality: something can refer to something else by virtue of a characteristic that is given in the act, but that is not reflexive! E.g. "exactly this" is described from the outside. Therefore, there is no particular problem: how is reflexive self-reference possible? Reflexivity/Nozick: there are no particular issues with respect to reflexivity, but there are about the intelligibility of speech of acts, even of non-reflexive ones with independent agents. Nozick: I do not deny these problems, but we were willing to put them to the side, because we presumed with LichtenbergVsDescartes that "thinking is going on" and not "I think". Reflexive Self-Reference/Nozick: we have understood it as composed of simple components and not as irreducible mysterious phenomenon. But if we want to guarantee the explicability of reflexive self-reference, we must explain why these acts occur. II 94 Solution: we explain them with a pre-existing person, but it does not exist independently of the act of synthesis. Nevertheless, it is undeniable that there is an intuitive and compelling quality of the view that the self is independent of all acts. That would be a view that is discussed vehemently between Buddhists and Vedantists. |
No I R. Nozick Philosophical Explanations Oxford 1981 No II R., Nozick The Nature of Rationality 1994 |
| Extensionalism | Verschiedene Vs Extensionalism | Lewis IV 256 Lewis: I really do not know what the Intensionalist (I) Vs Extensionalism (E) should say! I know several unsatisfactory arguments. ("I" in the English text also for "I, Lewis") (in vain) Vs Extensionalism: 1. one could say that the extensionalism is more complicated. It needs two more categories and one more lexicon object. VsVs: this is bad for two reasons: a) Extensionality itself is generally regarded as an important dimension of simplicity. b) I agree with E that a complete approach must also take into account the speaker's pause at the beginning of the sentence. E has already done this with its syntax and semantics! The intensionalist still has to find a place for it. (in vain) Vs Extensionalism: 2. One could object that it goes against our paradigm that extensions must be shared: Example "Boston" simply names Boston and not instead a function of indices. Problem: this paradigm applies to English, Polish, German, etc. but not necessarily to unexplored indigenous languages. Even if the intensionalist suspected that the language is very related to ours, one cannot expect E to agree that the paradigms are applicable! For E and I do not agree which language is theirs! Tarski's convention W: does not help here: because the native language does not correspond by the way not uncontroversially to our metalanguage of their language. Therefore the only versions of these principles that are applicable are stated in translations of these terms. Example E and I may agree that a meta-linguistic sentence of the form "_____ designates ___ in their language" or IV 256/257 "_____ is a name that has ____ as an extension in your language." should be true whenever the first blank space is filled with a name (in our language) with a name of the native language and the second with a translation of into our language. But that does not lead us anywhere, because we do not agree at all about names and what their correct translations are! (in vain) Vs Extensionalism: 3. I could try to argue that native language cannot be extensional because in it some inference patterns are invalid that are valid in any extensional language. For example, identity: inferences with Leibniz's identity (Leibniz' Law) or existential generalization lead from true premises to false conclusions in native language. Extensionalist/VsLewis: should agree that Leibniz's law receives truth in every extensional language and that it is not preserved in my counter-examples (which?). But he should not agree that such inferences are cases of Leibniz identity! Identity/Leibniz/Lewis: an inference with Leibniz' law needs an identity premise and how to identify it? Not by looking at three or four horizontal lines! Semantic: an expression with two gaps expresses identity, if and only if 1. the result of inserting names into the gaps is a sentence, 2. the sentence thus formed is true if the names are coextensive, otherwise false. Def Identity Premise: is a sentence thus formed. Problem: since E and I disagree on what the coextensive names are, they disagree on what the expressions are that express identity, which propositions are the identity premises, and which inferences are real instances of Leibniz's law. We are ignoring the difference of opinion here about whether a phrase S must be introduced by a pause to be a sentence at all. To be precise, if ",/so " is a non truth-preserving inference in Li, then " ,/so " is a non truth-preserving inference in Le. The original version without is no inference at all in Le, because its "premises" and "conclusions" are S names and not sentences. ((s) Extensional Language/(s): how is it possible at all, if no predicates (properties) are allowed - then is not the form subject predicate at all?) Vs: the form is then: a is an element of the set B. (in vain) VsExtensionalism: 4. I could argue ad hominem that E has not really escaped intentionality because the things he takes as extensions are intensional entities. Functions of indices to truth values are usually identified with propositions (especially if the indices consist of possible worlds and little more). And these functions are identified equally with individual terms. How can such intensional entities then be extensions? LewisVsVs: this is just a mix-up! Intension is relational! ((s) It depends on the consideration whether something is an intension or an extension). Intensions are things ((s) entities) that play a certain role in semantics and not things of a certain sort. E and I agree that in a suitable language the same thing that is the intention of one expression is also the extension of another. For example, when we speak technical English in a fragment that is suitable as the meta-meta-language of a smaller fragment, we agree that one and the same thing is both, the intention of expression in the object language "my hat" IV 258 and the extension of the metaphorical expression "intension of "my hat"". ((s) The same thing, not the same expression). Lewis: the thing itself is neither extension nor intension. It is true that some entities can only serve as extensions, while other functions of indices can serve as both. But there is no thing that would be unsuitable to be an extension. Ontology/(in vain) Vs Extensionalism: 5. one might think that the extensionalist attributes an extravagant ontology to the natives: For example, if the intensionalist says that a word of the natives designates a concrete material mountain, then E says he designates something more esoteric: a set-theoretical object, formed from a realm of individuals that includes unrealized possibilities. But also E and I believe in esoteric things if they do not want to contradict themselves. We have no doubt that we can name them. We agree that the natives have names for even more far-fetched things like gods (according to the Intensionalist) or functions of indices to such gods (according to the Extensionalist). Ontology/Vs Extensionalism: I should perhaps argue better that certain unesoteric things are missing! Ontology/Kripke: (conversational, 1972): it is wrong to attribute to someone an ontology that contains sets without elements or functions without arguments and values, etc. LewisVsVs: this is a plausible principle. But did E violate it by saying that the names of the natives are functions of indices and not names of concrete things? I do not think so. The ascribed ontology is not the same as the ascribed set of name carriers. For example, if our language is attributed an ontology, it contains all natural numbers, not just the small minority of them that actually bear names! It is not significant that the amount of name carriers violates Kripke's closure principle unless it can be shown that this is the totality of the attributed ontology. But it is difficult to say what ontology, if any, is attributed by the use of Le. One should look at the range of quantifiers, but Le has no quantifiers at all! Quantifiers: make sentences. But in Le only the predicate does that and that is not a quantifier. The transformation Lp of Parsons is different: it has a range. The set D, so that we get intended truth conditions for the propositions of Lp that transform the propositions of Li, then and only when D is included in the range of bound variables. (This assumes that the predicates of Lp have intended interpretations). The set D is the same as the set of extensions of expressions in Le. It violates Kripke's closing principle ((s) that no empty sets should be attributed, see above), so it cannot be attributed to anyone as ontology. ((s) because there are no bound variables in Le.). I.e. if an extensionalist claims that the native speaks Lp, veiled by transformations, we have a remedy against him. But E himself does not represent that! Perhaps one can show that if it is bad to attribute the use of Lp, IV 259 that it is also bad to attribute the use of Le? But I do not see that yet. |
Lewis I David K. Lewis Die Identität von Körper und Geist Frankfurt 1989 Lewis I (a) David K. Lewis An Argument for the Identity Theory, in: Journal of Philosophy 63 (1966) In Die Identität von Körper und Geist, Frankfurt/M. 1989 Lewis I (b) David K. Lewis Psychophysical and Theoretical Identifications, in: Australasian Journal of Philosophy 50 (1972) In Die Identität von Körper und Geist, Frankfurt/M. 1989 Lewis I (c) David K. Lewis Mad Pain and Martian Pain, Readings in Philosophy of Psychology, Vol. 1, Ned Block (ed.) Harvard University Press, 1980 In Die Identität von Körper und Geist, Frankfurt/M. 1989 Lewis II David K. Lewis "Languages and Language", in: K. Gunderson (Ed.), Minnesota Studies in the Philosophy of Science, Vol. VII, Language, Mind, and Knowledge, Minneapolis 1975, pp. 3-35 In Handlung, Kommunikation, Bedeutung, Georg Meggle Frankfurt/M. 1979 Lewis IV David K. Lewis Philosophical Papers Bd I New York Oxford 1983 Lewis V David K. Lewis Philosophical Papers Bd II New York Oxford 1986 Lewis VI David K. Lewis Convention. A Philosophical Study, Cambridge/MA 1969 German Edition: Konventionen Berlin 1975 LewisCl Clarence Irving Lewis Collected Papers of Clarence Irving Lewis Stanford 1970 LewisCl I Clarence Irving Lewis Mind and the World Order: Outline of a Theory of Knowledge (Dover Books on Western Philosophy) 1991 |
| Extensionality | Prior Vs Extensionality | I 48 Extensionalism/Fallacy of/Extensionality/Extension/Extensional/Prior: Ontology/PriorVsQuine: existence as "being a value of a bound variable" is only a unproven dogma. Quantifiers: There is another unproven dogma: that mixed constructions like "__ is green and __" or "believes that __" cannot fall into the same category as the simple ones. In particular, it is said that "X believes that __" should not fall into the same category as "It is not the case, that __". I.e. supposedly they not both single-digit links. Resistance comes from the formal logicians who want to simplify their systems by saying that if the sentences S1 and S2 have the same truth value, then every composite sentence, which only differs in that it has S1 as a sub-sentence where the other one has S2 has as a sub-sentence, has the same truth value. This is the "law of extensionality". PriorVsExtensionality: if the law was true, the following two sentences would have to mean the same thing: a) "X thinks the grass is pink" b) "X thinks the grass is purple" But everyone knows that you can think one thing without thinking the other. Point: "X thinks the grass is pink" is not a true composite sentence with "grass is pink" as a component. Technically speaking: It is no real function with "grass is pink" as an argument. Extensionality/Prior: but, apart from a certain narrow-mindedness, I cannot derive from this that the law of extensionality is wrong. One must admit that there is a long and interesting history of logic in which it is true, just like classical mechanics in physics. I 49 On the other hand, if its defenders speak of intuitive and immediate knowledge of its truth, then I can only say that I have contrary intuitions. Extensionality/Extension/Lesniewski/Lukasiewicz/Prior: both schools tell us that if you drop extensionality, you must admit that some propositions are then neither true nor false. This is justified in classic logic by the fact that there are only four cases a) "true p" is always true, no matter if "p" is true or false, b) "false p": reversed c) not p: reverses the truth value d) "asserts p": true if p is true, otherwise false. Furthermore: if "p" and "q" have the same truth value, then function of "p" has the same truth value as the function of "q". Now, if a function does not obey the law of extensionality, it cannot be one of these four, and if there are other besides these, there must be more than two truth values. (PriorVs). Vs: the first step of this argument already presupposes what it is to prove: namely, that the only property of "p", on which its truth value depends, is its truth value. E.g. "If X thinks that p" was a function of "p". But there are no functions that are false with true arguments. I 50 But why should the truth value of a function "p" not depend on of other properties of "p" than its truth value? To say that this was impossible is to say that for each function fx of a number x, the question whether x > 0 depends on whether x is > 0, which is simply false. E.g. fx = x 1: because in some cases, where x > 0, e.g. x = 2, is x 1 > 0, while in other cases, e.g.: x = 1, x is 1 not > 0. So whether this function of x itself is > 0 does not depend on whether x itself is > 0, but whether x > 1. Likewise, whether X believes that p does not depend on whether it is the case or not that p. Prior: why ever not? ((s) Both are true, but the analogy does not need to be true.) I 101 Protothetics/Protothetic/Lesniewski/Prior: our system is a fragment of Lesniewski's "Protothetics". (20s). 1) normal propositional calculus, ((s) p,q..u,v,>,...) 2) quantifier logic 3) normal identity laws. Full protothetics also includes the law of extensionality. (Tarski seems to support it, because it has proved his independence.) PriorVsExtensionality. |
Pri I A. Prior Objects of thought Oxford 1971 Pri II Arthur N. Prior Papers on Time and Tense 2nd Edition Oxford 2003 |
| Fodor, J. | Verschiedene Vs Fodor, J. | I 140 Def natural kind / predicate / Fodor: nk-Prädikate/Fodor: n.k-p. are those predicates whose terms are the bound variables in the actual laws of this science. Vs: (Fodor): that makes the obscure concept of nat. kind depend on the equally notions notions of law and theory. |
|
| Frege, G. | Prior Vs Frege, G. | I 50 Truth Value/PriorVsFrege: Problem: the term "truth value": was invented by him, but originally for mathematical contexts. Value: to be "greater than 0" is, strictly speaking, not the "value" of a function for a given argument. The value for this argument is not a property of a number (e.g. to be > 0). But a number! The value of a function is different for different arguments and is not the whole collection (Frege: value curve!) of values. Frege: sentences designate objects that are called truth and falsity. Namely in the same way as number names (numerals) and formulas contain the number names, designate numerals. Which number is designated by a given function expression depends on which number is designated by the expression argument, and by nothing else. Prior: if the analogy is to last, then whether truth or falsity is designated must depend on what is designated by the argument sentence ((s) the cited belief), and on nothing else ((s) i.e. it would always have to be believed that grass is green, simply because it is true - absurd.) Prior: E.g. that it is not the case that the grass is pink, just like 2-1 > 0 (and also other things, such as is its own square!), according to Frege this is not simply supposed to be "true", but "the true thing". That is to correspond to the fact that 2-1 is not only "> 0", but the number 1! I 51 And that it is not the case that the grass is pink is "the true thing" (truth), precisely because the grass is pink is "the false thing". Analogy: "the false thing" as in: (1 + 1) 1 is the number 1, precisely because 1 + 1 is the number 2, because that grass is pink is the wrong thing just like (3-1) 1 is the number 1, because 3-1 is the number 2. There are no different truths. PriorVsFrege: all this follows if Frege's analogy is true. But of course it is false. Truth and falsity are more like properties of what sentences designate. That is what Frege wanted to avoid. But we have said above that sentences denote nothing. Propositions/Prior: only have Pickwickian meaning! (WittgensteinVsBroad: (Wittgenstein II 94): There is not one "special" meaning apart from the "ordinary" meaning) Prior: but we know enough to see that this is harmless. We know what it means, that 1 is > 0, namely, since for each φ and each ψ if exactly one thing φs and no thing ψs, then more things are φ-ing than are ψ-ing. Def "more than". I 51/52 Function/Sentence/Prior: it is a function of the sense of "grass is pink" to be expressed by the sentence "X believes that grass is pink". Distinction without Difference/Prior: but that makes no difference! That this is not the case, is exactly what makes the belief false. There is no thing that is designated with "grass is pink". (VsFrege: i.e. also not "the wrong thing", but that is not what Frege meant, either). Truth functions and belief functions are functions of the same argument!(?). Def Proposition/(Thoughts?)/Church: have the property of "being the concept of truth or falsity." Thoughts/PriorVsFrege: among the functions of his thought we have those that are related to each other, just as the functions of the true and false are related to each other and we can omit the latter as superfluous. But the extensionalists have made the stone that we have jettisoned their milestone! PriorVsFrege: Conclusion: sentences do not designate anything, not even "the true thing" or "the false thing". Extensionalism/Prior: Thesis: sentences have truth values as their "extension". I 53 PriorVs: they have that as little as predicates have classes as their extension. For truth values and classes are both logical constructions and very similar ones at that! And not "objects". (PriorVsPlatonism, VsExistence of classes and truth values as objects). Names/Variables/Prior: there is a doctrine among American logicians that every bound variable stands for a name. PriorVs: that is too eccentric a criterion for names. Ontology/Individual/Prior: in reality, combines the principle that only individuals are real with the view that the only way for us to grasp individuals linguistically is to treat them as applications of nouns. And that their application is unique is something that can be expressed within the system, and not with Russell's logical proper names (this, or descriptions) I 166 but with Lesniewski's functor "e" or "This __ is a __". Description/ Frege: for him, the expression "the such and such" itself an individual name (individual name, singular name). PriorVsFrege: there are no individual names! Instead, the expression occurs as part of a longer functor that carries out the individuation. This/Oxford: many there are not happy about Russell's logical proper names. |
Pri I A. Prior Objects of thought Oxford 1971 Pri II Arthur N. Prior Papers on Time and Tense 2nd Edition Oxford 2003 |
| Frege, G. | Quine Vs Frege, G. | Quine I 425 VsFrege: tendency to object orientation. Tendency to align sentences to names and then take the objects to name them. I 209 Identity/Aristotle/Quine. Aristotle, on the contrary, had things right: "Whatever is predicated by one should always be predicated by the other" QuineVsFrege: Frege also wrong in "Über Sinn und Bedeutung". QuineVsKorzybski: repeated doubling: Korzybski "1 = 1" must be wrong, because the left and right side of the equation spatially different! (Confusion of character and object) "a = b": To say a = b is not the same, because the first letter of the alphabet cannot be the second: confusion between the sign and the object. Equation/Quine: most mathematicians would like to consider equations as if they correlated numbers that are somehow the same, but different. Whitehead once defended this view: 2 + 3 and 3 + 2 are not identical, the different sequence leads to different thought processes (QuineVs). I 264 according to Russell "Propositional Attitudes": believes, says, strives to, that, argues, is surprised, feares, wishes, etc. ... I 265 Propositional attitudes create opaque contexts into which quantification is not allowed. (>) It is not permissible to replace a singular term by an equally descriptive term, without stretching the truth value here. Nor a general term by an equally comprehensive one. Also cross-references out of opaque contexts are prohibited. I 266 Frege: in a structure with a propositional attitude a sentence or term may not denote truth values, a class nor an individual, but it works as "name of a thought" or name of a property or as an "individual term". QuineVsFrege: I will not take any of these steps. I do not forbid the disruption of substitutability, but only see it as an indication of a non-designating function. II 201 Frege emphasized the "unsaturated" nature of the predicates and functions: they must be supplemented with arguments. (Objections to premature objectification of classes or properties). QuineVsFrege: Frege did not realize that general terms can schematized without reifying classes or properties. At that time, the distinction between schematic letters and quantifiable variables was still unclear. II 202 "So that" is ontologically harmless. Despite the sad story of the confusion of the general terms and class names, I propose to take the notation of the harmless relative clause from set theory and to write: "{x:Fx} and "ε" for the harmless copula "is a" (containment). (i.e.the inversion of "so that"). Then we simply deny that we are using it to refer to classes! We slim down properties, they become classes due to the well-known advantages of extensionality. The quantification over classes began with a confusion of the general with the singular. II 203 It was later realized that not every general term could be allocated its own class, because of the paradoxes. The relative clauses (written as term abstracts "{x: Fx}") or so-that sentences could continue to act in the property of general terms without restrictions, but some of them could not be allowed to exercise a dual function as a class name, while others could. What is crucial is which set theory is to be used. When specifying a quantified expression a variable may not be replaced by an abstraction such as: "x} Fx". Such a move would require a premise of the form (1), and that would be a higher form of logic, namely set theory: (1) (Ey)(y = {x:Fx}) This premise tells us that there is such a class. And at this point, mathematics goes beyond logic! III 98 Term/Terminology/Quine: "Terms", here as a general absolute terms, in part III single-digit predicates. III 99 Terms are never sentences. Term: is new in part II, because only here we are beginning to disassemble sentences. Applying: Terms apply. Centaur/Unicorn/Quine: "Centaur" applies to any centaur and to nothing else, i.e. it applies to nothing, since there are no centaurs. III 100 Applying/Quine: Problem: "evil" does not apply to the quality of malice, nor to the class of evil people, but only to each individual evil person. Term/Extension/Quine: Terms have extensions, but a term is not the denotation of its extension. QuineVsFrege: one sentence is not the denotation of its truth value. ((s) Frege: "means" - not "denotes"). Quine: advantage. then we do not need to assume any abstract classes. VII (f) 108 Variables/Quine: "F", etc.: not bindable! They are only pseudo-predicates, vacancies in the sentence diagram. "p", "q", etc.: represent whole statements, they are sometimes regarded as if they needed entities whose names these statements are. Proposition: these entities are sometimes called propositions. These are rather hypothetical abstract entities. VII (f) 109 Frege: alternatively: his statements always denote one or the other of exactly two entities: "the true one" or "the false one". The truth values. (Frege: statements: name of truth values) Quine pro Frege: better suited to distinguish the indistinguishable. (see above: maxim, truth values indistinguishable in the propositional calculus (see above VII (d) 71). Propositions/Quine: if they are necessary, they should rather be viewed as names for statements. Everyday Language/Quine: it is best if we return to everyday language: Names are one kind of expression and statements are another! QuineVsFrege: sentences (statements) must not be regarded as names and "p", "q" is not as variables that assume entities as values that are entities denoted by statements. Reason: "p", "q", etc. are not bound variables! Ex "[(p>q). ~p]> ~p" is not a sentence, but a scheme. "p", "q", etc.: no variables in the sense that they could be replaced by values! (VII (f) 111) VII (f) 115 Name/QuineVsFrege: there is no reason to treat statements as names of truth values, or even as names. IX 216 Induction/Fregean Numbers: these are, other than those of Zermelo and of von Neumann, immune against the trouble with the induction (at least in the TT), and we have to work with them anyway in NF. New Foundations/NF: But NF is essentially abolishing the TT! Problem: the abolition of TT invites some unstratified formulas. Thus, the trouble with induction can occur again. NFVsFrege: is, on the other hand, freed from the trouble with the finite nature which the Fregean arithmetic touched in the TT. There, a UA was needed to ensure the uniqueness of the subtraction. Subtraction/NF: here there is no problem of ambiguity, because NF has infinite classes - especially θ - without ad-hoc demands. Ad 173 Note 18: Sentences/QuineVsFrege/Lauener: do not denote! Therefore, they can form no names (by quotation marks). XI 55 QuineVsFrege/Existence Generalisation/Modal/Necessary/Lauener: Solution/FregeVsQuine: this is a fallacy, because in odd contexts a displacement between meaning and sense takes place. Here names do not refer to their object, but to their normal sense. The substitution principle remains valid, if we use a synonymous phrase for ")". QuineVsFrege: 1) We do not know when names are synonymous. (Synonymy). 2) in formulas like e.g. "(9>7) and N(9>7)" "9" is both within and outside the modal operaotor. So that by existential generalization (Ex)((9>7) and N(9>7)) comes out and that's incomprehensible. Because the variable x cannot stand for the same thing in the matrix both times. |
Quine XIII Willard Van Orman Quine Quiddities Cambridge/London 1987 |
| Geach, P. | Evans Vs Geach, P. | Klaus von Heusinger, donkey sentences and their horse feet Uni Konstanz Section Linguistics Working Paper 64; 1994 Heusinger I 5 Range/Quantifier/Conjunction/Geach/VsGeach/Heusinger: (4b) E.g. [man(x) & comes(x) & whistles(x)] VsGeach: Problem: the existential quantifier has a longer range than the "and", i.e. it is regarded as a text operator. Then compositionality is violated, because the first sentence is not independent of the second one. This has caused much criticism. EvansVsGeach: the plural shows that (4b) is still too strong and does not express the everyday language meaning: (ii) is too strong: - (ii) Some sheep are such that John owns them and Harry vaccinates them in spring. I 17 Anaphora/Variable/Labeling/Existential Quantification/E Type/E Type Pronoun/Evans/Heusinger: Thesis: Discourse anaphora not as bound variables, but as shortened (or disguised) descriptions. Representatives: Evans: semantic Cooper: pragmatic Neale: syntactic. Def E Type Pronoun/Evans/Heusinger: = specific descriptions: the pronoun denotes those objects that make the sentence true which contains the quantified antecedent ((s) antecedent of the anaphor). Anaphora/Pronoun/EvansVsGeach/Evans/Heusinger: Thesis: anaphoric pronouns must be interpreted as decriptions. |
EMD II G. Evans/J. McDowell Truth and Meaning Oxford 1977 Evans I Gareth Evans "The Causal Theory of Names", in: Proceedings of the Aristotelian Society, Suppl. Vol. 47 (1973) 187-208 In Eigennamen, Ursula Wolf Frankfurt/M. 1993 Evans II Gareth Evans "Semantic Structure and Logical Form" In Truth and Meaning, G. Evans/J. McDowell Oxford 1976 Evans III G. Evans The Varieties of Reference (Clarendon Paperbacks) Oxford 1989 |
| Heidegger, M. | Quine Vs Heidegger, M. | V 127 Identity/Everyday Language/Individuation/Reference/Quine: also identity is part of our referential apparatus, but it is obscure in everyday language, because we use it without clear individuation principle. E.g. Do two editions of a novel have the same hero? How unlike may the heroes be? Or e.g. how unlike may the editions be to still be considered as versions of the same novel? E.g. Was Baal the devil? E.g. Did the Indians rever God by worshiping the Great Spirit? Identity/Possible Worlds/PoWo/Quine: all these examples fall under the issue of cross-world identity. Identity in various possible worlds. Differently: Attributes/Identity/Quine: E.g. when attributes are coextensive, they are not necessarily the same attribute. But when are they anyway? Wrong solution: some say in case of "necessary co-extensivity" the two attributes are identical. QuineVs: that only shifts the problem. Ontology/QuineVsHeidegger: we do not clarify ontological ambiguities by taking everyday language literally and sifting through it. (>Existence, >value of a bound variable). ((s) primacy of language not in ontology). V 128 Solution/Quine: it is the other way round: one comes up with something and gears language towards it! Existence/Ontology/Language Learning/Quine: the existing things are genetically nothing but an interplay of grammatical analogies that cover up the differences in the forms of learning. In the center is talk of objects. Ontology begins with the generalization of object study. (see above: e.g. color words, which, as you learn, do indeed not refer to individual things). Grammar is thus simplified, ontology is multiplied. |
Quine XIII Willard Van Orman Quine Quiddities Cambridge/London 1987 |
| Hintikka, J. | Russell Vs Hintikka, J. | Hintikka I 179 RussellVsHintikka: he would not have accepted my representation of his position like this. HintikkaVsRussell: but the reason for this lies merely in a further error by Russell: I have not attributed to him what he believed, but what he should have believed. Quantification/Russell/Hintikka: he should have reduced this to objects of acquaintance. But Russell believed that it was sufficient to eliminate expressions that apparently denote objects, which are not those of acquaintance. N.B.: with this, his quantifiers do not enter an ontological commitment. Only denoting expressions do so. Variable/Russell/Hintikka: with Russell only notational patterns. Ontological commitment/Quine/HintikkaVsRussell: Russell did not recognize the ontological commitment, which languages of 1st order bring with them. Being/ontology/Quine: "Being means, being a value of a bound variable." HintikkaVsRussell: that, he did not recognize. |
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 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 |
| Lewis, D. | Place Vs Lewis, D. | Arm II 105 Linguisticism/Place: Martin and Armstrong criticize my linguisticism as the assumption that properties are a question of whether predicates are true or false. But that puts my position wrong. I'll sign.: Realism: the universe exists independently of our notions and our knowledge and beliefs. Truthmaker principle: at least in the case of propositions which are contingently true this proposition is only true iff a situation exists which corresponds to what the proposition represents. Linguisticism: as Martin presents it it would violate both principles. II 106 QuineVsLinguisticism: "To be is to be the value of a bound variable" Place: Quine only meant this half-seriously. But he was always taken more seriously by his followers. Linguisticism:/Place: Another example: the doctrine that wishing should be a propositional attitude. I.e. the wisher whishes that a sentence (proposition) was true. But the fact that a state can be expressed by a sentence is highly irrelevant for the fact that I wish to have an apple. What I wish is that a state occurs, not that a descriptive sentence becomes true. |
Place I U. T. Place Dispositions as Intentional States In Dispositions, Tim Crane London New York 1996 Place II U. T. Place A Conceptualist Ontology In Dispositions, Tim Crane London New York 1996 Place III U. T. Place Structural Properties: Categorical, Dispositional, or both? In Dispositions, Tim Crane London New York 1996 Place IV U. T. Place Conceptualism and the Ontological Independence of Cause and Effect In Dispositions, Tim Crane London New York 1996 Place V U. T. Place Identifying the Mind: Selected Papers of U. T. Place Oxford 2004 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 |
| 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 | Russell Vs Nominalism | Quine II 102 RussellVsNominalism: Even if it was somehow possible to reinterpret astutely all speech about qualities by paraphrase in speech on similarity to individual things that exemplify these qualities, one universal would still be left: the relationship of similarity. Quine: here Russell even admits too much to the Platonists: the maintenance of the double-digit predicate "is similar" is no evidence that a corresponding abstract entity assumes the similarity relationship, as long as this relationship is not taken as the value of a bound variable. One lesson that can be drawn from all this is: ignoring the semantics of reference has results in two directions: a) some ontological conditions are hidden, b) a mirage of further ontological conditions is conjured. Questions with respect to what is there, are twofold for Russell. a) existence in the limited sense of this term b) otherwise questions of being in place ("subsistence") for Russell are less important than questions of existence. (This prejudice in favor of the existent would explain his indiscriminate use of existence-attribution in Principia Mathematica(1).) II 103 Of course, he stops this approach through the identification theory, yet he proceeds afterwards extremely wasteful with attributions of existence. 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 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 Quine XIII Willard Van Orman Quine Quiddities Cambridge/London 1987 |
| Principia Mathematica | Wittgenstein Vs Principia Mathematica | II 338 Identity/Relation/Notation/WittgensteinVsRussell: Russell's notation triggers confusion, because it gives the impression that the identity is a relationship between two things. This use of the equal sign, we have to differentiate from its use in arithmetics, where we may think of it as part of a replacement rule. WittgensteinVsRussell: its spelling gives erroneously the impression that there is a sentence like x = y or x = x. But one can abolish the signs of identity. II 352 Definition number/Russell/Wittgenstein: Russell's definition of number as a property of a class is not unnecessary, because it states a method on how to find out if a set of objects had the same number as the paradigm. Now Russell has said, however, that they are associated with the paradigm, not that they can be assigned. II 353 The finding that two classes are associated with one another, means, that it makes sense to say so. WittgensteinVsRussell: But how do you know that they are associated with one another? One cannot know and hence, one cannot know, if they are assigned to the same number, unless you carry out the assignment, that is, to write it down. II 402 Acquaintance/description/WittgensteinVsRussell: misleading claim that, although we have no direct acquaintance with an infinite series, but knowledge by description. II 415 Number/definition/WittgensteinVsRussell: the definition of the number as the predicate of a predicate: there are all sorts of predicates, and two is not an attribute of a physical complex, but a predicate. What Russell says about the number, is inadequate because no criteria of identity are named in Principia and because the spelling of generality is confusing. The "x" in "(Ex)fx" stands for a thing, a substrate. Number/Russell/Wittgenstein: has claimed, 3 is the property that is common to all triads. WittgensteinVsRussell: what is meant by the claim that the number is a property of a class? II 416 It makes no sense to say that ABC was three; this is a tautology and says nothing when the class is given extensionally. By contrast, it makes sense to claim that in this room there are three people. Definition number/WittgensteinVsRussell: the number is an attribute of a function which defines a class, not a property of the extension. WittgensteinVsRussell: he wanted to get ,next to the list, another "entity", so he provided a function that uses the identity to define this entity. II 418 Definition number/WittgensteinVsRussell: a difficulty in Russell's definition is the concept of the clear correspondence. Equal sign/Russell/Wittgenstein: in Principia Mathematica(1), there are two meanings of identity. 1. by definition as 1 + 1 = 2 Df. ("Primary equations") 2. the formula "a = a" uses the "=" in a special way, because one would not say that a can be replaced by a. The use of "=" is limited to cases in which a bound variable occurs. WittgensteinVsRussell: instead of (Ex):fx . (y).fy > (x=y), one writes (Ex)fx: ~ (Ex,y).fx.fy, (sic) which states that there are no two things, but only one. --- IV 47/48 So you cannot introduce objects of a formal concept and the formal concept itself, as primitive concepts. WittgensteinVsRussell: one cannot introduce the concept of function and special functions as primitive concepts, or e.g. the concept of number and definite numbers. IV 73 WittgensteinVsRussell/Tractatus: 5.452 in Principia Mathematica(1) definitions and basic laws occur in words. Why suddenly words here? There is no justification, and it is also forbidden. Logic/Tractatus: 5.453 All numbers in logic must be capable of justification. Or rather, it must prove that there are no numbers in logic. 5.454 In logic there is no side by side and there can be no classification. There can be nothing more universal and more special here. 5.4541 The solutions of logical problems must be simple, because they set the standard of simplicity. People have always guessed that there must be a field of questions whose answers are - a priori - symmetrical, and IV 74 lie combined in a closed, regular structure. In an area in which the following applies: simplex sigillum veri. ((s) Simplicity is the mark (seal) of the truth). Primitive signs/Tractatus: 5:46 the real primitive signs are not "pvq" or "(Ex).fx", etc. but the most general form of their combinations. IV 84 Axiom of infinity/Russell/Wittgenstein/Tractatus: 5.534 would be expressed in the language by the fact that there are infinitely many names with different meanings. Apparant sentences/Tractatus: 5.5351 There are certain cases where there is a temptation to use expressions of the form "a = a" or "p > p": this happens when one wants to talk of archetype, sentence, or thing. WittgensteinVsRussell: (Principia Mathematica, PM) nonsense "p is a sentence" is to be reproduced in symbols by "p > p" and to put as a hypothesis before certain sentences, so that their places for arguments could only be occupied by sentences. That alone is enough nonsense, because it does not get wrong for a non-sentence as an argument, but nonsensical. 5.5352 identity/WittgensteinVsRussell: likewise, one wanted to express "there are no things" by "~ (Ex).x = x" But even if this was a sentence, it would not be true if there IV 85 would be things but these were not identical with themselves? IV 85/86 Judgment/sense/Tractatus: 5.5422 the correct explanation of the sentence "A judges p" must show that it is impossible to judge a nonsense. (WittgensteinVsRussell: his theory does not exclude this). IV 87 Relations/WittgensteinVsRussell/Tractatus: 5.553 he said there were simple relations between different numbers of particulars (ED, individuals). But between what numbers? How should this be decided? Through the experience? There is no marked number. IV 98 Type theory/principle of contradiction/WittgensteinVsRussell/Tractatus: 6.123 there is not for every "type" a special law of contradiction, but one is enough, since it is applied to itself. IV 99 Reducibility axiom/WittgensteinVsRussell/Tractatus: (61232) no logical sentence, if true, then only accidentally true. 6.1233 One can think of a possible world in which it does not apply. But the logic has nothing to do with that. (It is a condition of the world). 1. Whitehead, A.N. and Russel, B. (1910). Principia Mathematica. Cambridge: Cambridge University Press. |
W II L. Wittgenstein Wittgenstein’s Lectures 1930-32, from the notes of John King and Desmond Lee, Oxford 1980 German Edition: Vorlesungen 1930-35 Frankfurt 1989 W 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 |
| Quine, W.V.O. | Carnap Vs Quine, W.V.O. | II 173 Analytic/Synthetic: CarnapVsQuine: trying to overcome the difficulties in order to maintain the distinction. Restriction: the distinction should apply only to the so-called constructed languages. Here there are clear rules as to when a composition is allowed.(1) 1. J. R: Flor, "Ernst Mach: Der Vater des Wiener Kreises" in: A. Hügli/P. Lübcke (Hg.) Philosophie im 20. Jahrhundert, Reinbek 1993 VII 147 Pragmatics/Carnap: additional problem: whether the objects exist. Quine: doubts that in the case of absence an explication of the words is possible, since he requires clear behavioral criteria. So these words become meaningless. CarnapVsQuine: it is theoretically possible to show the fruitfulness of semantic concepts through the evolution of language systems without pragmatic basis (language use, behaviourist). (operational procedures). VII 151 Intensionalist thesis of pragmatics/CarnapVsQuine: determining the intension is an empirical hypothesis that can be checked by observing the language habits. Extensionalist thesis/QuineVsCarnap: determining the intention is ultimately a matter of taste; the linguist is free, because it cannot be verified. But then the question of truth and falsehood does not arise, either. Quine: the completed lexicon is e.g. pede Herculem, i.e. we risk an error if we start at the foot. But we can draw an advantage from that. On the other hand, if we postpone a definition of synonymy in the case of the lexicon, no problem appears as nothing for lexicographers that would be true or false. VII 152 Solution/CarnapVsQuine: the linguist must provide not only the real cases, but also the possible ones. VII 153 CarnapVsQuine: The extensionalist thesis is inappropriate: E.g. entry in the lexicon: (3) Einhorn, unicorn Kobold, goblin On the other hand the wrong registration: (4) Einhorn, goblin Kobold, unicorn Carnap: The two German words here have the same extension, namely the zero class (Carnap pro). If the extensionalist thesis is correct, then there is no essential, empirically verifiable difference between (3) and (4). VII 154 QuineVsCarnap: might answer that the man in the street was unwilling to say anything about nonexistent objects. VII 155 CarnapVsQuine: the tests concerning the intentions are independent of existential questions. The man in the street is very well able to understand issues related to assumed counterfactual situations. Quine XI 150 Thing/Object/Carnap/Lauener: to accept things is only to choose a certain language. It does not mean to believe in these things. XI 151 CarnapVsQuine: its existence criterion (to be a value of a bound variable) has no deeper meaning as it only expresses a choice of language. QuineVsCarnap: language and theory cannot be so separated. Science is the continuation of our daily practice. Stroud I 221 Dream/Quine/Stroud: Quine does not exclude the possibility that we dream all the time. (>Descartes). Skepticism/Empiricism/Carnap: cannot be answered empirically. Knowledge/Carnap: however, there may be empirical studies that show how we arrive at knowledge. Naturalized Epistemology/Quine: is supposed to do that. CarnapVsQuine: N.B.: precisely because it is an empirical investigation, it cannot answer the traditional question of the philosopher. |
Ca I R. Carnap Die alte und die neue Logik In Wahrheitstheorien, G. Skirbekk (Hg) Frankfurt 1996 Ca VIII (= PiS) R. Carnap Über einige Begriffe der Pragmatik In Zur Philosophie der idealen Sprache, J. Sinnreich (Hg) München 1982 Quine XIII Willard Van Orman Quine Quiddities Cambridge/London 1987 Stroud I B. Stroud The Significance of philosophical scepticism Oxford 1984 |
| Quine, W.V.O. | Prior Vs Quine, W.V.O. | I 37 Higher-Order Quantification/Prior: It's true, we still have to admit that "for some p, p" is no idiomatic (real) Indo-European. But it is still not difficult to find ordinary language equivalents! We have common quantifiers, nominal and not nominal ones, as "whoever" from "who" or "wherever" from "there", or "somewhat", etc. Grammatically, this corresponds to the adverbs: "I met him somewhere," e.g: in Paris. that's alright. Quine: could say: then we would be "ontologically committed" to the existence of "places" as of ordinary objects. PriorVsQuine: but we do not need to respond to that! I 48 Extensionalism/Fallacy of/Extensionality/Extension/Extensional/Prior: Ontology/PriorVsQuine: existence as "being the value of a bound variable" is just a unproven dogma. Quantifiers: There is another unproven dogma: that mixed constructions such as "__ is green and __" or "believes that __" cannot fall into the same category as the single ones. In particular, it is meant that "X believes __" should not fall into the same category as "It's not the case, that __". I.e. they are both supposedly not single-digit constructions. Resistance comes from the formal logicians who want to simplify their systems by saying that if the sentences S1 and S2 have the same truth value, then each composite sentence, which differs only in that it has S1 as sub-sentence where the other has S2 as a sub-sentence, has the same truth value. This is the "law of extensionality". |
Pri I A. Prior Objects of thought Oxford 1971 Pri II Arthur N. Prior Papers on Time and Tense 2nd Edition Oxford 2003 |
| Quine, W.V.O. | Verschiedene Vs Quine, W.V.O. | Davidson I 55 CreswellVsQuine: he had a realm of reified experiences or phenomena facing an unexplored reality. Davidson pro - - QuineVsCresswell >Quine III) Kanitscheider II 23 Ontology/language/human/Kanitschneider: the linguistic products of the organism are in no way separated from its producer by an ontological gap. Ideas are certain neuronal patterns in the organism. KanitscheiderVsQuine: Weak point: his empiricism. One must therefore view his epistemology more as a research programme. Quine VI 36 VsQuine: I've been told that the question "What is there?" is always a question of fact and not just a linguistic problem. That is correct. QuineVsVs: but saying or assuming what there is remains a linguistic matter and here the bound variables are in place. VI 51 Meaning/Quine: the search for it should start with the whole sentences. VsQuine: the thesis of the indeterminacy of translation leads directly to behaviorism. Others: it leads to a reductio ad absurdum of Quine's own behaviorism. VI 52 Translation Indeterminacy/Quine: it actually leads to behaviorism, which there is no way around. Behaviorism/Quine: in psychology one still has the choice whether one wants to be a behaviorist, in linguistics one is forced to be one. One acquires language through the behavior of others, which is evaluated in the light of a common situation. It literally does not matter what other kind psychological life is! Semantics/Quine: therefore no more will be able to enter into the semantic meaning than what can also be inferred from perceptible behaviour in observable situations Quine XI 146 Deputy function/Quine/Lauener: does not have to be unambiguous at all. E.g. characterisation of persons on the basis of their income: here different values are assigned to an argument. For this we need a background theory: We map the universe U in V so that both the objects of U and their substitutes are included in V. If V forms a subset of U, U itself can be represented as background theory within which their own ontological reduction is described. XI 147 VsQuine: this is no reduction at all, because then the objects must exist. QuineVsVs: this is comparable to a reductio ad absurdum: if we want to show that a part of U is superfluous, we can assume U for the duration of the argument. (>Ontology/Reduction). Lauener: this brings us to ontological relativity. Löwenheim/Ontology/Reduction/Quine/Lauener: if a theory of its own requires an overcountable range, we can no longer present a proxy function that would allow a reduction to a countable range. For this one needed a much stronger frame theory, which then could no longer be discussed away as reductio ad absurdum according to Quine's proposal. Quine X 83 Logical Truth/Validity/Quine: our insertion definitions (sentences instead of sets) use a concept of truth and fulfillment that goes beyond the framework of object language. This dependence on the concept of ((s) simple) truth, by the way, would also concern the model definition of validity and logical truth. Therefore we have reason to look at a 3rd possibility of the definition of validity and logical truth: it gets by without the concepts of truth and fulfillment: we need the completeness theorem ((s) >provability). Solution: we can simply define the steps that form a complete method of proof and then: Def Valid Schema/Quine: is one that can be proven with such steps. Def Logically True/Quine: as before: a sentence resulting from a valid schema by inserting it instead of its simple sentences. Proof Procedure/Evidence Method/Quine: some complete ones do not necessarily refer to schemata, but can also be applied directly to the propositions, X 84 namely those that emerge from the scheme by insertion. Such methods generate true sentences directly from other true sentences. Then we can leave aside schemata and validity and define logical truth as the sentence generated by these proofs. 1st VsQuine: this tends to trigger protest: the property "to be provable by a certain method of evidence" is uninteresting in itself. It is interesting only because of the completeness theorem, which allows to equate provability with logical truth! 2. VsQuine: if one defines logical truth indirectly by referring to a suitable method of proof, one deprives the completeness theorem of its ground. It becomes empty of content. QuineVsVs: the danger does not exist at all: The sentence of completeness in the formulation (B) does not depend on how we define logical truth, because it is not mentioned at all! Part of its meaning, however, is that it shows that we can define logical truth by merely describing the method of proof, without losing anything of what makes logical truth interesting in the first place. Equivalence/Quine: important are theorems, which state an equivalence between quite different formulations of a concept - here the logical truth. Which formulation is then called the official definition is less important. But even mere terms can be better or worse. Validity/logical truth/definition/Quine: the elementary definition has the advantage that it is relevant for more neighboring problems. 3. VsQuine: with the great arbitrariness of the choice of the evidence procedure it cannot be excluded that the essence of the logical truth is not grasped. QuineVsVs: how arbitrary is the choice actually? It describes the procedure and talks about strings of characters. In this respect it corresponds to the sentence. Insertion definition: it moves effectively at the level of the elementary number theory. And it stays at the level, while the other definition uses the concept of truth. That is a big difference. |
Davidson I D. Davidson Der Mythos des Subjektiven Stuttgart 1993 Davidson I (a) Donald Davidson "Tho Conditions of Thoughts", in: Le Cahier du Collège de Philosophie, Paris 1989, pp. 163-171 In Der Mythos des Subjektiven, Stuttgart 1993 Davidson I (b) Donald Davidson "What is Present to the Mind?" in: J. Brandl/W. Gombocz (eds) The MInd of Donald Davidson, Amsterdam 1989, pp. 3-18 In Der Mythos des Subjektiven, Stuttgart 1993 Davidson I (c) Donald Davidson "Meaning, Truth and Evidence", in: R. Barrett/R. Gibson (eds.) Perspectives on Quine, Cambridge/MA 1990, pp. 68-79 In Der Mythos des Subjektiven, Stuttgart 1993 Davidson I (d) Donald Davidson "Epistemology Externalized", Ms 1989 In Der Mythos des Subjektiven, Stuttgart 1993 Davidson I (e) Donald Davidson "The Myth of the Subjective", in: M. Benedikt/R. Burger (eds.) Bewußtsein, Sprache und die Kunst, Wien 1988, pp. 45-54 In Der Mythos des Subjektiven, Stuttgart 1993 Davidson II Donald Davidson "Reply to Foster" In Truth and Meaning, G. Evans/J. McDowell Oxford 1976 Davidson III D. Davidson Essays on Actions and Events, Oxford 1980 German Edition: Handlung und Ereignis Frankfurt 1990 Davidson IV D. Davidson Inquiries into Truth and Interpretation, Oxford 1984 German Edition: Wahrheit und Interpretation Frankfurt 1990 Davidson V Donald Davidson "Rational Animals", in: D. Davidson, Subjective, Intersubjective, Objective, Oxford 2001, pp. 95-105 In Der Geist der Tiere, D Perler/M. Wild Frankfurt/M. 2005 Kanitsch I B. Kanitscheider Kosmologie Stuttgart 1991 Kanitsch II B. Kanitscheider Im Innern der Natur Darmstadt 1996 Quine XIII Willard Van Orman Quine Quiddities Cambridge/London 1987 |
| 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 |
| Russell, B. | Hintikka Vs Russell, B. | II 165 On Denoting/Russell/Hintikka: (Russell 1905) Problem: with phrases that stand for genuine constituents of propositions. Problem/Frege: failure of substitutivity of identity (SI) in intensional contexts. Informative Identity/Frege: the fact that identity can even sometimes be informative is connected to this. EG/Existential Generalization/Russell: it, too, may fail in in intensional contexts, (problem of empty terms). HintikkaVsRussell: he does not recognize the depth of the problem and rather circumvents the problems of denoting terms. E.g. The bald king of France/Russell: Problem: we cannot prove by existential generalization that there is a present king of France. HintikkaVsRussell: But there are also other problems. (see below for ambiguity of cross world identificaiton). Description/Russell/Hintikka: Def Primary Description: the substitutivity of identity applies to them (SI) Def secondary description: for them, substitutivity of identity (SI) fails. II 166 Existential Generalization/Russell: two readings: (1) George IV did not know whether Scott was the author of Waverley. Description/Logical Form/Russell/Hintikka: "the author of Waverley": (ix)A(x) primarily: the description has the following power: (2) (Ex)[A(x) & (y) A(y) > y = x) & ~ George IV knew that (Scott = x)]. ((s) notation: quantifier here always normal existential quantifier, mirrored E). I.e. the quantifier has the maximum range in the primary identification. The second reading is more likely, however: Secondary: (3) ~George IV knew that (Ex)[A(x) & (y)(A(y) > y = x & (Scott = x)]. ((s) narrow range): Range/HintikkaVsRussell: he did not know that there is also a third option for the range of a quantifier ((s) >"medium range"/Kripke). (4) ~(Ex)[A(x) & (y)(A(y) > y = x ) & George IV knew that (Scott = x)]. II 166 Existential Generalization/HintikkaVsRussell: he did not see that there was a reason for the failure of the existential generalization, which is not caused by the non-existence of the object. E.g. (5) George IV knew that the author of Waverley is the author of Waverley. a) trivial interpretation: I 167 (6) George IV knew that (Ex)(A(x) & (y)(A(y) > y = x)) everyday language translation: he knew that one and only one person wrote Waverley. I 166 b) non-trivial interpretation: (7) (Ex)(A(x) & (y)(A(y) > y = x) & George IV knew that (A(x) & (y)(A(y) > y = x))). ((s) no quantifier after "knew that everyday language translation: George knew of the only person who actually wrote Waverley, that they did. Because knowledge implies truth, (7) is equivalent to (8) (Ex) George IV knew that (Ez)(A(z) & (y)(A(y) > y = z) & x = z). this is equivalent to. (9) (Ex) George IV knew that (the author of Waverley = x) Here, the description has secondary (narrow) range. Everyday language translation: George knew who the author of Waverley is. I 167 Knowledge/Who/What/Where/HintikkaVsRussell: Russell cannot explicitly analyze structures of the form knows + W-sentence. General: (10) a knows, who (Ex x) is so that A(x) becomes (11) (Ex) a knows that A(x). Hintikka: this is only possible if we modify Russell’s approach: Problem: the existential generalization now collapses in a way that cannot be attributed to non-existence, and which cannot be analyzed by Russell’s Theory of Descriptions (ThoD). Problem: for every person, there are a lot of people whose names they know and of whose existence they know, but of who they do not know who they are. II 168 E.g. Charles Dodgson was for Queen Victoria someone of whom she had heard, but whom she did not know. Problem: if we assume that (11) is the correct analysis of (10), the following applies. (12) ~(Ex) Victoria knew that Dodgson = x) But that’s trivially false, even according to Russell. Because the following is certainly true: (13) Victoria knew that Dodgson = Dodgson) Existential Generalization/EG: then yields (14) (Ex) Victoria knew that Dodgson = x) So exactly the negation of (12) contradiction. II 168 Descriptions/Hintikka: are not involved here. Therefore, Russell’s description theory cannot help here, either. E.g. we can also assume that Victoria knew of the existence of Dodgson. Empty Terms/Empty Names: are therefore not the problem, either. Ontology/Hintikka: so our problem gets an ontological aspect. Existential Generalization/EG/Being/Quine/Ontology/Hintikka: the question of whether existential generalization may be applied on a singular term "b", E.g. in a context "F(b)", is the same as whether b may be value of a bound variable. Existential Generalization/Hintikka: does not fail here because of non-existence. II 169 We are dealing with the following problems here: Manifestation used by a) no SI Frege, Russell b) no EG (i) due to non-existence Russell (ii) because of ambiguity Hintikka Ambiguity/Solution/Hintikka: possible worlds semantics. E.g. (12) - (14) the problem is not that Dodgson did not exist in the actual world or not in one of Victoria’s worlds of knowledge, but that the name Dodgson singles out different individuals in different possible worlds. Hence (14) does not follow from (13). II 170 Existential Generalization/EG/Ambiguity/Clarity/Russell/Hintikka: Which way would have been open to Russell?. Knowing-Who/Russell/Hintikka: Russell himself very often speaks of the equivalence of knowledge, who did something with the existence of another individual, which is known to have done... + ... II 173 Denotation/Russell/Hintikka: Important argument: an ingenious feature of Russell’s theory of denotation from 1905 is that it is the quantifiers that denote! Theory of Denotation/Russell: (end of "On Denoting") includes the reduction of descriptions to objects of acquaintance. II 174 Hintikka: this relation is amazing, it also seems to be circular to allow only objects of acquaintance. Solution: We need to see what successfully denoting expressions (phrases) actually denote: they precisely denote objects of acquaintance. Ambiguity/Clarity/Hintikka: it is precisely ambiguity that leads to the failure of the existential generalization. Existential Generalization/Waverley/Russell/Hintikka: his own example shows that only objects of acquaintance are allowed: "the author of Waverley" in (1) is in fact a primary incident i.e. his example (2). "Whether"/Russell/Hintikka: only difference: wanted to know "if" instead of "did not know". (secondary?). Secondary Description/Russell: can also be expressed like this: that George wanted to know of the man who actually wrote Waverley whether he was Scott. II 175 That would be the case if George IV had seen Scott (in the distance) and had asked "Is that Scott?". HintikkaVsRussell: why does Russell select an example with a perceptually known individual? Do we not usually deal with beings of flesh and blood whose identity is known to us, instead of only with objects of perception?. Knowing Who/Knowing What/Perception Object/Russell/Hintikka: precisely with perception objects it seems as if the kind of clarity that we need for a knowing-who, is not just given. Identifcation/Possible Worlds Semantics/HintikkaVsRussell/Hintikka: in my approach Dodgson is a bona fide individual iff. he is one and the same individual in all worlds of knowledge of Victoria. I.e. identifiable iff. (15) (E.g.) in all relevant possible worlds it is true that (Dodgson = x). Problem: What are the relevant possible worlds?. II 178 Quantifier/Quantification/HintikkaVsRussell: Russell systematically confuses two types of quantifiers. (a) of acquaintance, b) of description). Problem: Russell has not realized that the difference cannot be defined solely in terms of the actual world!. Solution/Hintikka: we need a relativization to sets of possible worlds that change with the different propositional attitudes. II 179 RussellVsHintikka: he would not have accepted my representation of his position like this. HintikkaVsRussell: but the reason for this merely lies in a further error of Russell’s: I have not attributed to him what he believed, but what he should have believed. Quantification/Russell/Hintikka: he should have reduced to objects of acquaintance. Russell believed, however, it was sufficient to eliminate expressions that seemingly denote objects that are not such of acquaintance. Important argument: in that his quantifiers do not enter any ontological commitment. Only denoting expressions do that. Variable/Russell/Hintikka: are only notational patterns in Russell. Ontological Commitment/Quine/HintikkaVsRussell: Russell did not recognize the ontological commitment that 1st order languages bring with them. Being/Ontology/Quine: "Being means being value of a bound variable". HintikkaVsRussell: he has realized that. II 180 Elimination/Eliminability/HintikkaVsRussell/Hintikka: in order to eliminate merely seemingly denoting descriptions one must assume that the quantifiers and bound variables go over individuals that are identified by way of description. ((s) Object of the >Description). Otherwise, the real Bismarck would not be a permissible value of the variables with which we express that there is an individual of a certain species. Problem: then these quantifiers may not be constituents of propositions, because their value ranges do not only consist of objects of acquaintance. Therefore, Russell’s mistake was twofold. Quantifier/Variable/Russell/Hintikka, 1905, he had already stopped thinking that quantifiers and bound variables are real constituents of propositions. Def Pseudo Variable/Russell/Hintikka: = bound variable. Acquaintance/Russell: values of the variable should only be objects of acquaintance. (HintikkaVsRussell). Quantifiers/HintikkaVsRussell: now we can see why Russell did not differentiate between different quantifiers (acquaintance/description): For him quantifiers were only notational patterns, and for them the range of possible interpretations need not be determined, therefore it makes no difference if the rage changes!. Quantification/Russell: for him, it was implicitly objectional (referential), and in any event not substitutional. Peacocke I 190 Possible Worlds/Quantification/HintikkaVsRussell: R. is unable to explain the cases in which we quantify in belief contexts (!) where (according to Hintikka) the quantifier over "publicly descriptively identified" particulars is sufficient. Hintikka: compares with a "roman à clef". Peacocke: it is not clear that (whether) this could not be explained by Russell as cases of general ideas, so that the person with such and such characteristics is so and so. Universals/Acquaintance/Russell/Peacocke: we are familiar with universals and they are constituents of our thoughts. HintikkaVsRussell: this is a desperate remedy to save the principle of acquaintance. PeacockeVsRussell: his arguments are also very weak. Russell: E.g. we cannot understand the transitivity of "before" if we are not acquainted with "before", and even less what it means that one thing is before another. While the judgment depends on a consciousness of a complex, whose analysis we do not understand if we do not understand the terms used. I 191 PeacockeVsRussell: what kind of relationship should exist between subject and universal?. Solution: the reformulated PB: Here we can see to which conditions a term is subject, similar to the principle of sensitivity in relational givenness. I 192 HintikkaVsRussell: ("On denoting what?", 1981, p.167 ff): the elimination of objects with which the subject is not familiar from the singular term position is not sufficient for the irreducibility of acquaintance that Russell had in mind. Quantification/Hintikka: the quantifiers will still reach over objects with which the subject is not familiar. But such quantifiers cannot be constituents of propositions, if that is to be compatible with the PB. Because they would certainly occur through their value range Occur and these do not consist of particulars with which one is familiar. |
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 Peacocke I Chr. R. Peacocke Sense and Content Oxford 1983 Peacocke II Christopher Peacocke "Truth Definitions and Actual Languges" In Truth and Meaning, G. Evans/J. McDowell Oxford 1976 |
| substit. Quantific. | Quine Vs substit. Quantific. | V 158 VsSubstitutional Quantification/SQ/Quine: the SQ has been deemed unusable for the classic ML for a false reason: because of uncountability. The SQ does not accept nameless classes as values of variables. ((s) E.g. irrational numbers, real numbers, etc. do not have names, i.e. they cannot be Gödel numbered). I.e. SQ allows only a countable number of classes. Problem: Even the class of natural numbers has uncountably many sub-classes. And at some point we need numbers! KripkeVs: in reality there is no clear contradiction between SQ and hyper-countability! No function f lists all classes of natural numbers. Cantor shows this based on the class {n:~ (n e f(n))} which is not covered by the enumeration f. refQ: demands it in contrast to a function f enumerating all classes of natural numbers? It seems so at first glance: it seems you could indicate f by numbering all abstract terms for classes lexicographically. Vs: but the function that numbers the expressions is not quite the desired f. It is another function g. Its values are abstract terms, while the f, which would contradict the Cantor theorem, would have classes as values... V 159 Insertion character: does ultimately not mean that the classes are abstract terms! ((s) I.e. does not make the assumption of classes necessary). The cases of insertion are not names of abstract terms, but the abstract terms themselves! I.e. the alleged or simulated class names. Function f: that would contradict Cantor's theorem is rather the function with the property that f(n) is the class which is denoted by the n-th abstract term g(n). Problem: we cannot specify this function in the notation of the system. Otherwise we end up with Grelling's antinomy or that of Richard. That's just the feared conflict with Cantor's theorem. This can be refute more easily: by the finding that there is a class that is not denoted by any abstract term: namely the class (1) {x.x is an abstract term and is not a member of the class it denotes}. That leaves numbers and uncountability aside and relates directly to expressions and classes of expressions. (1) is obviously an abstract expression itself. The antinomy is trivial, because it clearly relies on the name relation. ((s) x is "a member of the class of abstract expressions and not a member of this class"). V 191 Substitutional Quantification/SQ/Nominalism/Quine: the nominalist might reply: alright, let us admit that the SQ does not clean the air ontologically, but still we win something with it: E.g. SQ about numbers is explained based on expressions and their insertion instead of abstract objects and reference. QuineVsSubstitutional Quantification: the expressions to be inserted are just as abstract entities as the numbers themselves. V 192 NominalismVsVs: the ontology of real numbers or set theory could be reduced to that of elementary number theory by establishing truth conditions for the sQ based on Gödel numbers. QuineVs: this is not nominalistic, but Pythagorean. This is not about the extrapolation of the concrete and abhorrence of the abstract, but about the acceptance of natural numbers and the refutal of the most transcendent nnumbers. As Kronecker says: "The natural numbers were created by God, the others are the work of man." QuineVs: but even that does not work, we have seen above that the SQ about classes is, as a matter of principle, incompatible with the object quantification over objects. V 193 VsVs: the quantification over objects could be seen like that as well. QuineVs: that was not possible because there are not enough names. Zar could be taught RZ coordination, but that does not explain language learning. Ontology: but now that we are doing ontology, could the coordinates help us? QuineVs: the motivation is, however, to re-interpret the SQ about objects to eliminate the obstacle of SQ about classes. And why do we want to have classes? The reason was quasi nominalistic, in the sense of relative empiricism. Problem: if the relative empiricism SQ talks about classes, it also speaks for refQ about objects. This is because both views are closest to the genetic origins. Coordinates: this trick will be a poor basis for SQ about objects, just like (see above) SQ about numbers. Substitutional/Referential Quantification/Charles Parsons/Quine: Parsons has proposed a compromise between the two: according to this, for the truth of an existential quantification it is no longer necessary to have a true insertion, there only needs to be an insertion that contains free object variables and is fulfilled by any values of the same. Universal quantification: Does accordingly no longer require only the truth of all insertions that do not contain free variables. V 194 It further requires that all insertions that contain free object variables are fulfilled by all values. This restores the law of the single sub-classes and the interchangeability of quantifiers. Problem: this still suffers from impredicative abstract terms. Pro: But it has the nominalistic aura that the refQ completely lacks, and will satisfy the needs of set theory. XI 48 SQ/Ontology/Quine/Lauener: the SQ does not make any ontological commitment in so far as the inserted names do not need to designate anything. I.e. we are not forced to assume values of the variables. XI 49 QuineVsSubstitutional Quantification: we precisely obscure the ontology by that fact that we cannot get out of the linguistic. XI 51 SQ/Abstract Entities/Quine/Lauener: precisely because the exchange of quantifiers is prohibited if one of the quantifiers referential, but the other one is substitutional, we end up with refQ and just with that we have to admit the assumption of abstract entities. XI 130 Existence/Ontology/Quine/Lauener: with the saying "to be means to be the value of a bound variable" no language dependency of existence is presumed. The criterion of canonical notation does not suppose an arbitrary restriction, because differing languages - e.g. Schönfinkel's combinator logic containing no variables - are translatable into them. Ontological Relativity/Lauener: then has to do with the indeterminacy of translation. VsSubstitutional Quantification/Quine/Lauener: with it we remain on a purely linguistic level, and thus repeal the ontological dimension. But for the variables not singular terms are used, but the object designated by the singular term. ((s) referential quantification). Singular Term/Quine/Lauener: even after eliminating the singular terms the objects remain as the values of variables. XI 140 QuineVsSubstitutional Quantification: is ontologically disingenuous. |
Quine XIII Willard Van Orman Quine Quiddities Cambridge/London 1987 |
| Tradition | Quine Vs Tradition | IV 403 Logical particles: are treated by Quine as syncategorematic expressions! (Derives from Russell: e.g. Socrates "is a man"). Logical particles: prepositions, conjunctions, copula, etc.: Locke: links between ideas or propositions. Tradition: the generated concrete terms. QuineVsTradition: actually to be treated as syncategorematic expressions. Superficially they resemble designating expressions. V 58 Idea/Notion/Berkeley/Hume/Quine: the two were not guileless and even drew the line at the abstract idea of a triangle, accepting only ideas of certain triangles. QuineVsTradition: vain questions about the causal connection of ideas. VII (a) 11 Universals/Predicate/Attribute/Meaning/Tradition/"McX"/Quine: one possibility was excluded beforehand: McX cannot argue that such predicates as "red" or "is red" (which we all use) should be considered names of individual universals to be at all meaningful (of "universal entities"). Names/Quine: we have seen that being a name is a much more specific property than having a meaning. McX cannot pin us down to that with the predicate "pegasated" we have introduced the attribute of "pegasating". Difference predicate (concept)/attribute (universal). McXVsQuine: different strategy: let us concede: 1) distinction between mention and use (naming and meaning) 2) that "is red" and "pegasated" are not names of attributes. Nevertheless, they are to have meaning. But these meanings, whether they are mentioned (named) or not, are nevertheless universals! And some of them I call attributes, or something with ultimately the same purpose. QuineVsVs: here one could only resist by refusing to ever concede meaning. But I do not want that, because I do not want to reject the meaning of words and sentences at the same time. QuineVsMcX: we both agree to divide linguistic forms into meaningful and meaningless ones, but he constructs "meaningful" as "having an "abstract entity" like "a meaning", and I do not. Meanings are not entities. Better: a linguistic expression is meaningful or significant (designating). Meaning/Quine: generally, there is talk about two problems with it: 1) "Having" of meaning 2) synonymity or "meaning equality". VII (a) 12 Quine: we can best handle this with the study of behavior. But we need not speak of an entity called meaning. Tradition/McX: wonders at this point: is there nothing that commits us to universals then if we do not wish to welcome them? Quine: No, (see above) we have our bound variables instead. Example We can definitely say that this (bound variable) is something that red houses and sunsets have in common. Example or that there is "something" which is a prime number greater than a million. Ontology: but that (bound variable) is the only way to impose our ontological commitments. |
Quine XIII Willard Van Orman Quine Quiddities Cambridge/London 1987 |
| |||
The author or concept searched is found in the following theses of an allied field of specialization.
| Disputed term/author/ism | Author |
Entry |
Reference |
|---|---|---|---|
| Mathematics | Chihara, Ch. | Field III 44 Mathematics / Chihara, Charles / nominalism / Field: (Chihara, Ontology and the vicious circle principle): Reinterprets the mathematics: he assumes that numbers are linguistic entities, not abstract entities. FieldVsChihara: 1. then there may only be predicative predicates (ie not bound variables of a higher order than ^ x) - 2 Chihara must consider never expressed tokens - 3. Chihara does not show the use of extrinsic, causally irrelevant entities. |
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 |
| |||