Disputed term/author/ism | Author Vs Author |
Entry |
Reference |
---|---|---|---|
Best Explanation | Fraassen Vs Best Explanation | Field I 15 Principle of the Best Explanation/Field: Suppose we have a) certain beliefs about the "phenomena" that we do not want to give up b) this class of phenomena is large and complex c) we have a pretty good (simple) explanation that is not ad hoc and from which the consequences of the phenomena follow d) one of the assumptions in the explanation is assertion S and we are sure that no explanation is possible without S. Best Explanation: then we have a strong reason to believe S. False: "The phenomena are as they would be if explanation E was correct": As If/Field: As-if assertions that are piggyback passengers on true explanations may not be constructed as explanations themselves (at least not ad hoc). Then the principle is not empty: it excludes the possibility that we accept a large and complex set of phenomena as a brute fact. (van FraassenVsBest Explanation: 1980) Best Explanation/BE/Field: the best explanation often leads us to believe something that we could also test independently by observation, but also to beliefs about unobservable things, or unobservable beliefs about observable things. Observation: should not make a difference here! In any case, our beliefs go beyond what is observed. I 16 Important argument: if no test was done, it should make no difference in the status of the evidence between cases where an observation is possible and those where no observation is possible! A stronger principle of the best explanation could be limited to observable instances of belief. FieldVs: but that would cripple our beliefs about observable things and would be entirely ad hoc. Unobserved things: a principle could be formulated that allowed the inference on observed things - that have been unobserved so far! - while we do not believe the explanation as such. FieldVs: that would be even more ad hoc! I 25 VsBenacerraf: bases himself on an outdated causal theory of knowledge. I 90 Theory/Properties/Fraassen: theories have three types of properties: 1) purely internal, logical: axiomatization, consistency, various kinds of completeness. Problem: It was not possible to accommodate simplicity here. Some authors have suggested that simple theories are more likely to be true. FraassenVsSimplicity: it is absurd to suppose that the world is more likely to be simple than that it was complicated. But that is metaphysics. 2) Semantic Properties: and relations: concern the relation of theory to the world. Or to the facts in the world about which the theory is. Main Properties: truth and empirical adequacy. 3) pragmatic: are there any that are philosophically relevant? Of course, the language of science is context-dependent, but is that pragmatic? I 91 Context-Dependent/Context-Independent/Theory/Science/Fraassen: theories can also be formulated in a context-independent language, what Quine calls Def "External Sentence"/Quine. Therefore it seems as though we do not need pragmatics to interpret science. Vs: this may be applicable to theories, but not to other parts of scientific activity: Context-Dependent/Fraassen: are a) EValuations of theories, in particular, the term "explained" (explanation) is radically context-dependent. b) the language of the utilization (use) of theories to explain phenomena is radically context-dependent. Difference: a) asserting that Newton’s theory explains the tides ((s) mention). b) explaining the tides with Newton’s theory (use). Here we do not use the word "explains". Pragmatic: is also the immersion in a theoretical world view, in science. Basic components: speaker, listener, syntactic unit (sentence or set of sentences), circumstances. Important argument: In this case, there may be a tacit understanding to let yourself be guided when making inferences by something that goes beyond mere logic. I 92 Stalnaker/Terminology: he calls this tacit understanding a "pragmatic presupposition". (FraassenVsExplanation as a Superior Goal). I 197 Reality/Correspondence/Current/Real/Modal/Fraassen: Do comply the substructures of phase spaces or result sequences in probability spaces with something that happens in a real, but not actual, situation? ((s) distinction reality/actuality?) Fraassen: it may be unfair to formulate it like that. Some philosophical positions still affirm it. Modality/Metaphysics/Fraassen: pro modality (modal interpretation of frequency), but that does not set me down on a metaphysical position. FraassenVsMetaphysics. I 23 Explanatory Power/Criterion/Theory/Fraassen: how good a choice is explanatory power as a criterion for selecting a theory? In any case, it is a criterion at all. Fraassen: Thesis: the unlimited demand for explanation leads to the inevitable demand for hidden Variables. (VsReichenbach/VsSmart/VsSalmon/VsSellars). Science/Explanation/Sellars/Smart/Salmon/Reichenbach: Thesis: it is incomplete as long as any regularity remains unexplained (FraassenVs). |
Fr I B. van Fraassen The Scientific Image Oxford 1980 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 |
Carnap, R. | Quine Vs Carnap, R. | Carnap VII 151 Intensionalist Thesis of Pragmatics/CarnapVsQuine: determining the intention is an empirical hypothesis that can be checked by observing the linguistic habits. Extensionalist Thesis/QuineVsCarnap: determining the intention is ultimately a matter of taste, the linguist is free, because it can not be verified. But then the question of truth and falsehood does not arise. Quine: the completed lexicon is ex pede Herculem i.e. we risk an error if we start at the bottom. But we can gain an advantage from it! However, if in the case of the lexicon we delay a definition of synonymy no problem arises as nothing for lexicographers that would be true or false. Carnap VII 154 Intention/Carnap: essential task: to find out which variations of a given specimen in different ways (for example, size, shape, color) are allowed in the area of the predicate. Intention: can be defined as the range of the predicate. QuineVsCarnap: might answer that the man on the street would be unwilling to say anything about non-existent objects. Carnap VII 155 CarnapVsQuine: the tests concerning the intentions are independent of existential questions. The man on the street is very well able to understand questions related to assumed counterfactual situations. Lanz I 271 QuineVsCarnap: criticism of the distinction analytic/synthetic. This distinction was important for logical empiricism, because it allows an understanding of philosophy that assigns philosophy an independent task which is clearly distinct from that of empirical sciences! Quine undermines this assumption: the lot of concepts is not independent of their use in empirical theories! I 272 There are no conceptual truths that would be immune to the transformation of such theories. Philosophy and sciences are on one and the same continuum. --- Newen I 123 Quine/Newen: is like Carnap in the spirit of empiricism, but has modified it radically. I 124 Thought/Frege: irreducible. Thought/QuineVsFrege: seeks a reductive explanation of sentence content (like Carnap). Base/QuineVsCarnap: not individual sense data, but objectively describable stimuli. Sentence Meaning/Quine/Newen: is determined by two quantities: 1) the amount of stimuli leading to approval 2) the amount of the stimuli leading to rejection. This only applies for occasion sentences. I125 Def Cognitively Equivalent/Quine/Newen: = same meaning: two sentences if they trigger the same behavior of consent or reflection. For the entire language: if it applies to all speakers. QuineVsCarnap: sentences take precedence over words. Quine I 73 QuineVsCarnap: difference to Carnap's empirical semantics: Carnap proposes to explore meaning by asking the subject whether they would apply it under different, previously described circumstances. Advantage: opposites of terms such as "Goblin" and "Unicorn" are preserved, even if the world falls short of examples that could be so sharply distinct from each other in such a way. I 74 Quine: the stimulus meaning has the same advantage, because there are stimulus patterns that would cause consent to the question "unicorn?", but not for "Goblin?" QuineVsCarnap: Carnap's approach presumes decisions about which descriptions of imaginary states are permissible. So, e.g. "Unicorn", would be undesired in descriptions to explore the meaning of "Unicorn". Difference: Quine restricts the use of unfulfilled conditionals to the researchers, Carnap makes his researcher himself submit such judgments to the informant for eValuation. Stimulus meaning can be determined already in the first stages of radical translation, where Carnap's questionnaire is not even available yet. Quine: theory has primarily to do with records, Carnap: to do with terms. I 466 For a long time, Carnap advocated the view that the real problems of philosophy are linguistic ones. Pragmatic questions about our language behavior, not about objects. Why should this not apply to theoretical questions in general? I 467 This goes hand in hand with the analyticity concept. (§ 14) In the end, the theoretical sentences generally can only be justified pragmatically. QuineVsCarnap: How can Carnap draw a line there and claim that this does not apply for certain areas? However, we note that there is a transition from statements about objects to statements about words, for example, when we skip classes when moving from questions about the existence of unicorns to questions about the existence of points and kilometers. Through the much-used method of "semantic ascent": the transition from statements about kilometers to statements about "kilometers". From content-related to formal speech. It is the transition from speech in certain terms to talk about these concepts. It is precisely the transition of which Carnap said that it undressed philosophical questions of their deceptive appearance and made them step forward in their true form. QuineVsCarnap: this part, however, I do not accept. The semantic ascent of which I speak can be used anywhere. (Carnap: "content-related" can also be called "material".) Ex If it came down to it, the sentence "In Tasmania there are Wombats" could be paraphrased like this: ""Wombat" applies to some creatures in Tasmania." IV 404 Carnap/(Logical Particles): ("The logical structure of the world"): Thesis: it is possible in principle to reduce all concepts to the immediately given. QuineVsCarnap: that is too reductionist: Disposition concepts such as "soluble" cannot be defined like this. (Even later recognized by Carnap himself). IV 416 QuineVsCarnap: Why all these inventive reconstructions? Ultimately sense stimuli are the only thing we have. We have to determine how the image of the world is constructed from them. Why not be content with psychology? V 28 Disposition/Quine: Problem: the dependence on certain ceteris paribus clauses. Potential disturbances must be eliminated. Solution: some authors: (like Chomsky) retreat to probabilities. V 29 Carnap: instead of probability: reduction sentences seen as idealizations to which corrections are made. Carnap conceives these corrections as re-definitions, i.e. they lead to analytic sentences that are true from the meaning. QuineVsCarnap: I make no distinction between analytical and other sentences. V 30 Reflexes/Holt/Quine: those that are conditioned later are not fundamentally different from innate ones. They consist of nerve paths with reduced resistance. Quine: therefore, one can conceive disposition as this path itself! ((s) I.e. pratically physical. Precisely as physical state.) Disposition/GoodmanVsQuine: a disposition expression is a change to an eventually mechanical description and therefore circular. The mechanistic terms will ultimately be implicit disposition terms. QuineVsGoodman/QuineVsCarnap: I, unlike the two, am satisfied with a theoretical vocabulary, of which some fundamental physical predicates were initially learned with the help of dipositioned speech. (Heuristic role). VII (b) 40 But his work is still only a fragment of the whole program. His space-time-point quadruples presume a world with few movements ("laziest world"). Principle of least movement is to be the guide for the construction of a world from experience. QuineVsCarnap: he seemed not to notice that his treatment of physical objects lacked in reduction! The quadruples maximize and minimize certain overall features and with increasing experience the truth values are revised in the same sense. X 127 Logical Truth/Carnap: Thesis: only the language and not the structure of the world makes them true. Truth/Logical Truth/QuineVsCarnap: is not a purely linguistic matter. Logic/QuineVsCarnap: the two breakdowns that we have just seen are similar in form and effect: 1) The logic is true because of the language only insofar as it is trivially true because of everything. 2) The logic is inseparable from the translation only insofar as all evident is inseparable from the translation. Logic/Language/Quine: the semantic ascent seems to speak for linguistic theory. QuineVs: the predicate "true" (T predicate) already exists and helps precisely to separate logic from language by pointing to the world. Logic: While talks a lot about language, it is geared towards the world and not towards language. This is accomplished by the T predicate. X 133 We learn logic by learning language. VsCarnap: but that does not differentiate logic from other areas of everyday knowledge! XI 99 QuineVsProtocol Sentence/QuineVsCarnap/Lauener: describes private, non-public autopsychological experiences. XI 129 Intention/Carnap/Lauener: (Meaning and Necessity): attempts to introduce intentions without thereby entangling himself in metaphysics. QuineVsCarnap: you cannot take advantage of a theory without paying the ontological bill. Therefore, the assumed objects must be values of the variable. Another way would be to say that certain predicates must be true for the theory to be true. But that means that it is the objects that must be the values of Variables. To every value applies a predicate or its negation. ((s) >continuous determination). XI 130 Conversely, everything to which a predicate applies is a value of a variable. Because a predicate is an open sentence. XI 138 Ontology/Carnap/Lauener: Ex "x is a thing": at a higher level of universality existence assumptions no longer refer to the world, but only to the choice of a suitable linguistic framework. QuineVsCarnap: this is merely a gradual difference. XI 142 Ontology/Carnap/Lauener: (temporarily represented): Thesis: philosophical questions are always questions about the use of language. Semantic Ascent/QuineVsCarnap: it must not be misused for evasive ontological maneuvers. XI 150 Thing/Object/Carnap/Lauener: to accept things only means choosing a certain language. It does not mean believing in these things. XI 151 CarnapVsQuine: his existence criterion (being the value of a bound variable) has no deeper meaning in as far as it only expresses a linguistic choice. QuineVsCarnap: language and theory cannot be separated like that. Science is the continuation of our daily practice. XII 69 QuineVsCarnap/QuineVsUniversal Words: it is not said what exactly is the feature for the scope. Ontological Relativity/QuineVsCarnap: cannot be enlightened by internal/external questions, universal words or universal predicates. It has nothing to do with universal predicates. The question about an absolute ontology is pointless. The fact that they make sense in terms of a framework is not because the background theory has a wider scope. Absolute Ontology/Quine: what makes it pointless, is not its universality but its circularity. Ex "What is an F?" can only be answered by recourse to another term: "An F is a G." XII 89 Epistemology/Scope/Validity/QuineVsCarnap: Hume's problem (general statements + statements about the future are uncertain if understood as about sense data or sensations) is still unsolved. Carnap/Quine: his structures would have allowed translating all sentences about the world in sense data or observation terms plus logic and set theory. XII 90 QuineVsCarnap: the mere fact that a sentence is expressed with logical, set-theoretical and observational terms does not mean that it could be proved by means of logic and set theory from observation statements. ((s) means of expression are not evidence. (inside/outside, plain, circles).) Epistemology/Quine: Important argument: wanting to equip the truths about nature with the full authority of direct experience is just as much sentenced to failure as the reduction of truths in mathematics to the potential intelligibility of elementary logic. XII 91 Carnap/QuineVsCarnap: If Carnap had successfully carried out its construction, how could he have known if it is the right one? The question would have been empty! Any one would have appeared satisfactory if only it had represented the physical contents properly. This is the rational reconstruction. Def Rational Reconstruction/Carnap/Quine: construction of physicalistic statements from observation terms, logical and set-theoretical concepts. QuineVsCarnap: Problem: if that had been successful, there would have been many such constructions and each would have appeared equally satisfactory,if only it had represented the physicalistic statements properly. But each would have been a great achievement. XII 92 QuineVsCarnap: unfortunately, the "structure" provides no reduction qua translation that would make the physicalist concepts redundant. It would not even do that if his sketch was elaborated. Problem: the point where Carnap explains how points in physical space and time are attributed sensory qualities. But that does not provide a key for the translation of scientific sentences into such that are formed of logic, set-theoretical and observation concepts. CarnapVsCarnap: later: ("Testability and Meaning", 1936): reduction propositions instead of definitions. XII 94 Empiricism/QuineVsCarnap: empiricism has 1) abandoned the attempt to deduce the truth about nature from sensory experience. With that he has made a substantial concession. 2) He has abandoned rational reconstruction, i.e. attempt to translate these truths in observation terms and logical mathematical tools. QuineVsPeirce: Suppose we meant that the meaning of a statement consists in the difference that its truth makes for the experience. Could we then not formulate in a page-long sentence in observation language any differences that might account for the truth, and could we then not see this as a translation? Problem: this description could be infinitely long, but it could also be trapped in an infinitely long axiomatization. Important argument: thus the empiricist abandons the hope that the empirical meaning of typical statements about reality could be expressed. Quine: the problem is not too high a complexity for a finite axiomatization, but holism: XII 95 Meaning/QuineVsPeirce: what normally has experience implications ("difference in the experience") only refers to theories as a whole, not to individual experience sentences. QuineVsCarnap: also the "structure" would have to be one in which the texts, into which the logical mathematical observation terms are to be translated, are entire theories and not just terms or short sentences. Rational Reconstruction/QuineVsCarnap: would be a strange "translation": it would translate the whole (whole theories), but not the parts! Instead of "translation" we should just speak of observation bases of theories. pro Peirce: we can very well call this the meaning of empirical theories. ((s) Assigning whole theories to observations). |
Quine I W.V.O. Quine Word and Object, Cambridge/MA 1960 German Edition: Wort und Gegenstand Stuttgart 1980 Quine II W.V.O. Quine Theories and Things, Cambridge/MA 1986 German Edition: Theorien und Dinge Frankfurt 1985 Quine III W.V.O. Quine Methods of Logic, 4th edition Cambridge/MA 1982 German Edition: Grundzüge der Logik Frankfurt 1978 Quine V W.V.O. Quine The Roots of Reference, La Salle/Illinois 1974 German Edition: Die Wurzeln der Referenz Frankfurt 1989 Quine VI W.V.O. Quine Pursuit of Truth, Cambridge/MA 1992 German Edition: Unterwegs zur Wahrheit Paderborn 1995 Quine VII W.V.O. Quine From a logical point of view Cambridge, Mass. 1953 Quine VII (a) W. V. A. Quine On what there is In From a Logical Point of View, Cambridge, MA 1953 Quine VII (b) W. V. A. Quine Two dogmas of empiricism In From a Logical Point of View, Cambridge, MA 1953 Quine VII (c) W. V. A. Quine The problem of meaning in linguistics In From a Logical Point of View, Cambridge, MA 1953 Quine VII (d) W. V. A. Quine Identity, ostension and hypostasis In From a Logical Point of View, Cambridge, MA 1953 Quine VII (e) W. V. A. Quine New foundations for mathematical logic In From a Logical Point of View, Cambridge, MA 1953 Quine VII (f) W. V. A. Quine Logic and the reification of universals In From a Logical Point of View, Cambridge, MA 1953 Quine VII (g) W. V. A. Quine Notes on the theory of reference In From a Logical Point of View, Cambridge, MA 1953 Quine VII (h) W. V. A. Quine Reference and modality In From a Logical Point of View, Cambridge, MA 1953 Quine VII (i) W. V. A. Quine Meaning and existential inference In From a Logical Point of View, Cambridge, MA 1953 Quine VIII W.V.O. Quine Designation and Existence, in: The Journal of Philosophy 36 (1939) German Edition: Bezeichnung und Referenz In Zur Philosophie der idealen Sprache, J. Sinnreich (Hg) München 1982 Quine IX W.V.O. Quine Set Theory and its Logic, Cambridge/MA 1963 German Edition: Mengenlehre und ihre Logik Wiesbaden 1967 Quine X W.V.O. Quine The Philosophy of Logic, Cambridge/MA 1970, 1986 German Edition: Philosophie der Logik Bamberg 2005 Quine XII W.V.O. Quine Ontological Relativity and Other Essays, New York 1969 German Edition: Ontologische Relativität Frankfurt 2003 Quine XIII Willard Van Orman Quine Quiddities Cambridge/London 1987 Ca I R. Carnap Die alte und die neue Logik In Wahrheitstheorien, G. Skirbekk (Hg) Frankfurt 1996 Ca II R. Carnap Philosophie als logische Syntax In Philosophie im 20.Jahrhundert, Bd II, A. Hügli/P.Lübcke (Hg) Reinbek 1993 Ca IV R. Carnap Mein Weg in die Philosophie Stuttgart 1992 Ca IX Rudolf Carnap Wahrheit und Bewährung. Actes du Congrès International de Philosophie Scientifique fasc. 4, Induction et Probabilité, Paris, 1936 In Wahrheitstheorien, Gunnar Skirbekk Frankfurt/M. 1977 Ca VI R. Carnap Der Logische Aufbau der Welt Hamburg 1998 CA VII = PiS R. Carnap Sinn und Synonymität in natürlichen Sprachen In Zur Philosophie der idealen Sprache, J. Sinnreich (Hg) München 1982 Ca VIII (= PiS) R. Carnap Über einige Begriffe der Pragmatik In Zur Philosophie der idealen Sprache, J. Sinnreich (Hg) München 1982 Lanz I Peter Lanz Vom Begriff des Geistes zur Neurophilosophie In Philosophie im 20. Jahrhundert, A. Hügli/P. Lübcke Reinbek 1993 New II Albert Newen Analytische Philosophie zur Einführung Hamburg 2005 Newen I Albert Newen Markus Schrenk Einführung in die Sprachphilosophie Darmstadt 2008 |
Hintikka, J. | Quine Vs Hintikka, J. | I 73 Possibilia/Hintikka: Thesis: talk about human experience makes the assumption of possibilia necessary. (Unrealized possibilities). HintikkaVsQuine. Intentionality/Husserl/Hintikka: according to Husserl the essence of human thought is in relation with unrealized possibilities. Possibilia/Hintikka: we need them to deal with logically incompatible entities of the same logical type. Possible World Semantics/Hintikka: is the corresponding model theory. I 137 QuineVsModal Logic: Problem of cross-world identification. Cross-World Identificatin/Cross-Identification/Quine/(s): Problem of identity conditions. If no identity conditions (IC) are given, the question is pointless whether an individual is "the same as" one in a different possible world. HintikkaVsQuine: my modified approach goes beyond the scope of Quine's criticism. Worldlines/Hintikka: are fixed by us, not by God. Nevertheless, they are not arbitrary. Their boundaries are given by the continuity of time and space, memory, location, etc. I 138 It may even be that our presuppositions prove to be incorrect. Therefore, there can be no set of world lines that comprise all possible worlds we need in alethic modal logic. Modal Logic/Quantification/Quine/Hintikka: a realistic interpretation of quantified alethic ML is impossible. But for reasons more profound than Quine assumed. Cross-World Identification/HintikkaVsQuine: is not intrinsically impossible. Quine/Hintikka: has even accepted this lately, with limitations. Solution/Hintikka: Cross-world identification as re-identification. I 139 Propositional Attitude/Epistemic Logic/Hintikka: we will focus here on the problem of propositional attitudes. I 140 Quantification in Epistemic Contexts/Belief Contexts/Intensional/Hintikka: Ex (1) Albert knows who wrote Coningsby (2) (Ex) K Albert (x wrote Coningsby) Notation: (Ex) perspective (perceptual) identification (acquaintance) in the book: not reflected E). Uniqueness Condition/Hintikka: e.g. (2) can only then be inferred from (3) K Albert (Beaconsfield wrote Coningsby) i.e. (3) * Albert knows that Beaconsfield wrote Coningsby. ... Only then can be concluded when we have an additional premise: (4) (Ex) K Albert (Beaconsfield = x) i.e. (5) Albert knows who Beaconsfield is. Quine per Hintikka: this solution is better than a criterion for rigid designators (rigidity, QuineVsKripke). Everyday Language: it's of course simply very natural to speak in a way that you say you know who or what something is. HintikkaVsQuine: he praises me for the wrong reasons. He turns things upside down. Although he does not commit the mistake I criticize, he forgives it. I 141 Formal Language/Logic/Canonical Notation/HintikkaVsQuine: we should view logical language as our native language and not set so much store by the translation into everyday language. It is only about semantic clarity anyway. I 145 HintikkaVsQuine: does not understand the role my uniqueness conditions play: Quine: says you can also transfer these conditions to belief, knowledge, etc. Quine: Hintikka requires that the subject know who or what the person or thing is. Who or what the term designates. HintikkaVsQuine: he thinks I only use some type of uniqueness condition. Solution: the semantic situation shows the difference: the relation between the conditions for different propositional attitudes (beliefs, see, know) is one of analogy, not of identity. Solution: the sets of compatible possible worlds in the case of knowing, seeing, memory, belief are different ones every time. I 146 Identification/Belief/Quine/QuineVsHintikka: any belief world (possible worlds) will include countless bodies and objects that are not individually recognizable, simply because the believer believes his world contains countless such objects. Identity: questions about the identity of these objects are pointless. Problem: if you quantify in belief contexts, how can you exclude them? Solution: the scope of Variables to those objects about which the subject has a sufficiently clear idea, would have to be limited. Problem: how do you determine how clear these ideas must be? HintikkaVsQuine: the solution is quite simple if we quantify about individuals in doxastic possible worlds: Ex Operator: "in a world w1, compatible with everything Jack believes": Solution/Hintikka: we can quantify about the inhabitants of such worlds, by simply using a quantifier inside the operator. ((s) i.e. Jack, but not we, distinguish). Problem: it could be that we might want to consider the people as our neighbors from the real world w0. ("qua neighbors"). Hintikka: but that is a problem in itself and has nothing to do with uniqueness conditions. Problem: is more due to the notation of conventional modal logic which does not allow that us to turn around the eValuation process which runs from outside to inside so that it extends from the inside out. Solution/Saarinen: "retrospective" operators (see above) Solution/Hintikka: it may still be that we can track an individual back from w1 to w0, even if it does not meet the uniqueness conditions like (16) - (127). (They require an individual to be identifiable in all the possible worlds). HintikkaVsQuine: he is wrong in that the question of identity is pointless if not all the uniqueness conditions are met. On the contrary, it has to make sense for us to ever able to determine that the conditions are not met! Uniqueness Condition/Hintikka: if it is not met, it only means that we cannot find an individual ((s) or its counterpart) in any possible world. Uniqueness Condition/QuineVsHintikka: Quine's most serious objection is that these conditions are always indicated (indexical) i.e. that they are context-dependent. I.e. only in a particular situation it is about whether an individual is the same. I 147 Knowing-Who/Knowing-What/Context/Quine: E.g. "Who is he?" only makes sense in a given situation. HintikkaVsQuine: of course he is right that the truth conditions vary with the situation, but that does not destroy the uniqueness conditions for epistemic logic. HintikkaVsQuine: he only misunderstands the role these conditions play. Truth Value/Hintikka: the truth value of sentences of the form (18) (Ex) K(b = x) and equally of (19) (Ex) K(b = x) become independent of the truth value of other types of simplest sentences! Question/Answer/T Question/Hintikka: we get a new class of atomic sentences! Solution: distinction between identification through acquaintance/description. I 148 World Lines/Identification/Cross-World Identity/Hintikka: Thesis the world lines have to be drawn before the conditions are ever applied. Drawing the world lines is never part of the application of the uniqueness conditions. ((s) otherwise circular). Truth Conditions/Atomic/Atomic Sentence/Hintikka: for my theory, the interplay of specific atomic and non-atomic sentences is essential: it shows how e.g. the truth value of sentences of the form "knows + -one-question-word" sentences depends on the truth value of sentences of the form (18) - (19). HintikkaVsQuine: his criticism is similar to one that would criticize traditional truth value tables, because some of the sentences that are used to put them together are also blurred. Epistemic Logic/Hintikka: is not affected by this criticism. All it claims is that once the world lines are drawn, the rest of the semantics remains as it was. I 160 Def Knowledge/Hintikka: what is true in all knowledge possible worlds (knowledge worlds) of a subject. And, conversely, what is true in all knowledge possible worlds of a person is their knowledge. Important argument: the world lines can be drawn differently, however, while the eValuations (the non-logical constants) remain the same. The variation of the world lines can then be "seen" in the variation of the semantic power of the phrase n of the form know + indirect question. I 161 Quine has used such variation to the reject the possible world semantics of sentences with "knowing-that". HintikkaVsQuine: for him it was actually about the structural (not the referential) system. And this remained untouched. |
Quine I W.V.O. Quine Word and Object, Cambridge/MA 1960 German Edition: Wort und Gegenstand Stuttgart 1980 Quine XIII Willard Van Orman Quine Quiddities Cambridge/London 1987 |