1. A. Heyting (1930) introduced an intermediate logic whose semantics is based on a pair of states (‘here’ and ‘there’). This logic was axiomatized by Hosoi (1966), using the sequence of intermedia...

In this paper we study proof procedures for some variants of first-order modal logics, where domains may be either cumulative or freely varying and terms may be either rigid or non-rigid, local or non-local. We define both ground and free variable tableau methods, parametric with respect to the variants of the considered logics. The treatment of each variant is equally simple and is based on the annotation of functional symbols by natural numbers, conveying some semantical information on the worlds where (...) they are meant to be interpreted.This paper is an extended version of a previous work where full proofs were not included. Proofs are in some points rather tricky and may help in understanding the reasons for some details in basic definitions. (shrink)

This paper presents an approach to artificial intelligence planning based on linear temporal logic (LTL). A simple and easy-to-use planning language is described, Planning Domain Description Language with control Knowledge (PDDL-K), which allows one to specify a planning problem together with heuristic information that can be of help for both pruning the search space and finding better quality plans. The semantics of the language is given in terms of a translation into a set of LTL formulae. Planning is then reduced (...) to “executing” the LTL encoding, i.e. to model search in LTL. The feasibility of the approach has been successfully tested by means of the system Pdk, an implementation of the proposed method. (shrink)

Basic hybrid logic extends modal logic with the possibility of naming worlds by means of a distinguished class of atoms (called nominals) and the so-called satisfaction operator, that allows one to state that a given formula holds at the world named a, for some nominal a. Hence, in particular, hybrid formulae include “equality” assertions, stating that two nominals are distinct names for the same world. The treatment of such nominal equalities in proof systems for hybrid logics may induce many redundancies. (...) This paper introduces an internalized tableau system for basic hybrid logic, significantly reducing such redundancies. The calculus enjoys a strong termination property: tableau construction terminates without relying on any specific rule application strategy, and no loop-checking is needed. The treatment of nominal equalities specific of the proposed calculus is briefly compared to other approaches. Its practical advantages are demonstrated by empirical results obtained by use of implemented systems. Finally, it is briefly shown how to extend the calculus to include the global and converse modalities. (shrink)

The interactions among the components of a biological system can be given a logical representation that is useful for reasoning about them. One of the relevant problems that may be raised in this context is finding what would explain a given behaviour of some component; in other terms, generating hypotheses that, when added to the logical theory modelling the system, imply that behaviour. Temporal aspects have to be taken into account, in order to model the causality relationship that may link (...) the behaviour of a given component to that of another one. This paper presents a hypothesis generation method for linear temporal logic theories whose formulae have a restricted syntactic form, which is however sufficient to model cellular and molecular interactions, as they are often represented by biologists. The method exploits the duality between hypothesis generation and consequence finding, and can therefore be also used to infer the consequences of a given fact. It is based on a resolution system proposed by Cavalli and Fariñas del Cerro in 1984. (shrink)

ABSTRACT In this paper we state and prove Herbrand's properties for two modal systems, namely T and S4, thus adapting a previous result obtained for the system D [CIA 86a] to such theories. These properties allow the first order extension?along the lines of [CIA 91]?of the resolution method defined in [ENJ 86] for the corresponding propositional modal systems. In fact, the Herbrand-style procedures proposed here treat quantifiers in a uniform way, that suggests the definition of a restricted notion of unification (...) for quantifier free modal formulae obtained by means of a Skolem-like procedure. The differences among the three systems considered, D, T and S4, are taken into account by preliminary propositional transformations of the formulae, in such a way that the problem of quantifier elimination can be treated within the same pattern in the different systems. The methods employed to prove the fundamental theorems are purely proof-theoretical and make use of the formalization of the considered modal theories in terms of sequent calculi, where the cut elimination theorem holds. (shrink)

The Fairness, Accountability, and Transparency (FAccT) literature tends to focus on bias as a problem that requires ex post solutions (e.g. fairness metrics), rather than addressing the underlying social and technical conditions that (re)produce it. In this article, we propose a complementary strategy that uses genealogy as a constructive, epistemic critique to explain algorithmic bias in terms of the conditions that enable it. We focus on XAI feature attributions (Shapley values) and counterfactual approaches as potential tools to gauge these conditions (...) and offer two main contributions. One is constructive: we develop a theoretical framework to classify these approaches according to their relevance for bias as evidence of social disparities. We draw on Pearl’s ladder of causation (Causality: models, reasoning, and inference. Cambridge University Press, Cambridge, 2000, Causality, 2nd edn. Cambridge University Press, Cambridge, 2009. doi:10.1017/CBO9780511803161) to order these XAI approaches concerning their ability to answer fairness-relevant questions and identify fairness-relevant solutions. The other contribution is critical: we evaluate these approaches in terms of their assumptions about the role of protected characteristics in discriminatory outcomes. We achieve this by building on Kohler-Hausmann’s (Northwest Univ Law Rev 113(5):1163–1227, 2019) constructivist theory of discrimination. We derive three recommendations for XAI practitioners to develop and AI policymakers to regulate tools that address algorithmic bias in its conditions and hence mitigate its future occurrence. (shrink)

Sometimes subjects have sufficient internal and external resources to retrieve information stored in memory, in particular information that carries socially charged content. Yet, they fail to do so: they forget it. These cases pose an explanatory challenge to common explanations of forgetting in cognitive science. In this paper, I take this challenge and develop a new explanation of these cases. According to this explanation, these cases are best explained as cases of norm-induced forgetting: cases in which forgetting is caused by (...) social norms in a relevant sense. These cases draw attention to the normative aspects of the mechanisms of forgetting. This is an important but neglected aspect of cases of everyday forgetting, in particular of those characterized by a social dimension. By investigating some ways in which the psychology of social norms is causally relevant in the mechanisms of retrieval failure, I begin to fill this gap. (shrink)

The central idea behind this paper is that presuppositions of soft triggers arise from the way our attention structures the informational content of a sentence. Some aspects of the information conveyed are such that we pay attention to them by default, even in the absence of contextual information. On the other hand, contextual cues or conversational goals can divert attention to types of information that we would not pay attention to by default. Either way, whatever we do not pay attention (...) to, be it by default, or in context, is what ends up presupposed by soft triggers. This paper attempts to predict what information in the sentence is likely to end up being the main point (i.e. what we pay attention to) and what information is independent from this, and therefore likely presupposed. It is proposed that this can be calculated by making reference to event times. The notion of aboutness used to calculate independence is based on that of Demolombe and Fariñas del Cerro (In: Holdobler S (ed) Intellectics and computational logic: papers in honor of Wolfgang Bibel, 2000). (shrink)

Some presuppositions are easier to cancel than others in embedded contexts. This contrast has been used as evidence for distinguishing two fundamentally different kinds of presuppositions, ‘soft’ and ‘hard’. ‘Soft’ presuppositions are usually assumed to arise in a pragmatic way, while ‘hard’ presuppositions are thought to be genuine semantic presuppositions. This paper argues against such a distinction and proposes to derive the difference in cancellation from inherent differences in how presupposition triggers interact with the context: their focus sensitivity, anaphoricity, and (...) question–answer congruence properties. The paper also aims to derive the presuppositions of additive particles such as too, also, again, and of it-clefts. (shrink)

This paper takes a virtuist approach to medical ethics to explore, from an empirical angle, ideas about settled ways of living a good life. Qualitative research methods were used to analyse the ways in which a group of 15 general practitioners articulated notions of good doctoring and the virtues in their work. I argue that the GPs, whose talk is analysed here, defined good general practice in terms of the ideals of accessibility, comprehensiveness, and continuity. They regarded these ideals significant (...) both for the way they dealt with morally problematic situations and for how they conducted their professional lives more generally. In addition, I argue that the GPs who articulated these ideals most clearly were able to, in part, because they shared the experience of working in rural areas. This experience helped them to develop an understanding of the nature of general practice that their urban colleagues were less able to draw on. In that sense, the structural and organisational framework of general practice in rural areas provided the context for their understanding of ideals in general practice. (shrink)

This paper examines a little studied type of perspective shift that I call protagonist projection, following Holton :625–628, 1997). PP is a way of describing the mental state of a protagonist that conveys, to some extent, her perspective. Similarly to its better known cousin free indirect discourse, the shift in perspective is achieved without an overt operator. Unlike FID, PP is not based on a presumed speech-act of a protagonist. Rather, it gives a linguistic form to pre-verbal perceptual content, sensations, (...) feelings or implicit beliefs. I propose to analyse PP in a bi-contextual framework, extending Eckardt’s approach to FID. Under the resulting analysis, FID and PP are two instances of a more general category of perspective shift. (shrink)

Next SectionWhilst there has been considerable debate about the fit between moral theory and moral reasoning in everyday life, the way in which moral problems are defined has rarely been questioned. This paper presents a qualitative analysis of interviews conducted with 15 general practitioners (GPs) in South Australia to argue that the way in which the bioethics literature defines an ethical dilemma captures only some of the range of lay views about the nature of ethical problems. The bioethics literature has (...) defined ethical dilemmas in terms of conflict and choice between values, beliefs and options for action. While some of the views of some of the GPs in this study about the nature of their ethical dilemmas certainly accorded with this definition, other explanations of the ethical nature of their problems revolved around the publicity associated with the issues they were discussing, concern about their relationships with patients, and anxiety about threats to their integrity and reputation. The variety of views about what makes a problem a moral problem indicates that the moral domain is perhaps wider and richer than mainstream bioethics would generally allow. (shrink)

The significance of the complicated numbering of the propositions in the Tractatus has occasioned much speculation. Wittgenstein's own explanation has, following Stenius, been generally regarded as misleading. But an examination of the Prototractatus reveals that the numbering system was for Wittgenstein principally an aid in the composition of his work. It allowed him to mark out certain propositions which required further work or supplementation, without disturbing the basic structure of the treatise. But the reworking of the Prototractatus to form the (...) Tractatus considerably changed the original order in which the ideas were connected, and thus made it more difficult to understand the Tractatus. Several specific examples make it clear that it is essential to look back at the context of the Prototractatus in order to achieve a correct interpretation of many of the propositions in the Tractatus. (shrink)

A complete, illustrated survey of Etienne-Jules Marey's work that investigates the far reaching effects of her inventions on stream-of-consciousness literature, psychoanalysis, Bergsonian philosophy, and the art of cubists and futurists.

Objectives: To determine whether authors of scientific publications in molecular biology declare patents and other potential financial interests.Design: Survey of a 6-month sample of papers related to molecular biology in Nature.Methods: The esp@cenet worldwide patent search engine was used to search for patents applied for by the authors of scientific papers in Nature that were related to molecular biology and genetics, between January and June 2005.Results: Of the 79 papers considered, four had declared that certain authors had competing financial interests. (...) Seven papers in which no financial interests were declared had authors with patent applications that were based on the research in the paper or were closely related to it. Another paper had two authors with connections to biotechnology companies that were not disclosed.Conclusion: Two thirds of the papers in which authors had patent applications or company affiliations that might be considered to be competing financial interests did not disclose them. Failure to disclose such information may have negative implications on the perception of science in society and on its quality if the possible bias is hidden. Journals should make greater efforts to ensure full disclosure, and scientific institutions should consider failure to disclose financial interests as an example of scientific malpractice. Establishing a register of interests for scientists is one way to increase transparency and openness. (shrink)

Traditionally the domain of scientists, the history of science became an independent field of inquiry only in the twentieth century and mostly after the Second World War. This process of emancipation was accompanied by a historiographical departure from previous, ‘scientistic’ practices, a transformation often attributed to influences from sociology, philosophy and history. Similarly, the liberal humanists who controlled the Cambridge History of Science Committee after 1945 emphasized that their contribution lay in the special expertise they, as trained historians, brought to (...) the venture. However, the scientists who had founded the Committee in the 1930s had already advocated a sophisticated contextual approach: innovation in the history of science thus clearly came also from within the ranks of scientists who practised in the field. Moreover, unlike their scientist predecessors on the Cambridge Committee, the liberal humanists supported a positivistic protocol that has since been criticized for its failure to properly contextualize early modern science. Lastly, while celebrating the rise of modern science as an international achievement, the liberal humanists also emphasized the peculiar Englishness of the phenomenon. In this respect, too, their outlook had much in common with the practices from which they attempted to distance their project. (shrink)

There is currently a consensus among comparative psychologists that nonhuman animals are capable of some forms of mindreading. Several philosophers and psychologists have criticized this consensus, however, arguing that there is a “logical problem” with the experimental approach used to test for mindreading in nonhuman animals. I argue that the logical problem is no more than a version of the general skeptical problem known as the theoretician’s dilemma. As such, it is not a problem that comparative psychologists must solve before (...) providing evidence for mindreading. (shrink)

Copyright © 2008 by International Union for Health Promotion and Education.

This book presents a novel interpretation of Aristotle's account of how shame instils virtue, and defends its philosophical import. Shame is shown to provide motivational continuity between the actions of the learners and the virtuous dispositions that they will eventually acquire.

This paper considers a host of definitions and labels attached to the concept of smart cities to identify four dimensions that ground a review of ethical concerns emerging from the current debate. These are: (1) network infrastructure, with the corresponding concerns of control, surveillance, and data privacy and ownership; (2) post-political governance, embodied in the tensions between public and private decision-making and cities as post-political entities; (3) social inclusion, expressed in the aspects of citizen participation and inclusion, and inequality and (...) discrimination; and (4) sustainability, with a specific focus on the environment as an element to protect but also as a strategic element for the future. Given the persisting disagreements around the definition of a smart city, the article identifies in these four dimensions a more stable reference framework within which ethical concerns can be clustered and discussed. Identifying these dimensions makes possible a review of the ethical implications of smart cities that is transversal to their different types and resilient towards the unsettled debate over their definition. (shrink)

ABSTRACTFinance may suffer from institutional deformations that subordinate its distinctive goods to the pursuit of external goods, but this should encourage attempts to reform the institutionalization of finance rather than to reject its potential for virtuous business activity. This article argues that finance should be regarded as a domain-relative practice. Alongside management, its moral status thereby varies with the purposes it serves. Hence, when practitioners working in finance facilitate projects that create common goods, it allows them to develop virtues. This (...) argument applies MacIntyre’s widely acknowledged account of the relationship between practices and the development of virtues while questioning some of his claims about finance. It also takes issue with extant accounts of particular financial functions that have failed to identify the distinctive goods of financial practice. (shrink)

The concept of noncombatant immunity prohibits the intentional targeting of noncombatants. The availability of nonlethal weapons (NLW) may weaken this prohibition, especially since using NLWs against noncombatants may, in some cases, actually save the noncombatants' lives. Given the advancement of NLWs, I argue that their probable appearance on the battlefield demands close scrutiny due to the moral problems associated with their use. In this paper, I examine four distinct cases and determine whether the use of NLWs is morally permissible. While (...) it seems that the reduced harm caused by NLWs makes their use more acceptable, adhering to noncombatant immunity requires more than not killing noncombatants. It also requires that military forces treat noncombatants a certain way. In the cases I present, to use NLWs against noncombatants treats them as combatants and coerces them to do something against their will. While a consequentialist foundation for noncombatant immunity may permit this action, a rights-based concept of noncombatant immunity does not. I contend that only a rights-based concept of noncombatant immunity is viable, and that the availability of NLWs should not significantly alter the prohibitions prescribed by noncombatant immunity. (shrink)

Aristotle ’s claim that we become virtuous by doing virtuous actions raises a familiar problem: How can we perform virtuous actions unless we are already virtuous? I reject deflationary accounts of the answer given in _Nicomachean Ethics_ 2.4 and argue instead that proper habituation involves doing virtuous actions with the right motive, i.e. for the sake of the noble, even though learners do not yet have virtuous dispositions. My interpretation confers continuity to habituation and explains in a non-mysterious way how (...) we become virtuous by doing virtuous actions in the right way. (shrink)

Intersectionality is the notion that concerns the complexity of the experiences of individuals in virtue of their belonging to multiple socially significant categories. One of its main insights is that the way society is structured around categories such as gender, race, sexuality, class, etc., produces distinctive and specific forms of discrimination and privilege for groups in the intersections. In this paper, we suggest conceiving intersectionality as a general metaphysical framework wherein specific claims to the effect that the experiences of discrimination (...) of Black women, among others, can be fruitfully formulated and examined. The main claim is that intersectional experiences emerge from the conjunction of social categories when social structures make them relevant vis-à-vis discrimination and privilege. We then argue that our view has three main virtues: metaphysical neutrality, explanatory flexibility and methodological openness. Explaining these virtues will allow us to contrast our proposal with alternatives from the recent literature. (shrink)

This paper considers a host of definitions and labels attached to the concept of smart cities to identify four dimensions that ground a review of ethical concerns emerging from the current debate. These are: network infrastructure, with the corresponding concerns of control, surveillance, and data privacy and ownership; post-political governance, embodied in the tensions between public and private decision-making and cities as post-political entities; social inclusion, expressed in the aspects of citizen participation and inclusion, and inequality and discrimination; and sustainability, (...) with a specific focus on the environment as an element to protect but also as a strategic element for the future. Given the persisting disagreements around the definition of a smart city, the article identifies in these four dimensions a more stable reference framework within which ethical concerns can be clustered and discussed. Identifying these dimensions makes possible a review of the ethical implications of smart cities that is transversal to their different types and resilient towards the unsettled debate over their definition. (shrink)

"The Augustinus-Lexikon is both a conceptual and a real dictionary. In alphabetical order, it covers concepts, people and things that are of importance for the life, work and teachings of Augustine."--.