This is the softcover reprint of the very popular hardcover edition. The theory of large cardinals is currently a broad mainstream of modern set theory, the main area of investigation for the analysis of the relative consistency of mathematical propositions and possible new axioms for mathematics. The first of a projected multi-volume series, this book provides a comprehensive account of the theory of large cardinals from its beginnings and some of the direct outgrowths leading to the frontiers of contemporary research. (...) A a oegenetica approach is taken, presenting the subject in the context of its historical development. With hindsight the consequential avenues are pursued and the most elegant or accessible expositions given. With open questions and speculations provided throughout the reader should not only come to appreciate the scope and coherence of the overall enterprise but also become prepared to pursue research in several specific areas by studying the relevant sections. (shrink)

Set theory is an autonomous and sophisticated field of mathematics, enormously successful not only at its continuing development of its historical heritage but also at analyzing mathematical propositions cast in set-theoretic terms and gauging their consistency strength. But set theory is also distinguished by having begun intertwined with pronounced metaphysical attitudes, and these have even been regarded as crucial by some of its great developers. This has encouraged the exaggeration of crises in foundations and of metaphysical doctrines in general. However, (...) set theory has proceeded in the opposite direction, from a web of intensions to a theory of extensionpar excellence, and like other fields of mathematics its vitality and progress have depended on a steadily growing core of mathematical structures and methods, problems and results. There is also the stronger contention that from the beginning set theory actually developed through a progression ofmathematicalmoves, whatever and sometimes in spite of what has been claimed on its behalf.What follows is an account of the development of set theory from its beginnings through the creation of forcing based on these contentions, with an avowedly Whiggish emphasis on the heritage that has been retained and developed by current set theory. The whole transfinite landscape can be viewed as the result of Cantor's attempt to articulate and solve the Continuum Problem. (shrink)

This article serves to present a large mathematical perspective and historical basis for the Axiom of Replacement as well as to affirm its importance as a central axiom of modern set theory.

We discuss the work of Paul Cohen in set theory and its influence, especially the background, discovery, development of forcing.

Categorial grammar is well-known for its elegant analysis of coordination enabled by the flexible notion of constituency it entertains. However, to date, no systematic study exists that examines whether this analysis has any obvious empirical advantage over alternative analyses of nonconstituent coordination available in phrase structure-based theories of syntax. This paper attempts precisely such a comparison. We compare the direct constituent coordination analysis of non-canonical coordinations in categorial grammar with an ellipsis-based analysis of the same phenomena in the recent HPSG (...) literature. We provide a set of empirical evidence, consisting of cases in which non-canonical coordinations interact with scopal operators of various sorts, which systematically falsifies the predictions of the latter, ‘linearization-based’ ellipsis approach to coordination. We propose an alternative analysis in a variant of categorial grammar called Hybrid Type-Logical Categorial Grammar. The proposed framework builds on both the Lambek-inspired variants of categorial grammar and a more recent line of work modelling word order via a lambda calculus for the prosodic component. The flexible syntax–semantics interface of this framework straightforwardly captures the interactions between non-canonical coordinations and scopal expressions, demonstrating the broader empirical payoff of the direct constituent coordination analysis of non-canonical coordinations pioneered by Steedman :523–568, 1985; Linguist Philos 13:207–263, 1990) and Dowty hitherto not explicitly recognized in the literature. (shrink)

After publishing his first collection of poems entitled Interrogation (1917), Pierre Drieu La Rochelle returned to writing on the First World War in La Comédie de Charleroi (1934). The writer examined the moral and political significance of the “last war” in a retrospective manner in this collection of autobiographical short stories that he published just before his conversion to Fascism. However, Drieu did not treat his experience of the war as a distant memory. On the contrary, his texts are characterised (...) by emotivity, as if he was attempting to relive the very moment of his war. From this point of view, we examine the style and narrative structure of “La Comédie de Charleroi”. In this short story which opens the book, Drieu created a poetic narrative by mixing narrative prose and lyricism, and thus undermined realistic chronology. By means of this poetic narrative, he wrote his memory of the “last war” and, at the same time, expressed his “cry” which was the leitmotiv of his first collection of poems. This literary experience seems to have had an ideological consequence, as shown in Socialisme fasciste (1934). (shrink)

We consider natural strengthenings of H. Friedman's Borel diagonalization propositions and characterize their consistency strengths in terms of the n -subtle cardinals. After providing a systematic survey of regressive partition relations and their use in recent independence results, we characterize n -subtlety in terms of such relations requiring only a finite homogeneous set, and then apply this characterization to extend previous arguments to handle the new Borel diagonalization propositions.

Este artículo da cuenta de la aparición histórica de lo infinito en la teoría de conjuntos, y de cómo lo tratamos dentro y fuera de las matemáticas. La primera sección analiza el surgimiento de lo infinito como una cuestión de método en la teoría de conjuntos. La segunda sección analiza el infinito dentro y fuera de las matemáticas, y cómo deben adoptarse. This article address the historical emergence of the infinite in set theory, and how we are to take the (...) infinite in and out of mathematics.The first section discusses the emergence of the infinite as a matter of method in set theory. The second section discusses the infinite in and out of mathematics, and how it is to be taken. (shrink)

Analytic philosophy, a dominant tradition of twentieth-century philosophy, can be informatively cast as the outgrowth of the investigations of logic and language of Gottlob Frege, Bertrand Russell, and Ludwig Wittgenstein, and in the next generation, of Rudolf Carnap and W.V. Quine. As such, it is a specific historical development, one that featured subtle dialectical interactions among its propounders, interactions that have been reflected or reenacted in later developments. Whatever its heritage, contemporary analytic philosophy continues to use investigations of language and (...) thought to get at fundamental issues at the heart of philosophy: truth, meaning, and knowledge. (shrink)

This study investigates the choice of genitive forms (the woman’s book vs. the book of the woman) in the English of Japanese-English bilingual returnees (i.e. children who returned from a second language dominant environment to their first language environment). The specific aim was to examine whether change in language dominance/exposure influences choice of genitive form in the bilingual children; the more general question was the extent to which observed behaviour can be explained by cross linguistic influence (CLI). First, we compared (...) the choice of genitive form between monolingual Japanese speakers and bilinguals who had recently returned to Japan from an English monolingual environment. Second, we tracked changes in genitive preference within bilingual children, comparing their performances upon return to Japan to those of one year later. Results show that CLI alone is insufficient to explain the difference in genitive evaluation between bilinguals and monolinguals, as well as the intra-group bilingual variation over time. We suggest that both CLI and general processing considerations couple together to influence the changes in genitive preference. (shrink)

全国各地で活躍した近江商人の優れた経営手腕や活動の根底には、仏教があった。近江商人と成功に導いた、特有の生活態度を考察する。.

BackgroundBoth impairment and sex differences in social cognition and neurocognition have been documented in schizophrenia. However, whether sex differences exist in the association between social cognition and neurocognition are not known. We aimed to investigate the contribution of areas of neurocognition to theory of mind and hostility bias, representing social cognition, according to sex in early course schizophrenia.MethodsIn this cross-sectional study, we assessed neurocognition using the Japanese version of the Brief Assessment of Cognition in Schizophrenia and assessed the ToM and (...) hostility bias subdomains of social cognition using the Social Cognition Screening Questionnaire in 131 participants diagnosed with schizophrenia within 5 years of onset. Sex differences were analyzed using t-tests. The associations of neurocognitive subdomains with ToM and hostility bias according to sex were analyzed using multiple regression analysis. Results were adjusted by age, estimated premorbid intelligence quotient, and symptomatology.ResultsNo sex differences were found in ToM or hostility bias. Higher verbal fluency was significantly associated with higher ToM in females, whereas higher executive function was significantly associated with higher ToM in males. Higher verbal fluency was significantly associated with lower hostility bias in females, whereas neurocognition and hostility bias were not significantly associated in males.ConclusionThe results suggest that neurocognition associated with social cognition differ according to sex. These differences should be considered for more effective treatment of social cognition. (shrink)

メタ倫理学、規範倫理学、応用倫理学を体系的に概説した入門書。大学における倫理学教育のミニマム・エッセンスを体系的に学べるユニークなテキスト。.

Web-based learning resources provide learners with hyperspace where they can navigate in a self-directed way to learn the contents included in the Web pages. The navigation involves making a sequence of the pages visited, which is called navigation path. However, learners often fail in making the navigation path due to a cognitive overload, which is caused by diverse cognitive efforts at comprehending the contents in Web pages, and monitoring the navigation process such as planning and reflection of navigation path. In (...) the self-directed learning, in particular, it is difficult for learners to maintain the navigation monitoring. Focusing on navigation planning, this paper addresses the issue of how to facilitate learners' navigation monitoring to promote their learning in hyperspace provided by Web-based learning resources. Our approach to this issue is to provide learners with a space, in which they can see through the learning resources to plan a navigation path, apart from hyperspace. In this paper, we also demonstrate an assistant system for the navigation planning, which is composed of hyperspace map, page previewer, and path previewer. These facilities give learners an overview of Web pages and navigation path to help them make a navigation path plan without visiting Web pages in hyperspace. This paper also describes a case study with the assistant system. The results indicate that the system facilitates navigation particularly in a more complicated hyperspace. (shrink)

For the modern set theorist the empty set Ø, the singleton {a}, and the ordered pair 〈x, y〉 are at the beginning of the systematic, axiomatic development of set theory, both as a field of mathematics and as a unifying framework for ongoing mathematics. These notions are the simplest building locks in the abstract, generative conception of sets advanced by the initial axiomatization of Ernst Zermelo [1908a] and are quickly assimilated long before the complexities of Power Set, Replacement, and Choice (...) are broached in the formal elaboration of the ‘set of’f {} operation. So it is surprising that, while these notions are unproblematic today, they were once sources of considerable concern and confusion among leading pioneers of mathematical logic like Frege, Russell, Dedekind, and Peano. In the development of modern mathematical logic out of the turbulence of 19th century logic, the emergence of the empty set, the singleton, and the ordered pair as clear and elementary set-theoretic concepts serves as amotif that reflects and illuminates larger and more significant developments in mathematical logic: the shift from the intensional to the extensional viewpoint, the development of type distinctions, the logical vs. the iterative conception of set, and the emergence of various concepts and principles as distinctively set-theoretic rather than purely logical. Here there is a loose analogy with Tarski's recursive definition of truth for formal languages: The mathematical interest lies mainly in the procedure of recursion and the attendant formal semantics in model theory, whereas the philosophical interest lies mainly in the basis of the recursion, truth and meaning at the level of basic predication. Circling back to the beginning, we shall see how central the empty set, the singleton, and the ordered pair were, after all. (shrink)

Ernst Friedrich Ferdinand Zermelo transformed the set theory of Cantor and Dedekind in the first decade of the 20th century by incorporating the Axiom of Choice and providing a simple and workable axiomatization setting out generative set-existence principles. Zermelo thereby tempered the ontological thrust of early set theory, initiated the delineation of what is to be regarded as set-theoretic, drawing out the combinatorial aspects from the logical, and established the basic conceptual framework for the development of modern set theory. Two (...) decades later Zermelo promoted a distinctive cumulative hierarchy view of models of set theory and championed the use of infinitary logic, anticipating broad modern developments. In this paper Zermelo's published mathematical work in set theory is described and analyzed in its historical context, with the hindsight afforded by the awareness of what has endured in the subsequent development of set theory. Elaborating formulations and results are provided, and special emphasis is placed on the to and fro surrounding the Schröder-Bernstein Theorem and the correspondence and comparative approaches of Zermelo and Gödel. Much can be and has been written about philosophical and biographical issues and about the reception of the Axiom of Choice, and we will refer and defer to others, staying the course through the decidedly mathematical themes and details. (shrink)

コンピュータの歴史、アルゴリズムの理論の解説を経て、未解決であるミレニアム問題のひとつ、「P≠NP問題」に迫ります!

RésuméDans la partie duŠifāʾqui porte “sur les plantes”, Avicenne aboutit à cette conclusion inattendue que celles-ci ne seraient pas vivantes. Cette thèse surprend étant donné l'opinion d'Aristote voulant que tout ce qui a une âme est vivant. Cet article montre qu'Avicenne a évolué quant à la question de la vie des plantes. Il commence par adopter la conception aristotélicienne selon laquelle les plantes sont vivantes dans la mesure où elles sont dotées d'une âme, comme il ressort de son œuvre précoce (...) qu'est leCompendium sur l'âme.Ensuite cependant, une fois qu'Avicenne a analysé les facultés de l'âme comme il le fait principalement dans sonCanon de Médecine, il est conduit à conclure que les plantes ne pouvaient pas être dites vivantes. Cet article illustre ainsi l'intérêt qu'il y a, lorsqu'on étudie le développement de la pensée d'Avicenne, à prendre en compte l'impact de ses découvertes médicales sur ses réflexions philosophiques. (shrink)

Kurt Gödel with his work on the constructible universeLestablished the relative consistency of the Axiom of Choice and the Continuum Hypothesis. More broadly, he ensured the ascendancy of first-order logic as the framework and a matter of method for set theory and secured the cumulative hierarchy view of the universe of sets. Gödel thereby transformed set theory and launched it with structured subject matter and specific methods of proof. In later years Gödel worked on a variety of set theoretic constructions (...) and speculated about how problems might be settled with new axioms. We here chronicle this development from the point of view of the evolution of set theory as a field of mathematics. Much has been written, of course, about Gödel's work in set theory, from textbook expositions to the introductory notes to his collected papers. The present account presents an integrated view of the historical and mathematical development as supported by his recently published lectures and correspondence. Beyond the surface of things we delve deeper into the mathematics. What emerges are the roots and anticipations in work of Russell and Hilbert, and most prominently the sustained motif of truth as formalizable in the “next higher system”. We especially work at bringing out how transforming Gödel's work was for set theory. It is difficult now to see what conceptual and technical distance Gödel had to cover and how dramatic his re-orientation of set theory was. (shrink)

In this commemorative article, the work of Richard Laver is surveyed in its full range and extent.

The author reflects on his long career as an educational psychologist and on the role of literature in his vision of psychological science. The author followed with great interest the major developments in psychology around the world, but he felt himself progressively alienated from the revealing power of art and literature. At one moment, he realized that a simple narrative constitutes the most profound and also the most effective means of transmitting genuine insights about teaching from one generation to another. (...) This narrative reveals a career guided by high ideals and compromised by the harsh realities of the discipline of psychology. (shrink)