Shahid Rahman

Tony Street

Hassan Tahiri

the demise of the logical positivism programme. The answers given to these qu- tions have deepened the already existing gap between philosophy and the history and practice of science. While the positivists argued for a spontaneous, steady and continuous growth of scientific knowledge the post-positivists make a strong case for a fundamental discontinuity in the development of science which can only be explained by extrascientific factors. The political, social and cultural environment, the argument goes on, determine both the questions and the terms in which they should be answered. Accordingly, the sociological and historical interpretation - volves in fact two kinds of discontinuity which are closely related: the discontinuity of science as such and the discontinuity of the more inclusive political and social context of its development. More precisely it explains the discontinuity of the former by the discontinuity of the latter subordinating in effect the history of science to the wider political and social history. The underlying idea is that each historical and - cial context generates scientific and philosophical questions of its own. From this point of view the question surrounding the nature of knowledge and its development are entirely new topics typical of the twentieth-century social context reflecting both the level and the scale of the development of science.

Science, Logic, Epistemology and their Interactions

The Unity of Science in the Arabic Tradition

Matthias Armgardt

Hans Christian Nordtveit Kvernenes

This book intends to unite studies in different fields related to the development of the relations between logic, law and legal reasoning. Combining historical and philosophical studies on legal reasoning in Civil and Common Law, and on the often neglected Arabic and Talmudic traditions of jurisprudence, this project unites these areas with recent technical developments in computer science. This combination has resulted in renewed interest in deontic logic and logic of norms that stems from the interaction between artificial intelligence and law and their applications to these areas of logic. The book also aims to motivate and launch a more intense interaction between the historical and philosophical work of Arabic, Talmudic and European jurisprudence. The publication discusses new insights in the interaction between logic and law, and more precisely the study of different answers to the question: what role does logic play in legal reasoning? Varying perspectives include that of foundational studies (such as logical principles and frameworks) to applications, and historical perspectives.

From Ancient Law to Modern Legal Systems

New Developments in Legal Reasoning and Logic

Mojtaba Mojtahedi

Mohammad Saleh Zarepour

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.

Essays in Honour of Mohammad Ardeshir

Mathematics, Logic, and their Philosophies

John Symons

Dov M. Gabbay

Jean Paul van Bendegem

The first volume in this new series explores, through extensive co-operation, new ways of achieving the integration of science in all its diversity. The book offers essays from important and influential philosophers in contemporary philosophy, discussing a range of topics from philosophy of science to epistemology, philosophy of logic and game theoretical approaches. It will be of interest to philosophers, computer scientists and all others interested in the scientific rationality.

Logic, Epistemology, and the Unity of Science

Patrice Canivez

Alexandre Thiercelin

Legal theory, political sciences, sociology, philosophy, logic, artificial intelligence: there are many approaches to legal argumentation. Each of them provides specific insights into highly complex phenomena. Different disciplines, but also different traditions in disciplines (e.g. analytical and continental traditions in philosophy) find here a rare occasion to meet. The present book contains contributions, both historical and thematic, from leading researchers in several of the most important approaches to legal rationality. One of the main issues is the relation between logic and law: the way logic is actually used in law, but also the way logic can make law explicit. An outstanding group of philosophers, logicians and jurists try to meet this issue. The book is more than a collection of papers. However different their respective conceptual tools may be, the authors share a common conception: legal argumentation is a specific argumentation context.

Approaches to Legal Rationality

Muhammad Iqbal

Youcef Soufi

This monograph proposes a new (dialogical) way of studying the different forms of correlational inference, known in the Islamic jurisprudence as qiyās. According to the authors’ view, qiyās represents an innovative and sophisticated form of dialectical reasoning that not only provides new epistemological insights into legal argumentation in general (including legal reasoning in Common and Civil Law) but also furnishes a fine-grained pattern for parallel reasoning which can be deployed in a wide range of problem-solving contexts and does not seem to reduce to the standard forms of analogical reasoning studied in contemporary philosophy of science and argumentation theory. After an overview of the emergence of qiyās and of the work of al-Shīrāzī penned by Soufi Youcef, the authors discuss al-Shīrāzī’s classification of correlational inferences of the occasioning factor (qiyās al-'illa). The second part of the volume deliberates on the system of correlational inferences by indication and resemblance (qiyās al-dalāla, qiyās al-shabah). The third part develops the main theoretical background of the authors’ work, namely, the dialogical approach to Martin-Löf's Constructive Type Theory. The authors present this in a general form and independently of adaptations deployed in parts I and II. Part III also includes an appendix on the relevant notions of Constructive Type Theory, which has been extracted from an overview written by Ansten Klev. The book concludes with some brief remarks on contemporary approaches to analogy in Common and Civil Law and also to parallel reasoning in general.

Al-Shīrāzī’s Insights into the Dialectical Constitution of Meaning and Knowledge

Inferences by Parallel Reasoning in Islamic Jurisprudence

Mathieu Marion

Giuseppe Primiero

The relation between logic and knowledge has been at the heart of a lively debate since the 1960s. On the one hand, the epistemic approaches based their formal arguments in the mathematics of Brouwer and intuitionistic logic. Following Michael Dummett, they started to call themselves `antirealists'. Others persisted with the formal background of the Frege-Tarski tradition, where Cantorian set theory is linked via model theory to classical logic. Jaakko Hintikka tried to unify both traditions by means of what is now known as `explicit epistemic logic'. Under this view, epistemic contents are introduced into the object language as operators yielding propositions from propositions, rather than as metalogical constraints on the notion of inference. The Realism-Antirealism debate has thus had three players: classical logicians, intuitionists and explicit epistemic logicians. The editors of the present volume believe that in the age of Alternative Logics, where manifold developments in logic happen at a breathtaking pace, this debate should be revisited. Contributors to this volume happily took on this challenge and responded with new approaches to the debate from both the explicit and the implicit epistemic point of view.

The Realism-Antirealism Debate in the Age of Alternative Logics

Tero Tulenheimo

Emmanuel Genot

Andinmy haste, I said: “Allmenare Liars” 1 —Psalms 116:11 The Original Lie Philosophical analysis often reveals and seldom solves paradoxes. To quote Stephen Read: A paradox arises when an unacceptable conclusion is supported by a plausible argument from apparently acceptable premises. [...] So three di?erent reactions to the paradoxes are possible: to show that the r- soning is fallacious; or that the premises are not true after all; or that 2 the conclusion can in fact be accepted. There are sometimes elaborate ways to endorse a paradoxical conc- sion. One might be prepared to concede that indeed there are a number of grains that make a heap, but no possibility to know this number. However, some paradoxes are more threatening than others; showing the conclusiontobeacceptableisnotaseriousoption,iftheacceptanceleads to triviality. Among semantic paradoxes, the Liar (in any of its versions) 3 o?ers as its conclusion a bullet no one would be willing to bite. One of the most famous versions of the Liar Paradox was proposed by Epimenides, though its attribution to the Cretan poet and philosopher has only a relatively recent history. It seems indeed that Epimenides was mentioned neither in ancient nor in medieval treatments of the Liar 1 Jewish Publication Society translation. 2 Read [1].

The Modern Relevance of Medieval Solutions to the Liar Paradox

Unity, Truth and the Liar

Juan Manuel Torres

Olga Pombo

Science is a dynamic process in which the assimilation of new phenomena, perspectives, and hypotheses into the scientific corpus takes place slowly. The apparent disunity of the sciences is the unavoidable consequence of this gradual integration process. Some thinkers label this dynamical circumstance a ‘crisis’. However, a retrospective view of the practical results of the scientific enterprise and of science itself, grants us a clear view of the unity of the human knowledge seeking enterprise. This book provides many arguments, case studies and examples in favor of the unity of science. These contributions touch upon various scientific perspectives and disciplines such as: Physics, Computer Science, Biology, Neuroscience, Cognitive Psychology, and Economics.

Philip Shapira

About

Books

Join the club