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

In the second half of the 18th century, Scottish Enlightenment philosophy spread to the Dutch Republic, where it found a favourable reception. The most popular Scottish philosopher among Dutch intellectuals arguably was James Beattie of Aberdeen. Almost all of his prose works were translated into Dutch, and the Zeeland Society of Sciences elected him a foreign honorary member. It made Beattie remark that he was ‘greatly obliged to the Dutch’, and a Dutch learned journal that he had ‘in a sense (...) become a native’. This article discusses why precisely the Dutch got interested in Beattie and what made his common sense philosophy appealing to a Dutch audience. It argues that it was the moderate and non-speculative nature of Beattie's moral philosophy that fitted well with the eclecticism of the Dutch Enlightenment. (shrink)

In this paper we will state and prove some comparative theorems concerning PRA and IΣ1. We shall provide a characterization of IΣ1 in terms of PRA and iterations of a class of functions. In particular, we prove that for this class of functions the difference between IΣ1 and PRA is exactly that, where PRA is closed under iterations of these functions, IΣ1 is moreover provably closed under iteration. We will formulate a sufficient condition for a model of PRA to be (...) a model of IΣ1. This condition is used to give a model-theoretic proof of Parsons’ theorem, that is, IΣ1 is Π2-conservative over PRA. We shall also give a purely syntactical proof of Parsons’ theorem. Finally, we show that IΣ1 proves the consistency of PRA on a definable IΣ1-cut. This implies that proofs in IΣ1 can have non-elementary speed up over proofs in PRA. (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)

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.

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)

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)

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)

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)

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)

ZusammenfassungVagheit und Selbstreferenz sind die offensichtlichen Ursachen aller logico‐philosophischen Paradoxien. Beide Ursachen sind nur ein Stück weit formal zugänglich und führen uns über das Rätsel der mentalen Repräsentation/Partizipation/Produktion zuletzt zur unbegreiflichen Subjekt/Objekt‐Trennung. Die epistemischen Paradoxien vom Henker‐ Typ sind ein Labyrinth von Vagheit und Selbstreferenz. In Teil I analysierten wir eine zeitlose Variante von Hollis , in Teil II betrachten wir zwei klassische Henker Varianten.

In this article I shall argue for an interpretation of Odyssey 19.393–466 as a flash-back taking place in the mind of Eurykleia at the moment she recognises Odysseus' scar. That Eurykleia somehow forms the connection between main story and digression has been suggested before, but so far other interpretations have been defended with more fervour. Most famous of these interpretations is the one given by E. Auerbach in the first chapter of his Mimesis. He had chosen 19.393–466 to illustrate his (...) thesis that in Homer everything is ‘fully externalized’ and that there is no background, only a ‘uniformly illuminated’ foreground. According to Auerbach the digression on the scar stands in complete isolation to its context. It is meant to ‘relax the tension’, to make the hearer/reader ‘forget what had just taken place during the footwashing’, and although it might have been presented as a recollection of Odysseus , this ‘subjectivisticperspectivistic procedure, creating a foreground and background’ was not chosen, being ‘entirely foreign to the Homeric style’. Some twenty years later this interpretation was challenged by A. Köhnken, who, however, stuck to the idea that the digression is not told from the restricted perspective of one of the characters but from the perspective of the omniscient narrator; he claims that foreground and background are marked as such through a difference in narrative style: ‘berichtende Erzählung’ for the digression itself and ‘szenische Darstellung’ for the context. I disagree with both points. (shrink)

Many analytical studies purporting to aid decision-making are produced and yet their contribution to actual decision-making is questioned. This article focuses on how institutional structures influence the way analytical information is actually used. A variation of information criterion for quality of decision-making is developed and used to analyze what types of structures incite actors to both generate and store a variety of ideas and arguments. An international comparison on transport infrastructure planning is used to demonstrate the relevant institutional mechanisms and (...) how different structures lead to different processes of information exchange and to differing product outcomes. (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.

Automated technologies and robots make decisions that cannot always be fully controlled or predicted. In addition to that, they cannot respond to punishment and blame in the ways humans do. Therefore, when automated cars harm or kill people, for example, this gives rise to concerns about responsibility-gaps and retribution-gaps. According to Sven Nyholm, however, automated cars do not pose a challenge on human responsibility, as long as humans can control them and update them. He argues that the agency exercised in (...) automated cars should be understood in terms of human–robot collaborations. This brief note focuses on the problem that arises when there are multiple people involved, but there is no obvious shared collaboration among them. Building on John Danaher’s discussion of command responsibility, it is argued that, although Nyholm might be right that autonomous cars cannot be regarded as acting on their own, independently of any human beings, worries about responsibility-gaps and retribution-gaps are still justified, because it often remains unclear how to allocate or distribute responsibility satisfactorily among the key humans involved after they have been successfully identified. (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)

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

Throughout more than two millennia philosophers adhered massively to ideal standards of scientific rationality going back ultimately to Aristotle’s Analytica posteriora . These standards got progressively shaped by and adapted to new scientific needs and tendencies. Nevertheless, a core of conditions capturing the fundamentals of what a proper science should look like remained remarkably constant all along. Call this cluster of conditions the Classical Model of Science . In this paper we will do two things. First of all, we will (...) propose a general and systematized account of the Classical Model of Science. Secondly, we will offer an analysis of the philosophical significance of this model at different historical junctures by giving an overview of the connections it has had with a number of important topics. The latter include the analytic-synthetic distinction, the axiomatic method, the hierarchical order of sciences and the status of logic as a science. Our claim is that particularly fruitful insights are gained by seeing themes such as these against the background of the Classical Model of Science. In an appendix we deal with the historiographical background of this model by considering the systematizations of Aristotle’s theory of science offered by Heinrich Scholz, and in his footsteps by Evert W. Beth. (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)

Evolutionary debunking arguments against religious beliefs move from the claim that religious beliefs are caused by off-track processes to the conclusion that said religious beliefs are unjustified and/or false. Prima facie, EDAs commit the genetic fallacy, unduly conflating the context of discovery and the context of justification. In this paper, we first consider whether EDAs necessarily commit the genetic fallacy, and if not, whether modified EDAs provide successful arguments against theism. Then, we critically evaluate more recent attempts to argue that (...) a more promiscuous evolutionary scepticism renders religious belief unjustified because, unlike commonsense and scientific beliefs, religious beliefs have no way out of such scepticism. (shrink)

For academic research outcomes, there is an increasing emphasis on the bibliometric scorings like the journal impact factor and citations when the assessment of the scientific merits of research or researchers is required. Currently, no known study has been conducted to explore the bibliographical trends of the subject category of multidisciplinary sciences as indexed by the annual Journal Citation Reports of the Thomson Scientific. The effect of journal self-citations and intra-citing within a discipline to the bibliometric data computation can be (...) confounding. In this study, six journals were selected from the multidisciplinary sciences subject category where the trend of self-citations and intra-citing were analysed. These journals were chosen as they published more than 450 citable articles in the year 2007 and had available bibliometric data for a 10-year period. The results showed that self-citations rose as much as +23.98% while intra-citing declined up to −5.80% over the observed period. The retrospective impacts and influences of these observations were also discussed in this study. (shrink)

Medical devices have been long used for odiagnostic, therapeutic or rehabilitation purposes. Currently, they can range from a low-cost portable device that is often used for personal health monitoring to high-end sophisticated equipment that can only be operated by trained professionals. Depending on the functional purposes, there are different certification or compliance markings on the device when it is sold. One common certification marking is the Conformité Européenne affixation but this has a range of certification mark numbering for a variety (...) of functional purposes. While the regulators and medical device manufacturers understand the associated significance and clinical implications, these may not be apparent to the professionals and the general public. With portable healthcare devices and mobile applications gaining popularity, better awareness of certification marking will be needed. Particularly, there are differences in the allowed functional purposes and the associated cost derivations of devices with a seemingly similar nature. A preferred approach such as an easy-to-understand notation next to any certification marking on a device can aid in differentiation without the need to digest mountainous regulatory details. (shrink)