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)

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)

Philosophy of science education can play a vital role in the preparation and professional development of science teachers. In order to fulfill this role a philosophy of science education should be made practical for teachers. First, multiple and inherently incomplete philosophies on the teacher and teaching on what, how and why should be integrated. In this paper we describe our philosophy of science education which is composed of bounded rationalism as a guideline for understanding teachers’ practical reasoning, liberal education underlying (...) the why of teaching, scientific perspectivism as guideline for the what and educational social constructivism as guiding choices about the how of science education. Integration of multiple philosophies into a coherent philosophy of science education is necessary but not sufficient to make it practical for teachers. Philosophies are still formulated at a too abstract level to guide teachers’ practical reasoning. For this purpose, a heuristic model must be developed on an intermediate level of abstraction that will provide teachers with a bridge between these abstract ideas and their specific teaching situation. We have developed and validated such a heuristic model, the CLASS model in order to complement our ASSET approach. We illustrate how science teachers use the ASSET approach and the CLASS model to make choices about the what, the how and the why of science teaching. (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)

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)

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)

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)

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.

Normative theories of media functions require a clear distinction between the media's two roles as forum and speaker in public spheres. This article seeks to study potential violations of the rule of separating fact from opinion. The comparative content analysis takes a European political conflict, the so-called Haider debate, as a litmus test of objectivity of news reporting. The study reveals some critical consequences of the press' political involvement in the debate. In all countries under study, the press tends to (...) incorporate journalistic evaluations into the news. The Haider debate was characterized by a ‘political parallelism’ of the press in a manner which Hallin and Mancini re-defined as ‘party-press parallelism’. The newspapers favorably gave voice to speakers supporting their own positions, thus instrumentalizing opportune witnesses. As a result, the newspapers ‘synchronized’ the coverage with their editorial stances, which lead to biased news reporting in all outlets. (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)

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)

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)

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.

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.

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)

I first met Hans Albert in 1974, when together with two friends, Rob de Vries and Berry van Berkel, I participated in the European Forum Alpbach for the first time. We attended the seminar that was led by John Watkins and Walter Kaufmann and, of course, went to as many of the plenary meetings as possible. At the time, the seminar week and the bulk of the plenary events were still organized during the same period and were included in (...) the fee, neither of which is unfortunately the case any longer. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Philosophy 41.2 (2003) 276-277 [Access article in PDF] Wiep Van Bunge. From Stevin to Spinoza: An Essay on Philosophy in the Seventeenth-Century Dutch Republic. Leiden: Brill, 2001. Pp. xii + 217. Cloth, $80.00 By 1660 there were probably more followers of Descartes in the Dutch Republic, population 1.4 million, than in France, population 20 million. Protestantism and prosperity encouraged high rates of literacy and (...) the universities of Leiden and Utrecht were among the liveliest in the world. This vibrancy infused the metaphors that Descartes put into his great Discours de la methode published first in Leiden in 1637. In it he spoke about the beauty of cities that looked as if they had been built by a single architect and of the freedom to be found among people so busy with their business as to leave thinkers to their pursuits. Indirectly he spoke about his adopted homeland where he found many followers—some more eager than loyal. By the 1640s disputes raged in the Republic and the anti-Cartesian forces were led by the Aristotelian and anti-Copernican Gisbertus Voetius. What has been missing in our scholarship up to now has been any convincing account as to why these disputes occurred, and how they resonated within the Dutch context. Wiep Van Bunge's book takes a big step toward closing that knowledge gap.Van Bunge convincingly argues that the vibrancy of the stadtholder-less period up to 1672 produced a willingness to entertain new ideas. It also did not hurt to have Descartes on the scene and active on behalf of his mechanical philosophy, even to the point of addressing the Utrecht magistrates publicly and asking that his critics be chastised. What is remarkable—especially given the resistance to Descartes seen at Oxford and Cambridge—was the speed with which Cartesian ideas entered the Dutch classrooms where as many as a third of the students came from abroad. Again Van Bunge provides context when he starts with the Dutch engineer Simon Stevin and demonstrates the vitality of mathematics for a commercial society but also for a militant one. (The Netherlands was at war with Spain up to 1609.) A recent exhibition at the J. Paul Getty Museum in Los Angeles, April to July 2002, also illustrates another aspect of mathematics in the Republic. Precisely in the 1630s when Descartes was putting the finishing touches on his Discours, Pieter Saenredam applied geometry to the interiors of the elegant Utrecht churches so as to give his paintings a regularity and precision worthy of the Cartesian dream of order and clarity. The Dutch commitment to discipline and order also made their army one of the most accomplished in the world. It was perhaps over-determined that Descartes, who had trained with it, would find such a sympathetic audience in the Republic.One of the more fascinating aspects of Van Bunge's detailed study, first of Cartesianism and then of Spinozism in the Republic, concerns the political and ideological meanings to be extracted from the new philosophy. Hobbes also finds a place in the narrative, surprisingly taken up by republicans eager to construct a state that could control the passions. Abraham van Berkel, who put Hobbes's Leviathan into Dutch in 1667, gave the allegiance of his text and himself to Jan de Witt and the cause of the regents and the estates. We can only wonder what Hobbes would have made of the association. The republican affiliations of the mechanical philosophy in the Republic provide a distinctively Dutch context to the [End Page 276] political writings of Spinoza, the most famous and outrageous Cartesian of the century. Van Bunge is especially deft in finding Spinozists and providing far more evidence than I could back in 1981 when I argued for a radical enlightenment within the late seventeenth-century Dutch context (see The Radical Enlightenment. Pantheists, Freemasons and Republicans [London: 1981]). None of these positions with their deeply heretical implications could be taken lightly or without danger. Men lost... (shrink)