From Soul to Self takes us on a fascinating journey through philosophy, theology, religious studies and physiological sciences. The contributors explore the relationship between a variety of ideas that have arisen in philosophy, religion and science, each idea seeking to explain why we think we are somehow unique and distinct.

That Catullus’ sixty-fourth poem influenced Virgil's work has long been accepted. We approach a little nearer a resolution of the enigma of the Fourth Eclogue when we recognize epithalamian elements within it that echo not only the song of the Parcae, but also the themes of the Golden Age, of the Voyage of the Argo, and of the relations between gods and men from Catullus’ poem. Similarly, Ariadne's part in the creation of Aeneid 4, both in the ‘marriage’ scene and (...) in Dido's reproaches to Aeneas, has been noted. (shrink)

An ω-model (a model in which all natural numbers are standard) of the predicative fragment of Quine's set theory "New Foundations" (NF) is constructed. Marcel Crabbe has shown that a theory NFI extending predicative NF is consistent, and the model constructed is actually a model of NFI as well. The construction follows the construction of ω-models of NFU (NF with urelements) by R. B. Jensen, and, like the construction of Jensen for NFU, it can be used to construct α-models for (...) any ordinal α. The construction proceeds via a model of a type theory of a peculiar kind; we first discuss such "tangled type theories" in general, exhibiting a "tangled type theory" (and also an extension of Zermelo set theory with Δ 0 comprehension) which is equiconsistent with NF (for which the consistency problem seems no easier than the corresponding problem for NF (still open)), and pointing out that "tangled type theory with urelements" has a quite natural interpretation, which seems to provide an explanation for the more natural behaviour of NFU relative to the other set theories of this kind, and can be seen anachronistically as underlying Jensen's consistency proof for NFU. (shrink)

This paper extends the results of an earlier paper by the author . New subsystems of the combinatory logic TRC shown in that paper to be equivalent to NF are introduced; these systems are analogous to subsystems of NF with predicativity restrictions on set comprehension introduced and shown to be consistent by Crabbé. For one of these systems, an exact equivalence in consistency strength and expressive power with the analogous subsystem of NF is established.

This paper presents an exposition of subsystems and of Quine's , originally defined and shown to be consistent by Crabbé, along with related systems and of type theory. A proof that (and so ) interpret the ramified theory of types is presented (this is a simplified exposition of a result of Crabbé). The new result that the consistency strength of is the same as that of is demonstrated. It will also be shown that cannot be finitely axiomatized (as (...) can and ). (shrink)

This study described the relationships between academic class and student moral sensitivity and reasoning and between curriculum design components for ethics education and student moral sensitivity and reasoning. The data were collected from freshman (n = 506) and senior students (n = 440) in eight baccalaureate nursing programs in South Korea by survey; the survey consisted of the Korean Moral Sensitivity Questionnaire and the Korean Defining Issues Test. The results showed that moral sensitivity scores in patient-oriented care and conflict were (...) higher in senior students than in freshman students. Furthermore, more hours of ethics content were associated with higher principled thinking scores of senior students. Nursing education in South Korea may have an impact on developing student moral sensitivity. Planned ethics content in nursing curricula is necessary to improve moral sensitivity and moral reasoning of students. (shrink)

It is shown that the 3-stratifiable sentences are equivalent in $\mathit{NFU}$ to truth-functional combinations of sentences about objects, sets of objects, sets of sets of objects, and sentences stating that there are at least $n$ urelements. This is then used to characterize the closed 3-stratifiable theorems of $\mathit{NFU}$ with an externally infinite number of urelements, as those that can be nearly proved in $\mathit{TTU}$ with an externally infinite number of urelements. As a byproduct we obtain a rather simple demonstration of (...) the consistency of 3-stratifiable extensions of $\mathit{NFU}$. (shrink)

Keywords Religious poem - Metaphysical poem.

Counterexamples to reassurance relative to a relation between models of the logic of paradox are provided. Another relation, designed to fix the problem in logic without equality, is introduced and discussed in connection with the issue of classical recapture.

It is usually assumed that the only British Romantic writer who engaged meaningfully with German philosophy was S. T. Coleridge. This edition disproves that assumption.

We prove the cut-elimination theorem, Gentzen's Hauptsatz, for the system for stratified comprehension, i. e. Quine's NF minus extensionality.

It is shown that the 3-stratifiable sentences are equivalent in to truth-functional combinations of sentences about objects, sets of objects, sets of sets of objects, and sentences stating that there are at least urelements. This is then used to characterize the closed 3-stratifiable theorems of with an externally infinite number of urelements, as those that can be nearly proved in with an externally infinite number of urelements. As a byproduct we obtain a rather simple demonstration of the consistency of 3-stratifiable (...) extensions of. (shrink)

Ibn al-ʻArabī, 1165-1240; views on freedom; Sufism; Islamic philosophy.

We characterize the notion of validity relatively to models, for comprehension axioms, containing gluts.

Rapport d'expériences portant sur la reconnaissance, dans des photogrammes, des photographies ou des dessins, d'une action humaine filmée. Les résultats sont analysés à la lumière de certaines interprétations psychologiques de ce que l'on appelle le mouvement dans l'image. La reconnaissance ne pouvant pleinement rendre compte du phénomène perceptif en question, il est proposé d'y voir une forme de perception dans laquelle la dimension temporelle serait dominante.

La vaste correspondance de Francesco Datini (marchand de Prato de la fin du XIVe), sa femme Margherita et ses proches apporte un éclairage sur le fardeau qu’est l’absence d’enfant mais aussi sur les possibilités ainsi ouvertes de s’accomplir autrement. Dès le début de son mariage, la grossesse fut attendue avec impatience puis anxiété par Margherita. L’enfant ne venant pas, ses lettres révèlent des modes de défense, le plus souvent indirects, usant d’un langage sarcastique. Son argument principal est que c’est la (...) volonté de Dieu. Pourtant, son désir d’exceller à tenir une large maisonnée, à dicter puis écrire elle-même des lettres souligne un désir de démontrer des talents autres que ceux qu’aurait nécessités sa maternité. (shrink)