Background: Dementia is one the major problems of aging societies, and, novel and effective non-drug therapies are required as interventions in the oldest-old to prevent cognitive decline.Objective: This study aims to examine the efficacy and safety of reminiscence using immersive virtual reality focusing on anxiety that often appears with cognitive decline. The secondary objective is to reveal the preference for VR image types for reminiscence: live-action or computer graphics.Methods: This was a pilot, open-label, and randomized crossover study which was conducted (...) on January 2020 at a single nursing home. The subjects were randomly divided into two groups in equal numbers, and they alternately viewed two types of VR images themed on the mid- to late Showa era in Japan. In group A, the CG images were viewed first, and then the LA images were viewed. In group B, the images were viewed in the opposite order. Before VR viewing, subjects responded to Mini-Mental State Examination Japanese version and State-Trait Anxiety Inventory Japanese version. After viewing the first and second VR, subjects responded to STAI and the numerical rating scale for satisfaction and side effects.Results: Ten subjects participated in this study. The values of analyses are presented in the mean. The age was 87.1 years, and the MMSE was 28.5. The total STAI score before VR viewing was 36.1, but it significantly decreased to 26.8 after the first VR viewing, and further decreased to 23.4 after the second VR viewing. The NRS score for satisfaction tended to be higher after viewing LA in group A vs. 8.6, P = 0.0993), while in group B, the score after CG was slightly lower than that after LA. There were no serious side effects.Conclusions: This study suggests that iVR reminiscence can reduce anxiety in the oldest-old without causing serious side effects. Furthermore, the impacts might be better with LA images. (shrink)

Speculative Realism (SR) has often been characterised as a heterogeneous group of thinkers, united almost exclusively in their commitment to the critique of what Quentin Meillassoux terms ‘correlationism’ or what Graham Harman calls the ‘philosophy of (human) access.’ The terms ‘correlationism’ and ‘philosophy of access’ are in turn often treated – at times even by Meillassoux and Harman themselves – as synonymous. In this paper, I seek to analyse these terms to evaluate their similarities, but also possible differences. I shall (...) argue that the difference between the two terms ought to be retained and emphasised, since it hints at important differences between the positions of Harman and Meillassoux. (shrink)

Examining a variety of bio-objects in contexts beyond the laboratory, Bio-Objects: Life in the 21st Century explores new ways of thinking about how novel bio-objects enter contemporary life, analysing the manner in which the boundaries between human and animal, organic and non-organic, and being 'alive' and the suspension of living, are questioned, destabilised and in some cases re-established.

There is growing political pressure for farmers to use more sustainable agricultural practices to protect people and the planet. The farming press could encourage farmers to adopt sustainable practices through its ability to manipulate discourse and spread awareness by changing the salience of issues or framing topics in specific ways. We sought to understand how the UK farming press framed sustainable agricultural practices and how the salience of these practices changed over time. We combined a media content analysis of the (...) farming press alongside 60 qualitative interviews with farmers and agricultural advisors to understand whether the farming press influenced farmers to try more sustainable practices. Salience of sustainable agricultural practices grew between 2009 and 2020. Many of the practices studied were framed by the press around economic and agronomic aspects, and farmer respondents said the most common reasons for trying sustainable agricultural practices were for economic and agronomic reasons. The farming press tended to use more positive rather than negative tones when covering sustainable agricultural practices. Respondents used the farming press as a source of information, though many did not fully trust these outlets as they believed the farming press were mouthpieces for agribusinesses. Whilst a minority of farmers stated they were motivated to try a new sustainable agricultural practice after learning about it in the farming press, this was rare. Instead, the farming press was used by respondents to raise their awareness about wider agricultural topics. We reflect on the role and power given to agribusinesses by the farming press and what this means for agricultural sustainability. (shrink)

Chaotic dynamics can be related to analog computation. A possibility of electronically implementing the chaos -driven contracting system in the target article is explored with an analog electronic circuit with inevitable noise from the viewpoint of analog computation with chaotic neurons.

Reinforcement learning has recently received much attention as a learning method for complicated systems, e.g., robot systems. It does not need prior knowledge and has higher capability of reactive and adaptive behaviors. However increase in dimensionality of the action-state space makes it diffcult to accomplish learning. The applicability of the existing reinforcement learning algorithms are effective for simple tasks with relatively small action-state space. In this paper, we propose a new reinforcement learning algorithm: “Q-learning with Dynamic Structuring of Exploration Space (...) Based on Genetic Algorithm ”. The algorithm is applicable to systems with high dimensional action and interior state spaces, for example a robot with many redundant degrees of freedom. To demonstrate the effectiveness of the proposed algorithm simulations of obstacle avoidance by a 50 links manipulator have been carried out. It is shown that effective behavior can be learned by using the proposed algorithm. (shrink)

Reinforcement learning is very effective for robot learning. Because it does not need priori knowledge and has higher capability of reactive and adaptive behaviors. In our previous works, we proposed new reinforcement learning algorithm: “Q-learning with Dynamic Structuring of Exploration Space Based on Genetic Algorithm (QDSEGA)”. It is designed for complicated systems with large action-state space like a robot with many redundant degrees of freedom. And we applied it to 50 link manipulator and effective behavior is acquired. However optimality and (...) fault tolerance of the proposed algorithm were not considered and to demonstrate effectiveness of the proposed algorithm other applications are necessary. Acquiring of locomotion patterns by a multi-legged robot is a very interesting problem. As it has many redundant degrees of freedom, application of usual reinforcement learning is difficult and an optimal locomotion has not been acquired using previous reinforcement learning algorithm. And the redundancy of the robot is effective to the fault tolerance and various locomotion patterns can be acquired for adapting the faults of the legs. In this paper, we applied QDSEGA to acquiring of locomotion pattern by the multi-legged robot and considered the optimality and fault tolerance. Effective behavior has been obtained by using our proposed algorithm. (shrink)

Object-Oriented Ontology (OOO) is a contemporary form of realism concerned with the investigation of “objects” broadly construed. It may be characterised in terms of a metaphysical pluralism to the extent that it recognises infinitely many different kinds of emergent entities, and this fact in turn leads to a number of questions concerning the nature of objects and emergence in OOO: what is the precise meaning of an emergent entity in OOO? How has emergence been denied throughout the history of Western (...) thought? Is there a specific object-oriented account of emergence? What is the causal mechanism which provides the conditions of possibility for the generation of emergent entities? In this article, I aim to answer all these questions by constructing the first extensive account of real emergence in the context of Object-Oriented Ontology, and I also seek to tie this analysis to the notion of “vicarious” or indirect causation. (shrink)

From the 1981 “Sexuality and Solitude” to the 1982 “Le combat de la chasteté” to the 1984 History of Sexuality, Volume 2, Michel Foucault’s published works have long recognized the influence of the historian of late antiquity, Peter Brown. With the 2018 publication of Foucault’s draft of Les Aveux de la chair (Confessions of the Flesh) bearing no mention of Brown, the depth of this influence requires further elaboration. Despite Brown not appearing in the “Index of Modern Authors,” Confessions of (...) the Flesh reflects Foucault’s debt to Brown for his readings of Augustine of Hippo and his conceptualizations of sexuality and subjectivity. Analyzing archival evidence alongside biographical narratives helps us better understand Brown’s vital influence as Foucault was shifting his History of Sexuality project, his archival practices, and his genealogy of subjectivity. Appreciating the textual and conceptual engagement between Foucault and Brown thus illuminates not only Confessions of the Flesh as Volume 4 in the History of Sexuality series but also the conceptual and methodological developments of both scholars in their disciplinary intersections. (shrink)

In an archived draft at the Bibliothèque nationale de France, Foucault describes two questions haunting him since 1963: “Why are we obliged to tell the truth about ourselves? Which truth?” Foucault poses these two questions in 1980 in drafts for his lectures at the University of California, Berkeley, and I see in these two questions two argumentative threads that weave through Foucault's changing History of Sexuality series over his last decade. These two threads correspond to the dimorphism Foucault frames in (...) Part III of Confessions of the Flesh between confessing monks and married men, that correlates with the distinction between “veridiction” and “juridiction” as two forms relating subjectivity and sexuality. To help tease out these threads, I make two recommendations for how to read Confessions of the Flesh in this following review essay: (1) situate Confessions of the Flesh in relation to Foucault's History of Sexuality series which spans his last decade from 1974 to 1984 and (2) untangle two major threads of Confessions of the Flesh in Foucault's treatment of Cassian and Augustine, as progenitors of veridiction and juridiction respectively, which together produce the conditions for modern disciplinary subjects. (shrink)

We prove that every countable non-standard model of WKL0 has a proper initial part isomorphic to itself. This theorem enables us to carry out non-standard arguments over WKL0.

Of the practices John Cassian brings from Egyptian desert elders to southern Gallic monks, his scriptural hermeneutics best reflects the dynamic link between exegesis and askēsis, reflection and action, and authority and agency. His four-fold method reinforces the view that scripture is absolutely authoritative but incredibly obscure and therefore requires interpretation. Riddled with contradictions, acts of violence, and the plainly nonsensical, scripture provides foundations in early Christianity only through the complex interplay of interpretation, authority, and power. To read exegesis only (...) as an intellectual exercise or assertion of power, however, neglects its relation to other forms of askēsis in Cassian’s Conferences and Institutes. For Cassian, scriptural interpretation renders lived practice and practical knowledge inseparable from contemplative knowledge. Cassian’s view of scriptural meditātiō is shaped in late antique Christian milieus where interpretive reading practices shape ascetic habits alongside practices of manual labor, fasting, and prayer. For Cassian and the Egyptian desert ascetics with whom he trained, scriptural interpretation does not lead to keen description or reflection alone, but must impact one’s practices, one’s tropos, one’s very way of life. Such a perspective allows us to see not only the relevance of Cassian’s ethics to Christian thought and practice, but also to approach Cassian’s texts with a critical eye for how they enable reflection on contemporary religious ethics beyond the particulars of Christian predicates. (shrink)

In this work we survey reports on selected severe storms of the 17th century. Specifically, we investigate a severe storm which was accompanied by a ball lightning phenomenon in Cornwall (UK) in 1640. The “fiery Ball”, which reportedly made a “ter[r]ible sound”, entered the church, broke stones and smashed windows. It made holes in stone walls and injured about 14 people. Furthermore, we report on a 1672 storm in Bedford (UK) that tore down houses, blew down stone walls and uprooted (...) trees. We also examine two severe thunderstorms that tore off roofs and uprooted trees in Oxfordshire (UK) and Blois (F) in 1680. In Oxfordshire, hailstone killed farm animals, and later lightning caused a fire, which damaged houses and burned down barns. In Blois, houses were torn down by the wind, eight parishes were ruined by hail (hailstone were the size of a “man’s fist”). Furthermore, houses were damaged and glass windows were shattered. Based on various primary sources, we discuss the impact of these severe storms on society. Moreover, we briefly discuss how people perceived atmospheric phenomena like storms, tornadoes, and hail. Finally, we discuss selected key issues of investigating historical severe storms. (shrink)

In Graham Harman’s Object-Oriented Ontology (OOO), an apparent tension arises between his pursuit of a self-proclaimed “new theory of everything,” or general ontology, and his assertion that any ontology must be able to account for distinctions among various regions of being. This paper delves into this tension between universality and specificity, particularly concerning the question of animal ontology, and examines the potential for constructing an object-oriented animal ontology. By juxtaposing Harman’s perspectives with those of Matthew Calarco and other scholars, I (...) aim to demonstrate the feasibility of developing an animal ontology using the framework of OOO. (shrink)

ZusammenfassungIst Biologie das jüngste Mitglied in der Familie von Big Science? Die vermehrte Zusammenarbeit in der biologischen Forschung wurde in der Folge des Human Genome Project zwar zum Gegenstand hitziger Diskussionen, aber Debatten und Reflexionen blieben meist im Polemischen verhaftet und zeigten eine begrenzte Wertschätzung für die Vielfalt und Erklärungskraft des Konzepts von Big Science. Zur gleichen Zeit haben Wissenschafts- und Technikforscher/innen in ihren Beschreibungen des Wandels der Forschungslandschaft die Verwendung des Begriffs Big Science gemieden. Dieser interdisziplinäre Artikel kombiniert eine (...) begriffliche Analyse des Konzepts von Big Science mit unterschiedlichen Daten und Ideen aus einer Multimethodenuntersuchung mehrerer großer Forschungsprojekte in der Biologie. Ziel ist es, ein empirisch fundiertes, nuanciertes und analytisch nützliches Verständnis von Big Biology zu entwickeln und die normativen Debatten mit ihren einfachen Dichotomien und rhetorischen Positionen hinter sich zu lassen. Zwar kann das Konzept von Big Science als eine Mode in der Wissenschaftspolitik gesehen werden – inzwischen vielleicht sogar als ein altmodisches Konzept –, doch lautet meine innovative Argumentation, dass dessen analytische Verwendung unsere Aufmerksamkeit auf die Ausweitung der Zusammenarbeit in den Biowissenschaften lenkt. Die Analyse von Big Biology zeigt Unterschiede zu Big Physics und anderen Formen von Big Science, namentlich in den Mustern der Forschungsorganisation, der verwendeten Technologien und der gesellschaftlichen Zusammenhänge, in denen sie tätig ist. So können Reflexionen über Big Science, Big Biology und ihre Beziehungen zur Wissensproduktion die jüngsten Behauptungen über grundlegende Veränderungen in der Life Science-Forschung in einen historischen Kontext stellen. (shrink)

Despite the tendency to be otherwise, some non-classical logics are known to validate formulas that are invalid in classical logic. A subclass of such systems even possesses pairs of a formula and its negation as theorems, without becoming trivial. How should these provable contradictions be understood? The present paper aims to shed light on aspects of this phenomenon by taking as samples the constructive connexive logic C, which is obtained by a simple modification of a system of constructible falsity, namely (...) N4, as well as its non-constructive extension C3. For these systems, various observations concerning provable contradictions are made, using mainly a proof-theoretic approach. The topics covered in this paper include: how new contradictions are found from parts of provable contradictions; how to characterise provable contradictions in C3 that are constructive; how contradictions can be seen from the relative viewpoint of strong implication; and as an appendix an attempt at generating provable contradictions in C3. (shrink)

In [10], we have shown that the statement that all ∑ 1 1 partitions are Ramsey is deducible over ATR 0 from the axiom of ∑ 1 1 monotone inductive definition,but the reversal needs П 1 1 - CA 0 rather than ATR 0 . By contrast, we show in this paper that the statement that all ∑ 0 2 games are determinate is also deducible over ATR 0 from the axiom of ∑ 1 1 monotone inductive definition, but the (...) reversal is provable even in ACA 0 . These results illuminate the substantial differences among lightface theorems which can not be observed in boldface. (shrink)

Strong negation is a well-known alternative to the standard negation in intuitionistic logic. It is defined virtually by giving falsity conditions to each of the connectives. Among these, the falsity condition for implication appears to unnecessarily deviate from the standard negation. In this paper, we introduce a slight modification to strong negation, and observe its comparative advantages over the original notion. In addition, we consider the paraconsistent variants of our modification, and study their relationship with non-constructive principles and connexivity.

Ist Biologie das jüngste Mitglied in der Familie von Big Science? Die vermehrte Zusammenarbeit in der biologischen Forschung wurde in der Folge des Human Genome Project zwar zum Gegenstand hitziger Diskussionen, aber Debatten und Reflexionen blieben meist im Polemischen verhaftet und zeigten eine begrenzte Wertschätzung für die Vielfalt und Erklärungskraft des Konzepts von Big Science. Zur gleichen Zeit haben Wissenschafts- und Technikforscher/innen in ihren Beschreibungen des Wandels der Forschungslandschaft die Verwendung des Begriffs Big Science gemieden. Dieser interdisziplinäre Artikel kombiniert eine (...) begriffliche Analyse des Konzepts von Big Science mit unterschiedlichen Daten und Ideen aus einer Multimethodenuntersuchung mehrerer großer Forschungsprojekte in der Biologie. Ziel ist es, ein empirisch fundiertes, nuanciertes und analytisch nützliches Verständnis von Big Biology zu entwickeln und die normativen Debatten mit ihren einfachen Dichotomien und rhetorischen Positionen hinter sich zu lassen. Zwar kann das Konzept von Big Science als eine Mode in der Wissenschaftspolitik gesehen werden – inzwischen vielleicht sogar als ein altmodisches Konzept –, doch lautet meine innovative Argumentation, dass dessen analytische Verwendung unsere Aufmerksamkeit auf die Ausweitung der Zusammenarbeit in den Biowissenschaften lenkt. Die Analyse von Big Biology zeigt Unterschiede zu Big Physics und anderen Formen von Big Science, namentlich in den Mustern der Forschungsorganisation, der verwendeten Technologien und der gesellschaftlichen Zusammenhänge, in denen sie tätig ist. So können Reflexionen über Big Science, Big Biology und ihre Beziehungen zur Wissensproduktion die jüngsten Behauptungen über grundlegende Veränderungen in der Life Science-Forschung in einen historischen Kontext stellen. (shrink)

We show that each of Δ13-CA0 + Σ13-IND and Π12-CA0 + Π13-TI proves Δ03-Det and that neither Σ31-IND nor Π13-TI can be dropped. We also show that neither Δ13-CA0 + Σ1∞-IND nor Π12-CA0 + Π1∞-TI proves Σ03-Det. Moreover, we prove that none of Δ21-CA0, Σ31-IND and Π21-TI is provable in Δ11-Det0 = ACA0 + Δ11-Det.

We show that each of $\Delta _{3}^{1}-{\rm CA}_{0}+\Sigma _{3}^{1}-{\rm IND}$ and $\Pi _{2}^{1}-{\rm CA}_{0}+\Pi _{3}^{1}-{\rm TI}$ proves $\Delta _{3}^{0}-{\rm Det}$ and that neither $\Sigma _{3}^{1}-{\rm IND}$ nor $\Pi _{3}^{1}-{\rm TI}$ can be dropped. We also show that neither $\Delta _{3}^{1}-{\rm CA}_{0}+\Sigma _{\infty}^{1}-{\rm IND}$ nor $\Pi _{2}^{1}-{\rm CA}_{0}+\Pi _{\infty}^{1}-{\rm TI}$ proves $\Sigma _{3}^{0}-{\rm Det}$. Moreover, we prove that none of $\Delta _{2}^{1}-{\rm CA}_{0}$, $\Sigma _{3}^{1}-{\rm IND}$ and $\Pi _{2}^{1}-{\rm TI}$ is provable in $\Delta _{1}^{1}-{\rm Det}_{0}={\rm ACA}_{0}+\Delta _{1}^{1}-{\rm Det}$.

Within a weak subsystem of second-order arithmetic , that is -conservative over , we reformulate Kreisel's proof of the Second Incompleteness Theorem and Boolos' proof of the First Incompleteness Theorem.

Within a weak subsystem of second‐order arithmetic WKL0, we develop basic part of non‐standard analysis up to the Peano existence theorem.

We investigate the relationship between M. De's empirical negation in Kripke and Beth Semantics. It turns out empirical negation, as well as co-negation, corresponds to different logics under different semantics. We then establish the relationship between logics related to these negations under unified syntax and semantics based on R. Sylvan's CCω.

We investigate a subsystem of minimal logic related to D. Vakarelov’s logic \, using the framework of subminimal logics by A. Colacito, D. de Jongh and A. L. Vargas. In the course of it, the relationship between the two semantics in the respective frameworks is clarified. In addition, we introduce a sequent calculus for the investigated subsystem, and some proof-theoretic properties are established. Lastly, we formulate a new infinite class of subsystems of minimal logics.

There is a long tradition in formal epistemology and in the psychology of reasoning to investigate indicative conditionals. In psychology, the propositional calculus was taken for granted to be the normative standard of reference. Experimental tasks, evaluation of the participants’ responses and psychological model building, were inspired by the semantics of the material conditional. Recent empirical work on indicative conditionals focuses on uncertainty. Consequently, the normative standard of reference has changed. I argue why neither logic nor standard probability theory provide (...) appropriate rationality norms for uncertain conditionals. I advocate coherence based probability logic as an appropriate framework for investigating uncertain conditionals. Detailed proofs of the probabilistic non-informativeness of a paradox of the material conditional illustrate the approach from a formal point of view. I survey selected data on human reasoning about uncertain conditionals which additionally support the plausibility of the approach from an empirical point of view. (shrink)

By , we denote the system of second-order arithmetic based on recursive comprehension axioms and Σ10 induction. is defined to be plus weak König's lemma: every infinite tree of sequences of 0's and 1's has an infinite path. In this paper, we first show that for any countable model M of , there exists a countable model M′ of whose first-order part is the same as that of M, and whose second-order part consists of the M-recursive sets and sets not (...) in the second-order part of M. By combining this fact with a certain forcing argument over universal trees, we obtain the following result : if proves X!Y with arithmetical, so does . We also discuss several improvements of this results. (shrink)

We study probabilistically informative (weak) versions of transitivity by using suitable definitions of defaults and negated defaults in the setting of coherence and imprecise probabilities. We represent p-consistent sequences of defaults and/or negated defaults by g-coherent imprecise probability assessments on the respective sequences of conditional events. Moreover, we prove the coherent probability propagation rules for Weak Transitivity and the validity of selected inference patterns by proving p-entailment of the associated knowledge bases. Finally, we apply our results to study selected probabilistic (...) versions of classical categorical syllogisms and construct a new version of the square of opposition in terms of defaults and negated defaults. (shrink)

We take coherence based probability logic as the basic reference theory to model human deductive reasoning. The conditional and probabilistic argument forms are explored. We give a brief overview of recent developments of combining logic and probability in psychology. A study on conditional inferences illustrates our approach. First steps towards a process model of conditional inferences conclude the paper.

Two experiments (N1 = 141, N2 = 40) investigate two versions of Aristotle’s Thesis for the first time. Aristotle’s Thesis is a negated conditional, which consists of one propositional variable with a negation either in the antecedent (version 1) or in the consequent (version 2). This task allows us to infer if people interpret indicative conditionals as material conditionals or as conditional events. In the first experiment I investigate between-participants the two versions of Aristotle’s Thesis crossed with abstract versus concrete (...) task material. The modal response for all four groups is consistent with the conditional event and inconsistentwith the material conditional interpretation. This observation is replicated in the second experiment. Moreover, the second experiment rules out scope ambiguities of the negation of conditionals. Both experiments provide new evidence against thematerial conditional interpretation of conditionals and support the conditional event interpretation. Finally, I discuss implications formodeling indicative conditionals and the relevance of this work for experimental philosophy. (shrink)