Historians of science and the philosophy of science find the substance and stance of Isaac Beeckman's thought highly interesting, for it represented an early attempt to develop a comprehensive picture of the world by means of mechanistic theory, that is, forces acting upon one another. Besides possibly influencing Descartes, this view broke away from medieval religious assumptions and belief in occult forces. Berkel teases out Beeckman's evolving approach to nature by means of his extensive journals, explaining the leading concept (...) of "picturability." Beeckman supplied a stepping stone (one still not widely appreciated) on the path that led to the scientific revolution. (shrink)

Het denken van de Nederlandse filosoof Leo Polak (1880-1941) heeft nog altijd niet aan actualiteit ingeboet. Hij bepleitte hartstochtelijk de autonomie van de menselijke rede, worstelde met de grondslag van onze ethiek en wierp zich in een tijd van politieke massabewegingen en toenemende verzuiling op als kampioen van het vrije denken. Zelfs tijdens de Duitse bezetting hield hij vast aan zijn zelfstandig oordeel – een houding die hij eind 1941 met de dood in een concentratiekamp moest bekopen. Al die jaren (...) hield hij een dagboek bij, voor hem een essentieel middel om greep te krijgen op zijn leven. Op basis hiervan worden in deze bundel nieuwe aspecten van Polaks leven en werk belicht: zijn denken over schuld en vergelding, zijn verhouding tot grote filosofen als Spinoza en Heymans en zijn houding tegenover het nationaalsocialisme, maar ook zijn familieleven, zijn boekenverzameling en zijn geestelijke nalatenschap. (shrink)

From 22-25 May, 1999, the University of Groningen hosted an international conference on 'The Book of Nature. Continuity and change in European and American attitudes towards the natural world'. From Antiquity down to our own time, theologians, philosophers and scientists have often compared nature to a book, which might, under the right circumstances, be read and interpreted in order to come closer to the 'Author' of nature, God. The 'reading' of this book was not regarded as mere idle curiosity, but (...) it was seen as leading to a deeper understanding of God's wisdom and power, and it culturally legitimated and promoted a positive attitude towards nature and its study. A selection of the papers which were delivered at the conference has been edited in two volumes. The first deals with the perception of the Book of Nature in Antiquity and the Middle Ages; the second volume is devoted to the history of the concept in early modern and modern history. (shrink)

Amsterdam University Press is a leading publisher of academic books, journals and textbooks in the Humanities and Social Sciences. Our aim is to make current research available to scholars, students, innovators, and the general public. AUP stands for scholarly excellence, global presence, and engagement with the international academic community.

In this work we answer a long standing request for temporal embeddings of deontic STIT logics by introducing the multi-agent STIT logic TDS . The logic is based upon atemporal utilitarian STIT logic. Yet, the logic presented here will be neutral: instead of committing ourselves to utilitarian theories, we prove the logic TDS sound and complete with respect to relational frames not employing any utilitarian function. We demonstrate how these neutral frames can be transformed into utilitarian temporal frames, while preserving (...) validity. Last, we discuss problems that arise from employing binary utility functions in a temporal setting. (shrink)

We formally introduce a novel, yet ubiquitous, category of norms: norms of instrumentality. Norms of this category describe which actions are obligatory, or prohibited, as instruments for certain purposes. We propose the Logic of Agency and Norms (LAN) that enables reasoning about actions, instrumentality, and normative principles in a multi-agent setting. Leveraging LAN , we formalize norms of instrumentality and compare them to two prevalent norm categories: norms to be and norms to do. Last, we pose principles relating the three (...) categories and evaluate their validity vis-à-vis notions of deliberative acting. On a technical note, the logic will be shown decidable via the finite model property. (shrink)

This article proposes the use of temporal logic for an analysis of instrumentality inspired by the work of G.H. von Wright. The first part of the article contains the philosophical foundations. We discuss von Wright’s general theory of agency and his account of instrumentality. Moreover, we propose several refinements to this framework via rigorous definitions of the core notions involved. In the second part, we develop a logical system called Temporal Logic of Action and Expectations (TLAE). The logic is inspired (...) by a fragment of propositional dynamic logic based on indeterministic time. The system is proven to be weakly complete relative to its given semantics. We then employ TLAE to formalise and analyse the instrumentality relations defined in the first part of the paper. Last, we point out philosophical implications and possible extensions of our work. (shrink)

This book presents a multidisciplinary perspective on chance, with contributions from distinguished researchers in the areas of biology, cognitive neuroscience, economics, genetics, general history, law, linguistics, logic, mathematical physics, statistics, theology and philosophy. The individual chapters are bound together by a general introduction followed by an opening chapter that surveys 2500 years of linguistic, philosophical, and scientific reflections on chance, coincidence, fortune, randomness, luck and related concepts. A main conclusion that can be drawn is that, even after all this time, (...) we still cannot be sure whether chance is a truly fundamental and irreducible phenomenon, in that certain events are simply uncaused and could have been otherwise, or whether it is always simply a reflection of our ignorance. Other challenges that emerge from this book include a better understanding of the contextuality and perspectival character of chance (including its scale-dependence), and the curious fact that, throughout history (including contemporary science), chance has been used both as an explanation and as a hallmark of the absence of explanation. As such, this book challenges the reader to think about chance in a new way and to come to grips with this endlessly fascinating phenomenon. (shrink)

STIT logic is a prominent framework for the analysis of multi-agent choice-making. In the available deontic extensions of STIT, the principle of Ought-implies-Can (OiC) fulfills a central role. However, in the philosophical literature a variety of alternative OiC interpretations have been proposed and discussed. This paper provides a modular framework for deontic STIT that accounts for a multitude of OiC readings. In particular, we discuss, compare, and formalize ten such readings. We provide sound and complete sequent-style calculi for all of (...) the various STIT logics accommodating these OiC principles. We formally analyze the resulting logics and discuss how the different OiC principles are logically related. In particular, we propose an endorsement principle describing which OiC readings logically commit one to other OiC readings. (shrink)

The science and faith debate is dominated by Western voices. In order to enrich this debate, the authors study the discourses of different groups of Christian academics and master's students in francophone Africa. This article describes the process of reconstructing and analyzing the discourse of a group of master's students from Abidjan (Ivory Coast) with the help of group model building and focus groups. Three characteristic features that emerge from this discourse include the foundational position of faith, the central role (...) of truth, and the ambiguous connotations of the term “science” in this context. The reconstructed discourse is then brought into conversation with the North Atlantic debate, with a special focus on the concept of scientism. (shrink)

This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics. A new class of cut-free complete labelled sequent calculi G3LdmL^m_n, for multi-agent STIT with at most n-many choices, is introduced. We refine the calculi G3LdmL^m_n through the use of propagation rules and demonstrate the admissibility of their structural rules, resulting in auxiliary calculi Ldm^m_nL. In the single-agent case, we (...) show that the refined calculi Ldm^m_nL derive theorems within a restricted class of (forestlike) sequents, allowing us to provide proof-search algorithms that decide single-agent STIT logics. We prove that the proof-search algorithms are correct and terminate. (shrink)

Identifying genomic homology within and between genomes is essential when studying genome evolution. In the past years, different computational techniques have been developed to detect homology even when the actual similarity between homologous segments is low. Depending on the strategy used, these methods search for pairs of chromosomal segments between which either both gene content and order are conserved or gene content only. However, due to fact that, after their divergence, homologous segments can lose a different set of genes, these (...) methods still often fail to detect genomic homology. Recently, more advanced approaches have been developed that can combine gene order and content information of multiple genomic segments. BioEssays 26:1225–1235, 2004. © 2004 Wiley Periodicals, Inc. (shrink)

We present cut-free labelled sequent calculi for a central formalism in logics of agency: STIT logics with temporal operators. These include sequent systems for Ldm , Tstit and Xstit. All calculi presented possess essential structural properties such as contraction- and cut-admissibility. The labelled calculi G3Ldm and G3Tstit are shown sound and complete relative to irreflexive temporal frames. Additionally, we extend current results by showing that also Xstit can be characterized through relational frames, omitting the use of BT+AC frames.

Isaac Beeckman was a master craftsman from the Zeeland town Middelburg who studied to become schoolmaster in the Holland towns of Rotterdam and Dordrecht. He was a strict Calvinist and a tireless observer and contemplator of natural phenomena. Foremost, he was the first mechanical philosopher in Europe who played a key role in the intellectual development of René Descartes and inspired pioneers of mechanistic thinking Marin Mersenne and Pierre Gassendi . We know this because Beeckman kept a journal throughout his (...) life in which he recorded his observations and ideas. The journal is a treasure trove of early modern knowing. Beeckman had a keen eye for the world around him and responded to what he saw, as well as the reflections of others, with a highly original mind. The journal was discovered in 1905 by Cornelis de Waard , who subsequently edited and published it between 1939 and 1953 . Although some acquainta .. (shrink)

This paper examines the conceptual and terminological overlap between theories and models of practical deliberation developed within the fields of Practical Reasoning (PR) and Practical Argumentation (PA). It carefully delineates the volitional, epistemic, normative, and social commitments invoked and explicates various rationales for attributing the label ‘practical’ to instances of reasoning and argumentation. Based on these analyses, the paper develops a new approach to practical deliberation called the Stakeholder Commitment Approach (SCA). By distinguishing between ‘problem holder’ and ‘problem solver’, and (...) specifying the distributions of attributable commitments among the stakeholders, the SCA introduces an extension and refinement of the grounds for assigning the label ‘practical’ that brings PR and PA closer together. (shrink)

Centered around the analysis of the prescriptive portion of the Vedas, the Sanskrit philosophical school of Mīmāṃsā provides a treasure trove of normative investigations. We focus on the leading Mīmāṃsā authors Prabhākara, Kumārila and Maṇḍana, and discuss three modal logics that formalize their deontic theories. In the first part of this paper, we use logic to analyze, compare and clarify the various solutions to the _śyena_ controversy, a two-thousand-year-old problem arising from seemingly conflicting commands in the Vedas. In the second (...) part, the formalized Mīmāṃsā theories are analyzed and employed to provide alternative perspectives on well-known paradoxes from the contemporary field of deontic logic. Thus, we go from logic to Mīmāṃsā and back again. (shrink)

We present a logic of agency called LAE whose language includes propositional constants for actions and expectations. The logic is based on Von Wright’s theory of agency in general and his analysis of instrumentality in particular. An axiomatization of the logic, including an independence of agents axiom, is provided and soundness and completeness are shown with respect to its intended class of frames. The framework of LAE will allow us to formally define a manifold of concepts involved in agency theories, (...) including Von Wright’s four elementary forms of action, the notion of forbearance and notions of instrumentality that make reference to an agent’s expectations. (shrink)

Ibn al-Sāʿī, Consorts of the Caliphs: Women and the Court of Baghdad. Edited by Shawkat M. Toorawa, translated by Editors of LAL. Library of Arabic Literature. New York: New York University Press, 2015. Pp. xlv + 226. $30.

Recent developments in agriculture have stirred up interest in the concept of “sustainable” farming systems. Still it is difficult to determine the extent to which certain agricultural practices can be considered sustainable or not. Aiming at identifying the necessary attributes with respect to sustainability in Dutch dairy farming in the beginning of the third millennium, we first compiled a list of attributes referring to all farming activities with their related side effects with respect to economic, internal social, external social, and (...) ecological sustainability. A wide range of people (i.e., experts and stakeholders) were consulted to contribute to our list of attributes. Our consultation showed that only one attribute was selected for economic and internal social sustainability: profitability and working conditions, respectively. The list for external social sustainability contained 19 attributes and the list for ecological sustainability contained 15 attributes. To assess their relative importance, the same experts and stakeholders ranked the attributes for external social and ecological sustainability by using a questionnaire. The most important attributes for external social sustainability were food safety, animal health, animal welfare, landscape quality, and cattle grazing. For ecological sustainability they were eutrophication, groundwater pollution, dehydration of the soil, acidification, and biodiversity. The present method for identifying and ranking attributes is universal and, therefore, can be used for other agricultural sectors, for other countries, and for other time periods. (shrink)