Detailansicht
Zur Entwicklung der formalen Logik
die Systeme Booles und Freges als Herausragungen
ihrer Geschichte
Maram Maria Salah
Art der Arbeit
Diplomarbeit
Universität
Universität Wien
Fakultät
Fakultät für Philosophie und Bildungswissenschaft
Betreuer*in
Esther Ramharter
DOI
10.25365/thesis.1635
URN
urn:nbn:at:at-ubw:1-29165.78754.289855-7
Link zu u:search
(Print-Exemplar eventuell in Bibliothek verfügbar)
Abstracts
Abstract
(Deutsch)
In der vorliegenden Arbeit sollte zunächst, anhand von ausgewählten Stationen der Logikgeschichte, ihre Entwicklung dargestellt werden. Wobei die Merkmale der jeweiligen Systeme dargestellt, wie auch ihre Besonderheiten aufgezeigt werden sollten.
So, die erste systematische Konstruktion eines logischen Systems durch Aristoteles, dessen Lehre auch großen Einfluss ausübte.
Die Ausbildung einer Aussagenlogik dank der Stoiker, und in bestimmten Punkten eine Antizipation moderner Auffassungen darstellt.
Von besonderer Relevanz, allerdings in anderer Hinsicht, sollten sich Leibnizens Ansätze erweisen. So gilt er mancherorts als Schöpfer der mathematischen Logik, da er die Wichtigkeit einer symbolischen Sprache für die Darstellung eines logischen Kalküls erkannte und einforderte.
Den Neuerungen der folgenden Zeit, aber, und welche sich für die moderne Logik von grundlegender Wichtigkeit erweisen sollten, gilt das besondere Interesse.
Peano, welcher eine Axiomatisierung der Arithmetik unternahm, und dessen logisch - mathematische Notation zu seinen Hauptverdiensten gezählt wird.
Boole, welcher eine bestimmte Algebra entwarf und auf dieser Grundlage ein Logikkalkül konstruierte.
Und Frege, dessen Projekt es war, die Arithmetik als Zweig der Logik zu zeigen, und für diesen Zweck seine Begriffsschrift konzipierte.
Ebenfalls, als Beispiel einer Weiterentwicklung in der Logik angeführt, wird die formalistische Schule Hilberts vorgestellt, in welcher die Metamathematik ihren Ausgangspunkt hatte.
Der Gegenüberstellung der Modelle von Boole und Frege, gilt aber das besondere Augenmerk. In bestimmter Hinsicht, nämlich. So galt es zu durchleuchten, inwiefern ein unterschiedliches Verständnis von Logik, die Auffassung ihrer Beziehung zur Mathematik, die Voraussetzungen, welche sich bezeichnend für das Vorgehen des jeweiligen Denkers erwiesen - den Entwurf, auch, unterschiedlicher Systeme zur Folge hatten.
Schlagwörter
Schlagwörter
(Deutsch)
Logik Frege Boole Peano mathematische Logik formale Logik
Autor*innen
Maram Maria Salah
Haupttitel (Deutsch)
Zur Entwicklung der formalen Logik
Hauptuntertitel (Deutsch)
die Systeme Booles und Freges als Herausragungen
ihrer Geschichte
Publikationsjahr
2008
Umfangsangabe
143 S. : graph. Darst.
Sprache
Deutsch
Beurteiler*in
Esther Ramharter
Klassifikation
08 Philosophie > 08.33 Logik
AC Nummer
AC07089174
Utheses ID
1314
Studienkennzahl
UA | 296 | 346 | |