Disputed term/author/ism | Author |
Entry |
Reference |
---|---|---|---|
Proxy | Grover, D. L. | Horwich I 326/327 Stand for/Camp, Grover, Belnap/CGB/(s): to stand for something is not the same as referring/reference. Reference: a proxy does not refer to the original! E.g. "you" is not used to refer to "Mary", but to Mary! E.g. >pronoun of laziness/Geach: the pronoun of laziness stands for its antecedent. E.g. Jane will go when they can afford it. But the grammatical category must not be changed. E.g. John visited us. It was a surprise. >Prosentential theory. |
Grover, D. L. Gro I D. Grover, A Prosentential Theory of Thruth, Princeton New Jersey 1992 Kamp/Grover/Belnap D. L. Grover, J L. Camp, N. D. Belnap Philosophical Studies 27 (1) 73 – 125 (1975) See external reference in the individual contributions. Horwich I P. Horwich (Ed.) Theories of Truth Aldershot 1994 |
Proxy | Field | II 41 Property/denotation/possible world/Field: E.g. "Russell is bald" is true in any possible world w, where Russell exists (denoted by "Russell" in the actual world) and is bald (i.e. has the property for which "bald" stands in the actual world). N.B.: "stand for": we must now understand them in that way that a predicate does not stand for a set (its extension), but for a property that exists in the actual world. >Denotation, >Extensions, >Predicates, >Properties. Problem: the relation between predicates and properties. Problem: properties determine extensions of the predicates, but are not determined by them. Solution: within the possible world semantics: Causal theory of the reference. >Causal theory of the reference. Problem: we are not coming into contact with all extensions of "bald". - Then what is associated with the predicate is not its extension, but a property. The relation can be causal or non-causal. >possible world-semantics,> cross-world identity. |
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 |
Proxy | Frege | II 41 Sign/symbol/Frege: a sign is a proxy. >Signs, >Names, >Words, >Variables, >Constants, >Symbols. |
F I G. Frege Die Grundlagen der Arithmetik Stuttgart 1987 F II G. Frege Funktion, Begriff, Bedeutung Göttingen 1994 F IV G. Frege Logische Untersuchungen Göttingen 1993 |
Proxy | Geach | I 199f Variable/description/proxy/GeachVsCarnap: in his rules for descriptions E.g. "" ____ (ix) (.. x ..) ____ "etc. the strokes do not act, as Carnap believes as vacancies (proxy) but as variables. >Descriptions/Carnap. Variables/Carnap/Geach: Carnap thinks, if he renames them, he could prevent his problems with variables. I 224 "stand for"/Geach: there is no difference whether I say, a predicate "stands for" a proposition or was its name. >Name/Geach, >Naming, >Reference, >Meaning, >Variables. |
Gea I P.T. Geach Logic Matters Oxford 1972 |
Proxy | Simons | I 191 Proxy/to stand for/vouch for/existence of/Chisholm/Simons: only mereologically constant objects can stand for others. >Mereology. Sum/Simons: without mereological constancy, there would be nothing to prevent sums from being variable. >Mereological sum. Total: a total has its parts necessarily - or any other sum, e.g. Tib + Tail but not Tibbles. >Tibbles-exaple, >Totality, >Wholes. Vs: sum of variable parts: e.g. the tail may again consist of different atoms. >Parts. |
Simons I P. Simons Parts. A Study in Ontology Oxford New York 1987 |
Proxy | Tugendhat | I 366 Proxy/Tugendhat: predicates are no substitute: characterization function: >characterizing. Singular term are substitutes. I 407 Stand for/Tugendhat/(s): to stand for is distinguished from reference. >Predicates, >Singular terms, >Reference. |
Tu I E. Tugendhat Vorlesungen zur Einführung in die Sprachanalytische Philosophie Frankfurt 1976 Tu II E. Tugendhat Philosophische Aufsätze Frankfurt 1992 |
Proxy | Wittgenstein | VI 119 Formalism/Proxy/Sign/Symbol/WittgensteinVsFrege: Frege: characters are either mere blackening or a sign of something. Then this is what they represent, their meaning. Wittgenstein: false alternative. - E.g. Pieces: represented nothing. Solution: use like in the game instead of representation of something. ((s) use is more than mere blackening and less than representation of an object - Wittgenstein: Formalism is not entirely unjustified. >Formalism. Hintikka I 52 Terminology/Wittgenstein/Hintikka: Tractatus: thing: particular, name, linguistic proxy for particulars. (Very suitable proxy). I 138 et seqq. Frege/Logic/Sentence/Hintikka: in the Tractatus there is a break with Frege's tradition: Frege's logic is regarded as the theory of complex sentences. >Complex, >Compositionality. Wittgenstein examines the simplest components of the world and their linguistic proxies. >Atomism. II 66 Thinking/Substitute/Wittgenstein: is there not a proxy "in mind"? This thought is errorneous and causes a lot of damage; it divides thinking into two separate parts, the organic (essential) and the non-organic. There is no mental process that cannot be symbolized. We are only interested in what can be symbolized. >Symbols. Thinking/Thought/Wittgenstein: the thought is autonomous. Example "Schmidt is sitting on the bench". You would think three things are in his mind, as a proxy. There's something true about that, too. But what guarantee would we have that they represent anything at all? What is given in my thinking is present and essential! Everything else (which is represented) is irrelevant. That is why thinking is complete in itself. And what is not given in my thinking cannot be essential for it! The thought does not point beyond itself, we believe that only because of the way in which we use symbols. II 84 Meaning/Wittgenstein: is defined within the language by explanations. >Explanation, >Meaning. The expression "the meaning of" is misleading, as it suggests "proxy for" or "substitute". >Substitution. |
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 |
---|---|---|---|
Mill, J. St. | Tugendhat Vs Mill, J. St. | I 349 Mill regards names as elementary. Distinguishes general and individual names. Individual names: "denotative". Only descriptions are also connotative. They refer to the object by means of the attribute. Proper names: not connotative, they are "attached to the object itself." TugendhatVsMill: Problem: it would have to be like in the fairy tale of Alibaba where the house is marked with a chalk mark to be able to recognize it. Mill sees this objection himself. His solution: we do not mark the object, but our image of the object. I 350 Presentation/Tradition/Tugendhat: irredeemable metaphor of traditional philosophy. Also for modern tradition. Problem: the fact that the image is supposed to be something like an internal image more problems than it solves. It is no coincidence, however, that philosophy came up with this concept, initially there was no alternative but to look towards something sensual for orientation if you did not want to use a language itself for orientation. I 352 Mill/Tugendhat: however, we can reformulate his theory such that it is not about an imagination, but about "standing for": namely for an imagined object. However, his theory implies that our relation to the objects is not a linguistic one. Object/Frege: Object: is not anything imaginable as a simple fact, but something to which showing itself in manifold ways of givenness belongs essentially. I 353 Image/Sign/Tugendhat: do signs not need to be conceivable at least? Tugendhat: yes: sign types are conceivable, i.e. in a non-metaphorical sense. I 354 TugendhatVsTradition/TugendhatVsMill: 1) The metaphor of a non-sensual, somehow intellectual image makes no sense. 2) Excessive tendency to think the object as a counterpart. I 355 However, it is not controversial between tradition and analytic philosophy that singular terms "stand for objects". (> Proxy/Tugendhat). I 356 3) images are not understood by tradition as intersubjective. (Humpty-Dumpty Theory). |
Tu I E. Tugendhat Vorlesungen zur Einführung in die Sprachanalytische Philosophie Frankfurt 1976 Tu II E. Tugendhat Philosophische Aufsätze Frankfurt 1992 |
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 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 |