Let K be an infinite Galois extension of the rationals such that every finite subextension has odd degree over the rationals and its prime ideals dividing 2 are unramified. We show that its ring of integers is first-order definable in K. As an application we prove that equation image together with all its Galois subextensions are undecidable, where Δ is the set of all the prime integers which are congruent to −1 modulo 4.

We say that a subset A of M is implicitly definable in M if there exists a sentence $\phi$ in the language $\mathcal{L} \cup \{P\}$ such that A is the unique set with $ \models \phi$. We consider implicit definability of subfields of a given field. Among others, we prove the following: $\overline{\mathbb{Q}}$ is not implicitly $\emptyset$-definable in any of its elementary extension $K \succ \overline{\mathbb{Q}}$. $\mathbb{Q}$ is implicitly $\emptyset$-definable in any field K with tr.deg $_{\mathbb{Q}}K < \omega$. In a (...) field extension $\mathbb{Q} < K$ with K algebraically closed, $\mathbb{Q}$ is implicitly definable in K if and only if tr.deg $_{\mathbb{Q}}$ is finite. (shrink)

The paper presents a new argument for epistemic permissivism. The version of permissivism that we defend is a moderate version that applies only to explicit doxastic attitudes. Drawing on Yalcin’s framework for modeling such attitudes, we argue that two fully rational subjects who share all their evidence, prior beliefs, and epistemic standards may still differ in the explicit doxastic attitudes that they adopt. This can happen because two such subjects may be sensitive to different questions. Thus, differing intellectual interests can (...) yield failures of uniqueness. This is not a merely pragmatic phenomenon. (shrink)

田辺は自己の生を包摂する時代の趨勢と真摯に対峙し、廣松は「近代」の陥穽を注視し絶えず他者との協働を考察し続けた。この二人の視座から「啓蒙の弁証法」の陥穽に落ちた日本社会と日本人の「生の姿」を考えていく 。.

Recent work on the application of neural networks to language modeling has shown that models based on certain neural architectures can capture syntactic information from utterances and sentences even when not given an explicitly syntactic objective. We examine whether a fully data-driven model of language development that uses a recurrent neural network encoder for utterances can track how child language utterances change over the course of language development in a way that is comparable to what is achieved using established language (...) assessment metrics that use language-specific information carefully designed by experts. Given only transcripts of child language utterances from the CHILDES Database and no pre-specified information about language, our model captures not just the structural characteristics of child language utterances, but how these structures reflect language development over time. We establish an evaluation methodology with which we can examine how well our model tracks language development compared to three known approaches: Mean Length of Utterance, the Developmental Sentence Score, and the Index of Productive Syntax. We discuss the applicability of our model to data-driven assessment of child language development, including how a fully data-driven approach supports the possibility of increased research in multilingual and cross-lingual issues. (shrink)

Interventions performed on a pregnant woman's body can affect the fetus in multiple ways. Such effects can be harmful to beneficial to the fetus. Unfortunately, the effects of new drugs and compoun...

丸山眞男の政治思想史と廣松渉の哲学は「現代の人間世界における人間性の運命とは」を「問う」たのであった。今、だからこそ惰性となった現実主義を「醒めた目」で捉える必要がある。つまり、丸山と廣松の両者のよう に「“鉄のように堅い殻”」の歴史内部で退動する「弁証法的緊張」を把握しなくてはならない。二人が生涯を賭けた思想史と哲学の探求は、人間の歴史的現実に対する私たち自身の課題なのである。.

Ariga Tetsutaro (1899–1977) war Professor für das Studium des Christentums an der Universität Kyoto und gehörte dort der zweiten Professoren-generation an. Er legte die Grundlagen der Patristik und der Erforschung des Christentums in Japan. In seinem Hauptwerk “Origenes” hatte er den Historismus in der Theologie erforscht, aber nachdem er seinen Dienst als Professor an der staatlichen Universität aufgenommen hatte, die die Trennung von Staat und Religion hochhielt, suchte er nach Wegen, ein ‘Studium des Christlichen’ zu etablieren, das sich von der (...) Theologie unterschied. Dabei dienten ihm Schleiermachers “Kurze Darstellung des theologischen Studiums” und die Tradition des deutschen liberalen Protestantismus als Anhaltspunkte. Anstatt der Theologie, die den Glauben als methodischen Ausgangspunkt hat, und der Religionswissenschaft, die nur die distanzierte Objektivität als Ausgangspunkt wählt, schlug er als neuen Versuch ein Christliches Studium mit akademischem Standpunkt vor, bei dem der Gelehrte eine Forschungshaltung einnimmt, die durch ein Mindestmaß an vernünftiger Kritik und ‘Ur-Sympathie’ gegenüber der Religion geprägt ist. (shrink)

Ariga Tetsutaro (1899–1977) war Professor für das Studium des Christentums an der Universität Kyoto und gehörte dort der zweiten Professoren-generation an. Er legte die Grundlagen der Patristik und der Erforschung des Christentums in Japan. In seinem Hauptwerk “Origenes” hatte er den Historismus in der Theologie erforscht, aber nachdem er seinen Dienst als Professor an der staatlichen Universität aufgenommen hatte, die die Trennung von Staat und Religion hochhielt, suchte er nach Wegen, ein ‘Studium des Christlichen’ zu etablieren, das sich von der (...) Theologie unterschied. Dabei dienten ihm Schleiermachers “Kurze Darstellung des theologischen Studiums” und die Tradition des deutschen liberalen Protestantismus als Anhaltspunkte. Anstatt der Theologie, die den Glauben als methodischen Ausgangspunkt hat, und der Religionswissenschaft, die nur die distanzierte Objektivität als Ausgangspunkt wählt, schlug er als neuen Versuch ein Christliches Studium mit akademischem Standpunkt vor, bei dem der Gelehrte eine Forschungshaltung einnimmt, die durch ein Mindestmaß an vernünftiger Kritik und ‘Ur-Sympathie’ gegenüber der Religion geprägt ist. (shrink)

The $$\varepsilon $$ -elimination method of Hilbert’s $$\varepsilon $$ -calculus yields the up-to-date most direct algorithm for computing the Herbrand disjunction of an extensional formula. A central advantage is that the upper bound on the Herbrand complexity obtained is independent of the propositional structure of the proof. Prior (modern) work on Hilbert’s $$\varepsilon $$ -calculus focused mainly on the pure calculus, without equality. We clarify that this independence also holds for first-order logic with equality. Further, we provide upper bounds analyses (...) of the extended first $$\varepsilon $$ -theorem, even if the formalisation incorporates so-called $$\varepsilon $$ -equality axioms. (shrink)

人間は「生」を得た瞬間から「死」という「滅び」に向かって生きている。そうであるからこそ「生」を尊ぶという考え方が日本の美をつくってきた。日本の美意識の基層をなし、自然に美を見いだした「優美」。演技を七 分にとどめ、完全に演じ切らないことを説いた世阿弥の「幽玄」。慢心する秀吉を戒め、侘びることを説いた利休の「侘び」。旅の途中で寂びつくして命つきることを願った芭蕉の「さび」。西欧文化の影響が背景にある「 きれい」。そして、二一世紀に世界を席巻する「かわいい」とは―。日本の美の潮流を俯瞰し、心のふるさとに耳をすます。.

This article aims to clarify the meaning of henology for Lacan and Žižek. Žižek apparently rejects Neoplatonic way of thinking, but by considering Lacanian Henology through its origin, Etienne Gilson, Lacanian henology and Žižek’s Hegelian reading of the One become converged. Both of them think the movement of the One from one principle and its two aspects. The principle is that the One gives something that it does not have, and it corresponds to Lacanian definition of love. Regarding its two (...) aspects, the first one is the logical necessity that generates necessarily the One, and the second is the logical contingency that generates contingently the surplus element. By this, we can clarify the theoretical development of each period of Lacan. In early Lacan, henology was a logic that ties his “the Symbolic” and Freudian Death drive. In middle Lacan, his main concern was the mathematical logic as the logic of the Id, and henology became the generative logic of the subject of enunciation or the subject of the jouissance. But at the same time, this movement produces as a co-product a inassimilable remainder, “object a” with the subject of signifiant. In late Lacan, by virtue of the “necessary” movement of the One and its “contingent” co-product, the universe of the discourse became indeterminate, undecidable, “not-all,” which means for Lacan “the contingent.” This characteristic became the logic of Lacanian “sexuation.”. (shrink)

This short account summarizes our recent achievements in ultrafast coherent control of isolated molecules in the gas phase, and its ongoing applications to an ensemble of ultracold Rydberg atoms to explore quantum many-body dynamics.

This study discusses the pattern of development of child-related policies, particularly in recent years. The Liberal Democratic Party (LDP) lacks interest in public engagement in child-related issues, whereas Komeito, the recent coalition partner of the LDP, has been the driving force of recent developments. The study investigates the historical development of three child-related policies: namely, child allowance, childcare services, and the facilitation of work–life balance of employees, and discusses the role of Komeito in the recent coalition government. An analytical model (...) is provided to explain why Komeito was active in the development of child allowance, but not other policies. On the whole, the participation of Komeito in the coalition government seems to give impetus to the development of child-related polices, but the scope of that party's behavior is constrained, due to its position as a minor partner in the coalition government. (shrink)