We naturally see ourselves as capable of being active with respect to the matter of what we believe – as capable of epistemic agency. A natural view is that we can exercise such agency by engaging in reasoning. Sceptics contend that such a view cannot be maintained in light of the fact that reasoning involves judgements, which are not decided upon or the products of prior intentions. In response, I argue that reasoning in fact can amount to epistemic agency in (...) virtue of its being aim-directed in a way that cannot be reconciled with the sceptics' conception of it. (shrink)

Perception provides us with access to the external world, but that access is shaped by our own experiential histories. Through perceptual learning, we can enhance our capacities for perceptual discrimination, categorization, and attention to salient properties. We can also encode harmful biases and stereotypes. This article reviews interdisciplinary research on perceptual learning, with an emphasis on the implications for our rational and normative theorizing. Perceptual learning raises the possibility that our inquiries into topics such as epistemic justification, aesthetic criticism, and (...) moral knowledge should include not only an examination of cognition but also of perception. (shrink)

This paper considers how cognitive architecture impacts and constrains the rational requirement to respond to reasons. Informational encapsulation and its close relative belief fragmentation can render an agent’s own reasons inaccessible to her, thus preventing her from responding to them. For example, someone experiencing imposter phenomenon might be well aware of their own accomplishments in certain contexts but unable to respond to those reasons when forming beliefs about their own self-worth. In such cases, are our beliefs irrational for failing to (...) respond to our own reasons? Or are they excused on grounds of the reasons’ inaccessibility? I argue that in such cases, the rational status of the belief that fails to respond to reasons is modulated by the degree of encapsulation of the system that produces it. Yet because our cognitive systems are rarely perfectly encapsulated, our failures to respond to reasons are almost always irrational to some degree. (shrink)

Perceptual experiences are not immediately responsive to reasons. You see a stick submerged in a glass of water as bent no matter how much you know about light refraction. Due to this isolation from reasons, perception is traditionally considered outside the scope of epistemic evaluability as justified or unjustified. Is perception really as independent from reasons as visual illusions make it out to be? I argue no, drawing on psychological evidence from perceptual learning. The flexibility of perceptual learning is a (...) way of responding to new epistemic reasons. The resulting perceptual experiences are epistemically evaluable as justified or unjustified. (shrink)

Feminist analyses of gender concepts must avoid the inclusion problem, the fault of marginalizing or excluding some prima facie women. Sally Haslanger’s ‘ameliorative’ analysis of gender concepts seeks to do so by defining woman by reference to subordination. I argue that Haslanger’s analysis problematically marginalizes trans women, thereby failing to avoid the inclusion problem. I propose an improved ameliorative analysis that ensures the inclusion of trans women. This analysis yields ‘twin’ target concepts of woman, one concerning gender as class and (...) the other concerning gender as identity, both of which I hold to be equally necessary for feminist aims. (shrink)

According to a traditional picture, perception and belief have starkly different epistemic roles. Beliefs have epistemic statuses as justified or unjustified, depending on how they are formed and maintained. In contrast, perceptions are “unjustified justifiers.” Core cognition is a set of mental systems that stand at the border of perception and belief, and has been extensively studied in developmental psychology. Core cognition's borderline states do not fit neatly into the traditional epistemic picture. What is the epistemic role of these states? (...) Focusing on the core object system, the author argues that core object representations have epistemic statuses like beliefs do, despite their many prototypically perceptual features. First, the author argues that it is a sufficient condition on a mental state's having an epistemic status as justified or unjustified that the state is based on reasons. Then the author argues that core object representations are based on reasons, through an examination of both experimental results and key markers of the basing relation. The scope of mental states that are subject to epistemic evaluation as justified or unjustified is not restricted to beliefs. (shrink)

We argue that the core social being system is unlike other core systems in that it participates in frequent, widespread learning. As a result, the social being system is less constant throughout the lifespan and less informationally encapsulated than other core systems. This learning supports the development of the precursors of bias, but also provides avenues for preempting it.

Our perceptual systems are not stagnant but can learn from experience. Why is this so? That is, what is the function of perceptual learning? I consider two answers to this question: The Offloading View, which says that the function of perceptual learning is to offload tasks from cognition onto perception, thereby freeing up cognitive resources (Connolly, 2019) and the Perceptual View, which says that the function of perceptual learning is to improve the functioning of perception. I argue that the Perceptual (...) View better explains data from infants and animals, and better accounts for learned tasks that only perception could perform. (shrink)

What kinds of mental states can be based on epistemic reasons? The standard answer is only beliefs. I argue that perceptual states can also be based on reasons, as the result of crossmodal interactions. A perceptual state from one modality can provide a reason on which an experience in another modality is based. My argument identifies key markers of the basing relation and locates them in the crossmodal Marimba Illusion (Schutz & Kubovy 2009). The subject’s auditory experience of musical tone (...) duration is based on the reason provided by her visual representation of the length of the musician’s gesture and other stored perceptual principles. (shrink)

One challenge in providing an adequate definition of physical disability is unifying the heterogeneous bodily conditions that count as disabilities. We examine recent proposals by Elizabeth Barnes (2016), and Dana Howard and Sean Aas (2018), and show how this debate has reached an impasse. Barnes’ account struggles to deliver principled unification of the category of disability, whilst Howard and Aas’ account risks inappropriately sidelining the body. We argue that this impasse can be broken using a novel concept: marginalised functioning. Marginalised (...) functioning concerns the relationship between a person’s bodily capacities and their social world: specifically, their ability to function in line with the default norms about how people can typically physically function that influence the structuring of social space. We argue that attending to marginalised functioning allows us to develop, not one, but three different models of disability, all of which—whilst having different strengths and weaknesses—unify the category of disability without sidelining the body. (shrink)

We take it that we can exercise doxastic agency by reasoning and by making judgments. We take it, that is, that we can actively make up our minds by reasoning and judging. On what I call the ‘Standard View’ this is so because judgment can yield belief. It is typical to take it that judgments yield beliefs by causing them. But on the resultant understanding of the Standard View, I argue, it is unclear how judgment could play its role in (...) doxastic agency in the way we take it to. I therefore offer an alternative understanding of how judgment yields belief. Drawing on Ryle I argue that when one comes to believe by judging the event which is one's judging is token identical to the event which is one's coming to believe. This paves the way for version of the Standard View capable of explaining how we can actively make up our minds despite that we cannot believe or come to believe at will. (shrink)

According to the Rationality Constraint, our concept of belief imposes limits on how much irrationality is compatible with having beliefs at all. We argue that empirical evidence of human irrationality from the psychology of reasoning and the psychopathology of delusion undermines only the most demanding versions of the Rationality Constraint, which require perfect rationality as a condition for having beliefs. The empirical evidence poses no threat to more relaxed versions of the Rationality Constraint, which only require only minimal rationality. Nevertheless, (...) we raise problems for all versions of the Rationality Constraint by appealing to more extreme forms of irrationality that are continuous with actual cases of human irrationality. In particular, we argue that there are conceivable cases of “mad belief” in which populations of Lewisian madmen have beliefs that are not even minimally rational. This undermines Lewis’s claim that our ordinary concept of belief is a theoretical concept that is implicitly defined by its role in folk psychology. We argue that introspection gives us a phenomenal concept of belief that cannot be analyzed by applying Lewis’s semantics for theoretical terms. (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)

Williamson’s “anti-luminosity” argument aims to establish that there are no significant luminous conditions. “Far from forming a cognitive home”, luminous conditions are mere “curiosities”. Even supposing Williamson’s argument succeeds in showing that there are no significant luminous states his conclusion has not thereby been established. When it comes to determining what is luminous, mental events and processes are among the best candidates. It is events and processes, after all, which constitute the stream of consciousness. Judgment, for instance, is plausibly self-conscious. (...) If I am judging then plausibly I must know that I am. Similarly, deliberation is plausibly self-conscious. To be deliberating about some matter I plausibly must know that I am. That one is judging and that one is deliberating are thus plausibly luminous conditions. Furthermore, I argue, Williamson’s anti-luminosity argument fails to speak against this suggestion. This reveals that Williamson’s argument is more limited in scope than has been thought—something likely missed due to a misplaced focus on mental states in the luminosity debate as well as in epistemology and the philosophy of mind more generally. For all Williamson shows, there may be luminous events and processes of a sort apt to constitute a cognitive home. I conclude by considering how the anti-luminosity argument might be reinstated in the judgment case and argue that the natural way to do so fails. (shrink)

Reasoning is naturally understood as something which we actively do—as a kind of action. However, reflection on the supposed limits to the extent to which it is up to us how our reasoning unfolds is often taken to cast doubt on this idea. I argue that, once articulated with care, challenges to the idea that reasoning is a kind of action can be seen to trade on problematic assumptions. In particular, they trade on assumptions which could be used to rule (...) out paradigmatic actions from qualifying as such. Accordingly, no distinctive challenge to the idea that reasoning is a kind of action can trade on such assumptions. I suggest that it is a mistaken atomistic way of thinking about action which is the source of the relevant assumptions. Reasoning can unproblematically be maintained to be a kind of action. It is the atomistic way of thinking about action which ought to be rejected. (shrink)

This thesis brings together two concerns. The first is the nature of inference—what it is to infer—where inference is understood as a distinctive kind of conscious and self-conscious occurrence. The second concern is the possibility of doxastic agency. To be capable of doxastic agency is to be such that one is capable of directly exercising agency over one’s beliefs. It is to be capable of exercising agency over one’s beliefs in a way which does not amount to mere self-manipulation. Subjects (...) who can exercise doxastic agency can settle questions for themselves. A challenge to the possibility of doxastic agency stems from the fact that we cannot believe or come to believe “at will”, where this in turn seems to be so because belief “aims at truth”. It must be explained how we are capable of doxastic agency despite that we cannot believe or come to believe at will. On the orthodox ‘causalist’ conception of inference for an inference to occur is for one act of acceptance to cause another in some specifiable “right way”. This conception of inference prevents its advocates from adequately seeing how reasoning could be a means to exercise doxastic agency, as it is natural to think it is. Suppose, for instance, that one reasons and concludes by inferring where one’s inference yields belief in what one infers. Such an inference cannot be performed at will. We cannot infer at will when inference yields belief any more than we can believe or come to believe at will. When it comes to understanding the extent to which one could be exercising agency in such a case the causalist conception of inference suggests that we must look to the causal history of one’s concluding act of acceptance, the nature of the act’s being determined by the way in which it is caused. What results is a picture on which such reasoning as a whole cannot be action. We are at best capable of actions of a kind which lead causally to belief fixation through “mental ballistics”. The causalist account of inference, I argue, is in fact either inadequate or unmotivated. It either fails to accommodate the self-consciousness of inference or is not best placed to play the very explanatory role which it is put forward to play. On the alternative I develop when one infers one’s inference is the conscious event which is one’s act of accepting that which one is inferring. The act’s being an inference is determined, not by the way it is caused, but by the self-knowledge which it constitutively involves. This corrected understanding of inference renders the move from the challenge to the possibility of doxastic agency to the above ballistics picture no longer tempting. It also yields an account of how we are capable of exercising doxastic agency by reasoning despite being unable to believe or come to believe at will. In order to see how such reasoning could amount to the exercise of doxastic agency it needs to be conceived of appropriately. I suggest that paradigm reasoning which potentially amounts the exercise of doxastic agency ought to be conceived of as primarily epistemic agency—agency the aim of which is knowledge. With inference conceived as suggested, I argue, it can be seen how to engage in such reasoning can just be to successfully exercise such agency. (shrink)

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)

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)

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)

Tasks, tools, and techniques that we perform, use, and acquire, define the elements of expertise which we value as the hallmarks of goal-driven behavior. Somehow, the creation of tools enables us to define new tasks, or is it that the envisioning of new tasks drives us to invent new tools? Or maybe it is that new tools engender new techniques which then result in new tasks? This jumble of issues will be explored and discussed in this diverse collection of papers. (...) Individually, few of the papers are related to each other by topic or by techniques of analysis. Collectively, all focus on tasks performed using tools and discuss the techniques of tool use which enable differences in performance and expertise across individuals, societies, and (even) species. -/- . (shrink)

Introduction to Special Issue of Review of Philosophy and Psychology. Overview of the central issues in cognitive architecture, epistemology, and ethics surrounding cognitive penetrability. Special issue includes papers by philosophers and psychologists: Gary Lupyan, Fiona Macpherson, Reginald Adams, Anya Farennikova, Jona Vance, Francisco Marchi, Robert Cowan.

We present a general framework for representing belief-revision rules and use it to characterize Bayes's rule as a classical example and Jeffrey's rule as a non-classical one. In Jeffrey's rule, the input to a belief revision is not simply the information that some event has occurred, as in Bayes's rule, but a new assignment of probabilities to some events. Despite their differences, Bayes's and Jeffrey's rules can be characterized in terms of the same axioms: "responsiveness", which requires that revised beliefs (...) incorporate what has been learnt, and "conservativeness", which requires that beliefs on which the learnt input is "silent" do not change. To illustrate the use of non-Bayesian belief revision in economic theory, we sketch a simple decision-theoretic application. (shrink)

We explore the ethics of deliberately exposing consenting adults to SARS-CoV-2 to induce immunity to the virus (“DEI” for short). We explain what a responsible DEI program might look like. We explore a consequentialist argument for DEI according to which DEI is a viable harm-reduction strategy. Then we consider a non-consequentialist argument for DEI that draws on the moral significance of consent. Additionally, we consider arguments for the view that DEI is unethical on the grounds that, given that large-scale DEI (...) would be highly likely to result in some severe illnesses and deaths, DEI amounts to a form of killing. Our thesis is that incorporating a DEI program alongside the status-quo “calibrate-the-curve” responses could have significant advantages at the early stages of pandemics. These potential advantages mean that, at a minimum, research into DEI would have been justified early in the COVID-19 pandemic, and that DEI programs should be explored as potential additions to our overall approach to emerging pandemics in the future. (shrink)

We consider the complex interactions between rape culture and epistemology. A central case study is the consideration of a deferential attitude about the epistemology of sexual assault testimony. According to the deferential attitude, individuals and institutions should decline to act on allegations of sexual assault unless and until they are proven in a formal setting, i.e., a criminal court. We attack this deference from several angles, including the pervasiveness of rape culture in the criminal justice system, the epistemology of testimony (...) and norms connecting knowledge and action, the harms of tacit idealizations away from important contextual factors, and a contextualist semantics for 'knows' ascriptions. (shrink)

There are two central kinds of epistemological mistakes: believing things you shouldn’t, and failing to believe things that you should. The knowledge-first program offers a canonical explanation for the former: if you believe something without knowing it, you violate the norm to believe only that which you know. But the explanation does not extend in any plausible way to a story about what’s wrong with suspending judgment when one ought to believe. In this paper I explore prospects for a knowledge-centering (...) account of positive epistemic norms that describe epistemic duties to believe. (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.

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)

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.

Recent philosophical work on the relation between reasoning and bodily action is dominated by two views. It is orthodox to have it that bodily actions can be at most causally involved in reasoning. Others have it that reasoning can constitutively involve bodily actions, where this is understood as a matter of non‐mental bodily events featuring as constituents of practical reasoning. Reflection on cases of reasoning out‐loud suggests a neglected alternative on which both practical and theoretical reasoning can have bodily actions (...) as constituents, where such bodily actions themselves amount to contentful mental events. Furthermore, the natural lines of resistance to this view trade on type‐token errors, or on a questionable common‐factor assumption. (shrink)

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)

In this article, we explore the implications of opposing domains theory for developing ethical leaders. Opposing domains theory highlights a neurological tension between analytic reasoning and socioemotional reasoning. Specifically, when we engage in analytic reasoning, we suppress our ability to engage in socioemotional reasoning and vice versa. In this article, we bring together the domains of neuroscience, psychology, and ethics, to inform our theorizing around ethical leadership. We propose that a key issue for ethical leadership is achieving a healthy balance (...) between analytic reasoning and socioemotional reasoning. We argue that organizational culture often encourages too heavy a reliance on nonemotional forms of reasoning to arrive at moral judgments. As a result, leaders run the risk of suppressing their ability to pay attention to the human side of moral dilemmas and, in doing so, dehumanize colleagues, particularly subordinates, and clients. (shrink)

Religion, especially Western religion, calls upon us to 'believe' on the basis of 'faith.' But in what way can faith serve as a justification for belief? In this essay, I distinguish between 'belief in' and 'belief that' and argue that faith, properly understood, entails the former, not the latter.

This is an excerpt from a report on the workshop on multisensory integration at the University of Toronto, on May 9th and 10th, 2014, written by Kevin Connolly, Aaron Henry, Zoe Jenkin, and Andrew MacGregor, and available at: http://networksensoryresearch.utoronto.ca/Events_%26_Discussion.html This excerpt explores the question: Do multisensory percepts involve emergent features?

This is an excerpt from a report on the workshop on multisensory integration at the University of Toronto, on May 9th and 10th, 2014, written by Kevin Connolly, Aaron Henry, Zoe Jenkin, and Andrew MacGregor, and available at: http://networksensoryresearch.utoronto.ca/Events_%26_Discussion.html This excerpt explores the question: Is language processing a special kind of multisensory integration?

Saul Kripke once noted that there is a tight connection between computation and de re knowledge of whatever the computation acts upon. For example, the Euclidean algorithm can produce knowledge of which number is the greatest common divisor of two numbers. Arguably, algorithms operate directly on syntactic items, such as strings, and on numbers and the like only via how the numbers are represented. So we broach matters of notation. The purpose of this article is to explore the relationship between (...) the notations acceptable for computation, the usual idealizations involved in theories of computability, flowing from Alan Turing’s monumental work, and de re propositional attitudes toward numbers and other mathematical objects. (shrink)

The book develops and synthesises two main ideas: contextualism about knowledge ascriptions and a knowledge-first approach to epistemology. The theme of the book is that these two ideas fit together much better than it's widely thought they do. Not only are they not competitors: they each have something important to offer the other.

In Mind and World, John McDowell argues against the view that perceptual representation is non-conceptual. The central worry is that this view cannot offer any reasonable account of how perception bears rationally upon belief. I argue that this worry, though sensible, can be met, if we are clear that perceptual representation is, though non-conceptual, still in some sense 'assertoric': Perception, like belief, represents things as being thus and so.

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

There is a New Idea in epistemology. It goes by the name of ‘knowledge first,’ and it is particularly associated with Timothy Williamson’s book Knowledge and Its Limits. In slogan form, to put knowledge first is to treat knowledge as basic or fundamental, and to explain other states—belief, justification, maybe even content itself—in terms of knowledge, instead of vice versa. The idea has proven enormously interesting, and equally controversial. But deep foundational questions about its actual content remain relatively unexplored. We (...) think that a wide variety of views travel under the banner of ‘knowledge first’ (and that the slogan doesn’t help much with differentiating them). Furthermore, we think it is far from straightforward to draw connections between certain of these views; they are more independent than they are often assumed to be. Our project here is exploratory and clarificatory. We mean to tease apart various ‘knowledge first’ claims, and explore what connections they do or do not have with one another. Our taxonomy is offered in §2, and connections are explored in §3. The result, we hope, will be a clearer understanding of just what the knowledge first theses are. We conclude, in §4, with some brief suggestions as to how we think the various theses might be evaluated. (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.

The Cell Ontology (CL) is designed to provide a standardized representation of cell types for data annotation. Currently, the CL employs multiple is_a relations, defining cell types in terms of histological, functional, and lineage properties, and the majority of definitions are written with sufficient generality to hold across multiple species. This approach limits the CL’s utility for cross-species data integration. To address this problem, we developed a method for the ontological representation of cells and applied this method to develop a (...) dendritic cell ontology (DC-CL). DC-CL subtypes are delineated on the basis of surface protein expression, systematically including both species-general and species-specific types and optimizing DC-CL for the analysis of flow cytometry data. This approach brings benefits in the form of increased accuracy, support for reasoning, and interoperability with other ontology resources. 104. Barry Smith, “Toward a Realistic Science of Environments”, Ecological Psychology, 2009, 21 (2), April-June, 121-130. Abstract: The perceptual psychologist J. J. Gibson embraces a radically externalistic view of mind and action. We have, for Gibson, not a Cartesian mind or soul, with its interior theater of contents and the consequent problem of explaining how this mind or soul and its psychological environment can succeed in grasping physical objects external to itself. Rather, we have a perceiving, acting organism, whose perceptions and actions are always already tuned to the parts and moments, the things and surfaces, of its external environment. We describe how on this basis Gibson sought to develop a realist science of environments which will be ‘consistent with physics, mechanics, optics, acoustics, and chemistry’. (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.

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.

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.

To many, the idea of autonomous weapons systems (AWS) killing human beings is grotesque. Yet critics have had difficulty explaining why it should make a significant moral difference if a human combatant is killed by an AWS as opposed to being killed by a human combatant. The purpose of this paper is to explore the roots of various deontological concerns with AWS and to consider whether these concerns are distinct from any concerns that also apply to long- distance, human-guided weaponry. (...) We suggest that at least one major driver of the intuitive moral aversion to lethal AWS is that their use disrespects their human targets by violating the martial contract between human combatants. On our understanding of this doctrine, service personnel cede a right not to be directly targeted with lethal violence to other human agents alone. Artificial agents, of which AWS are one example, cannot understand the value of human life. A human combatant cannot transfer his privileges of targeting enemy combatants to a robot. Therefore, the human duty-holder who deploys AWS breaches the martial contract between human combatants and disrespects the targeted combatants. We consider whether this novel deontological objection to AWS forms the foundation of several other popular yet imperfect deontological objections to AWS. (shrink)

In an earlier paper, "Non-conceptual Content and the 'Space of Reasons'", I distinguished two forms of the view that perceptual content is non-conceptual, which I called the 'state view' and the 'content view'. On the latter, but not the former, perceptual states have a different kind of content than do cognitive states. Many have found it puzzling why anyone would want to make this claim and, indeed, what it might mean. This paper attempts to address these questions.

In July 2020, more than 1000 companies that advertise on social media platforms withdrew their business, citing failures of the platforms (especially Facebook) to address the proliferation of harmful content. The #StopHateForProfit movement invites reflection on an understudied topic: the ethics of boycotting by corporations. Under what conditions is corporate boycotting permissible, required, supererogatory, or forbidden? Although value-driven consumerism has generated significant recent discussion in applied ethics, that discussion has focused almost exclusively on the consumption choices of individuals. As this (...) article underscores, value-driven consumerism by business corporations complicates these issues and invites further examination. We propose principles for the ethics of boycotting by corporations, indicate how these principles relate to different CSR paradigms, and show how these insights can help assess recent instances of corporate boycotting. (shrink)

All first-order Gödel logics G_V with globalization operator based on truth value sets V C [0,1] where 0 and 1 lie in the perfect kernel of V are axiomatized by Ciabattoni’s hypersequent calculus HGIF.

It is shown that the infinite-valued first-order Gödel logic G° based on the set of truth values {1/k: k ε w {0}} U {0} is not r.e. The logic G° is the same as that obtained from the Kripke semantics for first-order intuitionistic logic with constant domains and where the order structure of the model is linear. From this, the unaxiomatizability of Kröger's temporal logic of programs (even of the fragment without the nexttime operator O) and of the authors' temporal (...) logic of linear discrete time with gaps follows. (shrink)