Lexikon der Argumente


Philosophische Themen und wissenschaftliche Debatten
 
[englisch]

Screenshot Tabelle Begriffes

 

Finden Sie Gegenargumente, in dem Sie NameVs…. oder….VsName eingeben.

Erweiterte Suche:
Suchbegriff 1: Autor oder Begriff Suchbegriff 2:Autor oder Begriff

zusammen mit




Der gesuchte Begriff oder Autor findet sich in folgenden 4 Einträgen:
Begriff/
Autor/Ismus		 Autor
Autor		 Eintrag
Eintrag		 Literatur
Literatur
Aussagenlogik Aussagenlogik: untersucht die Verknüpfung ganzer Aussagen, Bsp A v B, wobei A und B für vollständige Sätze stehen. Im Unterschied dazu ist Prädikatenlogik feinkörniger und stellt die Zuschreibung von Prädikaten dar.
Aussagenlogik Berka Berka I 237
Aussagenlogik/AL: Die Aussagenlogik hat keine Gegenstandsvariablen, weil sie keine Quantoren enthält. >Variablen, >Individuenvariablen, >Quantoren, >Quantifikation, >Aussagen, >Aussagenkalkül, vgl. >Prädikatenlogik, >Logik.
Berka I
Karel Berka
Lothar Kreiser
Logik Texte Berlin 1983
Aussagenlogik Quine VII (d) 71
Aussagenlogik/Propositionenkalkül/propositional calculus/Quine: "p", "q" beziehen sich auf propositionale Begriffe, was immer sie sein mögen. Aber propositionale Begriffe, wie Wahrheitswerte, sind nicht unterscheidbar in Begriffen des Kalküls. - ((s) Nur wenn sie interpretiert werden (etwas eingesetzt wird)). - p, q referieren überhaupt nicht. Es ist aber auch in Ordnung, wenn man sie als referierend ansieht. >Propositionen, >Wahrheitswerte, >Kalkül, >Interpretation.
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
Aussagenlogik Wessel I 35
Aussagenlogik/Wessel: Aussagenlogik kann auf drei verschiedene Weisen aufgebaut werden: 1. semantisch (wahrheitsfunktional),
>Wahrheitsfunktionen, >Semantik.
2. als System des natürlichen Schließens
>Natürliches Schließen, >G. Gentzen.
3. als axiomatischer Aufbau.
>Axiome, >Axiomensysteme.
Vgl. >Prädikatenlogik, >Logik.
Wessel I
H. Wessel
Logik Berlin 1999

Der gesuchte Begriff oder Autor findet sich in folgenden Thesen von Autoren des zentralen Fachgebiets.
Begriff/
Autor/Ismus		 Autor
 Eintrag
 Literatur
Barcan-Formel Stalnaker, R. I 145
Modale Aussagenlogik/mAL/AL/extensionale Prädikatenlogik/extPL/PL/Stalnaker: ich will hier 1. eine schwächere Version der Konverse der Barcan-Formel
2. das Prinzip der Notwendigkeit, nicht der Identität, sondern der Verschiedenheit
untersuchen.
These: obwohl beide von einer sehr allgemeinen semantischen Theorie gültig gemacht werden, sind sie unabhängige Prinzipien, die nicht mehr ableitbar sind, wenn man extensionale Prädikatenlogik (PL) und modale Aussagenlogik (AL) kombiniert.