I argue that silencing (the act of preventing someone from communicating, broadly construed) can be an act of both interpersonal and institutional violence. My argument has two main steps. First, I follow others in analyzing violence as violation of integrity and show that undermining someone’s capacities as a knower can be such a violation. Second, I argue that silencing someone can violate their epistemic capacities in that way. I conclude by exploring when silencing someone might be morally justifiable, even if (...) doing so is an act of violence. (shrink)

Everyone thinks they know who Prince Zuko is and can be. His father, Fire Lord Ozai, and sister, Azula, think him weak, disobedient, and undeserving of the crown. His Uncle Iroh thinks him good, if troubled, but ultimately worthy of his faith. The kids initially think him a villain, but eventually come to see him as a person – neither monster nor saint – someone who can choose to go in a new way. Zuko himself shows great ambivalence between these (...) conflicting stories about who he is, though each one helps to craft his own self-understanding. In this paper, we apply Hilde Lindemann’s narrative account of the self to explore the ways that others “hold” Zuko in one identity or “let him go” from others. According to Lindemann, our personal identities consist of the first- and third-person stories that cluster around significant acts, relationships, and commitments in our lives. Our identities are fundamentally relational, formed by the interaction between our own self-conception and the ways in which others see us. As such, others’ stories can enable or prevent us from imaginatively projecting ourselves into a particular future. This can lead us to becoming trapped in our identities; without the possibility of being perceived differently by others, we might find ourselves unable to try different ways of being or acting. The converse is also true, in that others can open up new possible identities by seeing things in us that we have trouble seeing in ourselves. If others in our moral community see us as wicked, beyond redemption and unable to repair our wrongs, we are held in the role of the villain and might come to live into that role without question. Zuko’s story is a perfect illustration of Jean Harvey’s reminder that, “it is just not true that once a thief, always a thief” and that agents can choose to go in a new way, can choose to change. How does Zuko change? We argue that Zuko’s redemption is enabled by those in his moral community holding him in identities in which he is a good person, capable and deserving of care, friendship, and love. While the identity he has in relation to his father and sister closes down many possible futures, his uncle Iroh in particular persists in holding him in an identity in which he is loved and worthy of love. And in doing so - in holding this space for him - Iroh opens up a way for Zuko to exercise agency and choose to become a different kind of person than the one he thought he was destined to be. (shrink)

It is often held that people have a moral right to believe and say whatever they want. For instance, one might claim that they have a right to believe racist things as long as they keep those thoughts to themselves. Or, one might claim that they have a right to pursue any philosophical question they want as long as they do so with a civil tone. In this paper I object to those claims and argue that no one has such (...) unlimited moral rights. In Part 1 I explore the value of the freedoms of thought and expression. In Part 2 I argue against the unlimited moral right to free expression, focusing in particular on the special obligations and moral constraints that obtain for academics. In Part 3 I argue against the unlimited moral right to free thought. (shrink)

Forgiveness and reconciliation are central to moral life; after all, everyone will be wronged by others and will then face the dual decisions of whether to forgive and whether to reconcile. It is therefore important that we have a clear analysis of each, as well as a thoroughly articulated understanding of how they relate to and differ from each other. -/- Forgiveness has received considerably more attention in the Western philosophical literature than has reconciliation. In this paper I aim to (...) give it the attention it deserves and develop an account of interpersonal reconciliation. On my view reconciliation is fundamentally bilateral (whereas forgiveness is fundamentally unilateral). It entails transparency and agreement between the wrongdoer and the victim as to the nature of a past wrong or set of wrongs. And, it requires that moral repair be made between the two parties (which entails that both parties bear proper attitudes towards each other). In making my case I contrast reconciliation with toleration and collaboration, in order to demonstrate that reconciliation also entails forgiveness (though forgiveness does not entail reconciliation). (shrink)

Over the course of her career, Jean Harvey contributed many invaluable insights that help to make sense of both injustice and resistance. Specifically, she developed an account of what she called “civilized oppression,” which is pernicious in part because it can be difficult to perceive. One way that we ought to pursue what she calls a “life of moral endeavor” is by increasing our perceptual awareness of civilized oppression and ourselves as its agents. In this article I argue that one (...) noxious form of civilized oppression is what Miranda Fricker calls “testimonial injustice.” I then follow Harvey in arguing that one of the methods by which we should work to avoid perpetrating testimonial injustice is by empathizing with others. This is true for two reasons. The first is that in order to manifest what Fricker calls the virtue of testimonial justice, we must have a method by which we “correct” our prejudices or implicit biases, and empathy serves as such a corrective. The second is that there are cases where the virtue of testimonial justice wouldn't in fact correct for testimonial injustice in the way that Fricker suggests, but that actively working to empathize would. (shrink)

As systems based on opaque Artificial Intelligence (AI) continue to flourish in diverse real-world applications, understanding these black box models has become paramount. In response, Explainable AI (XAI) has emerged as a field of research with practical and ethical benefits across various domains. This paper not only highlights the advancements in XAI and its application in real-world scenarios but also addresses the ongoing challenges within XAI, emphasizing the need for broader perspectives and collaborative efforts. We bring together experts from diverse (...) fields to identify open problems, striving to synchronize research agendas and accelerate XAI in practical applications. By fostering collaborative discussion and interdisciplinary cooperation, we aim to propel XAI forward, contributing to its continued success. Our goal is to put forward a comprehensive proposal for advancing XAI. To achieve this goal, we present a manifesto of 27 open problems categorized into nine categories. These challenges encapsulate the complexities and nuances of XAI and offer a road map for future research. For each problem, we provide promising research directions in the hope of harnessing the collective intelligence of interested stakeholders. (shrink)

This paper explores some of the ways that fear can be both a manifestation of and major contributor to oppression. It argues for a pluralistic account of the reasons that justify feeling fear or working to let go of fear and provides a framework to grapple fruitfully with the question of when someone should work to let go of fear and work to avoid contributing to the fear of others. Part 1 argues that emotions are an appropriate target of moral (...) evaluation; we are often not only responsible for our outwardly observable actions, but also for our emotional lives. It then details six different criteria by which we can engage in such evaluation. Part 2 evaluates fear in particular, in light of its relationship to oppressive ideologies and social structures. Part 3 explores some of the ways that people ought to respond to oppressive fear, in light of the relation they bear to it. (shrink)

Most social policies cannot be defended without making inductive inferences. For example, consider certain arguments for racial profiling and affirmative action, respectively. They begin with statistics about crime or socioeconomic indicators. Next, there is an inductive step in which the statistic is projected from the past to the future. Finally, there is a normative step in which a policy is proposed as a response in the service of some goal—for example, to reduce crime or to correct socioeconomic imbalances. In comparison (...) to the normative step, the inductive step of a policy defense may seem trivial. We argue that this is not so. Satisfying the demands of the inductive step is difficult, and doing so has important but underappreciated implications for the normative step. In this paper, we provide an account of induction in social contexts and explore its implications for policy. Our account helps to explain which normative principles we ought to accept, and as a result it can explain why it is acceptable to make inferences involving race in some contexts (e.g., in defense of affirmative action) but not in others (e.g., in defense of racial profiling). (shrink)

We make the case that scientifically accurate and politically feasible responses to the climate crisis require a complex understanding of human cultural practices of niche construction that moves beyond the adaptive significance of culture. We develop this thesis in two related ways. First, we argue that cumulative cultural practices of niche construction can generate stable equilibria and runaway selection processes that result in long-term existential risks within and across cultural groups. We dub this the back of the invisible hand. Second, (...) we argue that the ability of cultural groups to innovate technological solutions to environmental problems is highly constrained in ways that are exacerbated by sustained intergroup conflict, inequality and by inherently unpredictable cascades in climate change and human migration patterns. After developing these theoretical points about human cultural practices of niche construction in detail, we conclude our discussion with some tentative practical suggestions about the way that cultural evolutionary history can more fruitfully be used in efforts to remit the climate crisis and contribute to sustainable practices of human climate change adaptation. (shrink)

This chapter argues that for human, technological, and human-technological reasons, disagreement, critique, and counterspeech on social media fall squarely into the province of non-ideal theory. It concludes by suggesting a modest but challenging disposition that can help us when we are torn between opposing oppression and contributing to a flame war.

This paper analyzes the relationship between love and social justice activism, focusing in particular on ways in which activists rely on either the union account of love (to argue that when one person is oppressed everyone is oppressed), the sentimentalist account of love (to argue that overcoming injustice is fundamentally about how we feel about one another), or love as fate (to argue that it is in love’s nature to triumph over hatred and injustice). All three accounts, while understandable and (...) attractive, are seriously problematic, as they tend either to obscure important differences in the ways that various groups are socially situated or to enable inaction by trusting that justice is inevitable. Alternative, deeper interpretations of each account (and their relationships to activism) are explored. (shrink)

Over the course of her career, Jean Harvey argued that as agents engaged in a “life of moral endeavor,” we should understand ourselves and others to be moral works in progress, always possessing the potential to grow beyond and become more than the sum of our past wrongs. In this paper I follow Harvey and argue that in order to live a life of moral endeavor, it is not enough merely to know about injustice. Instead, we must engage in the (...) difficult and often painful task of overcoming deep-seated cognitive biases that cause us to fail to perceive the ubiquitous injustice that pervades our world. I conclude by arguing that education, empathy, and love can each help us to increase our perceptual awareness of injustice and so should be recognized to be crucial parts of a life of moral endeavor. (shrink)

We argue against some of Reichenbach's claims about causal forks are incorrect. We do not see why the Second Law of Thermodynamics rules out the existence of conjunctive forks open to the past. In addition, we argue that a common effect rarely forms a conjunctive fork with its joint causes, but it sometimes does. Nevertheless, we think there is something to be said for Reichenbach's idea that forks of various kinds are relevant to explaining why we know more about the (...) past than about the future. And entropy turns out to play a role in the explanation, though not the determining role that Reichenbach envisions. (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)

Recent work in cognitive science of religion (CSR) is beginning to converge on a very interesting thesis—that, given the ordinary features of human minds operating in typical human environments, we are naturally disposed to believe in the existence of gods, among other religious ideas (e.g., seeAtran [2002], Barrett [2004; 2012], Bering [2011], Boyer [2001], Guthrie [1993], McCauley [2011], Pyysiäinen [2004; 2009]). In this paper, we explore whether such a discovery ultimately helps or hurts the atheist position—whether, for example, it (...) lends credence to atheism by explaining away religious belief or whether it actually strengthens some already powerful arguments against atheism in the relevant philosophical literature.We argue that the recent discoveries of CSR hurt, not help, the atheist position—that CSR, if anything, should not give atheists epistemic assurance. (shrink)

Fourteen philosophers share their experience teaching Peirce to undergraduates in a variety of settings and a variety of courses. The latter include introductory philosophy courses as well as upper-level courses in American philosophy, philosophy of religion, logic, philosophy of science, medieval philosophy, semiotics, metaphysics, etc., and even an upper-level course devoted entirely to Peirce. The project originates in a session devoted to teaching Peirce held at the 2007 annual meeting of the Society for the Advancement of American Philosophy. The session, (...) organized by James Campbell and Richard Hart, was co-sponsored by the American Association of Philosophy Teachers. (shrink)

Nomophobia (no-mobile-phone phobia) is the fear and anxiety of being without a mobile phone. This study pioneers the investigation of nomophobia in Afghanistan using the Nomophobia Questionnaire (NMP-Q), addressing a crucial gap in the field. We collected statistical data from 754 undergraduate medical students, comprising men (56.50 %) and women (43.50 %), and analyzed the dimensions of nomophobia. While results revealed that all but two participants were nomophobic, they identified three significant dimensions affecting the level of nomophobia among participants: (a) (...) gender, (b) age, and (c) marital status. The study's contributions are precious, given the peculiarity of Afghan political turmoil, security, and human rights issues, especially for women. For example, the study's data collection was abruptly halted in December 2022 due to the Taliban regime's decision to make it illegal for women to enroll in universities as students. Therefore, while examining the characteristics of nomophobia across societies is imperative, it is also vital to investigate what is true of one society, Afghanistan, at one point in time and space. The study concludes by emphasizing the need to broaden participants' scope in future studies to better understand the prevalence of nomophobia across broader societal contexts and forces. (shrink)

Mathematicians, physicists, and philosophers of physics often look to the symmetries of an object for insight into the structure and constitution of the object. My aim in this paper is to explain why this practice is successful. In order to do so, I present a collection of results that are closely related to (and in a sense, generalizations of) Beth’s and Svenonius’ theorems.

La cobertura universal de salud está en el centro de la acción actual para fortalecer los sistemas de salud y mejorar el nivel y la distribución de la salud y los servicios de salud. Este documento es el informe fi nal del Grupo Consultivo de la OMS sobre la Equidad y Cobertura Universal de Salud. Aquí se abordan los temas clave de la justicia (fairness) y la equidad que surgen en el camino hacia la cobertura universal de salud. Por lo (...) tanto, el informe es pertinente para cada agente que infl uye en ese camino y en particular para los gobiernos, ya que se encargan de supervisar y guiar el progreso hacia la cobertura universal de salud. (shrink)

We consider how an epistemic network might self-assemble from the ritualization of the individual decisions of simple heterogeneous agents. In such evolved social networks, inquirers may be significantly more successful than they could be investigating nature on their own. The evolved network may also dramatically lower the epistemic risk faced by even the most talented inquirers. We consider networks that self-assemble in the context of both perfect and imperfect communication and compare the behaviour of inquirers in each. This provides a (...) step in bringing together two new and developing research programs, the theory of self-assembling games and the theory of network epistemology. (shrink)

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)

We set out longtermist political philosophy as a research field by exploring the case for, and the implications of, ‘institutional longtermism’: the view that, when evaluating institutions, we should give significant weight to their very long-term effects. We begin by arguing that the standard case for longtermism may be more robust when applied to institutions than to individual actions or policies, both because institutions have large, broad, and long-term effects, and because institutional longtermism can plausibly sidestep various objections to individual (...) longtermism. We then address points of contact between longtermism and some central values of mainstream political philosophy, focusing on justice, equality, freedom, legitimacy, and democracy. While each value initially seems to conflict with institutional longtermism, we find that these conflicts are less clear-cut upon closer inspection, and that some political values might even provide independent support for institutional longtermism. We end with a grab bag of related questions that we lack space to explore here. (shrink)

This paper presents a simple pair of first-order theories that are not definitionally (nor Morita) equivalent, yet are mutually conservatively translatable and mutually 'surjectively' translatable. We use these results to clarify the overall geography of standards of equivalence and to show that the structural commitments that theories make behave in a more subtle manner than has been recognized.

We consider two ways one might use algorithmic randomness to characterize a probabilistic law. The first is a generative chance* law. Such laws involve a nonstandard notion of chance. The second is a probabilistic* constraining law. Such laws impose relative frequency and randomness constraints that every physically possible world must satisfy. While each notion has virtues, we argue that the latter has advantages over the former. It supports a unified governing account of non-Humean laws and provides independently motivated solutions to (...) issues in the Humean best-system account. On both notions, we have a much tighter connection between probabilistic laws and their corresponding sets of possible worlds. Certain histories permitted by traditional probabilistic laws are ruled out as physically impossible. As a result, such laws avoid one variety of empirical underdetermination, but the approach reveals other varieties of underdetermination that are typically overlooked. (shrink)

The animal agriculture industry causes animals a tremendous amount of pain and suffering. Many ethical vegans argue that we therefore have an obligation to abstain from animal products in order to reduce this suffering. But this argument faces a challenge: thanks to the size and structure of the animal agriculture industry, any individual’s dietary choices are overwhelmingly unlikely to make a difference. In this paper, we criticize common replies to this challenge and develop an alternative argument for ethical veganism. Specifically, (...) we argue that individuals should abstain from animal products because vegans, as a group, successfully reduce animal suffering, and individuals are obligated to participate in, rather than free ride on, this collective endeavor. Or, at the very least, individuals have strong reasons to purchase fewer inhumanely raised animal products—even if they are not obligated to go vegan per se. (shrink)

A background assumption in much contemporary political philosophy is that justice is the first virtue of social institutions, taking priority over other values such as beneficence. This assumption is typically treated as a methodological starting point, rather than as following from any particular moral or political theory. In this paper, I challenge this assumption. To frame my discussion, I argue, first, that justice doesn’t in principle override beneficence, and second, that justice doesn’t typically outweigh beneficence, since, in institutional contexts, the (...) stakes of beneficence are often extremely high. While there are various ways one might resist this argument, none challenge the core methodological point that political philosophy should abandon its preoccupation with justice and begin to pay considerably more attention to social beneficence—that is, to beneficence understood as a virtue of social institutions. Along the way, I also highlight areas where focusing on social beneficence would lead political philosophers in new and fruitful directions, and where normative ethicists focused on personal beneficence might scale up their thinking to the institutional case. GPI Working Paper No. 11-2022. (shrink)

We critique two popular philosophical definitions of intellectual humility: the “low concern for status” and the “limitations-owning.” accounts. Based upon our analysis, we offer an alternative working definition of intellectual humility: the virtue of accurately tracking what one could non-culpably take to be the positive epistemic status of one’s own beliefs. We regard this view of intellectual humility both as a virtuous mean between intellectual arrogance and diffidence and as having advantages over other recent conceptions of intellectual humility. After defending (...) this view, we sketch remaining questions and issues that may bear upon the psychological treatment of intellectual humility such as whether evidence will help determine how this construct relates to general social humility on the one hand, and intellectual traits such as open-mindedness, curiosity, and honesty on the other. (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 Global Forum on Bioethics in Research (GFBR) served as a global platform for debate on ethical issues in international health research between 1999 and 2008, bringing together research ethics experts, researchers, policy makers and community members from developing and developed countries. In total, nine GFBR meetings were held on six continents. Work is currently underway to revive the GFBR. This paper describes the purpose and history of the GFBR and presents key elements for its reinstatement, future functioning and sustainability. (...) Potential participants and sponsors are encouraged to contribute actively to the future of this unique international research ethics event. (shrink)

In their 2010 book, Biology’s First Law, D. McShea and R. Brandon present a principle that they call ‘‘ZFEL,’’ the zero force evolutionary law. ZFEL says (roughly) that when there are no evolutionary forces acting on a population, the population’s complexity (i.e., how diverse its member organisms are) will increase. Here we develop criticisms of ZFEL and describe a different law of evolution; it says that diversity and complexity do not change when there are no evolutionary causes.

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 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.

Some of the most important developments of symbolic logic took place in the 1920s. Foremost among them are the distinction between syntax and semantics and the formulation of questions of completeness and decidability of logical systems. David Hilbert and his students played a very important part in these developments. Their contributions can be traced to unpublished lecture notes and other manuscripts by Hilbert and Bernays dating to the period 1917-1923. The aim of this paper is to describe these results, focussing (...) primarily on propositional logic, and to put them in their historical context. It is argued that truth-value semantics, syntactic ("Post-") and semantic completeness, decidability, and other results were first obtained by Hilbert and Bernays in 1918, and that Bernays's role in their discovery and the subsequent development of mathematical logic is much greater than has so far been acknowledged. (shrink)

How do people decide what category an artifact belongs to? Previous studies have suggested that adults and, to some degree, children, categorize artifacts in accordance with the design stance, a categorization system which privileges the designer’s original intent in making categorization judgments. However, these studies have all been conducted in Western, technologically advanced societies, where artifacts are mass produced. In this study, we examined intuitions about artifact categorization among the Shuar, a hunter-horticulturalist society in the Amazon region of Ecuador. We (...) used a forced-choice method similar to previous studies, but unlike these studies, our scenarios involved artifacts that would be familiar to the Shuar. We also incorporated a community condition to examine the possible effect of community consensus on how artifacts are categorized. The same scenarios were presented to university student participants in the UK. Across populations and conditions, participants tended to categorize artifacts in terms of a creator’s intent as opposed to a differing current use. This lends support to the view that the design stance may be a universal feature of human cognition. However, we conclude with some thoughts on the limitations of the present method for studying artifact concepts. (shrink)

The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of finite-valued first order (...) logics in a general way, and to present some of the more important results in this area. In Systems covered are the resolution calculus, sequent calculus, tableaux, and natural deduction. This report is actually a template, from which all results can be specialized to particular logics. (shrink)

In the literature on multiple realizability and the identity theory, cases of neural plasticity have enjoyed a very limited role. The present article attempts to remedy this small influence by arguing that clinical and experimental evidence of quite extensive neural reorganization offers compelling support for the claim that psychological kinds are multiply realized in neurological kinds, thus undermining the identity theory. In particular, cases are presented where subjects with no measurable psychological deficits also have vast, though gradually received, neurological damage. (...) Common objections and concerns are also discussed and rejected. 1 Introduction2 The GRP, Serial Lesion Effect, and Multiple Realizability2.1 A case study of the serial lesion effect2.2 Evaluating the case study’s evidence for multiple realizability3 The GRP More Generally4 Objections to the GRP as Evidence for Multiple Realizability4.1 Small plastic effects and neurological taxonomies4.2 But do neural regions and locations even matter at all?4.3 But are there not other options besides location?5 Conclusion. (shrink)

Hilbert’s program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to “dispose of the foundational questions in mathematics once and for all,” Hilbert proposed a two-pronged approach in 1921: first, classical mathematics should be formalized in axiomatic systems; second, using only restricted, “finitary” means, one should give proofs of the consistency of these axiomatic systems. Although Gödel’s incompleteness theorems show that the program as originally conceived cannot be carried out, it had many partial (...) successes, and generated important advances in logical theory and metatheory, both at the time and since. The article discusses the historical background and development of Hilbert’s program, its philosophical underpinnings and consequences, and its subsequent development and influences since the 1930s. (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)

This paper applies a virtue epistemology approach to using the Internet, as to improve our information-seeking behaviours. Virtue epistemology focusses on the cognitive character of agents and is less concerned with the nature of truth and epistemic justification as compared to traditional analytic epistemology. Due to this focus on cognitive character and agency, it is a fruitful but underexplored approach to using the Internet in an epistemically desirable way. Thus, the central question in this paper is: How to use the (...) Internet in an epistemically virtuous way? Using the work of Jason Baehr, it starts by outlining nine intellectual or epistemic virtues: curiosity, intellectual autonomy, intellectual humility, attentiveness, intellectual carefulness, intellectual thoroughness, open-mindedness, intellectual courage and intellectual tenacity. It then explores how we should deploy these virtues and avoid the corresponding vices when interacting with the Internet, particularly search engines. Whilst an epistemically virtuous use of the Internet will not guarantee that one will acquire true beliefs, understanding or even knowledge, it will strongly improve one’s information-seeking behaviours. The paper ends with arguing that teaching and assessing online intellectual virtues should be part of school and university curricula, perhaps embedded in critical thinking courses, or even better, as individual units. (shrink)

Critics have often misunderstood the higher-order theory (HOT) of consciousness. Here we clarify its position on several issues, and distinguish it from other views such as the global The higher-order theory (HOT) of consciousness has often been misunderstood by critics. Here we clarify its position on several issues, and distinguish it from other views such as the global workspace theory (GWT) and early sensory models (e.g. first-order local recurrency theories). For example, HOT has been criticized for over-intellectualizing consciousness. We show (...) that while higher-order states are cognitively assembled, the requirements are actually considerably less than often presumed. In this sense HOT may be viewed as an intermediate position between GWT and early sensory views. Also, we clarify that most proponents of HOT do not stipulate consciousness as equivalent to metacognition or confidence. Further, compared to other existing theories, HOT can arguably account better for complex everyday experiences, such as of emotions and episodic memories. This makes HOT particularly useful as a framework for conceptualizing pathological mental states. (shrink)

Angell's logic of analytic containment AC has been shown to be characterized by a 9-valued matrix NC by Ferguson, and by a 16-valued matrix by Fine. We show that the former is the image of a surjective homomorphism from the latter, i.e., an epimorphic image. The epimorphism was found with the help of MUltlog, which also provides a tableau calculus for NC extended by quantifiers that generalize conjunction and disjunction.

The complementary properties and functions of cognitive artifacts and other external resources are integrated into the human cognitive system to varying degrees. The goal of this paper is to develop some of the tools to conceptualize this complementary integration between agents and artifacts. It does so by proposing a multidimensional framework, including the dimensions of information flow, reliability, durability, trust, procedural transparency, informational transparency, individualization, and transformation. The proposed dimensions are all matters of degree and jointly they constitute a multidimensional (...) space in which situated cognitive systems can be located and have certain dimensional configurations. These dimensions provide a new perspective on the conditions for cognitive extension. They are, however, not meant to provide a set of necessary and sufficient conditions, but to provide a toolbox for investigating the degree and nature of the integration of agent and artifact into “new systemic wholes”. The higher a situated system scores on the proposed dimensions, the more functional integration occurs, and the more tightly coupled the system is. (shrink)

In this article, I outline various ways in which artifacts are interwoven with autobiographical memory systems and conceptualize what this implies for the self. I first sketch the narrative approach to the self, arguing that who we are as persons is essentially our life story, which, in turn, determines our present beliefs and desires, but also directs our future goals and actions. I then argue that our autobiographical memory is partly anchored in our embodied interactions with an ecology of artifacts (...) in our environment. Lifelogs, photos, videos, journals, diaries, souvenirs, jewelry, books, works of art, and many other meaningful objects trigger and sometimes constitute emotionally laden autobiographical memories. Autobiographical memory is thus distributed across embodied agents and various environmental structures. To defend this claim, I draw on and integrate distributed cognition theory and empirical research in human-technology interaction. Based on this, I conclude that the self is neither defined by psychological states realized by the brain nor by biological states realized by the organism, but should be seen as a distributed and relational construct. (shrink)

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.