Given the growing centrality of interdisciplinarity to scientific research, gaining a better understanding of successful interdisciplinary collaborations has become imperative. Drawing on extensive case studies of nine research networks in the social, natural, and computational sciences, we propose a construct that captures the multidimensional character of such collaborations, that of a shared cognitive–emotional–interactional platform. We demonstrate its value as an integrative lens to examine markers of and conditions for successful interdisciplinary collaborations as defined by researchers involved in these groups. We (...) show that markers and conditions embody three different dimensions: cognitive, emotional, and interactional; these dimensions are present in all networks, albeit to different degrees; the dimensions are intertwined and mutually constitutive; and they operate in conjunction with institutional conditions created by funders. We compare the SCEI platforms to available frameworks for successful interdisciplinary work. (shrink)

The priorities of French policy regarding genetically modified (GM) food shifted in the late 1990s from aggressive promotion to strict regulation based on precaution and separation of GM food. This paradigmatic policy change coincided with a rapid shift in the dominant meanings of GM food in larger French public discourses. Using data from media coverage, organizational documents, and in-depth interviews, the study examines the relationship between policy developments and GM food’s symbolic transformation. I argue that the interpretive dimension interacted with (...) and co-evolved incrementally with formal policy developments, and that it cannot be understood as epiphenomenal to political processes, or as preceding and propelling a policy change. I identify three mechanisms of symbolic transformation: (1) multiplication of meanings; (2) association with other salient issues; and (3) coupling with national identity (boundary work). Conversely, this symbolic transformation influenced the terms of political debates and viable strategies, influencing policy developments. The study also demonstrates how certain longstanding elements of French political culture shaped, and were changed or reproduced through, these processes. (shrink)

Cet article s’intéresse aux mutations de la famille japonaise au XXe siècle à travers les manga de Machiko Hasegawa (Sazae-san), première dessinatrice de bande dessinée au Japon, et de Kyoko Okazaki (La maison du bonheur et Au bord de la rivière), qui appartient à la génération actuelle. L’analyse comparée de plusieurs de leurs albums montre, notamment à travers les scènes de repas, la déstructuration de la famille japonaise d’après-guerre, dans un contexte d’industrialisation qui a poussé les Japonaises à délaisser (...) en partie le foyer familial pour travailler. (shrink)

Volume 20, Issue 8, August 2020, Page 32-36.

We can easily discriminate self-produced from externally generated sensory signals. Recent studies suggest that the prediction of the sensory consequences of one’s own actions made by forward model can be used to attenuate the sensory effects of self-produced movements, thereby enabling a differentiation of the self-produced sensation from the externally generated one. The present study showed that attenuation of sensation occurred both when participants themselves performed a goal-directed action and when they observed experimenter performing the same action, although they clearly (...) reported that the tones were produced by other during action observation and by themselves during their own action. These results suggest that sensory prediction of action modulates ongoing auditory processing irrespective of who produces the sounds and that the explicit judgment of agency does not necessarily rely on the same mechanisms on which implicit perceptual measures such as sensory attenuation rely. (shrink)

Platforms for sharing genomic and phenotype data have been developed to promote genomic research, while maximizing the utility of existing datasets and minimizing the burden on participants. The value of genomic analysis of trios or family members has increased, especially in rare diseases and cancers. This article aims to argue the necessity of protection when sharing data from both patients and family members. Sharing patients’ and family members’ data collectively raises an ethical tension between the value of datasets and the (...) rights of participants, and increases the risk of re-identification. However, current data-sharing policies have no specific safeguards or provisions for familial data sharing. A quantitative survey conducted on 10,881 general adults in Japan indicated that they expected stronger protection mechanisms when their family members’ clinical and/or genomic data were shared together, as compared to when only their data were shared. A framework that respects decision-making and the right of withdrawal of participants, including family members, along with ensuring usefulness and security of data is needed. To enable this, we propose recommendations on ancillary safeguards for familial data sharing according to the stakeholders, namely, initial researchers, genomic researchers, data submitters, database operators, institutional review boards, and the public and participants. Families have played significant roles in genetic research, and its value is re-illuminated in the era of genomic medicine. It is important to make progress in data sharing while simultaneously protecting the privacy and interests of patients and families, and return its benefits to them. (shrink)

In light of the growing interest in "ethically questionable" consumer behavior, this study explores possible explanations of the occurrence of such behaviour, and subsequently develops a theoretical framework. The study is based upon data collected from 72 U.K. consumers, acquired from a projective approach with scenarios. Taking the theory of planned behavior (TPB) as an initial analytical framework, attitude, social influence, opportunity(as perceived behavioral control in TPB) and perceived unfairnessare identified as the antecedents of ethically questionable behavior (EQB). Social influenceis (...) extended to include a broader range of external influences from subjective norm in TPB. Opportunityis considered to represent an aspect of perceived behavioral control as available resource to engage in EQB. Perceived unfairnessis presented as an additional component and refers to the extent to which an actor is motivated to redress an imbalance that is perceived as unfair. Binary logistic models suggest that attitudeand social influenceconsistently impact on EQB, as TPB would predict. Analysis of variance suggests that perceived unfairnessand opportunity, though context specific, also show signs of significant influence on the acceptance and practice of this behavior. Additional to the construct of TPB, this study develops the dimension of perceived unfairnessin the context of EQB decision-making. In the context of TPB, it provides further insight into our understanding of EQB, helping to provide a theoretical framework. (shrink)

The paper explores the emergence and development of socially responsible investment (SRI) in Japan. SRI is a recent field in Japan. It is not clear which model it will follow: the European, American or its own model. Through the analysis of the historical roots of SRI, the key actors and motivations that have contributed to its diffusion, the paper provides explorative grounds to sketch the translation mechanisms of SRI in Japan and offers insight into its future path. Based on primary (...) and secondary sources of information, the paper shows that although SRI in Japan holds some similarities with the U.S. and especially with the European model, it remains unique. It highlights the importance of translation and re-interpretation in adopting a practice in a new context. SRI in Japan is still in a dynamic construction process. Although we expect it to develop further, it is difficult to depict its future shape and form. (shrink)

Virtual reality (VR) through a head-mounted display (HMD) can provide new experiences. However, it remains unclear how the characteristics of HMDs affect users’ memory. To use HMDs more effectively and appropriately in several applied fields, including education, it is necessary to clarify what characteristics of HMDs affect users’ memory. A head-tracking function mounted on an HMD helps to detect the user’s head direction to enable a simulation experience akin to the real world. When we experience a simulation on an HMD, (...) we actively perceive the visual world. In this study, we assessed how active/passive viewing affects users’ memory of VR content. We conducted a psychological experiment in which participants watched a movie on an HMD. In the active viewing condition, the presented view changed depending on the participant’s head direction. In the passive viewing condition, the presented view was a recorded movie that was shown to the participants in the active viewing condition. All participants took a memory test about the content presented in the movie on the day of viewing and two weeks later. The results showed that performance on the memory test in the active viewing condition was significantly lower than that in the passive viewing condition after two weeks. This result indicated that active viewing in VR inhibited users’ memory compared to passive viewing. The current study contributes to the development of new VR techniques, such as educational learning. (shrink)

The number of competing-brands changes by new product's entry. The new product introduction is endemic among consumer packaged goods firm and is an integral component of their marketing strategy. As a new product's entry affects markets, there is a pressing need to develop market response model that can adapt to such changes. In this paper, we develop a dynamic model that capture the underlying evolution of the buying behavior associated with the new product. This extends an application of a dynamic (...) linear model, which is used by a number of time series analyses, by allowing the observed dimension to change at some point in time. Our model copes with a problem that dynamic environments entail: changes in parameter over time and changes in the observed dimension. We formulate the model with framework of a state space model. We realize an estimation of the model using modified Kalman filter/fixed interval smoother. We find that new product's entry (1) decreases brand differentiation for existing brands, as indicated by decreasing difference between cross-price elasticities; (2) decreases commodity power for existing brands, as indicated by decreasing trend; and (3) decreases the effect of discount for existing brands, as indicated by a decrease in the magnitude of own-brand price elasticities. The proposed framework is directly applicable to other fields in which the observed dimension might be change, such as economic, bioinformatics, and so forth. (shrink)

This study examines the effects of nationality (U.S. vs. China) and personal values on managers’ responses to the Perceived Role of Ethics and Social Responsibility (PRESOR) scale. Evidence that China’s transition to a socialist market economy has led to widespread business corruption, led us to hypothesize that People’s Republic of China (PRC) managers would believe less strongly in the importance of ethical and socially responsible business conduct. We also hypothesized that after controlling for national differences, managers’ personal values (more specifically, (...) self-transcendence values) would have a significant impact on PRESOR responses. The hypotheses were tested using a sample of practicing managers enrolled in part-time MBA programs in the two countries. The results indicate that nationality did not have a consistent impact on PRESOR responses. After controlling for national differences, self-transcendence values had a significant positive impact on two of the three PRESOR dimensions. Conservation values such as conformity and tradition also had a significant association with certain dimensions of the PRESOR scale. (shrink)

This paper examines how Japanese multinational companies manage corporate social responsibility (CSR). It considers how the concept has come to be framed within Japanese business, which is increasingly globalized and internationally focused, yet continues to exhibit strong cultural specificities. The discussion is based on interviews with managers who deal with CSR issues and strategy on a day-to-day basis from 13 multinational companies. In looking at how CSR practice has been adopted and adapted by Japanese corporations, we can begin to see (...) what implications arise from the fact that CSR is a Western-led concept, so opening up critical questions about the future development and evolution of CSR practice within a global context. In being exposed to the concept of CSR as practiced vigilantly in western countries, Japanese multinational company managers have certainly come to re-evaluate aspects of business likely to need rectifying (with potential concerns being gender inequalities, discrepancies in employee conditions, and issues over human rights and supply chains). Japan can be thought to be lagging behind in its understanding and adoption of CSR, in part because corporations do not necessarily state their policies as formally as might be expected. Yet, by analyzing more deeply the kinds of responses gained from CSR managers in Japan (and by placing their remarks within a broader context of Japanese culture and business practices) a far more subtle and revealing picture becomes apparent, not least a more complex picture of the local/global interaction of the frames of reference of corporate responsibility. (shrink)

Efforts to promote corporate social and environmental accountability (SEA) should be informed by an understanding of stakeholders’ attitudes toward enhanced accountability standards. However, little is known about current attitudes on this subject, or the determinants of these attitudes. To address this issue, this study examines the relationship between personal values and support for social and environmental accountability for a sample of experienced MBA students. Exploratory factor analysis of the items comprising our measure of support for SEA revealed two distinct factors: (...) (1) endorsement of the general proposition that corporations and executives should be held accountable for the social and environmental impacts of their actions; and (2) agreement that the government should adopt and enforce formal SEA standards. Our findings indicate that the universalism value type is positively associated with general support for SEA, but not with support for government enforcement of accountability standards. In addition, we found that gender has a significant impact on support for government enforcement of SEA standards. (shrink)

There are reasons to believe that decision‐making capacity (mental competence) of women in labor may be compromised in relation to giving informed consent to epidural analgesia. Not only severe labor pain, but also stress, anxiety, and premedication of analgesics such as opioids, may influence women’s decisional capacity. Decision‐making capacity is a complex construct involving cognitive and emotional components which cannot be reduced to ‘understanding’ alone. A systematic literature search identified a total of 20 empirical studies focused on women’s decision‐making about (...) epidural analgesia for labor pain. Our review of these studies suggests that empirical evidence to date is insufficient to determine whether women undergoing labor are capable of consenting to epidural analgesia. Given such uncertainties, sufficient information about pain management should be provided as part of prenatal education and the consent process must be carefully conducted to enhance women’s autonomy. To fill in the significant gap in clinical knowledge about laboring women’s decision‐making capacity, well‐designed prospective and retrospective studies may be required. (shrink)

The paper addresses the problem of pursuing ethical business practices purely under the aegis of ‘integrity’, as frequently used to characterise morally desirable traits. Drawing on the work of philosopher Thomas Kasulis, the paper pairs ‘integrity’ with ‘intimacy’ as a critical concept, placing greater attention upon relational properties, helping to understand ethics as existing between individuals, things and the environment. The argument is that by paying careful attention to spatial and temporal dynamics and proximities of exchange, businesses can better maintain (...) and extend practices of integrity. It reminds us that ethics are developmental ; that the cultivation of ethics provides greater depth and ownership and pertains to matters of the body and habits. The paper contributes a way of reading exchanges in the marketplace beyond prescriptive accounts of integrity. Through the lens of both integrity and intimacy, it identifies how we actually ‘live’ or practice greater responsiveness to exchanges. (shrink)

While entanglement is a phenomenon discussed in quantum theory, it can also be found in art. We propose to connect entanglement to art’s most fundamental question: what is creativity? For example, Marcel Duchamp found the essence of the creative act in the “art coefficient,” the difference and/or gap between the artist’s intention and realization which is created. This paper locates the common sense understanding of entanglement in an inseparable whole that ensures difference between the intention and realization. Seeing the artistic (...) act as actively designing entanglement within artistic production, we present examples of this from the work of the Japanese-style painter Nakamura, and present a concrete vision for an answer regarding the question of the nature of creativity. (shrink)

In their comprehensive review article, De Bie et al., using some references, discreetly point out that pregnant women’s decision in Domain III to undergo fetal extraction via C-section should conti...

While changes in response to the different stages of the pandemic remain unknown, this study investigated the longitudinal impact of the COVID-19 pandemic on depressive symptoms in Japanese university students and identified factors associated with new onset of depression and suicidal ideation. Two surveys were conducted at one university in Akita, Japan, during the first COVID-19 outbreak period and 1 year later. Moderate depressive symptoms were defined as a Patient Health Questionnaire-9 score ≥ 10 and suicide-related ideation score ≥ 1 (...) on question 9 of the questionnaire. Among 985 students who completed surveys in T1 and T2, participants with moderate depressive symptoms and suicide-related ideation increased from 11 to 17% and from 5.8 to 11.8%, respectively. Among 872 students at risk after excluding those with moderate depressive symptoms at T1, 103 students developed moderate depressive symptoms at T2. Among the 928 students at risk, after excluding those who had suicidal ideation at T1, 79 developed suicidal ideation. Multivariate logistic modeling revealed financial insecurity and academic performance as risk factors, while having someone to consult about worries was a coping factor for depressive symptoms and suicidal ideation. Our findings demonstrated that socioenvironmental factors may determine depressive symptoms of university students. (shrink)

Crew Pairing is one of the most important and difficult problems for airline companies. Nets to fuel costs, the crew costs constitute the largest cost of airlines, and the crew costs depend on the quality of the solution to the pairing problem. Conventional systems have been used to solve a daily model, which handles only regular flights with many simplifications, so a lot of corrections are needed to get a feasible solution and the quality of the solution is not so (...) high. A fully dated model, which handles regular flights and irregular flights simultaneously, is extremely hard and has not been solved directly hitherto. The number of irregular flights tend to increase in Europe and Japan, hence the resolution of the practical fully dated pairing system is desired. This paper presents a new approach which solves directly the fully dated crew pairing by Genetic Algorithms. GA is improved with stochastic processes to attack the fully dated model, and many heuristics are included in the decoding mecanism of the GA. For several hundred flights per day for fully dated 2 months scheduling period, the system found better or equivalent solutions to the human scheduler’s without any simplification from 5 to 20 times faster. (shrink)

Schedule planning is one of the most crucial issues for any airline company, because the profit of the company directly depends on the efficiency of the schedule. This paper presents a novel scheduling method which solves problems related to time scheduling, fleet assignment and maintenance routing simultaneously by Genetic Algorithms. Every schedule constraint is embeded in the fitness function, which is described as an object oriented model and works as a simulater developing itself over time, and whose solution is executable (...) without human correction. The schedular is able to solve the problems involving several hundred flights in a few hours, and the solutions are superior or equivalent to those by human experts in terms of the estimated profit. (shrink)

The American Journal of Bioethics, Volume 11, Issue 6, Page 27-29, June 2011.

We highlight that the connection of well-foundedness and recursive definitions is more than just convenience. While the consequences of making well-foundedness a sufficient condition for the existence of hierarchies have been extensively studied, we point out that well-foundedness is a necessary condition for the existence of hierarchies e.g. that even in an intuitionistic setting α⊢wfwhereα\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${_\alpha \vdash \mathsf{wf}\, {\rm where}\, _\alpha}$$\end{document} stands for the iteration of Π10\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} (...) \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Pi^0_1}$$\end{document} comprehension along some ordinal α\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\alpha}$$\end{document} and wf\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf{wf}}$$\end{document} stands for the well-foundedness of α\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\alpha}$$\end{document}. (shrink)

... because the thing-in-itself has no abnormality. Anything unusual will appear, after I myself see it: Abnormality belongs not to the thing-in-itself, but to myself. Kuo P'u (276-324), Shan-hai ching (Scriptures of the Mountains and the Seas).

We introduce a new axiom called inductive dichotomy, a weak variant of the axiom of inductive definition, and analyze the relationships with other variants of inductive definition and with related axioms, in the general second order framework, including second order arithmetic, second order set theory and higher order arithmetic. By applying these results to the investigations on the determinacy axioms, we show the following. (i) Clopen determinacy is consistency-wise strictly weaker than open determinacy in these frameworks, except second order arithmetic; (...) this is an enhancement of Schweber–Hachtman separation of open and clopen determinacy into the consistency-wise separation. (ii) Hausdorff–Kuratowski hierarchy of differences of opens is faithfully reflected by the hierarchy of consistency strengths of corresponding parameter-free determinacies in the aforementioned frameworks; this result is valid also in second order arithmetic only except clopen determinacy. (shrink)

This article reports that some robustness of the notions of predicativity and of autonomous progression is broken down if as the given infinite total entity we choose some mathematical entities other than the traditionalω. Namely, the equivalence between normal transfinite recursion scheme and newdependent transfinite recursionscheme, which does hold in the context of subsystems of second order number theory, does not hold in the context of subsystems of second order set theory where the universeVof sets is treated as the given (...) totality. (shrink)

Human beings express affinity (Shinwa‐kan in Japanese language) in communicating transactive engagements among healthcare providers, patients and healthcare robots. The appearance of healthcare robots and their language capabilities often feature characteristic and appropriate compassionate dialogical functions in human–robot interactions. Elements of healthcare robot configurations comprising its physiognomy and communication properties are founded on the positivist philosophical perspective of being the summation of composite parts, thereby mimicking human persons. This article reviews Mori's theory of the Uncanny Valley and its consequent debates, (...) and examines "Uncanny" relations with generating healthcare robot conversational content with artificial affective communication (AAC) using natural language processing. With healthcare robots provoking influential physical composition and sensory expressions, the relations in human–healthcare robot transactive engagements are argued as supportive of the design and development in natural language processing. This implies that maintaining human–healthcare robot interaction and assessing the eeriness situations explained in the Uncanny Valley theory are crucial positions for healthcare robot functioning as a valuable commodity in health care. As such, physical features, language capabilities and mobility of healthcare robots establish the primacy of the AAC with natural language processing as integral to healthcare robot–human healthcare practice. (shrink)

Cadherins are a large family of single‐pass transmembrane proteins principally involved in Ca2+‐dependent homotypic cell adhesion. The cadherin molecules comprise three domains, the intracellular domain, the transmembrane domain and the extracellular domain, and form large complexes with a vast array of binding partners (including cadherin molecules of the same type in homophilic interactions and cellular protein catenins), orchestrating biologically essential extracellular and intracellular signalling processes. While current, contrasting models for classic cadherin homophilic interaction involve varying numbers of specific repeats found (...) in the extracellular domain, the structure of the domain itself clearly remains the main determinant of cell stability and binding specificity. Through intracellular interactions, cadherin enhances its adhesive properties binding the cytoskeleton via cytoplasmic associated factors α‐ catenin, β‐catenin and p120ctn. Recent structural studies on classic cadherins and these catenin molecules have provided new insight into the essential mechanisms underlying cadherin‐mediated cell interaction and catenin‐mediated cellular signalling. Remarkable structural diversity has been observed in β‐catenin recognition of other cellular factors including APC, Tcf and ICAT, proteins that contribute to or compete with cadherin/catenin functioning. BioEssays 26:497–511, 2004. © 2004 Wiley Periodicals, Inc. (shrink)

Free will in intentional consciousness is exposed to skeptics since it was found that subconscious neural activities, what is called readiness potential, precedes the intention to an action. The question of whether free will is an authentic illusion has been argued not only in psychology but physics and philosophy. Most of scientists, however, think that the intentional consciousness who believes to have his/her own free will, is determined by readiness potential in advance, and that free will cannot coexist with determinism. (...) We here point out that knowing to be determined in advance cannot be verified till local event at a local site can be known from a different local site without disturbing the event. That is the assumption of locality. We here show that determinism, free will and locality are three essential elements in consciousness, and show that they constitute trilemma. The fact that one of three elements must be abandoned can lead to three types of consciousness. Absence of free will can constitute type I consciousness which is consistent with symptoms in autism spectrum disorder such as weakened theory of mind. Absence of determinism can constitute type II consciousness which is consistent with symptoms in schizophrenia such as thought insertion, self-other integration. Absence of locality can constitute type III consciousness which is consistent with typical people. We can find the entanglement of intentional consciousness with unconsciousness including readiness potential only in type III consciousness. Finally, we show that sense of agency and free will cannot be established until consciousness as an entanglement is implemented. (shrink)

We introduce a new simple way of defining the forcing method that works well in the usual setting under FA, the Foundation Axiom, and moreover works even under Aczel's AFA, the Anti-Foundation Axiom. This new way allows us to have an intuition about what happens in defining the forcing relation. The main tool is H. Friedman's method of defining the extensional membership relation ∈ by means of the intensional membership relation ε .Analogously to the usual forcing and the usual generic (...) extension for FA-models, we can justify the existence of generic filters and can obtain the Forcing Theorem and the Minimal Model Theorem with some modifications. These results are on the line of works to investigate whether model theory for AFA-set theory can be developed in a similar way to that for FA-set theory.Aczel pointed out that the quotient of transition systems by the largest bisimulation and transition relations have the essentially same theory as the set theory with AFA. Therefore, we could hope that, by using our new method, some open problems about transition systems turn out to be consistent or independent. (shrink)

We investigate which part of Brouwer’s Intuitionistic Mathematics is finitistically justifiable or guaranteed in Hilbert’s Finitism, in the same way as similar investigations on Classical Mathematics already done quite extensively in proof theory and reverse mathematics. While we already knew a contrast from the classical situation concerning the continuity principle, more contrasts turn out: we show that several principles are finitistically justifiable or guaranteed which are classically not. Among them are: fan theorem for decidable fans but arbitrary bars; continuity principle (...) and the axiom of choice both for arbitrary formulae; and $\Sigma _2$ induction and dependent choice. We also show that Markov’s principle MP does not change this situation; that neither does lesser limited principle of omniscience LLPO ; but that limited principle of omniscience LPO makes the situation completely classical. (shrink)

A standard methodology in philosophy of language is to use intuitions as evidence. Machery, Mallon, Nichols, and Stich challenged this methodology with respect to theories of reference by presenting empirical evidence that intuitions about one prominent example from the literature on the reference of proper names vary between Westerners and East Asians. In response, Sytsma and Livengood conducted experiments to show that the questions Machery and colleagues asked participants in their study were ambiguous, and that this ambiguity affected the responses (...) given by Westerners. Sytsma and Livengood took their results to cast doubt on the claim that the current evidence indicates that there is cross-cultural variation in intuitions about the Gödel case. In this paper we report on a new cross-cultural study showing that variation in intuitions remains even after controlling for the ambiguity noted by Sytsma and Livengood. (shrink)

This study examined how different components of working memory are involved in the acquisition of egocentric and allocentric survey knowledge by people with a good and poor sense of direction (SOD). We employed a dual-task method and asked participants to learn routes from videos with verbal, visual, and spatial interference tasks and without any interference. Results showed that people with a good SOD encoded and integrated knowledge about landmarks and routes into egocentric survey knowledge in verbal and spatial working memory, (...) which is then transformed into allocentric survey knowledge with the support of all three components, distances being processed in verbal and spatial working memory and directions in visual and spatial working memory. In contrast, people with a poor SOD relied on verbal working memory and lacked spatial processing, thus failing to acquire accurate survey knowledge. Based on the results, a possible model for explaining individual differences in spatial knowledge acquisition is proposed. (shrink)

We study filters in residuated structures that are associated with congruence relations (which we call -filters), and develop a semantical theory for general substructural logics based on the notion of primeness for those filters. We first generalize Stone’s sheaf representation theorem to general substructural logics and then define the primeness of -filters as being “points” (or stalkers) of the space, the spectrum, on which the representing sheaf is defined. Prime FL-filters will turn out to coincide with truth sets under various (...) well known semantics for certain substructural logics. We also investigate which structural rules are needed to interpret each connective in terms of prime -filters in the same way as in Kripke or Routley-Meyer semantics. We may consider that the set of the structural rules that each connective needs in this sense reflects the difficulty of giving the meaning of the connective. A surprising discovery is that connectives , ⅋ of linear logic are linearly ordered in terms of the difficulty in this sense. (shrink)

Following the finitist’s rejection of the complete totality of the natural numbers, a finitist language allows only propositional connectives and bounded quantifiers in the formula-construction but not unbounded quantifiers. This is opposed to the currently standard framework, a first-order language. We conduct axiomatic studies on the notion of truth in the framework of finitist arithmetic in which at least smash function $\#$ is available. We propose finitist variants of Tarski ramified truth theories up to rank $\omega $, of Kripke–Feferman truth (...) theory and of Friedman–Sheard truth theory, and show that all of these have the same strength as the finitist arithmetic of one higher level along Grzegorczyk hierarchy. On the other hand, we also show that adding Burgess-style groundedness schema, adjusted to the finitist setting, makes Kripke–Feferman truth theory as strong as primitive recursive arithmetic. Meanwhile, we obtain some basic results on finitist theories of (full and hat) inductive definitions and on the second order axiom of hat inductive definitions for positive operators. (shrink)