國立虎尾科技大學 |

Mathematics, Logic, and their Philosophies = Essays in Honour of Mohammad Ardeshir /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Mathematics, Logic, and their Philosophies/ edited by Mojtaba Mojtahedi, Shahid Rahman, Mohammad Saleh Zarepour.
Reminder of title:	Essays in Honour of Mohammad Ardeshir /
remainder title:	a
other author:	Mojtahedi, Mojtaba.
Description:	XVIII, 483 p. 26 illus., 5 illus. in color.online resource. :
Contained By:	Springer Nature eBook
Subject:	Logic. -
Online resource:	https://doi.org/10.1007/978-3-030-53654-1
ISBN:	9783030536541

Mathematics, Logic, and their Philosophies = Essays in Honour of Mohammad Ardeshir /
Mathematics, Logic, and their PhilosophiesEssays in Honour of Mohammad Ardeshir /[electronic resource] :aedited by Mojtaba Mojtahedi, Shahid Rahman, Mohammad Saleh Zarepour. - 1st ed. 2021. - XVIII, 483 p. 26 illus., 5 illus. in color.online resource. - Logic, Epistemology, and the Unity of Science,492214-9775 ;. - Logic, Epistemology, and the Unity of Science,37.

Chapter 1. Introduction (Mojtaba Mojtahedi, Shahid Rahman, and Mohammad Saleh Zarepour) -- Chapter 2. Extension and Interpretability (Albert Visser) -- Chapter 3. Residuated Expansions of Lattice-Ordered Structures (Majid Alizadeh and Hiroakira Ono) -- Chapter 4. Bounded Distributive Lattices with Two Subordinations (Sergio Celani and Roman Jansana) -- Chapter 5. The Termination Condition of Gossip Protocols (Rahim Ramezanian, Rasool Ramezanian, and Hans van Ditmarsch) -- Chapter 6. On equivalence (Wim Veldman) -- Chapter 7. Unification in basic logic (Mojatba Mojtahedi) -- Chapter 8. Binary Modal Companions for Subintuitionistic Logics (Dick de Jongh and Fateme Shirmohammadzade Maleki) -- Chapter 9. From Intuitionism to Many-Valued Logics through Kripke Models (Saeed Salehi Pourmehr) -- Chapter 10. The Intuitionistic Logic of Language (Mehrnoosh Sadrzadeh) -- Chapter 11. Non-Conditional Contracting Connectives (Luis Estrada-González and Elisángela Ramírez-Cámara) -- Chapter 12. The Struggle between Syntax and Semantics in Mathematics (Siavash Shahshahani) -- Chapter 13. De-Modalizeing the Language in an Empiricist-Friendly Way: The Case of Physics (Kave Lajevardi) -- Chapter 14. Avicenna on Deductions from Contradictory Premises (Behnam Zolghar) -- Chapter 15. On Descriptive Propositions in Ibn Sīnā: Elements for a Logical Analysis (Shahid Rahman and Mohammad Saleh Zarepour) -- Chapter 16. TBA (Ali Farjami) -- Chapter 17. Empiricism of Avicenna Reconsidered (Seyed N. Mousavian).

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.

ISBN: 9783030536541

Standard No.: 10.1007/978-3-030-53654-1doiSubjects--Topical Terms:

558909
Logic.

LC Class. No.: BC1-199

Dewey Class. No.: 160

Mathematics, Logic, and their Philosophies = Essays in Honour of Mohammad Ardeshir /
LDR:04463nam a22004215i 4500 001 1054130
003 DE-He213
005 20210630072408.0
007 cr nn 008mamaa
008 220103s2021 gw | s |||| 0|eng d
020 $a 9783030536541 $9 978-3-030-53654-1
024 7 $a 10.1007/978-3-030-53654-1 $2 doi
035 $a 978-3-030-53654-1
050 4 $a BC1-199
072 7 $a HPL $2 bicssc
072 7 $a PHI011000 $2 bisacsh
072 7 $a QDTL $2 thema
082 0 4 $a 160 $2 23
245 1 0 $a Mathematics, Logic, and their Philosophies $h [electronic resource] : $b Essays in Honour of Mohammad Ardeshir / $c edited by Mojtaba Mojtahedi, Shahid Rahman, Mohammad Saleh Zarepour.
246 3 $a a
250 $a 1st ed. 2021.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2021.
300 $a XVIII, 483 p. 26 illus., 5 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Logic, Epistemology, and the Unity of Science, $x 2214-9775 ; $v 49
505 0 $a Chapter 1. Introduction (Mojtaba Mojtahedi, Shahid Rahman, and Mohammad Saleh Zarepour) -- Chapter 2. Extension and Interpretability (Albert Visser) -- Chapter 3. Residuated Expansions of Lattice-Ordered Structures (Majid Alizadeh and Hiroakira Ono) -- Chapter 4. Bounded Distributive Lattices with Two Subordinations (Sergio Celani and Roman Jansana) -- Chapter 5. The Termination Condition of Gossip Protocols (Rahim Ramezanian, Rasool Ramezanian, and Hans van Ditmarsch) -- Chapter 6. On equivalence (Wim Veldman) -- Chapter 7. Unification in basic logic (Mojatba Mojtahedi) -- Chapter 8. Binary Modal Companions for Subintuitionistic Logics (Dick de Jongh and Fateme Shirmohammadzade Maleki) -- Chapter 9. From Intuitionism to Many-Valued Logics through Kripke Models (Saeed Salehi Pourmehr) -- Chapter 10. The Intuitionistic Logic of Language (Mehrnoosh Sadrzadeh) -- Chapter 11. Non-Conditional Contracting Connectives (Luis Estrada-González and Elisángela Ramírez-Cámara) -- Chapter 12. The Struggle between Syntax and Semantics in Mathematics (Siavash Shahshahani) -- Chapter 13. De-Modalizeing the Language in an Empiricist-Friendly Way: The Case of Physics (Kave Lajevardi) -- Chapter 14. Avicenna on Deductions from Contradictory Premises (Behnam Zolghar) -- Chapter 15. On Descriptive Propositions in Ibn Sīnā: Elements for a Logical Analysis (Shahid Rahman and Mohammad Saleh Zarepour) -- Chapter 16. TBA (Ali Farjami) -- Chapter 17. Empiricism of Avicenna Reconsidered (Seyed N. Mousavian).
520 $a 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.
650 0 $a Logic. $3 558909
650 0 $a Mathematics—Philosophy. $3 1254283
650 0 $a Mathematical logic. $2 bicssc $3 810627
650 0 $a Philosophy. $3 559771
650 2 4 $a Philosophy of Mathematics. $3 1108410
650 2 4 $a Mathematical Logic and Foundations. $3 669393
650 2 4 $a History of Philosophy. $3 671574
700 1 $a Mojtahedi, Mojtaba. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1359134
700 1 $a Rahman, Shahid. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 681790
700 1 $a Zarepour, Mohammad Saleh. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1359135
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030536534
776 0 8 $i Printed edition: $z 9783030536558
776 0 8 $i Printed edition: $z 9783030536565
830 0 $a Logic, Epistemology, and the Unity of Science, $x 2214-9775 ; $v 37 $3 1258799
856 4 0 $u https://doi.org/10.1007/978-3-030-53654-1
912 $a ZDB-2-REP
912 $a ZDB-2-SXMS
950 $a Religion and Philosophy (SpringerNature-41175)
950 $a Mathematics and Statistics (R0) (SpringerNature-43713)