In this paper, we study temporal logic for finite linear structures and surjective bounded morphisms between them. We give a characterisation of such structures by modal formulas and show that every pair of linear structures with a bounded morphism between them can be uniquely characterised by a temporal formula up to an isomorphism. As the main result, we prove Kripke completeness of the logic with respect to the class of finite linear structures with bounded morphisms between them.

The aim of this study is twofold. Firstly, it intends to highlight the value of constructivist insights for religious studies by showing that various forms of approach to issues related to religion are mere constructs. In contrast to this viewpoint, the discipline of religious studies had traditionally sought a higher degree of objectivity in the scientific reflection of religious topics, but that has been a fraught path. Secondly, the example it refers to is worthy in itself. The reception of Judaism (...) in contemporary China is not only an under-investigated topic endowed with a great potential to reveal to what extent the Chinese ordinary man as well as the academic succeed to understand Western thought and to differentiate among the varied cultural traditions generally subsumed by them under the notion Western, but it also shows that the constructivist approaches preserve their validity in non-European contexts as well. Judaism’s reception in contemporary China will be pursued on four different levels: popular literature, fake books, articles in the Christian Chinese media and academic productions. The four categories of texts represent four different degrees of comprehension of the object of study, primarily offering information about the worldviews of the authors of the texts. The process of reception of thought is regarded as a form of encounter where the active part is striving to get out of its own mindset and move towards the other. (shrink)

The aim of this article is to introduce the concept of Cognitive Fitness (CF), identify its key ingredients underpinning both real-time task performance and career longevity in high-risk occupations, and to canvas a holistic framework for their assessment, training, and augmentation. CF as a capacity to deploy neurocognitive resources, knowledge and skills to meet the demands of operational task performance, is likely to be multi-faceted and differentially malleable. A taxonomy of CF constructs derived from Cognitive Readiness (CR) and Mental fitness (...) (MF) literature maps into phases of operational cycles from foundational to advanced, mission-ready and recovery. Foundational cognitive attributes, such as attention, executive control and co-action, were hypothesized to be trainable at the initial Cognitive Gym phase. More advanced training targets at the CR phase included stress and arousal regulation, adaptability, teamwork, situation awareness (including detection, sense-making and prediction) and decision making (de-biasing and confidence calibration). The mission-ready training phase is focused on tolerances (to sleep loss, monotony, pain, frustration, uncertainty) and resistance (to distraction, deception or manipulation). Operational Augmentation phase relies on support tools such as decision aids and fatigue countermeasures, while the Recovery phase employs reflexive (e.g., mindfulness), and restorative practices (e.g., nutrition and sleep hygiene). The periodization of cognitive training in this cycle is hypothesized to optimize both real-time cognitive performance and the resilience that enables life-long thriving. One of the most promising avenues of validating this hypothesis is by developing an expert consensus on the key CF ingredients and their relative importance in high-performance settings. (shrink)

How does experimental philosophy address philosophical questions and problems? That is: What projects does experimental philosophy pursue? What is their philosophical relevance? And what empirical methods do they employ? Answers to these questions will reveal how experimental philosophy can contribute to the longstanding ambition of placing philosophy on the ‘secure path of a science’, as Kant put it. We argue that experimental philosophy has introduced a new methodological perspective – a ‘meta-philosophical naturalism’ that addresses philosophical questions about a phenomenon by (...) empirically investigating how people think about this phenomenon. This chapter asks how this novel perspective can be successfully implemented: How can the empirical investigation of how people think about something address genuinely philosophical problems? And what methods – and, specifically, what methods beyond the questionnaire – can this investigation employ? We first review core projects of experimental philosophy and raise the question of their philosophical relevance. For ambitious answers, we turn to experimental philosophy’s most direct historical precursor, mid-20th century ordinary language philosophy, and discuss empirical implementations of two of its research programmes that use experimental methods from psycholinguistics and corpus methods from the digital humanities. (shrink)

In Everettian quantum mechanics, justifications for the Born rule appeal to self-locating uncertainty or decision theory. Such justifications have focused exclusively on a pure-state Everettian multiverse, represented by a wave function. Recent works in quantum foundations suggest that it is viable to consider a mixed-state Everettian multiverse, represented by a (mixed-state) density matrix. Here, we develop the conceptual foundations for decoherence and branching in a mixed-state multiverse, and extend the standard Everettian justifications for the Born rule to this setting. This (...) extended framework provides a unification of 'classical' and 'quantum' probabilities, and additional theoretical benefits, for the Everettian picture. (shrink)

Linguistics. Artificial intelligence. Related fields. Computation.

Conventional wisdom holds that the von Neumann entropy corresponds to thermodynamic entropy, but Hemmo and Shenker (2006) have recently argued against this view by attacking von Neumann's (1955) argument. I argue that Hemmo and Shenker's arguments fail due to several misunderstandings: about statistical-mechanical and thermodynamic domains of applicability, about the nature of mixed states, and about the role of approximations in physics. As a result, their arguments fail in all cases: in the single-particle case, the finite particles case, and the (...) infinite particles case. (shrink)