Disputed term/author/ism | Author |
Entry |
Reference |
---|---|---|---|
Extensionality | Simons | Chisholm II 185 Extensionality/Quine: we assume space time points instead of "durable goods". SimonsVsQuine: language without continuants (permanent object) cannot be learned. Chisholm: probably time and modality, but not temporal or modal components: either a) accept phenomena, refuse extensionality or b) reject phenomena, demand extensionality for real lasting objects. >Entia Sukzessiva. SimonsVsChisholm: it is better to accept Aristotle things with unnecessary parts: trees simply consist of matter. This is more evidence than Wittgenstein's atoms. --- Simons I 3 Extensionality/Simons: if extensionality is rejected, more than one object can have exactly the same parts and therefore more than one object can be at the same time in the same place. Then we are dealing with continuants. Continuant/Simons: everything which is not an event is a continuant (see below) or everything that can have mass. >Continuants, >Parts. I 11 Extensional Mereology/CEM/extensionality/Simons: a characteristic property of extensional mereology is the relationship "part-of-or-identical-with". This corresponds with "less-than-or-equal" relationship. Overlapping: overlapping can be used as the only fundamental concept. Limiting case: separateness and identity. I 105f Part/VsExtensional Mereology/Simons: 1. A whole is sometimes not one of its own parts. 2. Sometimes it is not transitive. 3. The existence of "sum-individuals" is not always guaranteed. That means, that the axioms, for individuals who obey any predicate, are wrong. 4. Identity criteria for individuals who have all parts in common, are wrong. I 106 5. Provides a materialist ontology of four-dimensional objects. Part/Simons: thesis: there is no uniform meaning of "part". I 117 Extensionality/Simons: extensionality is left with the rejection of the proper parts principle: I 28 Proper Parts Principle/strong/strong supporting principle: if x is not part of y, then there is a z which is part of x and which is separated from y. Solution for distinguishing sum (Tib + Tail) and whole (process) Tibbles (cat). >Tibbles-expample. Simons: the coincidence of individuals is temporarily indistinguishable (perceptually). >Superposition: superposition means being at the same time in the same place. |
Simons I P. Simons Parts. A Study in Ontology Oxford New York 1987 Chisholm I R. Chisholm The First Person. Theory of Reference and Intentionality, Minneapolis 1981 German Edition: Die erste Person Frankfurt 1992 Chisholm II Roderick Chisholm In Philosophische Aufsäze zu Ehren von Roderick M. Ch, Marian David/Leopold Stubenberg Amsterdam 1986 Chisholm III Roderick M. Chisholm Theory of knowledge, Englewood Cliffs 1989 German Edition: Erkenntnistheorie Graz 2004 |
Fields | Field | III 35 Fields/H. Field: space-time points as causal agents. - According to Platonism the behavior of space without matter is to describe by electromagnetic properties (non-empty). >Field theory, >Empty space, >Platonism, cf. >Relationism, >Substantivalism, >Absoluteness/Field. Empty space/field: empty space would be without space time points: useless. >Senseless. |
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 |
Possible Worlds | Carnap | Cresswell I 53 possible world/Wittgenstein (1922)(1), Carnap 1947)(2): A world can be characterized by the "atomic facts" that are true in it - possible world: then number of individual situations - = subset of the set B of all space time points - (namely, the ones that are occupied by objects) - if two possible worlds match in the initial term, then in every term - i.e. possible worlds can be distinguished by the initial term - because each a1 is an element of D, each element of the range of the theory uniquely determines a possible world - i.e. a1 is a possible world! >Order, >Facts, >Situations, >Atomic sentences, >Atomism. 1. Ludwig Wittgenstein: Logisch-philosophische Abhandlung, W. Ostwald (Hrsg.), Annalen der Naturphilosophie, Band 14, 1921, S. 185–262. 2. Rudolf Carnap, Meaning and Necessity. A Study in Semantics and Modal Logic. 1947. Chicago: University of Chicago Press. |
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 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 |
Qualities | Armstrong | Martin I 73 Quality/Martin: there is no quantity, no numbers without qualitative properties. It is pointless to indicate space time points without qualitative properties. - Hence applies to physics/mathematics: quantity: is a "system of relations". >Relations. Armstrong: maybe physics is a very small area: at the end we will only have formulas. >Physics. |
Armstrong I David M. Armstrong Meaning and Communication, The Philosophical Review 80, 1971, pp. 427-447 In Handlung, Kommunikation, Bedeutung, Georg Meggle Frankfurt/M. 1979 Armstrong II (a) David M. Armstrong Dispositions as Categorical States In Dispositions, Tim Crane London New York 1996 Armstrong II (b) David M. Armstrong Place’ s and Armstrong’ s Views Compared and Contrasted In Dispositions, Tim Crane London New York 1996 Armstrong II (c) David M. Armstrong Reply to Martin In Dispositions, Tim Crane London New York 1996 Armstrong II (d) David M. Armstrong Second Reply to Martin London New York 1996 Armstrong III D. Armstrong What is a Law of Nature? Cambridge 1983 Martin I C. B. Martin Properties and Dispositions In Dispositions, Tim Crane London New York 1996 Martin II C. B. Martin Replies to Armstrong and Place In Dispositions, Tim Crane London New York 1996 Martin III C. B. Martin Final Replies to Place and Armstrong In Dispositions, Tim Crane London New York 1996 Martin IV C. B. Martin The Mind in Nature Oxford 2010 |
Space Time | Field | I 70 Space time points/space time/Field: space time points have complete causal action capability. Then one can even do without electrons. Instead: mass, charge, etc. of the electron as properties of the space time regions. >Physics/Field, >Ontology, >Theoretical entities. I 72 Space time should be given priority to the field, if there are several fields. --- III 31 Spacetime points/Field: are not abstract but empirical. III 47f Space-Time/Field: differs from space not only in that it is 4-dimensional, but also in the fact that it has no full Euclidean structure. And it also has an extra structure that is not present in the 4-dimensional Euclidean space. Spatial distance cannot be objectively compared with time, although one could arbitrarily define a comparison (e.g. with uniform movement). >Time, >Motion. III 52 ((s) Space time/space-time/(s): Non-Euclidean, since no common measure for lengths and durations is available. Different: R4 (four-dimensional space) - here there is a common measure in all dimensions.) |
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 |
Disputed term/author/ism | Author Vs Author |
Entry |
Reference |
---|---|---|---|
Modal Logic | Quine Vs Modal Logic | Chisholm II 185 QuineVsModal Logic: instead space time points as quadruples. Reason: permanent objects (continuants) seem to threaten the extensionality. SimonsVsQuine: the Achilles heel is that we must have doubts whether anyone could learn a language that refers not to permanent objects (continuants). --- Lewis IV 32 QuineVsModal Logic: which properties are necessary or accidental, is then dependent on the description. Definition essentialism/Aristotle: essential qualities are not dependent on description. QuineVs: that is as congenial as the whole modal logic. LewisVsQuine: that really is congenial. --- I 338 But modal logic has nothing to do with it. Here, totally impersonal. The modal logic, as we know it, begins with Clarence Lewis "A survey of Symbolic Logic" in 1918. His interpretation of the necessity that Carnap formulates even more sharply later is: Definition necessity/Carnap: A sentence that starts with "it is necessary that", is true if and only if the remaining sentence is analytic. Quine provisionally useful, despite our reservations about analyticity. --- I 339 (1) It is necessary that 9 > 4 it is then explained as follows: (2) "9 > 4" is analytically. It is questionable whether Lewis would ever have engaged in this matter, if not Russell and Whitehead (Frege following) had made the mistake, the philonic construction: "If p then q" as "~ (p and ~ q)" if they so designate this construction as a material implication instead of as a material conditional. C.I.Lewis: protested and said that such a defined material implication must not only be true, but must also be analytical, if you wanted to consider it rightly as an "implication". This led to his concept of "strict implication". Quine: It is best to view one "implies" and "is analytical" as general terms which are predicated by sentences by adding them predicatively to names (i.e. quotations) of sentences. Unlike "and", "not", "if so" which are not terms but operators. Whitehead and Russell, who took the distinction between use and mention lightly, wrote "p implies q" (in the material sense) as it was with "If p, then q" (in the material sense) interchangeable. --- I 339 Material implication "p implies q" not equal to "p > q" (>mention/>use) "implies" and "analytical" better most general terms than operators. Lewis did the same, he wrote "p strictly implies q" and explained it as "It is necessary that not (p and not q)". Hence it is that he developed a modal logic, in which "necessary" is sentence-related operator. If we explain (1) in the form of (2), then the question is why we need modal logic at all. --- I 340 An apparent advantage is the ability to quantify in modal positions. Because we know that we cannot quantify into quotes, and in (2) a quotation is used. This was also certainly Lewis' intention. But is it legitimate? --- I 341 It is safe that (1) is true at any plausible interpretation and the following is false: (3) It is necessary that the number of planets > 4 Since 9 = the number of planets, we can conclude that the position of "9" in (1) is not purely indicative and the necessity operator is therefore opaque. The recalcitrance of 9 is based on the fact that it can be specified in various ways, who lack the necessary equivalence. (E.g. as a number of planets, and the successor to the 8) so that at a specification various features follow necessarily (something "greater than 4 ") and not in the other. Postulate: Whenever any of two sentences determines the object x clearly, the two sentences in question are necessary equivalent. (4) If Fx and only x and Gx and exclusively x, it is necessary that (w)(Fw if and only if when Gw). --- I 342 (This makes any sentence p to a necessary sentence) However, this postulate nullifies modal distinctions: because we can derive the validity of "It is necessary that p" that it plays no role which true sentence we use for "p". Argument: "p" stands for any true sentence, y is any object, and x = y. Then what applies clearly is: (5) (p and x = y) and exclusively x as (6) x = y and x exclusively then we can conclude on the basis of (4) from (5) and (6): (7) It is necessary that (w) (p and w = y) if and only if w = y) However, the quantification in (7) implies in particular "(p and y = y) if and only if y = y" which in turn implies "p"; and so we conclude from (7) that it is necessary that p. --- I 343 The modal logic systems by Barcan and Fitch allow absolute quantification in modal contexts. How such a theory can be interpreted without the disastrous assumption (4), is far from clear. --- I 343 Modal Logic: Church/Frege: modal sentence = Proposition Church's system is structured differently: He restricts the quantification indirectly by reinterpreting variables and other symbols into modal positions. For him (as for Frege) a sentence designated then, to which a modal operator is superior, a proposition. The operator is a predicate that is applied to the proposition. If we treat the modalities like the propositional attitude before, then we could first (1) reinterpret (8) [9 > 4] is necessary (Brackets for class) and attach the opacity of intensional abstraction. One would therefore interpret propositions as that what is necessary and possible. --- I 344 Then we could pursue the model from § 35 and try to reproduce the modality selectively transparent, by passing selectively from propositions to properties: (9) x (x > 4) is necessary in terms 9. This is so far opposed to (8) as "9" here receives a purely designated position in one can quantify and in one can replace "9" by "the number of planets". This seemed to be worth in the case of en, as we e.g. wanted to be able to say (§ 31), there would be someone, of whom is believed, he was a spy (> II). But in the case of modal expressions something very amazing comes out. The manner of speaking of a difference of necessary and contingent properties of an object. E.g. One could say that mathematicians are necessarily rational and not necessarily two-legged, while cyclist are necessarily two-legged but not necessarily rational. But how can a bicycling mathematician be classified? Insofar as we are talking purely indicatively of the object, it is not even suggestively useful to speak of some of its properties as a contingent and of others as necessary. --- I 344 Properties/Quine: no necessary or contingent properties (VsModal Logic) only more or less important properties Of course, some of its properties are considered essential and others unimportant, some permanently and others temporary, but there are none which are necessary or contingent. Curiously, exactly this distinction has philosophical tradition. It lives on in the terms "nature" and "accident". One attributes this distinction to Aristotle. (Probably some scholars are going to protest, but that is the penalty for attributing something to Aristotle.) --- I 345 But however venerable this distinction may be, it certainly cannot be justified. And thus the construction (9) which carries out this distinction so elegantly, also fails. We cannot blame the analyticity the diverse infirmities of modality. There is no alternative yet for (1) and (2) that at least sets us a little on something like modal logic. We can define "P is necessary" as "P = ((x) (x = x))". Whether (8) thereby becomes true, or whether it is at all in accordance with the equation of (1) and (2), will depend on how closely we construct the propositions in terms of their identity. They cannot be constructed so tightly that they are appropriate to the propositional properties. But how particularly the definition may be, something will be the result that a modal logic without quantifiers is isomorphic. --- VI 41 Abstract objects/modal logic/Putnam/Parsons: modal operators can save abstract objects. QuineVsModal Logic: instead quantification (postulating of objects) thus we streamline the truth functions. Modal logic/Putnam/Parsons/Quine: Putnam and Charles Parsons have shown how abstract objects can be saved in the recourse to possibility operators. Quine: without modal operators: E.g. "Everything is such that unless it is a cat and eats spoiled fish, and it gets sick, will avoid fish in the future." ((s) logical form/(s): (x) ((Fx u Gx u Hx)> Vx). Thus, the postulation of objects can streamline our only loosely binding truth functions, without us having to resort to modal operators. --- VI 102 Necessity/opportunity/Quine: are insofar intensional, as they do not fit the substitutivity of identity. Again, vary between de re and de dicto. --- VI 103 Counterfactual conditionals, unreal conditionals/Quine: are true, if their consequent follows logically from the antecedent in conjunction with background assumptions. Necessity/Quine: by sentence constellations, which are accepted by groups. (Goes beyond the individual sentence). --- VI 104 QuineVsModal logic: its friends want to give the necessity an objective sense. --- XI 52 QuineVsModal Logic/Lauener: it is not clear here on what objects we are referring to. --- XI 53 Necessesity/Quine/Lauener: ("Three Grades of Modal Involvement"): 3 progressive usages: 1. as a predicate for names of sentences: E.g. "N "p"": "p is necessarily true". (N: = square, box). This is harmless, simply equate it with analyticity. 2. as an operator which extends to close sentence: E.g. "N p": "it is necessarily true that p" 3. as an operator, too, for open sentences: E.g. "N Fx": through existence generalization: "(Ex) N Fx". |
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 Chisholm I R. Chisholm The First Person. Theory of Reference and Intentionality, Minneapolis 1981 German Edition: Die erste Person Frankfurt 1992 Chisholm II Roderick Chisholm In Philosophische Aufsäze zu Ehren von Roderick M. Ch, Marian David/Leopold Stubenberg Amsterdam 1986 Chisholm III Roderick M. Chisholm Theory of knowledge, Englewood Cliffs 1989 German Edition: Erkenntnistheorie Graz 2004 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 |