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)

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

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.

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)

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)

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

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)

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)

Cybercrime is a global threat affecting both public and private sectors. Business email compromise (BEC) is one of the most advanced and lucrative forms of cybercrime, exploiting vulnerabilities in corporate email systems to facilitate unauthorised financial transactions. Organisations worldwide suffer substantial losses from these attacks. This article explores the connection between Black Axe and BEC scams, providing insights into how public sector organisations can better combat these sophisticated criminal networks.

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)

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

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.

The use of the symbol ∨for disjunction in formal logic is ubiquitous. Where did it come from? The paper details the evolution of the symbol ∨ in its historical and logical context. Some sources say that disjunction in its use as connecting propositions or formulas was introduced by Peano; others suggest that it originated as an abbreviation of the Latin word for “or,” vel. We show that the origin of the symbol ∨ for disjunction can be traced to Whitehead and (...) Russell’s pre-Principia work in formal logic. Because of Principia’s influence, its notation was widely adopted by philosophers working in logic (the logical empiricists in the 1920s and 1930s, especially Carnap and early Quine). Hilbert’s adoption of ∨ in his Grundzüge der theoretischen Logik guaranteed its widespread use by mathematical logicians. The origins of other logical symbols are also discussed. (shrink)

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

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

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)

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

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

The concept of planetary boundaries has also emerged in the context of the debate on the shift of the planetary system from the Holocene to the Anthropocene, which programmatically seeks to formulate a systemic approach to global sustainability. It aims to define the biophysical and biochemical planetary boundaries within which humanity can safely function. The most recent version of this concept programmatically transcends the boundaries of the natural and social sciences by seeking to include the categories of environmental security and (...) justice in the quantification of identified key planetary boundaries. The paper focuses on the significance of this shift for political-philosophical reflection on the concept of the Anthropocene as a starting point for environmental political philosophy. (shrink)

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

Rescorla (Erkenntnis, 2020) has recently pointed out that the standard arguments for Bayesian Conditionalization assume that whenever I become certain of something, it is true. Most people would reject this assumption. In response, Rescorla offers an improved Dutch Book argument for Bayesian Conditionalization that does not make this assumption. My purpose in this paper is two-fold. First, I want to illuminate Rescorla’s new argument by giving a very general Dutch Book argument that applies to many cases of updating beyond those (...) covered by Conditionalization, and then showing how Rescorla’s version follows as a special case of that. Second, I want to show how to generalise R. A. Briggs and Richard Pettigrew’s Accuracy Dominance argument to avoid the assumption that Rescorla has identified (Briggs and Pettigrew in Noûs, 2018). In both cases, these arguments proceed by first establishing a very general reflection principle. (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)

We provide a philosophical reconstruction and analysis of the debate on the scientific status of cosmic inflation that has played out in recent years. In a series of critical papers, Ijjas et al. have questioned the scientificality of the current views on cosmic inflation. Proponents of cosmic inflation have in turn defended the scientific credentials of their approach. We argue that, while this defense, narrowly construed, is successful against Ijjas et al., the latter's reasoning does point to a significant epistemic (...) issue that arises with respect to inflation. A broadening of the concept of theory assessment is needed to address that issue in an adequate way. (shrink)

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

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)

In connecting embodied, embedded, extended, and enactive (4E) cognition with affectivity and emotions, the framework of “situated affectivity” has recently emerged. This framework emphasizes the interactions between the emoter and the environment in the unfolding of our affective lives (Colombetti and Krueger 2015; Griffiths and Scarantino 2009; Piredda 2022; Stephan and Walter 2020). In the last decades, there has also been a growing interest in the philosophical analysis of technology and artifacts (Houkes and Vermaas 2010; Margolis and Laurence 2007; Preston (...) 2022). The aim of this special issue is to foster the interaction between philosophical reflections on affectivity and those on technology, further developing this fruitful borderland (Clowes et al. 2021; Colombetti 2020; Fasoli 2018; Krueger and Osler 2019; Heersmink 2018; Piredda and Candiotto 2019; Piredda 2020; Viola 2021). -/- . (shrink)

The problem of closure for the traditional unstructured possible worlds model of attitudinal content is that it treats belief and other cognitive states as closed under entailment, despite apparent counterexamples showing that this is not a necessary property of such states. One solution to this problem, which has been proposed recently by several authors (Schaffer 2005; Yalcin 2018; Hoek forthcoming), is to restrict closure in an unstructured setting by treating propositional attitudes as question-sensitive. Here I argue that this line of (...) response is unsatisfying as it stands because the problem of closure is more general than is typically discussed. A version of the problem recurs for attitudes like wondering, entertaining, considering, and so on, which are directed at questions rather than propositions. For such questioning attitudes, the appeal to question-sensitivity is much less convincing as a solution to the problem of closure. (shrink)

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

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

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

The more the number of people who live on Earth grows, the more significant are the cuts individuals must accept in realization of their own freedom, so as not to limit the freedom of others. With the growing population on the finite planet the real space for freedom of each individual decreases. Moreover, the growth of complexity of the global industrial civilization increases the degree of interdependence on one hand, on the other the degree of mutual trust decreases as a (...) result of the imperative of growth and profit, and without it no human society can function in the long term. Access to sources necessary for the realization of fundamental freedoms is unequal, and, in fact, it thus limits its accessibility for the majority of human population. Philosophical reflection then should cope with question, whether the range of guaranteed freedoms can be broadened or at least sustained when the space for its realization with the growing human population struggling for increasingly limited resources narrows. (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 the first half of this paper, I argue that group belief ascriptions are highly ambiguous. What's more, in many cases, neither the available contextual factors nor known pragmatic considerations are sufficient to allow the audience to identify which of the many possible meanings is intended. In the second half, I argue that this ambiguity often has bad consequences when a group belief ascription is heard and taken as testimony. And indeed it has these consequences even when the ascription is (...) true on the speaker's intended interpretation, when the speaker does not intend to mislead and indeed intends to cooperatively inform, and when the audience incorporates the evidence from the testimony as they should. I conclude by arguing that these consequences should lead us to stop using such ascriptions. (shrink)

How should a machine intelligence perform unsupervised structure discovery over streams of sensory input? One approach to this problem is to cast it as an apperception task [1]. Here, the task is to construct an explicit interpretable theory that both explains the sensory sequence and also satisfies a set of unity conditions, designed to ensure that the constituents of the theory are connected in a relational structure. However, the original formulation of the apperception task had one fundamental limitation: it assumed (...) the raw sensory input had already been parsed using a set of discrete categories, so that all the system had to do was receive this already-digested symbolic input, and make sense of it. But what if we don't have access to pre-parsed input? What if our sensory sequence is raw unprocessed information? The central contribution of this paper is a neuro-symbolic framework for distilling interpretable theories out of streams of raw, unprocessed sensory experience. First, we extend the definition of the apperception task to include ambiguous (but still symbolic) input: sequences of sets of disjunctions. Next, we use a neural network to map raw sensory input to disjunctive input. Our binary neural network is encoded as a logic program, so the weights of the network and the rules of the theory can be solved jointly as a single SAT problem. This way, we are able to jointly learn how to perceive (mapping raw sensory information to concepts) and apperceive (combining concepts into declarative rules). (shrink)

The purpose of this note is to present a strong form of the liar paradox. It is strong because the logical resources needed to generate the paradox are weak, in each of two senses. First, few expressive resources required: conjunction, negation, and identity. In particular, this form of the liar does not need to make any use of the conditional. Second, few inferential resources are required. These are: (i) conjunction introduction; (ii) substitution of identicals; and (iii) the inference: From ¬(p (...) ∧ p), infer ¬ p. It is, interestingly enough, also essential to the argument that the ‘strong’ form of the diagonal lemma be used: the one that delivers a term λ such that we can prove: λ = ¬ T(⌈λ⌉); rather than just a sentence Λ for which we can prove: Λ ≡ ¬T(⌈Λ⌉). The truth-theoretic principles used to generate the paradox are these: ¬(S ∧ T(⌈¬S⌉); and ¬(¬S ∧ ¬T(⌈¬S⌉). These are classically equivalent to the two directions of the T-scheme, but they are intuitively weaker. The lesson I would like to draw is: There can be no consistent solution to the Liar paradox that does not involve abandoning truth-theoretic principles that should be every bit as dear to our hearts as the T-scheme. So we shall have to learn to live with the Liar, one way or another. (shrink)

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

Extended and distributed cognition theories argue that human cognitive systems sometimes include non-biological objects. On these views, the physical supervenience base of cognitive systems is thus not the biological brain or even the embodied organism, but an organism-plus-artifacts. In this paper, we provide a novel account of the implications of these views for learning, education, and assessment. We start by conceptualising how we learn to assemble extended cognitive systems by internalising cultural norms and practices. Having a better grip on how (...) extended cognitive systems are assembled, we focus on the question: If our cognition extends, how should we educate and assess such extended cognitive systems? We suggest various ways to minimize possible negative effects of extending one’s cognition and to efficiently find and organise (online) information by adopting a virtue epistemology approach. Educational and assessment implications are foregrounded, particularly in the case of Danish students’ use of the Internet during exams. (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)

This chapter examines the pragmatist approach to cognition and experience and provides some of the conceptual background to the “pragmatic turn” currently underway in cognitive science. Classical pragmatists wrote extensively on cognition from a naturalistic perspective, and many of their views are compatible with contemporary pragmatist approaches such as enactivist, extended, and embodied-Bayesian approaches to cognition. Three principles of a pragmatic approach to cognition frame the discussion: First, thinking is structured by the interaction of an organism with its environment. Second, (...) cognition develops via exploratory inference, which remains a core cognitive ability throughout the life cycle. Finally, inquiry/problem solving begins with genuinely irritating doubts that arise in a situation and is carried out by exploratory inference. (shrink)

Thought experiments involving The Matrix, brains-in-vats, or Cartesian demons have traditionally thought to describe skeptical possibilities. Chalmers has denied this, claiming that the simulations involved are real enough to at least sometimes defeat the skeptic. Through an examination of the meaning of kind terms in natural language I argue that, though the Chalmers view may be otherwise attractive, it is not an antidote to skepticism.

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)

This article connects philosophical debates about cognitive enhancement and situated cognition. It does so by focusing on moral aspects of enhancing our cognitive abilities with the aid of external artifacts. Such artifacts have important moral dimensions that are addressed neither by the cognitive enhancement debate nor situated cognition theory. In order to fill this gap in the literature, three moral aspects of cognitive artifacts are singled out: their consequences for brains, cognition, and culture; their moral status; and their relation to (...) personal identity. (shrink)