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)

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...

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)

Der Band enthält die drei bislang unveröffentlichten "Krisenhefte" von Marx mit Exzerpten, Zeitungsausschnitten und Notizen, die 1857/1858 während der ersten Weltwirtschaftskrise entstanden sind. Die Materialsammlung dokumentiert Marx’ empirische Untersuchung dieser Krise, die er mit der Zusammenstellung und Systematisierung von Artikeln, Angaben und Kommentaren aus führenden Zeitungen wie "The Times", "The Morning Star", "The Standard", "The Manchester Guardian" und "The Economist" durchführte. In den Auszügen werden Wirtschafts- und Finanzfragen in den europäischen Ländern sowie den USA, China, Indien, Ägypten, Australien und Brasilien (...) behandelt, der Finanz- und Warenmarkt untersucht, sowie Daten zu Konkursen, Arbeitslosigkeit, Kurzarbeit, Lohnentwicklung und Arbeitskämpfen festgehalten. Die Krisenhefte stehen in engem Zusammenhang mit Marx’ "Grundrissen der Kritik der politischen Ökonomie", seinen Artikeln für die "New-York Tribune" und Debatten mit Engels, in denen allesamt die Krise 1857/58 analysiert wird. (shrink)

ArgumentThis paper discusses one aspect of the context in which atomic physics developed in Japan between 1905 and 1931. It argues that during this period, there was a social context in which atomic physics was valued as a study of the electron and was thus relevant to electrical engineering. To demonstrate this, I first show that after the Russo-Japanese War, electrical engineering was deemed a valuable and viable field of research in Japan. Second, I show that physicists wrote textbooks and (...) popular accounts about the electron, covering topics from both atomic physics and electrical engineering and presenting the former as relevant to the latter. Finally, as an example of how atomic physics partially emerged from this context, I discuss the group of Kujirai Tsunetarō, an electrical engineer who worked in the physics department of the Institute for Physical and Chemical Research. From Kujirai's group, Nishina Yoshio started his career and became the most important Japanese atomic and nuclear physicist of the 1930s. (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)

This article describes the emergence of formal methods in theory of partial differential equations in the French school of mathematics through Janet’s work in the period 1913–1930. In his thesis and in a series of articles published during this period, Janet introduced an original formal approach to deal with the solvability of the problem of initial conditions for finite linear PDE systems. His constructions implicitly used an interpretation of a monomial PDE system as a generating family of a multiplicative set (...) of monomials. He introduced an algorithmic method on multiplicative sets to compute compatibility conditions, and to study the problem of the existence and the uniqueness of a solution to a linear PDE system with given initial conditions. The compatibility conditions are formulated using a refinement of the division operation on monomials defined with respect to a partition of the set of variables into multiplicative and non-multiplicative variables. Janet was a pioneer in the development of these algorithmic methods, and the completion procedure that he introduced on polynomials was the first one in a long and rich series of works on completion methods which appeared independently throughout the twentieth-century in various algebraic contexts. (shrink)

環境生態学、生態心理学、発達心理学、建築計画学、文化人類学、家族社会学、理論社会学に視座する気鋭の研究者たちが、現代の人間経験に切実に含まれる問題群の具体から、他者、行為、物、環境などの諸言説を根底的 に問い直し、来るべき人間科学の構築をめざして、執筆と横断的な討論を重ねた共同論作。.

The concept of quantum logic is extended so that it covers a more general set of propositions that involve non-trivial probabilities. This structure is shown to be embedded into a multi-modal framework, which has desirable logical properties such as an axiomatization, the finite model property and decidability.

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

A non-classical subsystem of orthomodular quantum logic is proposed. This system employs two basic operations: the Sasaki hook as implication and the _and-then_ operation as conjunction. These operations successfully satisfy modus ponens and the deduction theorem. In other words, they form an adjunction in terms of category theory. Two types of semantics are presented for this logic: one algebraic and one physical. The algebraic semantics deals with orthomodular lattices, as in traditional quantum logic. The physical semantics is given as a (...) procedure for deriving a final segment of a series of yes-no experiments. (shrink)

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.

Brain‐derived neurotrophic factor (BDNF) is the most‐abundant neurotrophin in the brain. In mammals, it is synthesized as a precursor called proBDNF, which is proteolytically cleaved to generate mature BDNF. The BDNF gene is located on chromosome 11p13, and a functional single nucleotide polymorphism (SNP) of this gene has been shown to produce a valine (Val)‐to‐methionine (Met) substitution in the proBDNF protein at codon 66 (Val66Met). Several papers suggest that this SNP is related to decreased hippocampal volume and hippocampus‐mediated memory performance (...) in humans. Recently, Chen et al.1 generated a variant BDNF mouse (BDNFMet/Met) that reproduces the phenotypic hallmarks in humans with a variant Met allele. In the behavioral analysis, BDNFMet/Met mice show increased anxiety‐related behaviors. This mini‐review examines the impact of Met substitution of proBDNF on anxiety‐related behaviors. BioEssays 29: 116–119, 2007. © 2007 Wiley Periodicals, Inc. (shrink)