Conscious visual perception can fail in many circumstances. However, little is known about the causes and processes leading to failures of visual awareness. In this study, we introduce a new signal detection measure termed subjective discriminability of invisibility that allows one to distinguish between subjective blindness due to reduction of sensory signals or to lack of attentional access to sensory signals. The SDI is computed based upon subjective confidence in reporting the absence of a target . Using this new measure, (...) we found that target misses were subjectively indistinguishable from physical absence when contrast reduction, backward masking and flash suppression were used, whereas confidence was appropriately modulated when dual task, attentional blink and spatial uncertainty methods were employed. These results show that failure of visual perception can be identified as either a result of perceptual or attentional blindness depending on the circumstances under which visual awareness was impaired. (shrink)

This article contributes to the revision of the procedure of robustness analysis of mathematical models in epistemic democracy using the systematic review method. It identifies the drawbacks of robustness analysis in epistemic democracy in terms of sample universality and inference from samples with the same results. To exemplify the effectiveness of systematic review, this article conducted a pilot review of diversity trumps ability theorem models, which are mathematical models of deliberation often cited by epistemic democrats. A review of nine models (...) extracted from 352 papers exemplifies the effectiveness of robustness analysis supplemented by systematic review in epistemic democracy. (shrink)

We develop intuitionistic public announcement logic over intuitionistic \({\textbf{K}}\), \({{\textbf{K}}}{{\textbf{T}}}\), \({{\textbf{K}}}{{\textbf{4}}}\), and \({{\textbf{S}}}{{\textbf{4}}}\) with distributed knowledge. We reveal that a recursion axiom for the distributed knowledge is _not_ valid for a frame class discussed in [ 12 ] but valid for the restricted frame class introduced in [ 20, 26 ]. The semantic completeness of the static logics for this restricted frame class is established via the concept of pseudo-model.

November 4th-5th, 2012 at Kyoto University. Organizers: Hisashi Nakao & Pierre-Alain Braillard.

1. Hassei to sono tenkai -- 2. Kindai kara no ayumi.

We propose a triple test to evaluate the usefulness of behavioral economics models for public health policy. Test 1 is whether the model provides reasonably new insights. Test 2 is on whether these have been properly applied to policy settings. Test 3 is whether they are corroborated by evidence. We exemplify by considering the cases of social interactions models, self-control models and, in relation to health message framing, prospect theory. Out of these sets of models, only a correctly applied prospect (...) theory fully passes the tests at present. Specifically, in broad agreement with the evidence, a gain frame has positive implications for welfare encourages disease prevention activity, though this does not apply if the perceived probability of the bad health outcome is large enough. We see our tests as being useful to identify how much health policy weight policy makers should assign to specific behavioral economic models; they are also useful to verify what next steps would be most useful in further research. (shrink)

Human behavior depends on the ability to effectively introspect about our performance. For simple perceptual decisions, this introspective or metacognitive ability varies substantially across individuals and is correlated with the structure of focal areas in prefrontal cortex. This raises the possibility that the ability to introspect about different perceptual decisions might be mediated by a common cognitive process. To test this hypothesis, we examined whether inter-individual differences in metacognitive ability were correlated across two different perceptual tasks where individuals made judgments (...) about different and unrelated visual stimulus properties. We found that inter-individual differences were strongly correlated between the two tasks for metacognitive ability but not objective performance. Such stability of an individual’s metacognitive ability across different perceptual tasks indicates a general mechanism supporting metacognition independent of the specific task. (shrink)

Artemov and Protopopescu introduced a Brouwer-Heyting-Kolmogorov interpretation of knowledge operator to define the intuitionistic epistemic logic IEL, where the axiom A⊃KA\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$A\supset KA$$\end{document} is accepted but the axiom KA⊃A\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$KA\supset A$$\end{document} is refused. This paper studies the notion of distributed knowledge on an expansion of the multi agent variant of IEL. We provide a BHK interpretation of distributed knowledge operator to define the intuitionistic epistemic (...) logic with distributed knowledge DIEL. We construct Hilbert system and cut-free sequent calculus for DIEL\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {DIEL}$$\end{document} and show that they are sound and complete for the intended Kripke semantics. (shrink)

To further develop three-dimensional (3D) applications, it is important to elucidate the negative effects of 3D applications on the human body and mind. Thus, this study investigated differences in the effects of visual fatigue on cognition and brain activity using visual and auditory tasks induced by watching a 1-h movie in two dimensions (2D) and 3D. Eighteen young men participated in this study. Two conditions were randomly performed for each participant on different days, namely, watching the 1-h movie on television (...) in 2D (control condition) and 3D (3D condition). Before and after watching the 1-h movie on television, critical flicker fusion frequency (CFF: an index of visual fatigue), and response accuracy and reaction time for the cognitive tasks were determined. Brain activity during the cognitive tasks was evaluated using a multi-channel near-infrared spectroscopy system. In contrast to the control condition, the decreased CFF, and the lengthened reaction time and the decreased activity around the right primary somatosensory cortex during Go/NoGo blocks in the visual task at post-viewing in the 3D condition were significant, with significant repeated measures correlations among them. Meanwhile, in the auditory task, the changes in cognitive performance and brain activity during the Go/NoGo blocks were not significant in the 3D condition. These results suggest that the failure or delay in the transmission of visual information to the primary somatosensory cortex due to visual fatigue induced by watching a 3D movie reduced the brain activity around the primary somatosensory cortex, resulting in poor cognitive performance for the visual task. This suggests that performing tasks that require visual information, such as running in the dark or driving a car, immediately after using a 3D application, may create unexpected risks in our lives. Thus, the findings of this study will help outlining precautions for the use of 3D applications. (shrink)

The Ω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Omega $$\end{document}-rule was introduced by W. Buchholz to give an ordinal-free proof of cut-elimination for a subsystem of analysis with Π11\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Pi ^{1}_{1}$$\end{document}-comprehension. W. Buchholz’s proof provides cut-free derivations by familiar rules only for arithmetical sequents. When second-order quantifiers are present, they are introduced by the Ω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Omega $$\end{document}-rule and some residual cuts are not (...) eliminated. In the present paper, we introduce an extension of the Ω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Omega $$\end{document}-rule and prove the complete cut-elimination by the same method as W. Buchholz: any derivation of arbitrary sequent is transformed into its cut-free derivation by the standard rules. In fact we treat the subsystem of Π11\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Pi ^{1}_{1}$$\end{document}-CA that W. Buchholz used for his explanation of G. Takeuti’s finite reductions. Extension to full Π11\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Pi ^{1}_{1}$$\end{document}-CA is planned for another paper. (shrink)

This paper aims to give a correct proof of Tait's conservative extension theorem. Tait's own proof is flawed in the sense that there are some invalid steps in his argument, and there is a counterexample to the main theorem from which the conservative extension theorem is supposed to follow. However, an analysis of Tait's basic idea suggests a correct proof of the conservative extension theorem and a corrected version of the main theorem.

This paper revisits a debate in epistemic democracy about the value of the Diversity Trumps Ability Theorem (Hong and Page 2004 and Page 2008) in supporting the claims of epistemic democrats in favor of more inclusive decision-making processes in politics. We conduct a systematic review of DTA results and conclude that while they generally support the epistemic claims of deliberative democrats, they also support reintroducing experts in certain contexts. We use these results to complicate Plato’s metaphor of the cave by (...) identifying different areas within it where ordinary citizens, experts, or a mix of both are in a better position to make decisions. (shrink)

Apathy and depression are frequently observed as behavioral and psychological symptoms of dementia, respectively, and are important for ensuring adequate care. This study aims to explore effective non-pharmacological interventions for apathy and depression with mild cognitive impairment and dementia. Five search engines including PubMed, Scopus, CINAHL, PsycInfo, and Web of Science were used to extract relevant studies. Inclusion criteria were studies that involved participants who were diagnosed with MCI or dementia, included quantitative assessments of each symptom, and employed randomized controlled (...) trials. Twenty studies were extracted, with interventions have been conducted in care facilities, the community, and hospitals. Participants in many studies had MCI or mild-to-moderate dementia but were not diagnosed with the subtypes of dementia. Few studies had set apathy and depression as the primary outcomes of non-pharmacological interventions. The findings suggested that emotional and stimulation-oriented approaches to apathy and depression would be useful for people with MCI or mild-to-moderate dementia. It would be helpful for therapists to assess the clinical features of the target symptoms for selecting suitable interventions. Additionally, increasing the number of randomized controlled trials focusing on apathy or depression as primary outcomes would offer a more definite conclusion for future systematic reviews. (shrink)

Gaisi Takeuti extended Gentzen's work to higher-order case in 1950's–1960's and proved the consistency of impredicative subsystems of analysis. He has been chiefly known as a successor of Hilbert's school, but we pointed out in the previous paper that Takeuti's aimed to investigate the relationships between "minds" by carrying out his proof-theoretic project rather than proving the "reliability" of such impredicative subsystems of analysis. Moreover, as briefly explained there, his philosophical ideas can be traced back to Nishida's philosophy in Kyoto's (...) school. For the proving the consistency of such systems, it is crucial to prove the well-foundedness of ordinals called "ordinal diagrams" developed for it. Takeuti presented such arguments several times in order to show that they are admitted in his stand point. As a starting point of investigating his finitist stand point, we formulate the system of ordinal notations up to ε0 and reconstruct the well-foundedness arguments of them. (shrink)

The problem of future contingents is regarded as an important philosophical problem in connection with determinism and it should be treated by tense logic. Prior’s early work focused on the problem, and later Prior studied branching-time tense logic which was invented by Kripke. However, Prior’s idea to use three-valued logic for the problem seems to be still alive. In this paper, we consider partial and paraconsistent approaches to the problem of future contingents. These approaches theoretically meet Aristotle’s interpretation of future (...) contingents. (shrink)