Disputed term/author/ism | Author![]() |
Entry![]() |
Reference![]() |
---|---|---|---|
Actualism | Stalnaker | I 12 Actualism/Stalnaker: the actualism does not take possible worlds literally as worlds but as ways of how the world might have been. N.B.: contingent identity is not allowed but probably contingent dissimilarity. ((s) According to Kripke, identity is always necessary identity insofar as descriptions are not involved, but names are). >Identity/Kripke, >Rigidity, >Descriptions. I 120 Actualism/Stalnaker: actualism is not a restrictive metaphysical theory as materialism or nominalism - it is just a trivial consequence of the meaning of "actual". >Materialism, >Nominalism. I 128 Presentism/Stalnaker: presentism is analogous to actualism regarding worlds: thesis: we are extended in time just as we are spread over possible worlds. >Presentism. Then we can have real temporal identity. (Stalnaker pro). Fusion/fission/personal identity: cases of fusion and fission are then cases where persons who were separated earlier become identical or a person is divided into two. >Personal identity, >Fusion, >Split. |
Stalnaker I R. Stalnaker Ways a World may be Oxford New York 2003 |
Barcan-Formula | Quine | VII (h) 156 Modal Logic/Barcan Marcus/Quine: Barcan-Formula: (38) (x)(y) {(x = y) › [notw (x = y)]} Quine: this means that at least some moves determine an object necessarily. (Compare "p . Fx"). Fitch follows Barcan. Note that (38) follows directly from (36) along with a law of substitutability for variables: (x)(y) [(x = y . Fx) › Fy]. Summary/Quine: Conclusion of the whole: one has to accept an Aristotelian essentialism if one wants to allow quantified modal logic. (s) Therefore, Kripke calls himself an essentialist. Ad VII (h) 156 > href="https://philosophy-science-humanities-controversies.com/listview-details.php?id=203950&a=t&first_name=Saul%20A.&author=Kripke&concept=Barcan-Formula">Barcan-Formula/Kripke/(s): Identity is always necessary identity. |
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 |
Conventions | Putnam | V 124 Heat/molecular movement/identity/Putnam: the identity of heat with molecular motion is conventional - only naive physics denies this. Cf. >necessary a posteriori, > necessary identity. |
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 |
de dicto | Quine | II 147f De dicto: the intended term is in the sentence: the "necessary" number of planets is odd: that is wrong. It is notorious that the need de dicto does not obey the substitutability of identity. As long as it is all about variables, that is not a problem. Variables occur only de re. >Variables/Quine. Singular terms: here the substitutability of the simple identity does not apply to positions de dicto, but the substitutability of the necessary identity. >Substitution/Quine. II 150 Example: de dicto: Ralf believes "(Ex)(x is a spy)". de re: "There's someone Ralf thinks is a spy." de dicto: Ralf believes "Ortcutt is a spy." de re: Ralf believes "spy" of Ortcutt. >de re/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 |
Descriptions | Kripke | I 78 ff You could say "The Jonah of the book never existed", as one might say "the Hitler of Nazi propaganda never existed." Existence is independent of representation. >Existence/Kripke, >Description dependence/Kripke, >Presentation. I 94 Reference by description: E.g. "Jack the Ripper" E.g. "Neptune" was named as such before anyone had seen him. The reference was determined because of the description of its place. At this point they were not able to see the planet. Counter-example: "Volcano". I 94f It might also turn out that the description does not apply to the object although the reference of the name was specified with the description. E.g. the reference of "Venus" as the "morning star", which later turns out not to be a fixed star at all. In such cases, you know in no sense a priori that the description that has defined the reference applies to the object. I 93ff Description does not shorten the name. E.g. even if the murdered Schmidt discovered the famous sentence, Goedel would still refer to Goedel. I 112f Description determines a reference, it does not provide synonymy. "Standard meter" is not synonymous with the length - description provides contingent identity: inventor = post master. Cf. >Standard meter. I 115 Identity: through the use of descriptions contingent identity statements can be made. >Identity/Kripke. I 117 QuineVsMarcus ("mere tag") is not a necessary identity of proper names, but an empirical discovery - (Cicero = Tully) identity does not necessarily follow from description - the identity of Gaurisankar is also an empirical discovery. I 25/26 Description/names/Kripke: the description serves only to determine the reference, not to identify the object (for counterfactual situations), nor to determine the meaning. I 36 Description is fulfilled: only one sole object fulfils the description, e.g. "The man drinking champagne is angry" (but he drinks water). Apparent description: e.g. the Holy Roman Empire (was neither holy nor Roman) - it is a hidden proper name. --- III 353 Description/substitutional quantification: L must not occur in the substitution class: necessary and sufficient conditions to ensure that each sentence of the referential language retains its truth value is that whenever (Exi)f is true (when only xi is free), a substitution class f" of f will be be true (> condition (6)) - this does not work with certain L, even if (6) is fulfilled. III 369 Theory of Descriptions/Russell: y(ixf(x)) where f(x) is atomic, analyzed as follows: (Ey)(x)(y = x ↔ f(x)) ∧ y(y)) (Wessel: exactly one": (Ex)(P(x) ∧ (y)(P(y) > x = y)) "There is not more than one thing": (x)(y)(x = y) - is ambiguous, if there is more than one description: order of elimination. >Reference/Kripke, >Meaning/Kripke, cf. >necessary a posteriori. |
Kripke I S.A. Kripke Naming and Necessity, Dordrecht/Boston 1972 German Edition: Name und Notwendigkeit Frankfurt 1981 Kripke II Saul A. Kripke "Speaker’s Reference and Semantic Reference", in: Midwest Studies in Philosophy 2 (1977) 255-276 In Eigennamen, Ursula Wolf Frankfurt/M. 1993 Kripke III Saul A. Kripke Is there a problem with substitutional quantification? In Truth and Meaning, G. Evans/J McDowell Oxford 1976 Kripke IV S. A. Kripke Outline of a Theory of Truth (1975) In Recent Essays on Truth and the Liar Paradox, R. L. Martin (Hg) Oxford/NY 1984 |
Identity | Cresswell | I, 117 ff Contingent Identity/some authors: here the Leibniz principle fails. >Leibniz principle. Cresswell: better: that is only apparent identity. E.g. the largest wooden building = the most beautiful building right: the largest wooden necessary wooden - but not necessary identical with the most beautiful. Problem: If it is identical, then it is necessarily indentical. Necessary identity/(s): according to Kripke identity is necessary when names rather than labels are involved. >Identity/Kripke, >Descriptions, >Proper names. I 126 Necessary identity/Cresswell: if morning star = evening star, then: (if morning star and evening star nominal): false: N (morning star x)(evening star y) (x = y) but true: (morning star x)(evening star y)N(x = y). For x = y is true in every world under an attribution V iff V(x) = V(y), and then it is true in every possible world if it is true in one and then N(x = y). Cresswell later: this corresponds in Hughes/Cresswell/HC: "The man next door = the major" as a natural truth: that is unnatural. Cf. >Morning star/Evening star. Hughes I 167f Identity/Hughes/Cresswell: identity is always necessary: (x =) always underlying, even if x appears under different descriptions. The descriptions are contingent, but not the identity of the object with itself - this also applies to non-identity: it is always necessary even if the corresponding sentence is true. >Non-identity. |
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 |
Identity | Stalnaker | I 14 Vague identity/Stalnaker: vague identity can at most occur with vague terms in identity-statements. >Vagueness. Solution/counterpart theory/Stalnaker: if cross-wordly-relation between classes of deputies ((s) counterparts) exists and not between individuals themselves, then the relation must not be the one of identity, and this other relation may be vague.) >Counterparts, >Counterpart theory, >Cross world identity, >Possible worlds. I 126 Contingent Identity/Stalnaker: it is of course not the case that the actualism requires contingent identity, the above examples can be explained away. >Actualism. One cannot simply reject the possibility on the basis of semantics and logic of identity. Necessary identity: that means, that the thesis that all identity is necessary is a metaphysical thesis. >Identity/Kripke. I 131 Identity/necessary/contingent/Stalnaker: according to the modal quantifier theory all identity is necessary. We do not want this, e.g. a thing can have more counterparts in another possible world. I 132 Solution: there are different ways of picking. I 133 Vague identity/Stalnaker/Nathan SalmonVsVague Identity: (Salmon 1981(1), 243) according to Salmon identity cannot be vague: e.g. suppose there is a pair of entities x and y so that it is vague if they are one and the same thing - then this pair is certainly not the same pair like the pair, in which this is definitely true that x is the same thing as itself - but it is not vague, if the two pairs are identical or differentiated. I 134 Vague identity/identity statement/vague objects/Stalnaker: e.g. M is a specific piece of land within the indeterminate Mt Rainier. a) Mt. Rainier is an indefinite object: then it is wrong to say that M = Mt. Rainier. b ) If it is about a statement instead of an object: then it is indeterminate. I 135f Vague identity/Stalnaker: e.g. there are two fish restaurants called Bookbinder's. Only one can be the same as the original. Endurantism: Problem: "B0": (the original) is then an ambiguous term. Perdurantism: here it is clear. >Perdurantism, cf. >Endurantism. I 138 Vague identity/SalmonVsVague identity/uncertainty/Stalnaker: Salmon's argument shows that if we manage to pick out two entities a and b that there then has to be a fact, whether the two are one thing or two different things (Stalnaker pro Salmon, Nathan). Conversely: if it is undetermined whether a = b, then it is uncertain what "a" refers to or what "b" refers to. But this does not give us a reason to suppose that facts together with terms have to decide this. Salmon just shows that when facts and terms do not decide that it is then indeterminate. I 140 StalnakerVsSalmon: Salmon's vagueness is a vagueness of reference. I 139 Identity/indefinite/Kripke: (1971(2), 50-1) e.g. would the table T be the same in the actual world if in the past the constituting molecules were spread a little differently? Here, the answer can be vague. I 148 Identity/one-digit predicates/Stalnaker: one cannot generally treat sentences as predications. >Predication, >Sentences. E.g. x^(Hx u Gx) is an instance of the form Fs, but "(Hs and Gs)" is not. Therefore, our identity-scheme is more limited than Leibniz' law is normally formulated. >Leibniz Principle. I 154f Definition essential identity/Stalnaker: all things x and y, which are identical, are essentially identical, i.e. identical in all possible worlds, in which this thing exists ((s) that means, the existence is made a prerequisite, not the identity for the existence.) ((s) necessary identity/Stalnaker/(s): here the situation is reversed: if x and y are necessarily identical, they must exist in all possible worlds - or if a thing does not exist in a possible world, it may, in the possible worlds in which it exists, not be necessarily identical). Necessary identity/logical form: x^(x = y)> N(x = y) fails in the standard semantics and in counterpart theory, because a thing can exist contingently and include self-identity existence. Counterpart theory. Two different things may be identical, without being essentially identical, e.g. two possible worlds a and b, each possible for the respective other, and two distinct things have the same counterpart in b, namely 3. Then the pair satisfies the identity-relation in b, but because 1 exists in the world a and is from 2 different, the pair does not satisfy N(Ex> x = y) in b. >Cross world identity. 1. Salmon, Wesley C. 1981. Rational prediction. British Journal for the Philosophy of Science 32 (2):115-125 2. Kripke, Saul S. Identity and NEcessity. In Milton Karl Munitz (ed.), Identity and Individuation. New York: New York University Press. pp. 135-164 (1971). |
Stalnaker I R. Stalnaker Ways a World may be Oxford New York 2003 |
Natural Kinds | Stalnaker | I 80 Natural Kind/necessary properties/Stalnaker: the characteristics of kangaroos are empirical, not linguistic, i.e. actual kangaroos play a necessary role. >Language dependence, >Empricism. N.B.: but that is not sufficient for the fact that kangaroos are necessarily kangaroos. >Necessary identity. E.g. standard meter/Kripke: the object itself could be longer or shorter - so actual kangaroos can specify the reference of "kangaroo", without themselves being genuine elements of the natural kind. >Standard meter. I 208 Natural kind/rigidity/rigid/Stalnaker: names and natural kind terms are rigid. >Rigidity. |
Stalnaker I R. Stalnaker Ways a World may be Oxford New York 2003 |
Pain | Chalmers | I 17 Pain/Chalmers: pain is an example for the fact that concepts have a double meaning a) as a psychological concept for the explanation of behavior, (> Functional role) - b) as a phenomenal concept of the first person. >Qualia/Chalmers. Both aspects naturally tend to occur together. But that is not a conceptual truth about pain! I 18 Everyday Language/Chalmers: everyday language brings psychological and phenomenal aspects together, although these are actually separated. This applies to many mental concepts. Learning: Here, the psychological aspect may be stronger. >Psychology/Chalmers. I 19 Emotions: the phenomenal aspect is probably predominant here. >Phenomena, >Aspects, >Emotion. Belief: here the case is more complex because intentionality plays a role, e.g. whether one believes a proposition and at the same time has a hope about it. At the same time, beliefs are used to explain behavior. >Behavior, >Explanation, >Beliefs, >Intentionality. Contents/Searle/Chalmers: (Searle 1990a)(1): Thesis: the content of a belief depends entirely on the connected consciousness state. Without consciousness, everything is as-if-intentionality. (Searle: See Chalmers I 360). >Intentionality/Searle, >Content. I 146f Pain/Knowledge/phenomenal/physical/identity/Kripke/Chalmers: Kripke's argument is based on identity, which is always necessary identity accordingto him. >Pain/Kripke, >Identity/Kripke. Pain/Kripke: it is pointless to say that there is something pain-like that is shown as a pain in the course of an examination, unlike in the case of water/H2O: Water has somehow been exposed as H2O. This identity is a necessity a posteriori after the discovery. >a posteriori necessity. I 147 ChalmersVsKripke: Kripke's argument, unlike mine, is based on a certain essentialism in relation to different states. With me, it is never about disembodiment. Nevertheless, there are many similarities between Kripke and me. Both of us are concerned with modal arguments with necessity and possibility. >S. A. Kripke, >Essentialism, >Modality, >Necessity, >Possibility. I 148 Brain State/Pain/Kripke: Thesis: You could have that particular brain state without feeling that particular pain, because for pain, only feeling is essential. (See also Feldman (1974)(2), McGinn (1977)(3)). >Brain states. Materialism/Pain/Boyd: (Boyd 1980)(4): the materialist does not have to assume that mental states in all possible worlds are physical states, as long as this is the case in the actual world. >Materialism, >Actual World, >Possible Worlds. I 149 Pain/Intension/Kripke/Chalmers: if Kripke says you cannot imagine a situation in which the feeling of pain but not the pain itself is absent, that means that the primary and secondary intensions are collapsing. ChalmersVsKripke: 1. The possibility of disorganization is inconsistent as an argument against materialism, but in our case is not decisive. 2. The same applies to the arguments based on identity. 3. An essentialist metaphysics is not decisive (for our purposes), apart from the fact that the feeling of pain is essential for pain - but it is about the meaning of "pain". 4. Kripke's apparatus of the rigid designators (>cross-world identity) is central to our problem, but has a deep core in the failure of the logical supervenience we have established. >Rigidity, >Supervenience. 1. J. R. Searle, Consciousness, explanatory inversion and cognitive science. Behavioral and Brain Scineces. 13, 1990: pp.585-642. 2. F. Feldman, Kripke on the identity theory. Journal of Philosophy 71, 1974: pp. 665-76 3. C. McGinn, Anomalous Monism and Kripke's Cartesian intuitions. Analysis 2, 1977: pp. 78-80 4. R. N. Boyd, Materialism without reductionism: What physicalism does not entail. In: N. Block (Ed) Readings in the Philosophy of Psychology. VOl. 1. Cambridge 1980. |
Cha I D. Chalmers The Conscious Mind Oxford New York 1996 Cha II D. Chalmers Constructing the World Oxford 2014 |
Properties | Cresswell | I 117ff Properties/possible worlds/Cresswell: E.g. in some possibe worlds there is a thing that has both: the property, the largest wooden and the property, to be the most beautiful building - in other possible worlds this thing has only one of the two properties. Then you can see it (description: "The largest wooden building" a) as a function, the value is in every possible world the thing that is the largest wooden building b) as a function whose value is the most beautiful. Contingent identity fails because from f(w) = g(w) does not follow f = g. >Identity. For necessary identity see: >Identity/Kripke. II 166 Definition Properties/Proposition/Definition/Cresswell: if we accept propositions as basic concepts, we can define properties as the function of individuals on propositions. >Propositions, >Basic concepts. II II 167 RescherVs: (Rescher, 1975)(1): preferred to see properties as basic concepts - Field: (1978)(2): banishes propositions, but allows properties. >Properties. 1. Rescher, Nicholas 1975. Temporal Logic. In; J. Symbolic LogicVolume 40, Issue 2 (1975) 2. Field, H.H. Mental representation. Erkenntnis 13, 9–61 (1978). https://doi.org/10.1007/BF00160888 |
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 |
![]() |
Disputed term/author/ism | Author Vs Author![]() |
Entry![]() |
Reference![]() |
---|---|---|---|
Church, A. | Quine Vs Church, A. | I 368 QuineVsChurch: The subject does not need to speak the language of the object sentence. There is a German phrase of which is true that the mouse, which is afraid of the cat, fears it. But in a certain way they remain language relative (Church). Ex A sentence in a given concrete translation might have a slightly different meaning. For Church this is even likely, because he also accepts all sorts of artificial languages. So we improve: (7) Thomas true-believes in German "Cicero..." I 369 According to Church, we would then have to make all other possible translations as well (8) Thomas believes true in German "Cicero has denounced Catiline." But an Englishman who does not speak German would find other information in (8) than in a full translation. (9) Thomas believes that Cicero denounced Catiline (in English). However, since (8) reflects the meaning of (7), (9) must miss the meaning of (7). QuineVsChurch: not necessarily because a certain concept of meaning is required. Quine: (7) not satisfactory because of the dependence on a language. Such relations of a sentence, a person and a language cannot be linked with the propositional attitudes. I 370 Sheffler + about expressions and degrees XI 55 Identity/Necessity/Church: the values of the variables could be reduced to intensions and thereby make all the true identity statements necessary. QuineVsChurch: it is a mistake to think that the quantified modal logic can tolerate only intentions, but no classes or individuals. Proof: Specification/Quine: every thing x, even an intention is, if it can at all be specified, specifiable in random matching manner. ((s) >indeterminacy of translation, indefinite >reference, >inscrutability of reference). XI 56 Suppose x is determined as the only thing by the condition "φx", so it is also determined as the only one by the conjunction "p u φx". Now you select any truth for "p" that is not implied by "φx", and both specifications contingently turn out to be consistent. So you gain nothing by taking intentions as values of the variables. Should we try again with necessary identity? Identity/Necessary Identity/Necessity/Quine/Lauener: let us consider the following postulate (1) ((w)(Fx w = x) u (w)(Gw w = x))> N(w) (Fw Gw) The demands that if there are always two open sentences that determine the same thing x as the only thing, they should be necessarily equivalent. Although this would repeal the referential opacity of the rules - it would also repeal modal distinctions themselves at the same time! (... + ...) |
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 Theory | Newen Vs Identity Theory | Newen I 168 Nature/Essential/Kripke/Newen: E.g. original meter shows that objects (or substances) have essential and non-essential properties. E.g. Essential: that water is H2O. Therefore, the proposition is a necessary truth a posteriori. Identity Theory/Philosophy of the Mind/Newen: Thesis: mental states are identical with physical states. KripkeVsIdentity Theory: (modal argument): identity is always necessary identity. But: E.g. zombies could we similar to us, but not feel pain. I 169 If this is possible, identity is no longer a necessary identity, and therefore no identity. Identity TheoryVsVs: could argue that the necessary identity applies only to humans. |
New II Albert Newen Analytische Philosophie zur Einführung Hamburg 2005 Newen I Albert Newen Markus Schrenk Einführung in die Sprachphilosophie Darmstadt 2008 |
Kripke, S. A. | Bigelow Vs Kripke, S. A. | I 143 necessary identity/BigelowVsContingent identity/Bigelow/Pargetter: we should let the semantics decide and say that there is simply no contingent identity. ((s) BigelowVsKripke?). contingent identity/Bigelow/Pargetter: instead of changing the semantics in order to admit it after all, we should rather explain why it seems to exist: E.g. Description theory/Russell/Bigelow/Pargetter: provides a means to reconcile contingent with necessary identities: assertions of the form F = G Can be analyzed as contingent by saying that the properties F and G are contingently co-instantiated by a single thing. This is still consistent with the necessary self-identity. |
Big I J. Bigelow, R. Pargetter Science and Necessity Cambridge 1990 |
Physicalism | Nagel Vs Physicalism | Frank I 147 NagelVsPhysicalism: if mental processes are indeed physical processes, then there is a way how it essentially is to be subject to certain physical processes. What this is remains a mystery. Identity/Physical/Mental/Necessary/Contingent/Nagel: the description would therefore not be a contingent one, like the one between a cause and a specific effect. It would be necessary that a certain physical state felt a certain way. (like Kripke). The subjective nature of my experience is the essential property. VsPhysicalism: but it is ignored in such analyzes. It is the individual, by virtue of which the experience is necessarily what it is. Like Kripke: I find the hypothesis that a certain brain state should necessarily have a certain subjective character incomprehensible. From a theory that regards the relation of both as contingent, no such explanation can be gained! But even a theory that assumes necessary identity still confronts us with Kripke's problem of why it seems to be contingent! I 148 NagelVsPhysicalism: the meaning of "is" in "mental states are physical states" is unclear. NagelVsPhysicalism: is as unclear as to laypeople the statement that all matter is energy. If we construct the reference of mentalistic terms to physical events on the basis of the ordinary model, either separate subjective events resurface as the effects through which the mentalist reference to physical events is ensured or we get a false explanation for how mentalist terms denote. Thomas Nagel (1974): What Is It Like to Be a Bat?, in: The Philosophical Review 83 (1974), 435-450 Nagel III 15 NagelVsPhysicalism: has no explanation of perceptions and particular perspectives that we share with the experiences of different types of beings that apparently still exist. Not to mention the mental activity of the formation of an objective view on physical reality. ((s) Objectivistic physics cannot explain common sensations (experiences). |
NagE I E. Nagel The Structure of Science: Problems in the Logic of Scientific Explanation Cambridge, MA 1979 Nagel I Th. Nagel The Last Word, New York/Oxford 1997 German Edition: Das letzte Wort Stuttgart 1999 Nagel II Thomas Nagel What Does It All Mean? Oxford 1987 German Edition: Was bedeutet das alles? Stuttgart 1990 Nagel III Thomas Nagel The Limits of Objectivity. The Tanner Lecture on Human Values, in: The Tanner Lectures on Human Values 1980 Vol. I (ed) St. M. McMurrin, Salt Lake City 1980 German Edition: Die Grenzen der Objektivität Stuttgart 1991 NagelEr I Ernest Nagel Teleology Revisited and Other Essays in the Philosophy and History of Science New York 1982 Fra I M. Frank (Hrsg.) Analytische Theorien des Selbstbewusstseins Frankfurt 1994 |
Stalnaker, R. | Williamson Vs Stalnaker, R. | I 159 Identity/Indistinguishability/Timothy WilliamsonVsStalnaker: (1996): Actuality Operator/@/Williamson: if we add it to K, we can prove the necessity of diversity from the necessary identity. I.e. actual different things are then necessarily different: Logical form: I- @ (∀x)(∀y)(x ≠ y > Nx ≠ y). I 160 Stalnaker: my independence argument above for necessary diversity was based on two assumptions 1. the extensional logic of identity is the same as the logic of indistinguishability, but 2. in a modal semantics without symmetry condition for the accessibility relation, individuals can be distinguishable in a possible world while they are not in another possible world. If one cannot "look back", the information about the distinction may be lost. Actuality Operator/Williamson: preserves the information because you can always look back to the actual world. General: the information about every possible world accessible from the actual world is reflected in the actual world and thus also in every other possible world in the model. Williamson: general thesis: I- Ni (x ≠ y > Nj x ≠ y) In our classical system, the universal generalization is invalid and unprovable with this (∀x)(∀y)(Ni (x ≠ y > Nj x ≠ y) because the predication implies existence and thus the negation of an identity statement can be true, not because the expressions refer to different things, but because these do not exist at all. But: the version with the quantifiers within the necessity operator Ni (∀x)(∀y) (x ≠ y > Nj x ≠ y) Will be valid even if the equal sign is defined as indistinguishable. But it will not be provable. Reason: K + @ is an incomplete quantified modal logic. Actuality Operator/Stalnaker: Problem: the semantic limitations for its interpretation have consequences that are not reflected in the propositional logic for this operator, consequences that occur when the range may change from possible worlds to possible worlds. There are propositions without identity which are valid but not provable, e.g. I- @ N (∀x)(Fx > @MFx) Counterpart Semantics/counterpart theory/necessity diversity/Stalnaker: the absence of the need of diversity in the counterpart theory. I 161 Is not connected with the limits of the expressiveness of modal logic (it is even missing in S5). The necessary identity is valid and provable here. Rather, the necessary difference cannot be proven with or without the actuality operator. StalnakerVsWilliamson: therefore I think that his argument does not threaten the thesis, Thesis: the necessity (or essentiality) of identity is more central in identity logic than the necessity of diversity. |
EconWillO Oliver E. Williamson Peak-load pricing and optimal capacity under indivisibility constraints 1966 |
![]() |
Disputed term/author/ism | Author![]() |
Entry![]() |
Reference![]() |
---|---|---|---|
Theseus Ship | Salmon, N. | Staln I 115 For example, a complex artifact, e.g. a bicycle to which a part has been exchanged, is still the same bicycle, only slightly different. But when most parts have been replaced, you would say it's similar, but different. Hugh Chandler: (1975) Variant split between two possible worlds. w1: as in the original story w2: like w2, except that the old parts are removed but not replaced. The ship is dismantled and later reconstructed. 2. Example Statue/Clay/Allan Gibbard: (1975) Example a lump of clay called "Klumpi" (lumpl) and a statue called "Goliath". The statue is made of the lump and the lump and the statue come to existence or cease to exist at the same moment. Then both are identical. ((s) the formulation disguises that they are detached). Identity/statue/clay/Gibbard/Stalnaker: but it is clear that this identity is not a necessary identity, but a contingent identity. In another possible world, the statue before the lump could have been destroyed. Then both are different. I 117 Cross-world Identity/Stalnaker: it looks as if we have to give it up, or accept an extreme mereological essentialism that requires the identity of all parts. Chandler/Nathan Salmon: thesis: the bicycles are all identical, but those from the more distant worlds are not accessible to each other. |
|
![]() |