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.

This volume focuses on Islamic philosophy of religion with a range of contributions from analytic perspectives. It opens with methodological discussions on the relationship between the history of Islamic philosophy and contemporary analytic philosophy. The book then offers a philosophical examination of some specific Islamic beliefs as well as some approaches to general beliefs that Islam shares with other religions. The chapters address a variety of topics from the existence and attributes of God through to debates on science and religion. The authors are predominantly scholars from Muslim backgrounds who tackle philosophical issues concerning Islam as their own living religion, representing internal perspectives that have never been vocal in analytic philosophy of religion so far. This is valuable reading for scholars and students of philosophy, theology, and religious studies.

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.

Avicenna believes that God must be understood in the first place as the Necessary Existent (waGib al-wuGud). In his various works, he provides different versions of an ingenious argument for the existence of the Necessary Existent-the so-called Proof of the Sincere (burhan al-siddiqin)-and argues that all the properties that are usually attributed to God can be extracted merely from God's having necessary existence. Considering the centrality of tawhid to Islam, the first thing Avicenna tries to extract from God's necessary existence is God's oneness. The aim of the present Element is to provide a detailed discussion of Avicenna's arguments for the existence and unity of God. Through this project, the author hopes to clarify how, for Avicenna, the Islamic concept of monotheism is intertwined with the concept of essential existence.