Aussagen- Und Prädikatenlogik: Eine Einführung

&
J.B. Metzler (2018)
  Copy   BIBTEX

Abstract

Dieses Lehrbuch vermittelt eines der wichtigsten Werkzeuge der Philosophie durch die Einführung in die Grundideen einer formalen Sprache. Schrittweise werden so die relevanten Sprachstrukturen aufgedeckt, die dann in der Aussagen- und Prädikatenlogik formalisiert werden. Sowohl die Semantik als auch ein Kalkül des natürlichen Schließens werden jeweils detailliert diskutiert. In Kombination mit einer Lernplattform wird der zentrale Stoff anwendungsorientiert und plastisch vermittelt, was die auch zum Selbststudium geeignete Einführung zum idealen Begleiter für das Philosophiestudium macht.

Categories

Add categories

Keywords

Reprint years

ISBN(s)

9783476045645   9783476045652   3476045641

DOI

10.1007/978-3-476-04565-2
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,164

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Chapters

Grundlagen der Prädikatenlogik

Logiken machen die wahrheitsrelevanten Strukturen natürlicher Sprachen transparent. Einige dieser Strukturen hängen von bestimmten wahrheitsfunktionalen Junktoren ab. Genau diese Strukturen werden in AL zugänglich gemacht, und der Kalkül erlaubt es, eine Beziehung zwischen Sätzen, die aufgrund diese... see more

Der Kalkül des natürlichen Schließens

Im letzten Kapitel hatten wir uns mit semantischen Beweisen für Folgerungsbehauptungen beschäftigt und bereits darauf hingewiesen, dass es Verfahren gibt, die durch regelgeleitete Notation den syntaktischen Beweis von Folgerungsbehauptungen erlauben. Diese Beweise sind insofern syntaktisch, als die ... see more

Schlussfiguren und die Idee eines Kalküls

Dieses Kapitel umfasst drei verschiedene Aspekte. Zunächst soll das semantische Beweisen vertieft werden durch die Betrachtung einiger grundlegender Schlussfiguren. Anschließend wenden wir uns einer interessanten Parallelität zwischen Implikation und Folgerung zu, die eine erste Brücke zwischen der ... see more

Semantische Beweise

Bislang haben wir uns lediglich mit alltagssprachlichen Sätzen, wohlgeformten Formeln und der Übersetzung ersterer in letztere beschäftigt. Wir haben uns Gedanken zum Begriff der Tautologie und der logischen Wahrheit, der Kontradiktion und der kontingenten Aussage gemacht und eine Idee davon bekomme... see more

Systematik der Junktoren

Nachdem wir uns im letzten Kapitel mit der Semantik der Aussagenlogik und damit auch ihrer Beziehung zur natürlichen Sprache sowie ihrer Funktion für uns auseinandergesetzt haben, soll nun noch einmal das Verständnis der zentralen Bausteine von AL geschärft werden, unabhängig davon, in welchem Zusam... see more

Semantik der Aussagenlogik

Im letzten Kapitel sind wir die ersten beiden Schritte auf dem Weg zu einer vollständigen Beschreibung der Sprache der Aussagenlogik gegangen. In diesem Kapitel kommen wir zum dritten und letzten Schritt sowie zu Eigenschaften von einigen wohlgeformten Formeln von AL, die sich auf der Basis dieses l... see more

Grundlagen der Aussagenlogik

Im Folgenden soll es darum gehen, das Verständnis der Logik weiter zu vertiefen. Wie schon erwähnt, sind Logiken selbst Sprachen. Hier wollen wir in eine solche Sprache einführen, und zwar in die Sprache der sogenannten Aussagenlogik . Wenn wir uns einem Gegenstand wie einer Sprache nähern wollen, d... see more

Grundbegriffe

Ziel dieses Kapitels ist es, einige grundlegende Ideen zur Logik, zum Zusammenhang zwischen Logik und Argument und zur Relevanz der Logik im Kontext der Philosophie zu präsentieren. Dabei wird zunächst eine ›Vogelperspektive‹ eingenommen, um die Leserin zu orientieren und um einige potentielle Missv... see more

Einleitung

In der Alltagssprache hat der Ausdruck »Logik« unter anderem die Funktion, Denkprozesse als irgendwie geglückt auszuzeichnen. Werfen wir unserem Gegenüber vor, etwas Unlogisches behauptet zu haben, so unterstellen wir ihm, dass kognitiv irgendetwas schief gegangen ist. Wenn das Bett der Hundebesitze... see more

Aristotelische Syllogistik

Bisher haben wir uns vorwiegend mit moderner Logik und ihrer Anwendung beschäftigt. In diesem Teil wird es um die sogenannte Aristotelische Syllogistik gehen, die – wie der Name schon vermuten lässt – auf Aristoteles zurückgeht und die den allergrößten Teil der antiken und mittelalterlichen Logik au... see more

Identität von Individuen

In diesem ergänzenden Kapitel wollen wir uns mit einer Logik beschäftigen, die PL sehr ähnlich ist, die jedoch ein weiteres Element enthält: das Identitätszeichen. In einem nächsten Schritt werden wir uns ansehen, wie dieses Zeichen in der Sprachphilosophie Verwendung findet . Anschließend werden wi... see more

Ein Kalkül der Prädikatenlogik

Nachdem wir nun eine vollständige Semantik für die Prädikatenlogik formuliert haben, können wir – analog zur Aussagenlogik – einen Kalkül definieren, der es uns erlaubt, Folgerungsbeziehungen allein auf der Grundlage syntaktischer Eigenschaften nachzuweisen. Damit dies gelingt, werden wir die syntak... see more

Semantik der Prädikatenlogik

In diesem Kapitel wird es darum gehen, eine vollständige Semantik für PL zu entwickeln. Im Anschluss daran werden wir uns mit den Grenzen der hier gelieferten Semantik auseinandersetzen und eine informelle Skizze einer alternativen Semantik liefern.

Prädikatenlogik und natürliche Sprache

In diesem Kapitel soll es vor allem darum gehen, die Übersetzung von normalsprachlichen Sätzen in PL-Formeln zu üben und auf einige Aspekte, die dabei zu beachten sind, näher einzugehen. In gewisser Hinsicht entspricht dieses Kapitel dem Kapitel 4.6, in dem wir auf den Zusammenhang zwischen AL und n... see more

Similar books and articles

Klassische Logik. Einführung mit interaktiven Übungen.Timm Lampert - 2004 - Frankfurt: Ontos.
4. Mehrwertige Prädikatenlogik.Siegfried Gottwald - 1989 - In Mehrwertige Logik: Eine Einführung in Theorie Und Anwendungen. De Gruyter. pp. 183-250.
Einführung in die Philosophie der Mathematik.Jörg Neunhäuserer - 2019 - Wiesbaden, Deutschland: Springer Spektrum.
Logik: Grund- Und Aufbaukurs in Aussagen- Und Prädikatenlogik.Gerhard Schurz - 2018 - Boston: De Gruyter.
Das Humesche Gesetz.Franz von Kutschera - 1977 - Grazer Philosophische Studien 4 (1):1-14.
Das Humesche Gesetz.Franz von Kutschera - 1977 - Grazer Philosophische Studien 4 (1):1-14.
III Prädikatenlogik.Ansgar Beckermann - 2014 - In Einführung in Die Logik. De Gruyter. pp. 172-274.
Einführung in die mathematische Philosophie.Bertrand Russell - 2006 - Meiner, F.
Drei Formen der Ersten Person Plural.Matthias Haase - 2007 - Deutsche Zeitschrift für Philosophie 55 (2):225-243.
Einführung in die Mathematische Logik. Klassische Prädikatenlogik.Erwin Engeler - 1973 - Journal of Symbolic Logic 38 (4):647-647.
Einführung in die Mathematische Logik. Klassische Prädikatenlogik.Kurt Schütte - 1965 - Journal of Symbolic Logic 30 (3):355-356.
Einführung in die Mathematische Logik. Klassische Prädikatenlogik.Erwin Engeler - 1973 - Journal of Symbolic Logic 38 (3):518-519.
Das Wesen der Philosophie und die Philosophischen Probleme.Die Erschliessung des Seins. Eine Einfuhrung in Erkenntnistheorie und Logik.Das Seelenleben des Menschen. Eine Einfuhrung in die Psychologie. [REVIEW]M. A. G., Hans Meyer, Joseph Engert & Johannes Lindworsky - 1937 - Journal of Philosophy 34 (12):330.
Jens-Uwe Krause, Geschichte der Spätantike. Eine Einführung, Tübingen 2018 , 395 S., 6 Karten, ISBN 978-3-8252-4761-4 , € 26,99Geschichte der Spätantike. Eine Einführung. [REVIEW]Massimiliano Vitiello - 2018 - Klio 101 (2):785-786.
Review: Hans Hermes, Einfuhrung in die Mathematische Logik. Klassische Pradikatenlogik. [REVIEW]Erwin Engeler - 1973 - Journal of Symbolic Logic 38 (3):518-519.

Analytics

Added to PP
2020-02-01

Downloads
13 (#973,701)

6 months
10 (#213,340)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Raphael Van Riel
University of Duisburg-Essen
Gottfried Vosgerau
Heinrich Heine University Düsseldorf

Citations of this work

Add more citations

References found in this work

No references found.

Add more references