The International Conference on Cognitive Modeling brings together researchers from around the world whose main goal is to build computational systems that reflect the internal processes of the mind. In this issue, we present the five best representative papers on this work from our 19th meeting, ICCM 2021, which was held virtually from July 3 to July 9, 2021. Three of these papers provide new techniques for refining computational models, giving better methods for taking empirical data and producing accurate computational (...) models of the cognitive systems that produce them. The other two papers focus on explanation: using models to elucidate the underlying processes affecting cognition in such diverse domains as logical reasoning and the effects of caffeine. (shrink)

The International Conference on Cognitive Modeling brings together researchers from around the world whose main goal is to build computational systems that reflect the internal processes of the mind. In this issue, we present the five best representative papers on this work from our 19th meeting, ICCM 2021, which was held virtually from July 3 to July 9, 2021. Three of these papers provide new techniques for refining computational models, giving better methods for taking empirical data and producing accurate computational (...) models of the cognitive systems that produce them. The other two papers focus on explanation: using models to elucidate the underlying processes affecting cognition in such diverse domains as logical reasoning and the effects of caffeine. (shrink)

Vardanyan’s Theorems [36, 37] state that $\mathsf {QPL}(\mathsf {PA})$ —the quantified provability logic of Peano Arithmetic—is $\Pi ^0_2$ complete, and in particular that this already holds when the language is restricted to a single unary predicate. Moreover, Visser and de Jonge [38] generalized this result to conclude that it is impossible to computably axiomatize the quantified provability logic of a wide class of theories. However, the proof of this fact cannot be performed in a strictly positive signature. The system $\mathsf (...) {QRC_1}$ was previously introduced by the authors [1] as a candidate first-order provability logic. Here we generalize the previously available Kripke soundness and completeness proofs, obtaining constant domain completeness. Then we show that $\mathsf {QRC_1}$ is indeed complete with respect to arithmetical semantics. This is achieved via a Solovay-type construction applied to constant domain Kripke models. As corollaries, we see that $\mathsf {QRC_1}$ is the strictly positive fragment of $\mathsf {QGL}$ and a fragment of $\mathsf {QPL}(\mathsf {PA})$. (shrink)

This study examines an important aspect of energy history and policy: the intertwinement of energy technologies with ideals. Ideals play an important role in energy visions and innovation pathways. Aspirations to realize technical, social, and political ideals indicate a long-term commitment in the design of energy systems, distinguishable from commitment to other abstract goals, such as values. This study offers an analytical scheme that could help to conceptualize these differences and their impact on energy policy. In the proposed model, two (...) spheres of interaction are highlighted: a material sphere in which values and technologies co-evolve, and an imaginary sphere in which ideals interact with idealized technologies. Furthermore, the relation between these two spheres can be understood in different ways. This study examines three cases that are illustrative of the different roles of ideals in the development of energy technologies and visions: (1) the evolution of safety in nuclear reactor design; (2) visions of atomic power in France; (3) the political idealization of a tidal power scheme in the Severn Estuary. Finally, the developed model implies more general insights for the development of sociotechnical systems. Amongst others, it shows why certain projects and technologies remain a political, but not a techno–economic option. (shrink)

In the social world, multiple sensory channels are used concurrently to facilitate communication. Among human and nonhuman pri- mates, faces and voices are the primary means of transmitting social signals (Adolphs, 2003; Ghazanfar and Santos, 2004). Primates recognize the correspondence between species-specific facial and vocal expressions (Massaro, 1998; Ghazanfar and Logothetis, 2003; Izumi and Kojima, 2004), and these visual and auditory channels can be integrated into unified percepts to enhance detection and discrimination. Where and how such communication signals are integrated (...) at the neural level are poorly understood. In particular, it is unclear what role “unimodal” sensory areas, such as the auditory cortex, may play. We recorded local field potential activity, the signal that best correlates with human imaging and event-related potential signals, in both the core and lateral belt regions of the auditory cortex in awake behaving rhesus monkeys while they viewed vocalizing conspecifics. We demonstrate unequivocally that the primate auditory cortex integrates facial and vocal signals through enhancement and suppression of field potentials in both the core and lateral belt regions. The majority of these multisensory responses were specific to face/voice integration, and the lateral belt region shows a greater frequency of multisensory integration than the core region. These multisensory processes in the auditory cortex likely occur via recip- rocal interactions with the superior temporal sulcus. (shrink)

The whats and whys of religious belief -- A history of thanatocentric theories of religion -- Measuring faith and fear -- Are people afraid of death? -- The religious correlates of death anxiety -- Death anxiety and religion: causes and consequences -- The future of immortality, literal, and symbolic.

We conducted an integrative data analysis to examine the hedonic character of nostalgia. We combined positive and negative affect measures from 41 experiments manipulating nostalgia. Overall, nostalgia inductions increased positive and ambivalent affect, but did not significantly alter negative affect. The magnitude of nostalgia’s effects varied markedly across different experimental inductions of the emotion. The hedonic character of nostalgia, then, depends on how the emotion is elicited and the benchmark to which it is compared. We discuss implications for theory and (...) research on nostalgia and emotions in general. (shrink)

The semantics of directional prepositions is investigated from the perspective of aspect. What distinguishes telic PPs (like to the house) from atelic PPs (like towards the house), taken as denoting sets of paths, is their algebraic structure: atelic PPs are cumulative, closed under the operation of concatenation, telic PPs are not. Not only does this allow for a natural and compositional account of how PPs contribute to the aspect of a sentence, but it also guides our understanding of the lexical (...) semantics of prepositions in important ways. Semantically, prepositions turn out to be quite similar to nouns and verbs. Nominal distinctions (like singular and plural, mass and count) and verbal classes (like semelfactives and degree achievements) have their prepositional counterparts. (shrink)

We approach the semantics of prepositions from the perspective of conceptual spaces. Focusing on purely spatial locative and directional prepositions, we analyze both types of prepositions in terms of polar coordinates instead of Cartesian coordinates. This makes it possible to demonstrate that the property of convexity holds quite generally in the domain of prepositions of location and direction, supporting the important role that this property plays in conceptual spaces.

“Fair and equitable benefit-sharing” is one of the objectives of the UN Convention on Biological Diversity and the FAO International Treaty on Plant Genetic Resources for Food and Agriculture. In essence, benefit-sharing holds that countries, farmers, and indigenous communities that grant access to their plant genetic resources and/or traditional knowledge should share in the benefits that users derive from these resources. But what exactly is understood by “fair” and “equitable” in this context? Neither term is defined in the international treaties. (...) A complicating factor, furthermore, is that different motivations and perspectives exist with respect to the notion of benefit-sharing itself. This paper looks at six different approaches to benefit-sharing that can be extracted from the current debates on “Access and Benefit-Sharing.” These approaches form the basis of a philosophical reflection in which the different connotations of “fair and equitable” are considered, by analyzing the main principles of justice involved. Finally, the various principles are brought together in order to draw some conclusions as to how a fair and equitable benefit-sharing mechanism might best be realized. This results in several recommendations for policymakers. (shrink)

Medical missionaries made a breakthrough in Korean history in healing and caring for many Hansen and tuberculosis patients. There was a missionary who had no less good influence than medical missionaries at this time. The person is missionary Sarah Barry, who inspired and developed one of the most influential student movements in South Korea. The aim of the present study is to examine life of Sarah Barry and her ministry, focusing upon her positive influences on Korean intellectuals. The relevance of (...) the study is conditioned by the fact that there is no professional academic research on her ministry except for one short paper, which discusses the importance of her role in formulating campus evangelism. In order to achieve the aim of the study, the method of analysis and synthesis of biographical and historical data was used. As a result of the study, Sarah Barry’s biography was researched and systematized. It gave ground to a conclusion that her role in South Korea’s gradual resurgence after the Civil War was seminal. (shrink)

This article identifies the structural and conceptual aspects of a visual construction often used in advertisements to establish a metaphoric or associative relation, that is, symmetric object alignment (SOA). It offers an account of the formal ingredients of SOA, which fall into two groups: object-constitutive factors (like size, shape, and color) and object-depictment factors (like perspective, orientation, and distance from viewing point). Both factors allow us to treat SOA as a visual rhetorical scheme. We also discuss how SOA relates to (...) conceptual structure, metaphoric or otherwise. Four types of relations are distinguished, based on the way in which perceptual and conceptual characteristics interact. Finally, we discuss the way in which these characteristics relate to the processing of such visual messages. One depictment factor will be focused on in particular: one-to-one versus one-to-many alignments. An attempt is made to connect these 2 patterns to the much-discussed topic in verbal metaphor theory, object comparison versus categorization. (shrink)

In this article we describe two core ontologies of law that specify knowledge that is common to all domains of law. The first one, FOLaw describes and explains dependencies between types of knowledge in legal reasoning; the second one, LRI-Core ontology, captures the main concepts in legal information processing. Although FOLaw has shown to be of high practical value in various applied European ICT projects, its reuse is rather limited as it is rather concerned with the structure of legal reasoning (...) than with legal knowledge itself: as many other “legal core ontologies”, FOLaw is therefore rather an epistemological framework than an ontology. Therefore, we also developed LRI-Core. As we argue here that legal knowledge is based to a large extend on common-sense knowledge, LRI-Core is particularly inspired by research on abstract common-sense concepts. The main categories of LRI-Core are: physical, mental and abstract concepts. Roles cover in particular social worlds. Another special category are occurrences; terms that denote events and situations. We illustrate the use of LRI-Core with an ontology for Dutch criminal law, developed in the e-Court European project. (shrink)

With his doctrine of the “complete irresponsibility of man,” Nietzsche in different ways complicates the opposition between responsibility and irresponsibility. This article traces the different and conflicting senses of irresponsibility throughout Nietzsche’s development. First, the doctrine is shown to build on Nietzsche’s early study of Heraclitus (section I), whom Nietzsche admired for expounding and embodying a radical “innocence” that was both responsible and irresponsible in different senses. When presented as “philosophical conviction” in Human, All too Human, Nietzsche paradoxically speculates about (...) the doctrine’s incorporation out of a sense of responsibility for the future of mankind (section II). Section III shows how Nietzsche’s later writings evince an increasing awareness of this paradox by explicitly positing complete irresponsibility as his own redemptive doctrine in Twilight of the Idols. After 1881, he has come to affirm a new notion of responsibility and criticizes a weak sense of irresponsibility as the abdication of one’s task. I end by discussing the relation of these different senses of irresponsibility, and argue that the fact that Nietzsche’s texts often deliberately complicate rather than clarify such distinctions is an important reflection of how he textually takes responsibility for “complete irresponsibility” (section IV). (shrink)

This article examines the structure and processing of editorial cartoons appropriating Joe Rosenthal's famous Iwo Jima photograph in view of the theory of conceptual blending (Fauconnier & Turner, 2002 Fauconnier, G. and Turner, M. 2002. The way we think: Conceptual blending and the mind's hidden complexities, New York,, NY: Basic Books. [Google Scholar]). The main claim argued is that Blending theory accounts for complex processes of meaning constructing provoked by editorial cartoons that invoke several conceptual domains to define and evaluate (...) their topic, Iwo Jima cartoons being cases in point. The second section introduces the relevant aspects of Blending theory: mental spaces and types of blending networks. The third section addresses the Iwo Jima image as one particular input space; a moral criterion to which the selected sociopolitical topic of the cartoon is compared and judged. The fourth section isolates four types of graphic operations blending the Iwo Jima image with topical entities. The fifth section demonstrates how various kinds of blends give rise to either positive or negative evaluations. The final section argues that the study's scope of application extends to any kind of multi-domain cartoon, not just those addressed in this article. (shrink)

This study argues that contemporary theology needs a reconceptualised form of metaphysical theology to readdress this question of universality. In order to develop such a new metaphysical theology, de Jong turns to the work of Karl Rahner and Edward Schillebeeckx. Presenting a new perspective on their theological methods, he demonstrates that these theologians employ a dialectical interplay of hermeneutical and metaphysical arguments yielding a modest theological metaphysics. Crucially, these thinkers recognise that acknowledging hermeneutical conditions does not need to end (...) in particularism. Instead, Rahner and Schillebeeckx argue that the infinite variety of particular human experiences can act as potential encounters with the universally self-revealing God. Retrieving these modest forms of theological metaphysics reminds contemporary theology that it is possible to think about universality from within particularity. Balancing the intelligible and mysterious nature of God, Rahner and Schillebeeckx show how a modest theological metaphysics contains its own self-critical hermeneutical disciplining. This renewed understanding about the earlier use of metaphysics opens up new avenues of thought for fundamental theologians that do not want to shy away from the difficult question of the universality of God. (shrink)

Although a large number of studies have explored the main causes of gender inequality in academia, less attention has been given to the processes underlying the failure of gender equality initiatives to enhance gender representation, especially at the professorial level. We offer a critical discourse analysis of recently promulgated gender policy documents of the five Flemish universities, and demonstrate that defensive institutional work is a fundamental process underlying resistance to gender equality in the academic profession. That is, powerful organizational actors (...) resist gender change by intentionally deploying a combination of discursive strategies that legitimate what we describe as non–time-bound gender equality initiatives: The expected outcomes are undetermined in time, and they delegitimate concrete, time-bound measures that define specific outcomes against well-defined deadlines. By explicitly bringing a temporal dimension into our analysis, we argue that defensive institutional work deflects questions regarding what ought to be achieved when, and contributes to the slow pace of gender change in academia. (shrink)

This article focuses on the power of technological mediation from the point of view of autonomist Marxism. The first part of the article discusses the theories developed on technological mediation in postphenomenology and critical theory of technology with regard to their respective power perspectives and ways of coping with relations of power embedded in technical artifacts and systems. Rather than focusing on the clashes between the hermeneutic postphenomenological approach and the dialectics of critical theory, it is argued that in both (...) the category of resistance amidst power-relations is at least similar in one regard: resistance to the power of technology is conceptualized as a reactive force. The second part of the article reads technological mediation through the lens of the antagonistic power-perspective on class struggle developed in autonomist Marxism. The outline of a provisional autonomist philosophy of technology is developed using Foucauldian dispositifs of biopower in contrast to the hermeneutic and dialectical approach. It is thus argued that resistance should here be understood in terms of practice that subverts the technically mediated circuit of production itself. (shrink)

In contrast to the well-developed analysis of British feminism's implication in the late 19th-and early 20th-century reconstruction of the British national and imperial project, research into comparable areas of Dutch history are only just emerging. Taking as its starting point several conclusions drawn from postcolonial writing in the eld of British imperialism, this article investigates an important moment in the history of Dutch feminism, the Nationale Tentoonstelling van Vrouwenarbeid, to examine Dutch feminism's complicity in the Dutch imperial project. Simultaneously, it (...) examines the appropriation by colonial reformists of a `maternalist politics' to redene that project. In so doing, the article aims to focus attention on the interaction between metropolitan and colonial discourse and the place of maternalist politics in each. Further, the article briey reects on the signicance for Indonesian women of the operation of such discourses in the colonial context. (shrink)

Being more than mere passive objects used at human will, technologies co-determine the values and structures that shape the EU agricultural system. Technologies actively shape human interpretation, human action and co-shape our moral standards and routines. It is therefore important to account for the moral significance of agricultural technologies when characterising the structures in place within EU agriculture as well as when trying to understand why a particular agricultural technology is favoured or strongly opposed. From this perspective on technology, an (...) interesting question to pose, is how, within their current use context, genetically modified crops mediate human interpretation and human practice? This technology is of particular interest, because after more than 30 years, the debate on GM crops is still profound and highly polarised within EU society. Yet, too often, this debate is devalued as being irrational or irrelevant, while we show in this article, based on a technological mediation analysis, how ethical concerns about agricultural practices have co-evolved with the technological development of GM crops. This qualifies public debate on GM crops in the EU as both legitimate and relevant, as, from this perspective on technology, it can be seen as an important way to both characterise and discuss how EU agriculture is and should be organised. Analysing technology in terms of the myriad ways in which it mediates the relationship between humans and their world, further allows us to make some suggestions about how to broaden the ongoing EU discussion beyond the current dichotomous Yes/no framing. (shrink)

The Movement of Showing investigates the idea, shared by Derrida, Hegel and Heidegger, that the value of their thought is not found in its results or conclusions, but in its "movement." All three describe the heart of their work in terms of a pathway, development, or movement rather than in terms of its propositions or conclusions. This seems to deprive their thought of a solid ground, and indeed deconstruction in particular is often criticized in this way. Johan de Jong (...) argues that this is a structural vulnerability that is both its weakness and the source of its value, tracing Derrida's indirect method from his early to later works, and considering his engagements with Hegel and Heidegger. His analysis locates an affinity among Hegel, Heidegger and Derrida in a shared distrust of externality and, against the grain of some Levinasian commentaries, argues that Derrida's indirectness results in an ethics of complicity. The Movement of Showing answers a central question that many polemics about continental philosophy and postmodernism revolve around concerning how, methodologically, one can philosophize responsibly. It shows the difference between critique and polemics, and why simply taking up a position for or against is insufficient in order to think responsibly. (shrink)

Institutional theory of law (ITL) reflects both continuity and change of Kelsen's legal positivism. The main alteration results from the way ITL extends Hart's linguistic turn towards ordinary language philosophy (OLP). Hart holds -- like Kelsen -- that law cannot be reduced to brute fact nor morality, but because of its attempt to reconstruct social practices his theory is more inclusive. By introducing the notion of law as an extra-linguistic institution ITL takes a next step in legal positivism and accounts (...) for the relationship between action and validity within the legal system. There are, however, some problems yet unresolved by ITL. One of them is its theory of meaning. An other is the way it accounts for change and development. Answers may be based on the pragmatic philosophy of Charles Sanders Peirce, who emphasises the intrinsic relation between the meaning of speech acts and the process of habit formation. (shrink)

This paper analyses the relationship between Hobbes's theory of language and his theory of science and method. It is shown that Hobbes, at least in his Computatio sive Logica (1655), deviates in some measure from the traditional (Aristotelian) model of language. In this model speech is considered to be a fairly unproblematic expression of thought, which itself is independent of language. Basing himself on a nominalist account of universals, Hobbes states that the demonstration or assertion of universal propositions presupposes speech (...) (more especially, the use of names as marks). This insight turns out to be essential for Hobbes's (rationalist) view of scientific method. (shrink)

Publication in the biomedical literature is important because it is the major pathway by which new concepts and discoveries are disseminated amongst scientists. In the last 30 years there has been a dramatic increase, not only in the volume of publications but in the number of authors per article as well. This paper summarizes the current literature on authorship and its proliferation in medicine. From the literature it becomes clear that for biomedical articles, the mean number of authors increased from (...) 1.7 in 1960 to 3.1 in 1990, and there are indications that this trend is even greater in clinical medicine such that single authorship almost has disappeared. Formal guidelines of who should be considered an author have been set by the International Committee of Medical Journal Editors. There are studies suggesting that not all authors on multiauthor papers fulfill these criteria. Inappropriate multiple authorship leads to dilution of authorship responsibility and unjustified citation in curriculum vitae. Recommendations regarding the prevention of inappropriate authorship are given in this paper. (shrink)

This article explores witchcraft-related violence against elderly women in the AmaZizi chiefdom of kwaZangashe in Eastern Cape, South Africa. The potential causes that have promoted such violence form the central subject of the study. The study includes a research design that combines questionnaires, focus groups and follow-on interviews. The findings have revealed a prevalence of witchcraft beliefs in the region and have pointed to elderly women as the likely victims of witchcraft violence. This has resulted in AmaZizi’s elderly women being (...) socially isolated, verbally abused and at risk of physical violence and even murder. This study concludes with several interventions organised to combat future witchcraft-related violence and to support the elderly women in the chiefdom.Contribution: By giving voice to the lives and stories of a community of people rendered invisible in the wider public sphere, this article introduces accounts on witchcraft and healthcare that might otherwise have gone unarticulated. (shrink)

Gaston Franssen’s essay touches on important medical and literary topics: the experience of patients with unexplained somatic complaints, the importance of giving their symptoms a name or diagnosis, the verbal representation of what bothers them, or the uncertainty all parties have to live with when an underlying cause of the symptoms is missing. A diagnosis or name such as chronic fatigue syndrome can be a relief for its sufferers, as is expressed by one of the patients in the article: “I (...) wept with relief at having a name for it.” Yet CFS is but a name for something that, medically speaking, has no substance except for the patients” complaints. CFS shares this lack of objective physical signs with other... (shrink)

As a member of the British Oxford Group, psychologist Richard Ryder marked the beginning of the modern animal rights and animal welfare movement in the seventies. By introducing the concept “speciesism.” Ryder contributed importantly to the expansion of this movement. Surprisingly little attention has been paid to Ryder’s moral theory, “painism”, that aims to resolve the conflict between the two predominant rival theories in animal ethics, the deontological of Tom Regan and the utilitarian of Peter Singer. First, this paper examines (...) the kernel and historical sources of Ryder’s painist theory, linking it to the work of John Rawls and Jean-Jacques Rousseau. Second, it examines Ryder’s critique of utilitarianism. It is argued that his critique of Singer’s use of the word “sentience” is unconvincing and that his critique of utilitarian aggregation as not taking a full account of the metaphysical separateness of persons, has already been countered and dealt with. Finally this paper looks at some of the counterintuitive implications of Ryder’s theory and argues that utilitarianism might have more resources for dealing with its own alleged counterintuitive implications than Ryder acknowledges. (shrink)

Turing progressions have been often used to measure the proof-theoretic strength of mathematical theories: iterate adding consistency of some weak base theory until you “hit” the target theory. Turing progressions based on n-consistency give rise to a \ proof-theoretic ordinal \ also denoted \. As such, to each theory U we can assign the sequence of corresponding \ ordinals \. We call this sequence a Turing-Taylor expansion or spectrum of a theory. In this paper, we relate Turing-Taylor expansions of sub-theories (...) of Peano Arithmetic to Ignatiev’s universal model for the closed fragment of the polymodal provability logic \. In particular, we observe that each point in the Ignatiev model can be seen as Turing-Taylor expansions of formal mathematical theories. Moreover, each sub-theory of Peano Arithmetic that allows for a Turing-Taylor expansion will define a unique point in Ignatiev’s model. (shrink)

This paper is a presentation of astatus quæstionis, to wit of the problemof the interpretability logic of all reasonablearithmetical theories.We present both the arithmetical side and themodal side of the question.Dedicated to Dick de Jongh on the occasion of his 60th birthday.