Zur Bedeutung und Übersetzung mathematischer Theorien
By (author) Mirko Engler
Paperback (Published)
(January 2026)
ISBN: 9783832560300
6.69 x 9.49 inches
Price: $62.00
On back order
Wie entsteht Bedeutung in der Mathematik? In diesem Buch wird untersucht, wie Aussagen formaler Sprachen ihre Bedeutung erhalten — und zwar nur durch die Axiome der Theorie, in der sie formuliert sind. Der vorliegende Ansatz bietet daher eine Alternative zu modelltheoretischen Semantiken an. Dazu werden Einsichten Hilberts, Wittgensteins und Carnaps mit modernen Methoden der Logik verbunden und Explikationen für “phi ist synonym zu psi relativ zur Theorie T” sowie für “S ist synonym zu T” für erststufige Theorien S und T gegeben und eine Theorie der bedeutungserhaltenden Übersetzungen entwickelt. Diese Konzepte werden in Beziehung gesetzt zu etablierten Relationen wie der definitorischen Äquivalenz, Bi-Übersetzbarkeit und Bi-Interpretierbarkeit von Theorien und angewandt auf philosophisch relevante Fragen zum Verhältnis von Geometrie und Algebra, Arithmetik und Mengenlehre sowie auf Theorien, welche in der Metamathematik betrachtet werden.
Das Buch liefert einen Beitrag zur Logik und Wissenschaftsphilosophie, der die genauen Beziehungen zwischen den Axiomen, der Bedeutung und der Übersetzbarkeit formaler Theorien ermittelt.
- By (author) Mirko Engler
Other Titles in this Series
Kausale Relata
Eine Untersuchung zur Wechselbeziehung zwischen der Beschaffenheit kausaler Relata und der Natur der Kausalbeziehung
Volume 23
Similar Books
Cahiers de lexicologie
Particules floues — Nouvelles études sur le français et l'espagnol
Volume 128
Des mots aux actes
Traduction épistémique et littéraire. Nouvelles tendances en histoire et didactique
Volume 15
Deutsch als Fremdsprache nach Englisch an chinesischen Hochschulen
Eine empirische Forschung über Lernstrategien zum Wortschatzlernen
Diagnostic Techniques in Public Health
Analytical and Chemometric Approaches in Disease Detection and Management
Drunk the Potion, No Whit Charmed
The Doctrine of Pure and Perfect Souls from Iamblichus to Damascius
Éthique, politique, religions
Superstition (XVIIe - XXIe siècles). Sémantique, histoires et cultures
