The paper presents an exhaustive menu of nonmonotonic logics. The options are individuated in terms of the principles they reject. I locate, e.g., cumulative logics and relevance logics on this menu. I highlight some frequently neglected options, and I argue that these neglected options are particularly attractive for inferentialists.

Theorists of aesthetic value since Hume have traditionally aimed to justify at least some comparative judgments of aesthetic value and to explain why we thereby have more reason to appreciate some aesthetic objects than others. I argue that three recent theories of aesthetic value—Thi Nguyen’s and Matthew Strohl’s engagement theories, Nick Riggle’s communitarian theory, and Dominic McIver Lopes’ network theory—face a challenge to carry out this explanatory task in a satisfactory way. I defend a monotonicity principle according to which (...) the strength of our aesthetic reasons to appreciate varies monotonically with aesthetic value and claim that these theories, because they do not respect the principle, are non-monotonic. If they cannot find a plausible way to preserve the link between the aesthetic goodness of an object and our aesthetic reasons to appreciate it, these non-monotonic theories should be rejected. (shrink)

In the classic Miners case, an agent subjectively ought to do what they know is objectively wrong. This case shows that the subjective and objective ‘oughts’ are somewhat independent. But there remains a powerful intuition that the guidance of objective ‘oughts’ is more authoritative—so long as we know what they tell us. We argue that this intuition must be given up in light of a monotonicity principle, which undercuts the rationale for saying that objective ‘oughts’ are an authoritative guide (...) for agents and advisors. (shrink)

The global relation between logical empiricism and American pragmatism is one of the more difficult problems in history of philosophy. In this paper I’d like to take a local perspective and concentrate on the details that concern the vicissitudes of a philosopher who played an important role in the encounter of logical empiricism and American pragmatism, namely, Ernest Nagel. In this paper, I want to explore some aspects of Nagel’s changing attitude towards the then „new“ logical-empiricist philosophy. In the beginning (...) Nagel welcomed logical empiricism whole-heartedly. This early enthusiasm did not last. At the end of his philosophical career Nagel’s early positive attitude towards logical empiricism shown in the 1930s had been replaced by a much more reserved one. Nagel’s growing dissatisfaction with the Carnapian version of logical empiricist philosophy was clearly expressed in Nagel’s criticism of Carnap’s inductive logic and more generally in his last book Teleology Revisited and Other Essays on History and Philosophy of Science. There he critized harshly Carnap’s philosophy of science in general as ahistoric and non-pragmatist. One of the distinctive features of Nagel’s philosophy of science is the emphasis that he put on the role of history of science for philosophy of science. A compelling evidence for this attitude are his works on the history and philosophy of geometry and algebra One may say that Carnap and Nagel represented opposed possibilities of how the profession of a philosopher of science could be understood: Carnap as a „conceptual engineer“ was engaged in the task of inventing the conceptual tools for a better theoretical understanding of science, while Nagel was to be considered more as a „public intellectual“ engaged in the project of realizing a more rational and enlightened society. (shrink)

A key challenge for probabilistic causal models is to distinguish non-causal probabilistic dependencies from true causal relations. To accomplish this task, causal models are usually required to satisfy several constraints. Two prominent constraints are the causal Markov condition and the faithfulness condition. However, other constraints are also needed. One of these additional constraints is the causal sufficiency condition, which states that models must not omit any direct common causes of the variables they contain. In this paper, I argue that the (...) causal sufficiency condition is problematic: (1) it is incompatible with the requirement that the variables in a model must not stand in non-causal necessary dependence relations, such as mathematical or conceptual relations, or relations described in terms of supervenience or grounding, (2) it presupposes more causal knowledge as primitive than is actually needed to create adequate causal models, and (3) if models are only required to be causally sufficient, they cannot deal with cases where variables are probabilistically related by accident, such as Sober’s example of the relationship between bread prices in England and the sea level in Venice. I show that these problems can be avoided if causal models are required to be monotonic in the following sense: the causal relations occurring in a model M would not disappear if further variables were added to M. I give a definition of this monotonicity condition and conclude that causal models should be required to be monotonic rather than causally sufficient. (shrink)

A non-embracing consequence relation is one such that no set of wffs closed under it is equal to the set of all wffs. I prove that these relations have no deductive power if they are also extensive and monotonic.

Part of a book symposium on Anjan Chakravartty's Scientific ontology: integrating naturalized metaphysics and voluntarist epistemology (Oxford University Press, 2017).

Inventing novel knowledge to solve problems is a crucial, creative, mechanism employed by humans, to extend their range of action. In this paper, we present TCL (typicality-based compositional logic): a probabilistic, non monotonic extension of standard Description Logics of typicality, and will show how this framework is able to endow artificial systems of a human-like, commonsense based, concept composition procedure that allows its employment in a number of applications (ranging from computational creativity to goal-based reasoning to recommender systems and affective (...) computing). -/- The framework relies on 3 main ingredients: a non monotonic extension of standard Description Logics (allowing to reason on exceptions to inheritance in standard knowledge bases) a probabilistic extension coming from the field of logic programming (the DISPONTE semantics) a cognitive heuristics known ad HEAD-Modifier determining preference rules for the inheritance mechanisms of the novel concepts to be generated via commonsense rules. -/- We report the obtained results and the lessons learned of this research path in the context of model-based AI applications. -/- . (shrink)

In this paper we present a framework for the dynamic and automatic generation of novel knowledge obtained through a process of commonsense reasoning based on typicality-based concept combination. We exploit a recently introduced extension of a Description Logic of typicality able to combine prototypical descriptions of concepts in order to generate new prototypical concepts and deal with problem like the PET FISH (Osherson and Smith, 1981; Lieto & Pozzato, 2019). Intuitively, in the context of our application of this logic, the (...) overall pipeline of our system works as follows: given a goal expressed as a set of properties, if the knowledge base does not contain a concept able to fulfill all these properties, then our system looks for two concepts to recombine in order to extend the original knowledge based satisfy the goal. (shrink)

Building on theoretical insights and rich experimental data of our preprints, we present here new theoretical and experimental results in three interrelated approaches to the Collatz problem and its generalizations: algorithmic decidability, random behavior, and Diophantine representation of related discrete dynamical systems, and their cyclic and divergent properties.

In questo contributo descriviamo un sistema di creatività computazionale in grado di generare automaticamente nuovi concetti utilizzando una logica descrittiva non monotòna che integra tre ingredienti principali: una logica descrittiva della tipicalità, una estensione probabilistica basata sulla semantica distribuita nota come DISPONTE, e una euristica di ispirazione cognitiva per la combinazione di più concetti. Una delle applicazioni principali del sistema riguarda il campo della creatività computazionale e, più specificatamente, il suo utilizzo come sistema di supporto alla creatività in ambito mediale. (...) In particolare, tale sistema è in grado di: generare nuove storie (a partire da una rappresentazione narrativa di storie pre-esistenti), generare nuovi personaggi (ad es. il nuovo “cattivo” di una serie tv o di un cartone animato) e, in generale, può essere utilizzato per proporre nuove soluzioni e format narrativi da esplorare nell’ambito dell’industria creativa. (shrink)

In some severely uncertain situations, exemplified by climate change and novel pandemics, policymakers lack a reasoned basis for assigning probabilities to the possible outcomes of the policies they must choose between. I outline and defend an uncertainty averse, egalitarian approach to policy evaluation in these contexts. The upshot is a theory of distributive justice which offers especially strong reasons to guard against individual and collective misfortune.

As astounding as it sounds, especially to people outside of the USA (and the Middle East, and much of Africa), 13 % of US high school teachers actively advocate creationism and so-called intelligent design theory in their classrooms; another 28 % does the right thing and teaches evolution, but a whopping 60 % falls in the middle: These teachers accept evolutionary theory (though they may be fuzzy on the details), and yet do not teach it in their classrooms, in order (...) to avoid ‘‘the controversy’’ (Berkman and Plutzer 2010). It is largely at this 60 %, and to interested undergraduate and graduate students, that Kampourakis’ new book is aimed. (shrink)

I discuss Smokrović’s work on the normativity of logic (Smokrović 2017, Smokrović 2018). I agree that the classical formal logic is not an adequate model for real-life reasoning. But I present some doubts about his notion of deductive logic and his proposal to model such reasoning in non-monotonic logic. No branch of formal logic by itself is likely to capture real-life inferential links (reasoned-inference). I use the logic of relevance as my case study and extend the pessimistic morals to modern (...) systems of non-classical logic. Finally, I propose a more lax conception of normativty: there is a connection between logical assessment in the broad sense (as sanctioned by the notion of cogency) and the evaluation and criticism of reasoning. (shrink)

Nguyen argues that only his radically pragmatic account and Sterken’s indexical account can capture what we call the positive data. We present some new data, which we call the negative data, and argue that no theory of generics on the market is compatible with both the positive data and the negative data. We develop a novel version of the indexical account and show that it captures both the positive data and the negative data. In particular, we argue that there is (...) a semantic constraint that, in any context, the semantic value of GEN is upward monotone and non-symmetric. On the other hand, the pragmatic account has difficulty accommodating the negative data. This is because no pragmatic principles have been developed that can explain the negative data. In the paper, we focus on only the pragmatic account and the indexical account, but our discussion has broad implications for the debate on generics: any empirically adequate accounts of generics must be flexible enough to accommodate the positive data and yet constrained enough to accommodate the negative data. (shrink)

Inferentialism, especially Brandom’s theory, is the project aimed at understanding meaning as determined by inferences, and language as a social practice governed by rational discursive norms. Discursive practice is thus understood as the basic rational practice, where commitments undertaken by participants are evaluated in terms of their being correct/incorrect. This model of explanation is also intended to rescue, by means of reasons, the commitments we undertake ourselves and assess the commitments we attribute to others, in an objective sense: starting from (...) our subjective normative and doxastic attitudes we should be able to use the normative discursive resources apt to assess our commitments, not only referring to what we take to be correct, but also referring to how things actually are.My hypothesis is that this objectivity is not achieved only on the basis of the rational structure of discursive practice. The main worry concerns the fact that material inferences, those responsible for the content of our concepts (and commitments), are in general non-monotonic. These inferences put experts in an advantageous position,namely as those capable of defeasible reasoning. I propose a view by which this asymmetry among language users is the crucial factor in assessing the objectivity of claims within discursive practice. (shrink)

It is usually accepted that deductions are non-informative and monotonic, inductions are informative and nonmonotonic, abductions create hypotheses but are epistemically irrelevant, and both deductions and inductions can’t provide new insights. In this article, I attempt to provide a more cohesive view of the subject with the following hypotheses: (1) the paradigmatic examples of deductions, such as modus ponens and hypothetical syllogism, are not inferential forms, but coherence requirements for inferences; (2) since any reasoner aims to be coherent, any inference (...) must be deductive; (3) a coherent inference is an intuitive process where the premises should be taken as sufficient evidence for the conclusion, which on its turn should be viewed as necessary evidence for the premises in some modal range; (4) inductions, properly understood, are abductions, but there are no abductions beyond the fact that in any inference the conclusion should be regarded as necessary evidence for the premises; (5) monotonicity is not only compatible with the retraction of past inferences given new information, but it is a requirement for it; (6) this explanation of inferences holds true for discovery processes, predictions and trivial inferences. (shrink)

Upward monotonic semantics for necessity modals give rise to Ross’s Puzzle: they predict that □φ entails □(φ ∨ ψ), but common intuitions about arguments of this form suggest they are invalid. It is widely assumed that the intuitive judgments involved in Ross’s Puzzle can be explained in terms of the licensing of ‘Diversity’ inferences: from □(φ ∨ ψ), interpreters infer that the truth of each disjunct (φ, ψ) is compatible with the relevant set of worlds. I introduce two pieces of (...) data that this analysis fails to explain. Analyzing this data, I argue, suggests that necessity modals with embedded disjunctions license ‘Independence’ inferences: from the truth of □(φ ∨ ψ), interpreters infer that φ-without-ψ and ψ-without-φ are each compatible with the relevant set of worlds. I outline a bilateral inquisitive semantics for necessity modals that predicts the validity of the Independence inferences. I then argue that the resulting theory should be understood as one on which disjunctions denote pluralities of propositions, and necessity modals behave like collective predicates applied to these pluralities. (shrink)

An adequate semantics for generic sentences must stake out positions across a range of contested territory in philosophy and linguistics. For this reason the study of generic sentences is a venue for investigating different frameworks for understanding human rationality as manifested in linguistic phenomena such as quantification, classification of individuals under kinds, defeasible reasoning, and intensionality. Despite the wide variety of semantic theories developed for generic sentences, to date these theories have been almost universally model-theoretic and representational. This essay outlines (...) a range of proof-theoretic analyses for characterizing generics. Particular attention is given to an expressivist proof-theory that can be traced to 1) work on logical syntax that Carnap undertook prior to his turn toward truth-conditional model theory in the late 1930s, and 2) research on sequent calculi and natural deduction systems that originate in work from Gentzen and Prawitz.11 This essay offers a more precise exposition of some of the material discussed in the first two chapters of my dissertation (Stovall Citation2015a). These ideas developed in the context of a working group on non-monotonic logic run by Robert Brandom, and they were subsequently clarified through the work of Nissim Francez (particularly Francez Citation2015). I am indebted to many people for feedback and criticism on this essay, though I am sure none among them would agree with everything I say and do here. I would particularly like to thank Brandom, Francez, Ulf Hlobil, Daniel Kaplan, Jared Millson, Bernhard Nickel, Jaroslav Peregrin, Jeffry Pelletier, Thomas Ricketts, Mark Risjord, Shawn Standefer, and two reviewers for this journal. Work on this essay was supported by the joint Lead-Agency research grant between the Austrian Science Foundation (FWF) and the Czech Science Foundation (GAČR), Inferentialism and Collective Intentionality, GF17-33808L. It was substantially revised prior to its final submission. (shrink)

Higher‐order evidence can make an agent doubt the reliability of her reasoning. When this happens, it seems rational for the agent to adopt a cautious attitude towards her original conclusion, even in cases where the higher‐order evidence is misleading and the agent's original reasons were actually perfectly good. One may think that recoiling to a cautious attitude in the face of misleading self‐doubt involves a failure to properly respond to one's reasons. My aim is to show that this (...) is not so. My proposal is that (misleading) higher‐order evidence can undermine the agent's possession of her first‐order reasons, constituting what I call a dispossessing defeater. After acquiring the higher‐order evidence, the agent is no longer in a position to rely competently on the relevant first‐order considerations as reasons for her original conclusion, so that such reasons stop being available to her (even if they remain as strong as in the absence of the higher‐order evidence). In this way, an agent with misleading higher‐order evidence can adopt a cautious stance towards her original conclusion, while properly responding to the set of reasons that she possesses–a set that is reduced due to the acquisition of higher‐order dispossessing defeaters. (shrink)

In the future, when we compare the welfare of a being of one substrate (say, a human) with the welfare of another (say, an artificial intelligence system), we will be making an intersubstrate welfare comparison. In this paper, we argue that intersubstrate welfare comparisons are important, difficult, and potentially tractable. The world might soon contain a vast number of sentient or otherwise significant beings of different substrates, and moral agents will need to be able to compare their welfare levels. However, (...) this work will be difficult, because we lack the same kinds of commonalities across substrates that we have within them. Fortunately, we might be able to make at least some intersubstrate welfare comparisons responsibly in spite of these issues. We make the case for cautious optimism and call for more research. (shrink)

In this paper, I take issue with the widespread philosophical consensus that only victims of wrongdoing are in a position to forgive it. I offer both a defense and a philosophical account of third-party forgiveness. I argue that when we deny this possibility, we misconstrue the complex, relational nature of wrongdoing and its harms. We also risk over-moralizing the victim's position and overlooking the roles played by secondary participants. I develop an account of third-party forgiveness that both demonstrates how successful, (...) morally legitimate, acts of third-party forgiveness are possible and simultaneously highlights the particular moral risks that would-be third-party forgivers face. I conclude insofar as they are appropriately grounded and cautiously bestowed, at least some acts of third-party forgiveness contribute significantly to post-conflict repair. (shrink)

We study imagination as reality-oriented mental simulation : the activity of simulating nonactual scenarios in one’s mind, to investigate what would happen if they were realized. Three connected questions concerning ROMS are: What is the logic, if there is one, of such an activity? How can we gain new knowledge via it? What is voluntary in it and what is not? We address them by building a list of core features of imagination as ROMS, drawing on research in cognitive psychology (...) and the philosophy of mind. We then provide a logic of imagination as ROMS which models such features, combining techniques from epistemic logic, action logic, and subject matter semantics. Our logic comprises a modal propositional language with non-monotonic imagination operators, a formal semantics, and an axiomatization. (shrink)

Abstract: Smoke detectors are critical devices for early fire detection and life-saving interventions. This research paper explores the application of Artificial Neural Networks (ANNs) in smoke detection systems. The study aims to develop a robust and accurate smoke detection model using ANNs. Surprisingly, the results indicate a 100% accuracy rate, suggesting promising potential for ANNs in enhancing smoke detection technology. However, this paper acknowledges the need for a comprehensive evaluation beyond accuracy. It discusses potential challenges, such as overfitting, dataset size, (...) and class imbalance, and presents strategies employed to address these issues. Additionally, the paper emphasizes the importance of alternative evaluation metrics, including precision, recall, and F1-score, to assess the model's performance comprehensively. Detailed information regarding the model architecture, data preprocessing, and hyperparameter tuning is provided to enhance the reproducibility of the research. The study also discusses ethical considerations and the implications of false positives and false negatives in smoke detection applications. While achieving 100% accuracy is a notable accomplishment, this paper calls for cautious interpretation and further validation in real-world settings. It concludes by highlighting areas for future research and improvement in smoke detection technology, emphasizing the need for practical deployment and the reduction of false alarms. (shrink)

In light of the extent of wild animal suffering, some philosophers have adopted the view that we should cautiously assist wild animals on a large scale. Recently, their view has come under criticism. According to one objection, even cautious intervention is unjustified because fallibility is allegedly intractable. By contrast, a second objection states that we should abandon caution and intentionally destroy habitat in order to prevent wild animals from reproducing. In my paper, I argue that intentional habitat destruction is (...) wrong because negative duties are more stringent than positive duties. However, I also argue that the possible benefits of ecological damage, combined with the excusability of unintended, unforeseeable harm, suggest that fallibility should not paralyse us. (shrink)

To assess whether UK and US health care professionals share the views of medical ethicists about medical futility, withdrawing/withholding treatment, ordinary/extraordinary interventions, and the doctrine of double effect. A 138-item attitudinal questionnaire completed by 469 UK nurses studying the Open University course on "Death and Dying" was compared with a similar questionnaire administered to 759 US nurses and 687 US doctors taking the Hastings Center course on "Decisions near the End of Life". Practitioners accept the relevance of concepts widely disparaged (...) by bioethicists: double effect, medical futility, and the distinctions between heroic/ordinary interventions and withholding/withdrawing treatment. Within the UK nurses' group a "rationalist" axis of respondents who describe themselves as having "no religion" are closer to the bioethics consensus on withholding and withdrawing treatment. Professionals' beliefs differ substantially from the recommendations of their professional bodies and from majority opinion in bioethics. Bioethicists should be cautious about assuming that their opinions will be readily accepted by practitioners. (shrink)

Marino & Merskin (2019) demonstrate that sheep are more cognitively complex than typically thought. We should be cautious in interpreting the implications of these results for welfare considerations to avoid perpetuating mistaken beliefs about the moral value of intelligence as opposed to sentience. There are, however, still important ways in which this work can help improve sheeps’ lives.

We present a formal semantics for epistemic logic, capturing the notion of knowability relative to information (KRI). Like Dretske, we move from the platitude that what an agent can know depends on her (empirical) information. We treat operators of the form K_AB (‘B is knowable on the basis of information A’) as variably strict quantifiers over worlds with a topic- or aboutness- preservation constraint. Variable strictness models the non-monotonicity of knowledge acquisition while allowing knowledge to be intrinsically stable. Aboutness-preservation (...) models the topic-sensitivity of information, allowing us to invalidate controversial forms of epistemic closure while validating less controversial ones. Thus, unlike the standard modal framework for epistemic logic, KRI accommodates plausible approaches to the Kripke-Harman dogmatism paradox, which bear on non-monotonicity, or on topic-sensitivity. KRI also strikes a better balance between agent idealization and a non-trivial logic of knowledge ascriptions. (shrink)

Recent work in cognitive modelling has found that most of the data that has been cited as evidence for the dual-process theory (DPT) of reasoning is best explained by non-linear, “monotonic” one-process models (Stephens et al., 2018, 2019). In this paper, I consider an important caveat of this research: it uses models that are committed to unrealistic assumptions about how effectively task conditions can isolate Type-1 and Type-2 reasoning. To avoid this caveat, I develop a coordinated theoretical, experimental, and modelling (...) strategy to better test DPT. First, I propose that Type-1 and Type-2 reasoning are defined as reasoning that precedes and follows metacognitive control, respectively. Second, I argue that reasoning that precedes and follows metacognitive control can be effectively isolated using debiasing paradigms that manipulate metacognitive heuristics (e.g., processing fluency) to prevent or trigger metacognitive control, respectively. Third, I argue that monotonic modelling can allow us to decisively test DPT only when we use them to analyse data from this particular kind of debiasing paradigm. (shrink)

This paper offers a new account of metaphysical explanation. The account is modelled on Kitcher’s unificationist approach to scientific explanation. We begin, in Sect. 2, by briefly introducing the notion of metaphysical explanation and outlining the target of analysis. After that, we introduce a unificationist account of metaphysical explanation before arguing that such an account is capable of capturing four core features of metaphysical explanations: irreflexivity, non-monotonicity, asymmetry and relevance. Since the unificationist theory of metaphysical explanation inherits irreflexivity and (...) non-monotonicity directly from the unificationist theory of scientific explanation that underwrites it, we focus on demonstrating how the account can secure asymmetry and relevance. (shrink)

We discuss a well-known puzzle about the lexicalization of logical operators in natural language, in particular connectives and quantifiers. Of the many logically possible operators, only few appear in the lexicon of natural languages: the connectives in English, for example, are conjunction _and_, disjunction _or_, and negated disjunction _nor_; the lexical quantifiers are _all, some_ and _no_. The logically possible nand (negated conjunction) and Nall (negated universal) are not expressed by lexical entries in English, nor in any natural language. Moreover, (...) the lexicalized operators are all upward or downward monotone, an observation known as the Monotonicity Universal. We propose a logical explanation of lexical gaps and of the Monotonicity Universal, based on the dynamic behaviour of connectives and quantifiers. We define update potentials for logical operators as procedures to modify the context, under the assumption that an update by \( \phi \) depends on the logical form of \( \phi \) and on the speech act performed: assertion or rejection. We conjecture that the adequacy of update potentials determines the limits of lexicalizability for logical operators in natural language. Finally, we show that on this framework the Monotonicity Universal follows from the logical properties of the updates that correspond to each operator. (shrink)

Vigorous debate over the moral propriety of cognitive enhancement exists, but the views of the public have been largely absent from the discussion. To address this gap in our knowledge, four experiments were carried out with contrastive vignettes in order to obtain quantitative data on public attitudes towards cognitive enhancement. The data collected suggest that the public is sensitive to and capable of understanding the four cardinal concerns identified by neuroethicists, and tend to cautiously accept cognitive enhancement even as they (...) recognize its potential perils. The public is biopolitically moderate, endorses both meritocratic principles and the intrinsic value of hard work, and appears to be sensitive to the salient moral issues raised in the debate. Taken together, these data suggest that public attitudes toward enhancement are sufficiently sophisticated to merit inclusion in policy deliberations, especially if we seek to align public sentiment and policy. (shrink)

Safety principles in epistemology are often hailed as providing us with an explanation of why we fail to have knowledge in Gettier cases and lottery examples, while at the same time allowing for the fact that we know the negations of sceptical hypotheses. In a recent paper, Sinhababu and Williams have produced an example—the Backward Clock—that is meant to spell trouble for safety accounts of knowledge. I argue that the Backward Clock case is, in fact, unproblematic for the more sophisticated (...) formulations of safety in the literature. However, I then proceed to construct two novel examples that turn out problematic for those formulations—one that provides us with a lottery-style case of safe ignorance and one that is a straightforward case of unsafe knowledge. If these examples succeed, then safety as it is usually conceived in the current debate cannot account for ignorance in all Gettier and lottery-style cases, and neither is it a necessary condition for knowledge. I conclude from these troublesome examples that modal epistemologists ought to embrace a much more simple and non-reductive version of safety, according to which the notion of similarity between possible worlds that determines in which worlds the subject must believe truly is an epistemic notion that cannot be defined or reduced to notions independent of knowledge. The resulting view is shown to also lead to desirable results with respect to lottery cases, certain quantum phenomena, and a puzzling case involving a cautious brain-in-a-vat. (shrink)

I am presenting a sequent calculus that extends a nonmonotonic consequence relation over an atomic language to a logically complex language. The system is in line with two guiding philosophical ideas: (i) logical inferentialism and (ii) logical expressivism. The extension defined by the sequent rules is conservative. The conditional tracks the consequence relation and negation tracks incoherence. Besides the ordinary propositional connectives, the sequent calculus introduces a new kind of modal operator that marks implications that hold monotonically. Transitivity fails, but (...) for good reasons. Intuitionism and classical logic can easily be recovered from the system. (shrink)

In this paper, I set out some basic elements of a deontic logic with an implementation appropriate for handling conflicting legal obligations for purposes of programming autonomous machine agents. Kantian justice demands that the prescriptive system of enforceable public laws be consistent, yet statutes or case holdings may often describe legal obligations that contradict; moreover, even fundamental constitutional rights may come into conflict. I argue that a deontic logic of the law should not try to work around such conflicts but, (...) instead, identify and expose them so that the rights and duties that generate inconsistencies in public law can be explicitly qualified and the conflicts resolved. I then argue that a credulous, non-monotonic deontic logic can describe inconsistent legal obligations while meeting Kant’s demand for consistency in the prescriptive system of public law. Finally, I propose an implementation of this logic via a modified form of “answer set programming,” which I demonstrate with some simple examples. (shrink)

We propose four policies of ethical design of human-grade Artificial Intelligence. Two of our policies are precautionary. Given substantial uncertainty both about ethical theory and about the conditions under which AI would have conscious experiences, we should be cautious in our handling of cases where different moral theories or different theories of consciousness would produce very different ethical recommendations. Two of our policies concern respect and freedom. If we design AI that deserves moral consideration equivalent to that of human (...) beings, that AI should be designed with self-respect and with the freedom to explore values other than those we might impose. We are especially concerned about the temptation to create human-grade AI pre-installed with the desire to cheerfully sacrifice itself for its creators’ benefit. (shrink)

Reasoning over our knowledge bases and theories often requires non-deductive inferences, especially – but by no means only – when commonsense reasoning is the case, i.e. when practical agency is called for. This kind of reasoning can be adequately formalized via the notion of supraclassical consequence, a non-deductive consequence tightly associated with default and non-monotonic reasoning and featuring centrally in abductive, inductive, and probabilistic logical systems. In this paper, we analyze core concepts and problems of these systems in the light (...) of supraclassical consequence. (shrink)

We generalize, by a progressive procedure, the notions of conjunction and disjunction of two conditional events to the case of n conditional events. In our coherence-based approach, conjunctions and disjunctions are suitable conditional random quantities. We define the notion of negation, by verifying De Morgan’s Laws. We also show that conjunction and disjunction satisfy the associative and commutative properties, and a monotonicity property. Then, we give some results on coherence of prevision assessments for some families of compounded conditionals; in (...) particular we examine the Fréchet-Hoeffding bounds. Moreover, we study the reverse probabilistic inference from the conjunction Cn+1 of n + 1 conditional events to the family {Cn,En+1|Hn+1}. We consider the relation with the notion of quasi-conjunction and we examine in detail the coherence of the prevision assessments related with the conjunction of three conditional events. Based on conjunction, we also give a characterization of p-consistency and of p-entailment, with applications to several inference rules in probabilistic nonmonotonic reasoning. Finally, we examine some non p-valid inference rules; then, we illustrate by an example two methods which allow to suitably modify non p-valid inference rules in order to get inferences which are p-valid. (shrink)

How does doubt come about? What are the mechanisms responsible for our inclinations to reassess propositions and collect further evidence to support or reject them? In this paper, I approach this question by focusing on what might be considered a distorting mirror of unreasonable doubt, namely the pathological doubt of patients with obsessive–compulsive disorder (OCD). Individuals with OCD exhibit a form of persistent doubting, indecisiveness, and over-cautiousness at pathological levels (Rasmussen and Eisen in Psychiatr Clin 15(4):743–758, 1992; Reed in Obsessional (...) experience and compulsive behaviour: a cognitive-structural approach, Academic Press, Cambridge, 1985; Tolin et al. in Cogn Ther Res 27(6):657–669, 2003). I argue that the failure in OCD is of an affective nature, involving both excessive epistemic anxiety and hyperactive feelings of uncertainty. I further argue that our adaptive disposition to inquire about the right matters—that is, about propositions which are both epistemically risky and imply harmful possibilities—might depend on these affective mechanisms. (shrink)

In this article, I present a new interpretation of the pro-life view on the status of early human embryos. In my understanding, this position is based not on presumptions about the ontological status of embryos and their developmental capabilities but on the specific criteria of rational decisions under uncertainty and on a cautious response to the ambiguous status of embryos. This view, which uses the decision theory model of moral reasoning, promises to reconcile the uncertainty about the ontological status (...) of embryos with the certainty about normative obligations. I will demonstrate that my interpretation of the pro-life view, although seeming to be stronger than the standard one, has limited scope and cannot be used to limit destructive research on human embryos. (shrink)

At the beginning of the COVID-19 pandemic, high hopes were placed on digital contact tracing. Digital contact tracing apps can now be downloaded in many countries, but as further waves of COVID-19 tear through much of the northern hemisphere, these apps are playing a less important role in interrupting chains of infection than anticipated. We argue that one of the reasons for this is that most countries have opted for decentralised apps, which cannot provide a means of rapidly informing users (...) of likely infections while avoiding too many false positive reports. Centralised apps, in contrast, have the potential to do this. But policy making was influenced by public debates about the right app configuration, which have tended to focus heavily on privacy, and are driven by the assumption that decentralised apps are “privacy preserving by design”. We show that both types of apps are in fact vulnerable to privacy breaches, and, drawing on principles from safety engineering and risk analysis, compare the risks of centralised and decentralised systems along two dimensions, namely the probability of possible breaches and their severity. We conclude that a centralised app may in fact minimise overall ethical risk, and contend that we must reassess our approach to digital contact tracing, and should, more generally, be cautious about a myopic focus on privacy when conducting ethical assessments of data technologies. (shrink)

In this article we present an advanced version of Dual-PECCS, a cognitively-inspired knowledge representation and reasoning system aimed at extending the capabilities of artificial systems in conceptual categorization tasks. It combines different sorts of common-sense categorization (prototypical and exemplars-based categorization) with standard monotonic categorization procedures. These different types of inferential procedures are reconciled according to the tenets coming from the dual process theory of reasoning. On the other hand, from a representational perspective, the system relies on the hypothesis of conceptual (...) structures represented as heterogeneous proxytypes. Dual-PECCS has been experimentally assessed in a task of conceptual categorization where a target concept illustrated by a simple common-sense linguistic description had to be identified by resorting to a mix of categorization strategies, and its output has been compared to human responses. The obtained results suggest that our approach can be beneficial to improve the representational and reasoning conceptual capabilities of standard cognitive artificial systems, and –in addition– that it may be plausibly applied to different general computational models of cognition. The current version of the system, in fact, extends our previous work, in that Dual-PECCS is now integrated and tested into two cognitive architectures, ACT-R and CLARION, implementing different assumptions on the underlying invariant structures governing human cognition. Such integration allowed us to extend our previous evaluation. (shrink)

Section 1 provides a brief summary of the pair-list literature singling out some points that are particularly relevant for the coming discussion. -/- Section 2 shows that the dilemma of quantifi cation versus domain restriction arises only in extensional complement interrogatives. In matrix questions and in intensional complements only universals support pairlist readings, whence the simplest domain restriction treatment suffices. Related data including conjunction, disjunction, and cumulative readings are discussed -/- Section 3 argues that in the case of extensional complements (...) the domain restriction treatment is inadequate for at least two independent reasons. One has to do with the fact that not only upward monotonic quantifi ers support pairlist readings, and the other with the derivation of apparent scope out readings. The reasoning is supplemented with some discussion of the semantic properties of layered quantifi ers.  The above will establish the need for quantifi cation, so the question arises how the objections explicitly enlisted in the literature against quantifi cation can be answered. Section 4 considers the de dicto reading of the quantifi er s restriction, quanti cational variability, and the absence of pairlist readings with whether questions, and argues that they need not militate against the quanti ficational analysis. -/- Section 5 summarizes the emergent proposal -/- Finally, section 6 discusses the signifi cance of the above findings for the behavior of weak islands. (shrink)

Ectogenesis, or “artificial womb technology,” has been heralded by some, such as prominent feminist Shulamith Firestone, as a way to liberate women. In this chapter, we challenge this view by offering an alternative analysis of the technology as relying upon and perpetuating a problematic model of pregnancy which, rather than liberating women, serves to devalue them. We look to metaphysics as the abstract study of reality to elucidate how the entities in a pregnancy are related to one another. We consider (...) two models of the metaphysics of pregnancy: (1) the Parthood Model, whereby the fetus is a part of what/who gestates it; and (2) and the Fetal Container Model, whereby the gestator is a container for the fetus. We suggest that under the assumption of the Fetal Container Model, we are more likely to think that any container will suffice for gestation, even an artificial one. In contrast, under the assumption of the Parthood Model, we are less likely to treat the gestator as interchangeable or replaceable, given the parthood relationship between gestator and fetus. This chapter argues that ectogenesis is conceptually linked to the Fetal Container Model and advocates a more cautious approach in promoting ectogenesis as a tool for women’s liberation. (shrink)

Selectivism holds that some theoretical contents of most present theories will be preserved in future theories. By contrast, optimistic realism holds that most theoretical contents of most present theories will be preserved in future theories. I construct a pessimistic induction over selectivists to undermine selectivism, and an optimistic induction over optimistic realists to support optimistic realism. The former holds that since the selectivists of the early twentieth century were overly cautious about their present theories, those of the early twenty-first (...) century are also overly cautious about their present theories. The latter holds that since the optimistic realists of the early twentieth century were right about their present theories, those of the early twenty-first century are also right about their present theories. (shrink)

This paper sets out to evaluate the claim that Aristotle’s Assertoric Syllogistic is a relevance logic or shows significant similarities with it. I prepare the grounds for a meaningful comparison by extracting the notion of relevance employed in the most influential work on modern relevance logic, Anderson and Belnap’s Entailment. This notion is characterized by two conditions imposed on the concept of validity: first, that some meaning content is shared between the premises and the conclusion, and second, that the premises (...) of a proof are actually used to derive the conclusion. Turning to Aristotle’s Prior Analytics, I argue that there is evidence that Aristotle’s Assertoric Syllogistic satisfies both conditions. Moreover, Aristotle at one point explicitly addresses the potential harmfulness of syllogisms with unused premises. Here, I argue that Aristotle’s analysis allows for a rejection of such syllogisms on formal grounds established in the foregoing parts of the Prior Analytics. In a final section I consider the view that Aristotle distinguished between validity on the one hand and syllogistic validity on the other. Following this line of reasoning, Aristotle’s logic might not be a relevance logic, since relevance is part of syllogistic validity and not, as modern relevance logic demands, of general validity. I argue that the reasons to reject this view are more compelling than the reasons to accept it and that we can, cautiously, uphold the result that Aristotle’s logic is a relevance logic. (shrink)

Philosophers of science are increasingly arguing for the importance of doing scientifically- and socially-engaged work, suggesting that we need to reduce barriers to extra-disciplinary engagement and broaden our impact. Yet, we currently lack empirical data to inform these discussions, leaving a number of important questions unanswered. How common is it for philosophers of science to engage other communities, and in what ways are they engaging? What barriers are most prevalent when it comes to broadly disseminating one’s work or collaborating with (...) others? To what extent do philosophers of science actually value an engaged approach? Our project addresses this gap in our collective knowledge by providing empirical data regarding the state of philosophy of science today. We report the results of a survey of 299 philosophers of science about their attitudes towards and experiences with engaging those outside the discipline. Our data suggest that a significant majority of philosophers of science think it is important for non-philosophers to read and make use of their work; most are engaging with communities outside the discipline; and many think philosophy of science, as a discipline, has an obligation to ensure it has a broader impact. Interestingly, however, many of these same philosophers believe engaged work is generally undervalued in the discipline. We think these findings call for cautious optimism on the part of those who value engaged work—while there seems to be more interest in engaging other communities than many assume, significant barriers still remain. (shrink)

Purpose of review: What is the relationship between rationality and mental health? By considering the psychological literature on depressive realism and unrealistic optimism it was hypothesized that, in the context of judgments about the self, accurate cognitions are psychologically maladaptive and inaccurate cognitions are psychologically adaptive. Recent studies recommend being cautious in drawing any general conclusion about style of thinking and mental health. Recent findings: Recent investigations suggest that people with depressive symptoms are more accurate than controls in tasks (...) involving time perception and estimates of personal circumstances, but not in other tasks. Unrealistic optimism remains a robust phenomenon across a variety of tasks and domains, and researchers are starting to explore its neural bases. However, the challenge is to determine to what extent and in what way unrealistic optimism is beneficial. Summary: We should revisit the hypothesis that optimistic cognitions are psychologically adaptive, whereas realistic thinking is not. Realistic beliefs and expectations can be conducive to wellbeing and good functioning, and wildly optimistic cognitions have considerable psychological costs. (shrink)

We introduce a ranking of multidimensional alternatives, including uncertain prospects as a particular case, when these objects can be given a matrix form. This ranking is separable in terms of rows and columns, and continuous and monotonic in the basic quantities. Owing to the theory of additive separability developed here, we derive very precise numerical representations over a large class of domains (i.e., typically notof the Cartesian product form). We apply these representationsto (1)streams of commodity baskets through time, (2)uncertain social (...) prospects, (3)uncertain individual prospects. Concerning(1), we propose a finite horizon variant of Koopmans’s (1960) axiomatization of infinite discounted utility sums. The main results concern(2). We push the classic comparison between the exanteand expostsocial welfare criteria one step further by avoiding any expected utility assumptions, and as a consequence obtain what appears to be the strongest existing form of Harsanyi’s (1955) Aggregation Theorem. Concerning(3), we derive a subjective probability for Anscombe and Aumann’s (1963) finite case by merely assuming that there are two epistemically independent sources of uncertainty. (shrink)

A thesis (“weak BCP”) nearly universally held among philosophers of probability connects the concepts of objective chance and metaphysical modality: Any prospect (outcome) that has a positive chance of obtaining is metaphysically possible—(nearly) equivalently, any metaphysically impossible prospect has zero chance. Particular counterexamples are provided utilizing the monotonicity of chance, one of them related to the four world paradox. Explanations are offered for the persistent feeling that there cannot be chancy metaphysical necessities or chancy metaphysical impossibilities. Chance is objective (...) but contrary to popular opinion it is also largely epistemic. Chancy necessities are analogous to necessary a posteriori truths. Philosophy and Phenomenological Research, Volume 99, Issue 3, Page 644-662, November 2019. (shrink)