The Varieties of Ought-implies-Can and Deontic STIT Logic.Kees vanBerkel &Tim Lyon -2013 - In Sergei Artemov & Anil Nerode,Logical Foundations of Computer Science (Lecture Notes in Computer Science 7734). Springer.detailsSTIT 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)
A logical analysis of instrumentality judgments: means-end relations in the context of experience and expectations.Kees vanBerkel,Timothy Lyon &Matteo Pascucci -2023 -Journal of Philosophical Logic 52 (5):1475 - 1516.detailsThis 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)
Isaac Beeckman on matter and motion: mechanical philosophy in the making.Klaas vanBerkel -2013 - Baltimore: The Johns Hopkins University Press.detailsHistorians 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)
No categories
Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics.Tim Lyon &Kees vanBerkel -2019 - In M. Baldoni, M. Dastani, B. Liao, Y. Sakurai & R. Zalila Wenkstern,PRIMA 2019: Principles and Practice of Multi-Agent Systems. Springer. pp. 202-218.detailsThis 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)
Practical Reasoning and Practical Argumentation: A Stakeholder Commitment Approach.Kees vanBerkel &Jean H. M. Wagemans -2023 -Topoi 42 (2):509-525.detailsThis 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)
The Book of Nature in Antiquity and the Middle Ages.Arie Johan Vanderjagt &Klaas vanBerkel (eds.) -2005 - Peeters.detailsFrom 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)
Cut-free Calculi and Relational Semantics for Temporal STIT Logics.Tim Lyon &Kees vanBerkel -2019 - In Francesco Calimeri, Nicola Leone & Marco Manna,Logics in Artificial Intelligence. Springer. pp. 803 - 819.detailsWe 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.
Mnemicity - A cognitive gadget?Johannes B. Mahr,Penny van Bergen,John Sutton,Daniel L. Schacter &Cecilia Heyes -2023 -Perspectives on Psychological Science 1 (1).detailsEpisodic representations can be entertained either as “remembered” or “imagined”—as outcomes of experience or as simulations of such experience. Here, we argue that this feature is the product of a dedicated cognitive function: the metacognitive capacity to determine the mnemicity of mental event simulations. We argue that mnemicity attribution should be distinguished from other metacognitive operations (such as reality monitoring) and propose that this attribution is a “cognitive gadget”—a distinctively human ability made possible by cultural learning. Cultural learning is a (...) type of social learning in which traits are inherited through social interaction. In the case of mnemicity, one culturally learns to discriminate metacognitive “feelings of remembering” from other perceptual, emotional, action-related, and metacognitive feelings; to interpret feelings of remembering as indicators of memory rather than imagination; and to broadcast the interpreted feelings in culture- and context-specific ways, such as “I was there” or “I witnessed it myself.” We review evidence from the literature on memory development and scaffolding, metacognitive learning and teaching, as well as cross-cultural psychology in support of this view before pointing out various open questions about the nature and development of mnemicity highlighted by our account. (shrink)
A Neutral Temporal Deontic STIT Logic.Kees vanBerkel &Tim Lyon -2019 - In P. Blackburn, E. Lorini & M. Guo,Logic, Rationality, and Interaction. Springer. pp. 340-354.detailsIn 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)
Nieuw licht op Leo Polak (1880-1941): filosoof van het vrije denken.Klaas vanBerkel &Stefan van der Poel (eds.) -2016 - Hilversum: Verloren.detailsHet 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)
No categories
A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms.Kees vanBerkel,Tim Lyon &Francesco Olivieri -1996 - In Johan van Benthem,Logic and argumentation. New York: North-Holland. pp. 219 - 241.detailsWe 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)
Deontic Paradoxes in Mīmāṃsā Logics: There and Back Again.Kees vanBerkel,Agata Ciabattoni,Elisa Freschi,Francesca Gulisano &Maya Olszewski -2023 -Journal of Logic, Language and Information 32 (1):19-62.detailsCentered 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)
Notions of instrumentality in agency logic.Kees vanBerkel &Matteo Pascucci -2018 - In T. Miller, O. Nir, Y. Sakurai, I. Noda, B. T. R. Savarimuthu & S. Tran,PRIMA 2018: Principles and Practice of Multi-Agent Systems. Springer. pp. 403-419.detailsWe 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)
Developing human-nonhuman chimeras in human stem cell research: Ethical issues and boundaries.Phillip Karpowicz,Cynthia B. Cohen &Derek J. Van der Kooy -2005 -Kennedy Institute of Ethics Journal 15 (2):107-134.details: The transplantation of adult human neural stem cells into prenatal non-humans offers an avenue for studying human neural cell development without direct use of human embryos. However, such experiments raise significant ethical concerns about mixing human and nonhuman materials in ways that could result in the development of human-nonhuman chimeras. This paper examines four arguments against such research, the moral taboo, species integrity, "unnaturalness," and human dignity arguments, and finds the last plausible. It argues that the transfer of human (...) brain or retinal stem cells to nonhuman embryos would not result in the development of human-nonhuman chimeras that denigrate human dignity, provided such stem cells are dissociated. The article provides guidelines that set ethical boundaries for conducting such research that are consonant with the requirements of human dignity. (shrink)
Order Matters! Influences of Linear Order on Linguistic Category Learning.Dorothée B. Hoppe,Jacolien van Rij,Petra Hendriks &Michael Ramscar -2020 -Cognitive Science 44 (11):e12910.detailsLinguistic category learning has been shown to be highly sensitive to linear order, and depending on the task, differentially sensitive to the information provided by preceding category markers (premarkers, e.g., gendered articles) or succeeding category markers (postmarkers, e.g., gendered suffixes). Given that numerous systems for marking grammatical categories exist in natural languages, it follows that a better understanding of these findings can shed light on the factors underlying this diversity. In two discriminative learning simulations and an artificial language learning experiment, (...) we identify two factors that modulate linear order effects in linguistic category learning: category structure and the level of abstraction in a category hierarchy. Regarding category structure, we find that postmarking brings an advantage for learning category diagnostic stimulus dimensions, an effect not present when categories are non‐confusable. Regarding levels of abstraction, we find that premarking of super‐ordinate categories (e.g., noun class) facilitates learning of subordinate categories (e.g., nouns). We present detailed simulations using a plausible candidate mechanism for the observed effects, along with a comprehensive analysis of linear order effects within an expectation‐based account of learning. Our findings indicate that linguistic category learning is differentially guided by pre‐ and postmarking, and that the influence of each is modulated by the specific characteristics of a given category system. (shrink)
No categories
Reducing normative bias in health technology assessment: Interactive evaluation and casuistry.Rob P. B. Reuzel,Gert-Jan van Der Wilt,Henk A. M. J. ten Have &Pieter F. de Vries Robbé -1999 -Medicine, Health Care and Philosophy 2 (3):255-263.detailsHealth technology assessment (HTA) is often biased in the sense that it neglects relevant perspectives on the technology in question. To incorporate different perspectives in HTA, we should pursue agreement about what are relevant, plausible, and feasible research questions; interactive technology assessment (iTA) might be suitable for this goal. In this way a kind of procedural ethics is established. Currently, ethics too often is focussed on the application of general principles, which leaves a lot of confusion as to what really (...) is the matter in specific cases; in an iTA clashes of values should not be approached by use of such ethics. Instead, casuistry, as a tool used within the framework of iTA, should help to articulate and clarify what is the matter, as to make room for explication and consensus building. (shrink)
Veterinary Responsibilities within the One Health Framework.F. L. B. Meijboom &J. van Herten -2019 -Food Ethics 3 (1-2):109-123.detailsVeterinarians play an essential role in the animal-based food chain. They are professionally responsible for the health of farm animals to secure food safety and public health. In the last decades, food scandals and zoonotic disease outbreaks have shown how much animal and human health are entangled. Therefore, the concept of One Health is broadly promoted within veterinary medicine. The profession embraces this idea that the health of humans, animals and the environment is inextricably linked and supports the related call (...) for transdisciplinary collaboration. Especially in zoonotic disease control, the benefits of the cooperation between veterinarians and human doctors seem evident. However, applying a One Health approach also makes moral problems explicit. For instance, how should veterinarians deal with situations in which measures to protect public health negatively affect animal health? This creates a conflict of professional responsibilities. To deal with such moral problems and to strengthen the veterinarian’s position, the starting point is a holistic perspective on One Health. We will argue for an ‘encapsulated health’ argument: the best way to safeguard human health is to promote the health of animals and the environment. This also holds for the responsibility of the veterinary profession: to serve public health, the central responsibility of veterinarians should be to be experts in animal health and welfare. We elaborate this point by using a case study on the role of the veterinary profession in antimicrobial resistance policies in the Netherlands. (shrink)
No categories
Interactive technology assessment and wide reflective equilibrium.R. P. B. Reuzel,G. J. van der Wilt,H. A. M. J. ten Have &P. F. Vries Robdeb -2001 -Journal of Medicine and Philosophy 26 (3):245 – 261.detailsInteractive technology assessment (iTA) provides an answer to the ethical problem of normative bias in evaluation research. This normative bias develops when relevant perspectives on the evaluand (the thing being evaluated) are neglected. In iTA this bias is overcome by incorporating different perspectives into the assessment. As a consequence, justification of decisions based on the assessment is provided by stakeholders having achieved agreement. In this article, agreement is identified with wide reflective equilibrium to show that it indeed has the potential (...) of justifying decisions. We work out several conditions for this agreement to be achievable and just. (shrink)
Collaborative Remembering: Theories, Research, Applications.Michelle L. Meade,Celia B. Harris,Penny Van Bergen,John Sutton &Amanda J. Barnier (eds.) -2017 - Oxford University Press.detailsWe remember in social contexts. We reminisce about the past together, collaborate to remember shared experiences, and, even when we are alone, we remember in the context of our communities and cultures. Taking an interdisciplinary approach throughout, this text comprehensively covers collaborative remembering across the fields of developmental psychology, cognitive psychology, social psychology, discourse processing, philosophy, neuropsychology, design, and media studies. It highlights points ofoverlap and contrast across the many disciplinary perspectives and, with its sections on "Approaches of Collaborative Remembering" (...) and "Applications of Collaborative Remembering", also connects basic and applied research.Written with late-stage undergraduates and early-stage graduates in mind, the book is also a valuable tool for memory specialists and academics in the fields of psychology, cognitive science and philosophy who are interested in collaborative memory research. (shrink)
No categories
Cognitive reactivity as outcome and working mechanism of mindfulness-based cognitive therapy for recurrently depressed patients in remission.M. B. Cladder-Micus,J. van Aalderen,A. R. T. Donders,J. Spijker,J. N. Vrijsen &A. E. M. Speckens -2017 -Cognition and Emotion 32 (2):371-378.detailsABSTRACTMajor depressive disorder is a prevalent condition with high relapse rates. There is evidence that cognitive reactivity is an important vulnerability factor for the recurrence of depression. Mindfulness-based interventions are designed to reduce relapse rates, with cognitive reactivity as one of the proposed working mechanisms. In a randomised controlled trial we compared the effect of mindfulness-based cognitive therapy with treatment-as-usual on cognitive reactivity in recurrently depressed patients. Depressive symptoms, cognitive reactivity, and mindfulness skills were assessed pre and post treatment. Patients (...) in the MBCT group reported a significantly greater reduction in cognitive reactivity than those in the TAU group. The reduction of cognitive reactivity appeared to mediate the association between MBCT/TAU and decrease of depressive symptoms, using pre and post scores. The current study provides evidence that MBCT reduces cognitive reactivity and preliminar... (shrink)
BCI-FES With Multimodal Feedback for Motor Recovery Poststroke.Alexander B. Remsik,Peter L. E. van Kan,Shawna Gloe,Klevest Gjini,Leroy Williams,Veena Nair,Kristin Caldera,Justin C. Williams &Vivek Prabhakaran -2022 -Frontiers in Human Neuroscience 16:725715.detailsAn increasing number of research teams are investigating the efficacy of brain-computer interface (BCI)-mediated interventions for promoting motor recovery following stroke. A growing body of evidence suggests that of the various BCI designs, most effective are those that deliver functional electrical stimulation (FES) of upper extremity (UE) muscles contingent on movement intent. More specifically, BCI-FES interventions utilize algorithms that isolate motor signals—user-generated intent-to-move neural activity recorded from cerebral cortical motor areas—to drive electrical stimulation of individual muscles or muscle synergies. BCI-FES (...) interventions aim to recover sensorimotor function of an impaired extremity by facilitating and/or inducing long-term motor learning-related neuroplastic changes in appropriate control circuitry. We developed a non-invasive, electroencephalogram (EEG)-based BCI-FES system that delivers closed-loop neural activity-triggered electrical stimulation of targeted distal muscles while providing the user with multimodal sensory feedback. This BCI-FES system consists of three components: (1) EEG acquisition and signal processing to extract real-time volitional and task-dependent neural command signals from cerebral cortical motor areas, (2) FES of muscles of the impaired hand contingent on the motor cortical neural command signals, and (3) multimodal sensory feedback associated with performance of the behavioral task, including visual information, linked activation of somatosensory afferents through intact sensorimotor circuits, and electro-tactile stimulation of the tongue. In this report, we describe device parameters and intervention protocols of our BCI-FES system which, combined with standard physical rehabilitation approaches, has proven efficacious in treating UE motor impairment in stroke survivors, regardless of level of impairment and chronicity. (shrink)