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

Methods available for the axiomatization of arbitrary finite-valued logics can be applied to obtain sound and complete intelim rules for all truth-functional connectives of classical logic including the Sheffer stroke and Peirce’s arrow. The restriction to a single conclusion in standard systems of natural deduction requires the introduction of additional rules to make the resulting systems complete; these rules are nevertheless still simple and correspond straightforwardly to the classical absurdity rule. Omitting these rules results in systems for intuitionistic versions of (...) the connectives in question. (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)

Textbook on Gödel’s incompleteness theorems and computability theory, based on the Open Logic Project. Covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus.

This article focuses on Makerere University and Kyambogo University to highlight stakeholders’ concerns pertaining to the shared governance framework for public universities in Uganda. It is anchored in the interpretivist lens and the data was derived from three state-sponsored reports on the two public universities. The secondary data was analysed using content analysis. The findings demonstrate that the size, composition, authority and effectiveness of the university council and the senate and the mode through which leaders assume office, are the salient (...) governance concerns in the two universities. The results further show that, stakeholders’ concerns regarding the current shared governance framework for public universities relate to the substance of the framework rather than its form or the framework itself. This suggests that the governance framework comprising the university council, the university senate and the administration is fit for purpose and in sync with the nature of the academy. Arguably, these governance organs (and the nature of their work) set a university apart from other organisations. Finally, without being prescriptive, the article sketches options for reform. (shrink)

We aimed to identify the critical insights from empirical peer-reviewed studies on online romance fraud published between 2000 and 2021 through a systematic literature review using the Preferred Reporting Items for Systematic Reviews and Meta-Analyses (PRISMA) protocol. The corpus of studies that met our inclusion criteria comprised twenty-six studies employing qualitative (n = 13), quantitative (n = 11), and mixed (n = 2) methods. Most studies focused on victims, with eight focusing on offenders and fewer investigating public perspectives. All the (...) victim-focused studies relied on data from the Global North, except for Malaysia. Five offender-focused studies used online data available in the public domain, and three derived their data from West Africa. Our review highlights offenders' techniques to deceive and manipulate victims, as revealed in these studies, and highlights some limitations of offender- and victim-focused studies. The dominant framework used across the studies was found to be the “Scammers Persuasive Techniques Model.” While this framework provides a helpful way of considering the stages of victim involvement, it also faces some limitations, which we highlight. Our study reviews the current state of empirical knowledge on romance fraud and identifies certain gaps and biases in the literature. We argue there is a need for further research into online romance fraud to enhance our understanding of it both from the perspective of the offender as well as the experience of the victim. We also highlight the need for a more inclusive and greater range of regional and global diverse range of data sources and perspectives. Given the scale and impact of online romance fraud, we conclude that its study would benefit from a richer empirical engagement that recognizes it as both a regional and global phenomenon. (shrink)

This article is a theoretical treatment of feminist epistemology of crime, which advocates the centrality of gender as a theoretical starting point for the investigating of digital crimes. It does so by exploring the synergy between the feminist perspectives and the Tripartite Cybercrime Framework (TCF) (which argues that three possible factors motivate cybercrimes – socioeconomic, psychosocial, and geopolitical) to critique mainstream criminology and the meaning of the term “cybercrime”. Additionally, the article examines gender gaps in online harassment, cyber‐bullying, cyber‐fraud, revenge (...) porn, and cyber‐stalking to demonstrate that who is victimised, why, and to what effect are the critical starting points for the analysis of the connections between gender and crimes. In turn, it uses the lens of intersectionality to acknowledge that, while conceptions of gender and crime interact, they intersect with other categories (e.g., sexuality) to provide additional layers of explanation. To nuance the utilitarian value of the synergy between the TCF and the feminist perspectives, the focus shifts to a recent case study (which compared socioeconomic and psychosocial cybercrimes). The article concludes that, while online and offline lives are inextricably intertwined, the victimisations in psychosocial cybercrimes may be more gendered than in socioeconomic cybercrimes. These contributions align the TCF to the feminist epistemology of crime in their attempt to move gender analysis of digital crimes “from margin to centre”. (shrink)

This study sets out to examine the ways Nigerian cyber-fraudsters (Yahoo-Boys) are represented in hip-hop music. The empirical basis of this article is lyrics from 18 hip-hop artists, which were subjected to a directed approach to qualitative content analysis and coded based on the moral disengagement mechanisms proposed by Bandura (1999). While results revealed that the ethics of Yahoo-Boys, as expressed by musicians, embody a range of moral disengagement mechanisms, they also shed light on the motives for the Nigerian cybercriminals' (...) actions. Further analysis revealed additional findings: “glamorization/de-glamorization of cyber-fraud” and “sex-roles-and-cultures”. Having operated within the constraint of what is currently available (a small sample size), this article has drawn attention to the notion that Yahoo-Boys and some musicians may be “birds of a feather.” Secondly, it has exposed a “hunter-and-antelope-relationship” between Yahoo-Boys and their victims. Thirdly, it has also highlighted that some ethos of law-abiding citizens is central to Yahoo-Boys’ moral enterprise. Yahoo-Boys, therefore, represent reflections of society. Arguably, given that Yahoo-Boys and singers are connected, and the oratory messages of singers may attract more followers than questioners, this study illuminates the cultural dimensions of cyber-fraud that emanate from Nigeria. In particular, insights from this study suggest that cyber-fraud researchers might look beyond traditional data sources (e.g., cyber-fraud statistics) for the empirical traces of “culture in action” that render fraudulently practices acceptable career paths for some Nigerian youths. (shrink)

Drawing on a passage from Ramsey's Truth and Probability, we formulate a simple, plausible constraint on evaluating the accuracy of credences: the Calibration Test. We show that any additive, continuous accuracy measure that passes the Calibration Test will be strictly proper. Strictly proper accuracy measures are known to support the touchstone results of accuracy-first epistemology, for example vindications of probabilism and conditionalization. We show that our use of Calibration is an improvement on previous such appeals by showing how it answers (...) or sidesteps problems that have been raised for previous work in this area. (shrink)

This article is a theoretical treatment of the ways in which local worldviews on wealth acquisition give rise to contemporary manifestations of spirituality in cyberspace. It unpacks spiritual (occult) economies and wealth generation through a historical perspective. The article ‘devil advocates’ the ‘sainthood’ of claimed law-abiding citizens, by highlighting that the line dividing them and the Nigerian cybercriminals (Yahoo-Boys) is blurred with regards to the use of magical means for material ends. By doing so, the article also illustrates that the (...) intersectionality of the spirit world and the acquisition of wealth (crime or otherwise) is connected with local epistemologies and worldviews, and its contemporaneity has social security benefits. Therefore, the view that the contemporary manifestations of spirituality in cyberspace signify a ‘new-danger’ and an ever-increasing outrage in the Nigerian society is misplaced. I conclude that if people believe all aspects of life are reflective of the spiritual world and determined by it, the spiritual realm, by implication, is the base of society, upon which sits the superstructure comprised of all aspects of life, especially wealth. Inferentially, this conceptual position that the spirit world is the base of society is an inversion of Orthodox Marxist’s theory of economic determinism. (shrink)

This is a theoretical treatment of the term "Sha Zhu Pan" (杀猪盘) in Chinese, which translates to “Pig-Butchering” in English. The article critically examines the propagation and validation of "Pig Butchering," an animal metaphor, and its implications for the dehumanisation of victims of online fraud across various discourses. The study provides background information about this type of fraud before investigating its theoretical foundations and linking its emergence to the dehumanisation of fraud victims. The analysis highlights the disparity between academic literature, (...) subjected to rigorous peer-review processes, and sensationalised narratives prevalent in the media. While academic works subject "pig butchering" to critical scrutiny and refrain from endorsing derogatory terms to depict fraud victims, numerous media outlets employ this term uncritically, further worsening the predicament of these victims. "Pig butchering" is firmly rooted in the concept of dehumanisation, and this article underscores how language moulds perceptions of fraud and behaviour, extending to the development of preventive strategies. The role of law enforcement agencies in generating and disseminating materials is also a central theme, emphasising their responsibility as trusted sources of information. We suggest that these agencies should adopt non-victim shaming language to encourage victims to report crimes and alleviate the stigma attached to victimisation. Additionally, the article offers valuable cross-cultural insights by comparing metaphors from Chinese and Nigerian contexts. This comparative analysis enriches our comprehension of the global dimensions of online fraud and its cultural diversities, highlighting the substantial impact of language on perceptions and behaviours. We advocate for a departure from victim-blaming tendencies perpetuated by select media outlets, urging a more compassionate and accurate portrayal of those affected by online fraud. We, therefore, call for a more empathetic and accurate portrayal of individuals affected by online fraud, aligning with the broader objective of promoting understanding and support for these victims. (shrink)

The Intergovernmental Panel on Climate Change has developed a novel framework for assessing and communicating uncertainty in the findings published in their periodic assessment reports. But how should these uncertainty assessments inform decisions? We take a formal decision-making perspective to investigate how scientific input formulated in the IPCC’s novel framework might inform decisions in a principled way through a normative decision model.

This thesis, which is based on six peer-reviewed publications, is a theoretical and qualitative treatment of the ways in which social and contextual factors serve as a resource for understanding the particularities of ‘cybercrime’ that emanates from Nigeria. The thesis illuminates how closer attention to Nigerian society aids the understanding of Nigerian cybercriminals (known as Yahoo Boys), their actions and what constitutes ‘cybercrime’ in a Nigerian context. ‘Cybercrime’ is used in everyday parlance as a simple acronym for all forms of (...) crimes on the internet, whereas ‘cybercrime’ in a Nigerian context is rooted in socioeconomics and determined by it. In particular, the defrauding of victims for monetary benefit is the most significant theme that emerged from the analysis of Yahoo Boys. While all six publications are situated at the intersections of multiple fields of study, they all share a common endorsement of the constructionist/interpretivist position. The six published works comprise: [a] three conceptual publications; and [b] three empirical publications. The conceptual publications deconstruct the meanings of multiple taken-for-granted concepts in cybercrime scholarship and develop more robust conceptual lenses, namely: (1) ‘Digital Spiritualization’; (2) ‘The Tripartite Cybercrime Framework – TCF’; and (3) ‘The Synergy between Feminist Criminology and the TCF’. These new conceptual lenses represent the candidate’s contribution to developing theory in the field. Alongside this, the empirical section includes three sets of qualitative data, which include: (1) interviews with seventeen Nigerian parents; (2) lyrics from eighteen Nigerian musicians; and (3) interviews with forty Nigerian law enforcement officers. These diverse sources of qualitative data provide a more fully-developed understanding of ‘cybercrime’ in the Nigerian context (and elsewhere). All six-published works, while individually contributing to knowledge, collectively shed clearer light on the centrality of cultural context in the explanation of ‘cybercrime’. (shrink)

The poem is about my PhD experience. The title and parts of the themes are derived from an incident in the Bible (Acts 19:13-20). In order to provide a deeper meaning to my story, I have deployed a biblical allusion which connects with the story of the sons of Sceva, who made unsuccessful attempts to exorcise a man from Ephesus. They failed primarily because they operated not in the spirit but in the flesh.

This article is about the manifestations of similarities between two seemingly distinct groups of Nigerians: cybercriminals and politicians. Which linguistic strategies do Twitter users use to express their opinions on cybercriminals and politicians? The study undertakes a qualitative analysis of ‘engaged’ tweets of an elite law enforcement agency in West Africa. We analyzed and coded over 100,000 ‘engaged’ tweets based on a component of mechanisms of moral disengagement (i.e., advantageous comparison), a linguistic device. The results reveal how respondents defend the (...) actions of online fraudsters (“the deviant group”) by strategically comparing them to the wrongful acts of corrupt politicians (“the respectable group”). Similarly, the results show how respondents positioned this linguistic strategy to compare “the powerless group” (online fraudsters) and “the powerful group” (politicians) in society. Indeed, tweet responses suggest that the Economic and Financial Crimes Commission (EFCC) generally looks downwards for culprits (i.e., online fraudsters) while ignoring fraudulent politicians. We conclude that the process by which some actions are interpreted as a crime compared to others is a moral enterprise. (shrink)

This article reviews an epochal change in international thinking about physical punishment of children from being a reasonable method of chastisement to one that is harmful to children and troubling to families. In addition, the article suggests shifts in thinking about physical punishment were originally pioneered as part and parcel of the dismantling of national laws granting fathers’ specific rights to admonish children under conventions of patria potestas. A comparative historical framework of analysis involving two case studies of Ireland and (...) Ghana illustrates non-unilinear pathways of international convergence towards the prohibition of physical punishment. The comparative historical analysis highlights the 1930s and 1940s as an era when Ireland began to reject patria potestas and religious or judicial rulings which allowed for children to be given ‘a good beating’ in family and school settings. However, from the same period, Ghana is seen to experience Christian remonstrations not to ‘spare the rod’ leading to the ‘conventional’ tradition of ‘this is how we do it here’. Two case studies serve to illustrate that banning physical punishment was less controversial in Ireland where allied traditions of patria potestas and disciplinarian Christian beliefs had lost their moral hegemony than in Ghana where such beliefs still held influence. The article concludes overall that normative campaigns against physical punishment of children emanate from a coherent paradigm of family policy where childcare, education, and well-being of children are embedded as everyday societal responsibilities rather than privatised or patriarchal familial obligations. The coherent model offers an alternative moral hegemony to neo-liberal and Janus-faced conceptualisations of good or ‘intact’ families versus ‘broken’ or ‘troubled’ families. (shrink)

While this article aims to explore the connections between citizenship and ‘race’, it is the first study to use fictional tools as a sociological resource in exemplifying the deviation between citizenship in principle and practice in an Austrian context. The study involves interviews with 73 Austrians from three ethnic/racial groups, which were subjected to a directed approach to qualitative content analysis and coded based on sentences from George Orwell’s fictional book, ‘Animal Farm’. By using fiction as a conceptual and analytical (...) device, this article goes beyond the orthodox particulars of citizenship to expose the compressed entitlements of some racial/ethnic minorities. In particular, data analysis revealed two related and intertwined central themes: (a) “all animals are not equal or comrades”; and (b) “some animals are more equal than others”. All ‘animals’ may be equal in principle, whereas, in practice, their ‘race’ serves as a critical source of social (dis)advantage in the ‘animal kingdom’. Thus, since citizenship is a precondition for possessing certain rights that non-citizens are not granted, I argue that citizenship cannot only be judged by whom it, in theory, excludes (i.e., non-citizens), but also by how it treats the included (i.e., citizens) on the basis of their ‘race’. I conclude that skin colour is a specific aspect of the hierarchy of citizenship in Austria, which reinforces that ‘some animals are more equal than others’. (shrink)

While this article sets out to advance our knowledge about the characteristics of Nigerian cybercriminals (Yahoo-Boys), it is also the first study to explore the narratives of the Economic and Financial Crimes Commission (EFCC) officers concerning them. It appraises symbolic interactionist insights to consider the ways in which contextual factors and worldview may help to illuminate officers’ narratives of cybercriminals and the interpretations and implications of such accounts. Semi-structured interviews of forty frontline EFCC officers formed the empirical basis of this (...) study and were subjected to a directed approach of qualitative content analysis. While prior studies, for example, indicated that only a group of cybercriminals deploy spiritual and magical powers to defraud victims (i.e. modus operandi), our data analysis extended this classification into more refined levels involving multiple features. In particular, analysis bifurcates cybercriminals and their operations based on three factors: [a] educational-attainment, [b] modus-operandi, and [c] networks-collaborators. Results also suggest that these cybercriminals and their operations are embedded in “masculinity-and-material-wealth”. These contributions thus have implications for a range of generally accepted viewpoints about these cybercriminals previously taken-for-granted. Since these criminals have victims all over the world, insights from our study may help various local and international agencies [a] to understand the actions/features of these two groups of cybercriminals better and develop more effective response strategies. [b] to appreciate the vulnerabilities of their victims better and develop more adequate support schemes. We also consider the limitations of social control agents’ narratives on criminals. (shrink)

The article is based on lyrics from 2007 to 2017 involving 18 hip-hop artists. All the songs I studied were by male singers apart from one entitled, “Maga no need pay,” which involved seven multiple artists. In all the songs, the glamorization of cybercrime and cybercriminals was one of the most significant themes. The implications are discussed.

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.

The poem gives a voice to many refugees who died crossing borders and many more asylum seekers who will lose their lives crossing international borders.

There is too much that we do not know about COVID-19. The longer we take to find it out, the more lives will be lost. In this paper, we will defend a principle of risk parity: if it is permissible to expose some members of society (e.g. health workers or the economically vulnerable) to a certain level of ex ante risk in order to minimize overall harm from the virus, then it is permissible to expose fully informed volunteers to a (...) comparable level of risk in the context of promising research into the virus. We apply this principle to three examples of risky research: skipping animal trials for promising treatments, human challenge trials to speed up vaccine development, and low-dose controlled infection or “variolation.” We conclude that if volunteers, fully informed about the risks, are willing to help fight the pandemic by aiding promising research, there are strong moral reasons to gratefully accept their help. To refuse it would implicitly subject others to still graver risks. (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.

Disagreement is common: even informed, intelligent, and generally reasonable people often come to different conclusions when confronted with what seems to be the same evidence. Can the competing conclusions be reasonable? If not, what can we reasonably think about the situation? This volume examines the epistemology of disagreement. Philosophical questions about disagreement arise in various areas, notably politics, ethics, aesthetics, and the philosophy of religion: but this will be the first book focusing on the general epistemic issues arising from informed (...) disagreement. Ten leading philosophers offer specially written essays which together will offer a starting-point for future work on this topic. (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 AI (Artificial Intelligence) 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)

Conservative assumptions in medical ethics risk immense harms during a pandemic. Public health institutions and public discourse alike have repeatedly privileged inaction over aggressive medical interventions to address the pandemic, perversely increasing population-wide risks while claiming to be guided by ‘caution’. This puzzling disconnect between rhetoric and reality is suggestive of an underlying philosophical confusion. In this paper, I argue that we have been misled by status quo bias—exaggerating the moral significance of the risks inherent in medical interventions, while systematically (...) neglecting the risks inherent in the status quo prospect of an out-of-control pandemic. By coming to appreciate the possibility and significance of status quo risk, we will be better prepared to respond appropriately when the next pandemic strikes. (shrink)

I argue that uniquely human forms of ‘Theory of Mind’ are a product of cultural evolution. Specifically, propositional attitude psychology is a linguistically constructed folk model of the human mind, invented by our ancestors for a range of tasks and refined over successive generations of users. The construction of these folk models gave humans new tools for thinking and reasoning about mental states—and so imbued us with abilities not shared by non-linguistic species. I also argue that uniquely human forms of (...) ToM are not required for language development, such that an account of the cultural origins of ToM does not jeopardise the explanation of language development. Finally, I sketch a historical model of the cultural evolution of mental state talk. (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)

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)

All humans have an equal basic moral status. They possess the same fundamental rights, and the comparable interests of each person should count the same in calculations that determine social policy. Neither supposed racial differences, nor skin color, sex, sexual orientation, ethnicity, intelligence, nor any other differences among humans negate their fundamental equal worth and dignity. These platitudes are virtually universally affirmed. A white supremacist racist or an admirer of Adolf Hitler who denies them is rightly regarded as beyond the (...) pale of civilized dialogue. However, a very simple line of argument developed by Peter Singer challenges our understanding of these platitudes and forces us to rethink the basis and nature of the moral equality of all humans. What I call the “Singer Problem” arises if one accepts that the morally significant cognitive capacities that are relevant to the determination of the fundamental moral status of a being vary from individual to individual by degree. The problem is to specify a moral principle determining fundamental moral status that assigns a superior status to humans compared to other animals on the basis of the superior cognitive capacities of humans but also assigns all human persons an equal fundamental moral status regardless of their differing cognitive capacities. More broadly posed, the problem is to specify moral principles that yield intuitively satisfactory implications for the treatment of human individuals and other individual animals given that cognitive capacities differ across species and individuals. A search for a resolution of the Singer problem leads to disappointing results. (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.

In this paper I argue that a priori arguments fail to present any real problem for physicalism. They beg the question against physicalism in the sense that the argument will only seem compelling if one is already assuming that qualitative properties are nonphysical. To show this I will present the reverse-zombie and reverse-knowledge arguments. The only evidence against physicalism is a priori arguments, but there are also a priori arguments against dualism of exactly the same variety. Each of these parity (...) arguments has premises that are just as intuitively plausible, and it cannot be the case that both the traditional scenarios and the reverse-scenarios are all ideally conceivable. Given this one set must be merely prima facie conceivable and only empirical methods will tell us which is which. So, by the time a priori methodology will be of any use it will be too late. (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 desirability of what actually occurs is often influenced by what could have been. Preferences based on such value dependencies between actual and counterfactual outcomes generate a class of problems for orthodox decision theory, the best-known perhaps being the so-called Allais Paradox. In this paper we solve these problems by extending Richard Jeffrey's decision theory to counterfactual prospects, using a multidimensional possible-world semantics for conditionals, and showing that preferences that are sensitive to counterfactual considerations can still be desirability maximising. (...) We end the paper by investigating the conditions necessary and sufficient for a desirability function to be an expected utility. It turns out that the additional conditions imply highly implausible epistemic principles. (shrink)

This paper argues that a popular account of intentions can be extended to beliefs. Beliefs are stable all-out states that allow for planning and coordination in a way that is tractable for cognitively limited creatures like human beings. Scepticism is expressed that there is really anything like credences as standardly understood.

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 (unfolding) 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)

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)

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)

Parfit's On What Matters offers a rousing defence of non-naturalist normative realism against pressing metaphysical and epistemological objections. He addresses skeptical arguments based on (i) the causal origins of our normative beliefs, and (ii) the appearance of pervasive moral disagreement. In both cases, he concedes the first step to the skeptic, but draws a subsequent distinction with which he hopes to stem the skeptic's advance. I argue, however, that these distinctions cannot bear the weight that Parfit places on them. A (...) successful moral epistemology must take a harder line with the skeptic, insisting that moral knowledge can be had by those with the right kind of psychology -- no matter the evolutionary origin of the psychology, nor whether we can demonstrate its reliability over the alternatives. (shrink)

This paper draws on the 'Fitting Attitudes' analysis of value to argue that we should take the concept of fittingness (rather than value) as our normative primitive. I will argue that the fittingness framework enhances the clarity and expressive power of our normative theorising. Along the way, we will see how the fittingness framework illuminates our understanding of various moral theories, and why it casts doubt on the Global Consequentialist idea that acts and (say) eye colours are normatively on a (...) par. We will see why even consequentialists, in taking rightness to be in some sense determined by goodness, should not think that rightness is conceptually reducible to goodness. Finally, I will use the fittingness framework to explicate the distinction between consequentialist and deontological theories, with particular attention to the contentious case of Rule Consequentialism. (shrink)

This article provides an overview and analysis of recent work on the extended self, demonstrating that the boundaries of selves are fluid, shifting across biological, artifactual, and sociocultural structures. First, it distinguishes the notions of minimal self, person, and narrative self. Second, it surveys how philosophers, psychologists, and cognitive scientists argue that embodiment, cognition, emotion, consciousness, and moral character traits can be extended and what that implies for the boundaries of selves. It also reviews and responds to various criticisms and (...) counterarguments against the extended self. The main focus is on the link between the extended mind and extended self, which has received the most attention in recent literature. But accounts of the extended self developed independently of the extended mind are also briefly discussed. This article ends by drawing out some of the conceptual, methodological, and normative implications of the extended self and suggesting some directions for future research. (shrink)

This paper explores the implications of extended and distributed cognition theory for our notions of personal identity. On an extended and distributed approach to cognition, external information is under certain conditions constitutive of memory. On a narrative approach to personal identity, autobiographical memory is constitutive of our diachronic self. In this paper, I bring these two approaches together and argue that external information can be constitutive of one’s autobiographical memory and thus also of one’s diachronic self. To develop this claim, (...) I draw on recent empirical work in human-computer interaction, looking at lifelogging technologies in both healthcare and everyday contexts. I argue that personal identity can neither be reduced to psychological structures instantiated by the brain nor by biological structures instantiated by the organism, but should be seen as an environmentally-distributed and relational construct. In other words, the complex web of cognitive relations we develop and maintain with other people and technological artifacts partly determines our self. This view has conceptual, methodological, and normative implications: we should broaden our concepts of the self as to include social and artifactual structures, focus on external memory systems in the (empirical) study of personal identity, and not interfere with people’s distributed minds and selves. (shrink)

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)

The goal of this paper is to develop a systematic taxonomy of cognitive artifacts, i.e., human-made, physical objects that functionally contribute to performing a cognitive task. First, I identify the target domain by conceptualizing the category of cognitive artifacts as a functional kind: a kind of artifact that is defined purely by its function. Next, on the basis of their informational properties, I develop a set of related subcategories in which cognitive artifacts with similar properties can be grouped. In this (...) taxonomy, I distinguish between three taxa, those of family, genus, and species. The family includes all cognitive artifacts without further specifying their informational properties. Two genera are then distinguished: representational and non-representational (or ecological) cognitive artifacts. These genera are further divided into species. In case of representational artifacts, these species are iconic, indexical, or symbolic. In case of ecological artifacts, these species are spatial or structural. Within species, token artifacts are identified. The proposed taxonomy is an important first step towards a better understanding of the range and variety of cognitive artifacts and is a helpful point of departure, both for conceptualizing how different artifacts augment or impair cognitive performance and how they transform and are integrated into our cognitive system and practices. (shrink)

This paper has two distinct but related goals: (1) to identify some of the potential consequences of the Internet for our cognitive abilities and (2) to suggest an approach to evaluate these consequences. I begin by outlining the Google effect, which (allegedly) shows that when we know information is available online, we put less effort into storing that information in the brain. Some argue that this strategy is adaptive because it frees up internal resources which can then be used for (...) other cognitive tasks, whereas others argue that this is maladaptive because it makes us less knowledgeable. I argue that the currently available empirical evidence in cognitive psychology does not support strong conclusions about the negative effects of the Internet on memory. Before we can make value-judgements about the cognitive effects of the Internet, we need more robust and ecologically-valid evidence. Having sketched a more nuanced picture of the Google effect, I then argue that the value of our cognitive abilities is in part intrinsic and in part instrumental, that is, they are both valuable in themselves and determined by the socio-cultural context in which these cognitive abilities are utilised. Focussing on instrumental value, I argue that, in an information society such as ours, having the skills to efficiently navigate, evaluate, compare, and synthesize online information are (under most circumstances) more valuable than having a lot of facts stored in biological memory. This is so, partly because using the Internet as an external memory system has overall benefits for education, navigation, journalism, and academic scholarship. (shrink)

In this paper, we seek a reliabilist account of justified credence. Reliabilism about justified beliefs comes in two varieties: process reliabilism (Goldman, 1979, 2008) and indicator reliabilism (Alston, 1988, 2005). Existing accounts of reliabilism about justified credence comes in the same two varieties: Jeff Dunn (2015) proposes a version of process reliabilism, while Weng Hong Tang (2016) offers a version of indicator reliabilism. As we will see, both face the same objection. If they are right about what justification is, it (...) is mysterious why we care about justification, for neither of the accounts explains how justification is connected to anything of epistemic value. We will call this the Connection Problem. I begin by describing Dunn’s process reliabilism and Tang’s indicator reliabilism. I argue that, understood correctly, they are, in fact, extensionally equivalent. That is, Dunn and Tang reach the top of the same mountain, albeit by different routes. However, I argue that both face the Connection Problem. In response, I offer my own version of reliabilism, which is both process and indicator, and I argue that it solves that problem. Furthermore, I show that it is also extensionally equivalent to Dunn’s reliabilism and Tang’s. Thus, I reach the top of the same mountain as well. (shrink)