| Disputed term/author/ism | Author Vs Author |
Entry |
Reference |
|---|---|---|---|
| Benacerraf, P. | Lewis Vs Benacerraf, P. | Field I 231 Example (2) if most mathematicians accept "p" as an axiom, then p. I 232 VsPlatonism: he has a problem if he cannot explain (2). This is a reformulation of the famous problem of Benacerraf in "Mathematical truth". (see above). (>Benacerraf here departs from a causal theory of truth). Field: our current approach does not depend on that, though. I 233 Knowledge/Mathematics/Field: our approach does not depend on the givenness of necessary and sufficient conditions for knowledge. Instead: Reliability Theory/Knowledge/Field: the view that we should be skeptical if the reliability of our knowledge is not explainable in principle. Mathematics/LewisVsBenacerraf: (Lewis, 1986, p.111 12): Benacerraf's case is not a problem for mathematics because most mathematical facts necessarily apply. Reliability Theory/Lewis: then we also need an explanation of the reliable relationship, e.g., between facts about electrons and our "electron" belief states and we even have them! In this case, it is the causal approach, according to which the "electron" beliefs counterfactually (>counterfactual conditionals) depend on the existence and nature of electrons. Explanation/Lewis: now it's precisely the contingent existence and nature of electrons, which makes the question of their existence and nature meaningful. Lewis: nothing can counterfactually depend on non-contingent things. E.g. nothing can counterfactually depend on which mathematical entities there are. Nothing meaningful can be said about which of our opinions would be different if the number 17 did not exist. Stalnaker I 41 Mathematics/Benacerraf/Stalnaker: for mathematics we should expect a semantics that is a continuation of general semantics. We should interpret existence statements about numbers, functions and sets with the same truth-conditional semantics as propositions about tables, quarks, etc. I 42 Knowledge/Mathematics/Reality/Stalnaker: On the other hand, we should also expect that the access to our mathematical knowledge is continuous to the to everyday knowledge. The procedures by which we evaluate and justify mathematical statements should be explained by a general approach to knowledge, together with a representation of mathematical knowledge. Platonism/Mathematics/Benacerraf: Thesis: he gives natural semantics, but does not allow plausible epistemology. ((s) that does not explain how we come to knowledge). Combinatorial approach/Combinatorial/Terminology/Benacerraf: Example conventionalism, example formalism: they show mathematical procedures, but do not tell us what the corresponding confirmed mathematical statements tell us. Benacerraf/Stalnaker: he himself does not offer any solution. Reference/Benacerraf: Thesis: true reference needs a causal link. Knowledge/Possible Worlds/Poss.W./Solution/LewisVsBenacerraf: pro Platonism but Vs causal link for reference. |
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 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 Stalnaker I R. Stalnaker Ways a World may be Oxford New York 2003 |
| Burge, T. | Stalnaker Vs Burge, T. | II 171 Positive assertion/VsExternalism/VsBurge/VsAnti-Individualism/Stalnaker: how can you define an individualistic analogous to a relational term? II 187 Negative approach/Revisionism/VsExternalism/VsAnti-Individualism/VsBurge/Individualism/Stalnaker: the negative approach has different descriptions: (>terminology): methodological solipsism: Putnam 1975, Fodor 1981a Individualism: Burge, also Fodor 1987 Principle of autonomy: Stich 1983. Thesis: all states and properties that are attributed and described in psychology should be intrinsic states. Behavior explanation: should only deal with properties that are relevant to the causal powers of the subjects. Indistinguishability/theory: things that are indistinguishable in terms of causal powers should not be included in the explanation. II 188 Def Individualism/Fodor: is the thesis that psychological states in terms of their causal powers are individuated. science/Fodor: it is a scientific principle that in a taxonomy individuals are individuated because of their causal powers. This can be justified a priori metaphysically. Important argument: thus it is then not excluded that mental states are individuated because of relational properties. Relational properties/Fodor: are taxonomical when they consider causal powers. E.g. "to be a planet" is relational par excellence StalnakerVsFodor: a) stronger: to individuate a thing by causal powers b) weaker: to individuate the thing by something that considers the causal powers. But the facts of the environment do not constitute the causal forces. Therefore Fodor represents only the weaker thesis. Burge/Stalnaker: represents the stronger thesis. StalnakerVsFodor: his defense of the negative approach of revisionism (FodorVsExternalism) builds on a mixture of strong with the weak thesis. Stalnaker: to eliminate that psychological states are individuated by normal wide content, you need a stronger thesis. But the defense of individualism often only goes against the weaker thesis. Example Fodor: Individualism/Fodor/Stalnaker: Fodor defends his version of individualism with the example of a causally irrelevant relational property: E.g. h-particle: we call a particle when a coin lands with the head up, II 189 t-particle: we call this the same particle if the coin shows the tail. Fodor: no reasonable theory will use this differentiation to explain the particle's behavior. StalnakerVsFodor: But from this it does not follow that psychological states have to be purely internal (intrinsic). II 193 Mental state/psychological/internal/head/StalnakerVsBurge: e.g. O’Leary believes that there is water in the basement. Is this state in his head? Of course! ((s) Against: Putnam: refers to the meaning of words such as basements and water). Stalnaker: and in the sense like a mosquito bite on his nose is on his nose. II 194 Narrow content/Stalnaker: is accepted as what is completely internal. Psychology: various authors: say that narrow content is necessary for every psychological explanation. They agree with Burge that normal content is often not narrow. Anti-Individualism/Burge/StalnakerVsBurge: seems to conflict with the everyday understanding that I, when I instead of talking about the world talk about how me things appear that I am then talking about myself. Narrow content/StalnakerVsBurge: it is less clear than it seems what narrow content is at all and II 195 I believed that there is such a great conflict between the individualist and anti-individualist. Narrow content/Stalnaker: 1. in which sense is narrow content at all narrow and in which sense is it in the mind purely internal? 2. Which role shall narrow content play at the explanation of mental phenomena? How is the ascription of narrow content referred to the one of wide content? 3. Do we need narrow content at all for the behavior explanation? Or rather the access that we have to the content of our own thoughts? |
Stalnaker I R. Stalnaker Ways a World may be Oxford New York 2003 |
| Deduction | Duhem Vs Deduction | Cartwright I 103 CartwrightVsDeductive-Nomological Model/CartwrighVsDeduction/CartwrightVsHempel: Explanations are rarely ever really deductive. Therefore, the generic-specific point of view receives little support from our practice. Many philosophers still follow the DN-model even today. This is because the explanations only set in after extensive scientific work. CartwrightVs: This overlooks the fact that physics itself already begins with (arbitrarily chosen) models. I 127 Facts/Physics/Laws/Cartwright: even if the fundamental laws remain in their original form, the steps of deriving from them are not dictated by any facts. That’s a problem: CartwrightVsDeductive-Nomological Model, CartwrightVsHempel, CartwrightVsGrünbaum. Fundamental Laws/Cartwright: therefore are not simply "better". I 151 CartwrightVsDeductive-Nomological View: instead: the approach by Duhem: science as organization (order) of knowledge. I 162 CartwrightVsDeductive-Nomological Approach/VsD-N/CartwrightVsHempel: causality is not the only problem. This fails to explain even Humean facts of association. 1) because the fundamental laws are corrected during the derivation. (Essay 6) 2) often laws from different areas are pieced together. (Essay 3) |
Duh I P. Duhem La théorie physique, son objet et sa structure, Paris 1906 German Edition: Ziel und Struktur der physikalischen Theorien Hamburg 1998 Car I N. Cartwright How the laws of physics lie Oxford New York 1983 CartwrightR I R. Cartwright A Neglected Theory of Truth. Philosophical Essays, Cambridge/MA pp. 71-93 In Theories of Truth, Paul Horwich Aldershot 1994 CartwrightR II R. Cartwright Ontology and the theory of meaning Chicago 1954 |
| Deduction | Cartwright Vs Deduction | I 103 CartwrightVsDeductively nomological model/CartwrighVsDeduction/CartwrightVsHempel: statements are rarely actually deductive. Therefore, the generic-specific point of view obtains little support from our practice. Many philosophers still follow the DN model today. This is because the statements only set in after extensive scientific work. CartwrightVs: that overlooks the fact that physics itself already begins with (arbitrary) models. I 127 Facts/Physics/Laws/Cartwright: even if the fundamental laws remain in their original form, the steps of derivation from them are not dictated by any facts. That’s a problem: CartwrightVsDeductively nomological model, CartwrightVsHempel, CartwrightVsGrünbaum. Fundamental laws/Cartwright: are not simply "better" because of this. I 151 CartwrightVsDeductive-nomological view: instead: the approach of Duhem: science as an organization (order) of knowledge. I 162 CartwrightVsDeductively nomological approach/VsD N/CartwrightVsHempel: causality is not the only problem. Humean facts of the association are not explained by this, either. 1) because the fundamental laws are corrected during the derivation. (Essay 6) 2) often laws from different areas are pieced together. (Essay 3) |
Car I N. Cartwright How the laws of physics lie Oxford New York 1983 |
| Frege, G. | Hintikka Vs Frege, G. | Cresswell I 148 Compositionality/Cresswell: It has long been known that it fails on the surface structure. (Cresswell 1973 p 77). HintikkaVsCompositionality/HintikkaVsFrege: H. says that it is simply wrong. In saying that, he ignores the deep structure. And indeed you can regard the difference of the two readings of (39) (Everybody loves somebody) in the context of the game theory as changing the order in the choice of individuals. Then you could say that the only linguistic object is the surface structure. CresswellVsHintikka: but when it comes to that, his observations are not new. Compositionality/Cresswell: fails if we say that the two readings depend on the order in which we first process "and" then "or", or vice versa. Nevertheless, the Frege principle (= compositionality) is in turn applicable to (44) or (45). It is treated like this in Montague. (see below Annex IV: Game-theoretical semantics). I 149 HintikkaVsCompositionality/HintikkaVsFrege: fails even with higher order quantification. CresswellVsHintikka: this is a mistake: firstly, no compositionality is effective in the 1st order translation of sentences like (29). But authors who use higher-order entities (Montague and Cresswell) do not see themselves as deniers of the Frege principle. Hintikka seems to acknowledge that. (1982 p 231). I 161. "is"/Frege/Russell: ambiguous in everyday language. HintikkaVsFrege/KulasVsFrege: (1983): not true! Cresswell: ditto, just that "normal semantics" is not obliged to Frege-Russell anyway. Hintikka II 45 (A) Knowledge/Knowledge Objects/Frege/Hintikka: His concern was what objects we have to assume in order to understand the logical behavior of the language, when it comes to knowledge. Solution/Frege/Hintikka: (see below: Frege’s knowledge objects are the Fregean senses, reified, >intensional objects). Hintikka: For me, it is primarily about the individuals of which we speak in epistemic contexts; only secondarily, I wonder if we may call them "knowledge objects". Possible Worlds Semantics/HintikkaVsFrege: we can oppose the possible worlds semantics to his approach. (Hintikka pro possible worlds semantics). II 46 Idea: application of knowledge leads to the elimination of possible worlds (alternatives). Possible World/Hintikka: the term is misleading, because too global. Def Scenario/Hintikka: everything that is compatible with the knowledge of a knower. We can also call them knowledge worlds. Set of All Possible Worlds/Hintikka: we can call it illegitimate. (FN 5). Knowledge Object/Hintikka: can be objects, people, artifacts, etc. Reference/Frege/Hintikka: Frege presumes a completely referential language. I.e. all our expressions stand for some kind of entities. They can be taken as Fregean knowledge objects. Identity/Substitutability/SI/Terminology/Frege/Hintikka: SI is the thesis of the substitutability of identity ((s) only applies with limitation in intensional (opaque) contexts). II 47 E.g. (1) ... Ramses knew that the morning star = the morning star From this it cannot be concluded that Ramses knew that the morning star = the evening star (although MS = ES). II 48 Context/Frege/Hintikka: Frege distinguish two types of context: Direct Context/Frege/Hintikka: extensional, transparent Indirect Context/Frege/Hintikka: intensional, opaque. E.g. contexts with "believes" (belief contexts). ((s) Terminology: "ext", "opaque", etc. not from Frege). Frege/Hintikka: according to his own image: (4) expression >sense >reference. ((s) I.e. according to Frege the intension determines the extension.) Intensional Contexts/Frege/Hintikka: here, the picture is modified: (5) Expression (>) sense (> reference) Def Systematic Ambiguity/Frege/Hintikka: all our expressions are systematically ambiguous, i.e. they refer to different things, depending on whether they are direct (transparent, extensional) contexts or indirect ones (intensional, opaque). Fregean Sense/Hintikka: Fregean senses in Frege are separate entities in order to be able to work at all as references in intensional contexts. E.g. in order to be able to restore the inference in the example above (morning star/evening start) we do not need the identity of morning star and evening star, but the. identity of the Fregean sense of "morning star" and "evening star". II 49 Important argument: but Frege himself does not reinterpret the identity in the expression morning star = evening star in this way. He cannot express this fact, because there identity occurs in an extensional context and later in an intensional context. Identity/Frege/Hintikka: therefore we cannot say that Frege reinterprets our normal concept of identity. Problem: It is not even clear whether Frege can express the identity of the senses with an explicit sentence. For in his own formal language (in "Begriffsschrift"(1) and "Grundgesetze"(2)) there is no sentence that could do this. He says that himself in: "Über Sinn und Bedeutung": we can only refer to the meanings of our expressions by prefixing the prefix "the meaning of". But he never uses this himself. (B) Knowledge Objects/Possible World approach/HintikkaVsFrege: Idea: knowledge leads us to create an intentional context that forces us to consider certain possibilities. These we call possible worlds. new: we do not consider new entities (intensional entities) in addition to the references, but we look at the same references in different possible worlds. Morning Star/Evening Star/Possible Worlds Semantics/Hintikka: Solution: "morning star" and "evening star" now single out the same object, namely the planet in the real world. II 50 (C) Possible Worlds Semantics/HintikkaVsFrege: there is no systematic ambiguity here, i.e. the expressions mean the same thing intensionally as extensionally. E.g. Knowing what John knows means knowing those possible worlds which are compatible with his belief, and knowing which are not. II 51 Extra premise: for that it must be sure that an expression singles out the same individual in different possible worlds. Context: what the relevant possible worlds are depends on the context. E.g. Ramses: here, the case is clear, On the other hand: E.g. Herzl knew Loris is a great poet Additional premise: Loris = Hofmannsthal. II 53 Meaning Function/Possible Worlds Semantics/Hintikka: the difference in my approach to that of Frege is that I consider problems locally, while Frege considers them globally. Fregean Sense/(= way of givenness) Hintikka: must be considered as defined for all possible worlds. On the other hand: Hintikka: if Fregean sense is construed as meaning function, it must be regarded as only defined for the relevant alternatives in my approach. Frege: precisely uses the concept of identity of senses implicitly. And as meaning function, identity is only given if the mathematical function works for all relevant arguments. Totality/Hintikka: this concept of totality of all logically possible worlds is now highly doubtful. Solution/Hintikka: it is precisely the possible worlds semantics that helps dispense with the totality of all possible worlds. ((s) And to consider only the relevant alternatives defined by the context). Fregean Sense/Hintikka: was virtually constructed as an object (attitude object propositional object, thought object, belief object). This is because they were assumed as entities in the real world (actual world), however abstract. II 54 Meaning Function/M. F./HintikkaVsFrege/Hintikka: unlike Fregean senses, meaning functions are neither here nor elsewhere. Problem/Hintikka: Frege was tempted to reify his "senses". Knowledge Object/Thought Object/Frege/Hintikka: Frege, unlike E.g. Quine, has never considered the problem. Existential Generalization/EG/Hintikka: entitles us to move from a sentence S(b) with a singular term "b" to the existential statement (Ex) S(x). This fails in intensional (epistemic) contexts. Transition from "any" to "some". E.g. epistemic context: (10) (premise) George IV knew that (w = w) (11) (tentative conclusion) (Ex) George IV knew that (w = x) II 55 Problem: the transition from (10) to (11) fails, because (11) has the strength of (12) (12) George IV knew who w is. EG/Fail/Solution/Frege/Hintikka: Frege assumed that in intensional (opaque) contexts we are dealing with ideas of references. HintikkaVsFrege: Problem: then (11) would follow from (10) in any case ((s) and that’s just what is not desired). Because you’d have to assume that there is definitely some kind of sense under which George IV imagines an individual w. Problem: "w" singles out different individuals in different possible worlds. II 56 Possible Worlds Semantics/Solution/Hintikka: E.g. Suppose. (13) George knows that S(w) to (14) (Ex) George knows that S(x) where S(w) does not contain expressions that create opaque contexts. Then we need an additional condition. (15) (Ex) in all relevant possible worlds (w = x). This is, however, not a well-formed expression in our notation. We have to say what the relevant possible worlds are. Def Relevant Possible Worlds/Hintikka: are all those that are compatible with the knowledge of George. Thus, (15) is equivalent to (16) (Ex) George knows that (w = x). This is the additional premise. I.e. George knows who w is. (Knowing that, knowing who, knowing what). Knowing What/Logical Form/Hintikka/(s): corresponds to "knows that (x = y)" ((s) >single class, single quantity). E.g. knowing that "so and so has done it" does not help to know who it was, unless you know who so and so is. ((s) i.e. however, that you know y!) Solution/Hintikka/(s): the set of possible worlds compatible with the knowledge) II 57 Meaning Function/M. F./Possible Worlds Semantics/Hintikka: in order to be a solution here, the meaning function (see above) needs to be a constant function, i.e. it must single out the same individuals in all possible worlds. Frege/Identity/Opaque Context/Hintikka: Frege had to deal with the failure of the SI (substitutability in case of identity) ((s) i.e. the individuals might have a different name), not with the failure of the Existential Generalization (EG). ((s) I.e. the individuals might not exist). Hintikka: therefore, we need several additional premises. Possible Worlds Semantics: SI: here, for substitutability in case of identity, we only need on the assumption that the references of two different concepts in any possible world can be compared. Existential Generalization: here we have to compare the reference of one and the same concept in all possible worlds. Frege/Hintikka: now it seems that Frege could still be defended yet in a different way: namely, that we now quantify on world-lines (as entities). ((s) that would accomodate Frege’s Platonism). II 58 World Lines/Hintikka: are therefore somehow "real"! So are they not somehow like the "Fregean senses"?. HintikkaVs: it is not about a contrast between world bound individuals and world lines as individuals. World Lines/Hintikka: but we should not say that the world lines are something that is "neither here nor there". Using world lines does not mean reifying them. Solution/Hintikka: we need world-lines, because without them it would not even make sense to ask at all, whether a resident of a possible world is the same one as that of another possible world. ((s) cross world identity). II 59 World Line/Hintikka: we use it instead of Frege’s "way of givenness". HintikkaVsFrege: his error was to reify the "ways of givenness" as "sense". They are not something that exists in the actual world. Quantification/Hintikka: therefore, in this context we need not ask "about what we quantify". II 109 Frege Principle/FP/Compositionality/Hintikka: if we proceed from the outside inwards, we can allow a violation of Frege’s principle. (I.e. the semantic roles of the constituents in the interior are context dependent). II 110 HintikkaVsFrege/HintikkaVsCompositionality: Thesis: meaning entities should not be created step by step from simpler ones in tandem with syntactic rules. They should instead be understood, at least in some cases, as rules of semantic analysis. 1. G. Frege, Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens, Halle 1879, Neudruck in: Ders. Begriffsschrift und andere Aufsätze, hrsg. v. J. Agnelli, Hildesheim 1964 2. Gottlob Frege [1893–1903]: Grundgesetze der Arithmetik. Jena: Hermann Pohle Wittgenstein I 71 Def Existence/Wittgenstein: predicate of higher order and is articulated only by the existence quantifier. (Frege ditto). I 72 Hintikka: many philosophers believe that this was only a technical implementation of the earlier idea that existence is not a predicate. HintikkaVsFrege: the inexpressibility of individual existence in Frege is one of the weakest points, however. You can even get by without the Fregean condition on a purely logical level. HintikkaVsFrege: contradiction in Frege: violates the principle of expressing existence solely through the quantifier, because the thesis of inexpressibility means that through any authorized individual constant existential assumptions are introduced in the logical language. |
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 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 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 |