Finden Sie Gegenargumente, in dem Sie NameVs…. oder….VsName eingeben.
Der gesuchte Begriff oder Autor findet sich in folgenden 3 Einträgen:
| Begriff/ Autor/Ismus |
Autor |
Eintrag |
Literatur |
|---|---|---|---|
| Eigenschaften | Quine | Rorty VI 151 Wesentliche Eigenschaft/Holismus/Quine/Rorty: die wesentliche Eigenschaft/Holismus ist allenfalls: "Eigenschaft, die für die Anwendung einer bestimmten Beschreibung notwendig ist". Sie ist aber nicht: "Eigenschaft, die für die Identität eines Gegenstands mit sich selbst notwendig ist". >Holismus/Quine. --- I 43 Quine: Eigenschaften: die unabhängige Existenz von Eigenschaften anzunehmen, ist sinnlos. I 218 Massenterminus/Quine: der Massenterminus ist archaisch (Vgl. E. Cassirer, Philosophie der symbolischen Formen, Berlin 1923-1929). Eigenschaften: a) Steht Gemeinsamkeit im Vordergrund? b) Geht es um verstreute Klumpen? I 217 Eigenschaften: sind meist bloß praktische Abkürzungen für längere Querverweise. Quine, Cassirer sind der Ansicht, Eigenschaften sind archaische Überbleibsel. I 219 Nicht alle abstrakten Gegenstände sind Eigenschaften: Bsp Zahlen, Klassen, Funktionen, geometrische Figuren, Ideen, Möglichkeiten. Abstrakte Gegenstände aufgeben oder zurückführen. Sie sind getreulich durch Gebrauch von "-heit" von Konkreten zu unterscheiden! >Abstraktheit/Quine. I 322 Eigenschaftsabstraktion (Elimination) statt "a = x(..x..)". Neu: ist irreduzibler zweistelliger Operator "0": "a0x (..x..)". Die Variablen bleiben als Einziges! Vorrangstellung des Pronomens. >Abstraktion/Quine. I 344/45 Eigenschaften/Quine: Es gebe keine notwendigen oder kontingenten Eigenschaften. (VsModallogik) Quine unterscheidet nur zwischen wichtigen und weniger wichtigen Eigenschaften. I 344 Eigenschaften, Relationen: die Bedeutung zeitloser offener Sätze ist nicht identifizierbar! (Wie Propositionen). I 361 Es findet eine Elimination von Relationen und Eigenschaften zugunsten von Klassen geordneter Paare, offener Sätze, allgemeiner Termini und sogar verstreuter Gegenstände (im Fall der Farben) statt. I 412 QuineVsEigenschaften: es ist ein Fehlschluss der Subtraktion: aus "über" und "handelt von" die Existenz abzuleiten. "Rund" und "Hund" sind Termini für physische Gegenstände, aber nicht zusätzlich für Eigenschaften! "Rund" und "Hund" sind allgemeine Termini für Gegenstände, nicht singuläre Termini für Eigenschaften oder Klassen! >Allgemeinheit/Quine. Dasselbe Argument wäre für Klassen statt Eigenschaften: allgemeiner Term symbolisiert ebenso gut seine Extension, wie seine Intension. >Extension/Quine; >Intensionen/Quine. I 412 Eigenschaften: nicht jeder allgemeine Term redet zwangsläufig von Eigenschaften oder Klassen. Eigenschaften und Klassen sind akzeptabel als Werte von Variablen. I 464 QuineVsRussell/Whitehead: die Theorie unvollständiger Symbole: eliminiert Klassen bloß zugunsten von Eigenschaften. II 129f Eigenschaften: sind schwer zu individuieren. Sie sind nicht, wie Klassen, durch gleiche Elemente zu definieren. Verschiedene Eigenschaften können denselben Dingen zukommen. >Individuation/Quine. Eigenschaften: "Zettsky"(wie Russell): behauptet, Eigenschaften sind identisch, wenn sie Elemente derselben Klassen seien. QuineVs: Lösung: Eigenschaften sind identisch, wenn zwei Sätze auseinander folgen. Das ist unbefriedigend wegen der Analytizität und dem Notwendigkeits-Operator. >Analytizität/Synthetizität/Quine; >Notwendigkeit/Quine. Eigenschaften/Quine: Eigenschaften sind identisch, wenn sie umfangsgleich sind. Klassen sind nicht durch Elemente spezifiziert, sondern durch Bedingung des Enthaltenseins (offener Satz). Eigenschaft: ist nicht gleich Prädikat. >Prädikate/Quine. Eigenschaften: sind offene Sätze. Propositionen: sind abgeschlossene Sätze . >Propositionen/Quine. Eigenschaften sind nicht gleich Klassen: da es kein Individuationsprinzip für Eigenschaften gibt. Lösung: sind "letzte Klassen". Sie gehören keiner anderen Klasse an, haben nur selbst Elemente. Wie Russell: Aussagenfunktion kommt nur durch ihre Werte vor. Die Eigenschaft ist gleich letzte Klasse oder die Eigenschaft ist gleich Aussagenfunktion. Eigenschaften haben als letzte Klasse alle Element der Nullklasse, sind daher alle identisch? Vs: diese Identitätsdefinition gilt nur für Theorien, die keine Gegenstände zulassen, die keiner Klasse angehören! >Einhorn-Beispiel. Eigenschaften/Identität: ist (hier) die Austauschbarkeit in allen Kontexten. Die Voraussetzung: ist die Erschöpfung eines endlichen Lexikons durch die Austauschbarkeit atomarer Kontexte. RyleVs: Kategorienverwechslung! Eigenschaften: QuineVsCarnap/Russell: grammatische Kategorien minimieren, Umfang erweitern. Wenn alle auf "hat" zurückzuführen sind, dann sind alle Eigenschaften extensional. Rest könnte durch Liste aufgeführt werden. Eigenschaften: Kontexte mit "hat" sind unproblematisch. Dagegen ist "Enthalten in" verboten (wegen Klassen). "Ist" führt zu zirkularer Definition von Eigenschaft. Eigenschaften dürfen wir nicht zählen! Bsp "Napoleon hatte alle Eigenschaften bis auf eine": ist verboten! Allerdings ist der Ausdruck "alle Eigenschaften" erlaubt! II 144 f De re: Bsp Ein Spion zu sein, soll eine wesentliche Eigenschaft sein (falsch) Daraus folgt kein Glauben de re! Denn dieser verlangt eine wesentliche Eigenschaft. Modallogik/Quine: die gesamte Modallogik ist kontextabhängig. Welche Rolle spielt jemand oder etwas? Steht auf der gleichen Stufe wie wesentliche Eigenschaften. Notwendigkeit/Quine: der ganze Begriff der Notwendigkeit ist nur im Kontext sinnvoll! Propositionale Einstellungen/Quine: Propositionale Einstellungen bleiben erhalten! Aber nicht de re. X 95 Eigenschaften/Quine: Eigenschaften gibt es nicht wegen mangelnder Unterscheidbarkeit (nur Mengen). Synonymie ist unklar. Offene Sätze, die auf dieselben Gegenstände zutreffen, bestimmen nie verschiedene Mengen, aber es könnten verschiedene Eigenschaften zugrunde liegen. |
Quine I W.V.O. Quine Wort und Gegenstand Stuttgart 1980 Quine II W.V.O. Quine Theorien und Dinge Frankfurt 1985 Quine III W.V.O. Quine Grundzüge der Logik Frankfurt 1978 Quine V W.V.O. Quine Die Wurzeln der Referenz Frankfurt 1989 Quine VI W.V.O. Quine 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 Bezeichnung und Referenz In Zur Philosophie der idealen Sprache, J. Sinnreich (Hg) München 1982 Quine IX W.V.O. Quine Mengenlehre und ihre Logik Wiesbaden 1967 Quine X W.V.O. Quine Philosophie der Logik Bamberg 2005 Quine XII W.V.O. Quine Ontologische Relativität Frankfurt 2003 Quine XIII Willard Van Orman Quine Quiddities Cambridge/London 1987 Rorty I Richard Rorty Der Spiegel der Natur Frankfurt 1997 Rorty II Richard Rorty Philosophie & die Zukunft Frankfurt 2000 Rorty II (b) Richard Rorty "Habermas, Derrida and the Functions of Philosophy", in: R. Rorty, Truth and Progress. Philosophical Papers III, Cambridge/MA 1998 In Philosophie & die Zukunft, Frankfurt/M. 2000 Rorty II (c) Richard Rorty Analytic and Conversational Philosophy Conference fee "Philosophy and the other hgumanities", Stanford Humanities Center 1998 In Philosophie & die Zukunft, Frankfurt/M. 2000 Rorty II (d) Richard Rorty Justice as a Larger Loyalty, in: Ronald Bontekoe/Marietta Stepanians (eds.) Justice and Democracy. Cross-cultural Perspectives, University of Hawaii 1997 In Philosophie & die Zukunft, Frankfurt/M. 2000 Rorty II (e) Richard Rorty Spinoza, Pragmatismus und die Liebe zur Weisheit, Revised Spinoza Lecture April 1997, University of Amsterdam In Philosophie & die Zukunft, Frankfurt/M. 2000 Rorty II (f) Richard Rorty "Sein, das verstanden werden kann, ist Sprache", keynote lecture for Gadamer’ s 100th birthday, University of Heidelberg In Philosophie & die Zukunft, Frankfurt/M. 2000 Rorty II (g) Richard Rorty "Wild Orchids and Trotzky", in: Wild Orchids and Trotzky: Messages form American Universities ed. Mark Edmundson, New York 1993 In Philosophie & die Zukunft, Frankfurt/M. 2000 Rorty III Richard Rorty Kontingenz, Ironie und Solidarität Frankfurt 1992 Rorty IV (a) Richard Rorty "is Philosophy a Natural Kind?", in: R. Rorty, Objectivity, Relativism, and Truth. Philosophical Papers Vol. I, Cambridge/Ma 1991, pp. 46-62 In Eine Kultur ohne Zentrum, Stuttgart 1993 Rorty IV (b) Richard Rorty "Non-Reductive Physicalism" in: R. Rorty, Objectivity, Relativism, and Truth. Philosophical Papers Vol. I, Cambridge/Ma 1991, pp. 113-125 In Eine Kultur ohne Zentrum, Stuttgart 1993 Rorty IV (c) Richard Rorty "Heidegger, Kundera and Dickens" in: R. Rorty, Essays on Heidegger and Others. Philosophical Papers Vol. 2, Cambridge/MA 1991, pp. 66-82 In Eine Kultur ohne Zentrum, Stuttgart 1993 Rorty IV (d) Richard Rorty "Deconstruction and Circumvention" in: R. Rorty, Essays on Heidegger and Others. Philosophical Papers Vol. 2, Cambridge/MA 1991, pp. 85-106 In Eine Kultur ohne Zentrum, Stuttgart 1993 Rorty V (a) R. Rorty "Solidarity of Objectivity", Howison Lecture, University of California, Berkeley, January 1983 In Solidarität oder Objektivität?, Stuttgart 1998 Rorty V (b) Richard Rorty "Freud and Moral Reflection", Edith Weigert Lecture, Forum on Psychiatry and the Humanities, Washington School of Psychiatry, Oct. 19th 1984 In Solidarität oder Objektivität?, Stuttgart 1988 Rorty V (c) Richard Rorty The Priority of Democracy to Philosophy, in: John P. Reeder & Gene Outka (eds.), Prospects for a Common Morality. Princeton University Press. pp. 254-278 (1992) In Solidarität oder Objektivität?, Stuttgart 1988 Rorty VI Richard Rorty Wahrheit und Fortschritt Frankfurt 2000 |
| Funktionen | Russell | I XII/XIII Funktion/Russell/Gödel: Axiom: dass Funktionen "nur durch ihre Werte" vorkommen können, d.h. extensional. >Extensionalität, >Extension. I 58 Funktion/Russell: Die Funktion setzt Werte voraus, aber Werte setzen keine Funktion voraus. I 69 Funktion/PM/Russell: Eine Funktion ist kein Gegenstand, da mehrdeutig - "Werte von φ z^" werden dem φ und nicht dem z erteilt. I 72 Def a-Funktionen/PM/Russell: Funktionen, die für ein gegebenes Argument a sinnvoll sind - ((s) Bsp Umkehrung der Funktion: z.B. y = x² kann den Wert y = 4 für x = 2 liefern). a-Funktion: nun können wir umgekehrt Funktionen suchen, die den Wert 4 liefern: z.B. Wurzel –16, 2² und beliebig viele andere - Bsp "a genügt allen Funktionen, die zu der betreffenden Auswahl gehören": wir ersetzen a durch eine Veränderliche und erhalten eine a-Funktion. Diese darf aber nach dem Zirkelfehlerprinzip nicht Element dieser Auswahl sein, da sie ja auf die Gesamtheit dieser Auswahl Bezug nimmt. - Die Auswahl bestehe aus allen jenen Funktionen, die φ(jz^) genügen. - Dann ist die Funktion (φ). ({f(φz^) impliziert φx} wobei x das Argument ist. So erhellt, dass es für jede mögliche Auswahl von a-Funktionen doch andere a-Funktionen gibt, die außerhalb der Auswahl liegen. >"Alles was er sagte ist wahr". I 107 Abgeleitete Funktion/Schreibweise/PM/Russell: (aus einer prädikativen Funktion abgeleitet) - "f{z^(q,z)}". So definiert: wenn eine Funktion f(y ! z^) gegeben ist, muss unsere abgeleitete Funktion lauten: "es gibt eine prädikative Funktion, die formal äquivalent mit φ z^ ist und f befriedigt" - immer extensional. I 119 Funktion/Wahrheit/Principia Mathematica/Russell: Eine Funktion, die immer wahr ist, kann nichtsdestoweniger für das Argument (ix)( φ x) unwahr sein - dann, wenn dieser Gegenstand nicht existiert. >Nicht-Existenz, >Wahrheitswertlücke. I 119 Funktion/Waverley/Identität/Äquivalenz/Principia Mathematica/Russell: Die Funktionen x = Scott und x = Verfasser von Waverley sind formal äquivalent - dennoch nicht identisch, weil Georg IV. nicht wissen wollte, ob Scott = Scott. I 144 Veränderliche Funktion/variable Funktion/Veränderlichkeit/Principia Mathematica/Russell: alt: nur Übergang von Bsp "Sokrates ist sterblich" zu "Sokrates ist weise"(von f ! x zu f ! y) (sic). - Neu: (zweite Auflage Principia Mathematica): Jetzt ist auch der Übergang zu "Platon ist sterblich" möglich - (Von φ ! a zu y ! a). Schreibweise: griechische Buchstaben: stehen für Individuen, lateinische für Prädikate. - > Bsp "Napoleon hatte alle Eigenschaften eines großen Feldherrn" - Funktion als Variable. |
Russell I B. Russell/A.N. Whitehead Principia Mathematica Frankfurt 1986 Russell II B. Russell Das ABC der Relativitätstheorie Frankfurt 1989 Russell IV B. Russell Probleme der Philosophie Frankfurt 1967 Russell VI B. Russell 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 |
| Kompaktheit | Logik-Texte | Read III 59 Kompaktheit: die klassische logische Folgerung ist kompakt. Um das zu verstehen, müssen wir anerkennen, dass die Menge von Prämissen unendlich sein kann. Klassisch ist jede logische Wahrheit (von der es unendlich viele gibt) eine Folgerung aus einer beliebigen Aussage. Das kann noch vermehrt werden, durch doppelte Negation, die Konjunktion ihrer selbst mit ihrer doppelten Negation usw.. III 60 Die klassische Kompaktheit bedeutet nicht, das ein Schluss nicht unendlich viele Prämissen haben kann, er kann. Aber klassisch ist er genau dann gültig, wenn die Schlussfolgerung aus einer endlichen Teilmenge der Prämissen folgt. Kompaktheit beschränkt die Ausdruckskraft einer Logik. Beweis: wird rein syntaktisch durchgeführt. An sich hat der Beweis keine Bedeutung. Seine Richtigkeit wird auf Grundlage seiner Gestalt und Struktur definiert. >Beweis. III 61 Das Gegenstück zum Beweis ist die Vollständigkeit: es sollte eine Ableitung bestehen. >Unvollständigkeit/Logik-Texte. Die Omega Regel (>Unvollständigkeit/Logik-Texte) wird nicht als Regel der orthodoxen, klassischen Beweistheorie akzeptiert. Wie ich das möglich? Nach klassische Darstellung ist eine Regel zur gültig, die in durch keine Interpretation über einen beliebigen Definitionsbereich die Prämissen wahr und die Schlussfolgerung falsch gemacht werden können. Wie können die Prämissen A(0),A(1) usw. war, aber für jedes n,A(n) falsch sein? III 61/62 Die Erklärung liegt in der Einschränkung der Ausdrucksfähigkeit. In einer nicht-kompakten Logik kann es eine kategorischer Menge von Formeln für die Arithmetik geben, aber die Beweismethoden erfordern Kompaktheit. >Metasprache, >Objektsprache, >Semantische Geschlossenheit. Unterschied kompakt/nicht kompakt: die klassische Logik ist eine Logik 1. Stufe. Eine kategorische Menge von Axiomen für die Arithmetik muss eine Logik zweiter Stufe sein. ((s) Quantoren auch für Eigenschaften). >Quantor, >Schemabuchstabe. Bsp Napoleon hatte alle Eigenschaften die einem großen Feldherrn zukommen.: »für jede Qualität f, wenn für jede Person x, wenn x ein großer General war, dann x f hatte, dann hatte Napoleon f«. In Wirklichkeit ist es etwas subtiler. Denn syntaktisch kann man nicht unterscheiden, ob eine Formel wie die obige 1. oder 2. Stufe ist! >Logik 2. Stufe. |
Texte zur Logik Me I Albert Menne Folgerichtig Denken Darmstadt 1988 HH II Hoyningen-Huene Formale Logik, Stuttgart 1998 Re III Stephen Read Philosophie der Logik Hamburg 1997 Sal IV Wesley C. Salmon Logik Stuttgart 1983 Sai V R.M.Sainsbury Paradoxien Stuttgart 2001 Re III St. Read Philosophie der Logik Hamburg 1997 |
| |||