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)

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.

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)

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

Despite its uniform appearance, the cerebellar cortex is highly heterogeneous in terms of structure, genetics and physiology. Purkinje cells (PCs), the principal and sole output neurons of the cerebellar cortex, can be categorized into multiple populations that differentially express molecular markers and display distinctive physiological features. Such features include action potential rate, but also their propensity for synaptic and intrinsic plasticity. However, the precise molecular and genetic factors that correlate with the differential physiological properties of PCs remain elusive. In this (...) article, we provide a detailed overview of the cellular mechanisms that regulate PC activity and plasticity. We further perform a pathway analysis to highlight how molecular characteristics of specific PC populations may influence their physiology and plasticity mechanisms. (shrink)

This paper addresses theoretical challenges, still relevant today, that arose in the first decades of the twentieth century related to the concept of the organism. During this period, new insights into the plasticity and robustness of organisms as well as their complex interactions fueled calls, especially in the UK and in the German-speaking world, for grounding biological theory on the concept of the organism. This new organism-centered biology understood organisms as the most important explanatory and methodological unit in biological investigations. (...) At least three theoretical strands can be distinguished in this movement: Organicism, dialectical materialism, and holistic biology. This paper shows that a major challenge of OCB was to describe the individual organism as a causally autonomous and discrete unit with consistent boundaries and, at the same time, as inextricably interwoven with its environment. In other words, OCB had to conciliate individualistic with anti-individualistic perspectives. This challenge was addressed by developing a concept of life that included functionalist and metabolic elements, as well as biochemical and physical ones. It allowed for specifying organisms as life forms that actively delimit themselves from the environment. Finally, this paper shows that the recent return to the concept of the organism, especially in the so-called “Extended Evolutionary Synthesis,” is challenged by similar anti-individualistic tendencies. However, in contrast to its early-twentieth-century forerunner, today’s organism-centered approaches have not yet offered a solution to this problem. (shrink)

In recent years, biologists and philosophers of science have argued that evolutionary theory should incorporate more seriously the idea of ‘reciprocal causation.’ This notion refers to feedback loops whereby organisms change their experiences of the environment or alter the physical properties of their surroundings. In these loops, in particular niche constructing activities are central, since they may alter selection pressures acting on organisms, and thus affect their evolutionary trajectories. This paper discusses long-standing problems that emerge when studying such reciprocal causal (...) processes between organisms and environments. By comparing past approaches to reciprocal causation from the early twentieth century with contemporary ones in niche construction theory, we identify two central reoccurring problems: All of these approaches have not been able to provide a conceptual framework that allows maintaining meaningful boundaries between organisms and environments, instead of merging the two, and integrating experiential and physical kinds of reciprocal causation. By building on case studies of niche construction research, we provide a model that is able to solve these two problems. It allows distinguishing between mutually interacting organisms and environments in complex scenarios, as well as integrating various forms of experiential and physical niche construction. (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 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)

There is concern that the use of neuroenhancements to alter character traits undermines consumer's authenticity. But the meaning, scope and value of authenticity remain vague. However, the majority of contemporary autonomy accounts ground individual autonomy on a notion of authenticity. So if neuroenhancements diminish an agent's authenticity, they may undermine his autonomy. This paper clarifies the relation between autonomy, authenticity and possible threats by neuroenhancements. We present six neuroenhancement scenarios and analyse how autonomy accounts evaluate them. Some cases are considered (...) differently by criminal courts; we demonstrate where academic autonomy theories and legal reasoning diverge and ascertain whether courts should reconsider their concept of autonomy. We argue that authenticity is not an appropriate condition for autonomy and that new enhancement technologies pose no unique threats to personal autonomy. (shrink)

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)

The sensorimotor theory of perceptual consciousness offers a form of enactivism in that it stresses patterns of interaction instead of any alleged internal representations of the environment. But how does it relate to forms of enactivism stressing the continuity between life and mind? We shall distinguish sensorimotor enactivism, which stresses perceptual capacities themselves, from autopoietic enactivism, which claims an essential connection between experience and autopoietic processes or associated background capacities. We show how autopoiesis, autonomous agency, and affective dimensions of experience (...) may fit into sensorimotor enactivism, and we identify differences between this interpretation and autopoietic enactivism. By taking artificial consciousness as a case in point, we further sharpen the distinction between sensorimotor enactivism and autopoietic enactivism. We argue that sensorimotor enactivism forms a strong default position for an enactive account of perceptual consciousness. (shrink)

Jan-Olav Henriksen reconstructs and analyzes Christianity as a cluster of practices that manifest a distinct historically and contextually shaped mode of being in the world. Henriksen suggests that these practices imply a complicated relationship between the tradition in which they originate, the community that emerges from and is constituted by that tradition, and the individuals who appropriate the tradition that these communities mediate through their practices. Thus, to think of Christianity simply in terms of belief is misleading and represents an (...) underdetermination of its distinct character. Henriksen further argues this relationship needs to be described primarily as practices aimed at orientation and transformation. His analysis points to Christianity's similarity to other religions in regard to the functional or pragmatic dimensions it displays. Examining facets such as prayer, the use of scripture, preaching and doctrine, Henriksen emphasizes that the element that makes a practice distinctively Christian is how it relates to and is informed by the Jesus story. (shrink)

Epigenetics is currently one of the fastest-growing fields in the sciences. Epigenetic information not only controls DNA expression but links genetic factors with the environmental experiences that influence the traits and characteristics of an individual. What we eat, where we work, and how we live affects not only the activity of our genes but that of our offspring as well. This discovery has imposed a revolutionary theoretical shift on modern biology, especially on evolutionary theory. It has helped to uncover the (...) developmental processes leading to cancer, obesity, schizophrenia, alcoholism, and aging, and to facilitate associated medial applications such as stem cell therapy and cloning. Above the Gene, Beyond Biology explores how biologists in this booming field investigate and explain living systems. Jan Baedke offers the first comprehensive philosophical discussion of epigenetic concepts, explanations, and methodologies so that we can better understand this "epigenetic turn" in the life sciences from a philosophical perspective. (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.

This paper investigates the basis arguments of so-called legal logic and their relation to logic in its standard meaning. There is no doubt that legal arguments belong to logic in the wide sense (sensu largo), but their reduction to schemes of formal logic (logica sensu stricto) is a controversial issue. It can be demonstrated that only some legal arguments fall under explicit rules of formal logic, that is, having a deductive character. Most such reasoning is fallible, and its correctness depends (...) on appealing to extra-logical principles taken from legal norms. For instance, if we say, “If it is permitted more, then it is permitted less” (argumentum a maiori ad minus), we assume that the concepts expressed by the words “more” and “less” are already defined. (shrink)

Freedom of thought is a fundamental human right, enshrined in many human rights treaties. It might very well be the only human right without any practical application. The paper reconstructs scope and meaning of this forgotten right and proposes four principles for its interpretation. In the age of neuroscientific insights and interventions into mind and brain that afford to alter thoughts, the time for the law to define freedom of thought in a way that lives up to its theoretical significance (...) has come. (shrink)

In recent years, postgenomic research, and the fields of epigenetics and microbiome science in particular, have described novel ways in which social processes of racialization can become embodied and result in physiological and health-related racial difference. This new conception of biosocial race has important implications for philosophical debates on the ontology of race. We argue that postgenomic research on race exhibits two key biases in the way that racial schemas are deployed. Firstly, although the ‘new biosocial race’ has been characterized (...) as social race entering into biological processes, it is only particular aspects of social race that are taken to cross the biosocial boundary, resulting in a distorted view of the social component of biosocial race. Secondly, racial categories are assumed to be stable across time and space. This assumption is epistemically limiting, as well as indicating a reliance on a fixed racial ontology. However, the causal pathways for the embodiment of social race, and the different possible modes of embodiment, that postgenomic science is uncovering themselves present a challenge for fixed or static racial ontologies. Given these tensions, we argue that the emerging picture of a shifting landscape of entanglement between the social and the biological requires us to increase the complexity of our ontologies of race, or even embrace a deflationary metaphysics of race. (shrink)

Research on the relation between sound and meaning in language has reported substantial evidence for implicit associations between articulatory–acoustic characteristics of phonemes and emotions. In the present study, we specifically tested the relation between the acoustic properties of a text and its emotional tone as perceived by readers. To this end, we asked participants to assess the emotional tone of single stanzas extracted from a large variety of poems. The selected stanzas had either an extremely high, a neutral, or an (...) extremely low average formant dispersion. To assess the average formant dispersion per stanza, all words were phonetically transcribed and the distance between the first and second formant per vowel was calculated. Building on a long tradition of research on associations between sound frequency on the one hand and non‐acoustic concepts such as size, strength, or happiness on the other hand, we hypothesized that stanzas with an extremely high average formant dispersion would be rated lower on items referring to Potency (dominance) and higher on items referring to Activity (arousal) and Evaluation (emotional valence). The results confirmed our hypotheses for the dimensions of Potency and Evaluation, but not for the dimension of Activity. We conclude that, at least in poetic language, extreme values of acoustic features of vowels are a significant predictor for the emotional tone of a text. (shrink)

This paper briefly discusses the relations between logic and metalogic in history. Metalogic is understood as a reflection on logic in its various senses, particularly sensu stricto (formal, mathematical) and sensu largo (formal logic plus semantic plus methodology of science). It is shown that metalogic in its contemporary understanding arose after mathematical logic had become a mature discipline. Special passage is devoted to metalogic in Poland. The last part of the paper discussed so-called logocentric predicament.

In recent years the idea that perceptual content is tensed in the sense that we can perceive objects as present or as past has come under attack. In this paper the notion of tensed content is to the contrary defended. The paper argues that assuming that something like an intentionalistic theory of perception is correct, it is very reasonable to suppose that perceptual content is tensed, and that a denial of this notion requires a denial of some intuitively very plausible (...) principles. The paper discusses some common objections against the notion of tensed content and concludes that none of them succeeds in showing that perceptual content cannot be tensed. (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)

Bayesian model selection has frequently been the focus of philosophical inquiry (e.g., Forster, Br J Philos Sci 46:399–424, 1995; Bandyopadhyay and Boik, Philos Sci 66:S390–S402, 1999; Dowe et al., Br J Philos Sci 58:709–754, 2007). This paper argues that Bayesian model selection procedures are very diverse in their inferential target and their justification, and substantiates this claim by means of case studies on three selected procedures: MML, BIC and DIC. Hence, there is no tight link between Bayesian model selection and (...) Bayesian philosophy. Consequently, arguments for or against Bayesian reasoning based on properties of Bayesian model selection procedures should be treated with great caution. (shrink)

v. 1. Texte arabe -- v. 2. Traduction et notes.