This paper studies intentional action in stit logic. The formal logic study of intentional action appears to be new, since most logical studies of intention concern intention as a static mental state. In the formalization we distinguish three modes of acting: the objective level concerning the choices an agent objectively exercises, the subjective level concerning the choices an agent knows or believes to be exercising, and finally, the intentional level concerning the choices an agent intentionally exercises. Several axioms constraining the (...) relations between these different modes of acting will be considered and discussed. The side effect problem will be analyzed as an interaction between knowingly doing and intentionally doing. Non-successful action will be analyzed as a weakening of the epistemic attitude towards action. Finally, the notion of ‘attempt’ will be briefly considered as a further weakening in this direction. (shrink)

We extend stit logic by adding a spatial dimension. This enables us to distinguish between powers and opportunities of agents. Powers are agent-specific and do not depend on an agent’s location. Opportunities do depend on locations, and are the same for every agent. The central idea is to define the real possibility to see to the truth of a condition in space and time as the combination of the power and the opportunity to do so. The focus on agent-relative powers (...) and space-relative opportunities firmly roots effectivity of an autonomous choice making agent in a space–time picture. Our space–time view will be classically Newtonian, since we will assume relativistic phenomena do not play a role in agentive effectivity. We show how our semantics naturally distinguishes between different kinds of histories; histories that reflect real possibilities and histories that reflect counterfactual possibilities. Furthermore, we discuss how the spatial picture sheds light on conceptual problems plaguing the central stit property of ‘independence of agency’. At several points in the article we will emphasise and defend the differences with Belnap’s theory of agency in relativistic branching space–times. (shrink)

We investigate a series of logics that allow to reason about agents' actions, abilities, and their knowledge about actions and abilities. These logics include Pauly's Coalition Logic CL, Alternating-time Temporal Logic ATL, the logic of ‘seeing-to-it-that' (STIT), and epistemic extensions thereof. While complete axiomatizations of CL and ATL exist, only the fragment of the STIT language without temporal operators and without groups has been axiomatized by Xu (called Ldm). We start by recalling a simplification of the Ldm that has been (...) proposed in previous work, together with an alternative semantics in terms of standard Kripke models. We extend that semantics to groups via a principle of superadditivity, and give a sound and complete axiomatization that we call Ldm G. We then add a temporal ‘next' operator to Ldm G, and again give a sound and complete axiomatization. We show that Ldm G subsumes coalition logic CL. Finally, we extend these logics with standard S5 knowledge operators. This enables us to express that agents see to something under uncertainty about the present state or uncertainty about which action is being taken. We focus on the epistemic extension of X-Ldm G, noted E-X-Ldm G. In accordance with established terminology in the planning community, we call this extension of X-Ldm G the conformant X-Ldm G. The conformant X-Ldm G enables us to express that agents are able to perform a uniform strategy. We conclude that in that respect, our epistemic extension of X-Ldm G is better suited than epistemic extensions of ATL. (shrink)

Realism for agents with unconditional beliefs, desires and intentions has been analyzed in modal logic. This paper provides a logical analysis of realism for agents with conditional beliefs and desires in a rule based approach analogous to Reiter's default logic. We distinguish two types of realism, which we call ‘a priori' and ‘a posteriori' realism. We analyze whether these two new properties are compatible with other properties discussed in the literature, such as existence of extensions. We show that Reiter's default (...) logic is too strong, in the sense that a weaker notion of maximality of extensions is needed to satisfy realism. Finally we show that several existing approaches do not satisfy the new realism properties, and we introduce a new construction that does satisfy them. (shrink)

The aim of the work is to provide a language to reason about Closed Interactions, i.e. all those situations in which the outcomes of an interaction can be determined by the agents themselves and in which the environment cannot interfere with they are able to determine. We will see that two different interpretations can be given of this restriction, both stemming from Pauly Representation Theorem. We will identify such restrictions and axiomatize their logic. We will apply the formal tools to (...) reason about games and their regulation. (shrink)

When there are two lines of argument that contradict each other but still end up with the same conclusion, this conclusion is called a floating conclusion. It is an open topic in skeptical defeasible reasoning if floating conclusions ought to be accepted. Inter- estingly, the answer seems to be changing for different examples. In this paper, we propose a solution for explaining the different treatments of the floating conclusion in the various examples from the literature. We collect the examples from (...) the literature, extend them with additional examples and test various hypotheses for explaining the difference by means of the examples. We will argue for a framework that accepts a floating conclusion by default but allows for reasons to deviate from the default in order to reject it. These reasons nicely explain the different underlying patterns of our intuitions. (shrink)

We extend epistemic stit theory with a modality \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$I_\alpha \varphi $$\end{document}, meant to express that at some moment agent \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\alpha $$\end{document} had a present-directed intention toward the realization of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varphi $$\end{document}. The semantics is based on the extension of stit frames with special topologies associated to agents. The open sets of the associated topology (...) are interpreted as present-directed intentions, that support whether an agent had an intention of realizing a specific state of affairs when it chose one of its available actions and executed it. As an important application, we use \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$I_\alpha \varphi $$\end{document} to formalize intentional action and intentional responsibility. We present an axiom system for our logic of intentionality, and prove that it is sound and complete. (shrink)

Many philosophers are convinced that rationality dictates that one’s overall set of intentions be consistent. The starting point and inspiration for our study is Bratman’s planning theory of intentions. According to this theory, one needs to appeal to the fulfilment of characteristic planning roles to justify norms that apply to our intentions. Our main objective is to demonstrate that one can be rational despite having mutually inconsistent intentions. Conversely, it is also shown that one can be irrational despite having a (...) consistent overall set of intentions. To overcome this paradox, we argue that it is essential for a successful planning system that one’s intentions are practically consistent rather than being consistent or applying an aggregation procedure. Our arguments suggest that a new type of norm is needed: whereas the consistency requirement focuses on rendering the contents of one’s intentions consistent, our new practical consistency requirement demands that one’s intentions be able to simultaneously and unconditionally guide one’s action. We observe that for intentions that conform to the ‘own-action condition’, the practical consistency requirement is equivalent to the traditional consistency requirement. This implies that the consistency requirement only needs to be amended in scenarios of choice under uncertainty. (shrink)

This paper explores the analysis of ability, where ability is to be understood in the epistemic sense—in contrast to what might be called a causal sense. There are plenty of cases where an agent is able to perform an action that guarantees a given result even though she does not know which of her actions guarantees that result. Such an agent possesses the causal ability but lacks the epistemic ability. The standard analysis of such epistemic abilities relies on the notion (...) of action types—as opposed to action tokens—and then posits that an agent has the epistemic ability to do something if and only if there is an action type available to her that she knows guarantees it. We show that these action types are not needed: we present a formalism without action types that can simulate analyzes of epistemic ability that rely on action types. Our formalism is a standard epistemic extension of the theory of “seeing to it that”, which arose from a modal tradition in the logic of action. (shrink)

In Multi Agent Systems it is often the case that individual preferences are not compatible and coalitions compete to achieve a given result. The paper presents a language to talk about the conflict between coalitional choices and it expresses deontic notions to evaluate them. We will be specifically concerned with cases where the collective perspective is at odds with the individual perspective.

Students of Thomas Aquinas have so far lacked a comprehensive study of his doctrine of the transcendentals. This volume fills this lacuna, showing the fundamental character of the notions of being, one, true and good for his thought. The book inquires into the beginnings of the doctrine in the thirteenth century and explains the relation of the transcendental way of thought to Aquinas's conception of metaphysics. It analyzes 'Being', 'One', 'True', 'Good' and 'Beautiful' individually and discusses their importance for the (...) philosophical knowledge of God. Medieval Philosophy and the Transcendentals: The Case of Thomas Aquinas is intended as a contribution to the question 'What is philosophy in the Middle Ages?' It argues that the doctrine of the transcendentals is essential for understanding medieval philosophy. (shrink)

This book provides for the first time a complete history of the doctrine of the transcendentals and shows its importance for the understanding of philosophy in the Middle Ages.

Philosophical Theology in Islam explores the later history of the Ashʿarī school of theology through in-depth studies on its thought, sources, scholarly networks and contexts.

Dealing with conflicts seems to be a great challenge in society today. But not only in society. Higher education displays an air of resoluteness with certainty and security that disguises the conflicts and the fear of conflicts in a substantial number of subjects. If not in a state of denial, higher education avoids taking up conflicts over issues, for learning. The detailed investigation of Tagore’s pedagogical writings, with a focus on the importance of conflicts in education, reveals a genuine embrace (...) of conflicts for education. Conflicts are natural and necessary for the development and change of both the individual and society and the start of a ‘creative imagination’ to solve the problems we face in life. Contradictions in conflicts are not incompatible incongruities that are irreconcilable and mutually exclusive, but to the contrary, in need of each other. Contradictions do not represent different worlds but are substantial parts of one world: together they form a unity. Conflicting forces are necessary to create harmony. Creativity, imagination, love, art, and critical encounters are key elements in Tagore’s practical education aimed at finding similarities among people instead of emphasizing differences. Relations between people over the Identity of people. In other words, we need conflicts to become creative and imaginative human beings. The paper continues discussing conceptual and practical issues that seem necessary to get the teaching of conflicts in education off the ground. On the conceptual level, in particular our dealing with uncertainty and fear, the valuation of conflict and the need for uncertainty-researching education. On a practical level, I propose a certain teaching model, a supportive curriculum, a way of choosing genuine conflicts for education and finally, I argue for specific support and education of teachers, acknowledging the vital role teachers play in delivering the education that we need. (shrink)

«Wer die heilige Schrift liebt, liebt auch die Philosophie, um durch sie den Glauben zu bestärken; aber die Philosophie ist der Baum der Erkenntnis von Gut und Böse, weil in ihr die Falschheit der Wahrheit beigemischt ist». Dieser Ausspruch Bonaventuras in einer Adventspredigt zu Joh 1,26-27 aus dem Jahre 1267 spiegelt die ganze Ambivalenz wider, die sich in seinen Schriften mit Bezug auf die Philosophie findet. Dem unverkennbaren philosophisch-spekulativen Impetus seines Denkens steht eine teilweise harsche Philosophen- und Philosophiekritik gegenüber. «Die (...) Philosophen gaben neun Wissenschaften und versprachen, eine zehnte zu geben, nämlich die Schau. Aber indem sich viele Philosophen von der Finsternis des Irrtums trennen wollten, verstrickten sie sich in größere Irrtümer; und indem sie sich weise nannten, wurden sie zu Toren; indem sie auf ihr Wissen stolz waren, wurden sie zu Gefolgsleuten Luzifers». (shrink)

Two fundamentally different conceptions of unity can be found in the philosophical tradition. My thesis is that both of them go back to one text, Plato's Parmenides. Plato argues that if the One is posed as unity (the first hypothesis), the One is unthinkable and unnamable. If the One is posed as being (the second hypothesis), we think a plurality. Plotinus explicitly relates his conception of unity to the Parmenides. The One is the origin of the second hypostasis that is (...) marked by the connection of unity and plurality. The One itself is Apollo, a name that is explained as a polla, that is, the ‘not-many’, is indistinct and beyond being. Characteristic of Neoplatonic thought, for which the term ‘henology’ has been introduced, is the absolute transcendence of the One. According to E. Gilson (Being and Some Philosophers) Neoplatonism is incompatible with ‘the mental universe of Christian thinkers’ on account of its thesis that the One transcends being. Yet two henological moments strongly influenced Christian tradition. The first is the idea of ‘negative theology’. It is perceptible in Nicolaus of Cues, who considers ‘Unity’ the most appropriate name for God. The second moment is the spiritual, mystical idea of ‘the union with the One’ (cf. Master Eckhart). More substantial than Gilson's criticism is the position of Levinas who reproaches classical philosophy with the elimination of plurality. The question is whether unity can be conceived in such a way that the plurality of things is saved. The second conception of unity was developed by Aristotle in his Metaphysics (IV, 2). In a critical reaction to the second hypothesis of the Parmenides he argues that ‘being’ and ‘one’ are identical in reality, but differ conceptually. ‘One’ expresses the undividedness (indivisio) of that which is. What deserves attention is that unity does not deny plurality, but division. Aristotle's exposition became the startingpoint of the 13th century doctrine of the transcendentia. Characteristic of this conception of the one is the transcendentality : the one is a property belonging to every being. The importance of this view is twofold. First, the metaphysical one is clearly distinguished from the mathematical one, that belongs to the category of quantity. Second, from the transcendentality follows that ‘one’ has an analogous character. There is no uniformity in unity. The transcendental one determines being in itself. Is not another type of unity required, that is relational in nature ? Some Dutch philosophers have recently developed a new conception of unity, namely, ‘unity as intersubjectivity’. This conception has a theological root : Thomas Aquinas' interpretation of the doctrine of the Trinity. The modern view of unity as an intersubjective unity of a plurality can be understood as a completion of the transcendental conception of the one. The transcendent conception of the One and the transcendental conception have common traits. Thinking of the one is always a transcending movement. Moreover, it implies the task of a union, for it deals with a unity that is not yet, but must be. (shrink)

INTRODUCTION This study arose from involvement with the works of Thomas Aquinas (/5-) that was not only intensive, but also extensive in the time devoted to ...

Representing the thinking of philosophers, psychologists, sociologists, coaches, and sports writers, these essays bring together a wide range of approaches to ...

This paper is my commentary on Raymond Tallis’ book Freedom: An Impossible Reality (2021). Tallis argues that the laws described by science are dependent on human agency which extracts them from nature. Consequently, human agency cannot be explained as an effect of natural laws. I agree with Tallis’ main argument and I appreciate that he helps us understand the systematic importance of a human-scale breadth of view regarding any theoretical investigation. In the main part of the paper, I critically comment (...) on Tallis’ interpretation of several more loosely associated topics from a phenomenological perspective. Firstly, I reconsider Tallis’ account of intentionality as a factor that opens a distance between the cognizer and the world. Whereas Tallis emphasizes that agency requisitions aspects of the world to achieve its goals, I point out that agency does not determine the meaning of things unidirectionally and independently of all context. A self-controlled agency is provisionally reached through a process of ‘deindexicalization’ of our passive intentional capacities, that is, by creating and maintaining new, different worldly contexts. Subsequently, I analyze Tallis’ description of our intentional relation to spatiotemporally distant possibilities. In my view, Tallis underestimates the extent to which our intentional relation to possibilities is pre-reflexive and pre-predicative and hence independent of propositional attitudes. Finally, I consider Tallis’ interpretation of nature and show that it is deeply influenced by the sciences of nature. In contrast, I argue that agency can be properly described only if we understand it as an intervention in a lifeworld already imbued with sense, not merely a physical or material nature. (shrink)

In this paper, I present a solution to the problem that the need to accommodate the phenomenon of epistemic defeat poses for reliabilism. Defeaters are supposed to remove justification for previously justified beliefs. According to standard process reliabilism, the justification of a belief depends on the reliability of a process that is already completed when a defeater for that belief is obtained. It is hard to see, then, how a defeater can affect reliabilist justification, if that justification, from the perspective (...) of the defeater, lies wholly in the past. What is more, undercutting defeaters plausibly defeat by generating incompatibilities with higher-order propositions :105–118, 2014; Melis in Philos Stud 170:433–442, 2014). This is hard to integrate with reliabilism which explicitly denies higher-order conditions for justification. I argue that both of these phenomena can be accommodated by it via what I call the “Replacement Principle”: when a defeater is obtained, it generates either a logical incompatibility or a doxastic incompatibility. The resulting tension is registered and initiates a reasoning process that compares the epistemic support for the defeater with that for the defeated belief. This process may replace the original reliable formation process as a doxastic base for the defeated belief. If the defeater is not given its due weight in the reasoning process, that process was unreliable and if the defeated belief is retained as a result, it will be unjustified. This is intuitively the right result. Since reasoning is reliable, only if it is rational, the account manages to capture the intuition that disregarding a defeater would be irrational without having to make rationality a condition for justification. Replacement is not only plausible on causal pictures of doxastic basing, but also required in order to allow for the possibility of belief reevaluation in general and is therefore not an ad hoc addition to reliabilism, but rather part of its inherent explanatory resources. (shrink)

This paper is a defense of an internalist view of the perception of shapes. A basic assumption of the paper is that perceptual experiences have certain parts which account both for the phenomenal character associated with perceiving shapes—phenomenal shapes—and for the intentional content presenting shapes—intentional shapes. Internalism about perceptions of shapes is defined as the claim that phenomenal shapes determine the intentional shapes. Externalism is defined as the claim that perceptual experiences represent whatever shape the phenomenal shape reliably tracks. The (...) argument against externalism proceeds in three steps. First, it is argued that phenomenal shapes are modality specific, such that a phenomenal shape that features in a visual perceptual experience cannot feature in a haptic perceptual experience, and vice versa. Second, it is argued that intentional shapes are amodal. Third, it is argued that externalism is incompatible with the fact that phenomenal shapes are modality specific and intentional shapes amodal. (shrink)

ABSTRACT On 22 January 2001, the UK became the first country to approve of embryonic stem cell research by passing the Human Fertilisation (Research Purposes) Regulations 2001, which legislated new research purposes for which early embryos can be used, in addition to those approved by the Human Fertilisation and Embryology Act 1990. Legal advisory committees, most notably the Chief Medical Officer's Expert Group and the House of Lords’ Select Committee, have offered various reasons, which can also be found in the (...) ethics literature, to justify this change. Those examined here are the views that: 1. Early embryos lack relevant qualities (or ‘the argument from lack of qualities’) and 2. Early embryos only have a potentiality to become humans with moral status (or ‘the argument from potentiality’). The validity of these arguments is questioned and a case is made for egalitarian speciesism. Embryos have moral status (used here in the restricted sense of the status possessed by all members of the class of beings which deserve the greatest moral significance in equal measure). They have more value than the value that should be assigned to nonhuman beings from the start of fertilisation. Current UK legislation on embryo research is immoral. (shrink)

The book series Linguistische Arbeiten (LA) publishes high-quality work in linguistics that addresses current issues in synchrony and diachrony, theoretically or empirically oriented.

This paper analyses recent calls for so called “neurorights”, suggested novel human rights whose adoption is allegedly required because of advances in neuroscience, exemplified by a proposal of the Neurorights Initiative. Advances in neuroscience and technology are indeed impressive and pose a range of challenges for the law, and some novel applications give grounds for human rights concerns. But whether addressing these concerns requires adopting novel human rights, and whether the proposed neurorights are suitable candidates, are a different matter. This (...) paper argues that the proposed rights, as individuals and a class, should not be adopted and lobbying on their behalf should stop. The proposal tends to promote rights inflationism, is tainted by neuroexceptionalism and neuroessentialism, and lacks grounding in relevant scholarship. None of the proposed individual rights passes quality criteria debated in the field. While understandable from a moral perspective, the proposal is fundamentally flawed from a legal perspective. Rather than conjuring up novel human rights, existing rights should be further developed in face of changing societal circumstances and technological possibilities. (shrink)

International institutions such as UNESCO are deliberating on a new standard setting instrument for neurotechnologies. This will likely lead to the adoption of a soft law document which will be the first global document specifically tailored to neurotechnologies, setting the tone for further international or domestic regulations. While some stakeholders have been consulted, these developments have so far evaded the broader attention of the neuroscience, neurotech, and neuroethics communities. To initiate a broader debate, this target article puts to discussion twenty-five (...) considerations and desiderata for recognition by a future instrument. They are formulated at different levels of abstraction, from the big picture to technical details, seek to widen the perspective of preparatory reports and transcend the narrow debate about “neurorights” which overshadows many richer and more relevant aspects. These desiderata are not an exhaustive enumeration but a starting point for discussions about what deserves and what requires protection by an international instrument. (shrink)

This article addresses the question whether Whiteheadians should be vegetarians in two ways. First, I question whether Whitehead should have been a vegetarian to be consistent, arguing that his omnivorous diet was inconsistent with his own philosophy. Second, I evaluate the works of three distinguished Whiteheadian philosophers on the ethics of vegetarianism. I argue that Charles Birch, John Cobb, and Jay McDaniel have prioritized animals justifiably over other organisms, yet that Birch and Cobb fail to do justice to the lives (...) of other animals, and that the account provided by McDaniel fails to provide a convincing argument for minimal moral vegetarianism. (shrink)