Is medieval logic formal? And if yes, in what sense? There are striking affinities between medieval and contemporary theories of language. Authors from the two periods share formal ambitions and maintain complex, and at time uneasy, relations with natural language. However, modern scholars became careful not to overlook the specificities of theories developed more than five hundred years apart, in particular with respect to their 'formal' character. In 1972, Alfonso Maieru noted that the efforts of medieval logicians (...) to identify logical structures in language which are formal enough to become objects of scientific consideration. He also stressed that the language investigated is a historical one, Latin, so that one can legitimately wonder to which extent... one is allowed to speak of 'formal logic' in the middle ages. In other words, medieval logic is characterized by a tension between 'formalist ambitions' and constraints proper to natural language. Today, our knowledge of the field has considerably expanded, calling for a new assessment of the question. (shrink)

BackgroundThere have been notable investments in large multi-partner research programmes across the agriculture-nutrition-health (ANH) nexus. These studies often involve human participants and commonly require research ethics review. These ANH studies are complex and can raise ethical issues that need pre-field work, ethical oversight and also need an embedded process that can identify, characterise and manage ethical issues as the research work develops, as such more embedded and dynamic ethics processes are needed. This work builds on notions of ‘ethics in practice’ (...) by developing an approach to facilitate ethical reflection within large research programmes. This study explores the application of a novel ‘real-time research ethics approach’ (RTREA) and how this can support ethical mindfulness. This involves embedding ethical analysis and decision-making within research implementation, with a continuous dialogue between participants and researchers. The aim is to improve ethical responsiveness and participant experience, which in turn may ethically support adherence and retention. In this case study, a bioethics team (BT) was embedded in a community-based randomised, controlled trial conducted in rural Malawi, titled the ‘Addressing Hidden Hunger with Agronomy’. To identify ethical issues, the researchers conducted ten focus group discussions, fourteen in-depth interviews with key informants, two workshops, observed two sensitisation and three activity meetings conducted by the trial team, and analysed fifteen reports from pre-trial to trial implementation.ResultsThe RTREA facilitated the identification of social and ethical concerns and made researchers aware of participants’ ‘lived research experience’. To address concerns and experiences, the BT worked with researchers to facilitate conversation spaces where social and ethical issues were discussed. Conversation spaces were designed to create partnerships and promote participatory methods to capture trial participants’ (TPs) perspectives and experiences.ConclusionsThe use of RTREA showed the value of real-time and continuous engagement between TPs and researchers. These real-time processes could be embedded to complement traditional ethical guidance and expert opinions. A deeper engagement appeared to support greater operationalising of principles of inclusion, empowerment, and participant autonomy and supported researchers ‘ethical mindfulness’ which in turn may support instrumental outcomes of high recruitment, retention, and adherence levels. (shrink)

Do animals have minds? We have known at least since Aristotle that humans constitute one species of animal. And some benighted contemporaries apart, we also know that most humans have minds. To have any bite, therefore, the question must be restricted to non-human animals, to which I shall henceforth refer simply as "animals." I shall further assume that animals are bereft of linguistic faculties. So, do some animals have minds comparable to those of humans? As regards that question, there are (...) two basic stances. Differentialists maintain that there are categorical differences separating us from animals; assimilationists hold that the differences are merely quantitative and gradual (see Brandom 2000, pp. 2–3). This paper only deals with one kind of mental phenomenon, namely intentional states such as believing, desiring, and intending. I shall also refer to these as having thoughts or thinking rather than as "propositional attitudes," since that terminology is misguided. My primary target is a variant of differentialism, namely lingualism. It maintains that animals lack intentional states such as beliefs, desires, and intentions, since, on a priori conceptual grounds, the latter require language. The term "language" is here confined to public languages, notably natural languages, and excludes inner symbolisms such as the language of thought postulated by many cognitive scientists. (shrink)

Based on a condensed historical overview of management as an artifact, the article argues that management is still suffused by an implicit paradigm of value extraction that is ideologically and culturally tinted and that we need to find a new foothold in theory and practice, a more universally valid approach with an encompassing awareness of societal well-being and long-term impact. The radically new approach proposed is based on free energy minimization, a concept from computational neuroscience, as a universally valid principle (...) derived from the biological imperative to survive that holds true for individuals and social systems alike. In order to reduce harmful free energy from entropy and stochastic adversity, an amplified way of perceiving and being aware of reality is required that needs to be cultivated. This is achieved through the guiding principle of Minding, an ongoing process of inner and outer awareness and caring consideration of oneself, others and the world around us, routed in a comprehensive consciousness including awareness of Body sensations, Emotions, Thoughts and Action impulses (BETA). This comprehensive, strategic awareness is proposed as a unifying, contextual framework for individual and collective well-being rather than a categorical imperative, and therefore may, when and where indispensable, include value extraction and value maximization if required for the overall objective of shared, long-term flourishing. The article also presents examples of implementation of the proposed approach for both individuals and organizations and briefly introduces MBSAT-Mindfulness-based Strategic Awareness Training, a training protocol designed specifically to enhance the competence of Minding, the guiding principle. (shrink)

Points of view are a central phenomenon in human cognition. Although the concept of point of view is ambiguous, there exist common elements in different notions. A point of view is a certain way to look at things around us. In conceptual points of view, things are looked at or interpreted through conceptual lenses. Conceptual points of view are important for epistemology, cognitive science, and philosophy of science. In this article, a new method to formalize conceptual points of view is (...) introduced. It is based on the conceptual space approach, where concepts are regions of multi-dimensional quality spaces. Points of view, as defined in this article, consist of a selection of relevant dimensions, referred to here as determinables, and of a certain supposition, referred to here as a theory, about the subject content. After considering some early efforts to formalize points of view, the notion of conceptual space is defined and explored. One concept of point of view is defined and developed in the framework of conceptual space, and a new logic for points of view is also outlined. The problem of mind–body correlation is discussed as an example of the application of the notion of points of view. To conclude, the meaning and applications of the new concepts and tools developed in the article are discussed. (shrink)

Commonsense ontology often conflicts with the ontology of our best scientific and philosophical theories. However, commonsense ontology, and commonsense belief systems in general, seems to be remarkably efficient and cognitively fundamental. In cases of contrast, it is better to find a way to reconcile commonsense and ”theoretical” ontologies. Given that commonsense ontologies are typically expressed within natural language, a classical procedure of reconciliation is semantical. The strategy is that of individuating the ”ontologically problematic” expressions of natural language and paraphrasing the (...) sentences in which they appear in a (formal) language whose commitments are compatible with those of our best theories. We believe that this strategy of reconciliation, though quite standard, especially in the philosophical literature, is problematic: for a start, it forces us to conclude that the ”real content” of our commonsense expressions and beliefs is different from what it appears. Commonsense ontology becomes just an illusion. We will thus propose an alternative approach: according to our view, a commonsense ontology is reconciled with a theoretical ontology in case it is shown that the explanation of why we believe in the existence of a problematic entity is compatible with our best theories. We will call this kind of reconciliation ”epistemic”. The advantage of an epistemic reconciliation is that commonsense ontology is treated in its own right and could be taken prima facie. Another advantage of the view is that epistemic reconciliation can be analysed through the notion of explaining away: a commonsense ontology is epistemically reconciled with a theoretical ontology if and only if the problematic entities of the commonsense ontology are explained away by ”respectable” entities of the theoretical ontology. In the final part of the paper, we sketch a formal analysis of explaining away. (shrink)

Traditionally, theories of mindreading have focused on the representation of beliefs and desires. However, decades of social psychology and social neuroscience have shown that, in addition to reasoning about beliefs and desires, human beings also use representations of character traits to predict and interpret behavior. While a few recent accounts have attempted to accommodate these findings, they have not succeeded in explaining the relation between trait attribution and belief-desire reasoning. On my account, character-trait attribution is part of a hierarchical system (...) for action prediction, and serves to inform hypotheses about agents’ beliefs and desires, which are in turn used to predict and interpret behavior. (shrink)

This paper formalizes part of a well-known psychological model of emotions. In particular, the logical structure underlying the conditions that trigger emotions are studied and then hierarchically organized. The insights gained therefrom are used to guide a formalization of emotion triggers, which proceeds in three stages. The first stage captures the conditions that trigger emotions in a semiformal way, i.e., without committing to an underlying formalism and semantics. The second stage captures the main psychological notions used in the emotion model (...) in dynamic doxastic logic. The third stage introduces a BDI-based framework (belief–desire–intention) with achievement goals, which is used to firmly ground the preceding stages. The result is a formalization of emotion triggers for BDI agents with achievement goals. The idea of proceeding in these stages is to provide different levels of commitment to formalisms, so that it remains relatively easy to extend or replace the used formalisms without having to start from scratch. Finally, we show that the formalization renders properties of emotions that are in line with the psychological model on which it is based. (shrink)

'Knowledge-First' constitutes what is widely regarded as one of the most significant innovations in contemporary epistemology in the past 25 years. Knowledge-first epistemology is the idea that knowledge per se should not be analysed in terms of its constituent parts (e.g., justification, belief), but rather that these and other notions should be analysed in terms of the concept of knowledge. This volume features a substantive introduction and 13 original essays from leading and up-and-coming philosophers on the topic of knowledge-first philosophy. (...) The contributors' essays range from foundational issues to applications of this project to other disciplines including the philosophy of mind, the philosophy of perception, ethics and action theory. Knowledge First: Approaches in Epistemology and Mind aims to provide a relatively open-ended forum for creative and original scholarship with the potential to contribute and advance debates connected with this philosophical project. (shrink)

Many texts on logic are written with a mathematical emphasis, and focus primarily on the development of a formal apparatus and associated techniques. In other, more philosophical texts, the topic is often presented as an indulgent collection of musings on issues for which technical solutions have long since been devised. What has been missing until now is an attempt to unite the motives underlying both approaches. Paul Hoyningen-Huene’s Formal Logic seeks to find a balance between the necessity (...) of formal considerations and the importance of full reflection and explanation about the seemingly arbitrary steps that occasionally confound even the most serious student of logic. Alex Levine’s artful translation conveys both the content and style of the German edition. Filled with examples, exercises, and a straightforward look at some of the most common problems in teaching the subject, this work is eminently suitable for the classroom. (shrink)

This volume is an introduction to contemporary debates in the philosophy of mind. In particular, the author focuses on the controversial "eliminativist" and "instrumentalist" attacks - from philosophers such as of Quine, Dennett, and the Churchlands - on our ordinary concept of mind. In so doing, Rey offers an explication and defense of "mental realism", and shows how Fodor's representational theory of mind affords a compelling account of much of our ordinary mental talk of beliefs, hopes, and (...) desires. (shrink)

Taking an abductive, mixed-methods approach, we explore the content of people’s moral deliberations. In Study 1, we gather qualitative data from small groups of graduate business students discussing moral dilemmas. We analyze their conversations with a focus on how participants perceive others’ thoughts, opinions, and evaluations about the dilemmas and incorporate them into their reasoning. Ascribing such capacities to think and feel to others—i.e., mind perception—is central to morality. We use the conversations in Study 1 to identify whose minds (...) participants perceive. Study 1 also identifies how particular elements of deliberation—including the exploration of consequences, acknowledging ambivalence, seeking alternative options, the development of deep feelings, and the search for a moral compass—are linked to these perceptions of others’ minds. In Study 2 (an exploratory, online experiment with 378 participants), we find that priming individuals with specific forms of mind perception can influence the elements of moral reasoning they employ, and we find evidence that the presence of elements of reasoning are linked to participants’ final choices in a business-related ethical dilemma. (shrink)

Do animals have minds? We have known at least since Aristotle that humans constitute one species of animal. And some benighted contemporaries apart, we also know that most humans have minds. To have any bite, therefore, the question must be restricted to non-human animals, to which I shall henceforth refer simply as "animals." I shall further assume that animals are bereft of linguistic faculties. So, do some animals have minds comparable to those of humans? As regards that question, there are (...) two basic stances. Differentialists maintain that there are categorical differences separating us from animals; assimilationists hold that the differences are merely quantitative and gradual (see Brandom 2000, pp. 2–3). This paper only deals with one kind of mental phenomenon, namely intentional states such as believing, desiring, and intending. I shall also refer to these as having thoughts or thinking rather than as "propositional attitudes," since that terminology is misguided. My primary target is a variant of differentialism, namely lingualism. It maintains that animals lack intentional states such as beliefs, desires, and intentions, since, on a priori conceptual grounds, the latter require language. The term "language" is here confined to public languages, notably natural languages, and excludes inner symbolisms such as the language of thought postulated by many cognitive scientists. (shrink)

Instead of using low-level neurophysiology mimicking and exploratory programming methods commonly used in the machine consciousness field, the hierarchical Operational Architectonics (OA) framework of brain and mind functioning proposes an alternative conceptual-theoretical framework as a new direction in the area of model-driven machine (robot) consciousness engineering. The unified brain-mind theoretical OA model explicitly captures (though in an informal way) the basic essence of brain functional architecture, which indeed constitutes a theory of consciousness. The OA describes the neurophysiological basis (...) of the phenomenal level of brain organization. In this context the problem of producing man-made “machine” consciousness and “artificial” thought is a matter of duplicating all levels of the operational architectonics hierarchy (with its inherent rules and mechanisms) found in the brain electromagnetic field. We hope that the conceptual-theoretical framework described in this paper will stimulate the interest of mathematicians and/or computer scientists to abstract and formalize principles of hierarchy of brain operations which are the building blocks for phenomenal consciousness and thought. (shrink)

As an outgrowth of experiential and critical pedagogies, and in response to growing rates of student anxiety and depression, educators in recent years have made increasing efforts to facilitate curiosity and mindfulness in the classroom. In Section I, we describe the rationale and function of these initiatives, focusing on the Right Question Institute and mindfulness curricula. Although we admire much about these programs, here we explore ways to complicate and deepen them through a more socially grounded and ethically informed theoretical (...) framework. In Section II, we provide that framework by sketching a sociopolitical account of curiosity and of mindfulness. We propose a curiosity mindful of social location and a mindfulness curious about political structures and historical contexts. In Section III, we then offer concrete suggestions for modifying the curricula of the Right Question Institute and various mindfulness programs. We show how a more nuanced understanding of curiosity and mindfulness strengthens these program offerings. Ultimately, facilitating mindful curiosity and curious mindfulness, we argue, helps educators a) provide more robust learning environments, b) address growing mental health challenges, and c) support global citizenship in the classroom and beyond. (shrink)

We present an inferentialist account of collective rationality and intentionality, according to which beliefs and other intentional states are understood in terms of the normative statuses attributed to, and undertaken by, the participants of a discursive practice—namely, their discursive or practical commitments and entitlements. Although these statuses are instituted by the performances and attitudes of the agents, they are not identified with any physical or psychological entity, process or relation. Therefore, we argue that inferentialism allows us to talk of collective (...) intentionality and agency without needing to posit the existence of any sort of collective psychology or mind. (shrink)

Reasoning with the maximally consistent subsets of the premises is a well-known approach for handling contradictory information. In this paper we consider several variations of this kind of reasoning, for each one we introduce two complementary computational methods that are based on logical argumentation theory. The difference between the two approaches is in their ways of making consequences: one approach is of a declarative nature and is related to Dung-style semantics for abstract argumentation, while the other approach has a (...) more proof-theoretical flavor, extending Gentzen-style sequent calculi. The outcome of this work is a new perspective on reasoning with MCS, which shows a strong link between the latter and argumentation systems, and which can be generalized to some related formalisms. As a by-product of this we obtain soundness and completeness results for the dynamic proof systems with respect to several of Dung’s semantics. In a broader context, we believe that this work helps to better understand and evaluate the role of logic-based instantiations of argumentation frameworks. (shrink)

A neuroscience-based approach has recently been proposed for the relation between the mind and the brain. The proposal is that events at the sub-neuronal, neuronal, and neuronal network levels take place simultaneously to perform a computation that can be described at a high level as a mental state, with content about the world. It is argued that as the processes at the different levels of explanation take place at the same time, they are linked by a non-causal supervenient relationship: (...) causality can best be described in brains as operating within but not between levels. This mind-brain theory allows mental events to be different in kind from the mechanistic events that underlie them; but does not lead one to argue that mental events cause brain events, or vice versa: they are different levels of explanation of the operation of the computational system. Here, some implications are developed. It is proposed that causality, at least as it applies to the brain, should satisfy three conditions. First, interventionist tests for causality must be satisfied. Second, the causally related events should be at the same level of explanation. Third, a temporal order condition must be satisfied, with a suitable time scale in the order of 10 ms. Next, although it may be useful for different purposes to describe causality involving the mind and brain at the mental level, or at the brain level, it is argued that the brain level may sometimes be more accurate, for sometimes causal accounts at the mental level may arise from confabulation by the mentalee, whereas understanding exactly what computations have occurred in the brain that result in a choice or action will provide the correct causal account for why a choice or action was made. Next, it is argued that possible cases of “downward causation” can be accounted for by a within-levels-of-explanation account of causality. This computational neuroscience approach provides an opportunity to proceed beyond Cartesian dualism and physical reductionism in considering the relations between the mind and the brain. (shrink)

This essay presents Husserl’s Formal and Transcendental Logic (1929) in three main sections following the layout of the work itself. The first section focuses on Husserl’s introduction where he explains the method and the aim of the essay. The method used in FTL is radical Besinnung and with it an intentional explication of proper sense of formal logic is sought for. The second section is on formal logic. The third section focuses on Husserl’s “transcendental logic,” which is (...) needed to make Husserl’s conception complete, i.e., to understand what makes Besinnung radical, how the proper sense of formal logic has been reached and how all this relates to transcendental constitution of an object in the world. Husserl’s work is connected to his context (in exact sciences) and the relevance of his views for the contemporary approaches is discussed. (shrink)

This paper discusses a number of methodological issues with mainstream formal semantics and then investigates whetherWittgenstein’s later work provides an alternative approach that is able to avoid these issues.

In this section, we apply the notions obtained above to a famous historical example of a false proof. Our goal is to demonstrate that this proof shows a sufficient degree of distinctiveness for a formalization in a Naproche-like system and hence that automatic checking could indeed have contributed in this case to the development of mathematics. This example further demonstrates that even incomplete distinctivication can be sufficient for automatic checking and that actual mistakes may occur already in the margin between (...) the degree of distinctiveness necessary for formalization and complete distinctiveness. (shrink)

This paper explores new avenues of research on social bases of cognition and a more adequate framework to conceive the phenomena of the human mind. It firstly examines Bartlett's work on social bases of cognition, from which three pertinent features are identified, namely multi-level analyses, evolutionary perspective and embodied mind approach. It then examines recent works on social origins of cognition in ethology and paleoanthropology, and various forms of the embodied mind approach recently proposed in neuroscience and (...) cognitive science. The paper concludes that extending the embodied mind approach would provide the most potent framework to enable, amongst others, the conceptual integration of the biological, psychological and social bases of the human mind, which have in the past been treated mainly as competing alternatives. (shrink)

This paper examines explanations for human artistic behavior in two reductionist research programs, cognitive neuroscience and evolutionary psychology. Despite their different methodological outlooks, both approaches converge on an explanation of art production and appreciation as byproducts of normal perceptual and motivational cognitive skills that evolved in response to problems originally not related to art, such as the discrimination of salient visual stimuli and speech sounds. The explanatory power of this reductionist framework does not obviate the need for higher-level accounts (...) of art from the humanities, such as aesthetics, art history or anthropology of art. (shrink)

Existing research suggests people with stronger moral character traits are more inclined to ethical investing. We take a moral foundations framing approach that synthesizes framing theory and moral foundations theory to investigate whether a moral state of mind created by moral foundations frames can also increase retail investors’ ethical investment intention. We also hypothesize how this moral foundations framing effect is moderated by the perceived return performance of the ethical fund. We test our hypotheses through two online experiments with (...) retail investors in the United States. Study 1 demonstrates that the moral foundations framing effect varies by moral foundation. Focusing on the Fairness foundation, Study 2 shows that the framing effect is stronger under the win-win dual objective condition, relative to a conflict of interest condition. This stronger effect indicates that the moral foundations framing effect appears to be more effective when the investor perceives that ethical investments are financially lucrative. Our study provides preliminary evidence for the potential of the moral foundations framing approach and contributes to scholarship in both business ethics and ethical investing. (shrink)

In 1986, Mikenberg et al. introduced the semantic notion of quasi-truth defined by means of partial structures. In such structures, the predicates are seen as triples of pairwise disjoint sets: the set of tuples which satisfies, does not satisfy and can satisfy or not the predicate, respectively. The syntactical counterpart of the logic of partial truth is a rather complicated first-order modal logic. In the present article, the notion of predicates as triples is recursively extended, in a natural way, to (...) any complex formula of the first-order object language. From this, a new definition of quasi-truth is obtained. The proof-theoretic counterpart of the new semantics is a first-order paraconsistent logic whose propositional base is a 3-valued logic belonging to hierarchy of paraconsistent logics known as Logics of Formal Inconsistency, which was proposed by Carnielli and Marcos in 2002. (shrink)

Wines with geographical indication can be classified and represented by such features as designations of origin, producers, vintage years, alcoholic strength, and grape varieties; these features allow us to define wines in terms of a set of necessary and/or sufficient conditions. However, wines can also be identified by other characteristics, involving their look, smell, and taste; in this case, it is hard to define wines in terms of necessary and/or sufficient conditions, as wine concepts exhibit typicality effects. This is a (...) setback for the design of computer science ontologies aiming to represent wine concepts, since knowledge representation formalisms commonly adopted in this field do not allow for the representation of concepts in terms of typical traits. To solve this problem, we propose to adopt a hybrid approach in which ontology-oriented formalisms are combined with a geometric representation of knowledge based on conceptual spaces. As in conceptual spaces, concepts are identified in terms of a number of quality dimensions. In order to determine those relevant for wine representation, we use the terminology developed by the Italian Association of Sommeliers to describe wines. This will allow us to understand typicality effects about wines, determine prototypes and better exemplars, and measure the degree of similarity between different wines. (shrink)

Changing preferencesis a phenomenonoften invoked but rarely properlyaccounted for. Throughout the history of the social sciences, researchers have come against the possibility that their subjects’ preferenceswere affected by the phenomenato be explainedor by otherfactorsnot taken into accountin the explanation.Sporadically, attempts have been made to systematically investigate these in uences, but none of these seems to have had a lasting impact. Today we are still not much further with respect to preference change than we were at the middle of the last (...) century. This anthology hopes to provide a new impulse for research into this important subject. In particular, we have chosen two routes to amplify this impulse. First, we stress the use of modellingtechniquesfamiliar from economicsand decision theory. Instead of constructing complex, all-encompassing theories of preference change, the authors of this volume start with very simple, formal accounts of some possible and hopefully plausible mechanism of preference change. Eventually, these models may nd their way into larger, empirically adequate theories, but at this stage, we think that the most importantwork lies in building structure.Secondly,we stress the importance of interdisciplinary exchange. Only by drawing together experts from different elds can the complex empirical and theoretical issues in the modelling of preference change be adequately investigated. (shrink)

In this paper we present an interdisciplinary approach that concerns the problem of argument acceptance in an agronomy setting. We propose a computational cognitive model for argument acceptance based on the dual model system in cognitive psychology. We apply it in an agronomy setting within a French national project on durum wheat.

PURPOSE—A substantial fraction of the observations made by clinicians and entered into patient records are expressed by means of negation or by using terms which contain negative qualifiers (as in “absence of pulse” or “surgical procedure not performed”). This seems at first sight to present problems for ontologies, terminologies and data repositories that adhere to a realist view and thus reject any reference to putative non-existing entities. Basic Formal Ontology (BFO) and Referent Tracking (RT) are examples of such paradigms. (...) The purpose of the research here described was to test a proposal to capture negative findings in electronic health record systems based on BFO and RT. METHODS—We analysed a series of negative findings encountered in 748 sentences taken from 41 patient charts. We classified the phenomena described in terms of the various top-level categories and relations defined in BFO, taking into account the role of negation in the corresponding descriptions. We also studied terms from SNOMED-CT containing one or other form of negation. We then explored ways to represent the described phenomena by means of the types of representational units available to realist ontologies such as BFO. RESULTS—We introduced a new family of ‘lacks’ relations into the OBO Relation Ontology. The relation lacks_part, for example, defined in terms of the positive relation part_of, holds between a particular p and a universal U when p has no instance of U as part. Since p and U both exist, assertions involving ‘lacks_part’ and its cognates meet the requirements of positivity. CONCLUSION—By expanding the OBO Relation Ontology, we were able to accommodate nearly all occurrences of negative findings in the sample studied. (shrink)

We address the oft-repeated criticism that the demands which the rational choice approach makes on the knowledge and cognition of a decision-maker are way beyond the capabilities of typical human intelligence. Our key finding is that it may be possible to arrive at this ideal of rationality by means of cognitively less demanding, heuristic-based ecological reasoning that draws on information about others’ choices in the DM’s environment. Formally, we propose a choice procedure under which, in any choice problem, the DM, (...) first, uses this information to shortlist a set of alternatives. The DM does this shortlisting by a mental process of categorization, whereby she draws similarities with certain societal members—the ingroup—and distinctions from others—the outgroup—and considers those alternatives that are similar to ingroup members’ choices. Then, she chooses from this shortlisted set by applying her preferences, which may be incomplete owing to limitations of knowledge. We show that, if a certain homophily condition connecting the DM’s preferences with her ingroup–outgroup categorization holds, then the procedure never leads the DM to making bad choices. If, in addition, a certain shortlisting consistency condition holds vis-a-vis non-comparable alternatives under the DM’s preferences, then the procedure results in rational choices. (shrink)

Electronic health records (EHRs) serve as repositories of documented data collected in a health care encounter. An EHR records information about who receives, who provides the health care and about the place where the encounter happens. We also observe additional elements relating to social relations in which the healthcare consumer is involved. To provide a consensus representation of common data and to enhance interoperability between different EHR repositories we have created a solution grounded in formal ontology. Here, we present (...) how an ontology for the obstetric and neonatal domain deals with these general elements documented in health care encounters. Our goal is to promote the interoperability of information among EHRs created in different specialties. To develop our ontology, we used two main approaches: one based on ontological realism, the other based on the principles of the OBO Foundry, including reuse of reference ontologies. (shrink)

Computer simulations can be useful tools to support philosophers in validating their theories, especially when these theories concern phenomena showing nontrivial dynamics. Such theories are usually informal, whilst for computer simulation a formally described model is needed. In this paper, a methodology is proposed to gradually formalise philosophical theories in terms of logically formalised dynamic properties. One outcome of this process is an executable logic-based temporal specification, which within a dedicated software environment can be used as a simulation model to (...) perform simulations. This specification provides a logical formalisation at the lowest aggregation level of the basic mechanisms underlying a process. In addition, dynamic properties at a higher aggregation level that may emerge from the mechanisms specified by the lower level properties, can be specified. Software tools are available to support specification, and to automatically check such higher level properties against the lower level properties and against generated simulation traces. As an illustration, three case studies are discussed showing successful applications of the approach to formalise and analyse, among others, Clark’s theory on extended mind, Damasio’s theory on core consciousness, and Dennett’s perspective on intertemporal decision making and altruism. (shrink)

This paper compares current ways of modeling the inferential structure of practical reasoning arguments, and proposes a new approach in which it is regarded in a modular way. Practical reasoning is not simply seen as reasoning from a goal and a means to an action using the basic argumentation scheme. Instead, it is conceived as a complex structure of classificatory, evaluative, and practical inferences, which is formalized as a cluster of three types of distinct and interlocked argumentation schemes. Using two (...) real examples, we show how applying the three types of schemes to a cluster of practical argumentation allows an argument analyst to reconstruct the tacit premises presupposed and evaluate the argumentative reasoning steps involved. This approach will be shown to overcome the limitations of the existing models of practical reasoning arguments within the BDI and commitment theoretical frameworks, providing a useful tool for discourse analysis and other disciplines. In particular, applying this method brings to light the crucial role of classification in practical argumentation, showing how the ordering of values and preferences is only one of the possible areas of deep disagreement. (shrink)

Employing the theory of Birkhoff polarities as a model of model theory yields an inductively defined dual structure which is a formalization of semantics and which allows for simple proofs of some new results for model theory.

This book investigates the phenomenon of perspectival flexibility in its different facets and with particular attention to social experience. Our experience of other individuals goes hand in hand with the awareness that they have a unique perspective on the experienced objects and situations. The same object can be seen from different points of view; an event can awaken different emotional reactions in different individuals; and the positions we take can be mediated in part by our belonging to social or cultural (...) groups. All of these occurrences are grasped by the metaphor of perspective and perspectival flexibility. The original essays in this volume employ approaches from philosophy, particularly phenomenology, and from psychopathology to show how perspectival flexibility is grounded in the interplay of perception and imagination, and develop on this basis a fruitful reassessment of social experience. The chapters are divided into five sections: imagination and the as-if, imagination and its disturbances in psychopathology, imagination and the experience of others, the sociality of imagination, and the aesthetic, ethical, and socio-political grounds of perspectival flexibility. This book is an essential resource for researchers in philosophy and psychology working on social cognition, the epistemological and conceptual problems of other minds, and imagination and the experience of fiction. (shrink)

A second-person approach that prioritizes dyadic emotional interaction is not well equipped to explain the origins of the understanding of mind conceived as intentionality. Instead, the critical elements that will deliver the understanding of self and other as persons with intentionality are shared object-centered interactions that include not only emotional engagement, but also joint attention and joint goal-directed action.

Recent years have seen a renewed interest in the philosophical study of information. In this paper a two-part analysis of information gain—objective and subjective—in the context of doxastic change is presented and discussed. Objective information gain is analyzed in terms of doxastic movement towards true belief, while subjective information gain is analyzed as an agent’s expectation value of her objective information gain for a given doxastic change. The resulting expression for subjective information gain turns out to be a familiar one (...) with well-known formal properties: the Kullback–Leibler divergence. The two notions of information are discussed and the suggested measure of subjective information gain is then compared with the widely held view that information gain equals uncertainty reduction. (shrink)

Reasoning about situations we take to be impossible is useful for a variety of theoretical purposes. Furthermore, using a device of impossible worlds when reasoning about the impossible is useful in the same sorts of ways that the device of possible worlds is useful when reasoning about the possible. This paper discusses some of the uses of impossible worlds and argues that commitment to them can and should be had without great metaphysical or logical cost. The paper then provides an (...) account of reasoning with impossible worlds, by treating such reasoning as reasoning employing counterpossible conditionals, and provides a semantics for the proposed treatment. (shrink)

We propose a ‘Moral Imagination’ methodology to facilitate a culture of responsible innovation for engineering and product teams in technology companies. Our approach has been operationalized over the past two years at Google, where we have conducted over 50 workshops with teams from across the organization. We argue that our approach is a crucial complement to existing formal and informal initiatives for fostering a culture of ethical awareness, deliberation, and decision-making in technology design such as company principles, ethics and (...) privacy review procedures, and compliance controls. We characterize some distinctive benefits of our methodology for the technology sector in particular. (shrink)

As sociologists deepen their examinations of human rights in their teaching, research, and thinking, it is essential that such work is conducted in a manner that is both mindful and critical of the knowledge we are building upon in sociology and human rights. As the authors of this volume reveal, creating sociological knowledge that examines human rights for the expansion of human rights is something that sociologists are well equipped to undertake, whether through the use of mathematics, comparative-historical analysis, the (...) study of emotions, conversations, or social psychology. In these chapters you will find the roots of the study of human rights deep within sociological research and thinking as well as emerging techniques that will push the discipline as it seeks to expand understanding of human rights together with so many other aspects of the social condition. (shrink)

Accounts of act individuation have attempted to capture peoples’ pre-theoretic intuitions. Donald Davidson has argued that a multitude of action descriptions designate only one act, while Alvin Goldman has averred that each action description refers to a distinct act. Following on recent empirical studies, I subject these accounts of act individuation to experimentation. The data indicate that people distinguish between actions differently depending upon the moral valence of the outcomes. Thus, the assumption that a single account of act individuation applies (...) invariantly seems mistaken. (shrink)