Exploring Renaissance humanists’ debates on matter, life and the soul, this volume addresses the contribution of humanist culture to the evolution of early modern natural philosophy so as to shed light on the medical context of the ...

Within a weak subsystem of second-order arithmetic , that is -conservative over , we reformulate Kreisel's proof of the Second Incompleteness Theorem and Boolos' proof of the First Incompleteness Theorem.

This article examines historical transformations of Japanese collective memory of the atomic bombing of Hiroshima by utilizing a theoretical framework that combines a model of reiterated problem solving and a theory of cultural trauma. I illustrate how the event of the nuclear fallout in March 1954 allowed actors to consolidate previously fragmented commemorative practices into a master frame to define the postwar Japanese identity in terms of transnational commemoration of "Hiroshima." I also show that nationalization of trauma of "Hiroshima" involved (...) a shift from pity to sympathy in structures of feeling about the event. This historical study suggests that a reiterated problem-solving approach can be efficacious in analyzing how construction of national memory of a traumatic event connects with the recurrent reworking of national identity, on the one hand, and how a theory of cultural trauma can be helpful in exploring a synthesis of psychological and sociological approaches to commemoration of a traumatic event, on the other. (shrink)

In this note we show that groups with definable generics in a separably closed valued field K of finite imperfection degree can be embedded into groups definable in the algebraic closure of K.

This paper critically revisits the A-bomb victims’ plea for cosmopolitan commemoration that takes humanity, rather than nationality, as a primary frame of reference. To this end, I first elaborate the nature of cosmopolitan commemoration espoused by A-bomb victims in Hiroshima and Nagasaki in comparison with another form of cosmopolitan commemoration pertaining to the Holocaust victims. I then analyze limitations in these cosmopolitan commemorations and explore how they can be transcended. In light of my critical analysis, I argue that genuinely cosmopolitan (...) commemoration, a prerequisite for reconciliation and world peace, will appear on the horizon if the commemorations of the two events are synthesized with the help of ‘historians’ debate’ that continuously subjects the logic of nationalism to critical reflections. This synthesis has the potential to help people envision cosmopolitan politics – cosmopolitics – where they can engage in peaceful but agonistic struggles, not as enemies but as fellow humans, in collectively governing their lives in today’s war-torn world. (shrink)

After the Fukushima Daiichi nuclear disaster, the Japanese government tried to democratize energy policy-making by introducing public participation. Over the course of its implementation, however, public participation came to be subordinated to expert committees as the primary mechanism of policy rationalization. The expert committees not only neutralized the results of public participation but also discounted the necessity of public participation itself. This trajectory of public participation, from its historic introduction to eventual collapse, can be fully explained only in reference to (...) complex interactions between the macroinstitutions and microsituations of Japanese policy-making at the time of the nuclear disaster: the macroinstitutional reassembling of the developmental state to reallocate more power from the bureaucracy to the cabinet office and the civil society vis-à-vis the microsituational, shifting power dynamics involving political parties, citizens and NGOs, businesses and labor unions, and other relevant actors. This case study thus helps advance the growing science and technology studies research on how the macro and microparameters of policy-making, ranging from the durable institutions of nation-states to situationally specific political struggles, combine to shape the designs, implementations, and policy influences of public participation at particular places and times as well as in particular policy domains. (shrink)

Recently, Edwards and Liaschenko questioned the validity of an argument put forward by Dr Søren Holm and Joseph Dunne concerning the impossibility of a theory of nursing. Taking into consideration the premises of the argument, I describe how Maritain's conception of philosophy allows for the possibility of a theory of nursing conceived as a philosophy of nursing art that is both practical and propositional in nature. As well, I identify how the philosophy of nursing art guides nursing art in developing (...) and applying other kinds of artistic practical nursing knowledge: artistic nursing rules and artistic prudential nursing judgements. Finally, the relationship of ethical knowledge to artistic practical nursing knowledge is set down. (shrink)

Recently, a concern has been raised about a particular kind of behaviour that is adversely affecting the quality of nursing theoretical discourse. With the behaviour being attributed to nurses’ tendency to think in binary terms, it has been proposed that nurses replace their binary way of thinking with thinking that is inclusive and expansive and is based on an epistemology of contradiction. While agreeing that the behaviour of concern is indeed unscholarly, I disagree that the culprit is the binary. In (...) this commentary, I argue that the culprit is sophistical argumentation involving a binary (real or not) and that, by not making room for legitimate binaries, we run the danger of ‘throwing out the baby with the bathwater’. Further, I argue that the proffered solution is illusory. Its epistemological basis prohibits the deliverance of that which is promised. (shrink)

This paper introduces sequent systems for Visser's two propositional logics: Basic Propositional Logic (BPL) and Formal Propositional Logic (FPL). It is shown through semantical completeness that the cut rule is admissible in each system. The relationships with Hilbert-style axiomatizations and with other sequent formulations are discussed. The cut-elimination theorems are also demonstrated by syntactical methods.

In his embryological treatise De plastica seminis facultate , Jacob Schegk , professor of philosophy and medicine at the University of Tübingen, developed, through a unique interpretation of the Aristotelian embryology, a theory of the "plastic faculty" , whose origin lay in the Galenic idea of the formative power. The present study analyses the precise nature of Schegk's theory, by setting it in its historical and intellectual context. It will also discuss the hitherto unappreciated Neoplatonic dimension of Schegk's notion of (...) the soul's vehicle. (shrink)

By formalizing Berry's paradox, Vopěnka, Chaitin, Boolos and others proved the incompleteness theorems without using the diagonal argument. In this paper, we shall examine these proofs closely and show their relationships. Firstly, we shall show that we can use the diagonal argument for proofs of the incompleteness theorems based on Berry's paradox. Then, we shall show that an extension of Boolos' proof can be considered as a special case of Chaitin's proof by defining a suitable Kolmogorov complexity. We shall show (...) also that Vopěnka's proof can be reformulated in arithmetic by using the arithmetized completeness theorem. (shrink)

This study explored representations of self-injury in Japanese manga. A content analysis of fifteen slice-of-life manga published between 2000-2017 was conducted, focusing on forty scenes that depict eighteen characters engaging in self-injury. Most depictions of self-injury reflect a stereotypical perception of “self-injurer,” a young girl cutting herself to cope with negative emotion. Characters receive informal support from friends and partners, while parents are portrayed as unsupportive and even triggering. An emergent trend was observed among manga targeting male readers to label (...) self-injuring women as “menhera” - mentally vulnerable damsels in distress - inviting a fetishistic gaze on the self-injuring female bodies. (shrink)

We consider a set-theoretic version of mereology based on the inclusion relation ⊆ and analyze how well it might serve as a foundation of mathematics. After establishing the non-definability of ∈ from ⊆, we identify the natural axioms for ⊆-based mereology, which constitute a finitely axiomatizable, complete, decidable theory. Ultimately, for these reasons, we conclude that this form of set-theoretic mereology cannot by itself serve as a foundation of mathematics. Meanwhile, augmented forms of set-theoretic mereology, such as that obtained by (...) adding the singleton operator, are foundationally robust. (shrink)

We give a proof of Gödel's first incompleteness theorem based on Berry's paradox, and from it we also derive the second incompleteness theorem model-theoretically.

Inspired by Christian Platonism as developed in the late fifteenth-century Florentine milieu, the French physician Jean Fernel proposed a particular interpretation of Galen in a medico-philosophical work entitled On the Hidden Causes of Things . With this interpretation, he responded to the serious and urgent need for a reconciliation of the newly reconstituted Galen of Renaissance humanism with Christian faith. The present study examines Fernel's strategy and method in constructing this singular Galenic body of doctrine, special attention being given to (...) the roles attributed to the Creator, the formative force, and the soul. Subsequently, an analysis of the notions of spirit and of its innate heat as indispensable instruments of Fernel's physiology will uncover the very target of his criticism of materialism. (shrink)

One of the most striking features of Giordano Bruno’s philosophy is the marriage of universal animation with atomism. This unusual combination produced an extraordinary image of the universe, which was governed by the World-Soul and its universal intellect along with an infinite number of living atoms or corpuscles, animated by their internal spiritual principle. After examining Bruno’s principal arguments on the World-Soul, universal animation and living atoms or corpuscles, this article explores two possible sources among the works of his near-contemporaries. (...) The first author, Agostino Steuco, tried to reconcile the doctrine of the World-Soul with Christianity, integrating the idea of Anaxagoras on the cosmic mind as the demiurgic agent of the universe. The second figure, Jacob Schegk, further elaborated his unusual atomistic or corpuscular reinterpretation of this Presocratic philosopher’s ideas. (shrink)

It is well known that Gödel’s incompleteness theorems hold for ∑1-definable theories containing Peano arithmetic. We generalize Gödel’s incompleteness theorems for arithmetically definable theories. First, we prove that every ∑n+1-definable ∑n-sound theory is incomplete. Secondly, we generalize and improve Jeroslow and Hájek’s results. That is, we prove that every consistent theory having ∏n+1set of theorems has a true but unprovable ∏nsentence. Lastly, we prove that no ∑n+1-definable ∑n-sound theory can prove its own ∑n-soundness. These three results are generalizations of Rosser’s (...) improvement of the first incompleteness theorem, Gödel’s first incompleteness theorem, and the second incompleteness theorem, respectively. (shrink)

Inspired by Christian Platonism as developed in the late fifteenth-century Florentine milieu, the French physician Jean Fernel proposed a particular interpretation of Galen in a medico-philosophical work entitled On the Hidden Causes of Things. With this interpretation, he responded to the serious and urgent need for a reconciliation of the newly reconstituted Galen of Renaissance humanism with Christian faith. The present study examines Fernel's strategy and method in constructing this singular Galenic body of doctrine, special attention being given to the (...) roles attributed to the Creator, the formative force, and the soul. Subsequently, an analysis of the notions of spirit and of its innate heat as indispensable instruments of Fernel's physiology will uncover the very target of his criticism of materialism. (shrink)

We shall prove the second incompleteness theorem via Kolmogorov complexity.

Persons with visual impairments (hereafter PVI) detect and discover obstacles and road conditions by touching with a white cane when walking on the streets. In one training session, an Orientation and Mobility specialist (hereafter SPT) guided a PVI by grasping and moving the cane that the PVI was holding. We conducted a multimodal analysis of two instruction sequences, one a "proving and achieving" demonstration (Sacks in Lectures on conversation, Blackwell, 1992) and the other a "learnable" (Zemel and Koschmann, in Discourse (...) Stud 16:163–183, 2014) demonstration. The achieving demonstration proved the assessment of the PVI's performance. In the "learnable" demonstration, the PVI was able to receive and perform the most critical part of the "learnable" of the long contact touch without the aid of talk. Sharing a single cane touch is an efficient way for both the guiding SPT and the guided PVI to jointly experience and understand the environmental features. The SPT did not need to verbally confirm that the guided touch was accountable to the PVI and seemed confident that intersubjectivity with the PVI had been established. A unique form of being with others and achieving intersubjectivity in society was identified. In traditional learning instruction, it has been assumed that the learnable is presented and communicated visually and audibly. However, through guided touch learnable is presented and conveyed effectively in the cases of this paper. It seems that the sense of touch has been considered to be just for the occasion, but this is an example of something that is not just for the occasion but is consequential, that is, usable for further occasions. The data is in Japanese. (shrink)

We present a version of Herbelin’s image-calculus in the call-by-name setting to study the precise correspondence between normalization and cut-elimination in classical logic. Our translation of λμ-terms into a set of terms in the calculus does not involve any administrative redexes, in particular η-expansion on μ-abstraction. The isomorphism preserves β,μ-reduction, which is simulated by a local-step cut-elimination procedure in the typed case, where the reduction system strictly follows the “ cut=redex” paradigm. We show that the underlying untyped calculus is confluent (...) and enjoys the PSN property for the isomorphic image of λμ-calculus, which in turn yields a confluent and strongly normalizing local-step cut-elimination procedure for classical logic. (shrink)

We define a liar-type paradox as a consistent proposition in propositional modal logic which is obtained by attaching boxes to several subformulas of an inconsistent proposition in classical propositional logic, and show several famous paradoxes are liar-type. Then we show that we can generate a liar-type paradox from any inconsistent proposition in classical propositional logic and that undecidable sentences in arithmetic can be obtained from the existence of a liar-type paradox. We extend these results to predicate logic and discuss Yablo’s (...) Paradox in this framework. Furthermore, we define explicit and implicit self-reference in paradoxes in the incompleteness phenomena. (shrink)

The treatise On Formative Power of Ferrara's emblematic medical humanist, Nicolò Leoniceno, is the one of the first embryological monographs of the Renaissance. It shows, at the same time, the continuity of medieval Arabo-Latin tradition and the new elements brought by Renaissance medical humanism, namely through the use of the ancient Greek commentators of Aristotle like Simplicius. Thus this treatise stands at the crossroad of these two currents. The present study analyses the range of Leoniceno's philosophical discussion, determines its exact (...) sources and brings to light premises for the early modern development of the concept of formative force, which will end up in the theory of "plastic nature" at the heart of the Scientific Revolution. (shrink)

Arts and Humanities in Higher Education, Volume 21, Issue 4, Page 323-338, October 2022. This essay uses the experience of building a new public humanities program to explore approaches for revitalizing the field. While public humanities scholars have recently focused much of their attention on the “public” part of the public humanities, in the day-to-day institutional context the lack of attention on the “humanities” part can lead to problematic consequences for demonstrating their value. By exploring how the humanities are both (...) lost and found in the different pieces of our nascent program, we argue that the best way to build lasting interdisciplinary and campus-community bridges—and assert the humanities’ vitality—is to rebalance so that we’re placing just as much on emphasis on the practice of the humanities as on the engagement of the public. (shrink)

Summary The famous Jesuit father Athanasius Kircher (1602?1680) tried to interpret the Creation of the world and to explain the origin of life in the last book of his geocosmic encyclopedia, Mundus subterraneus (Amsterdam, 1664?1665). His interpretation largely depended on the ?concept of seeds? which was derived from the tradition of Renaissance ?chymical? (chemical and alchemical) philosophy. The impact of Paracelsianism on his vision of the world is also undeniable. Through this undertaking, Kircher namely developed a corpuscular theory for the (...) spontaneous generation of living beings. The present study examines this theory and its relationship with Kircher's chymical interpretation of the Creation in order to place it in its own intellectual and historical context and will uncover one of its most important sources. (shrink)

The treatise On Formative Power of Ferrara's emblematic medical humanist, Nicolò Leoniceno , is the one of the first embryological monographs of the Renaissance. It shows, at the same time, the continuity of medieval Arabo-Latin tradition and the new elements brought by Renaissance medical humanism, namely through the use of the ancient Greek commentators of Aristotle like Simplicius. Thus this treatise stands at the crossroad of these two currents. The present study analyses the range of Leoniceno's philosophical discussion, determines its (...) exact sources and brings to light premises for the early modern development of the concept of formative force, which will end up in the theory of "plastic nature" at the heart of the Scientific Revolution. (shrink)

To preserve postoperative brain function, it is important for neurosurgeons to fully understand the brain's structure, vasculature, and function. Intraoperative high-frequency electrical stimulation during awake craniotomy is the gold standard for mapping the function of the cortices and white matter; however, this method can only map the “focal” functions and cannot monitor large-scale cortical networks in real-time. Recently, an in vivo electrophysiological method using cortico-cortical evoked potentials induced by single-pulse electrical cortical stimulation has been developed in an extraoperative setting. By (...) using the CCEP connectivity pattern intraoperatively, mapping and real-time monitoring of the dorsal language pathway is available. This intraoperative CCEP method also allows for mapping of the frontal aslant tract, another language pathway, and detection of connectivity between the primary and supplementary motor areas in the frontal lobe network. Intraoperative CCEP mapping has also demonstrated connectivity between the frontal and temporal lobes, likely via the ventral language pathway. Establishing intraoperative electrophysiological monitoring is clinically useful for preserving brain function, even under general anesthesia. This CCEP technique demonstrates potential clinical applications for mapping and monitoring large-scale cortical networks. (shrink)

We introduce a dual-context style sequent calculus which is complete with respectto Kripke semantics where implication is interpreted as strict implication in the modal logic K. The cut-elimination theorem for this calculus is proved by a variant of Gentzen's method.