Der Verfasser hat sich die Aufgabe gestellt, die sehr verschiedenen Charakterisierungen der intuitionistischen Logik - die garbentheoretische, die kalkültheoretische, die verbandstheoretische, die operative, die spieltheoretische - unter einem einheitlichen Gesichtspunkt, nämlich ihrer strukturellen Beschreibung mit Hilfe der Kategorientheorie und der dialogischen Logik, neu zu entwickeln. Er geht aus von dem immer wieder unterstellten ad-hoc-Charakter der gewählten Spielregeln und fragt nach den Gründen für die Wahl gerade der zur effektiven Logik führenden Rahmenregeln. Die dialogische Logik…mehr
Der Verfasser hat sich die Aufgabe gestellt, die sehr verschiedenen Charakterisierungen der intuitionistischen Logik - die garbentheoretische, die kalkültheoretische, die verbandstheoretische, die operative, die spieltheoretische - unter einem einheitlichen Gesichtspunkt, nämlich ihrer strukturellen Beschreibung mit Hilfe der Kategorientheorie und der dialogischen Logik, neu zu entwickeln. Er geht aus von dem immer wieder unterstellten ad-hoc-Charakter der gewählten Spielregeln und fragt nach den Gründen für die Wahl gerade der zur effektiven Logik führenden Rahmenregeln. Die dialogische Logik läßt sich als operative dialogische Logik auszeichnen und so als der gemeinsame Kern der von jeder protologischen Kategorie jeweils induzierten Logik verstehen.
Produktdetails
Produktdetails
Europäische Hochschulschriften / European University Studies/Publications Universitaires Européenne 408
Der Autor: Shahid Rahman wurde 1956 in Neu Delhi (Indien) geboren. Er studierte Philosophie, spanische Philologie, Psychologie und Mathematik in Bahía Blanca (Licenciado en Filosofía, 1984), Erlangen (M.A. in Philosophie, Mathematik und spanischer Philologie, 1986) und Saarbrücken (Promotion 1993). Lehrtätigkeiten und Forschungsstipendien in Bahía Blanca, Buenos Aires (Universidad del Salvador: Profesor a cargo de cátedra, 1985), La Plata, Erlangen und Saarbrücken. Veröffentlichungen über Logik, Philosophie der Sprache und Wissenschaftstheorie.
Inhaltsangabe
Aus dem Inhalt: Dialogische Strategien und die Methode des Ausstreichens - Metatheoreme: der Adjunktionssatz, der Existenzsatz, die dialogische Definierbarkeit, die Interpolation und die Asymmetrie, die Eliminierbarkeit - Operative Logik, dialogische Strategien und die Kategorientheorie.
Aus dem Inhalt: Dialogische Strategien und die Methode des Ausstreichens - Metatheoreme: der Adjunktionssatz, der Existenzsatz, die dialogische Definierbarkeit, die Interpolation und die Asymmetrie, die Eliminierbarkeit - Operative Logik, dialogische Strategien und die Kategorientheorie.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Shop der buecher.de GmbH & Co. KG Bürgermeister-Wegele-Str. 12, 86167 Augsburg Amtsgericht Augsburg HRA 13309