Mathematics, Logic, and their Philosophies (eBook)
XVIII, 483 Seiten
Springer International Publishing (Verlag)
978-3-030-53654-1 (ISBN)
This volume is a collection of essays in honour of Professor Mohammad Ardeshir. It examines topics which, in one way or another, are connected to the various aspects of his multidisciplinary research interests. Based on this criterion, the book is divided into three general categories. The first category includes papers on non-classical logics, including intuitionistic logic, constructive logic, basic logic, and substructural logic. The second category is made up of papers discussing issues in the contemporary philosophy of mathematics and logic. The third category contains papers on Avicenna's logic and philosophy.
Mohammad Ardeshir is a full professor of mathematical logic at the Department of Mathematical Sciences, Sharif University of Technology, Tehran, Iran, where he has taught generations of students for around a quarter century. Mohammad Ardeshir is known in the first place for his prominent works in basic logic and constructive mathematics. His areas of interest are however much broader and include topics in intuitionistic philosophy of mathematics and Arabic philosophy of logic and mathematics. In addition to numerous research articles in leading international journals, Ardeshir is the author of a highly praised Persian textbook in mathematical logic. Partly through his writings and translations, the school of mathematical intuitionism was introduced to the Iranian academic community.
Mojtaba Mojtahedi is Assistant Professor at the Department of Mathematics, Statistics and Computer Science, College of Science, University of Tehran. He is graduated from Sharif University of Technology in 2013. His research interests include provability logic, intuitionistic logic and arithmetic.
Erscheint lt. Verlag | 9.2.2021 |
---|---|
Reihe/Serie | Logic, Epistemology, and the Unity of Science | Logic, Epistemology, and the Unity of Science |
Zusatzinfo | XVIII, 483 p. 26 illus., 5 illus. in color. |
Sprache | englisch |
Themenwelt | Geisteswissenschaften ► Philosophie ► Allgemeines / Lexika |
Geisteswissenschaften ► Philosophie ► Geschichte der Philosophie | |
Mathematik / Informatik ► Mathematik | |
Schlagworte | Arabic logic • Arabic Philosophy of Mathematics • Avicenna on Deductions from Contradictory Premises • Basic Logic • Binary Modal Companions for Subintuitionistic Logics • Bounded Distributive Lattices with Two Subordinations • constructive logic • Constructive Mathematics • Intuitionism to Many-Valued Logics through Kripke Models • Intuitionistic Logic • Intuitionistic Logic of Language • Intuitionistic Philosophy of Mathematics • L. E. J. Brouwer • Mohammad Ardeshir • Non-Conditional Contracting Connectives • Residuated Expansions of Lattice-Ordered Structures • Struggle between Syntax and Semantics in Mathematics • Substructural Logic • Termination Condition of Gossip Protocols • Unification in basic logic |
ISBN-10 | 3-030-53654-8 / 3030536548 |
ISBN-13 | 978-3-030-53654-1 / 9783030536541 |
Haben Sie eine Frage zum Produkt? |
![PDF](/img/icon_pdf_big.jpg)
Größe: 7,4 MB
DRM: Digitales Wasserzeichen
Dieses eBook enthält ein digitales Wasserzeichen und ist damit für Sie personalisiert. Bei einer missbräuchlichen Weitergabe des eBooks an Dritte ist eine Rückverfolgung an die Quelle möglich.
Dateiformat: PDF (Portable Document Format)
Mit einem festen Seitenlayout eignet sich die PDF besonders für Fachbücher mit Spalten, Tabellen und Abbildungen. Eine PDF kann auf fast allen Geräten angezeigt werden, ist aber für kleine Displays (Smartphone, eReader) nur eingeschränkt geeignet.
Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen dafür einen PDF-Viewer - z.B. den Adobe Reader oder Adobe Digital Editions.
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen dafür einen PDF-Viewer - z.B. die kostenlose Adobe Digital Editions-App.
Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.
aus dem Bereich