Warning: mysqli_connect(): (HY000/1203): User db393255 already has more than 'max_user_connections' active connections in /kunden/393255_14059/webseiten/deV2/datenbank/class_db_connect_inc.php on line 10

Warning: mysqli_connect(): (HY000/1203): User db393255 already has more than 'max_user_connections' active connections in /kunden/393255_14059/webseiten/deV2/datenbank/class_db_connect_inc.php on line 10

Lexikon der Argumente

Philosophische Themen und wissenschaftliche Debatten
 

Helfen Sie uns, Lexika für weitere Fachgebiete aufzubauen: Psychologie, Geschichtswissenschaft, Wirtschaftswissenschaften, Rechtswissenschaften, Kunsttheorie, Politikwissenschaft, andere

Titel / Autor

 

Autor / Titel

 

Vorbereitende und weiterführende Literatur

 

Allgemeine Abkürzungen im Text A

 

Allgemeine Abkürzungen im Text B

 

Logische Symbole

 

Spezielle Schreibweisen

 

Spezielle Terminologien

 

 

 

Titel / Autor       sortiert nach Autoren | sortiere nach Kürzeln

 

 


Warning: mysqli_set_charset() expects parameter 1 to be mysqli, boolean given in /kunden/393255_14059/webseiten/deV2/datenbank/class_db_connect_inc.php on line 19

Warning: mysqli_query() expects parameter 1 to be mysqli, boolean given in /kunden/393255_14059/webseiten/deV2/datenbank/class_db_connect_inc.php on line 20

Warning: mysqli_fetch_assoc() expects parameter 1 to be mysqli_result, null given in /kunden/393255_14059/webseiten/deV2/datenbank/class_db_connect_inc.php on line 25

Warning: mysqli_set_charset() expects parameter 1 to be mysqli, boolean given in /kunden/393255_14059/webseiten/deV2/datenbank/class_db_connect_inc.php on line 19

Warning: mysqli_query() expects parameter 1 to be mysqli, boolean given in /kunden/393255_14059/webseiten/deV2/datenbank/class_db_connect_inc.php on line 20

Warning: mysqli_fetch_assoc() expects parameter 1 to be mysqli_result, null given in /kunden/393255_14059/webseiten/deV2/datenbank/class_db_connect_inc.php on line 25

Vorbereitende und weiterführende Literatur
 
 

Warning: mysqli_set_charset() expects parameter 1 to be mysqli, boolean given in /kunden/393255_14059/webseiten/deV2/datenbank/class_db_connect_inc.php on line 19

Warning: mysqli_query() expects parameter 1 to be mysqli, boolean given in /kunden/393255_14059/webseiten/deV2/datenbank/class_db_connect_inc.php on line 20

Warning: mysqli_fetch_assoc() expects parameter 1 to be mysqli_result, null given in /kunden/393255_14059/webseiten/deV2/datenbank/class_db_connect_inc.php on line 25

 

 

Autor / Titel

 

 

 

Antike

I Bernhard H.F. Taureck   Die Sophisten  Hamburg (Junius) 1995

 

Aristoteles

I   U. Charpa  Aristoteles (Campus) Frankfurt, 1991

 

D. Armstrong (= Arm bzw. Disp)

I D. Armstrong  Bedeutung und Kommunikation  aus Handlung ,Kommunikation, Bedeutung  Meggle (Hrsg) Frankfurt/M 1979

II bzw.  Disp  Armstrong/Place/Martin Dispositions (Hg Tim Crane) London New York 1996

III  D. Armstrong; What is a Law of Nature?   Cambridge 1983

 

J. L. Austin

I Wahrheitstheorien Hrsg. Skirbekk, Frankfurt/M 1996

II J. Husted "Austin" aus :Hügli (Hrsg) Philosophie im 20. Jahrhundert, Reinbek 1993

III J. L. Austin: "Ein Plädoyer für Entschuldigungen" aus:  Linguistik und Philosophie (Grewendorf/Meggle(Hg)) Frankfurt (Athenäum) 1974/1995

 

A. Avramides ( = Av)

I  A. Avramides  Meaning and Mind  Boston 1989 (MIT)

 

A.J. Ayer

I  A. Ayer Wahrheit, aus "Wahrheitstheorien" Hrsg. Skirbekk  Frankfurt/M 1996

II A. Ayer  Moral ist ein Gefühl – keine Erkenntnis in Hügli ()Hrsg.) Philosophie im 20. Jahrhundert, Reinbek 1993

 

J. D. Barrow (= B)

III  (auch Sigle I) J. D. Barrow Warum die Welt mathematisch ist  Frankfurt/New York 1993, Campus

B II  J.D .Barrow Die Natur der Natur, Hamburg 1996 (n Datei Physik = B I )

B III J.D: Barrow Die Entdeckung des Unmöglichen, Heidelberg, 1999

 

R. Barthes

I G. Röttger-Denker Barthes zur Einführung  Hamburg 1989 (Junius)

 

P. Basieux

I  P. Basieux Die Architektur der Mathematik  (Strukturen) Reinbek 2000

II  P.  Basieux Die Welt als Roulette Reinbek 1995   

 

 

J. Baudrillard

I  F. Blask Baudrillard zur Einführung Hamburg, 1995

 

Beck-Bornholt/Dubben (= BB)

I H.P. Beck‑Bornholt/H. Dubben. Der Hund, der Eier legt  Reinbek 1997

 

W. Benjamin

I  N. Bolz/W. van Reijen, Benjamin Einführung Frankfurt 1991

 

J. Bennett

I  J. Bennett Die Strategie des Bedeutungs‑Nominalismus  aus Meggle (Hrsg) Handlung, Kommunikation, Bedeutung, Frankf/M 1979

 

Berkeley  (= Ber)

 W. Breidert  Berkeley in: Grundprobleme d. Gr. Philosophen Göttingen 1997

 

J. Bigelow (= Bi)

I  J. Bigelow/Pargetter Science and Necessity Cambridge University Press 1990

 

Biologie

I    St. J. Gould,   Der Daumen des Panda, Frankfurt/M 1980

II   St. J. Gould,   Wie das Zebra zu seinen Streifen kommt, Frankfurt1983

III   St. J. Gould   Illusion Fortschritt, Frankfurt,1998

IV  St. J. Gould    Das Lächeln des Flamingos, Basel, 1989

Mon I   J. Monod   Zufall und Notwendigkeit  München1982

E I   M. Eigen/Ruth Winkler  Das Spiel, München 1975

Da I  R. Dawkins     Das egoistische Gen, Hamburg 1996

 

M. Black  (= Bla)

I  M. Black Bedeutung und Intention aus "Handlung, Kommunikation, Bedeutung   Georg Meggle (Hrsg) Frankfurt/M 1979

II  M. Black Sprache München 1973

III  M. Black The Prevalence of Humbug and other Essays  Ithaca/London 1983    

 

N. Block

I  N. Block Schwierigkeiten mit dem Funktionalismus, aus D. Münch (Hg) Kognitionswissenschaft, Frankfurt 1992

 

Gottfried Boehm (= Bö)

Bö I G. Boehm Hrsg Was ist ein Bild? München 1995

 

R. Brandom (= Bra)

I  R. Brandom  Expressive Vernunft  Frankfurt/M 2000    

II  R. Brandom   Begründen und Begreifen  Frankfurt/M 2001

 

E. Brendel (= Bre)

Bre I E. Brendel Wahrheit und Wissen, Paderborn 1999

 

R. Bubner (= Bu)

I  R. Bubner Antike Themen und ihre moderne Verwandlung, Frankfurt/M 1992

 

T. Burge ( = Wol)

Wol I T. Burge  Referenz und Eigennamen  in U. Wolf (Hg) Eigennamen Frankfurt 1993

 

R. Carnap (= Ca)

I R. Carnap  Die alte und die neue Logik aus Wahrheitstheorien, Hrsg. Skirbekk, Frankfurt/M 1996

       R. Carnap  Wahrheit und Bewährung (1930) in Skirbekk

II R.  Carnap Der Logische Positivismus (Ernst Mach und der  Wiener Kreis) aus Hügli (Hrsg) Phil. d. 20. Jahrh

III R. Carnap: "Philosophie als logische Syntax" aus: Hügli (Hrsg) Phil. d. 20. Jahrh.

IV R. Carnap Mein Weg in die Philosophie (noch nicht)

V "Carnap" aus Stegmüller Band I

VI R. Carnap Der Logische Aufbau der Welt Hamburg 1998            

VII  (auch Sigle "PiS") R. Carnap Sinn und Synonymität  i. nat. Sprache  (aus Sinnreich Phil. d. d. Spr.)

VIII  (auch Sigle "PiS") R. Carnap Über einige Begriffe der Pragmatik (aus Sinnreich, Phil. d. id. Spr.)

IX (auch Sigle "PiS") J. Sinnreich: Einleitung Phil. d. idealen Sprache

 

N. Cartwright (= Car)

I N. Cartwright   How the laws of physics lie   Oxford  New York  1983

 

Cavell (= Cav)

I St. Cavell  Die Unheimlichkeit des Gewöhnlichen,  Frankfurt/M, 2002

II  St. Cavell  Müssen wir meinen was wir sagen?  aus Grewendorf/Meggle Linguistik und Phil. Frankfurt (Athenäum) 1974/1995

 

R. Chisholm ( = Chi)

I  R. Chisholm  Die erste Person, Frankfurt, 1992

II  M.David/L. Stubenberg Phil Aufsätze zu Ehren von R.M. Chisholm, Graz, 1986

III  R. Chisholm Erkenntnistheorie    Graz 1977, 2004

 

N. Chomsky  (= Cho)

I  N. Chomsky  Linguistik und Philosophie  aus Grewendorf/Meggle Linguistik und Philosophie Frankfurt (Athenäum) 1974/1995

 

A. Danto (= Dt)

I A. Danto Wege zur Welt, München 1999

II  P. Lübcke: "Geschichte als Problem" aus :A. Hügli /P.Lübcke (Hrsg) Philosophie im 20 Jahrhundert, Hamburg 1993 (Zweimal II)

Dt II  A. Danto Die Verklärung des Gewöhnlichen, Frankfurt 1984 (Sigle II hier zweimal vergeben! Einmal in Kunsttheorie)

Dt III  A .Danto Die philosophische Entmündigung der Kunst, München 1993

Dt IV A. Danto Kunst nach dem Ende der Kunst, München 1996

Dt V A. Danto Nietzsche als Philosoph, München 1998

Dt VI A. Danto Das Fortleben der Kunst, München, 2000

 

 

D. Davidson (= D)

I  D. Davidson Der Mythos des Subjektiven, Stuttgart 1993                

II  D. Davidson zur Einführung (K. Glüer) Junius Hamburg, 1993

III  D. Davidson Handlung und Ereignis, Frankfurt 1990

IV  D. Davidson Wahrheit und Interpretation,  Frankfurt, 1990

 

R. Dawkins (= Da)

I  R. Dawkins  Das egoistische Gen, Hamburg 1996

 

D. Dennett (= Den)

I   D. Dennett, Darwins gefährliches Erbe, Hamburg, 1997 

II  D. Dennett, Spielarten des Geistes, Gütersloh, 1999

 

J. Derrida

I H. Kimmerle  Derrida zur Einführung , Hamburg, 1997

 

R. Descartes (= Desc)

I  H. H.  Holz  Descartes zur Einführung, Frankfurt/M 1994, (Campus)

 

D. Deutsch (= Deu)

I D. Deutsch Die Physik der Welterkenntnis, München 2000

 

J. Dewey (= Dew)

I M. Suhr  Dewey zur Einführung  Hamburg 1994 (Junius)

 

K.S. Donnellan

I  K.  S. Donnellan  Referenz und Kennzeichnungen aus Ursula Wolf (Hg) Eigennamen Frankfurt, 1993

II K. S. Donnellan   Reden über Nichts  aus Ursula Wolf (Hg) Eigennamen Frankfurt, 1993

 

P. Duhem (= Duh)

I P. Duhem Ziel und Struktur der physikalischen Theorien, Hamburg, 1998 (Meiner)

 

M. Dummett ( = Du, Dum)

I  M. Dummett Ursprünge der analytischen Philosophie, Frankfurt/M 1992

II J. Husted "Dummett" aus:Hügli (Hrsg) Philosophie im 20. Jahrhundert, Reinbek, 1993

III M. Dummett Wahrheit  Stuttgart 1982     

 

M. Eigen (= E)

I   M. Eigen/R. Winkler  Das Spiel, München 1975     

 

M. Esfeld (= Es)

I M. Esfeld Holismus Frankfurt/M   2002                                                    

 

P. Feyerabend (= Fe)

I Feyerabend Wider den Methodenzwang, Frankfurt 1999

II  Feyerabend Erkenntnis für freie Menschen, Frankfurt, 1979

 

R. Feynman (= Fey)

I  R. Feynman Vorlesungen über Physik I München   2001

Fey  R. Feynman Vom Wesen physikalischer Gesetze München 1993

 

W. Flusser (= Fl)

I  W. Flusser "Kommunikologie", Mannheim 1996

II Fl. Rötzer "Kunst machen?"

 

J. Fodor (= Fod)

I J. A. Fodor  Einzelwissenschaften  aus: Münch (Hg.) Kognitionswissenschaft, Frankfurt 1992

II J. A. Fodor/J. J. Katz  Sprachphilosophie und Sprachwissenschaft  aus Grewendorf/Meggle (Hg) Frankfurt (Athenäum) 1974/1995

III J. Fodor/J.J. Katz  Der Zugang zu dem, was wir sagen   aus Grewendorf/Meggle (Hg) Frankfurt (Athenäum) 1974/1995

 F/L I  (im Index = IV) J. Fodor/E. Lepore  Holism   A Shoppers Guide  Oxford UK/Cambridge USA 1992

 

M. Foucault (= Fou)

I   M. Foucault Die Ordnung der Dinge, Frankfurt 1978

II  M. Foucault Archäologie des Wissens, Frankfurt, 1981

 

G. Frege ( = F)

I  G. Frege  Die Grundlagen der Arithmetik  Stuttgart 1987

II   G. Frege  Funktion, Begriff, Bedeutung  Göttingen 1994

                 1. Funktion und Begriff

                 2. Über Sinn und Bedeutung

                 3. Über Begriff und Gegenstand

                 4. Was ist eine Funktion?

                 5. Über die wissenschaftliche Berechtigung einer Begriffsschrift

IV G. Frege  Logische Untersuchungen  Göttingen  1993

                 1. Der Gedanke

                 2. Die Verneinung

                 3. Zu Ernst Schröders Algebra der Logik    

V   J. Husted  "Frege" aus Hügli (Hrsg.) Philosophie im 20. Jahrhundert  Reinbek 1993  

III R. Stuhlmann-Laeisz: Freges "Logische Untersuchungen"  (= SL III )

 

 

P.T. Geach (= Gea)

I   P. T. Geach  Logic Matters Oxford 1972

 

H. Genz ( = Gz)

 I H. Genz Gedankenexperimente, Weinheim 1999

II H. Genz Wie die Naturgesetze Wirklichkeit schaffen  München Wien 2002

 

J. Gleick (= Gl)

IV J. Gleick   Chaos ‑ die Ordnung des Universums München 1988

 

A. Graeser (=Grae)

I A. Graeser Positionen der Gegenwartsphilosophie München 2002

 

B. Greene (= Gre)

Gre IX  B. Greene  Das elegante Universum  ‑ Superstrings  Berlin, 2000

 

J. Gribbin (= Gr)

III J.Gribbin   Schrödingers Kätzchen Frankfurt/M  1998, Fischer

VII  J. Gribbin  Auf der Suche nach Schrödingers Kätzchen, München, Zürich 1991 (in Datei Physik)

 

D. Grover (=Gro)

Gro I  D. Grover  A Prosentential Theory of Thruth  Princeton New Jersey 1992

 

N. Goodman (= G)

I   N. Goodman  Weisen der Welterzeugung, Frankfurt/M  1984      

II   N. Goodman  Tatsache Fiktion Voraussage, Frankfurt/M                  

III  N. Goodman  Sprachen der Kunst, Frankfurt/M 1997                        

IV  N. Goodman  Revisionen Frankfurt/M 1989

 

St. J. Gould (= Gd)

I    St. J.  Gould,   Der Daumen des Panda, Frankfurt/M 1980

II   St. J.  Gould,   Wie das Zebra zu seinen Streifen kommt, Frankfurt1983

III   St. J.  Gould   Illusion Fortschritt, Frankfurt,1998

IV  St. J.  Gould    Das Lächeln des Flamingos, Basel, 1989

 

H.P. Grice  (= Meg I;  Meg II)

I  H. P. Grice  Intendieren, Meinen, Bedeuten  in: "Handlung, Kommunikation, Bedeutung"  Georg Meggle (Hrsg) (= Meg I)

  H. P. Grice Sprecher‑Bedeutung und Intentionen  (= Meg I)

  H. P. Grice  Sprecher‑Bedeutung, Satz‑Bedeutung, Wort‑Bedeutung (= Meg I)

          D. D. Welker: Sprach‑Nominalismus  (= Meg I)

 H. P. Grice: "Logik und Konversation"  (= Meg I)

        I. C Hungerland Kontext‑Implikation (= Meg I)

        S.G. O' Hair: Implikation und Bedeutung (= Meg I)

        L. J. Cohen Die logischen Partikel der natürlichen Sprache (= Meg I)

         R. C.S. Walker: Konversations-Implikaturen (= Meg I)

 

 

A. Guth

VI A.  Guth  Die Geburt des Kosmos aus dem Nichts, München 1997

 

 

J. Habermas

I   Der philosophische Diskurs der Moderne, Frankfurt, 1988

                 4. Eintritt in die Postmoderne: Nietzsche als Drehscheibe

                 6. Die metaphysikkritische Unterwanderung des okzidentalen Rationalismus: Heidegger

                 7. Überbietung der temporalisierten Ursprungsphilosophie: Derridas Kritik am Phonozentrismus

                 Exkurs zur Einebnung des Gattungsunterschiedes zwischen Philosophie und Literatur

                 9. Vernunftkritische Entlarvung der Humanwissenschaften: Foucault

                 10. Aporien einer Machttheorie  (Foucault)

                 Exkurs zu Luhmanns systemtheoretischer Aneignung der subjektphilosophischen Erbmasse

 

II  W. Reese‑Schäfer  Habermas für Einsteiger Frankfurt 2001

 

I. Hacking (= Hack)

I  Ian Hacking Einführung in die Philosophie der Naturwissenschaften, Stuttgart, 1996

 

P. R. Halmos (= Hal)

 P. R. Halmos Naive Mengelehre Göttingen 1969

 

R.M. Hare

I R. M. Hare  Philosophische Entdeckungen  aus Grewendorf/Meggle(Hg) Linguistik und Philosophie, Frankfurt (Athenäum) 1974/1995

 

M. Heidegger

I   G. Figal  Heidegger zur Einführung    Hamburg, 1992 (Junius)

II  P.  Cardorff  Heidegger    Campus Frankfurt, 1991

III  M. Heidegger, Sein und Zeit Tübingen 1993

Verschiedenes: Spiegel‑Interview Augstein/Heidegger

 

C.G. Hempel

I  Wahrheitstheorien Hrsg. Skirbekk Frankfurt/M 1996

 

D. Hofstadter

I D. Hofstadter Gödel, Escher, Bach, Stuttgart 1985

II  D. Hofstadter Metamagicum, München, 1994

 

P. Hoyningen-Huene (= HH)

II   P. Hoyningen-Huene Formale Logik, Stuttgart 1998

 

D. Hume

I G. Deleuze David Hume, Frankfurt 1997 (Frankreich 1953,1988)

Externe Quellen: ZEiIT11/02 (Rawls)

 

E. Husserl

I  P. Prechtl  Husserl zur Einführung, Hamburg 1991 (Junius)

II "Husserl" aus Hauptwerke der Philosophie des 20. Jahrhunderts, Stuttgart  1992

 

W. James

I  R. Diaz‑Bone/Klaus Schubert  James zur Einführung  Hamburg 1996 (Junius)

 

B. Kanitscheider

I B. Kanitscheider Kosmologie  Stuttgart,1991

II B. Kanitscheider Im Inneren der Natur, Darmstadt, 1996

 

I. Kant

I G. Schulte  Kant Einführung (Campus) Frankfurt 1994

Externe Quellen. ZEIT 11/02 (L.Heidbrink über Rawls)

 

St. Kauffman

I  St. Kauffman Der Öltropfen im Wasser, München, Zürich, 1998

 

S. Kierkegaard

I K. P.Liessmann Kierkegaard zur Einführung  Hamburg 1993

 

S.A. Kripke

I S. A. Kripke Name und Notwendigkeit Frankfurt/M, 1981

III S. A. Kripke Outline of a theory of Truth  (1975)  aus

R.L. Martin (Hg) Recent Essays on Truth and the Liar Paradox  Clarendon Oxford/NY 1984

 

                

Th. Kuhn

I  Th. Kuhn  Die Struktur wissenschaftlicher Revolutionen, Frankfurt/M 1997

II J. Flor „Kuhn“ aus: A.Hügli/P. Lübcke (Hrsg) Philosophie im 20. Jahrhundert, Reinbek

 

J. Lacan

I G. Pagel  Lacan zur Einführung, Hamburg 1989

 

P. Lanz (= Hü)

I P. Lanz Vom Begriff des Geistes zur Neurophilosophie

  aus: A. Hügli/P. Lübcke (Hrsg) Philosophie im 20. Jahrhundert, Reinbek 1993

 

G.W. Leibniz (= Lei)

I H. H.  Holz  Leibniz  Frankfurt (Campus) 1992

Externe Quellen: Zeit 11/02 (Rawls)

 

D. Lewis (= LW)

I  D. Lewis Die Identität von Geist und Körper, Frankfurt,1989

II  D. Lewis Die Sprachen und die Sprache aus Meggle(Hrsg) Handlung Kommunikation, Bedeutung, Frankfurt/M 1979

III  D. Lewis Konventionen , Berlin 1975

                 Eine Argumentation für die Identitätstheorie  1966

                 Psychophysische und theoretische Gleichsetzungen  1972

                 Verrückter Schmerz und Marsmenschenschmerz  1980

                  Postskriptum: Wissen, wie es ist

                  Nachwort

                 Die Sprachen und die Sprache

Schw I  W.  Schwarz David Lewis   Bielefeld 2005

 

J. Locke (= Loc)

I W. Euchner Locke zur Einführung, Hamburg (Junius)  1996

II H.W. Arndt Locke, in Grundprobleme d. Philosophie    Göttingen 1997

 

 

Logik

I   A.  Menne  Folgerichtig Denken, Darmstadt 1988

II   P. Hoyningen-Huene Formale Logik, Stuttgart 1998

III  St. Read  Philosophie der Logik, Hamburg 1997

IV  W. C. Salmon Logik, Stuttgart 1983

V  R.M. Sainsbury  Paradoxien ,Stuttgart 2001

 

 

Lüdeking (= Lü)

Lü I K. Lüdeking Analytische Philosophie der Kunst, München 1998

 

 

N. Luhmann (= Lu)

GLU  C. Baraldi, G. Corsi. E. Esposito Glossar Luhmann, Frankfurt 1997  "Glu"

II W. Reese‑Schäfer Luhmann zur Einführung Junius

AU   Autobahnuniversität Luhmann: Vorlesungen Einführung in die Systemtheorie  Bielefeld 1991/92  ISBN 3-927809-29-2

 

J. Lyons (= Ly)

Ly  J. Lyons Einführung in die Linguistik Cambridge 1968, München 1995

 

 

Mathematik

Ti  I  Christian Thiel Philosophie und Mathematik, Darmstadt 1995, (WBG.)

Wa II  Friedrich Waismann Einführung in das mathematische Denken     Wien, 1947 Nachdruck  Darmstadt 1996,(WBG)

B III J. D. Barrow Warum die Welt mathematisch ist  Frankfurt/New York 1993, Campus

IV Kursbuch 8 Mathematik, März 1967

 

 

H. Maturana

I  H. Maturana Biologie der Realität, Frankfurt/M, (Suhrkamp) 2000

 

E. Mayr  (= E)

I   E. Mayr   Das ist Biologie, Heidelberg (Spektrum) 1998

 

J. McDowell (= McD)

I J. McDowell, Geist und Welt, Frankfurt, 2001

 

C. McGinn (= McG)

I  C. McGinn Die Grenzen vernünftigen Fragens, Stuttgart, 1996

II  C. McGinn Wie kommt der Geist in die Materie?, München 2001

 

A. Menne (= Me)

I   A. Menne  Folgerichtig Denken, Darmstadt 1988

 

J. St. Mill

II  J. St.Mill  Von Namen   aus Ursula Wolf (Hg) Eigennamen, Frankfurt 1993

 

A Moles (= Mo)

Mo I A. Moles Informationstheorie und ästhetische Wahrnehmung, Köln 1971

 

J. Monod (= Mon)

I   J. Monod   Zufall und Notwendigkeit  München1982

 

G. E. Moore

I A. Hügli/P. Lübcke (Hrsg.) Philosophie im 20. Jahrhundert Reinbek 1993

 

D. Münch (= Mü III ; im Index I)

III D. Münch (Hrsg.) Kognitionswissenschaft, Frankfurt, 1992

 

A. Naess

I   A. Naess Kann man Wissen erreichen? aus Skirbekk, Hrsg, "Wahrheitstheorien" Frankfurt, 1996

 

Th. Nagel ( = N)

I  Th. Nagel Das letzte Wort  Stuttgart  1999

II  Th. Nagel  Was bedeutet das alles? Stuttgart 1990  ( )

III Th. Nagel  Die Grenzen der Objektivität Stuttgart 1991

 

F. Nietzsche

I Wiebrecht Ries Nietzsche zur Einführung Hamburg 1990 (Junius)

 

R. Nozick

I  Stefansen Nozick "Der Minimalstaat" aus Hügli (Hrsg) Philosophie im 20. Jahrhundert, Reinbek 1993

II  Nozick Philosophical Explanations  Oxford  1981

 

M. Pauen (= Pau)

I  M. Pauen Grundprobleme der Philosophie des Geistes, Frankfurt 2001 (auch Sigle V)

 

Philosophie des Geistes

I  / II Th. Metzinger (Hrsg.) Bewusstsein, Paderborn, München1995 (= Metz I)

                 1. Peter Bieri Was macht Bewusstsein zu einem Rätsel? (= Metz I)

                 2. Martine Nida-Rümelin: Was Mary nicht wusste (= Metz I)

                 3. David Papineau Der antipathetische Fehlschluss (= Metz I)

                 4. Qualia  (= Metz I)

                 6. Güven Güzeldere Ist Bewusstsein die Wahrnehmung dessen, was im Geist vorgeht? (= Metz I)

                 7. David M. Rosenthal Mehrfache Entwürfe und unumstößliche Tatsachen (= Metz I)

                 8. Patricia Churchland Neurobiologie (= Metz I)

                 9. Ned Block Eine Verwirrung über eine Funktion des Bewusstseins (= Metz I)

                 10 Tyler Burge Zwei Arten von Bewusstsein (= Metz I)

                 11. Robert Kirk Wie ist Bewusstsein möglich? (= Metz I)

                 12. Daniel Dennett COG: Bewusstsein in Robotern (= Metz I)

                 13. Dieter Birnbacher Künstliches Bewusstsein (= Metz I)

III  D. Münch (Hrsg.) Kognitionswissenschaft (= Mü III)

IV  H. Tetens Geist, Gehirn, Maschine  Stuttgart 1994 (= Te I )

V M. Pauen  Grundprobleme der Philosophie des Geistes, Frankfurt (Fischer) 2001  (= Pau I )

 

St. Pinker  (= Pi)

 I  St. Pinker Wie das Denken im Kopf entsteht, München 1998

 

Platon

I  M. Suhr Platon, Frankfurt, 1992 (Campus)

 

K. Popper (= Po)

I  K. Popper Grundprobleme der Erkenntnislogik aus Wahrheitstheorien Hrsg Skirbekk Frankfurt /M 1996

II  J. R. Flor: "Popper" aus: Hügli (Hrsg) Philosophie im 20. Jahrhundert

III  W. Stegmüller: "Popper"  aus Hauptströmungen der Gegenwartsphilosophie Stuttgart 1989

 

W. Poundstone (= P)

I   W. Poundstone Im Labyrinth des Denkens, Reinbek 1995

 

H. Putnam (= PU)

I     H. Putnam  Von einem realistischen Standpunkt, Reinbek, 1993

III  H. Putnam    Für eine Erneuerung der Philosophie, Stuttgart,1997

IV  H. Putnam Geist und Maschine (In: Zimmerli (Hrsg.) Künstliche Intelligenz, Stuttgart 1994

V    H. Putnam Vernunft, Wahrheit und Geschichte, Frankfurt 1995

 

W. V. O. Quine  (= Q)

I   W. V. O. Quine  Wort und Gegenstand   Stuttgart 1980, Reclam    

II   W. V. O. Quine Theorien und Dinge   Frankfurt/M 1985, Suhrkamp     

III  W. V. O. Quine  Grundzüge der Logik  Frankfurt/M 1978                                    

IV  O. R. Scholz  "Quine" aus. Hügli (Hrsg) Philosophie im 20. Jahrh., Reinbek 1993

 V W. V. O. Quine  Die Wurzeln der Referenz, Frankfurt, 1989

VI   W. V. O. Quine Unterwegs zur Wahrheit   Paderborn  1995

VII W. V. O. Quine From a logical point of view, Cambridge, Mass. 1953

VIII W. V. O. Quine Bezeichnung und Referenz (Aus Sinnreich : Philosophie .der idealen Sprache)

IX  W. V. O. Quine Mengenlehre und ihre Logik, Vieweg, 1967

X  W. V. O. Quine  Philosophie der Logik  Bamberg 2005

XI  H. Lauener Quine  München 1982

XII  W. V. O. Quine Ontologische Relativität Frankfurt (Klostermann) 2003

 

St. Read (= Re)

I  St. Read Philosophie der Logik, Hamburg 1997

 

N. Rescher (= Resch)

I   N. Rescher Die Kriterien der Wahrheit (1973) in Skirbekk, Hrsg. Wahrheitstheorien Frankfurt,1996

 

R. Rorty  (= Ro)

I    R. Rorty Der Spiegel der Natur  Frankfurt/M 1997                

II    R. Rorty  Philosophie & die Zukunft, Frankfurt 2000                     

III   R. Rorty  Kontingenz, Ironie und Solidarität, Frankfurt,1992 

IV  R. Rorty  Eine Kultur ohne Zentrum, Stuttgart (Reclam)1993

V   R. Rorty  Solidarität oder Objektivität? Stuttgart 1998  

VI  R. Rorty  Wahrheit und Fortschritt, Frankfurt 2000  

 

F. Rötzer

I   F. Rötzer (Hrsg.) "Kunst machen?", München 1991

 

R. Rucker (= Ru)

I   R. Rucker Der Ozean der Wahrheit, Frankfurt/M, 1988

 

B. Russell  (= R)

I  B. Russell/Whitehead Principia Mathematica Frankfurt/M 1994

II  B. Russell: Das ABC der Relativitätstheorie Frankfurt/M 1989, Fischer

III J. R. Flor: "Russell"  aus: Hügli (Hrsg). Philosophie im 20. Jahrhundert, Reinbek 1993

IV  B. Russell:  Probleme der Philosophie  Frankfurt 1967

V  "Russell" aus W. Stegmüller: Hauptströmungen der Gegenwartphilosophie  Stuttgart 1989

VI  B. Russell: aus "Die Philosophie des logischen Atomismus" aus Wolf (Hg) Eigennamen, Frankfurt, 1993

VII  B. Russell  Wahrheit und Falschheit  aus Skirbekk, Wahrheitstheorien, Frankfurt 1996

 

G. Ryle (= Ry)

I   G. Ryle Der Begriff des Geistes, Stuttgart, Reclam

II J. Flor  Ryle aus: Hügli (Hrsg) Philosophie im 20. Jahrhundert

 

W.C. Salmon (= Sal)

IV  W. C. Salmon Logik, Stuttgart 1983

 

R.M. Sainsbury (=Sai)

V    R.M. Sainsbury  Paradoxien ,Stuttgart 2001

 

J.P. Sartre

I  M. Suhr, Sartre zur Einführung, Hamburg 1987 (Junius, SOAK) 

 

F. de Saussure (= Sau)

I P. Prechtl  Saussure zur Einführung  Hamburg 1994 (Junius)

 

A. Schopenhauer (= Schop)

I W. Korfmacher Schopenhauer zur Einführung, Hamburg 1994

 

W. Schwarz ( = Schw)

Schw I Wolfgang Schwarz David Lewis  Bielefeld 2005

 

G. Schurz (= Schu)

I  G. Schurz  Einführung in die Wissenschaftstheorie   Darmstadt 2006 (WBG)

 

J. R. Searle (= S)

I    J. R. Searle   Die Wiederentdeckung des Geistes  Frankfurt/M (Suhrkamp) 1996       

II   J. R. Searle   Intentionalität   Frankfurt/M 1996                                                                  

III   J. R. Searle   Die Konstruktion der gesellschaftlichen Wirklichkeit   Reinbek 1997    

IV  J. Husted  "Searle"   aus: Hügli (Hrsg) Philosophie im 20. Jahrhundert, Reinbek, 1993   

V   J. R. Searle   Sprechakte  Frankfurt/M 1983                                                         

VI  J. R. Searle   Ausdruck und Bedeutung    Frankfurt/M 1982                                                      

VII J. R. Searle    Behauptungen und Abweichungen aus Grewendorf/Meggle(Hg) Linguistik und   Philosophie, Frankfurt 1975

VIII J. R. Searle   Chomskys Revolution in der Linguistik, aus Grewendorf/Meggle Linguistik und Philosophie Frankfurt  1974, 1995 

 

M. Seel (= Se)

I M. Seel Vom Handwerk der Philosophie, München, 2001 

II  M. Seel Ästhetik des Erscheinens, München 2000

III  M. Seel Vom Handwerk der Philosophie, München 2001

 

W. Sellars  (= Sell)

I P. Sellars Der Empirismus und die Philosophie des Geistes

II  P. Sellars Wahrheit und "Korrespondenz" in Skirbekk, Wahrheitstheorien, Frankfurt, 1977

 

P. Simons ( = Si)

I P. Simons Parts  Oxford New York 1987

 

G. Skirbekk (= Wah)

Wah I  Wahrheitstheorien Hrsg. Gunnar Skirbekk ,Frankfurt 1977

 

A. Sokal (= Sok)

Sok Alan Sokal Eleganter Unsinn, München 1999

 

G. Spencer-Brown ( = SpBr)

SpBr  George Spencer‑Brown  Laws of Form  Lübeck London 1997

 

M. Spies (= Spi)

Spi Marcus Spies Unsicheres Wissen (Fuzzy‑Logic), Heidelberg 1993

 

R. Stalnaker (= Sta)

I R. Stalnaker Ways a World may be Clarendon Press Oxford New York  2003

II R. Stalnaker Context and Content Oxford University Press  NY 1999

 

A. von Stechow (= Stech)

Stech I Arnim von Stechow Schritte zur Satzsemantik www.sfs.uni‑tuebingen.de/~astechow/Aufsaetze/Schritte.pdf (26.06.2006)

 

W. Stegmüller (= Stegm)

I ‑ IV  W. Stegmüller Hauptströmungen der Gegenwartsphilosophie   Stuttgart 1989

IV              Kripkes Wittgenstein,

                 Mackies Ethik

 

W. Stierle

I  Ästhetische Rationalität, München (Fink) 1996

 

P. F. Strawson (= Stra)

I   Strawson   Einzelding und Logisches Subjekt, Stuttgart 1972

II  Strawson   Wahrheit,  aus Skirbekk (Hrsg) Wahrheitstheorien, Frankfurt, 1996

III  Schulte    Strawson  aus Hügli, Hrsg. Philosophie im 20. Jahrhundert

IV Strawson  Analyse und Metaphysik, München 1994

V  Strawson  Die Grenzen des Sinns Frankfurt 1981

VI Strawson Grammatik und Philosophie aus Grewendorf/Meggle: Linguistik und Philosophie Frankfurt (Athenäum) 1974,1995

VII Strawson  Über Referenz  aus Ursula Wolf (Hg) Eigennamen, Frankfurt, 1993

 

B.  Stroud (= Strd)

I Barry Stroud The Significance of philosophical scepticism Oxford 1984

 

R. Stuhlmann-Laeisz (= SL)

I Stuhlmann-Laeisz  Philosophische Logik  Paderborn 2002

 

A. Tarski

I   (I 140 – I  188) A. Tarski  Die semantische Konzeption der Wahrheit und die Grundlagen der Semantik  (1944) in Skirbekk  (Hg) Frankfurt/M 1996

I  (I  396ff)  A. Tarski Grundlegung der wissenschaftlichen Semantik (Gekürzter Nachdruck)  in K.Berka/L. Kreiser Logik‑Texte  Berlin 1983

I ( I  445ff)  A. Tarski Der Wahrheitsbegriff in den formalisierten Sprachen  in K. Berka/L. Kreiser Logik‑Texte  Berlin 1983

 

H. Tetens (= Te) (W= Wittgenstein)

W IV  Holm Tetens Geist, Gehirn, Maschine  Stuttgart 1994

 

Chr. Thiel (= Ti)

Ti  I  Christian Thiel Philosophie und Mathematik, Darmstadt 1995, (WBG.)

 

K.S. Thorne

V Kip S. Thorne   Gekrümmter Raum und verbogene Zeit, München 1994 

 

E. Tugendhat (= Tu)

I Tugendhat Vorlesungen zur Einführung in die analytische Sprachphilosophie, Frankfurt 1976

II  Tugendhat Philosophische Ausätze  Frankfurt 1992

III Tugendhat Tarskis semantische Definition der Wahrheit  1960 in: Skirbekk (Hg) Wahrheitstheorien, Frankfurt 1977

 

H. Vaihinger (= Vai, im Index = V)

I Hans Vaihinger Die Philosophie des Als Ob, Leipzig 1924 (Zweite Ausgabe) (auch = Vai)

 

Z. Vendler (in Cho = Meg II)

I Die Linguistik und das a priori aus Grewendorf/Meggle Linguistik und Philosophie, Frankfurt (Athenäum) 1974/1995

 

G. Vollmer (= Vo )

I Gerhard Vollmer Was können wir wissen? Bd I Die Natur der Erkenntnis ‑Beiträge zur evolutionären Erkenntnisth, Stuttgart 1988        

II Was können wir wissen?  Bd II Die Erkenntnis der Natur  ‑  Beiträge zur  modernen Naturphilosophie, Stuttgart 1988

 

F. Waismann (= Wa)

I  F. Waismann Einführung in das mathematische Denken, Darmstadt 1996

II F. Waismann Logik, Sprache,  Philosophie, Stuttgart 1976

 

H. Wessel (= We)

I  H. Wessel Logik  Berlin 1999

 

L. Wittgenstein (= W)

I   Hintikka/Hintikka Untersuchungen zu Wittgenstein, Frankfurt/M, 1996

II  Wittgenstein Vorlesungen 1930‑35, Frankfurt

III Flor Der frühe Wittgenstein

   Flor  Der späte Wittgenstein  in: Hügli (Hrsg.) Philosophie im 20. Jahrhundert, Reinbek  Der junge Wittgenstein ‑   Der späte Wittgenstein)

VI  Joachim Schulte  Wittgenstein Stuttgart 2001

V Chris Bezzel Wittgenstein zur Einführung Hamburg, 1988

 

U. Wolf  (= Wol)

I   U. Wolf (Hg) Eigennamen, Frankfurt  1993

                 Arthur W. Burks     Eine Theorie der Eigennamen

                 Sidney Zink             Die Bedeutung von Eigennamen 

                 Keith S. Donnellan    Referenz und Kennzeichnungen 

                 Tyler Burge              Referenz und Eigennamen

                 Donnellan                Reden über nichts 

                 Gareth Evans          Die Kausale Theorie der Namen

                 Armin Burkhardt     Über die seltsame Notwendigkeit von Freges "Sinn" ‑ Begriff für Kripkes Theorie der Eigennamen

 

Richard Wollheim

Objekte der Kunst Frankfurt 1982

 

Cr. Wright ( = Wri)

I  Cr. Wright    Wahrheit und Objektivität, Frankfurt 2001

 

J. Zimmerli  (= Zi)

I  J .Zimmerli (Hrsg) Künstliche Intelligenz, Stuttgart 1994

 

Th. Zoglauer ( = Zo)

I Zoglauer, Einführung in die formale Logik für Philosophen, Göttingen, 2002

 

 

Sigle: in Register: "Wol I" ‑ in Kripke: die Originalbeiträge unter Kripke "II"

Eigennamen  Frankfurt

 

 

 

Abkürzungen im Text  A

 

 

I    römische Zahl: Sigle‚Titel – arabische Zahl: Seite 

Vs  „versus“, contra, Autor1VsAutor2 bei Nachgeborenen: Argumente aus dem entsprechenden Lager!

Bsp Beispiel

AG  angenommen (stark kontraintuitive Bsp)

Def Definition oder häufiger: Erläuterung

Terminologie hier werden Begriffe erklärt, die nur von dem betreffenden Autor in dieser Form benutzt werden.

These Ausgangspunkt eines Autors, zumindest für den vorliegenden Text

DF Denkform, Argumentform, die mit anderem Inhalt andernorts auftauchen kann

DB Denkbild, metaphorisch, fragwürdig

Ü  sprachliche Besonderheit, möglicherweise Übersetzungsfehler

(s) Eigenkommentar des Einsenders

Z  Zitat, nur bei wörtlicher Wiedergabe einer bemerkenswerten Äußerung

„+“  a.a.O. stehen weitere Einzelheiten, evtl. umständliche Formeln oder Aufzählungen

 

 

 

Allgemeine Abkürzungen   im Text B

 

AA       Auswahlaxiom

AF        Aussagenfunktion

AG       angenommen

ÄK       Äquivalenzklasse

äqui     äquivalent

ÄR       Äquivalenzrelation

AL        Aussagenlogik

a.l.        aussgenlogisch

allg Term   allgemeiner Term

AR       Allgemeine Relativitätstheorie

AR       Antirealismus

Arm     Armstrong

AS/MS Abendstern/Morgenstern

Ax        Axiom 

AU       Autobahnuniversität 

Auss    Aussage

Aüss    Äußerung

AZ       Anführungszeichen  

 

BA       Boolesche Algebra

BE       Beste Erklärung

BF       Barcan-Formel

bik       Bikonditional, Bisubjunktion, <>; im Unterschied zur Äquivalenz, „äqui“ Dreistrich

BS       Bezugssystem

Bsp      Beispiel

BT        Bedeutungstheorie

 

Cart      Cartwright

Cast     Castaneda

CBF      Konverse der Barcan-Formel

cet.par. ceteris paribus

CGB     Camp/Grover/Belnap  (1975, Prosatztheorie) steht hier nur für die These, die Veröffentlichung ist nicht zitiert

Chom   Chomsky

 

 

Dav       Davidson

Def        Definition

Defl       Deflationismus

Den       Dennett

Dum      Dummett

 

ED        Einzelding, particular

EE         Evolutionäre Erkenntnistheorie

EG        existentielle Generalisierung

Eig        Eigenschaft

EMD      Evans/McDowell Bedeutungstheorien

Ev         Evans

ExAx     Extensionalitätsaxiom

Extens   Extension

Exp        Experiment

 

FÄ          Fälschung

 

GA       Gesetzesaussage

gdw      genau dann, wenn, dann und nur dann, <>

GE       Gedankenexperiment

GF        Gleichförmigkeit

GIT       Gehirne im Tank

gP        geordnetes Paar

GS       Gegenstück (Lewis

GT       Gegenstück-Theorie (Lewis)

GW      Gegebenheitsweise 

 

HC        Hughes/Cresswell

HG        Humesche Gleichförmigkeit (Armstrong)

hinr       hinreichend

 

Intens   Intension

 

Kalk      Kalkül

Kat       Kategorie

KAT      Klassenabstraktion (Quine)

Kennz   Kennzeichnung

Kl         Klasse/Klassen

KöKa   Bsp „Der gegenwärtige König von Frankreich“

KoKo    kontrafaktischer Konditional

Kri        Kripke

KS        Koordinatensystem

 

Lew      Lewis

LSP     Leib-Seele-Problem

 

MA       Mittelalter

McD     McDowell

McG     McGinn

ML       Modallogik, manchmal Mengenlehre

MiSt     Mikrostruktur

MO       Modaloperator

MöWe   mögliche Welt

MS       Metasprache,  dagegen: AS/MS: Abendstern/Morgenstern)

 

NG       Naturgesetz

 

Op       Operator

OS       Objektsprache

oWW    weder wahr noch falsch, ohne Wahrheitswert

 

PdG      Philosophie des Geistes

PdN      Prinzip der Nachsicht

PL         Prädikatenlogik

PL+=    Prädikatenlogik mit Identität

p.l.        prädikatenlogisch

PM       Principia Mathematica

prop Einst  propositionale Einstellungen

Put       Putnam

 

QDT     Quine-Duhem-These

Qui       Quine

QWI      Querwelteinidentität

 

raa       reductio ad absurdum

Ref       Referenz

Reg      Region

RegTh   Regularitätstheorie (Armstrong)

Rel       Relation

RelTh   Relationstheorie (Satz oder Proposition als Objekt von Glaubenseinstellungen)

Rep      Repräsentation rep: repräsentieren

Ri         Richtung

RI         Radikale Interpretation

Ro        Rolle

RT        Relativitätstheorie

Russ    Russell

RW      Reichweite

RZ        Raumzeit

 

SaD    Satz vom ausgeschlossenen Dritten

Sem    Semantik

sing Term   singulärer Terminus

SpAT    Sprechakttheorie

SpBr    Spencer Brown

Spr       Sprache

SpSp    Sprachspiel

SR       Spezielle Relativitätstheorie

Stra      Strawson

strimp   strikte Implikation

Su        Summe

SV        Sachverhalt

SvW     Satz vom Widerspruch      

 

Tats     Tatsache

Th        Theorie, These

TM        Turingmaschine

TT        Typentheorie

 

TT        theoretische Termini

 

ue         unendlich

UeAx    Unendlichkeitsaxiom

UG        universelle Generalisierung

UI          universelle Instantiierung

Univ      Universum, Universalien

US        universelle Spezialisierung

 

Var       Variable

Vok      Vokabular

Vs        versus, mit Namen zusammengeschrieben: AutorVsAutor

 

WaFu, wafu     Wahrheitsfunktionen, wahrheitsfunktional

wako      wahrheitskonditional

WB        Wahrheitsbedingungen

W-Def    Wahrheitsdefinition

w/f         wahr/falsch

wff        wohlgeformte Formel

WIMF   „Wie-ists-möglich“-Fragen

WiWe    wirkliche Welt, aktuale Welt

W-Präd  Wahrheitsprädikat

Wri        Wright

Wschk   Wahrscheinlichkeit

wsf        widerspruchsfrei

WT        Wahrheitstheorie

WW       Wahrheitswert

WW       Physik: Wechselwirkung

 

Z         Zitat

ZE       Zwillingserde

ZF       Zermelo/Fraenkel

ZT        Zitattilgung

 

 

- - -

 

 

 

 

Logische Symbole

 

Aus Quine, Mengenlehre und ihre Logik, Wiesbaden 1967

 

(Seitenzahlen, geben die Stelle an, an denen die Abkürzung das erste Mal erscheint)

Schreibweise:

Q IX 

VIII(L(Lambda) leere Kl.(hier: "L"),

13 (Sternchen),

14 (Boolesche Algebra < Inklusion,< echte Inkl.,U Vereinig., U vereinigt, D Durchschn., _a Komplement),

"0" hier: Nullklasse)

a: hier meist einfach a: irgendeine Menge, Abkürzung f. KAT {x: Fx}

"~a" etwas ist kein a. x ist nicht Element von a.

"n": eigentlich umgekehrtes u. Mengendurchschnitt, geschnitten

"U": eigentlich kleines u: nicht "und" sondern Mengenvereinigung.

"e": durchgestrichenes e: "ist nicht Element von".

<:  < durchgestrichen:  nicht Teilmenge von

<: Teilmenge, eigentlich rechts offenes Hufeisen, "c").

15 ("J" "J" (Theta) Allklasse, auch "_L" Komplement d. Leerklasse)

17 (^R: konverse (umgekehrte) Rel. R: Verknüpf./R ' ' a: Bild/ "I" Identität als Rel),

"Q l R" steht für  " {xy: Ey(xQy  u  yRz)}"  (Verknüpfung)

27 ("e²": x e z e y)

34 (^uFu: Kl. d. nur Mengen, k. Objekte enth./ uFu: Kl. aller Kl. m. u, auch Individ)

34 (V: entspricht  û(u = u) und nicht  {u:u  = u}. : Allklasse, aber neu: v. Mengen, n. belieb. Obj./x e J: eine Menge existiert/a e J ein Obj. exist.(vielleicht Menge)

39 (e²/"Ua" = "{x:x e² a}")

42 ("i" eindeut. Kennz.(ungl. "Iota"!)

43 (<> geordn. Paar "gP")

46 ('J: Kl. aller gP (hochgestellter Punkt)/Relationenteil 'a einer Kl.a (Apostroph)

47 (dito: fällt weg, w. Klassenabstraktionsterm KAT)

47 (Pfeil hoch, Spitze nur li,re: beschränkt auf li/re Bereich)

50 ("a'b":"jy(<y,b> e a)" :"a von b", "jx" = "das x mit...")

58 (~ gleichmächtig)

58 (zIz iterierte Potenz, "I" "angewendet", z‑mal)

59 (Seq: Folge)

61 ("i" Nachf.(Zermelo, Quine dito)/statt "S"(Frege, v.Neumann)

61 ({x} Nachf.v.x)

63 ("{,,,y}" Kl. aller Z. bis y  einschl.= Mächtigkeit)n. schematisch wie "...y")

74 (*w: Vorgängerrel),

78 ("i ' ' [{L}" Nachf./Zermelo, entspricht "S ' ' {0}")

88 ("x; y" hier gP um damit auf die zugehörige Zahl x + (x + y)² Bezug zu nehmen

92 ("R" reelle Z: "{Uz: z < Q}{D_{{L}}/L}")

96 (< erstmals echte Inklusion, wie "c", Hufeisen)

96 (Verknüpf., Summe, Produkt f. reelle Z.)

97 ("c" f.neg/pos reelle Z. statt "<" f. Z .o. Vorzeich.)

99 (' ' x: Relation?),

101 ("Fnd a" fundiert):""x(x < ^a' ' x > x = L)",(muß kleinstes El. hab.),

101 ("<<" Kleiner‑Rel f. Klassen (eigentl. gebogen),

106 ("x li a": x ist unter Ord.a ein erstes El.),

110 (w* Ord‑Typ d. konversen Bereichs (neg Z.))

110 (h:Kl‑Rel f. rat. Z./l:_Kl‑Rel f. reelle Z.)

110 (S: Nachf. f. OZ (Korrelation d. endl. OZ zu d.nat.Z.)

111 ("°S": "lx(x U {x})"  ‑  "C": "lx(°S Ix ' L) °S: Nachfolgerrel. f. OZ

113 ("E" Elementbezieh.)

114 (NO: Kl. d. OZ)

115 (seqw z: Abschn. einer Ordn. z  unmittelb. vor geord. Ding w),

128 (A g: statt a i. Wertverlaufsrekursion "g": Folgefunktion/A g Gesamtfolge, angehäuft "A": "Adaptor")

129 !((z' ' J: Kl.aller linken Z in z (Paare))

134 (a: Aufzählung)

135 (F Folgenfunktion (erzeugt Aufzähl.))

147 (c1,c2),

151 (=z,=w  undef. KZ)

153 ("e" (e) klein Epsilon: w hoch w hoch w..(Omega))

153 ("<0" Kleiner‑Rel  f. OZ)

155 (=x ist die Kardinalzahl von x)

156 ("NK" Neumannsche KZ)

157 ("Sln" Selektion, Repräsentantensystem, (>AA)

157 ("Aw" Auswahl)

160 ("Slr" Selektor, Auswahlfunkt)

162 (g Selektor‑Prädikat)

164 (Ybz erzeug. Funkt f. Numerierungstheorem)

179 (PM: Ausrufezeichen: AF nächsthöhere nach Argument)

182 ( F ,Y, Phi, Psi: Attribut)

180 (Attribution)

187 (Unterschiede Russ/Hilbert)

195 (Typ x: x ist vom Typ n (universelle Var.)

205 (S' ' y: NF),

220 ("x e {x}":"x = x"),221(UJ: nur Mengen, Vereinigung aller Mengen, Kl.aller M)

 

Abkürzungen: OZ: Ordinalzahl ‑ KZ: Kardinalzahl ‑ KA: Klassenabstraktion, KA‑Term: KAT, QL: Quantorenlogik ‑ a.l. aussagenlogisch ‑ AF Aussagenfunktion (Russell) ‑ ZF Zermelo-Fraenkel ‑ TT :Typentheorie ‑

 

 

Schreibweise:

 

^x: Klasse der x.

 

 

 

 

 

Spezielle Schreibweisen (aus dem Register/Index)

 

 

Schreibweise  Q III 177 (Kreisziffern)  Fey I 254,314(Bsp algebraischer Kosinus von t: e it = cos t + sin t)  ‑‑ Gea I 142 (geflaggt,Quine,Logik),200(Quine:o.Variabl.:"(0)0=0"),206(Quine [obere Ecken]:Quasizitat),238/9(l‑:"was immer whar ist von"),260(<  Lukasiewicz:Zurückweisung)  ‑‑ Fra I 359/60(Bindestriche:weiß‑von‑sich:d.h. hier kein leeres Subjekt)  ‑‑  Pri I 80(Lukasiewiscz N:nicht,K:Konj.A:entweder oder(ausschließend?),E:Äqui),165(Ontologie:a,b,Mengelehre:a,b/ Funktoren:"jedes ist ein" (n.Präd/Ontologie: alles mit "e")  ‑‑ LW IV 30(gr.grich.Bust.Sätze, kl.:Variablen,fb:Satz gilt i.Welt b),37/i‑Relation),87(II ti II w diagonalisiereter Sinn: je auf MöWe bezog.),91(O*‑Term:entw.O‑Term od.T*‑Term:akzept.alte Th.),192(c/c1..cn abgeleitete Kategorien(Grammatik)),211(x^:"ist ein x, so daß";Abstraktrionsoperator,Lambdaoperator)  ‑‑  LW V 3(A wä>wä C:w.A gewes.wä,d.wä.C gew.:Quadrat m.Pfeil),8(raute m.Pfeil:w.A gew.wäre,d.könnte C gew.sei))10(j<= i k: k. ist näher an i als an j),10(A<B:"es ist weiger entfernt v.d.Wirklk.daß A als daß A)("mehr mögl"),14(schw.quadr. Varialbe +üb.alle sphär.Modalitäten/schw.Raute: ~schw.Q.~),16(fSschreibschrift):,f MöWe, Sterbekreuz Operator:w.B wahr i.eig.MöWe i, dann auch i.and.MöWe j),17([Qudr.Pfeil]C einstellt Operator),22(Peob(C l A) Wschk v. C unt.Beding.A(bedingte Wschk)),23(Qudr.m.Doppelpfeil: automat.falsch statt wahr, w.Antezd.unmögl.),24(Qudr.,Raute m.Punkt,:innere Modalität:beide äqui zu a selbst),25(vergebl.Möglk: A < B (unterer strich doppelt) = ~(B<A):"n.unwahrscheinlicher"), 26([[A]] schreibt Satz a die Teilmenge d.MöWe zu, wo A gilt),133f(‑>Wschk‑Konditional),136/7 (k.universeller WK!),145(Stalnaker ">"),148(WA,PA),164(Hufeisen hier: mat.Kond.)  ‑‑  Q IX  VIII(L(Lambda) leere Kl.(hier:"L"),13(Sternchen),14(Boolesche Algebra < Inklusion,< echte Inkl.,U Vereinig.,U vereinigt,D Durchschn.,_a Komplement),14("0" hier:Nullklasse)15("J" "J" (Theta) Allklasse,auch "_L"),17(^R:konverse(umgekehrte) Rel.R:Verknüf./R ' ' a:Beild/"I" Identität als rel),27("e²":x e z e y),34(^uFu:Kl.d.nur Mengen, k.Objekte enth./uFu:Kl.aller Kl.m.u,auch Individ),34(V:Allklasse, aber neu:v.Mengen,n.belieb.Obj./x e J:eine Menge existiert/a e Jein Obj.exist.(vielleicht Menge),39(e²/"Ua" = "{x:x e² a}"),42("i" eindeut.Kennz.(ungl. "Iota"!),43(<> geordn.Paar),46('J:Kl.aller gP(hoher Punkt),/Relationenteil 'a einer Kl.a(Apostroph),47(dito:fällt wg,w.Klassenabstraktionsterm KAT),47(Pfeil hoch, Spitze nur li,re:Beschränkt auf li/re Bereich),50("a'b":"jy(y,b> e a)" :"a von b"),58(~ gleichmächtig),58(zIz iterierte Potenz, "I" "angewendet"),59(Seq:Folge),61("i"Nachf.(Zermelo,Q.dito)/statt "S"(Frege)),61({x}Nachf.v.x!), 63("{,,,y}Kl.aller Z.bis y einschließl.= Mächtigkeit)n.schematisch wie "...y"),74(*w:Vorgängerrel), 78("i ' ' [{L}",Nachf.,entspricht ""S ' ' {0}"),88("x;y"gP(hier)),92("R"reelle Z: "{Uz: z < Q}{D_{{L}}/L}"), 96(< erstmals echte Inklus.wie "c",Hufeisen),96(Verknüpf.Summe,Produkt f.reelle Z.),97("c" f.neg/pos reelle Z.statt "<"f. Z.o.Vorzeich.),99(' ' x:Relation?),101("Fnd a":fundiert):""x(x < ^a' ' x > x = L)"(muß kleinstes El.hab.),101("<<" Kleiner‑Rel f.Klassen (eigentl.gebogen),106("x li a":x ist unter Ord.a ein erstes El.),110(w* Ord‑Typ d.konversen Bereichs(neg Z.)) 110(h:Kl‑Rel f.rat.Z./l:_Kl‑Rel f. reelle Z.),110(S:Nachf.f.OZ(Korrelation d.endl.OZ z.d.nat.Z.),113("E" Elementbezieh.), 114(NO:Kl.d.OZ),115(seqwz: Abschn. einer Ordn.z.unmittelb.vor geord.Ding w),128(A g:statt a i.Wertverlaufsrekursion "g":Folgefunktion/A g Gesamtfolge, agnehäuft "A":Adaptor),129!((z' ' J:Kl.aller linken Z in z(Paare)),134(a:Aufzählung),135(F Folgenfunktion (erzeugt Aufzähl.)), 147(c1,c2),151(=z,=w undef.KZ),153("e" , (e)klein Epsilon: w hoch w hoch w..(Omega)),153("<0" Kleiner‑Rel f.OZ),156("NK"Neumannsche KZ),157("Sln"Selektion, Repräsentantensystem, (AA),157("Aw"Auswahl),160("Slr" Selektor,Auswahlfunkt),162(g Selektor‑ prädikat),1^64(Ybz erzeug.Funkt f.Numerierungstheorem),179(PM:Ausrufezeichen:AF nächsthöhere nach Argument), 182(Phi,Psi:Attribut),180(Attribution),187(Unterschiede Russ/Hilbert),195(Typx: x ist vom Typ n(universelle Var.),205(S' ' y:NF),220("x e {x}":"x = x"),221(UJ:nur Mengen, Vereinigung aller Mengen, Kl.aller M)  ‑‑  EMD 106(S, EA?),275(IyI:KZ v.y),296/7(Wigg:Sprache L':"Bewegung", unterstrichen=wff/*/~/s*(t)Interpretat.d.Terms ungl.f.d.Sequenz s),313("‑"(Bogen,Ligatur): Verkettungsfunktor),316(' Hashmark),323(spitze Kl. m.1.El<x3>),329 (sQ(substitutionale Quant)(Px1):Allquant./(Sx1):Existqu.),369("R"/Kri:2‑stell Präd.m.Erf‑Rel als Extension), 371(E!x)f(x) Abkürz.v.(Ey)(x)(y = x bik f(y))("nur eins"?)/[]() Bereichs‑Operator(scope op.)),325ff(sQ:substitutionale (subst)Quant./rQ:referentielle,(ref)Quant.) 384(R(a) Wahrheit f.Atopmsätze(<)),395/"Den(x,a")x wird bezeichn.v.a"),396(q(x,a): KriVsWallace: k.Denotationsrelation,k.Präd)  ‑‑  AR III 163(Quadrat(Notwkt):Bsp Q(N)(...): notw.Rel i.jeder MöWe(Notw.v.Notw)  ‑‑  Mei I 69(<>:Input,//Output),70(SV Sachverh.),104(EXEMP: prädikative Exemplifikation,EXEMT Typenex.),153(l f.Universalien,d f.Begriffs),157(s: Singularisierungs‑operator),158(A*(x)Einzigkeitspräd.:"x ist einziges A"(fürkein von x versch.y,gilt A(y)/F* "Einzigung":"einziger Mensch zu sein")  ‑‑  Fie I 99("P"substitutionaler Quantor/F:macht ueAxiome notierb.),105(hoe eckige Klammern: Notw:[Quadrat B]:"ist wahr, wenn es den Beweis gibt",(so weit die Induktion geht)),122(S1),132("P0" platonist.Gravitationsth.1.St./"P":2.St.), 132(N0:Teil‑Th v N),210("P" subst.Quantor),208(B* = B mit zusätzl "u" i.d.Mitte zw.x,y)~("Me" (Raute): Operator i.Bezug auf Entit.)  ‑‑ HC I  (L: = N(Notwgkt)) 27(I‑beweisb,"These", "‑>"ableitb),24("="strikte Äqui(notw.Ä)),51("B":Syst.v.Brouwer),118(Existquant:gespiegelt E/normales: Exist‑Präd), 119(Bewertung (<)), 118("a"(fett)Variable f.belieb.IndivVar(x,y usw),125(BF:Barcan‑Formel), 162("Pr":Prinzi.dPrädikation),167(I1,I2:Axiome f.Identit/LN2:f.Nicht‑Id(beide notw)),171(KI: kontingente Identit),178(E1)fx"genau 1 Ding ist f"/Russell: E!),307f(Übersicht üb.versch.Autoren d.Logik)  ‑‑  Brk 34(Perice: Implikation: liegender "Angelhaken", nur Ansatz des Hakens), 33(Peirce: Querstrich oben:Negation),40Qustr.hier. statt klammer), 47(geschweifte Kl in Boolescher Alg),59(Polnische Notation/Berka:"D":Shefferstrich),93(Frege:Verneinungsstrich), 82ff(Begriffsschrift),100(BS:Allgemeinheit: Höhlung im Inhaltsstrich (waagerecht)),195(I‑/Kolmogoroff: Allghtszeich"d.Aufgabe ist schon gelöst"),200("Bp":"p ist beweisbar"),261(~/Hilbert:äqui/"&"/hilbert: "und"(anders als Russells Punkt),268((s)/Lorenzen:u, v, mit Punt darüber: "Hauptzeichen", ersetzt Klamm:Bsp a v B u' C = (A v B u C),271(Lor:v,u ," m.oberem Querstrich: Metaspr),278 (Schönfinkel:fxyz:Abkürz.f (((fx)y)z)..),282f(Schönfinkel:Ix:zunächst anstelle d.Unverträglkt), 284((fx Ix gx) Ig (fx Ix gx)),296(Gentzen:Subst A(bc) neu:c für b), 306(Gödel kl.deutsche Buchst),354(x * y:Aneinanderfügen v.endl Reihen)), 364(F:Funktion/j: Funkt‑Variable),461("I"/Tarski:Inklusion/ Variable: nur xl,xll,xlll usw.)462(tarski:"<" enthalten in), 463(umgestürztes (nicht fettes) U: Aneinanderfügen/(s) hier: ^/Bsp x ^ y), 467(x = Lky:"x ist Generalisierung d. Ausdr.y f. Variable vk), 503("A":log.ASumme, Alternation)/xlll:Variable k‑ter Gestalt,1.Ordn./symbolisch: vk),Xlll: Var.k‑ter Gestalt 2.Ordn:Vk (Logik.d.Relationen), 504("Xyz":Indiv.y steht i.Rel X zu x/symbol:"rk,l,m": = Vk ^ vl) ^ ym"("^":Aneinanderfügen)>Rolle d. Inklusionen)/L ' ' Generalisierung v. Var. 2. Ordn.) 508(a* Identitätsrel (d.Indiv a) m.s.selbst)  ‑‑  MateI 68(ja/b: Einstzergebn(a:Var,b:Individuensymbol, j:Formel),a überall durch b ersetzt), 172(II‑j ist eine Forme,w.jede Generalisierte v.ihr ein log.Theorem ist/II‑:= Theorem?),173(Verallg.v.(x(y)Fxy: II‑ LaLa'j), 198([g]:"Klasse,i.der g liegt"),210(I‑j:es gibt einen Beweis v j aus d.Annahmen v G(erweiterter Beweis,m.mod.pon,od.def‑gemäß.Austausch), 244(t:(oberer Querstrichj: Inverse von/(s) hier: unterstrichen))   ‑‑  Si I  1(CEM:klass.extens.Mereol),10(<<:"cppt" echter Teil),11(< unechter, "pt"),12(o überlapp),13(x I y  getrennt),o.Überl),Produkt,Durchschn,x . y),15(x+y Summe(Vereinig)/x‑y Diff),15(s allg.Summe (Fusion),(ue)),p allg Prod.(ue),Operator(Nukleus)),16(KomplementU‑x = ‑x),16( "At"=Atom ("At x"),20(S "Partikulator, P Allqu.(Lesniewski),21("e"Ontol:sing.Inklusion/€:ML),23(Indiv‑)Kalk:pt,ppt,Mereol:<,<<(Funktoren)(od umgek?),26(System S:o.Mengen,SAo),32(t),32(+' kleinste oblSchranke, koS),65(Einzigkt:durch Brochbuchst),70(a < b": lieg.Dreieck):as bild.eine Basis f.bs),78(U,k,...Metavariable:sing od.neutral/A:irgendeine wff),90(< (viereckig:ontol.Funktor, aiuch "sind einige von"),91(><(Dreiecke) angrenz,"abutting"/Zeitintervalle:überlapp Zwischstück)96 ("op":offen,von nichts berührt/xx Äußeres v.x°x:Inneres v.x/cx:Abschluß(closure)v.x),,132(spn[e] raumzeitl.Lok.v.Ereign.e),132(spr,spl),180(<>Koinzidenz f.continuants), 242(Pc: ist eine Partikel),244(Sm allgemeiner),245(M'),246(MAT C:mat.Konstanz statt mereol),248(<> starke Koinz:selbe Teile), 249("com":vollst zusgesetzt(rein mereol),250("c"(Hufeisen):schw.Inklusion)/ "cc":starre schw.Inkl,allgemeiner),258("Nec"/Wiggins:Präd‑Modifikator),262("(N)(x,y..)" statt (x)N(y)"),279(< (viereckig):Teil‑Rel f.Klass),295("7"(m.Querstrich):schwache starre Abhgkt, o.Qurstr:starke:hier: 7 fett):v.El.einer Art, v.denen einer and Art),328(< R >,cll(links geschl),clr (re),cl:beidseit)),335(x FF y:bik Fx u Fy),336(RW:assoziierte Rel,"Rel in w"):innerhalb eines ganzen(nicht U)),336(>< angrenzen(auß.berühr)/cts:kontinuierl/cnbl od.cbl:verbindbar),339(s (nicht s)/Summe)  ‑‑  Gro I  65(Bindestr,Bsp),130("/" Belnap 1973, Konditional f.Sätze(w.nichts üb.John gesagt, dann "(p) (John sagt dap /p)"),197("/" dito:nur f.Aussag),223(SR:subst range,Subst‑Kl, SK,bei sQ),224("f.jed.x(...x...):=(x)A(x,Tx)"),229("x ist wahr" ab.n."p ist wahr"sond "und p"),235(Q:Zitat‑Funktor), 235(P,R:geh.üb.Satz‑Parameter/pn:prop Var n‑ter St.(i.Spr.d.üb.s.selbst spricht)/Mn:üb.Ausdr.Term‑Parm.n‑ter St.(atomar))/"X nicht‑extens.i.Y":Y(Q(X),X)/Vok Van:(a=r,g,s)n‑ter Rang,Grad, od.Ordn),238( {t,f}= w,f(f:= Abbild (spez. Interpretat,Zuschreib), 247(O(fett)),OS,M:MS),248(griech.Buchst.f.OS‑Var/ ":  f.normale Zitate/ ': f.Zitat‑Funktor d.MS/eckige Kl:ff.sQ/Hütchen/(s) f.Quasi‑AZ/rund Kl:f.refQ),261(M*),262(M**)  ‑‑  Hor I 317("/"(Belnap 73)Bsp was John sagt ist wahr:Vp(j.sagt daß p/p)),318(<>(i.Buch übereinand)/CGB:p<>q:"p" = "q")dürckt.selbe Vermut aus(mehrere Sätze)/Goldbach),335(Bindestr: Wört.n.isolierb:"es‑ist‑nicht‑wahr"),337(<>(übenand)"daß__ist‑selbe‑Vermut‑wie‑daß__")  ‑‑  Schu I 91(CP:ceteris par/eCP:exklusive CP(Frht v.Stör),92(+‑:unnegiert.od.neg/II‑:folgt log),99(p(‑):Wschk/w(‑) subj.(empir)Wschk/h(Fx):rel Häufgkt),103(>g:gesetzesart. Impl/intensional),172(t1: theoret.term,T:Theorie,R:realtion),173(>> (im Buch doppelter Schaft):"W.A dann normalerw. B",(nicht verschatelb),185(p:empir(vortheoret)Begriff),213(R(T):Ramseysatz d.Th(Konj.aller Ax))  ‑‑  Cr I 49(M I=n a: wahr i.M f.Zuschreib n"/=I:nicht wahr/M:Modell,Interpretat),50(p:Präd),60(KoKo‑Op/Staln:"<"/hier:">>"),66(Barwise/Perry:"u[[j]]e":j beschreibt Sit e i.Kontext u)[[j]]=Bedeut.v. j),105(DENL(a): a:Person),119(~über=:kontingente Ident/hier: ~=)  ‑‑  Fie III ~70(()():Prod(v.Diff),82 (Punkte:f.inneres Produkt),99(Hufeisen unterstr:"ist eine Teil‑Reg von"(als Grundbegr), 101("<":r1<r2" "enthält n.weniger Pkte als")(Präd)).   ‑‑  Car I  33(! Sist eine effekt.Strategie/ "!"Grice: es sei d.fall, daß"/S:Strateg‑Zust,KL:Zust.Beschreib, wahr in L /L:Sit/SC)40(Quadrat m‑Pfeil(wie Lewis) KoKo),174(Y:Wellenfunktion),184(klein y: Zustands‑Funkt), 181(H:Hamiltonsche, Ho,V),189(QM:Ia>:Zustand (level),190(klein y*y):Funktion im Physenraum)  ‑‑  Fr I 28(Pc‑Wschk:rel zu C(C:gemeins.Ursache),27(Punkt bei Wschk:Addition v. Wschk "&": gemeinsames Auftret),46(TN:Newtons Theorie/TN(v):TH +These, daß Grav‑Zentr.d.Sonn‑Syst konst.absol.Gesch.v hat/TN(j)),46(Leibniz*),47(TNE:Th.üb.Welt,v.Leibniz* gemeinsames aller Th),53(A,B:Op.f. Observable,(A)ij:ue Matrix,<A>Funktor,<A>j:Erwart‑Wert.i.jed.Zustd.j),61(Y/QM:Einheits‑Vektor/c:Eigenvekt/r:Messergebns/Rx Rotation um Winkel x),67(T >oT':Th empir.wenigst.so stark wie T'),136([A]:d.durch A ausgedr.Propos),173(Y Wellenfunkt:reine Zust,Vektor), 183(', "relf")  ‑‑  Sta I 146(f geschl od.off.Satz/F:ein‑stell.Präd/vQ:s:Zuschreib‑Funkt),147(fx/y:Ergebn.d. Einsetz.v.x.f.alle frei.y in f),148(alltg.Übers::"t1...tn.‑..ti":ti:"d.jeweilige"),148(f:Satz off,od.geschl/F:ein‑stell Präd/Fn:n‑stell Präd/s,t:sing T(Konst od.Var))  ‑‑  Cr II 39,59(~~: Synonymie),69(D0:Meng aller MöWe/D1:Univ.d.Dinge/D0/1: Klasse d.1‑stell Funkt v. Ding auf MöWe/s:semant. Kateogir/El v. Ds: Intensionen),86(z:Negation/w singt= Funkt d. d. Intens. v. "singt" ist), 95(0:sem.Kat: Propos/neu: 0 syntakt Kat: Satz),96((0/1):ein‑stell Präd: macht Satz aus Name),99(a: Ausdr/a: seine Bedeut/S.Funktor/w:seine Bedeut (= Funktion) w:= Liste),199(Fs: Meng.d.Symbole Kat s/auch Wörter/Xs: Meng.d.Var),101(N:Syst.v.Zuschreib v z u)Var(ungl V)/Vv: Zuschreib f. alle Ausdr.(auch m.fr.Var), 103(qu: strikt Zitat‑Symbol (wörtl)/qu*:gemischt (Intension +linguist. Entit),118(qu*:V(<qu*,a>) = <V(a),a>),169(Sit‑Sem f:Satz, e, u: Sit, u[[f]]e: Satz f, geäuß.i.u. ist wahr i.e/u:Gebrauchskontext/[[f]]:Rel/e:Ereignis)  ‑‑  Ly I 79(kursiv a:realisiert a),104([a ] Laut,physikal,phonet/ "/a/":phonolog,bedeutmäß,Phonem),145(*:unakzeptb. Form),152(S:Satz i.gramm.Th),187(Morph:{big}, auch Morphem),201(Lexem (abstr.For.v.Wort ("does" = "did"Großbuchst),212(plus/Ling:Verkettg),213(+ i.Ersetz‑Reg:n.Verkett),227(runde Klamm:fakultative Regel),230(n=Nomen (i.kategor.Gramm/Bar‑Hillel(S/n)Bsp "run" verbind.s.m. Nomen z.Satz),232(Adverb,Verb,Adj,Symb),261(SA(SB)/Chom:strikt.Analys(Beschreib)SC: strukt.change(SV:Veränd),268(Wortgrenz)

 

 

 

Spezielle Terminologien (aus dem Register)

 

 

 

Terminologie  Q III  211(Schritt‑Konditional: durch ES;EG;UG od, US gewonn, steht in folg. Zeile/kein "Sprung‑Kond") ‑‑ Loc I 44(Extens:Ausdehnung v. Körpern,Expans: Ausd.d.leeren Raums)  ‑‑ Fra I 336(Attribut:Cast:Eig.+Rel/Lewis:+Ext),337(Cast:Akkusativ statt "Denkobjekt", neutral)  ‑‑ LW IV 94(Carnapsche Intension,Koordinaten)  ‑‑  AR III 12(Humesche Gleichförmigkeit :unbegrenzte kosmische Reichw.ohne log Verknüpfung, o.Quantorenk, zeitlos "HG")  ‑‑  No I 42(Mono‑Relation:nächster Nachfolger(nN)/Vorgänger(nV))  ‑‑  Fie I 26(weite Auffass.:n.alle log.Wahrheiten wissbar/enge),55(enger Sinn v.physikal.Welt:o.Quantifik.üb math.Entit. ="nominalistisch"), 58(konservative math Th. konsistent m.jed.intern kons.physikal.Th),64(Quine‑Put‑Argument),106(CONNBG:es gibt k.Beweis von ~NBG),134("power set" F4:Menge v.Quadrupeln v.El.einer Menge F),194(NST Newtoschen RZ),258(Präd "math" ="ist eine math Entit"),("O‑Formel": ohne math Ent)  ‑‑  HC I 14,21("These":Theorem od.Ax i.Modalsyst), 27(These: abgeleit.ableit: "I‑"), 48(MKNF:modale konjunktive Normalform),50/1("B" Syt.v.Brouwer),140(E‑Eig,E‑Formel,Ersetzen/ "Ersetzungsvariable/"E‑Form": nur versch.i.Bezug auf die ersetzte Var/E':mind 1 Formel aus jeder E‑.Form),142(HC werfen Einsetzen/Ersetzen zusammen), 145(EM‑Formel), 151(Inklusionsforderung: MöWe:Bereich Bj mu. Teilber.v. Bi sein), 162(formale Eig:immer od.nie notw/mat.Ei: immer koningent), 178(Term= Kennz), 178(K1(Ax.f. Kennz),287("decken": indir. Enthaltsein (i.Boolescher Alg)fragl.Bezieh. gilt auch f. Obermenge)  ‑‑  Brk 208(Gentzen: Ausdruck: endl.Zeichenreih/Figur:inrgendw.angeordn endl Mengen v. Zeich/Zeich:spez.Ausdrück + Figuren/Ausdrücke: spez Figuren (DF "enthalten")), 214(Gentzen:"UE"Schlußfig, Schema "UE"; "UB" usw "u" und "E" esgibt "F" folgt, "N" nicht "QA" alle "0": oder "B" Beseit.), 215(ditpo, Bsp), 279(Curry(Schönfinkel?)"blinde Variable"), 328("apparent" Var:"scheinbare": = gebund)/"real": freie), 348(Gödel:"Klassenezeich":Formel aus PM m genau 1 Var(v.Typ d,nat Z); 350 (Typenerhöh), 355("Gen"/Gödel:Generalisierung/"nNx":n‑malig "f"(= Nachfolg)vorsetz/ "E(x)":Einklammern/"Pr":Primzahl/R(x) Zahlreih nur aus x/l(x) Länge d. Zahlreih/Z(n):Zahlzeich f. n/Typn(x):x ist Zeich n‑ten Typs/Elf(x): x ist Elementarformel/Op(xyz): x Reihe v. Formeln, die aus Neg od Disj od gen hervorgeht/v Geb n:Var v ist a.Stelle n gebund(entspr "Fr")),388(Russ: statement, sentence: rein sprachl Gebilde),464(Tarski: "ng":Neg,"sm":log.Summe, "al":Allzeich, "in":Inklusion, "vk" k‑te Var."x ^y":Aneinanderfügen),"Wr":Kl.d.wahren Auss),490(Rt: Kl.d.Auss. d.i.jed,. Bereich richtig sind),462(R:2‑stell Rel kann auch Folge sein), 471(R:in nicht‑rek.Def Rel)  ‑‑  Mate I 23(Mates/Oberschelp:sentence:=Aussage/statement: Behaupt),129(P: Präm.‑Einführ/MP:mod.pon/MT:tollens/K:Konditionalisierung:(j > y)/kann eingef.werd,w.y in früherer Zeile vorkommt/D:def‑gemäßer Austausch),133(TH:Abkürz‑Regel("eliminierb.Regel"):früher Bewiesenes darf o.Zeilennr. eingef.werd),137(ER:Ersetz.regel(in.Ableit),147(T:tautol. Schluß/BE: Bsp‑Einführ. (Spezialisierung) /G:Generalis/E:Regel f.EQu.),150(T),151(BE), 151(G),153(E), 156(PA: Partikularis), 157(BB), 158(BB:macht v.Zwischenannahme "Fa" unabh(Bsp‑Beseit), 159(dito), 163(QU:Quantor‑Austausch),239(TH)  ‑‑  Av I 21(reduktiveAnalyse/Versteh.eines begr.durch V and.B/"reziprok":dito, durch Lokalisation i.Syst.aller Begriffe/symm.Anal:beide seiten d.Bidkond. auf gl.Ebene/ asymm:versch.Eb.>Redukt),52(Grice"sublunary world"(Zirkel weniger schlimm?), 82("ontol.Asymm"/ Av:Spr.o.Denk mögl (DoS)ab.n.umek/"epist.Asym":um zu wiss,was and.denk, brauch.w.kein Verständn.seiner Sätze,ab.um Sätze z,verst.mu.man Annahm.üb prop Einst mach),84(oberflächl. epist.Asym:zw.psych./seman.Begr.:psych.Tats.leichter zugängl.),94(tiefe ep.Asym:BT mögl.u.gleichzeit.akeptieren, daß RI unmögl./untersch:Bedeut.konstituier/ sie"verraten"),95(def tiefe eA:wenn per imposs)Kenntn.d.Blaub.o.Spr.weißb,dann sind diese n.konstitutiv. f. Spr.(s)>KoKo)), 106(Loar:pro tiefe eA:prop Einst v.Marsianer verstehb. o.Spr. w.interne Org erforscht(n.f.Menschen)), 111f(ontol.Asym)  ‑‑  Q V 135ff("vice": Eisetzungs‑Operator: "a vice x": a ist ein Ding x derart, daß")  ‑‑  Q XII 14(W.Spohn: "phrase":Wendung, Ref:Bezug nicht B‑nahme,"term" = Term),76(def Pythagoreismus: pyth.These. alle Ggst einer Theorie gleich: entw.Zahlen od.Körper od.Mengen usw),(=Redukt))  ‑‑  Fie II 33(Glauben* in einer Spr.),52(ab jetzt glaub immer = Gl.*(k.Propos.sond.Sätze),83(S‑Propos:=Staln‑P:"S"),161(< "linguist.Sicht":"daß‑Satz:d.Referent ist d.beinhaltete Satz selbst statt intent.Entit), 166("concept": fragwürd.Entit wie Propos/unprblmt:notion),287(determiniert"‑Operator ("det","D"), 292(det‑Op(="wahr‑daß‑Op"),337(letztl.Begriff, was es f.Satz ist, bestimmt wahr z.sein),326 ("strukturalist.Einsicht":egal was math.Objekte sind(z.B Zahlen od.Menge) Hauptsache, sie sehen i.richtiger Rel), 329(Put:"Unverzichtbarkeits‑Argum":Exist.math,.Obj.u.f.prakt Nutzen i.Technik usw/Put pro), ~343ff("vollste math.Theorie"), 363("default reasonableness": rechtfertigungslose Vernünfgkt:Bsp Leute sage normalerweise d.Wahrht"/wenn "d.r.", dann wenigstens schwach a priori), 368(naturalist.Reduktionism Vernünftgkt einer Regel besteht i.Wahrheitserhalt/FVs),370 ("egoist.Zugang":unsere eig.Regeln einfach vernünft.andere mü.s.anpass/FVs:o.Berücksicht.d.Eig), 370(Nicht‑Naturalism),371(Evaluationism:epistem.Eig.wie Vernünftkt unreduzb.auf and. Eig)   ‑‑  Si I 10(Objekt/S:auch Kl+Massen/Lesn:nur Indiv), 20("Mannigfalt":beinh.sing+pluralen Fall),28(Axiom WSP:schw.Supplement),28(PPP), 29(SSP),31(MEM:minim.extens.Mer:o.ue‑Op),34(BSP binäres Summ‑Prinz/stärkstes)),48ff(Indiv‑Kalk:Syst.ICI,ohne Meng),51,(Syst F),53(Syst LG,T)54(AF), 56(Freie I<‑Kalk:Syst F),65(Syst M(Lesn,Mereol),66(w‑descr.schwach dieskret:v.Dskrtht impliz.ab.n.umgek),77(Syst M':m.Sing Var),80(M'':m.nicht‑plural Var),83(Syst W/Ereign/ Whitehead:K"ausgedehnt üb":Konverse v.Teil‑Rel),84(dissection),85(Injunktion),86(Syst P/ Bostock),88(remainder‑Prinz),93(<o''/Tiles:Teil d.voll i.and.ist)95(Verbindung/Clarke/><:extern verb:= berührt),132(span,spread,spell v.Ereign, Aufspaltung/Phase:verbund.Teil/slice:Dauer 0/segment:verbund/section:0 Ausdehn), 178(CT("continuants +times"),179("Ex" zeitl.modifizb Exist‑Op:"E!"= "(Ex) zu einer Zeit"),181(MC:mereol.Konstanz/MV:m.Variablit),182(PR Produkt/ Pr:"Prod.zu t"),183(SU:Summen ‑Präd,)),184(SU: o.gleichzt. Exit.d.Summanden), 184(SM:m gleichzeit Exist)185(aSUx [A]a ist Su.v.Objekten.so daß A"),185(aSUMxt[Fx]:"a ist eine Summe v.Fs"),188(w sm x,y:"w besteht aus x,y"/x sj y:"strikt verbund"),328(Topol:re‑geschloss.Rel:kein Weg v.auß.nach inn. Bsp niemand schuldet x Geld/re‑eschl.k.W.v.inn.n.auß/immer i.Hinbl.auf etw:z.B. Schulden/beidseit:cl), 340/1(Unterstützer"),349(< occurrents(/ence) Ereign,Prozeß, Zustand)  ‑‑  Schi I XIII(IBS:intentions‑basierte Semantik:=Grice:Redukt.v.Sem auf Psych),XV(Not‑Theory‑Th"),23(funkt.Th),27(Bel(p) funkt Ausdr.statt Glaub‑Def(Loar)),28(CSFcommonsense functionalism),34("M‑constraints (Loar:> Bedeut‑ Postul Bsp w.a glaubt,daß x nörld.v.y,+y nördl.v.z...") ,37(unary:ein‑stellig?)Funkt)/Bsp Glaub,daß p),46(FG fuel gauge Benzinuhr‑Bsp/Repräs/Verläßlkt(Dretske)), 63("das P"/Frege/Russ/statt Iota‑Op/braucht "ich"+"jetzt"/als Gegebhtweise),75(SLT:Starke Mentalesisch‑These),96(Def L‑item:Ausdr.d.semant."import"aus Rolle i.Projektionsregel),97(appropriate:w.Rel besteht/"fit":w. "appropriate"),167(Proto‑Mensch),149(def kompwtSem),185("CS":komps Sem),212("Platitüde": Satzbedeut.durch Syntax u.Wortbed),214(vollst.Satz:kann nicht Teil sein (Bsp Schnee ist weiß."(m.Punkt!)/Ausdr‑Potential(saying pot):alls, was m.Satz ausgedr.werd.k.i.Popul), 215(Verarbeitungs‑Rolle (processing r)i.Popul:bestimmt Ausdr.Pot),253(propos. determinate":z.B. Eig, Rel,ED usw).  ‑‑  Gro I 49(Satz‑Parameter:Bsp "Schnee i.weiß"),124(Inheritor:Pronom+Posatz als Erbe v. Ihalt aus Antezed,ab.n.m.diesem verknüpftwie Prosatz),,235(Def "Satz‑Paramet": "atomarer Satz", "Satz‑Konstante"(nie gebundenI, "Term‑Param."kurz f. "Ausdrucks‑Term‑P"), 236("Ausdruck": Term od.Satz, A,B,C:Satz, T1,T2:Terme,"V": Menge d.geschl. Ausdrücke/ "Level":umfaßt "Rang", "Grad","Ordn"/Vokabul),238(dito/Abbildung/Zuschreib: bildet n auf n‑1 ab/ Interpretat = Zuschreib.), 239(Tiefe(v.Quantor) = 0,w.nicht extens(=Zitat)/Länge (v.Ausdr:Zahl d.Verknüpf,Präd, Operat: extens.Kontext),245(quote= AZ),252(d‑Variabl:refQ(domain‑and‑value‑Var, = Individvar), 258 ("querible"Belnap 1976:Var.i.Frage),263(Ordn,Grad,Rang)  ‑‑  Hor I 316(CGB:"Cousin"‑Fälle: "Schnee.."/Schnee...ist wahr"/Wiederhol‑F:eingebaut:w.Schnee weiß, dann reflektierend/auch i.Konversation:WH statt "das ist wahr"),326(CGB Antezed.(v.Anapher)), 327(anaph.Substituenden w.grammat. Kategor.wechselt),328(Proform:Proverb,Proadj,Pronom), 330("thatt" fiktiv verfügbarer atom.Prosatz/ref nicht),334(Englisch*:ohne W‑Präd/m.Prosatz:"das ist wahr"(atomar)),339("MIT‑lingo":"liked" als "like+PAST")/CGB:PRO+MOD = modifiz.Prosatz:"es war wahr"),350(Proform: zeigt, daß nichts neues eingeführt wird),370(Leeds:R*:Ref‑Schema),372(SI =Standard‑Interpretat/SI‑Th:Annahmne, daß jede.Spr.eine SI hat),374(NI:naturalist.Instrumentalism), 391(GIT:"brains in.a vat"),391(SAT/Put:unintend.Interpretat), 465("Baustein"‑Th:Russ/Husserl/Kri/ Searle:Intentionalit.v. Gedank.>Rel.z.Welt, unabhg.Wht/DavVs,pro Holism),483(clause,Bsp),Teil d.redukriven Def)  ‑‑  Schu I 108(PKN:pränexe konj.Normalf)123(I(S):irreduz.Repräs),125(korr(A,K):Korrelation v. Ante u.Konsequ),Kov(A,K):Kovarianz),223(CDN):dedukt‑nomolog.Erklär)  ‑‑  Cr I  12(KF:Katz‑Fodor‑Sem:VsWB,VsDav),36(entailm:alltagspsr.Inferenz/dageg:log.Kons":formal),49(Mglkts‑Modell/Aktualits‑M),51(def kanonische intensionale Interpretat/"I"/p: Präd),56(kanon.int.Mod),66 (Barw/Perry:"statement"=sentence i.Kontext(/Sit‑Sem)),67(generation property/Barw/P/Cr),81(l‑kategoriale Sprache/Cr:Kategor.0:Satz, 1:Name),84(hyperintensionale Sem:weil feinere Entit.als Meng.v.MöWe(CrVs)),86(LPC: lower predicat calc),87("quotational":ohne Berücks.d.Bedeut), 104(Inskriptionalism/Cr:=Relth:zu linguist.Entit),119(V:Zuschreib v.Bedeut.an Ausdr),121("0": Aussagenoperator:Namens‑Posit i.Satz Bsp Kennz,"etwas",jeder Herausgeb.v.Soul",entspr."E" in "(Ex)"),126("N"=Nominal/hier:"Nom"),134ff("Griech‑Türk‑Imbroglio":jed.v.2 Griech kämpfte geg.jed.v.2 Türk")158(GTS/Hintikka:spieltheoret.Semant), 160(r.e:rekursiv aufzählb)   ‑‑  Fie III 107(N0:nominalist.Formulier d Newtonsch.Grav‑Th),12(Prinz C:Konservativit),11(N* Menge d Behaupt A*, d.nur nicht‑math.Ent.enth/"M":="ist math.Ent"/A:nimonalist. Beh.A*:stärker:weil nur m‑nicht‑math.Ent),11("Ex‑M(x)":"es gibt mind.1 nicht‑math.Ding"),17(ZFU:Zermelo‑F+Urelemente),21("E87":Quant:"!es gibt genau 87"),21(abstr.Gegenstück f. Auf‑u.Abstieg), 25("Bet":zwischen),26(xy cong zw:kongruent = selber Abstand),50("unique up to" Euklid.Transf:"bis zu, ab.n.weiter),117(COll:auf 1 Linie liegend/Coplan: 1 Flä,Cohyp:einer Hyperlinie),118(Par: parallel(def))/Parallelogramm/P‑Cong/t‑cong(zeitl),53(S‑Cong/Simul),118(Simul),118(S‑Kongruenz),56(Temp‑Less:kälter od.gleich),58(AxSyst f. geordn/ungeordn.Skalar‑Felder "Scal‑bet"/"Scal‑cong":für belieb.Skalare(Temp,Grav‑Pot usw.)),59(st.Bet:raumzeitl.zwisch (ungl. skalar)),61(CONT:"sagt, daß T kontinuierl ist"(Satz))59(JAS gemeins.Ax‑Syst f.RZ u Skalar‑Funkt/f:Rep‑Funkt f. RZ/y:Rep‑Funkt f. skalare Grö/Verbind.durch T = y ° f‑1),~58(<Scal‑Bet": im selben Bereich!),62(x ~~scal y":= "x sacl‑Bet yy"(=x y selbe skalaren Wert (z.B.Temp)/R: Region/z.B. Temp‑basiert(++),65(P‑Cong (auf parall.Linien/"equally spaced region":f.RZ od..f.Temp:gl.Abstände, statt willkürl Maß),68((s) df:Raum‑Abst(<59!)),68(E‑Bet (exklusiv)f bezeichn.Präd.v.orientierten Temp‑Zunahme u.Raum‑Geraden, ab .bei belieb.Ri),69(Pos‑Par:Linien‑Segm,parallel u.i.selber Ri/Pos‑Orient:ungl.O.u.selbes Vorzeich(+/‑))/same‑sign:8‑stell Präd: entw.Pos‑Par u.Pos‑Orient od.Pos‑par u Pos‑OR/Opp‑sign),71(strikt Scal‑Bet:vermeidet daß b2 kältester od.heißester Pkt d.Univ/fL: Koordinat‑Funkt f‑.L/L:Raum‑Linie),72((D(x,a1,a2,b1,b2) Abkürz.f.:Ableit,(nominalist),74(D‑bet/2.Ableit)74(f(a1)‑f(a2),77("primed points":"gestrichen") ,81(perpedicular: = Lot),85(separation),87(D‑Vec),93(Quantor F(Schreibschrift):"weniger als"),99(N0:Sub‑Th 1.St),101(N*),101("Inf (x)" "s ist ue"),102(Eq= Äqui‑Rel)  ‑‑  Car I 17(D‑N:dedukt‑nomologisch/CVs),22(gebog.Pfeil: Cverurs.E/hier:">>"),25(kausal homogen:alle Kaus‑Fakt bis auf 1 fixiert:Lö.f.Simpsons Par),26(CC;Prinz.,Verbind.v.Kausal‑ u.Assoziations.Ges),70(Super‑Gesetz:m.Beschreib.d.Umstände i.Antezed/CVs:Beschreib.erklärt nichts),196(Charakterisier‑Prbl: was bestimmt., wann ein Syst.d.Schrödinger‑Gl.folgt bzw.d.Redukt.d.Wellpakets/k.realen Prbl)  ‑‑  Fr I 39(Put/Fr:"ultimat.Argum"/R.Boyd/Put:(pro Realism):einzige Phil.d.aus Erfolg.d.Wiss.k.Wunder macht/Terme i.reif.Wiss. ref typweise,selber Term kann auf selbe Enti.i.versch.Th ref/n.notw Wht,sond. einzige Erkl.v.Erfolg),45(Beweg/Fr:=Struktu,defin.i.Begr.v.relev.Rel zw.absol. Orten+absol.Zeiten(Newton),64(Erschein/Fr (=Suppes:"empir.Algebra"),68(empir.minimal: w.Kl.empir.äqui zu irgend.stärk.Th),83("Konjunktions‑Einwand":Konf.v.Chemie,Phys usw.statt Einheits‑Wiss/Prbl:jede kann empir.adäqu.sein ohne daß Konj.adäqu.)92(n‑explanation:Erklär. i.Sinn v E.Nagel),121(Salmon:"Knoten(knots,nodes)kausale Interakt.auch "Gabel"(fork)/ Reichenb:gemeins.Ursache),197("Kontrastklasse":"grün‑statt‑and‑Farbe"),145("core" d.Antwort:"weil A"/zentrale Präsupp (v.Frage):Ausschl.aller Alternt),165(statist. Syll),166(sjourn time:Aufenthltzt:i.einem Zust.),183("relf":Funkt.relativer Häufgkt),185(relf),190(chance set‑up)  ‑‑  Bla II 30(BRU basic reason using/Proto‑Rationalit(Mensch:Gefahr/Flucht, nachträgl.gründe)/Tier: Quasi‑Rat)107(maximal persönl:Rel.i.denen kein Partner ersetzb(durch Zwilling):Liebe, Freundsch)  ‑‑  Sta I 37(prop elements:basic propos. als El.f.Meng.v.Propüs.>dann alle Propos von selber Art)  ‑‑  Cr II 14(Komplement‑Satz: Daß‑Satz o.daß),18(propositional account:Rel‑Th/Gl.als rel z.Obj/Gegsatz:de re acc),37(that0: bez.s.auf ganz.Satz "5+7=12"/thats:macht daraus Strukt: <<5,7,+>,=,12>),46(de expressione/Stechow:wie d. Einstell ausgedr.wird/and als d. dicto), 55(Objekt: =Satz/Subjekt= Glaubender /Inh:Bedeut.d.Daß‑Satzes),70(Int/Ext‑Untersch,.innhb d.Ref//Montague:Sinn/Ref eher wie Int/Ext),75(super‑strikte NEg),80(Makorstrukt:ignoriert Zusätze wie "u (p v ~p)),87(that0, that(0/(0/0), that((0/0),(0/1),1)),97("abstract":<l,x,a>=,98("nominals":Kat (0/(0/1) = NP), 179(Prior:connecticate: Funktor, 1. Argum: Name, 2. Satz/Bsp "glaubt, daß"(syntakt Einheit)  ‑‑  Ly I 181("Schema"(Klischees),213(IC‑Analyse/immediate constituents/Bloomfield, 1933),218(rewrite‑system:;Ersetz‑Syst),219(Anfangssymb(initial symb):links i.Regel Bsp S >NP+VP/Endsymb:Kl.v.El.d.Lex z.B. "Verb"unterste Schicht i.Stammbaum/Endkette:d.vollst. m. Klammern geordn.Kette),227(Formations‑Reg:PSR(Phr‑Str‑R),239(context‑free unabhg/C‑sensitive: abhg./manche:c‑resistant),241(uneigeschr.Wert),260(Kernkette,kernel string/ungl. Kersatz),261 (analysis = Beschreib/strukt.Anal:SA(SP)strukt.Veränd(change): SV(SE))262(Klammerindex: labelled bracketing >Phrase Marker:Kette,d.durch Kl‑Indices dargest.wird),263(Chom:Subkette, Dominanz),269(verallg.(generalized)Transf.m.mehr als 1 Endkette als Eingabe(double‑based)/a einbett,b)konjunkt/Matrix‑Kette: hier NP+be+A(matrix string)/Konstituenten‑Kette: Bsp NP+V intr/phrase:Wortkomplex),270(clause:Teilsatz)