The article discusses the varying conceptions of the faculty of ‘the understanding’ in 18th-century British philosophy and logic. Topics include the distinction between the understanding and the will, the traditional division of three acts of understanding and its critics, the naturalizing of human understanding, conceiving of the limits of human understanding, British innatism and the critique of empiricist conceptions of the understanding, and reconceiving the understanding and the elimination of scepticism. Authors discussed include Richard Price, James Harris, Zachary Mayne, (...) Edward Bentham, Isaac Watts, Dugald Stewart, John Norris—as well as Locke, Berkeley, Hume and Reid. (shrink)

Biological sex should be “acknowledged” and “accepted”—but which responses to gender dysphoria might this preclude? Trans-identified people may factually acknowledge their biological sex and regard transition as purely palliative. While generally some level of self-deception and even a high level of nonlying deception of others are sometimes justified, biological sex is important, and there is a nontrivial onus against even palliative, nonsexually motivated cross-dressing. The onus is higher against co-opting the body, even in a minor and/or reversible way, to make (...) a false communication concerning one’s sex. Hardest to defend is the destruction of sexual–reproductive functions and causally downstream functions such as lactation: due to the transcendent nature of sexual–reproductive functions, an appeal to the “principle of totality” here is misplaced. This is not to say that social, and milder medical, transition is absolutely excluded even for severe unmanageable dysphoria, nor that subsequent to any transition, detransition is necessarily required. (shrink)

In the first part of this essay (Sections I and II), I argue that Kierkegaard's work helps us to articulate and defend two basic requirements on searching for knowledge of one's own judgements: first, that searching for knowledge whether one judges that P requires trying to make a judgement whether P; and second that, in an important range of cases, searching for knowledge of one's own judgements requires attending to how one's acts of judging are performed. In the second part (...) of the essay (Sections III and IV), I consider two prima facie problems regarding this conception of searching for knowledge of one's own judgements. The first problem concerns how in general one can coherently try to meet both these requirements at once; the second, how in particular one can try to attend to one's own acts of judging. I show how Kierkegaard's work is alive to both these problems, and helps us to see how they can be resolved. (shrink)

The term “value of life” can refer to life’s intrinsic dignity: something nonincremental and time-unaffected in contrast to the fluctuating, incremental “value” of our lives, as they are longer or shorter and more or less flourishing. Human beings are equal in their basic moral importance: the moral indignities we condemn in the treatment of e.g. those with dementia reflect the ongoing human dignity that is being violated. Indignities licensed by the person in advance remain indignities, as when people might volunteer (...) their living, unconscious bodies for surrogacy or training in amputation techniques. Respect for someone’s dignity is significantly impacted by a failure to value that person’s very existence, whatever genuine respect and good will is shown by wanting the person’s life to go well. Valuing and respecting life is not, however, vitalism: there can be good and compelling reasons for eschewing some means of prolonging life. (shrink)

Fetuses and their mothers (and other adults) share many objective interests. These include interests in disjunctive ways of achieving human well-being, including the formation and success of good projects such as particular friendships. Pursuing such good projects is in the individual’s interests and is what growing up is all about. Some interests are time-sensitive, and determining which interests apply at what stages in life requires asking which benefits are in some sense appropriate to the individual and still in his/her actual (...) or possible or even hypothetical future. Human individuals not only have interests in unconditional benefits to them, including the welfare of existing family members, but in conditional benefits to them, including the welfare of possible future family members. Even if not all interests apply to the individual at every stage, if an adult-type benefit is still in the (long-term) future, the young individual including the fetus has a stake in that benefit, conditional as the benefit may sometimes be. Fulfilment is enhanced by pursuit and conscious enjoyment of ‘human goods’, but as with adults, the stake in these remains strong even if psychological links with the long-term future in which this happens are tenuous or non-existent. (shrink)

Is the “act itself” of separating a pregnant woman and her previable child neither good nor bad morally, considered in the abstract? Recently, Maureen Condic and Donna Harrison have argued that such separation is justified to protect the mother’s life and that it does not constitute an abortion as the aim is not to kill the child. In our article on maternal–fetal conflicts, we agree there need be no such aim to kill (supplementing aims such as to remove). However, we (...) argue that to understand “abortion” as performed only where the death of the child is intended is to define the term too narrowly. Respect for the mother, the fetus, and the bond between them goes well beyond avoiding any such aim. We distinguish between legitimate maternal treatments simply aimed at treating or removing a damaged part of the woman and illegitimate treatments that focus harmfully on the fetal body and its presence within the mother’s body. In obstetrics as elsewhere, not all side effects for one subject of intervention can be outweighed by intended benefits for another. Certain side effects of certain intended interventions are morally conclusive. (shrink)

This essay offers an account of Kierkegaard’s view of the limits of thought and of what makes this view distinctive. With primary reference to Philosophical Fragments, and its putative representation of Christianity as unthinkable, I situate Kierkegaard’s engagement with the problem of the limits of thought, especially with respect to the views of Kant and Hegel. I argue that Kierkegaard builds in this regard on Hegel’s critique of Kant but that, against Hegel, he develops a radical distinction between two types (...) of thinking and inquiry: the ‘aesthetic-intellectual’ and the ‘ethico-religious’. I clarify this distinction and show how it guides Kierkegaard’s conception of a form of philosophical practice that involves drawing limits to the proper sphere of disinterested contemplation. With reference to two rival interpretations of Kierkegaard’s approach to the limits of thought—which I call ‘bullet-biting’ and ‘relativizing’—I further show how my ‘disambiguating’ account can better explain how, and why, his work courts a form of self-referential incoherence, in which it appears that certain limits of thought are at once affirmed and violated. (shrink)

This paper reconsiders certain of Kierkegaard's criticisms of Hegel's theoretical philosophy in the light of recent interpretations of the latter. The paper seeks to show how these criticisms, far from being merely parochial or rhetorical, turn on central issues concerning the nature of thought and what it is to think. I begin by introducing Hegel's conception of "pure thought" as this is distinguished by his commitment to certain general requirements on a properly philosophical form of inquiry. I then outline Hegel's (...) strategy for resolving a crucial problem he takes himself to face. For his account of the nature of thought depends upon the idea of a form of inquiry in which nothing whatsoever is presupposed; but this idea appears basically paradoxical inasmuch as the mere act of beginning to inquire in a certain way embodies an assumption about how it is appropriate to begin. Turning to Kierkegaard, I consider a key objection to the effect that Hegel's strategy for resolving this paradox depends on the incoherent idea of a purely reflexive act of thinking. Finally, I draw out some central features of the alternative account of "situated" thought and inquiry which Kierkegaard presents as distinctively Socratic. (shrink)

Abstract This paper offers an appraisal of Phillip Pettit's approach to the problem how a merely finite set of examples can serve to represent a determinate rule, given that indefinitely many rules can be extrapolated from any such set. I argue that Pettit's so-called ethnocentric theory of rule-following fails to deliver the solution to this problem he sets out to provide. More constructively, I consider what further provisions are needed in order to advance Pettit's general approach to the problem. I (...) conclude that what is needed is an account that, whilst it affirms the view that agents' responses are constitutively involved in the exemplification of rules, does not allow such responses the pride of place they have in Pettit's theory. (shrink)

This essay re-examines Kierkegaard's view of Socrates. I consider the problem that arises from Kierkegaard's appeal to Socrates as an exemplar for irony. The problem is that he also appears to think that, as an exemplar for irony, Socrates cannot be represented. And part of the problem is the paradox of self-reference that immediately arises from trying to represent x as unrepresentable. On the solution I propose, Kierkegaard does not hold that, as an exemplar for irony, Socrates is in no (...) way representable. Rather, he holds that, as an exemplar for irony, Socrates cannot be represented in a purely disinterested way. I show how, in The Concept of Irony, Kierkegaard makes use of 'limiting cases' of representation in order to bring Socrates into view as one who defies purely disinterested representation. I also show how this approach to Socrates connects up with Kierkegaard's more general interest in the problem of ethical exemplarity, where the problem is how ethical exemplars can be given as such, that is, in such a way that purely disinterested contemplation is not the appropriate response to them. (shrink)

The question of the cognitive role of fictionality is this: what is the correct cognitive attitude to take to p, when it is fictional that p? We began by considering one answer to this question, implicit in the work of Kendall Walton, that the correct response to a fictional proposition is to imagine that proposition. However, this approach is silent in cases of fictional incompleteness, where neither p nor its negation are fictional. We argue that that Waltonians should embrace a (...) pluralistic account of the cognitive role of fictional incompleteness: in some cases of fictional incompleteness, we are permitted to resolve the incompleteness during our engagement with the target fiction, and in other cases, we are obliged not to resolve the incompleteness. But though pluralism is accommodated by Walton’s wider account of fictionality, it puts tension on his motivating idea that fictionality stands to the imagination as truth stands to belief. And so we develop a rival conception of the cognitive role of fictionality that is built around a different analogy: on this evidentialist approach, (known) fictionality stands to the imagination as evidence stands to credence. (shrink)

Autonomy has been central to moral and political philosophy for millenia, and has been positioned as a critical aspect of both justice and wellbeing. Research in psychology supports this position, providing empirical evidence that autonomy is critical to motivation, personal growth and psychological wellness. Responsible AI will require an understanding of, and ability to effectively design for, human autonomy (rather than just machine autonomy) if it is to genuinely benefit humanity. Yet the effects on human autonomy of digital experiences are (...) neither straightforward nor consistent, and are complicated by commercial interests and tensions around compulsive overuse. This multi-layered reality requires an analysis that is itself multidimensional and that takes into account human experience at various levels of resolution. We borrow from HCI and psychological research to apply a model (“METUX”) that identifies six distinct spheres of technology experience. We demonstrate the value of the model for understanding human autonomy in a technology ethics context at multiple levels by applying it to the real-world case study of an AI-enhanced video recommender system. In the process we argue for the following three claims: 1) There are autonomy-related consequences to algorithms representing the interests of third parties, and they are not impartial and rational extensions of the self, as is often perceived; 2) Designing for autonomy is an ethical imperative critical to the future design of responsible AI; and 3) Autonomy-support must be analysed from at least six spheres of experience in order to approriately capture contradictory and downstream effects. (shrink)

This paper reexamines Kierkegaard's work with respect to the question whether truth is one or many. I argue that his famous distinction between objective and subjective truth is grounded in a unitary conception of truth as such: truth as self-coincidence. By explaining his use in this context of the term ‘redoubling’ [Fordoblelse], I show how Kierkegaard can intelligibly maintain that truth is neither one nor many, neither a simple unity nor a complex multiplicity. I further show how these points shed (...) much-needed light on the relationship between objective and subjective truth, conceived not as different kinds or species of truth but as different ways in which truth manifests itself as a standard of success across different contexts of inquiry. (shrink)

Alongside existing research into the social, political and economic impacts of the Web, there is a need to study the Web from a cognitive and epistemic perspective. This is particularly so as new and emerging technologies alter the nature of our interactive engagements with the Web, transforming the extent to which our thoughts and actions are shaped by the online environment. Situated and ecological approaches to cognition are relevant to understanding the cognitive significance of the Web because of the emphasis (...) they place on forces and factors that reside at the level of agent–world interactions. In particular, by adopting a situated or ecological approach to cognition, we are able to assess the significance of the Web from the perspective of research into embodied, extended, embedded, social and collective cognition. The results of this analysis help to reshape the interdisciplinary configuration of Web Science, expanding its theoretical and empirical remit to include the disciplines of both cognitive science and the philosophy of mind. (shrink)

The “principle of double effect” is a vital tool for moral decision making and is applicable to all areas of medical practice, including (for example) end-of-life care, transplant medicine, and cases of conscientious objection. Both our ultimate and our more immediate intentions are relevant in making and evaluating choices— though side effects must be kept proportionate and can be morally conclusive when linked with some intentions. Intentions help to form the character of doctors, and of human beings generally. While hypocrisy (...) is certainly possible in regard to this form (and other forms) of moral reasoning, double effect reasoning, sincerely practised, remains indispensable in identifying moral problems and solutions. (shrink)

The Ontology for Biomedical Investigations (OBI) is an ontology that provides terms with precisely defined meanings to describe all aspects of how investigations in the biological and medical domains are conducted. OBI re-uses ontologies that provide a representation of biomedical knowledge from the Open Biological and Biomedical Ontologies (OBO) project and adds the ability to describe how this knowledge was derived. We here describe the state of OBI and several applications that are using it, such as adding semantic expressivity to (...) existing databases, building data entry forms, and enabling interoperability between knowledge resources. OBI covers all phases of the investigation process, such as planning, execution and reporting. It represents information and material entities that participate in these processes, as well as roles and functions. Prior to OBI, it was not possible to use a single internally consistent resource that could be applied to multiple types of experiments for these applications. OBI has made this possible by creating terms for entities involved in biological and medical investigations and by importing parts of other biomedical ontologies such as GO, Chemical Entities of Biological Interest (ChEBI) and Phenotype Attribute and Trait Ontology (PATO) without altering their meaning. OBI is being used in a wide range of projects covering genomics, multi-omics, immunology, and catalogs of services. OBI has also spawned other ontologies (Information Artifact Ontology) and methods for importing parts of ontologies (Minimum information to reference an external ontology term (MIREOT)). The OBI project is an open cross-disciplinary collaborative effort, encompassing multiple research communities from around the globe. To date, OBI has created 2366 classes and 40 relations along with textual and formal definitions. The OBI Consortium maintains a web resource providing details on the people, policies, and issues being addressed in association with OBI. (shrink)

This essay considers the critical response to Hegel's view of Socrates we find in Kierkegaard's dissertation, The Concept of Irony. I argue that this dispute turns on the question whether or not the examination of particular thinkers enters into Socrates’ most basic aims and interests. I go on to show how Kierkegaard's account, which relies on an affirmative answer to this question, enables him to provide a cogent defence of Socrates' philosophical practice against Hegel's criticisms.

Bayesian models of legal arguments generally aim to produce a single integrated model, combining each of the legal arguments under consideration. This combined approach implicitly assumes that variables and their relationships can be represented without any contradiction or misalignment, and in a way that makes sense with respect to the competing argument narratives. This paper describes a novel approach to compare and ‘average’ Bayesian models of legal arguments that have been built independently and with no attempt to make them consistent (...) in terms of variables, causal assumptions or parameterization. The approach involves assessing whether competing models of legal arguments are explained or predict facts uncovered before or during the trial process. Those models that are more heavily disconfirmed by the facts are given lower weight, as model plausibility measures, in the Bayesian model comparison and averaging framework adopted. In this way a plurality of arguments is allowed yet a single judgement based on all arguments is possible and rational. (shrink)

forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), symbolizing English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as modal logic, soundness, and functional completeness. Exercises with solutions are available. (...) It is provided in PDF (for screen reading, printing, and a special version for dyslexics), HTML, and in LaTeX source code. (shrink)

My central claim in this paper is that Kierkegaard’s Fear and Trembling is governed by the basic aim to articulate a real dilemma, and to elicit its proper recognition as such. I begin by indicating how Kierkegaard’s works are shaped in general by this aim, and what the aim involves. I then show how the dilemmaticstructure of Fear and Trembling is obscured in a recent dispute between Michelle Kosch and John Lippitt regarding the basic aims and upshot of the book. (...) Finally, I consider two critical questions: Why does Kierkegaard present his dilemmatic reasoning in the form of a “dialectical lyric”? And why does he write a book that aims only to articulate a dilemma, and not also to resolve it? (shrink)

This paper analyses the phenomenology and epistemology of chatbots such as ChatGPT and Bard. The computational architecture underpinning these chatbots are large language models (LLMs), which are generative artificial intelligence (AI) systems trained on a massive dataset of text extracted from the Web. We conceptualise these LLMs as multifunctional computational cognitive artifacts, used for various cognitive tasks such as translating, summarizing, answering questions, information-seeking, and much more. Phenomenologically, LLMs can be experienced as a “quasi-other”; when that happens, users anthropomorphise them. (...) For most users, current LLMs are black boxes, i.e., for the most part, they lack data transparency and algorithmic transparency. They can, however, be phenomenologically and informationally transparent, in which case there is an interactional flow. Anthropomorphising and interactional flow can, in some users, create an attitude of (unwarranted) trust towards the output LLMs generate. We conclude this paper by drawing on the epistemology of trust and testimony to examine the epistemic implications of these dimensions. Whilst LLMs generally generate accurate responses, we observe two epistemic pitfalls. Ideally, users should be able to match the level of trust that they place in LLMs to the degree that LLMs are trustworthy. However, both their data and algorithmic opacity and their phenomenological and informational transparency can make it difficult for users to calibrate their trust correctly. The effects of these limitations are twofold: users may adopt unwarranted attitudes of trust towards the outputs of LLMs (which is particularly problematic when LLMs hallucinate), and the trustworthiness of LLMs may be undermined. (shrink)

A uniform construction for sequent calculi for finite-valued first-order logics with distribution quantifiers is exhibited. Completeness, cut-elimination and midsequent theorems are established. As an application, an analog of Herbrand’s theorem for the four-valued knowledge-representation logic of Belnap and Ginsberg is presented. It is indicated how this theorem can be used for reasoning about knowledge bases with incomplete and inconsistent information.

A construction principle for natural deduction systems for arbitrary, finitely-many-valued first order logics is exhibited. These systems are systematically obtained from sequent calculi, which in turn can be automatically extracted from the truth tables of the logics under consideration. Soundness and cut-free completeness of these sequent calculi translate into soundness, completeness, and normal-form theorems for natural deduction systems.

All disciplines must define their basic units and core processes. In evolutionary biology, the core process is natural selection and the basic unit of selection and adaptation is the individual. To operationalize the theory of natural selection we must count individuals, as they are the bearers of fitness. While canonical individuals have often been taken to be multicellular organisms, the hierarchy of life shows that new kinds of individuals have evolved. A variety of criteria have been used to define biological (...) individuality. Some criteria rely on the presence/absence of a particular property while others advocate an approach that reflects the process of natural selection. The plethora of approaches to classifying individuality has resulted in confusion regarding how to study individuality in a given taxon. (shrink)

I propose to treat the books under review here as exemplifying three types of approach to Kierkegaard, three heuristic prisms. At the level of abstraction at which I shall distinguish them, each ty...

This work is the transcript of a theological dialogue I had with ChatGPT that spanned a couple of days. I began it merely out of curiosity over how ChatGPT might respond to questions and challenges I posed. As it progressed, I became increasingly impressed with the nuance, depth, and relevance of its responses. The dialogue became, for me, something of a contemplative exercise. I still don’t know quite how to understand the ability of generative A.I. to respond with such (apparent) (...) understanding and even insight. -/- I’ve decided to post this dialogue, not only because of the puzzle it poses concerning A.I, but even more, because I believe that the theological conclusions ‘we’ arrived at have real merit. -/- In the end, the theological views expressed here echo those that I’ve expressed in other works of mine, but the expression of these views are enhanced by the way ChatGPT picks up on them, rephrases them, elaborates upon them, and often places them in the context of the classical theological tradition. -/- I might add that I have been an A.I. skeptic for some time now, concerned over the potential dangers of A.I. in general. But this dialogue, anyway, reveals its potential use as a vehicle for reflection, even profound reflection. -/- . (shrink)

We present a new understanding of Christ’s real presence in the Eucharist on the model of Stump’s account of God’s omnipresence and Green and Quan’s account of experiencing God in Scripture. On this understanding, Christ is derivatively, rather than fundamentally, located in the consecrated bread and wine, such that Christ is present to the believer through the consecrated bread and wine, thereby making available to the believer a second-person experience of Christ, where the consecrated bread and wine are the way (...) in which she shares attention with him. The consecrated bread and wine are then, in a sense, icons of Christ. (shrink)

Nietzsche announces his intentions to publish a “physiology of aesthetics”, namely a naturalistic explanation for how aesthetic judgements are grounded in the physiology of both the one experiencing the work, and the creator of it. But as well as the physiological reduction of aesthetic judgements, Nietzsche in many places across his oeuvre frames the apparatus of physiology, especially the prescriptive dimension of self-cultivation, in terms amenable to being treated as ‘aesthetic’. The first section will mount a (re-) defense of the (...) use of aestheticized language for discussing Nietzschean self-cultivation. The second section demonstrates an aesthetic evaluation of capacities that make possible the acquisition and removal of instinctual components, ultimately arguing for Nietzsche’s qualified indeterminism regarding the capacity for self-cultivation. The third section will assess the pres- ence of another aesthetic measure, this time in terms of envisaging one’s psycho-physiology by reference to an external spectacle. The final section discusses metaethical questions stemming from Nietzsche’s prescriptive language regarding the aestheticization of our physiology. (shrink)

Health services internationally struggle to ensure health care is “person-centered” (or similar). In part, this is because there are many interpretations of “person-centered care” (and near synonyms), some of which seem unrealistic for some patients or situations and obscure the intrinsic value of patients’ experiences of health care delivery. The general concern behind calls for person-centered care is an ethical one: Patients should be “treated as persons.” We made novel use of insights from the capabilities approach to characterize person-centered care (...) as care that recognizes and cultivates the capabilities associated with the concept of persons. This characterization unifies key features from previous characterisations and can render person-centered care applicable to diverse patients and situations. By tying person-centered care to intrinsically valuable capability outcomes, it incorporates a requirement for responsiveness to individuals and explains why person-centered care is required independently of any contribution it may make to health gain. (shrink)

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have been (...) expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

The aim of this paper is to emphasize the fact that for all finitely-many-valued logics there is a completely systematic relation between sequent calculi and tableau systems. More importantly, we show that for both of these systems there are al- ways two dual proof sytems (not just only two ways to interpret the calculi). This phenomenon may easily escape one’s attention since in the classical (two-valued) case the two systems coincide. (In two-valued logic the assignment of a truth value and (...) the exclusion of the opposite truth value describe the same situation.). (shrink)

This is the second part of my theological dialogue with ChatGPT on the meaning of God. We explore the nature of God's agency, will, goodness, the problem of evil and suffering, the meaning of sin, and the meaning and nature of the redemptive act of Christ.

There are three main moral theories: virtue ethics, the deontological approach and utilitarianism. The concern here is how they interrelate, why they come into focus at different times and places, and how they are configured in their application to a modern democratic society. Person-oriented virtue ethics was the dominant understanding in Ancient Greece but within the Western tradition this was later subordinated to the monotheism of Ancient Judaism as modified by Christianity. Of growing importance by the eighteenth century was rights (...) theory which was often still situated religiously. Kant’s principle of the categorical imperative has been highly influential but was challenged by the emerging nature of industrial and capitalist society. Utilitarianism, within which the moral rightness of activity resides in its tendency to promote happiness or unhappiness, represented the decisive move from the transcendental to the immanent approach. Although all three approaches to moral theory continue to be relevant to identifiable situations and aspects of modern society, there has been a substantial turn towards a heavily modified utilitarianism associated with parliamentary democracy and market economies founded on property ownership. The root cause of this is the ability of utilitarianism, as opposed to the other approaches, to handle considerations of number and probability. The concept of utility is fundamental in economics but the idea has evolved away from its origins to mean “preference”. There is a sense in which the straightforward appeal of basic utilitarianism has been “leased out” in modified form to a set of institutional arrangements. Certain “pressure points” in a modern society are noted which pose particular problems pertinent to moral theory. Bernard Williams argues persuasively for an appropriately modified form of virtue ethics. (shrink)

It is shown that Gqp↑, the quantified propositional Gödel logic based on the truth-value set V↑ = {1 - 1/n : n≥1}∪{1}, is decidable. This result is obtained by reduction to Büchi's theory S1S. An alternative proof based on elimination of quantifiers is also given, which yields both an axiomatization and a characterization of Gqp↑ as the intersection of all finite-valued quantified propositional Gödel logics.

Whilst media and political rhetoric in Britain is sceptical and often outright damning of the (presumed) morals and behaviours of the White marginalized poor, our aim is to explore the conditions under which successful communities are nevertheless built. Specifically, we examine the features of community and stress its importance both for belonging and bonding around shared norms and practices and for fostering the necessary bridging essential for interacting and cooperating with others. In considering what it means to foster a community (...) that acts as a breakwater against the tides of stigma or disadvantage, we pay special attention to what we will call enabling conditions – essential features that communities either can or should be able to provide or that exist independent of communities and are indispensable for accessing opportunities in the wider society. We detail the dynamics of White poverty and exclusion before turning our attention to possible responses to these challenges. In searching for viable responses to stigma and disadvantage, we compare some different typologies of community presently available to the White poor in Britain and examine whether these are sufficient to satisfy the enabling conditions associated with more robust forms of group membership. (shrink)

A letter to The Times of London, May 9, 1992 protesting the Cambridge University proposal to award an honorary degree to M. Jacques Derrida.

Vaccine research, as well as the development, testing, clinical trials, and commercial uses of vaccines involve complex processes with various biological data that include gene and protein expression, analysis of molecular and cellular interactions, study of tissue and whole body responses, and extensive epidemiological modeling. Although many data resources are available to meet different aspects of vaccine needs, it remains a challenge how we are to standardize vaccine annotation, integrate data about varied vaccine types and resources, and support advanced vaccine (...) data analysis and inference. To address these problems, the community-based Vaccine Ontology (VO) has been developed through collaboration with vaccine researchers and many national and international centers and programs, including the National Center for Biomedical Ontology (NCBO), the Infectious Disease Ontology (IDO) Initiative, and the Ontology for Biomedical Investigations (OBI). VO utilizes the Basic Formal Ontology (BFO) as the top ontology and the Relation Ontology (RO) for definition of term relationships. VO is represented in the Web Ontology Language (OWL) and edited using the Protégé-OWL. Currently VO contains more than 2000 terms and relationships. VO emphasizes on classification of vaccines and vaccine components, vaccine quality and phenotypes, and host immune response to vaccines. These reflect different aspects of vaccine composition and biology and can thus be used to model individual vaccines. More than 200 licensed vaccines and many vaccine candidates in research or clinical trials have been modeled in VO. VO is being used for vaccine literature mining through collaboration with the National Center for Integrative Biomedical Informatics (NCIBI). Multiple VO applications will be presented. (shrink)

What we value, like, endorse, want, and prefer changes over the course of our lives. Richard Pettigrew presents a theory of rational decision making for agents who recognise that their values will change over time and whose decisions will affect those future times.

This article explores the ambivalent relationship of neo-Aristotelian naturalism to ethical supervenience. One of the main proponents of this approach, Michael Thompson, holds a position that leads to a rejection of local ethical supervenience. It is argued that this rejection implicitly undermines a premise held by other prominent neo-Aristotelian naturalists, such as Philippa Foot or Rosalind Hursthouse, who implemented Thompson’s species-relative logic of ethical evaluations into their theories. This premise—that there is a systematic connection between the virtuous life and the (...) benefit of the individual—could be re-established if neo-Aristotelian naturalism abandoned the species-essentialist understanding of life-forms and instead accepted local ethical supervenience as an ethical frame of reference. Although this article derives its problem from the main works of the aforementioned authors, its interest lies not mainly in exegesis, but in the systematic discussion of the logical status and the functionality of the concept of life-form in neo-Aristotelian naturalism. This discussion will be enriched by the inclusion of the logical distinctions and insights from modern philosophical biology. (shrink)

The first-order temporal logics with □ and ○ of time structures isomorphic to ω (discrete linear time) and trees of ω-segments (linear time with branching gaps) and some of its fragments are compared: the first is not recursively axiomatizable. For the second, a cut-free complete sequent calculus is given, and from this, a resolution system is derived by the method of Maslov.

The primary goal of this essay is to provide a comprehensive overview and analysis of the various relations between material artifacts and the embodied mind. A secondary goal of this essay is to identify some of the trends in the design and use of artifacts. First, based on their functional properties, I identify four categories of artifacts co-opted by the embodied mind, namely (1) embodied artifacts, (2) perceptual artifacts, (3) cognitive artifacts, and (4) affective artifacts. These categories can overlap and (...) so some artifacts are members of more than one category. I also identify some of the techniques (or skills) we use when interacting with artifacts. Identifying these categories of artifacts and techniques allows us to map the landscape of relations between embodied minds and the artifactual world. Second, having identified categories of artifacts and techniques, this essay then outlines some of the trends in the design and use of artifacts, focussing on neuroprosthetics, brain-computer interfaces, and personalisation algorithms nudging their users towards particular epistemic paths of information consumption. (shrink)

Livro-texto de introdução à lógica, com (mais do que) pitadas de filosofia da lógica, produzido como uma versão revista e ampliada do livro Forallx: Calgary. Trata-se da versão de 13 de outubro de 2022. Comentários, críticas, correções e sugestões são muito bem-vindos.

What endogenous factors contribute to minority (Red Queen) or majority (Red King) domination under conditions of coercive bargaining? We build on previous work demonstrating minority disadvantage in non-coercive bargaining games to show that under neutral initial conditions, majorities are advantaged in high conflict situations, and minorities are advantaged in low conflict games. These effects are a function of the relationship between (1) relative proportions of the majority and minority groups and (2) costs of conflict. Although both Red King and Red (...) Queen effects can occur, we further show that agents’ increased initial propensity toward conflict advantages majorities. (shrink)

The political philosophy originates from the reflections of crisis, risks and threats which society faces to. The author understands environmentalism as a tendency of current political philosophy which starts from the reflections of causes and possible effects of global environmental crisis as one of the most serious threats to the existential preconditions of current political system and global civilization at all. Considering the changes in social, technological and environmental starting conditions of the existence of economic-political system – that are consequences (...) of the transition from stable geologic-climate era of Holocene to unstable era of anthropocene – it is necessary to reconsider once more the basic premises, imperatives and conceptual frames of current economic-political system. The outlines of current economic-political system in philosophical frame were laid out by founders of modern political thinking while we can identify some of basic premises of environmentalism and also concepts relevant to the reflection of current threats and risks in some of their works. Author considers the concept of civil and human rights, the concept of natural state and the concept of social contract to be suitable for the reflection of the crisis of current economic-political system regarding environmentalism. Afterwards, the author formulates in what meanings are these concepts actual also for anthropocene. In conclusion, the author´s hypothesis is that the political philosophy of 21st century must reflect the environmental preconditions and limits of existence and forms of economic-political system and, at the same time, it must take into account that any economic and social activities have influence on the quality and sustainability of environment. (shrink)

Effective altruism sounds so innocuous—who could possibly be opposed to doing good more effectively? Yet it has inspired significant backlash in recent years. This paper addresses some common misconceptions and argues that the core “beneficentric” ideas of effective altruism are both excellent and widely neglected. Reasonable people may disagree on details of implementation, but all should share the basic goals or values underlying effective altruism.