数理論理学の基本となる命題・述語論理から、チューリング機械・形式手法・ブール代数といった「少し先」の内容までを丁寧に解説。.

The notion of quasi-minimal structures was defined by B. Zil'ber as a natural generalization of minimal structures. Inspired by his work, we study here basic model theoretic properties of quasiminimal structures. Main result is the construction of ω-saturated quasi-minimal models under ω-stability assumption.

We study the following conjecture. Conjecture. Let T be an ω-stable theory with continuum many countable models. Then either i) T has continuum many complete extensions in L1(T), or ii) some complete extension of T in L1 has continuum many L1-types without parameters. By Shelah's proof of Vaught's conjecture for ω-stable theories, we know that there are seven types of ω-stable theory with continuum many countable models. We show that the conjecture is true for all but one of these seven (...) cases. In the last case we show the existence of continuum many L2-types. (shrink)

We study the following conjecture. Conjecture. Let $T$ be an $\omega$-stable theory with continuum many countable models. Then either i) $T$ has continuum many complete extensions in $L_1$, or ii) some complete extension of $T$ in $L_1$ has continuum many $L_1$-types without parameters. By Shelah's proof of Vaught's conjecture for $\omega$-stable theories, we know that there are seven types of $\omega$-stable theory with continuum many countable models. We show that the conjecture is true for all but one of these seven (...) cases. In the last case we show the existence of continuum many $L_2$-types. (shrink)

We show that is a quasi-minimal torsion-free divisible abelian group. After discussing the axiomatization of the theory of this structure, we present its ω-saturated quasi-minimal model.

We show that K-generic projective planes have Morley rank either two or infinity. We also show give a direct argument that such planes are not Desarguesian.

Intuition is frequently used in medicine. Along with the use of existing medical rules, there is a separate channel that physicians rely on when making decisions: their intuition. To cope with the epistemic problem of using intuition, I use some clues from Wittgenstein's philosophy to illuminate the decision-making process in medicine. First, I point to a connection between intuition as functioning in medicine and Wittgenstein's notions of "seeing as" or noticing "aspects". Secondly, I use Wittgenstein notion of empirical regularities hardened (...) into rules to suggest that there are two stages that should be addressed in the analysis of medical practice: the first concerns the accumulation of cases and the second pertains to the setting a rule based on these cases. I argue further that the medical context is exceptional in that the two stages are intertwined and, and explain the consequences of this fact for the physician's work. Finally, inspired by Wittgenstein's rule-following conundrum, I argue that medicine is particularly prone to difficulties in applying a general rule to a specific case represented by an individual patient. Recourse to intuition is reflects the physicians' efforts to bridge this gap. (shrink)

Asymmetrical convergence is the increasing overlap between academic and industrial sectors, but with academia moving closer toward for-profit industrial norms than vice versa. Although this concept, developed by Kleinman and Vallas, is useful, processes of asymmetrical convergence in daily laboratory life are largely unexplored. Here, observations of three lab groups of chemical scientists in academic and industry contexts illustrate variation in interactions with ethics-related policies. Findings show more tension for academic science with business-based practices, such as the move toward greater (...) accountability, than for industrial science with academic practices. This asymmetry is evident in the process of purposive decoupling: for example, where academic scientists use humor to distance themselves from the performance of compliance in required reporting and top-down ethics training requirements. This distancing from meaningless requirements contrasts with mentoring around practices of professional behavior that are thought to matter. Convergence is evident in how safety policies seem more engaging than other kinds of policies. Yet, power structures shape engagement. Academic engagement often means rule following, and flows vertically from professor’s authority to student apprenticeship. Industry engagement includes collaborative problem solving and flows along a more horizontal peer structure where informal power is less visible. (shrink)

In his paper “Non-human moral status: problems with phenomenal consciousness,” Joshua Shepherd emphasized an objectivist understanding of welfare to establish the moral status of non-human entities...

:One view of practical reasoning is that it involves the weighing of reasons. It is not clear, however, how the weights of reasons combine, especially given the logical and substantive relations among different reasons. Nor is it clear how the weighing of reasons relates to decision theoretic maximization of expected value. This paper constructs a formal model of reasons and their weight in order to shed light on these issues. The model informs philosophical debates about reasons, such as the question (...) of whether reasons or values are more fundamental and the opposing doctrines of atomism and holism about reasons. (shrink)

Objective: The purpose of this study was to demonstrate how educators involved in the teaching of bioethics to healthcare university students in Japan would cope with ethical disagreement in the classroom, and to identify factors influencing them.Methods: A cross sectional survey was conducted using self administered questionnaires mailed to a sample of university faculty in charge of bioethics curriculum for university healthcare students.Results: A total of 107 usable questionnaires were returned: a response rate of 61.5%. When facing ethical disagreement in (...) the classroom, coping behaviour differed depending on the topic of discussion, was influenced by educators’ individual clear ethical attitudes regarding the topic of discussion, and was independent of many respondents’ individual and social backgrounds. Among educators, it was commonly recognised that the purpose of bioethics education was to raise the level of awareness of ethical problems, to provide information about and knowledge of those issues, to raise students’ sensitivity to ethical problems, and to teach students methods of reasoning and logical argument. Yet, despite this, several respondents considered the purpose of bioethics education to be to influence students about normative ethical judgments. There was no clear relationship, however, between ways of coping with ethical disagreement and educators’ sense of the purpose of bioethics education.Conclusions: This descriptive study suggests that educators involved in bioethics education for healthcare university students in Japan coped in various ways with ethical disagreement. Further research concerning ethical disagreement in educational settings is needed to provide better bioethics education for healthcare students. (shrink)

The largest transcriptome reported so far comprises 60,770 mouse full‐length cDNA clones, and is an effective reference data set for comparative transcriptomics. The number of mouse cDNAs identified greatly exceeds the number of genes predicted from the sequenced human and mouse genomes. This is largely because of extensive alternative splicing and the presence of many non‐coding RNAs (ncRNAs), which are difficult to predict from genomic sequences. Notably, ncRNAs are a major component of the transcriptomes of higher organisms, and many sense–antisense (...) pairs have been identified. The ncRNAs function in a range of regulatory mechanisms for gene expression and other biological processes. They might also have contributed to the increased functional diversification of genomes during evolution. In this review, we discuss aspects of the transcriptome of various organisms in relation to the mouse data, in order to shed light on the regulatory mechanisms and physiological significance of these abundant RNAs. BioEssays 26:833–843, 2004. © 2004 Wiley Periodicals, Inc. (shrink)

The notion of the unconscious resulted in a reversal of optics concerning the evidence of consciousness, and the split which Freud created in the analysis of mental activities elicited many reactio...

Human brain organoids are three-dimensional masses of tissues derived from human stem cells that partially recapitulate the characteristics of the human brain. They have promising applications in many fields, from basic research to applied medicine. However, ethical concerns have been raised regarding the use of human brain organoids. These concerns primarily relate to the possibility that brain organoids may become conscious in the future. This possibility is associated with uncertainties about whether and in what sense brain organoids could have consciousness (...) and what the moral significance of that would be. These uncertainties raise further concerns regarding consent from stem cell donors who may not be sufficiently informed to provide valid consent to the use of their donated cells in human brain organoid research. Furthermore, the possibility of harm to the brain organoids raises question about the scope of the donor’s autonomy in consenting to research involving these entities. Donor consent does not establish the reasonableness of the risk and harms to the organoids, which ethical oversight must ensure by establishing some measures to mitigate them. To address these concerns, we provide three proposals for the consent procedure for human brain organoid research. First, it is vital to obtain project-specific consent rather than broad consent. Second, donors should be assured that appropriate measures will be taken to protect human brain organoids during research. Lastly, these assurances should be fulfilled through the implementation of precautionary measures. These proposals aim to enhance the ethical framework surrounding human brain organoid research. (shrink)

Artificial intelligence (AI) has garnered tremendous attention in health care, and many hope that AI can enhance our health system’s ability to care for people with chronic and degenerative conditions, including Parkinson’s Disease (PD). This paper reports the themes and lessons derived from a qualitative study with people living with PD, family caregivers, and health care providers regarding the ethical dimensions of using AI to monitor, assess, and predict PD symptoms and progression. Thematic analysis identified ethical concerns at four intersecting (...) levels: personal, interpersonal, professional/institutional, and societal levels. Reflecting on potential benefits of predictive algorithms that can continuously collect and process longitudinal data, participants expressed a desire for more timely, ongoing, and accurate information that could enhance management of day-to-day fluctuations and facilitate clinical and personal care as their disease progresses. Nonetheless, they voiced concerns about intersecting ethical questions around evolving illness identities, familial and professional care relationships, privacy, and data ownership/governance. The multi-layer analysis provides a helpful way to understand the ethics of using AI in monitoring and managing PD and other chronic/degenerative conditions. (shrink)

Grammatical theories of Scalar Implicatures make use of an exhaustivity operator exh, which asserts the conjunction of the prejacent with the negation of excludable alternatives. We present a new Grammatical theory of Scalar Implicatures according to which exh is replaced with pex, an operator that contributes its prejacent as asserted content, but the negation of scalar alternatives at a non-at-issue level of meaning. We show that by treating this non-at-issue level as a presupposition, this theory resolves a number of empirical (...) challenges faced by the old formulation of exh (as well as by standard neo-Gricean theories). The empirical challenges include projection of scalar implicatures from certain embedded environments (‘some under some’ sentences, some under negative factives), their restricted distribution under negation, and the existence of common ground-mismatching and oddness-inducing implicatures. We argue that these puzzles have a uniform solution given a pex-based Grammatical theory of implicatures and some independently motivated principles concerning presupposition projection, cancellation and accommodation. (shrink)

ObjectiveProcessing Speed, the ability to perceive and react fast to stimuli in the environment, has been shown to be impaired in children with attention deficit hyperactivity disorder. However, it is unclear whether PS can be improved following targeted treatments for ADHD. Here we examined potential changes in PS following application of transcranial electric stimulation combined with cognitive training in children with ADHD. Specifically, we examined changes in PS in the presence of different conditions of mental fatigue.MethodsWe used a randomized double-blind (...) active-controlled crossover study of 19 unmedicated children with ADHD. Participants received either anodal transcranial direct current stimulation over the left dorsolateral prefrontal cortex or transcranial random noise stimulation, while completing CT, and the administration order was counterbalanced. PS was assessed before and after treatment using the MOXO-CPT, which measures PS in the presence of various conditions of mental fatigue and cognitive load.ResultstRNS combined with CT yielded larger improvements in PS compared to tDCS combined with CT, mainly under condition of increased mental fatigue. Further improvements in PS were also seen in a 1-week follow up testing.ConclusionThis study provides initial support for the efficacy of tRNS combined with CT in improving PS in the presence of mental fatigue in pediatric ADHD. (shrink)

Continuous first-order logic has found interest among model theorists who wish to extend the classical analysis of “algebraic” structures to various natural classes of complete metric structures. With research in continuous first-order logic preoccupied with studying the model theory of this framework, we find a natural question calls for attention. Is there an interesting set of axioms yielding a completeness result?The primary purpose of this article is to show that a certain, interesting set of axioms does indeed yield a completeness (...) result for continuous first-order logic. In particular, we show that in continuous first-order logic a set of formulae is satisfiable if it is consistent. From this result it follows that continuous first-order logic also satisfies an approximated form of strong completeness, whereby Σ⊨φ only if Σ⊢φ∸ 2-n for all n < ω. This approximated form of strong completeness asserts that if Σ⊨φ, then proofs from Σ, being finite, can provide arbitrarily better approximations of the truth of φ.Additionally, we consider a different kind of question traditionally arising in model theory—that of decidability. When is the set of all consequences of a theory recursive? Say that a complete theory T is decidable if for every sentence φ, the value φT is a recursive real, and moreover, uniformly computable from φ. If T is incomplete, we say it is decidable if for every sentence φ the real number φT∘ is uniformly recursive from φ, where φT∘is the maximal value of φ consistent with T. As in classical first-order logic, it follows from the completeness theorem of continuous first-order logic that if a complete theory admits a recursive axiomatization then it is decidable. (shrink)

Sentences such as Olivia can take Logic or Algebra (‘♢∨-sentences’) are typically interpreted as entailing that Olivia can take Logic and can take Algebra. Given a standard semantics for modals and disjunction, those ‘Free choice’ (FC) readings are not predicted from the surface form of ♢∨-sentences. Yet the standard semantics is appropriate for the ‘double prohibition’ reading typically assigned to ¬♢∨-sentences like Olivia can’t take Logic or Algebra. Several extant approaches to FC can account for those two cases, but face (...) challenges when ♢∨, ¬♢∨ and related sentences appear embedded in certain environments. In this paper, we present a novel account of FC that builds on a ‘grammatical’ theory of scalar implicatures — proposed by Bassi et al. (2021) and Del Pinal (2021) — according to which covert exhaustification is a presupposition trigger such that the prejacent forms the assertive content while any excludable or includable alternatives are incorporated at the non-at issue, presuppositional level. Applied to ♢∨, ¬♢∨, and similar sentences, ‘presuppositional exhaustification’ predicts that their default interpretations have an assertive component (roughly, the classical interpretation of the prejacent) and a homogeneity presupposition which projects in standard ways. Those predictions, we then show, support a uniform account of the puzzling behavior of ♢∨, ¬♢∨, and related sentences when embedded under (negative) factives (Marty & Romoli 2020), disjunctions (Romoli & Santorio 2019), and in the scope of universal, existential (Bar-Lev & Fox 2020) and non-monotonic quantifiers (Gotzner et al. 2020). (shrink)

We give a general framework for the treatment of perturbations of types and structures in continuous logic, allowing to specify which parts of the logic may be perturbed. We prove that separable, elementarily equivalent structures which are approximately $aleph_0$-saturated up to arbitrarily small perturbations are isomorphic up to arbitrarily small perturbations. As a corollary, we obtain a Ryll-Nardzewski style characterisation of complete theories all of whose separable models are isomorphic up to arbitrarily small perturbations.

We present an adaptation of continuous first order logic to unbounded metric structures. This has the advantage of being closer in spirit to C. Ward Henson's logic for Banach space structures than the unit ball approach, as well as of applying in situations where the unit ball approach does not apply. We also introduce the process of single point emph{emboundment}, allowing to bring unbounded structures back into the setting of bounded continuous first order logic. Together with results from cite{BenYaacov:Perturbations} regarding (...) perturbations of bounded metric structures, we prove a Ryll-Nardzewski style characterisation of theories of Banach spaces which are separably categorical up to small perturbation of the norm. This last result is motivated by an unpublished result of Henson. (shrink)

In this project, we assessed 242 codes of media ethics from 94 countries across the globe, focusing on their treatment of moonlighting. The analysis included whether the codes dealt with moonlighting, whether geopolitical and geoeconomic characteristics affected the treatment of the issue, and whether the type of media organization was significant. Only about half the codes addressed moonlighting; Eastern European countries paid the greatest attention to moonlighting, and newspapers and chains were more likely than other media organizations to deal with (...) the issue. Overall, it appears that codes of ethics do not provide clear, strict, or consistent guidelines. (shrink)

-/- Continuous first-order logic has found interest among model theorists who wish to extend the classical analysis of “algebraic” structures (such as fields, group, and graphs) to various natural classes of complete metric structures (such as probability algebras, Hilbert spaces, and Banach spaces). With research in continuous first-order logic preoccupied with studying the model theory of this framework, we find a natural question calls for attention. Is there an interesting set of axioms yielding a completeness result? -/- The primary purpose (...) of this article is to show that a certain, interesting set of axioms does indeed yield a completeness result for continuous first-order logic. In particular, we show that in continuous first-order logic a set of formulae is (completely) satisfiable if (and only if) it is consistent. From this result it follows that continuous first-order logic also satisfies an approximated form of strong completeness, whereby Σ⊧φ (if and) only if Σ⊢φ ∸2−n for all n < ω. This approximated form of strong completeness asserts that if Σ⊧φ, then proofs from Σ, being finite, can provide arbitrarily better approximations of the truth of φ. -/- Additionally, we consider a different kind of question traditionally arising in model theory—that of decidability. When is the set of all consequences of a theory (in a countable, recursive language) recursive? Say that a complete theory T is decidable if for every sentence φ, the value φ T is a recursive real, and moreover, uniformly computable from φ. If T is incomplete, we say it is decidable if for every sentence φ the real number φ T o is uniformly recursive from φ, where φ T o is the maximal value of φ consistent with T. As in classical first-order logic, it follows from the completeness theorem of continuous first-order logic that if a complete theory admits a recursive (or even recursively enumerable) axiomatization then it is decidable. (shrink)

Clinical ethics support, including ethics consultation, has become established in the field of medical practice throughout the world. This practice has been regarded as useful, most notably in the UK and the USA, in solving ethical problems encountered by both medical practitioners and those who receive medical treatment. In Japan, however, few services are available to respond to everyday clinical ethical issues, although a variety of difficult ethical problems arise daily in the medical field: termination of life support, euthanasia and (...) questions about patient autonomy. In light of these conditions, a group of 17 volunteer educators and researchers from the area of biomedical ethics, including the authors, have formed the Clinical Ethics Support and Education Project, and began providing Japan’s first small team clinical ethics consultation service in October, 2006. Members include scholars of biomedical ethics, scholars of philosophy and ethics, legal professionals and legal scholars, nurses and doctors, consisting of five women and 12 men. Consultation teams, made up of a small number of members, were organised each time a request for consultation was received. Over approximately 15 months (October 2006–December 2007), the programme received 22 consultation requests from medical practitioners and medical institutions, and three from the families of patients. In this paper, we will discuss the status of our consultation service and examples of consultation cases we have handled. In addition, we will examine the process of evaluating small team clinical ethics consultation services, as well as the strengths and weakness of such programmes. (shrink)

Artificial intelligence (AI) technologies in medicine are gradually changing biomedical research and patient care. High expectations and promises from novel AI applications aiming to positively impact society raise new ethical considerations for patients and caregivers who use these technologies. Based on a qualitative content analysis of semi-structured interviews and focus groups with healthcare professionals (HCPs), patients, and family members of patients with Parkinson’s Disease (PD), the present study investigates participant views on the comparative benefits and problems of using human versus (...) AI predictive computer vision health monitoring, as well as participants’ ethical concerns regarding these technologies. Participants presumed that AI monitoring would enhance information sharing and treatment, but voiced concerns about data ownership, data protection, commercialization of patient data, and privacy at home. They highlighted that privacy issues at home and data security issues are often linked and should be investigated together. Findings may help technologists, HCPs, and policymakers determine how to incorporate stakeholders’ intersecting but divergent concerns into developing and implementing AI PD monitoring tools. (shrink)

We point out how the "Fundamental Theorem of Stability Theory", namely the equivalence between the "non order property" and definability of types, proved by Shelah in the 1970s, is in fact an immediate consequence of Grothendieck's "Criteres de compacite" from 1952. The familiar forms for the defining formulae then follow using Mazur's Lemma regarding weak convergence in Banach spaces.

The Pareto principle is a normative principle about preferences that advocates concordance with unanimous preference. However, people have perspectives not just preferences. Evaluating preferences...

The argument from inductive risk claims that judgments about the moral severity of errors are relevant to decisions about what should count as sufficient evidence for accepting claims. While this idea has been explored in connection with evidence required for the approval of pharmaceuticals, the role of inductive risk in the post-approval process has been largely neglected. In this article, we examine the ethics of inductive risk in connection with revisions to the product monograph for OxyContin in Canada, which understates (...) the risks of addiction and abuse associated with this drug. Using the concept of inductive risk, we consider what evidence should have been sufficient for Health Canada to revise the product monograph for OxyContin. Given the stakes involved, we argue that a less strict standard of evidence would have been appropriate, yet HC in fact took the opposite course, insisting upon a higher standard of evidence than it normally requires. In addition to providing a novel perspective on the opioid crisis in Canada, this article contributes to existing philosophical work by demonstrating that inductive risks in the post-approval stage are important and linked to pre-approval inductive risks. (shrink)

We investigated the key anatomical structures mediating interhemispheric integration during the perception of apparent motion across the retinal midline. Previous studies of commissurotomized patients suggest that subcortical structures mediate interhemispheric transmission but the specific regions involved remain unclear. Here, we exploit interindividual variations in the propensity of normal subjects to perceive horizontal motion, in relation to vertical motion. We characterize these differences psychophysically using a Dynamic Dot Quartet (an ambiguous stimulus that induces illusory motion). We then tested for correlations between (...) a tendency to perceive horizontal motion and fractional anisotropy (FA) (from structural diffusion tensor imaging), over subjects. FA is an indirect measure of the orientation and integrity of white matter tracts. Subjects who found it easy to perceive horizontal motion showed significantly higher FA values in the pulvinar. Furthermore, fiber tracking from an independently identified (subject-specific) visual motion area converged on the pulvinar nucleus. These results suggest that the pulvinar is an anatomical hub and may play a central role in interhemispheric integration. (shrink)

Neuronal activities have recently been reported to exhibit power-law scaling behavior. However, it has not been demonstrated that the power-law component can play an important role in human perceptual functions. Here, we demonstrate that the power spectrum of magnetoencephalograph recordings of brain activity varies in coordination with perception of subthreshold visual stimuli. We observed that perceptual performance could be better explained by modulation of the power-law component than by modulation of the peak power in particular narrow frequency ranges. The results (...) suggest that the brain operates in a state of self-organized criticality, modulating the power spectral exponent of its activity to optimize its internal state for response to external stimuli. (shrink)

We investigated how the structure of the brain network relates to the stability of perceptual alternation in binocular rivalry. Historically, binocular rivalry has provided important new insights to our understandings in neuroscience. Although various relationships between the local regions of the human brain structure and perceptual switching phenomena have been shown in previous researches, the global organization of the human brain structural network relating to this phenomenon has not yet been addressed. To approach this issue, we reconstructed fiber-tract bundles using (...) diffusion tensor imaging and then evaluated the correlations between the speeds of perceptual alternation and fractional anisotropy (FA) values in each fiber-tract bundle integrating among 84 brain regions. The resulting comparison revealed that the distribution of the global organization of the structural brain network showed positive or negative correlations between the speeds of perceptual alternation and the FA values. First, the connections between the subcortical regions stably were negatively correlated. Second, the connections between the cortical regions mainly showed positive correlations. Third, almost all other cortical connections that showed negative correlations were located in one central cluster of the subcortical connections. This contrast between the contribution of the cortical regions to destabilization and the contribution of the subcortical regions to stabilization of perceptual alternation provides important information as to how the global architecture of the brain structural network supports the phenomenon of binocular rivalry. (shrink)

The brain is a very complex structure. Over the past several decades, many studies have aimed to understand how various non-uniform variables relate to each other. The current study compared the whole-brain network organization and global spatial distribution of cell densities in the monkey brain. Wide comparisons between 27 graph theoretical measures and cell densities revealed that only participation coefficients (PCs) significantly correlated with cell densities. Interestingly, PCs did not show a significant correlation with spatial coordinates. Furthermore, the significance of (...) the correlation between cell densities and spatial coordinates disappeared only with the removal of the visual module, while the significance of the correlation between cell densities and PCs disappeared with the removal of any one module. Taken together, these results suggested the presence of a combinatorial effect of modular architectures in the network organization related to the non-uniformity of cell densities additional to the spatially monotonic change. (shrink)

This article reports an interesting link between the psychophysical property of intentional control of perceptual switching and the underlying neural activities. First, we revealed that the timing of perceptual switching for a dynamical dot quartet can be controlled by the observers' intention, without eye movement. However, there is a clear limitation to this control, such that each animation frame of the stimulus must be presented for a sufficiently long time length; in other words, the frequency of the stimulus alternation must (...) be sufficiently slow for the control. The typical stimulus onset asynchrony for a 50% level of success was about 275 ms for an average of 10 observers. On the basis of psychophysical property, we designed three experiments for investigating the neural process with a magnetoencephalography. They revealed that: (1) a peak component occurring about 300 ms after a reversal was stronger when the direction of perceived motion was switched intentionally than when it was not switched, and (2) neural components about 30–40 ms and 240–250 ms after the reversal of the stimulus animation were stronger when perception was altered intentionally than when it was switched unintentionally. The 300 ms component is consistent with a previous study about passive perceptual switching (Struber and Herrmann [2002]: Cogn Brain Res 14:370–382), but the intentional effect was seemed to be a different component from the well-known P300 component. (shrink)