In his “Bridging mainstream and formal ontology”, Augusto (2021) gives an excellent analysis of Dietrich von Freiberg’s idea of using causality as a partitioning principle for upper ontologies. For this Dietrich’s notion of extrinsic principles is crucial. The question whether causation can and indeed should be used as a partitioning principle for ontologies is discussed using mathematics and physics as examples.

Artificial intelligence (AI) research enjoyed an initial period of enthusiasm in the 1970s and 80s. But this enthusiasm was tempered by a long interlude of frustration when genuinely useful AI applications failed to be forthcoming. Today, we are experiencing once again a period of enthusiasm, fired above all by the successes of the technology of deep neural networks or deep machine learning. In this paper we draw attention to what we take to be serious problems underlying current views of artificial (...) intelligence encouraged by these successes, especially in the domain of language processing. We then show an alternative approach to language-centric AI, in which we identify a role for philosophy. (shrink)

The book’s core argument is that an artificial intelligence that could equal or exceed human intelligence—sometimes called artificial general intelligence (AGI)—is for mathematical reasons impossible. It offers two specific reasons for this claim: Human intelligence is a capability of a complex dynamic system—the human brain and central nervous system. Systems of this sort cannot be modelled mathematically in a way that allows them to operate inside a computer. In supporting their claim, the authors, Jobst Landgrebe and Barry Smith, marshal (...) evidence from mathematics, physics, computer science, philosophy, linguistics, and biology, setting up their book around three central questions: What are the essential marks of human intelligence? What is it that researchers try to do when they attempt to achieve "artificial intelligence" (AI)? And why, after more than 50 years, are our most common interactions with AI, for example with our bank’s computers, still so unsatisfactory? Landgrebe and Smith show how a widespread fear about AI’s potential to bring about radical changes in the nature of human beings and in the human social order is founded on an error. There is still, as they demonstrate in a final chapter, a great deal that AI can achieve which will benefit humanity. But these benefits will be achieved without the aid of systems that are more powerful than humans, which are as impossible as AI systems that are intrinsically "evil" or able to "will" a takeover of human society. (shrink)

The term ‘intelligence’ as used in this paper refers to items of knowledge collected for the sake of assessing and maintaining national security. The intelligence community (IC) of the United States (US) is a community of organizations that collaborate in collecting and processing intelligence for the US. The IC relies on human-machine-based analytic strategies that 1) access and integrate vast amounts of information from disparate sources, 2) continuously process this information, so that, 3) a maximally comprehensive understanding of world actors (...) and their behaviors can be developed and updated. Herein we describe an approach to utilizing outcomes-based learning (OBL) to support these efforts that is based on an ontology of the cognitive processes performed by intelligence analysts. Of particular importance to the Cognitive Process Ontology is the class Representation that is Warranted. Such a representation is descriptive in nature and deserving of trust in its veridicality. The latter is because a Representation that is Warranted is always produced by a process that was vetted (or successfully designed) to reliably produce veridical representations. As such, Representations that are Warranted are what in other contexts we might refer to as ‘items of knowledge’. (shrink)

Implicit stochastic models, including both ‘deep neural networks’ (dNNs) and the more recent unsupervised foundational models, cannot be explained. That is, it cannot be determined how they work, because the interactions of the millions or billions of terms that are contained in their equations cannot be captured in the form of a causal model. Because users of stochastic AI systems would like to understand how they operate in order to be able to use them safely and reliably, there has emerged (...) a new field called ‘explainable AI’ (XAI). When we examine the XAI literature, however, it becomes apparent that its protagonists have redefined the term ‘explanation’ to mean something else, namely: ‘interpretation’. Interpretations are indeed sometimes possible, but we show that they give at best only a subjective understanding of how a model works. We propose an alternative to XAI, namely certified AI (CAI), and describe how an AI can be specified, realized, and tested in order to become certified. The resulting approach combines ontologies and formal logic with statistical learning to obtain reliable AI systems which can be safely used in technical applications. (shrink)

The view of nature we adopt in the natural attitude is determined by common sense, without which we could not survive. Classical physics is modelled on this common-sense view of nature, and uses mathematics to formalise our natural understanding of the causes and effects we observe in time and space when we select subsystems of nature for modelling. But in modern physics, we do not go beyond the realm of common sense by augmenting our knowledge of what is going on (...) in nature. Rather, we have measurements that we do not understand, so we know nothing about the ontology of what we measure. We help ourselves by using entities from mathematics, which we fully understand ontologically. But we have no ontology of the reality of modern physics; we have only what we can assert mathematically. In this paper, we describe the ontology of classical and modern physics against this background and show how it relates to the ontology of common sense and of mathematics. (shrink)

Barry Smith recently discussed the diagraphs of book eight of Jacob Lorhard’s Ogdoas scholastica under the heading “birth of ontology” (Smith, 2022; this issue). Here, I highlight the commonalities between the original usage of diagraphs in the tradition of Ramus for didactic purposes and the the usage of their present-day successors–modern ontologies–for computational purposes. The modern ideas of ontology and of the universal computer were born just two generations apart in the breakthrough century of instrumental reason.

Since the noun phrase `artificial intelligence' (AI) was coined, it has been debated whether humans are able to create intelligence using technology. We shed new light on this question from the point of view of themodynamics and mathematics. First, we define what it is to be an agent (device) that could be the bearer of AI. Then we show that the mainstream definitions of `intelligence' proposed by Hutter and others and still accepted by the AI community are too weak even (...) to capture what is involved when we ascribe intelligence to an insect. We then summarise the highly useful definition of basic (arthropod) intelligence proposed by Rodney Brooks, and we identify the properties that an AI agent would need to possess in order to be the bearer of intelligence by this definition. Finally, we show that, from the perspective of the disciplines needed to create such an agent, namely mathematics and physics, these properties are realisable by neither implicit nor explicit mathematical design nor by setting up an environment in which an AI could evolve spontaneously. (shrink)

Some defenders of so-called `artificial intelligence' believe that machines can understand language. In particular, Søgaard has argued in his "Understanding models understanding language" (2022) for a thesis of this sort. His idea is that (1) where there is semantics there is also understanding and (2) machines are not only capable of what he calls `inferential semantics', but even that they can (with the help of inputs from sensors) `learn' referential semantics. We show that he goes wrong because he pays insufficient (...) attention to the difference between language as used by humans and the sequences of inert symbols which arise when language is stored on hard drives or in books in libraries. (shrink)

Sam Harris is a contemporary illustration of the difficulties standing in the way of coherent interdisciplinary thinking in an age where science and the humanities have drifted so far apart. We are here with Harris’s views on AI, and specifically with his view according to which, with the advance of AI, there will evolve a machine superintelligence with powers that far exceed those of the human mind. This he sees as something that is not merely possible, but rather a matter (...) of inevitability. If, however, we look carefully at what intelligence is, and at how computers really work on the basis of mathematical models, then we can see that it is forever impossible to emulate inside a computer even the intelligence of crows or rabbits, let alone that of human beings. (shrink)

Transcript of an Interview on the podcast: Irreverend: Faith and Current Affairs.

Meyers examines the question of personal autonomy. She observes the effects of childrearing practices and sexual biases, and reflects upon the results in women. Annotation copyrighted by Book News, Inc., Portland, OR.

Das in diesem Aufsatz vorgebrachte Argumentationsmuster hat folgende Schritte: 1. Der menschliche Geist ist vom Körper nicht trennbar, sie bilden ein Kontinuum. 2. Unser Bewusstsein und alle darauf aufbauenden geistigen Phänomene sind die Emanation eines materiellen Prozesses, den ein komplexes System verursacht. 3. Komplexe Systeme lassen sich mathematisch nicht modellieren und nicht kausal verstehen. 4. Computer sind Turing-Maschinen. Sie können nur mathematische Modelle berechnen. Es wird niemals Hyper-Turing Maschinen geben, und wenn es sie gäbe, könnten sie auch nur mathematische Modelle (...) berechnen. 5. Es ist nicht möglich, den Körper als Substrat des Geistes durch einen Computer zu ersetzen. Die digitale Unsterblichkeit ist demzufolge ein Ding der Unmöglichkeit. (shrink)

The goal of creating Artificial General Intelligence (AGI) – or in other words of creating Turing machines (modern computers) that can behave in a way that mimics human intelligence – has occupied AI researchers ever since the idea of AI was first proposed. One common theme in these discussions is the thesis that the ability of a machine to conduct convincing dialogues with human beings can serve as at least a sufficient criterion of AGI. We argue that this very ability (...) should be accepted also as a necessary condition of AGI, and we provide a description of the nature of human dialogue in particular and of human language in general against this background. We then argue that it is for mathematical reasons impossible to program a machine in such a way that it could master human dialogue behaviour in its full generality. This is (1) because there are no traditional explicitly designed mathematical models that could be used as a starting point for creating such programs; and (2) because even the sorts of automated models generated by using machine learning, which have been used successfully in areas such as machine translation, cannot be extended to cope with human dialogue. If this is so, then we can conclude that a Turing machine also cannot possess AGI, because it fails to fulfil a necessary condition thereof. At the same time, however, we acknowledge the potential of Turing machines to master dialogue behaviour in highly restricted contexts, where what is called “narrow” AI can still be of considerable utility. (shrink)

Health Level 7 (HL7) is an international standards development organisation in the domain of healthcare information technology. Initially the mission of HL7 was to enable data exchange via the creation of syntactic standards which supported point-to-point messaging. Currently HL7 sees its mission as one of creating standards for semantic interoperability in healthcare IT on the basis of its flagship “version 3” (v3). Unfortunately, v3 has been plagued by quality and consistency issues, and it has not been able to keep pace (...) with recent developments either in semantics and ontology or in computer science and engineering. HL7’s response has been to develop its “Services-Aware Interoperability Framework” (SAIF), which is intended to provide a foundation for work on all aspects of standardization in HL7 henceforth. We here summarise the major design principles that must be satisfied by a semantic interoperability framework – principles relating both to static semantics and to computational behaviour. We then assess the SAIF in light of these principles. We conclude that the SAIF is not in a position to support the needed reform of the HL7 v3 family of standards. (shrink)

Examines the relationship between making objects and knowing nature in Europe from the mid-15th to mid-19th centuries.

In an era of intensifying globalization and transnational connectivity, the dynamics of cultural production and the very notion of creativity are in transition. Exploring creative practices in various settings, the book does not only call attention to the spread of modernist discourses of creativity, from the colonial era to the current obsession with 'innovation' in neo-liberal capitalist cultural politics, but also to the less visible practices of copying, recycling and reproduction that occur as part and parcel of creative improvization.

The inclusion of engineering standards in US science education standards is potentially important because of how limited engineering education for K-12 learners is, despite the ubiquity of engineering in students’ lives. However, the majority of learners experience science education throughout their compulsory schooling. If improved engineering literacy is to be achieved, then its inclusion in science curricula is perhaps the most efficient means. One significant challenge that arises, however, is in the framing of engineering relative to science by both teachers (...) and curriculum. Science and engineering are both distinct and interdependent. The nature of the contributions of science and engineering to one another has been an area of some examination in philosophy of technology and engineering, but little framing of this relationship has been conducted with K-12 science and engineering education contexts in mind. Nature of science is a critical layer of scientific understanding that has been used to explicitly support literacy in K-16 science classrooms for decades. However, engineering cannot be authentically and appropriately supported by NOS framing. There is an immediate need for discourse on the nature of engineering knowledge but not in isolation of NOS. Given the increasing inclusion of engineering in science classrooms, relationships between NOS and NOEK are in need of explication and argument. Our purpose is to promote a discussion about NOS, engineering, and the relationship between them without misrepresenting engineering as a subdomain of science or as an oversimplification of itself. (shrink)

Climate change can be interpreted as a unique case of historical injustice involving issues of both intergenerational and global justice. We split the issue into two separate questions. First, how should emission rights be distributed? Second, who should come up for the costs of coping with climate change? We regard the first question as being an issue of pure distributive justice and argue on prioritarian grounds that the developing world should receive higher per capita emission rights than the developed world. (...) This is justified by the fact that the latter already owns a larger share of benefits associated with emission generating activities because of its past record of industrialisation. The second question appears to be an issue of compensatory justice. After defining what we mean by compensation, we show that different kinds of compensatory principles run into problems when used to justify payments by historical emitters of the North to people suffering from climate change in the South. As an alternative, we propose to view payments from wealthy countries for adaptation to climate change in vulnerable countries rather as a measure based on concerns of global distributive justice. (shrink)

We provide a new link between deductive and probabilistic reasoning fallacies. Illusory inferences from disjunction are a broad class of deductive fallacies traditionally explained by recourse to a matching procedure that looks for content overlap between premises. In two behavioral experiments, we show that this phenomenon is instead sensitive to real-world causal dependencies and not to exact content overlap. A group of participants rated the strength of the causal dependence between pairs of sentences. This measure is a near perfect predictor (...) of fallacious reasoning by an independent group of participants in illusory inference tasks with the same materials. In light of these results, we argue that all extant accounts of these deductive fallacies require non-trivial adjustments. Crucially, these novel _indirect_ illusory inferences from disjunction bear a structural similarity to seemingly unrelated _probabilistic reasoning_ problems, in particular the conjunction fallacy from the heuristics and biases literature. This structural connection was entirely obscure in previous work on these deductive problems, due to the theoretical and empirical focus on content overlap. We argue that this structural parallelism provides arguments against the need for rich descriptions and individuating information in the conjunction fallacy, and we outline a unified theory of deductive illusory inferences from disjunction and the conjunction fallacy, in terms of Bayesian confirmation theory. (shrink)

Call it the Skynet hypothesis, Artificial General Intelligence, or the advent of the Singularity — for years, AI experts and non-experts alike have fretted (and, for a small group, celebrated) the idea that artificial intelligence may one day become smarter than humans. -/- According to the theory, advances in AI — specifically of the machine learning type that’s able to take on new information and rewrite its code accordingly — will eventually catch up with the wetware of the biological brain. (...) In this interpretation of events, every AI advance from Jeopardy-winning IBM machines to the massive AI language model GPT-3 is taking humanity one step closer to an existential threat. We’re literally building our soon-to-be-sentient successors. -/- Except that it will never happen. At least, according to the authors of the new book Why Machines Will Never Rule the World: Artificial Intelligence without Fear. (shrink)

Some authors have recently arguedthat an objects velocity is logicallyindependent of its locations throughout time.Their aim is to deny the Russellianview that motion is merely a change oflocation, and to promote a rival account onwhich the connection between velocities andtrajectories is provided by the laws ofnature. I defend the Russellian view of motionagainst these attacks.

Feminist studies of female genital cutting (FGC) provide ample evidence that many women exercise effective agency with respect to this practice, both as accommodators and as resisters. The influence of culture on autonomy is ambiguous: women who resist cultural mandates for FGC do not necessarily enjoy greater autonomy than do those women who accommodate the practice, yet it is clear that some social contexts are more conducive to autonomy than others. In this paper, I explore the implications for autonomy theory (...) of these understandings of the relation between culture, FGC, and women’s agency. I review the range of worldwide FGC practices – including “corrective” surgery for “ambiguous genitalia” in Western cultures as well as the various initiation rites observed in some African and Asian cultures – and the diverse cultural rationales for different forms of FGC. I argue that neither latitudinarian, value‐neutral accounts of autonomy nor restrictive, value‐saturated accounts adequately explain women’s agentic position with respect to FGC. I then analyze a number of educational programs that have enhanced women's autonomy, especially by strengthening their introspection, empathy, and imagination. Such programs, which engage women's autonomy skills without exposing them to autonomy‐disabling cultural alienation, promote autonomy‐within‐culture. This understanding of autonomy as socially situated, however, entails neither endorsement of FGC nor resignation to its persistence. (shrink)

Bereby‐Meyer, Hayakawa, Shalvi, Corey, Costa and Keysar investigate lying for self‐serving reasons. Participants in their experiments had to report the outcome of rolling a die only known to them. They inflated their outcomes less, and thus lied less, when using a foreign language than when using their native language. The authors suggest that lying for self‐serving reasons is an automatic tendency that can be overcome by speaking in a foreign language. [71].

This book provides a systematic introduction to the debate on historical emissions and climate change, for students, researchers and policymakers.

Biblical scholars have given diverse explanations for the Lamb of God metaphor in John 1:29 and 1:36. Most scholars are of the opinion that ‘amnos’ refers to the Passover lamb. This explanation is not obvious from the context of the Fourth Gospel. To understand the metaphor ‘lamb’ or ‘amnos’ of God, one should understand the transferable meaning of the figure or image. In this comparison, only the vehicle, namely the lamb, is given. What and who the lamb is stays open. (...) It can be anything within the limits of the other story elements that have the same qualities as a lamb. To uncover the communicative dynamics of the metaphor, the exegete must have insight into the meaning and function of the original metaphor. Rhetoric provides a clue for the interpretation of the metaphor, namely that it is a Lamb of God. Within the pericope other rhetorical clues like antithesis and varietas are also provided. These clues are important but do not explain the image of the lamb. In this study, these problems will be considered via another medium, namely Hellenistic art and imagesand their penetration into Judaism and Christianity during the 1st century CE. Hellenistic and biblical images will be used to give an alternative interpretation of the metaphor of the Lamb of God. (shrink)

In the 1970s, feminist biblical scholars began to conduct research on the biblical traditions of wisdom and the manifestation of female images of God, named Sophialogy. There are different focus areas within Sophialogy, but the formulation of Wisdom/Sophia goals for liberation and equality was inter alia the focus area of feminist biblical interpretation. According to this approach, Jesus as the prophetic messenger of Wisdom/Sophia activates the Sophia tradition through his works or deeds of compassion for the poor, the outcasts, and (...) all those suffering from injustice. Women in Africa interpret these deeds as communal 'wise living' and the custodians of justice. This culminates in a motherhood agenda, namely, making peace for life; ensuring mutual respect, honour and care for life; looking for fairness; reciprocity; wholeness and inclusiveness. The aim of this paper is to discuss mutual-mothering in the African context as an ethos for living wisely and justly. Having instincts to care and to protect are not exclusively female attributes, but include also males. (shrink)

The phenomenon of the stranger reveals that spatial relations are, on the one hand, only the condition and, on the other hand, the symbol of human relations. This article discusses the specific form of interaction of the wife as a stranger in the context of the biblical family. The wife as a stranger is discussed here not in the sense often touched upon in the past, as a wanderer who comes today and goes tomorrow, but rather as a person who (...) comes today and stays tomorrow. She is, so to speak, the potential wanderer: although she has not moved on, she has also not overcome the freedom of coming and going. She is fixed within a particular spatial group, or within a group whose boundaries are similar to spatial boundaries, but her position in this group is determined by the fact that she never belonged to it from the beginning. The unity of nearness and remoteness involved in every human relation is organised, in the phenomenon of the stranger, in a way which may be most briefly formulated by saying that in her relationships, distance means that she, who is close by, is also far away, and her strangeness means that she, who is far away, is also actually near. I examined the implications of knowing and identifying the wife as a stranger for feminist theory and its interpretation. (shrink)

In this article, we focus on the concept of leadership ethics and make observations about transformational, transactional and servant leadership. We consider differences in how each definition of leadership outlines what the leader is supposed to achieve, and how the leader treats people in the organization while striving to achieve the organization's goals. We also consider which leadership styles are likely to be more popular in organizations that strive to maximize short run profits. Our paper does not tout or degrade (...) any of these leadership theories. Instead, it points out which theories allow reason to play more than a minimal role in ethical decision-making, as well as those that are most consistent with a firm's desire to achieve efficiency in the short run. We explain our view that the way leadership is practiced in large, bureaucratic organizations suggests that ethics is often absent from the leader's decision-making process. Consequently, we suggest that before we engage in a meaningful dialogue about what kind of leaders we might really want in business, we must consider how much short-run profit we are willing to forego in exchange for more ethical corporate cultures. (shrink)

In this article, we focus on the concept of leadership ethics and make observations about transformational, transactional and servant leadership. We consider differences in how each definition of leadership outlines what the leader is supposed to achieve, and how the leader treats people in the organization while striving to achieve the organization's goals. We also consider which leadership styles are likely to be more popular in organizations that strive to maximize short run profits. Our paper does not tout or degrade (...) any of these leadership theories. Instead, it points out which theories allow reason to play more than a minimal role in ethical decision-making, as well as those that are most consistent with a firm's desire to achieve efficiency in the short run. We explain our view that the way leadership is practiced in large, bureaucratic organizations suggests that ethics is often absent from the leader's decision-making process. Consequently, we suggest that before we engage in a meaningful dialogue about what kind of leaders we might really want in business, we must consider how much short-run profit we are willing to forego in exchange for more ethical corporate cultures. (shrink)

In this article, I focus on two moments of Nathaniel Kleitman's career, specifically that of his Mammoth Cave experiment in the 1930s and his consultation with the United States military in the 1940s–1950s. My interests in bringing these two moments of Kleitman's career together are to examine the role of nature and the social in his understanding of human sleep and the legacies these have engendered for sleep science and medicine in the present; more specifically, I am interested in Kleitman's (...) disallowance of napping in his scientific protocols, which may seem incidental until one apprehends the lack of napping as therapeutic treatment in modern sleep medicine. By forwarding a conception of historiography building on Raymond Williams’ “structures of feeling” and Gilles Deleuze and Felix Guattari's philosophy of immanence, I show how the work of William Dement in the 1970s to found a medicine of sleep and the eclipse of biphasic sleeping patterns as a biological and social possibility is indebted to Kleitman's scientific work. The modification of sleep is also the modification of society itself; and, as Kleitman argued, the harnessing of nature can lead to the finer entrenchments of human nature and society. (shrink)

Even though fatalism has been an intermittent topic of philosophy since Greek antiquity, this paper argues that fate ought to be of little concern to metaphysicians. Fatalism is neither an interesting metaphysical thesis in its own right, nor can it be identified with theses that are, such as realism about the future or determinism.