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)

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)

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

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)

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

This study focuses on CEO hubris and its detrimental effect on corporate financial performance along with an examination of critical corporate governance contingencies that may moderate the negative effect. From 654 observations of 164 Korean firms over the years 2001–2008, we found that CEO power exacerbated the negative effect of CEO hubris on corporate financial performance, whereas board vigilance mitigated it. This study provides empirical evidence that entrenchment problems arising from CEO hubris would be exacerbated as CEOs become more powerful, (...) but weakened as board of directors become more vigilant. Theoretical contributions and practical implications will be discussed. (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.

Until recently, the notions of function and multiple realization were supposed to save the autonomy of psychological explanations. Furthermore, the concept of supervenience presumably allows both dependence of mind on brain and non-reducibility of mind to brain, reconciling materialism with an independent explanatory role for mental and functional concepts and explanations. Eliminativism is often seen as the main or only alternative to such autonomy. It gladly accepts abandoning or thoroughly reconstructing the psychological level, and considers reduction if successful as equivalent (...) with elimination. In comparison with the philosophy of mind, the philosophy of biology has developed more subtle and complex ideas about functions, laws, and reductive explanation than the stark dichotomy of autonomy or elimination. It has been argued that biology is a patchwork of local laws, each with different explanatory interests and more or less limited scope. This points to a pluralistic, domain-specific and multi-level view of explanations in biology. Explanatory pluralism has been proposed as an alternative to eliminativism on the one hand and methodological dualism on the other hand. It holds that theories at different levels of description, like psychology and neuroscience, can co-evolve, and mutually influence each other, without the higher-level theory being replaced by, or reduced to, the lower-level one. Such ideas seem to tally with the pluralistic character of biological explanation. In biological psychology, explanatory pluralism would lead us to expect many local and non-reductive interactions between biological, neurophysiological, psychological and evolutionary explanations of mind and behavior. This idea is illustrated by an example from behavioral genetics, where genetics, physiology and psychology constitute distinct but interrelated levels of explanation. Accounting for such a complex patchwork of related explanations seems to require a more sophisticated and precise way of looking at levels than the existing ideas on (reductive and non-reductive) explanation in the philosophy of mind. (shrink)

황금률의 윤리에 관한 기존의 연구들은 주로 황금률과 상호주의 그리고 사랑의 법간의 관계를 다루어왔다. 황금률에 관한 기존의 이러한 연구들은 중대한 한계를 노정하고 있다. 이러한 연구들은 무엇보다도, 황금률이 제시되는 텍스트를 선택적으로 취함으로써, 황금률의 특징에 대한 혼동을 초래할 뿐만 아니라, 동일한 텍스트에 나타나는 다양한 도덕규범들에 대해 일관적인 설명을 결여하고 있다. 이러한 한계들로 인하여 기존의 연구들은 황금률의 윤리가 가지는 독특성을 보여주지 못하고 있는데, 그 독특성은 이 논문에서 제시하는 간접적 삼자관계의 논리로 표현될 수 있는 것이다. 간접적 삼자관계는 텍스트 내에 혼재한 다양한 도덕규범들의 관계를 일관적으로 설명하고 (...) 황금률의 성격을 해명하는 한 가지 방법을 제시한다. (shrink)

Small tandem DNA duplications in the range of 15 to 300 base‐pairs play an important role in the aetiology of human disease and contribute to genome diversity. Here, we discuss different proposed mechanisms for their occurrence and argue that this type of structural variation mainly results from mutagenic repair of chromosomal breaks. This hypothesis is supported by both bioinformatical analysis of insertions occurring in the genome of different species and disease alleles, as well as by CRISPR/Cas9‐based experimental data from different (...) model systems. Recent work points to fill‐in synthesis at double‐stranded DNA breaks with complementary sequences, regulated by end‐joining mechanisms, to account for small tandem duplications. We will review the prevalence of small tandem duplications in the population, and we will speculate on the potential sources of DNA damage that could give rise to this mutational signature. With the development of novel algorithms to analyse sequencing data, small tandem duplications are now more frequently detected in the human genome and identified as oncogenic gain‐of‐function mutations. Understanding their origin could lead to optimized treatment regimens to prevent therapy‐induced activation of oncogenes and might expose novel vulnerabilities in cancer. (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.

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)

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)

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 develops an account of committed beliefs: beliefs we commit to through reflection and conscious reasoning. To help make sense of committed beliefs, I present a new view of conscious reasoning, one of putting yourself in a position to become phenomenally consciously aware of evidence. By doing this for different pieces of evidence, you begin to make your up mind, making conscious reasoning, as such, a voluntary activity with an involuntary conclusion. The paper then explains how we use conscious (...) reasoning in reflection not just to form and change committed beliefs, but to become aware of existing ones. The paper concludes with an explanation of how the limitations of conscious reasoning require us to maintain committed beliefs in a system. It is our maintenance of this system that allows us to knit together individual episodes of conscious reasoning into one enduring performance as a committed systematic believer. (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)

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)

By Solovay’s celebrated completeness result [31] on formal provability we know that the provability logic ${\textbf {GL}}$ describes exactly all provable structural properties for any sound and strong enough arithmetical theory with a decidable axiomatisation. Japaridze generalised this result in [22] by considering a polymodal version ${\mathsf {GLP}}$ of ${\textbf {GL}}$ with modalities $[n]$ for each natural number n referring to ever increasing notions of provability. Modern treatments of ${\mathsf {GLP}}$ tend to interpret the $[n]$ provability notion as “provable in (...) a base theory T together with all true $\Pi ^0_n$ formulas as oracles.” In this paper we generalise this interpretation into the transfinite. In order to do so, a main difficulty to overcome is to generalise the syntactical characterisations of the oracle formulas of complexity $\Pi ^0_n$ to the hyper-arithmetical hierarchy. The paper exploits the fact that provability is $\Sigma ^0_1$ complete and that similar results hold for stronger provability notions. As such, the oracle sentences to define provability at level $\alpha $ will recursively be taken to be consistency statements at lower levels: provability through provability whence the name of the paper. The paper proves soundness and completeness for the proposed interpretation for a wide class of theories, namely for any theory that can formalise the recursion described above and that has some further very natural properties. Some remarks are provided on how the recursion can be formalised into second order arithmetic and on lowering the proof-theoretical strength of these systems of second order arithmetic. (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)

In this book, Christiane L. Joost-Gaugier offers the first systematic study of Pythagoras and his influence on mathematics, astronomy, philosophy, religion, medicine, music, the occult, and social life-as well as on architecture and art-in the late medieval and early modern eras. Following the threads of admiration for this ancient Greek sage from the fourteenth century to Kepler and Galileo in the seventeenth, this book demonstrates that Pythagoras's influence in intellectual circles-Christian, Jewish, and Arab-was more widespread than has previously been (...) acknowledged. Joost-Gaugier shows that during this period Pythagoras was respected by many intellectuals in different areas of Europe. She also shows how this admiration was reflected in ideas that were applied to the visual arts by a number of well known architects and artists who sought, through the use of a visual language inspired by the memory of Pythagoras, to obtain perfect harmony in their creations. Among these were Alberti, Bramante, Leonardo da Vinci, Michelangelo, and Raphael. Thus did, she suggests, some of the greatest art works in the Western world owe their modernity to an inspirational force that, paradoxically, had been conceived in the distant past. (shrink)

This paper is the introduction to a topical collection on “Changing Values and Energy Systems” that consists of six contributions that examine instances of value change regarding the design, use and operation of energy systems. This introduction discusses the need to consider values in the energy transition. It examines conceptions of value and value change and how values can be addressed in the design of energy systems. Value change in the context of energy and energy systems is a topic that (...) has recently gained traction. Current, and past, energy transitions often focus on a limited range of values, such as sustainability, while leaving other salient values, such as energy democracy, or energy justice, out of the picture. Furthermore, these values become entrenched in the design of these systems: it is hard for stakeholders to address new concerns and values in the use and operation of these systems, leading to further costly transitions and systems’ overhaul. To remedy this issue, value change in the context of energy systems needs to be better understood. We also need to think about further requirements for the governance, institutional and engineering design of energy systems to accommodate future value change. Openness, transparency, adaptiveness, flexibility and modularity emerge as new requirements within the current energy transition that need further exploration and scrutiny. (shrink)

In this study I attempt to provide an answer to the question how the Babylonian scholars arrived at their mathematical theory of planetary motion. Although no texts are preserved in which the Babylonians tell us how they did it, from the surviving Astronomical Diaries we have a fairly complete picture of the nature of the observational material on which the scholars must have based their theory and from which they must have derived the values of the defining parameters. Limiting the (...) discussion to system A theory of the outer planets Saturn, Jupiter and Mars, I will argue that the development of Babylonian planetary theory was a gradual process of more than a century, starting sometime in the fifth century BC and finally resulting in the appearance of the first full-fledged astronomical ephemeris around 300 BC. The process of theory formation involved the derivation of long “exact” periods by linear combination of “Goal–Year” periods, the invention of a 360° zodiac, the discovery of the variable motion of the planets and the development of the numerical method to model this as a step function. Longitudes of the planets in the Babylonian zodiac could be determined by the scholars with an accuracy of 1° to 2° from observations of angular distances to Normal Stars with known positions. However, since the sky is too bright at first and last appearances of the planets and at acronychal rising for nearby stars to be visible, accurate longitudes as input for theoretical work could only be determined when the planets were near the stationary points in their orbits. In this study I show that the Babylonian scholars indeed based their system A modeling of the outer planets on planetary longitudes near stations, that their system A models of Saturn and Jupiter provided satisfactory results for all synodic phenomena, that they realized that their system A model of Mars did not produce satisfactory results for the second station so that separate numerical schemes were constructed to predict the positions of Mars at second station from the model at first station, and finally that their system A model for Mars provided quite poor predictions of the longitude of Mars at first and last appearances over large stretches of the zodiac. I further discuss ways in which the parameters of the system A models may have been derived from observations of the outer planets. By analyzing contemporaneous ephemerides from Uruk of four synodic phenomena of Jupiter from the second century BC, I finally illustrate how the Babylonian scholars may have used observations of Normal Star passages of planets to choose the initial conditions for their ephemerides. (shrink)

Among the many forms of research misconduct, publishing fraudulent data is considered to be serious where the confidence and validity of the research is detrimentally undermined. In this study, the trend of 303 retracted publications from 44 authors (with more than three retracted publications each) was analysed. The results showed that only 6.60% of the retracted publications were single-authored and the discovery of fraudulent publications had reduced from 52.24 months (those published before the year 2000) to 33.23 months (those published (...) on the year 2000 and onwards). It appears that with the widely accessible public databases like PubMed, fraudulent publications can be detected more easily. The different approaches adopted by authors who had previous publications retracted are also discussed herein. (shrink)