This paper presents and discusses a novel approach to indeterministic belief revision. An indeterministic belief revision operator assumes that, when an agent is confronted with a new piece of information, it can revise its belief sets in more than one way. We define a rational agent not only in terms of what it believes but also of what it desires and wants to achieve. Hence, we propose that the agent’s goals play a role in the choice of (possibly) one of (...) the several available revision options. Properties of the new belief revision mechanism are also investigated. (shrink)

In this paper we consider the structure of the class FGModS of full generalized models of a deductive system S from a universal-algebraic point of view, and the structure of the set of all the full generalized models of S on a fixed algebra A from the lattice-theoretical point of view; this set is represented by the lattice FACSs A of all algebraic closed-set systems C on A such that (A, C) ε FGModS. We relate some properties of these structures (...) with tipically logical properties of the sentential logic S. The main algebraic properties we consider are the closure of FGModS under substructures and under reduced products, and the property that for any A the lattice FACSs A is a complete sublattice of the lattice of all algebraic closed-set systems over A. The logical properties are the existence of a fully adequate Gentzen system for S, the Local Deduction Theorem and the Deduction Theorem for S. Some of the results are established for arbitrary deductive systems, while some are found to hold only for deductive systems in more restricted classes like the protoalgebraic or the weakly algebraizable ones. The paper ends with a section on examples and counterexamples. (shrink)

Relatively congruence regular quasivarieties and quasivarieties of logic have noticeable similarities. The paper provides a unifying framework for them which extends the Blok-Pigozzi theory of elementarily algebraizable (and protoalgebraic) deductive systems. In this extension there are two parameters: a set of terms and a variable. When the former is empty or consists of theorems, the Blok-Pigozzi theory is recovered, and the variable is redundant. On the other hand, a class of membership logics is obtained when the variable is (...) the only element of the set of terms. For these systems the appropriate variant of equivalent algebraic semantics encompasses the relatively congruence regular quasivarieties. (shrink)

Relatively congruence regular quasivarieties and quasivarieties of logic have noticeable similarities. The paper provides a unifying framework for them which extends the Blok-Pigozzi theory of elementarily algebraizable (and protoalgebraic) deductive systems. In this extension there are two parameters: a set of terms and a variable. When the former is empty or consists of theorems, the Blok-Pigozzi theory is recovered, and the variable is redundant. On the other hand, a class of ‘membership logics’ is obtained when the variable is (...) the only element of the set of terms. For these systems the appropriate variant of equivalent algebraic semantics encompasses the relatively congruence regular quasivarieties. (shrink)

This paper develops an order-theoretic generalization of Blok and Pigozziʼs notion of an algebraizable logic. Unavoidably, the ordered model class of a logic, when it exists, is not unique. For uniqueness, the definition must be relativized, either syntactically or semantically. In sentential systems, for instance, the order algebraization process may be required to respect a given but arbitrary polarity on the signature. With every deductive filter of an algebra of the pertinent type, the polarity associates a reflexive and transitive relation (...) called a Leibniz order, analogous to the Leibniz congruence of abstract algebraic logic . Some core results of AAL are extended here to sentential systems with a polarity. In particular, such a system is order algebraizable if the Leibniz order operator has the following four independent properties: it is injective, it is isotonic, it commutes with the inverse image operator of any algebraic homomorphism, and it produces anti-symmetric orders when applied to filters that define reduced matrix models. Conversely, if a sentential system is order algebraizable in some way, then the order algebraization process naturally induces a polarity for which the Leibniz order operator has properties –. (shrink)

The 3-valued paraconsistent logic Ciore was developed by Carnielli, Marcos and de Amo under the name LFI2, in the study of inconsistent databases from the point of view of logics of formal inconsistency (LFIs). They also considered a first-order version of Ciore called LFI2*. The logic Ciore enjoys extreme features concerning propagation and retropropagation of the consistency operator: a formula is consistent if and only if some of its subformulas is consistent. In addition, Ciore is algebraizable in the sense of (...) Blok and Pigozzi. On the other hand, the logic LFI2* satisfies a somewhat counter-intuitive property: the universal and the existential quantifier are inter-definable by means of the paraconsistent negation, as it happens in classical first-order logic with respect to the classical negation. This feature seems to be unnatural, given that both quantifiers have the classical meaning in LFI2*, and that this logic does not satisfy the De Morgan laws with respect to its paraconsistent negation. The first goal of the present article is to introduce a first-order version of Ciore (which we call QCiore) preserving the spirit of Ciore, that is, without introducing unexpected relationships between the quantifiers. The second goal of the article is to adapt to QCiore the partial structures semantics for the first-order paraconsistent logic LPT1 introduced by Coniglio and Silvestrini, which generalizes the semantic notion of quasi-truth considered by Mikeberg, da Costa and Chuaqui. Finally, some important results of classical Model Theory are obtained for this logic, such as Robinson’s joint consistency theorem, amalgamation and interpolation. Although we focus on QCiore, this framework can be adapted to other 3-valued first-order LFIs. (shrink)

We develop a Priestley-style duality theory for different classes of algebras having a bilattice reduct. A similar investigation has already been realized by B. Mobasher, D. Pigozzi, G. Slutzki and G. Voutsadakis, but only from an abstract category-theoretic point of view. In the present work we are instead interested in a concrete study of the topological spaces that correspond to bilattices and some related algebras that are obtained through expansions of the algebraic language.

In this book William G. Lycan offers an epistemology of philosophy itself, a partial method for philosophical inquiry. The epistemology features three ultimate sources of justified philosophical belief. First, common sense, in a carefully restricted sense of the term-the sorts of contingentpropositions Moore defended against idealists and skeptics. Second, the deliverances of well confirmed science. Third and more fundamentally, intuitions about cases in a carefully specified sense of that term. The first half of On Evidence in Philosophy expounds a version (...) of Moore's method and applies it to each of several issues. This version is shown to resist all the standard objections to Moore; most of them do not even apply. It is argued, in Chapters 5 and 6, that philosophical method is far lesspowerful than most have taken it to be. In particular, deductive argument can accomplish very little, and hardly ever is an opposing position refuted except by common sense or by science. The final two chapters defend the evidential status of intuitions and the Goodmanian method of reflectiveequilibrium; it is argued that philosophy always and everywhere depends on them. The method is then set within a more general explanatory-coherentist epistemology, which is shown to resist standard forms of skepticism.In sum, William G. Lycan advocates a picture of philosophy as a very wide explanatory reflective equilibrium incorporating common sense, science, and our firmest intuitions on any topic-and nothing more, not ever. (shrink)

Information can be public among a group. Whether or not information is public matters, for example, for accounts of interdependent rational choice, of communication, and of joint intention. A standard analysis of public information identifies it with (some variant of) common belief. The latter notion is stipulatively defined as an infinite conjunction: for p to be commonly believed is for it to believed by all members of a group, for all members to believe that all members believe it, and so (...) forth. This analysis is often presupposed without much argument in philosophy. Theoretical entrenchment or intuitions about cases might give some traction on the question, but give little insight about why the identification holds, if it does. The strategy of this paper is to characterize a practical-normative role for information being public, and show that the only things that play that role are (variants of) common belief as stipulatively characterized. In more detail: a functional role for “taking a proposition for granted” in non-isolated decision making is characterized. I then present some minimal conditions under which such an attitude is correctly held. The key assumption links this attitude to beliefs about what is public. From minimal a priori principles, we can argue that a proposition being public among a group entails common commitment to believe among that group. Later sections explore partial converses to this result, the factivity of publicity and publicity from the perspective of outsiders to the group, and objections to the aprioricity of the result deriving from a posteriori existential presuppositions. (shrink)

More than twenty-five years after the first signs of potential harm, the US remains locked in the grip of an opioid epidemic, with more Americans dying from overdoses than ever before.1 Diversion of prescription opioids plays an important role in opioid-related harms. Much of the scientific and public health focus on diversion has been on end-users, given how commonly non-medical prescription opioid use occurs, as well as the proportion of individuals who report that their source of non-medical opioids was friends (...) or family. However, diversion of opioids, as well as their rampant oversupply, can be discerned higher up the supply chain, including among wholesalers, pharmacies and rogue prescribers whose behavior may trigger well-described “flags” warranting further evaluation and action. (shrink)

ABSTRACT The two main directions pursued in the present paper are the following. The first direction was started by Pigozzi in 1969. In [Mak 91] and [Mak 79] Maksimova proved that a normal modal logic has the Craig interpolation property iff the corresponding class of algebras has the superamalgamation property. In this paper we extend Maksimova's theorem to normal multi-modal logics with arbitrarily many, not necessarily unary modalities, and to not necessarily normal multi-modal logics with modalities of ranks smaller (...) than 2. To extend the characterization beyond multi-modal logics, we look at arbitrary algebraizable logics. We will introduce an algebraic property equivalent with the Craig interpolation property in algebraizable logics, and prove that the superamalgamation property implies the Craig interpolation property. The problem of extending the characterization result to non-normal non-unary modal logics also will be discussed. In the second direction pursued herein: for non-normal modal logic with one unary modality Lemmon [Lem 66] gave a possible worlds semantics. Here we give a more general possible worlds semantics for not necessarily normal multi-modal logics with arbitrarily many not necessarily unary modalities. Strongly related to the above is the theorem, proved, e.g., in Jóns son-Tarski [JT 52] and Henkin-Monk-Tarski [HMT 71], that every normal Boolean algebra with operators can be represented as a subalgebra of the complex algebra of some relational structure. We extend this result to not necessarily normal BAO's as follows. We define partial relational structures and show that every not necessarily normal BAO is embeddable into the complex algebra of a partial relational structure. This gives a possible worlds semantics for not necessarily normal multi-modal logics. (shrink)

Resumen:Junto con Rebeldes académicos de Iván Jaksić (SUNY 1989; UDP 2013) y Una disciplina de la distancia de Cecilia Sánchez (CESOC 1992), este libro ya forma parte del canon bibliográfico selecto y escaso que propone investigaciones de largo aliento sobre la historia de la filosofía en el Chile republicano. No se trata de una reseña de nombres y obras, ni de una historia interna del desarrollo de problemas puros o escuelas. Más bien, su foco, en afinidad con las obras mencionadas, (...) son “las distintas relaciones históricas entre las fuerzas del poder y las razones de la filosofía […] las distintas inscripciones en los también múltiples quiasmos entre saberes y poderes” (14-15), asumiendo, de modo más sustantivo, que “el bloque histórico dominante en Chile rara vez ha logrado establecer un relato coherente de la dominación, justamente porque es poco lo que le importan las razones en nombre de las cuales ejerce la fuerza” (41). (shrink)

This treatise on aesthetics begins by showing that the word "art" is used as a name not only for "art proper" but also for certain things which are "art falsely so called." These are craft or skill, magic, and amusement, each of which, by confusion with art proper, generates a false aesthetic theory. In the course of attacking these theories the author criticizes various psychological theories of art, offers a new theory of magic, and reinterprets Plato's so-called "attack on art," (...) showing that it has been entirely misunderstood. Finally, he draws important inferences concerning the position of art in human society. (shrink)

In this paper, I aim to show that agency-based accounts of moral status are more plausible than many have previously thought. I do this by developing a novel account of moral status that takes agency, understood as the capacity for intentional action, to be the necessary and sufficient condition for the possession of moral status. This account also suggests that the capacities required for sentience entail the possession of agency, and the capacities required for agency, entail the possession of sentience. (...) Thus on this account sentient beings possess agency and agents possess sentience. If this is correct, it will show that an Agency Account of moral status can offer a plausible defence of the moral status of all sentient beings, something that previous Agency Accounts have not succeeded in doing. What is more, this account could establish that all sentient animals are not just moral status holders per se, but that they are owed pro tanto obligations regarding continued existence and liberty, similar in kind, though not always in strength, to those owed to humans. (shrink)

The AGI alignment problem has a bimodal distribution of outcomes with most outcomes clustering around the poles of total success and existential, catastrophic failure. Consequently, attempts to solve AGI alignment should, all else equal, prefer false negatives (ignoring research programs that would have been successful) to false positives (pursuing research programs that will unexpectedly fail). Thus, we propose adopting a policy of responding to points of philosophical and practical uncertainty associated with the alignment problem by limiting and choosing necessary assumptions (...) to reduce the risk of false positives. Herein we explore in detail two relevant points of uncertainty that AGI alignment research hinges on---meta-ethical uncertainty and uncertainty about mental phenomena---and show how to reduce false positives in response to them. (shrink)

Fichte assigns ‘intellectual intuition’ a new meaning after Kant. But in 1799, his doctrine of intellectual intuition is publicly deemed indefensible by Kant and nihilistic by Jacobi. I propose to defend Fichte’s doctrine against these charges, leaving aside whether it captures what he calls the ‘spirit’ of transcendental idealism. I do so by articulating three problems that motivate Fichte’s redirection of intellectual intuition from being to acting: (1) the regress problem, which states that reflecting on empirical facts of consciousness leads (...) only to further facts and so cannot yield a first principle; (2) the rhapsody problem, which states that the categories form a haphazard set and so lack necessity unless they derive from a first principle; and (3) the nihilism problem, which states that a first principle cannot lie outside our cognition of it, lest it be the cause of our cognition and, being first, the cause of all our actions, reducing us to machines. Crucially, Fichte’s three motivating problems are in fact aspects of a single problem. Leaving any aspect unsolved spoils putative solutions to the other two. Consequently, Fichte requires a single unified solution to all three, which his doctrine of intellectual intuition provides. (shrink)

There is growing interest in the use of neurointerventions to reduce the risk that criminal offenders will reoffend. Commentators have raised several ethical concerns regarding this practice. One prominent concern is that, when imposed without the offender’s valid consent, neurointerventions might infringe offenders’ right to bodily integrity. While it is commonly held that we possess a moral right to bodily integrity, the extent to which this right would protect against such neurointerventions is as-yet unclear. In this paper, we will assess (...) whether, why, and how severely three forms of neurointervention might infringe the right to bodily integrity. We show that the severity of the infringement of the right to bodily integrity differs across different forms of neurointervention. Moreover, we argue that mental and behavioral effects of neurointerventions could in some cases be relevant to determining the severity of infringements of the right to bodily integrity. (shrink)

This full-length study of Plato's dialogue Phaedrus, now in paperback, is written in the belief that such concerted scrutiny of a single dialogue is an important part of the project of understanding Plato so far as possible 'from the inside' - of gaining a feel for the man's philosophy. The focus of this account is on how the resources both of persuasive myth and of formal argument, for all that Plato sets them in strong contrast, nevertheless complement and reinforce each (...) other in his philosophy. Not only is the dialogue in its formal structure a dovetail of myth and argument, but the philosophic life that it praises is also shaped by an acknowledgement of the limitations of argument and the importance of mythical understanding. By means of this correlation of form and content Plato invites his readers, through the very act of reading, to take a first step along the path of the philosophical life. (shrink)

Responsible Robotics is about developing robots in ways that take their social implications into account, which includes conceptually framing robots and their role in the world accurately. We are now in the process of incorporating robots into our world and we are trying to figure out what to make of them and where to put them in our conceptual, physical, economic, legal, emotional and moral world. How humans think about robots, especially humanoid social robots, which elicit complex and sometimes disconcerting (...) reactions, is not predetermined. The animal–robot analogy is one of the most commonly used in attempting to frame interactions between humans and robots and it also tends to push in the direction of blurring the distinction between humans and machines. We argue that, despite some shared characteristics, when it comes to thinking about the moral status of humanoid robots, legal liability, and the impact of treatment of humanoid robots on how humans treat one another, analogies with animals are misleading. (shrink)

Scholars who have attempted to explain Iris Murdoch’s moral realism have done so in widely divergent ways, some characterizing her as a classical moral realist, others as a pragmatic moral realist, and still others as a “reflexive realist.”See, e.g., respectively, Fergus Kerr, “Back to Plato with Iris Murdoch,” in Immortal Longings: Versions of Transcending Humanity (London: Society for Promoting Christian Knowledge, 1997), 68–88; Sami Pihlstrom, Pragmatic Moral Realism: A Transcendental Defence (Amsterdam: Rodopi, 2005); and Maria Antonaccio, Picturing the Human: The (...) Moral Thought of Iris Murdoch (Oxford: Oxford University Press, 2000). For the purpose of this article, I follow Maria Antonaccio’s characterization of these realisms. See pages 3–4. None of these attempts, however, capture adequately Murdoch’s distinctive position. In an effort to improve upon these accounts, this article argues that a proper characterization of Murdoch’s view must regard her as developing a version of m. (shrink)

A central theme in the scholarly literature on Enlightenment Europe concerns the increased focus on the role of reason in the development of European thought, especially in the development of the new science by the natural philosophers. As a consequence, there is a tendency in both philosophical scholarship and teaching to bind philosophy and science tightly together. While there is certainly much that is correct in this approach, one motivation for pluralizing philosophy’s past is that this story leaves out a (...) great deal that is important in Enlightenment views of reason. We argue, using as an example the work of figures like Margaret Cavendish, that reason was significantly broader in scope—and that developments in science were paralleled by equally important advances in music, art, literature, medicine, philosophy, and other areas. In recognizing the lack of a sharp boundary between these areas, an inclusive canon of Enlightenment philosophy gives us this richer notion of reason. Integrating figures such as Cavendish into the canon helps us to see that the narrow focus on the scientific version of reason within Enlightenment scholarship creates a false distinction between science and the humanities and misses out on the humanistic ends for which we engage in philosophy. (shrink)

This chapter contains section titled: I II III IV V VI VII VIII IX X XI XII Coda Appendix Acknowledgements.

Kant’s critique/doctrine distinction tracks the difference between a canon for the understanding’s proper use and an organon for its dialectical misuse. The latter reflects the dogmatic use of reason to attain a doctrine of knowledge with no antecedent critique. In the 1790s, Fichte collapses Kant’s distinction and redefines dogmatism. He argues that deriving a canon is essentially dialectical and thus yields an organon: critical idealism is properly a doctrine of science or Wissenschaftslehre. Criticism is furthermore said to refute dogmatism, by (...) which Fichte means Spinozism. Schelling repudiates Fichte’s position in his Philosophical Letters by reviving Kant’s distinction. First, ‘critique’ for Schelling names a canon that is valid for all systems—including Spinozism—and thus favours none—not even the Wissenschaftslehre. Second, Schelling coins ‘dogmaticism’ to refer to what Kant calls ‘dogmatism’: reason’s uncritical claim to doctrine. Hence, he says all systems—even Fichte’s—are susceptible to the ‘enthusiasm’ of mistaking themselves for doctrines or ‘objects of knowledge’, instead of subjectively valid ‘objects of freedom’. I reconstruct Schelling’s argument for reviving Kant’s distinction, while noting two consequences for German idealism. First, if criticism favours no system, a system’s origin cannot be an act of knowledge, e.g., intellectual intuition, but only an act of endorsement. Second, if dogmaticism entails enthusiasm, a system’s goal cannot be absolute knowledge, but only infinite striving. Hence, by retrieving Schelling’s notion of dogmaticism, we can both gain a better understanding of the Letters and register the impact of a core Kantian distinction on the German idealist project. (shrink)

Throughout his career, Schelling assigns knowledge of the absolute first principle of philosophy to intellectual intuition. Schelling's doctrine of intellectual intuition raises two important questions for interpreters. First, given that his doctrine undergoes several changes before and after his identity philosophy, to what extent can he be said to “hold onto” the same “sense” of it by the 1830s, as he claims? Second, given that his doctrine of intellectual intuition restricts absolute idealism to what he calls a “science of reason”, (...) which he says cannot prove the absolute’s existence, what other doctrine does he require in order to prove this? I will answer these questions by tracing the shifts in Schelling’s doctrine of intellectual intuition from the 1790s to the 1830s and drawing out its evolving methodological role within his science of intelligibility. (shrink)

To incorporate medical ethics into clinical practice, it must first be understood and valued by health care professionals. The recognition of this principle led to an expanding and continuing educational effort by the ethics committee of the Vancouver General Hospital. This paper reviews this venture, including some pitfalls and failures, as well as successes. Although we began with consultants, it quickly became apparent that education in medical ethics must reach all health care professionals—and medical students as well. Our greatest successes (...) came in the formative years of a medical career (ie, in medical school and residency training programmes), but other efforts were not wasted, particularly among nurses and other health care professionals.Although this is a personal review of the experience in one institution, the lessons learnt in Vancouver are applicable to the further development of medical ethics in the UK. (shrink)

The concept of facticity denotes conditions of experience whose necessity is not logical yet whose contingency is not empirical. Although often associated with Heidegger, Fichte coins ‘facticity’ in his Berlin period to refer to the conclusion of Kant’s metaphysical deduction of the categories, which he argues leaves it a contingent matter that we have the conditions of experience that we do. Such rhapsodic or factical conditions, he argues, must follow necessarily, independent of empirical givenness, from the I through a process (...) of ‘genesis.’ I reconstruct Fichte’s argument by tracing the origin of his neologism, presenting his Jena critique of Kant’s rhapsodic appeal to the forms of judgment, and illustrating the Jena period’s continuity with the Berlin period’s genetic method, while noting a methodological shift whereby Fichte directs his critique against his own doctrine of intellectual intuition in order to eliminate its ‘factical terms.’. (shrink)

Disjunctivism about perceptual appearances, as I conceive of it, is a theory which seeks to preserve a na.

The principles of the 3Rs—replacement, refinement, and reduction—strongly shape discussion of methods for performing more humane animal research and the regulation of this contested area of technoscience. This special issue looks back to the origins of the 3Rs principles through five papers that explore how it is enacted and challenged in practice and that develop critical considerations about its future. Three themes connect the papers in this special issue. These are the multiplicity of roles enacted by those who use and (...) care for animals in research, the distribution of “feelings that matter” across species and spaces of laboratory animal practice, and the growing importance of “cultures of care” in animal research. (shrink)

In a series of recent papers, Jonathan Schaffer presents a novel framework for understanding grounding. Metaphysical laws play a central role. In addition, Schaffer argues that, contrary to what many have thought, there is no special 'explanatory gap' between consciousness and the physical world. Instead, explanatory gaps are everywhere. I draw out and criticize the methodology for metaphysics implicit in Schaffer's presentation. In addition, I argue that even if we accept Schaffer's picture, there remains a residual explanatory gap between consciousness (...) and the physical. The residual gap does most of the same philosophical work as the original. Schaffer has introduced a troublesome metaphysical methodology that fails to follow through on its biggest promise: to deflate the explanatory gap. (shrink)