Disputed term/author/ism | Author Vs Author |
Entry |
Reference |
---|---|---|---|
Anselm of Canterbury | Stegmüller Vs Anselm of Canterbury | Stegmüller IV 358 Ontological Proof of God/VsAnselm/Stegmüller: 1. Problematic transition from the formulation "the fool understands" to the supposedly synonymous "there is consciousness". But with it he commits himself to a certain meaning of what it means to understand a linguistic expression. IV 359 2. It is assumed that existence contributes to the greatness of an object. 3. Self-Contradiction: he claims that a being beyond whom greater things cannot be thought is in the consciousness of the fool and at the same time claims that something greater than this can be thought. Anselm should accept and weaken this: "The fool imagines a being,..." then the contradiction is completely transferred into the thinking of the fool. Vs: that doesn't work either: under the condition of 2. The fool would only get into a contradiction if he thought of a being non-existing in reality, beyond which bigger things cannot be thought. But the fool does not have to fall into this trap: he does not have to think more than Anselm's concept contains. Solution (in favour of the fool): he need not include the non-existence of this being in his concept! IV 360 Ontological Proof of God/GauniloVsAnselm: for example we could then also prove the existence of a "lost island" somewhere in the ocean, only imagined, which "in immeasurable glory surpasses all other inhabited countries". For the actual existence is an essential element of such glory. Mackie: that is indeed a devastating objection. VsGaunilo: he only shows that something about the proof of Anselm cannot be true, but he does not show what. AnselmVsGaunilo: it is possible to think of a being of which it cannot be thought that it does not exist. (Modern: a being whose existence is conceptually necessary). Such a being is greater than another, of which non-existence can be thought. Conclusion: a being beyond which greater things cannot be thought of cannot be thought of as non-existent either, in contrast to the lost island, which can be thought of as non-existent. Ontological Prrof of God/MackieVsAnselm: the criticism can be repeated on a higher level: one begins with the concession that there is the following concept: "A being beyond which greater things cannot be thought of, and which cannot be thought of as non-existent". Again, one can ask whether this concept is instantiated (realized). When I say that it is not realized, I do not contradict myself! (((s) Like Frege): when I say that nothing falls under the concept, it is not the same as when I include the thought "can be thought as not existing" in the concept. IV 361 If I did, there would be a contradiction. |
Carnap V W. Stegmüller Rudolf Carnap und der Wiener Kreis In Hauptströmungen der Gegenwartsphilosophie Bd I, München 1987 St I W. Stegmüller Hauptströmungen der Gegenwartsphilosophie Bd I Stuttgart 1989 St II W. Stegmüller Hauptströmungen der Gegenwartsphilosophie Bd 2 Stuttgart 1987 St III W. Stegmüller Hauptströmungen der Gegenwartsphilosophie Bd 3 Stuttgart 1987 St IV W. Stegmüller Hauptströmungen der Gegenwartsphilosophie Bd 4 Stuttgart 1989 |
Conceptual Role | Fodor Vs Conceptual Role | IV 163 Conceptual Role/CRT/Block/Fodor/Lepore: "conceptual role theory" or theory of the conceptual role, semantics of conceptual role. Thesis: the meaning of an expression is its semantic role (or inferential role). Block: believes that one version of this theory is true, but does not want to decide which one. Anyway, it is, according to Block, the only one that fulfills the conditions of the cognitive sciences. Fodor/LeporeVsBlock: Block's arguments for the conceptual role theory are not the decisive ones. But this does not lead to semantic holism anyway. It would have to be asserted together with the distinction analytic/synthetic. Fodor/LeporeVsBlock: perhaps the psychology, which Block has in mind, needs these conditions, but we do not believe that a version of the conceptual role theory fulfills them. IV 166 Fodor/Lepore/GriceVsBlock: ad 6.: (autonomous/inherited meaning) each Gricean semantics can tell the same story as Block: namely, that the meanings of sentences in a natural language depend on contents of propositional attitudes expressed by these sentences (propositional attitudes may be, for example, the communicative intentions). Grice: thesis: meanings are derived from the content of propositional attitudes (e.g. communicative intentions, >Position). IV 169 Fodor/LeporeVsBlock: 1) Now it becomes obvious: distinctions between inferential roles only solve Frege’s problem if there is an adequate principle of individuation for them. But there is no criterion for that! Block also names this as the main problem. So it is not easier to distinguish between the inferiential roles than between meanings. Twin Earth/TE/CRT/Block/Fodor/Lepore: problems with the Twin Earth are going in the a different direction than Frege’s problems (intention/extension). Frege: needs more finely grained concepts than extensions. Putnam: needs less finely grained concepts than extensional equivalence. (Eng) Synonymous expressions must be treated as extensionally different (water/twin earth water). Therefore, a common theoretical approach (CRT - conceptual role theory) is unlikely to work. Solution/Block: "two factors" version of the CRT. The two are orthogonal to each other: a) actual CRT: covers the meaning aspect of Frege IV 170 b) independent, perhaps causal theory of reference: (twin earth/water/twin earth water). Fodor/LeporeVsBlock: that has almost nothing to do with conceptual role theory. But also neither a) (meaning) nor b) (causality) are available. But let’s assume it anyway: E.g. suppose distinction meaning/reference: with "two factor" theory: we do have enough discrimination capability, but we pay a high price for it: Question: what actually holds the two factors together? IV 171 Fodor/LeporeVsBlock: precisely in the case of the twin earth, the conceptual role cannot determine the reference! Conceptual Role/Block: seems to be saying that it is indeed not the conceptual role of water that determines what it refers to, but the conceptual role of names! Their reference is causally determined, after all, according to Kripke. Conceptual Role/(s): difference: a) conceptual role of a particular concept, e.g. water. b) a word class, e.g. names. Fodor/LeporeVsBlock: but that does not solve the problem! We need something that prevents the confusion of extension and intension. What is it that excludes an expression like (see above) "prime/moisture"? Block: T is not a species concept if the causal theory of species concepts is not true of it. Fodor/LeporeVsBlock: that does precisely not prevent "water" from having the extension of a species concept, while having the logic of a numerical concept. Mention/use/Fodor/LeporeVsBlock: Block seems to be guilty of this confusion here: the problem here is how the meaning of an expression is related to the denotation if the intension does not determine the extension. Block only tells us that the concpet T, etc. falls under the extension of expressions such as "name", "species concept" if a certain semantic theory is true. This tells us how the inferential roles of "name", "species concept", etc. are related to their extensions. For those it proposes a kind of description theory: E.g. "name" is applied to "Moses", iff "Moses" has the semantic properties which the causal theory defines for names. IV 172 Fodor/LeporeVsBlock: but it does not tell us how the meaning of "Moses" defines its extension! And that is exactly the problem that the "two-factor" theory raises. Narrow Content/Fodor/LeporeVsBlock: the idea that narrow meanings are conceptual roles sheds no light on the distinction meaning/reference. A semantic theory should not only be able to ascertain the identity of meaning, but also provide a canonical form that can answer the questions about the meaning of expressions. If the latter succeeds, it is not entirely clear whether the first must succeed as well. Narrow Content/categories/twin earth/Fodor/LeporeVsBlock: problem: how to express narrow contents. |
F/L Jerry Fodor Ernest Lepore Holism. A Shoppers Guide Cambridge USA Oxford UK 1992 Fodor I Jerry Fodor "Special Sciences (or The Disunity of Science as a Working Hypothesis", Synthese 28 (1974), 97-115 In Kognitionswissenschaft, Dieter Münch Frankfurt/M. 1992 Fodor II Jerry Fodor Jerrold J. Katz Sprachphilosophie und Sprachwissenschaft In Linguistik und Philosophie, G. Grewendorf/G. Meggle Frankfurt/M. 1974/1995 Fodor III Jerry Fodor Jerrold J. Katz The availability of what we say in: Philosophical review, LXXII, 1963, pp.55-71 In Linguistik und Philosophie, G. Grewendorf/G. Meggle Frankfurt/M. 1974/1995 |
Formalism | Frege Vs Formalism | Brandom I 606 FregeVsFormalists: How can evidence be provided that something falls under a concept? Frege uses the concept of necessity to prove the existence of an object. Brandom I 609 Free Logic: "Pegasus is a winged horse" is regarded as true, although the object does not exist physically. It can serve as substituent. FregeVs. (>Read). Brandom I 620 Frege: Pegasus has "sense" but no "meaning". FregeVsFormalism: Important argument: it is not enough merely to refer to the Peano axioms, identities such as "1 = successor to the number 0" are trivial. They do not combine two different ways of picking out an object. Solution: Abstraction: it is necessary to connect the use of the expressions of the successor numbers with the already common expressions. Frege I 130 Equation/Frege: you must not put the definite article on one side of an equation and the indefinite article on the other. FregeVsFormalism: a purely formal theory is sufficient. It’s only an instruction for the definitions, not a definition as such. I 131 Number System/Expansion/Frege: in the expansion, the meaning cannot be fixed arbitrarily. E.g. the meaning of the square root is not already unchangeable before the definitions, but it is determined by these. ((s) Contradiction? Anyway, Frege is getting at meaning as use). Number i/Frege: it does not matter whether a second, a millimeter or something else is to play a role in this. I 132 It is only important that the additions and multiplication sentences apply. By the way, i falls out of the equation again. But, E.g. with "a ´bi" you have to explain what meaning "total" has in this case. It is not enough to call for a sense. That would be just ink on paper. (FregeVsHilbert). Bigelow I 182 Consistency/FregeVsFormalism/FregeVsHilbert/Bigelow/Pargetter: Existence precedes consistency. For consistency presupposes the existence of a consistently described object. If it exists, the corresponding description is consistent. If it does not exist, how can we guarantee consistency? Frege I 125 Concept/Frege: How can you prove that it does not contain a contradiction? Not by the determination of the definition. I 126 E.g. ledger lines in a triangle: it is not sufficient for proof of their existence that no contradiction is discovered in on their concept. Proof of the disambiguity of a concept can strictly only be carried out by something falling under it. The reverse would be a mistake. E.g. Hankel: equation x + b = c: if b is > c, there is no natural number x which solves the problem. I 127 Hankel: but nothing keeps us from considering the difference (c - b) as a sign that solves the problem! Sign/FregeVsHankel/FregeVsFormalism: there is something that hinders us: E.g. considering (2 - 3) readily as a sign that solves the problem: an empty sign does not solve the problem, but is only ink on paper. Its use as such would then be a logical error. Even in cases where the solution is possible, it is not the sign that is the solution, but the content. Wittgenstein I 27 Frege/Earlier Wittgenstein/Hintikka: ((FregeVsFormalism) in the philosophy of logic and mathematics). Frege dispensed with any attempt to attribute a semantic content to his logical axioms and rules of evidence. Likewise, Wittgenstein: "In logical syntax, the meaning of a sign must never play a role, it may only require the description of the expressions." Therefore, it is incorrect to assert that the Tractatus represents the view of the inexpressibility of language par excellence. The inexpressibility of semantics is merely limited to semantics, I 28 syntax can certainly be linguistically expressed! In a letter to Schlick, Wittgenstein makes the accusation that Carnap had taken his ideas, without pointing this out (08.08.32)! |
F I G. Frege Die Grundlagen der Arithmetik Stuttgart 1987 F II G. Frege Funktion, Begriff, Bedeutung Göttingen 1994 F IV G. Frege Logische Untersuchungen Göttingen 1993 Bra I R. Brandom Making it exlicit. Reasoning, Representing, and Discursive Commitment, Cambridge/MA 1994 German Edition: Expressive Vernunft Frankfurt 2000 Bra II R. Brandom Articulating reasons. An Introduction to Inferentialism, Cambridge/MA 2001 German Edition: Begründen und Begreifen Frankfurt 2001 Big I J. Bigelow, R. Pargetter Science and Necessity Cambridge 1990 W II L. Wittgenstein Wittgenstein’s Lectures 1930-32, from the notes of John King and Desmond Lee, Oxford 1980 German Edition: Vorlesungen 1930-35 Frankfurt 1989 W III L. Wittgenstein The Blue and Brown Books (BB), Oxford 1958 German Edition: Das Blaue Buch - Eine Philosophische Betrachtung Frankfurt 1984 W IV L. Wittgenstein Tractatus Logico-Philosophicus (TLP), 1922, C.K. Ogden (trans.), London: Routledge & Kegan Paul. Originally published as “Logisch-Philosophische Abhandlung”, in Annalen der Naturphilosophische, XIV (3/4), 1921. German Edition: Tractatus logico-philosophicus Frankfurt/M 1960 |
Frege, G. | Field Vs Frege, G. | I 89 Knowledge of Consistency/FregeVsDeflationism: (Frege, Foundations of Arithmetic, §95): We can only determine that a concept is consistent by first producing something that falls under it. (Frege, p. 106). FieldVsFrege: this is obviously not literally correct: E.g. we can see that the concept of a "winged horse" is consistent without producing such a horse. But you can weaken the argument: then it acknowledges that there is knowledge of possibility that does not arise from a knowledge of actuality, but from the reflection of the logical form of the concepts. |
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 |
Frege, G. | Russell Vs Frege, G. | Dummett I 59 RussellVs distinction sense / reference (meaning / reference) (RussellVsFrege) --- Stepanians I 44 Proof/Frege/Stepanians: Frege requests with the demand for completeness and rigor much stronger requirements for evidence than his mathematical contemporaries. Mathematics/VsFrege: mathematicians were more interested in truth than in the epistemological status. Intuitively plausible transitions were sufficient. --- Stepanians I 87 Explicit definition/Frege/Stepanians: must satisfy two conditions 1. Frege's adequacy criterion: Hume's principle must follow from it. The justification for this principle is that the basic laws of arithmetic have to be provable on the principle's basis. 2. the explicit definition must master the problem with recourse to concept scope, where the context definition fails: it must solve the Caesar-problem (see above). --- I 88 VsFrege: his explicit definition of the number concept does not solve the Caesar problem, but shifts it only to concept scope. Solution: would it only be if the concept scope excluded from the outset that Caesar is such a one. Solution/Frege: requires here simply that the knowledge of the concept scope excludes this. Value-over-time/terminology: = concept scope. I 88 Concept scope/Frege/StepaniansVsFrege/VsFrege/Stepanians: Frege's own view of concept scopes will prove to be contradictory (see Russell's paradox). I 91 Concept scope/Frege/Stepanians: was a newly introduced logical object by Frege for solving the Caesar-problem. They were not present yet in the concept script. Frege must justify them. Additional axiom: "Basic Law V": The scope of F = is the scope of G bik All Fs are G and vice versa. Russell's paradox/antinomy/RussellVsFrege/Stepanians: Basic Law V allows the transition from a general statement via terms to a statement about objects that fall under F - the scope of F. It is assumed that each term has a scope, even if it might be empty. I 92 RussellVsFrege/Stepanians: shows that not all definable terms in Frege's theory have a scope: Concept scope/Frege/RussellVsFrege: since concept scopes are objects the question has to be allowed whether a concept scope falls under the concept whose extent/scope it is. If so, it includes itself, otherwise not. Example: the scope of the term cat is itself not a cat. On the other hand: Example: the scope of the term non-cat contains very well itself, since it is not a cat. Contradiction: a concept scope which includes all concept scopes that do not contain themselves. If it contained itself, it should not to contain itself by definition, if it did not contain itself, it must include itself by definition. I 96 Object/concept/Frege/Stepanians: we discover (in a purely logical way) objects on concepts as their scopes. I 97 VsFrege/VsConcept scope/Stepanians: the idea of the concept scope is based on a linguistic deception (See Chapter 6 § 2). That was Frege's own diagnosis. I 114 Sentence/declarative sentence/statement/designating/VsFrege/Stepanians: one has often accused Frege that a declarative sentence does not want to denote anything but wants to claim (a truth value as an object) something. FregeVsVs/Stepanians: sentences as names for truth values are actually about subsets, whereas these subsets make a contribution to the truth value of the sentence structure (complete sentence). Sentence/assertion/declarative sentence/Frege: (later, function and concept, 22, footnote): the total sentence means F nothing. Basic Laws/terminology/Frege: (later): in the basic laws he differentiates terminologically and graphically between sentential "truth value names" that contribute towards the determination of the truth value and "concept type sets" that mean F nothing, but claim something. --- Horwich I 57 RussellVsFrege/Cartwright: Russell's analysis differs from Frege, by not using unsaturation. (1) 1. R. Cartwright, „A Neglected Theory of Truth“ , Philosophical Essays, Cambridge/MA pp. 71-93 in: Paul Horwich (Ed.) Theories of Truth, Aldershot 1994 --- Newen I 61 Meaning determination/meaning/Russell/Newen: Two modes are possible: a) syncategorematic: according to the occurrence in a sentence. b) categorematic; independent from the occurrence in a sentence. Relational principle of meaning: applies to categorematic expressions: the meaning is the object (or the property). They are defined by acquaintance. --- I 62 RussellVsFrege: Thesis: simple expressions mean what they signify. Syncategorematic/meaning/Russell. E.g. "and", "or": indicating their meaning means indicating the meaning of sentences in which they occur. ((s)> Context, contextually). Contextually/Russell/Newen: syncategorematic expressions: their meaning is indicated by their meaning in schemes (sentence scheme). --- Quine II 103 Russell: classes, if there are any, must exist, properties at best must be in place (weaker). Quine: I think this is arbitrary. In Russell's analysis of the concept of meaning, its relative indifference reappears opposite the existence-term (subsistence): Frege: threefold distinction a) expression, b) what it means, c) that to what it (if at all) refers to. This is not natural for Russell. RussellVsFrege: ~ the whole distinction between mean and designate is wrong. The relationship between "C" and C remains completely mysterious, and where should we find the designating complex that supposedly refers to C? QuineVsRussell: Russell's position seems sometimes to come from a confusion of terms with their meanings, sometimes from a confusion of the expression with its mention. |
Russell I B. Russell/A.N. Whitehead Principia Mathematica Frankfurt 1986 Russell II B. Russell The ABC of Relativity, London 1958, 1969 German Edition: Das ABC der Relativitätstheorie Frankfurt 1989 Russell IV B. Russell The Problems of Philosophy, Oxford 1912 German Edition: Probleme der Philosophie Frankfurt 1967 Russell VI B. Russell "The Philosophy of Logical Atomism", in: B. Russell, Logic and KNowledge, ed. R. Ch. Marsh, London 1956, pp. 200-202 German Edition: Die Philosophie des logischen Atomismus In Eigennamen, U. Wolf (Hg) Frankfurt 1993 Russell VII B. Russell On the Nature of Truth and Falsehood, in: B. Russell, The Problems of Philosophy, Oxford 1912 - Dt. "Wahrheit und Falschheit" In Wahrheitstheorien, G. Skirbekk (Hg) Frankfurt 1996 Dummett I M. Dummett The Origins of the Analytical Philosophy, London 1988 German Edition: Ursprünge der analytischen Philosophie Frankfurt 1992 Dummett II Michael Dummett "What ist a Theory of Meaning?" (ii) In Truth and Meaning, G. Evans/J. McDowell Oxford 1976 Dummett III M. Dummett Wahrheit Stuttgart 1982 Dummett III (a) Michael Dummett "Truth" in: Proceedings of the Aristotelian Society 59 (1959) pp.141-162 In Wahrheit, Michael Dummett Stuttgart 1982 Dummett III (b) Michael Dummett "Frege’s Distiction between Sense and Reference", in: M. Dummett, Truth and Other Enigmas, London 1978, pp. 116-144 In Wahrheit, Stuttgart 1982 Dummett III (c) Michael Dummett "What is a Theory of Meaning?" in: S. Guttenplan (ed.) Mind and Language, Oxford 1975, pp. 97-138 In Wahrheit, Michael Dummett Stuttgart 1982 Dummett III (d) Michael Dummett "Bringing About the Past" in: Philosophical Review 73 (1964) pp.338-359 In Wahrheit, Michael Dummett Stuttgart 1982 Dummett III (e) Michael Dummett "Can Analytical Philosophy be Systematic, and Ought it to be?" in: Hegel-Studien, Beiheft 17 (1977) S. 305-326 In Wahrheit, Michael Dummett Stuttgart 1982 Step I Markus Stepanians Gottlob Frege zur Einführung Hamburg 2001 Horwich I P. Horwich (Ed.) Theories of Truth Aldershot 1994 New II Albert Newen Analytische Philosophie zur Einführung Hamburg 2005 Newen I Albert Newen Markus Schrenk Einführung in die Sprachphilosophie Darmstadt 2008 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 |
Frege, G. | Wittgenstein Vs Frege, G. | Brandom I 919 TractatusVsFrege: nothing can be considered an assertion, if not previously logical vocabulary is available, already the simplest assertion assumes the entire logic. --- Dummett I 32 Frege capturing of thought: psychic act - thought not the content of consciousness - consciousness subjective - thought objective - WittgensteinVs I 35 WittgensteinVsFrege: no personal objects (sensations), otherwise private language, unknowable for the subject itself. WittgensteinVsFrege: Understanding no psychic process, - real mental process: pain, melody (like Frege). Dummett I 62 Wittgenstein's criticism of the thought of a private ostensive definition states implicitly that color words can have no, corresponding with the Fregean assumption, subjective, incommunicable sense. (WittgensteinVsFrege, color words). But Frege represents anyway an objective sense of color words, provided that it is about understanding. Dummett I 158 WittgensteinVsDummett/WittgensteinVsFrege: rejects the view that the meaning of a statement must be indicated by description of their truth conditions. Wittgenstein: Understanding not abruptly, no inner experience, not the same consequences. --- Wolf II 344 Names/meaning/existence/WittgensteinVsFrege: E.g. "Nothung has a sharp blade" also has sense if Nothung is smashed. II 345 Name not referent: if Mr N.N. dies, the name is not dead. Otherwise it would make no sense to say "Mr. N.N. died". --- Simons I 342 Sentence/context/copula/tradition/Simons: the context of the sentence provided the copula according to the traditional view: Copula/VsTradition: only accours as a normal word like the others in the sentence, so it cannot explain the context. Solution/Frege: unsaturated phrases. Sentence/WittgensteinVsFrege/Simons: context only simply common standing-next-to-each-other of words (names). That is, there is not one part of the sentence, which establishes the connection. Unsaturation/Simons: this perfectly matches the ontological dependence (oA): a phrase cannot exist without certain others! --- Wittgenstein I 16 Semantics/Wittgenstein/Frege/Hintikka: 1. main thesis of this chapter: Wittgenstein's attitude to inexpressibility of semantics is very similar to that of Frege. Wittgenstein represents in his early work as well as in the late work a clear and sweeping view of the nature of the relationship between language and the world. As Frege he believes they cannot be expressed verbally. Earlier WittgensteinVsFrege: by indirect use this view could be communicated. According to the thesis of language as a universal medium (SUM) it cannot be expressed in particular, what would be the case if the semantic relationships between language and the world would be different from the given ones? Wittgenstein I 45 Term/Frege/WittgensteinVsFrege/Hintikka: that a concept is essentially predicative, cannot be expressed by Frege linguistically, because he claims that the expression 'the term X' does not refer to a concept, but to an object. I 46 Term/Frege/RussellVsFrege/Hintikka: that is enough to show that the Fregean theory cannot be true: The theory consists of sentences, which, according to their own theory cannot be sentences, and if they cannot be sentences, they also cannot be true ". (RussellVsFrege) WittgensteinVsFrege/late: return to Russell's stricter standards unlike Frege and early Wittgenstein himself. Wittgenstein late: greatly emphasizes the purely descriptive. In Tractatus he had not hesitated to go beyond the vernacular. I 65ff Saturated/unsaturated/Frege/Tractatus/WittgensteinVsFrege: in Frege's distinction lurks a hidden contradiction. Both recognize the context principle. (Always full sentence critical for meaning). I 66 Frege: unsaturated entities (functions) need supplementing. The context principle states, however, neither saturated nor unsaturated symbols have independent meaning outside of sentences. So both need to be supplemented, so the difference is idle. The usual equation of the objects of Tractatus with individuals (i.e. saturated entities) is not only missed, but diametrically wrong. It is less misleading, to regard them all as functions I 222 Example number/number attribution/WittgensteinVsFrege/Hintikka: Figures do not require that the counted entities belong to a general area of all quantifiers. "Not even a certain universality is essential to the specified number. E.g. 'three equally big circles at equal distances' It will certainly not be: (Ex, y, z)xe circular and red, ye circular and red, etc ..." The objects Wittgenstein observes here, are apparently phenomenological objects. His arguments tend to show here that they are not only unable to be reproduced in the logical notation, but also that they are not real objects of knowledge in reality. ((s) that is not VsFrege here). Wittgenstein: Of course, you could write like this: There are three circles, which have the property of being red. I 223 But here the difference comes to light between inauthentic objects: color spots in the visual field, tones, etc., and the actual objects: elements of knowledge. (> Improper/actual, >sense data, >phenomenology). --- II 73 Negation/WittgensteinVsFrege: his explanation only works if his symbols can be substituted by the words. The negation is more complicated than that negation character. --- Wittgenstein VI 119 WittgensteinVsFrege/Schulte: he has not seen what is authorized on formalism that the symbols of mathematics are not the characters, but have no meaning. Frege: alternative: either mere ink strokes or characters of something. Then what they represent, is their meaning. WittgensteinVsFrege: that this alternative is not correct, shows chess: here we are not dealing with the wooden figures, and yet the figures represent nothing, they have no Fregean meaning (reference). There is simply a third one: the characters can be used as in the game. Wittgenstein VI 172 Name/Wittgenstein/Schulte: meaning is not the referent. (VsFrege). --- Sentence/character/Tractatus 3.14 .. the punctuation is a fact,. 3.141 The sentence is not a mixture of words. 3.143 ... that the punctuation is a fact is concealed by the ordinary form of expression of writing. (WittgensteinVsFrege: so it was possible that Frege called the sentence a compound name). 3.1432 Not: "The complex character 'aRb' says that a stands in the relation R to b, but: that "a" is in a certain relation to "b", says aRb ((s) So conversely: reality leads to the use of characters). (quotes sic). --- Wittgenstein IV 28 Mention/use/character/symbol/WittgensteinVsFrege/WittgensteinVsRussell/Tractatus: their Begriffsschrift(1) does not yet exclude such errors. 3.326 In order to recognize the symbol through the character, you have to pay attention to the meaningful use. Wittgenstein IV 40 Sentence/sense/WittgensteinVsFrege/Tractatus: the verb of the sentence is not "is true" or "is wrong", but the verb has already to include that, what is true. 4.064 The sentence must have a meaning. The affirmation does not give the sentence its meaning. IV 47 Formal concepts/Tractatus: (4.1272) E.g. "complex", "fact", "function", "number". WittgensteinVsFrege/WittgensteinVsRussell: they are presented in the Begriffsschrift by variables, not represented by functions or classes. E.g. Expressions like "1 is a number" or "there is only one zero" or E.g. "2 + 2 = 4 at three o'clock" are nonsensical. 4.12721 the formal concept is already given with an object, which falls under it. IV 47/48 So you cannot introduce objects of a formal concept and the formal concept itself, as basic concepts. WittgensteinVsRussell: you cannot introduce the concept of function and special functions as basic ideas, or e.g. the concept of number and definite numbers. Successor/Begriffsschrift/Wittgenstein/Tractatus: 4.1273 E.g. b is successor of a: aRb, (Ex): aRx.xRb, (Ex,y): aRx.xRy.yRb ... General/something general/general public/WittgensteinVsFrege/WittgensteinVsRussell: the general term of a form-series can only be expressed by a variable, because the term "term of this form-series" is a formal term. Both have overlooked: the way, how they want to express general sentences, is circular. IV 49 Elementary proposition/atomism/Tractatus: 4.211 a character of an elementary proposition is that no elementary proposition can contradict it. The elementary proposition consists of names, it is a concatenation of names. WittgensteinVsFrege: it itself is not a name. IV 53 Truth conditions/truth/sentence/phrase/Tractatus: 4.431 of the sentence is an expression of its truth-conditions. (pro Frege). WittgensteinVsFrege: false explanation of the concept of truth: would "the truth" and "the false" really be objects and the arguments in ~p etc., then according to Frege the meaning of "~ p" is not at all determined. Punctuation/Tractatus: 4.44 the character that is created by the assignment of each mark "true" and the truth possibilities. Object/sentence/Tractatus: 4.441 it is clear that the complex of characters IV 54 Ttrue" and "false" do not correspond to an object. There are no "logical objects". Judgment line/WittgensteinVsFrege/Tractatus: 4.442 the judgment line is logically quite meaningless. It indicates only that the authors in question consider the sentence to be true. Wittgenstein pro redundancy theory/Tractatus: (4.442), a sentence cannot say of itself that it is true. (VsFrege: VsJudgment stroke). IV 59 Meaning/WittgensteinVsFrege/Tractatus: (5.02) the confusion of argument and index is based on Frege's theory of meaning IV 60 of the sentences and functions. For Frege the sentences of logic were names, whose arguments the indices of these names. IV 62 Concluding/conclusion/result relation/WittgensteinVsRussell/WittgensteinVsFrege/Tractatus: 5.132 the "Final Acts" that should justify the conclusions for the two, are senseless and would be superfluous. 5.133 All concluding happens a priori. 5.134 one cannot conclude an elementary proposition from another. ((s) Concluding: from sentences, not situations.) 5.135 In no way can be concluded from the existence of any situation to the existence of, IV 63 an entirely different situation. Causality: 5.136 a causal nexus which justifies such a conclusion, does not exist. 5.1361 The events of the future, cannot be concluded from the current. IV 70 Primitive signs/WittgensteinVsFrege/WittgensteinVsRussell/Tractatus: 5.42 The possibility of crosswise definition of the logical "primitive signs" of Frege and Russell (e.g. >, v) already shows that these are no primitive signs, let alone that they signify any relations. IV 101 Evidence/criterion/logic/WittgensteinVsFrege/Tractatus: 6.1271 strange that such an exact thinker like Frege appealed to the obviousness as a criterion of the logical sentence. IV 102 Identity/meaning/sense/WittgensteinVsFrege/Tractatus: 6.232 the essential of the equation is not that the sides have a different sense but the same meaning, but the essential is that the equation is not necessary to show that the two expressions, that are connected by the equal sign, have the same meaning, since this can be seen from the two expressions themselves. 1. G. Frege, Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens, Halle 1879, Neudruck in: Ders. Begriffsschrift und andere Aufsätze, hrsg. v. J. Agnelli, Hildesheim 1964 --- Wittgenstein II 343 Intension/classes/quantities/Frege/Russell/WittgensteinVsRussell/WittgensteinVsFrege: both believed they could deal with the classes intensionally because they thought they could turn a list into a property, a function. (WittgensteinVs). Why wanted both so much to define the number? |
W II L. Wittgenstein Wittgenstein’s Lectures 1930-32, from the notes of John King and Desmond Lee, Oxford 1980 German Edition: Vorlesungen 1930-35 Frankfurt 1989 W IV L. Wittgenstein Tractatus Logico-Philosophicus (TLP), 1922, C.K. Ogden (trans.), London: Routledge & Kegan Paul. Originally published as “Logisch-Philosophische Abhandlung”, in Annalen der Naturphilosophische, XIV (3/4), 1921. German Edition: Tractatus logico-philosophicus Frankfurt/M 1960 Bra I R. Brandom Making it exlicit. Reasoning, Representing, and Discursive Commitment, Cambridge/MA 1994 German Edition: Expressive Vernunft Frankfurt 2000 Bra II R. Brandom Articulating reasons. An Introduction to Inferentialism, Cambridge/MA 2001 German Edition: Begründen und Begreifen Frankfurt 2001 Dummett I M. Dummett The Origins of the Analytical Philosophy, London 1988 German Edition: Ursprünge der analytischen Philosophie Frankfurt 1992 Dummett III (e) Michael Dummett "Can Analytical Philosophy be Systematic, and Ought it to be?" in: Hegel-Studien, Beiheft 17 (1977) S. 305-326 In Wahrheit, Michael Dummett Stuttgart 1982 K II siehe Wol I U. Wolf (Hg) Eigennamen Frankfurt 1993 Simons I P. Simons Parts. A Study in Ontology Oxford New York 1987 |
Hilbert | Frege Vs Hilbert | Berka I 294 Consistency/Geometry/Hilbert: Proof through analogous relations between numbers. Concepts: if properties contradict each other, the concept does not exist. FregeVsHilbert: there is just nothing that falls under it. Real Numbers/Hilbert: here, the proof of consistency for the axioms is also the proof of existence of the continuum.(1) 1. D. Hilbert, „Mathematische Probleme“ in: Ders. Gesammelte Abhandlungen (1935) Bd. III S. 290-329 (gekürzter Nachdruck v. S 299-301) Thiel I 279 Hilbert: Used concepts like point, line, plane, "between", etc. in his Foundations of Geometry in 1899, but understood their sense in a hitherto unfamiliar way. They should not only enable the derivation of the usual sentences, but rather, in its entirety, specify the meaning of the concepts used in it in the first place! Thiel I 280 Later this was called a "definition by postulates", "implicit definition" >Definition. The designations point, line, etc. were to be nothing more than a convenient aid for mathematical considerations. FregeVsHilbert: clarifies the letter correspondence that his axioms are not statements, but rather statement forms. >Statement Form. He denied that by their interaction the concepts occurring in them might be given a meaning. It was rather a (in Frege’s terminology) "second stage concept" that was defined, today we would say a "structure". HilbertVsFrege: the point of the Hilbert’s proceeding is just that the meaning of "point", "line", etc. is left open. Frege and Hilbert might well have been able to agree on this, but they did not. Frege: Axiom should be in the classical sense a simple, sense-wise completely clear statement at the beginning of a system. Hilbert: statement forms that combined define a discipline. From this the "sloppy" figure of speech developed E.g. "straight" in spherical geometry was then a great circle. Thiel I 343 Formalism: 1) "older" formalism: second half of the 19th century, creators Hankel, Heine, Thomae, Stolz. "Formal arithmetic", "formal algebra". "Object of arithmetic are the signs on the paper itself, so that the existence of these numbers is not in question" (naive). Def "Permanence Principle": it had become customary to introduce new signs for numbers that had been added and to postulate then that the rules that applied to the numbers of the original are should also be valid for the extended area. Vs: that would have to be regarded as illegitimate as long as the consistency is not shown. Otherwise, you could introduce a new number, and E.g. simply postulate § + 1 = 2 und § + 2 = 1. This contradiction would show that these "new numbers" did not really exist. This explains Heine’s formulation that "existence is not in question". (> "tonk"). Thiel I 343/344 Thomae treated the problem as "rules of the game" in a somewhat more differentiated way. FregeVsThomae: he had not even precisely specified the basic rules of his game, namely the correlation to the rules, pieces and positions. This criticism of Frege was already a precursor of Hilbert’S proof theory, in which also mere character strings are considered without regard their possible content for their production and transformation according to the given rules. Thiel I 345 HilbertVsVs: Hilbert critics often overlook that, at least for Hilbert himself, the "finite core" should remain content-wise interpreted and only the "ideal", not finitely interpretable parts have no directly provable content. This important argument is of a methodical, not a philosophical nature. "Formalism" is the most commonly used expression for Hilbert’s program. Beyond that, the conception of formalism is also possible in a third sense: i.e. the conception of mathematics and logic as a system of action schemes for dealing with figures that are free of any content. HilbertVsFrege and Dedekind: the objects of the number theory are the signs themselves. Motto: "In the beginning was the sign." Thiel I 346 The designation formalism did not come from Hilbert or his school. Brouwer had hyped up the contrasts between his intuitionism and the formalism of Hilbert’s school to a landmark decision. |
F I G. Frege Die Grundlagen der Arithmetik Stuttgart 1987 F IV G. Frege Logische Untersuchungen Göttingen 1993 Berka I Karel Berka Lothar Kreiser Logik Texte Berlin 1983 T I Chr. Thiel Philosophie und Mathematik Darmstadt 1995 |
Russell, B. | Frege Vs Russell, B. | Read III 149 FregeVsMeinong FregeVsRussell: there are quite contradictory concepts, just no contradictory objects - logic can only determine the limitation of concepts, i.e. for each object, whether it falls under the concept, or not - a contradictory concept is needed to prove that there is no corresponding object. Russell/Read: statements, meanings of sentences, and objects of belief: have individual things and universals as constituents. "Socrates is wise" literally has Socrates and wisdom as constituent elements. The meaning of "Socrates" for him was the philosopher himself. (>Meaning). Russell: (naive realist: meaning = extension or reference, FregeVs). |
F I G. Frege Die Grundlagen der Arithmetik Stuttgart 1987 F IV G. Frege Logische Untersuchungen Göttingen 1993 Re III St. Read Thinking About Logic: An Introduction to the Philosophy of Logic. 1995 Oxford University Press German Edition: Philosophie der Logik Hamburg 1997 |
Tarski, A. | Verschiedene Vs Tarski, A. | Eigen VII 303 v. WeizsäckerVsTarski: for the description of the meta language one needed again a meta language. Recourse. Sainsbury V 180 Tarski: the ordinary everyday concept of truth is incoherent: it must be replaced by a hierarchical series of predicates of truth. The object language must not contain a predicate that applies exactly to its true sentences. SainsburyVsTarski: some authors think that our everyday language is not really deficient, but already contains the required hierarchy. e.g. with turns like "What you just said isn't true." It seems too radical to reject our ordinary concept of truth. On the other hand, it is probably not correct to assume that our everyday concept already contains the whole separation. Reinforced LiarVsTarski : (L2: "L2 is not true"). Despite Tarski we could formulate: LN: LN is not trueN Version 1: If that is flawed because it does not respect the separation of levels, then it is not trueN. But that is what it says, it has to be trueN! Version 2: A sentence that breaks through the levels is semantically flawed and therefore not true. So you can always construct an amplified liar sentence to disprove an approach about levels! Horwich I 122 Truth Definition/T-Def/VsTarski: Objections about alleged lack of correctness are directed against the semantic T-concept in general. VsTarski: the T-Def is circular, because in the form "p iff q" truth occurs implicitly: namely, because the equivalence applies when either both sides are true or both sides are false. TarskiVsVs: if this objection would be valid, there would be no formally correct T-Def at all, because we cannot form a composite sentence without the help of connections and other logical terms defined with their help. I 123 Solution/Tarski: a strict deductive development of logic is often initiated by an explanation of the conditions under which propositions of the form "if p then q" etc. are considered true. (truth value tables). I 123 Solution/Tarski: a strict deductive development of logic is often initiated by an explanation of the conditions under which propositions of the form "if p then q" etc. are considered true. (Truth-value-tables). Horwich I 127 VsTarski: because of his scheme, which obliges him to facts, he is committed to realism. (GonsethVsTarski). TarskiVsVs: that the expression ... Snow is "actually" white...was wrongly inserted by my critics. Truth conditions/T-Def/Tarski: the reference to facts is deliberately missing in the T-scheme! It is not about truth conditions. T-Schema/Tarski: only implies that if we use the sentence (1) Snow is white we claim or negate that we then also have the correlated sentence (2) The sentence "snow is white" is true we have to claim or negate it. I 128 N.B: with it we can keep our respective epistemological attitude: we can remain realists, idealists, etc., if we have been before. Realism/Tarski: the semantic T-concept does not commit us to naïve realism. ((s) If truth is disquotation, then the "disciplines" must be distinguishable by sentences that are disquotationally true instead of "immanently true"). TarskiVsVs: reductio ad absurdum: if there were another T-concept (according to the will of these critics, then it would have to be somehow different and then it would ultimately come out that "snow is white" is true, iff snow is not white! Otherwise it would not be another T-concept but the same T-concept! Nevertheless, such a "new" T-concept would not necessarily be absurd. In any case, any T-concept that is incompatible with the semantic T-Def would have such consequences. Tarski I 160 VsTarski: Question: Is the semantic conception of truth the only "right" one? TarskiVsVs: I must confess that I do not understand this question because the problem is so vague that no clear solution is possible. I 162 VsTarski: in the formulation of the definition, we necessarily use statement links like "if..., then...", "or" etc.. These occur in definitions. However, it is well known that the meaning of propositional connections in logic is explained by the words "true" and "false". (Circle). TarskiVsVs: it is undoubtedly the case that a strictly deductive development of logic is often preceded by certain statements that explain the conditions under which statements of the form "if, then..." are true or false. However, these findings are outside the system of logic and should not be regarded as a definition of the terms in question! I 163 These findings influence in no way the deductive development of logic. Because here we do not discuss the question whether a statement is true, but whether it is provable! (Truth/Proofability). I 163 Logical Connection/Statement/Tarski: the moment we are in the deductive system of logic (or semantics based on logic), we treat the propositional connections either as undefined terms, or we define them with the help of other propositional connections. However, we do not define the connections using terms such as "true" or "false". (p or q) exactly when (if not p, then q). This definition obviously does not contain semantic terms. Error: the schema (T) X is true exactly when p. for a definition of truth! VsTarski: a critic, who commits this mistake, considered this alleged definition to be "inadmissibly short", i.e.: "incomplete". I 164 It is not necessary to decide whether 'equivalence' means a logical formal relationship or a non-logical relationship. He suggests to add: (T') X is true exactly when p is true. ((s) Vs: here "true" occurs twice). (T'') X is true exactly when p is the case. TarskiVsVs: this is a misunderstanding regarding the nature of the statement connections. (Confusion of name and subject matter/confusion of statements and their names, mention/use). ((s) p (right) is the statement itself, not the assertion of its truth. This has nothing to do with the correctness of redundancy theory). I 168 VsTarski: but the formal definition of truth has nothing to do with the "philosophical problem of truth". It gives necessary and sufficient conditions, but not the "essence" of this concept. TarskiVs: I am not able to understand what the "essence" of a term should be. ((s) FregeVsTarski: Terms have necessary characteristics.) I 172 Criterion/criterion of truth/VsTarski: some argue that definitions do not provide us with general criteria for deciding whether an object falls under the defined terms. And the term "true" is of this kind, since no universal criterion of truth emerges directly from the definition. (> criterion of truth). ((s) RescherVsTarski). Tarski: this is completely correct, but it does not distinguish the term from many terms of science such as theoretical physics. (> term). I 174 Semantics/Tarski: Semantic terms are actually contained in many areas of the sciences and especially empirical sciences. |
Eigen I M. Eigen Ruth Winkler Laws of the Game : How the Principles of Nature Govern Chance, Princeton/NJ 1993 German Edition: Das Spiel München 1975 Sai I R.M. Sainsbury Paradoxes, Cambridge/New York/Melbourne 1995 German Edition: Paradoxien Stuttgart 1993 Horwich I P. Horwich (Ed.) Theories of Truth Aldershot 1994 Tarski I A. Tarski Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983 |