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.

In this article Kobayashi Toshiaki discusses the importance in all periods of Karatani’s oeuvre of the notion of an “exterior” that necessarily falls beyond the bounds of a system, together with the notion of “singularity” as that which cannot be contained within a “universal.” The existential dread vis-à-vis the uncanny other that Karatani in his early works of literary criticism had initially found to be the underlying tone in Sōseki’s works remained with Karatani himself throughout his career and is (...) what had drawn him closer to philosophy. This sense of the “exterior” to—or other than—the normality of consciousness and the meaningfulness of the world is then extended and applied as the “exterior to systems” in his analyses of logical, mathematical, and linguistic systems, in his reading of Marx’s discussion of capitalist economics, and most recently in his analysis of commodity exchange between communities. (shrink)

This paper extends studies on intertextuality into a more explicitly interactional context. I examine the actual process of intertextuality where comedy audiences construct recombinant selves through making sense of various membership categories as well as through making sense of a certain kind of comedy. The examination of this process requires receptive research; however, most studies leave the interpretive process unanalyzed. Conducting both a sequential analysis and a membership categorization analysis will reveal that categories are not “pre-formed” but “per-formed” in situ. (...) To illustrate these points, I report on a receptive study of Local comedy in Hawai‘i. (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)

This book is an unprecedented consideration of the challenges of what we can do for generations yet to come. Many growing intergenerational conflicts of interest, such as climate change and fiscal sustainability, are the result of the historically new progress of increasing human power, and the resolution of those conflicts demands a new intergenerational ethic. The book offers fresh new ideas for resolving intergenerational conflicts through the exploration of an entirely new field, conceptualized in philosophy, developed in economics, and tested (...) in experiments. In particular, this work develops the theory of intergenerational cooperation based on a new relationship of direct reciprocity between generations. From experimental results, the possibility of intergenerational cooperation through Kantian categorical imperative is shown. The book also examines the effectiveness of inviting representatives of future generations, which are called "imaginary future generations", into the deliberations for current policy decisions. The original Japanese edition of this book was awarded the 66th Nikkei Prize for Excellent Books in Economic Science. The prize was established in 1958 to contribute to the advancement of academics and knowledge in the fields of economics, management, and accounting, as well as to its general dissemination and application. (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.

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.

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)

By using a provability predicate of PA, we define ThmPA(M) as the set of theorems of PA in a modelMof PA. We say a modelMof PA is (1) illusory if ThmPA(M) ⊈ ThmPA(ℕ), (2) heterodox if ThmPA(M) ⊈ TA, (3) sane ifM⊨ ConPA, and insane if it is not sane, (4) maximally sane if it is sane and ThmPA(M) ⊆ ThmPA(N) implies ThmPA(M) = ThmPA(N) for every sane modelNof PA. We firstly show thatMis heterodox if and only if it is (...) illusory, and that ThmPA(M) ∩ TA ≠ ThmPA(ℕ) for any illusory modelM. Then we show that there exists a maximally sane model, every maximally sane model satisfies ¬ConPA+ConPA, and there exists a sane model of ¬ConPA+ConPAwhich is not maximally sane. We define that an insane model is (5) illusory by nature if its every initial segment being a nonstandard model of PA is illusory, and (6) going insane suddenly if its every initial segment being a sane model of PA is not illusory. We show that there exists a model of PA which is illusory by nature, and we prove the existence of a model of PA which is going insane suddenly. (shrink)

Na doença falciforme, o genótipo HbSS da anemia falciforme, considerado a forma mais grave, prevalente no continente africano, tem alta morbidade e mortalidade. Objetivo: identificar se a estrutura instalada na atenção às pessoas com anemia falciforme e seus familiares, contribui para a redução da mortalidade precoce em Angola. Material e Método: pesquisa exploratória descritiva, realizada em Luanda-Angola, no período entre agosto e dezembro de 2022. Foram aplicados questionários estruturados para 20 pessoas com doença falciforme e 15 familiares, todos com mais (...) de 21 anos. A metodologia utilizada foi bola de neve. Para análise e discussão dos dados, foi utilizado o referencial teórico de Donabedian, com ênfase no eixo estrutura. Resultados: diagnóstico feito por sinais e sintomas, idade do diagnóstico entre 1 e 5 anos. A crise de dor predominou entre eventos agudos. Conclusão: inexistência de estrutura instalada de saúde em Luanda que garantam no serviço público gratuito o acesso à medicamentos, transfusão de sangue, vacinas especiais e exames complementares. A transferência de tecnologias sociais da organização de sociedade civil brasileira para a de Luanda mostra ser adequada. (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)

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)

専門的な予備知識は仮定せずに完全性定理や計算可能性から論じ、第一および第二不完全性定理、Rosserの定理、Hilbertのプログラム、G ̈odelの加速定理、算術の超準モデル、Kolmogorov複雑性などを紹介して、不完全性定理の数学的意義と、その根源にある哲学的問題を説く。.

明治時代、人々は狐憑きやコックリさんなどの怪現象に右往左往していた。若き哲学者の井上圓了は、それらに合理的な道筋をつけることこそが哲学普及につながると信じて奔走。柳田國男からは見地の違いから「井上圓了 君には徹頭徹尾反対」と言われながらも、開学した「哲学館」(現東洋大学)で「妖怪学」の講義を行い、日本各地で膨大な怪異談を収集した。妖怪学者であり、哲学者、宗教改革者であった隠れた偉人、初の評伝。.

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)

Since the discovery that the characteristics of dreaming sleep are far stronger in Stage 1 rapid eye movement sleep than in any other biological state, investigators have attempted to determine the relative responsibility of the tonic versus the phasic properties of REM sleep for the different characteristics of dreaming–features such as the amount of information in the dream report, the brightness and clarity of the visual images, shifts in thematic continuity, and incongruities of image and meaning. The present experiment is (...) designed to identify dream characteristics that are specifically associated with tonic changes in level of cortical activation within sleep. It samples reports of imagery and thought during spontaneous variations within one phase of the 24-h diurnal rhythm and across the REM-NREM sleep cycle in order to identify the independent and joint contributions of the two cycles to imagery and thought. The rising phase of the diurnal cycle in the late night and morning was estimated from clock time during the late night and early morning and was varied by delaying the sleep onset and waking time of the subjects. Considered together with other studies, the results suggest that the major determinant of vivid visual imagery and enhanced cognitive activity during sleep is a pattern of subcortical and cortical activation that is common to both the REM phase of the REM-NREM cycle and the activated phase of the 24-h diurnal wake-sleep cycle. (shrink)

西田幾多郎の中心概念「永遠の今」を外部の多様な言説に向けて開放することで、西田哲学の新たな可能性を切り開く。プラトン、アウグスティヌス、ハイデッガー、九鬼周造、デリダ、アガンベン、木村敏といった西洋哲 学、宗教学、現代思想、精神病理学の代表者たちの議論と西田の言説を突き合わせ、その緻密な解釈と検証を通して、これまで時間論で見逃されてきたカイロスの系譜とその意義を照らし出す。既成の西田研究に問題を投げ かける著者十年の集大成。岩波現代文庫オリジナル版。.

「主体」はもちろんsubjectの翻訳語である。明治以降、この語がわが国に入ってくると、「主観」「主体」「主語」などさまざまな翻訳語があらわれる。たとえば西田幾多郎は、初期は「主観」をつかっているが、 後期になると「主体」しか出てこなくなる。この移行ははたして何を意味するのだろうか。戦後には、「主体性論争」がわき起こり、たとえば学生運動では「主体性」という言葉がキーワードとなった。明治期の受容から、 戦後、そして現代に至るまで、それぞれの時代の趨勢となった思想に伏流する「主体」を追い続け、日本近代思想史にあらたな視座を提供する、知的興奮にあふれた一冊。.

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)

We shall prove the second incompleteness theorem via Kolmogorov complexity.

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.

We introduce a Gentzen style formulation of Basic Propositional Calculus(BPC), the logic that is interpreted in Kripke models similarly tointuitionistic logic except that the accessibility relation of eachmodel is not necessarily reflexive. The formulation is presented as adual-context style system, in which the left hand side of a sequent isdivided into two parts. Giving an interpretation of the sequents inKripke models, we show the soundness and completeness of the system withrespect to the class of Kripke models. The cut-elimination theorem isproved (...) in a syntactic way by modifying Gentzen's method. Thisdual-context style system exemplifies the effectiveness of dual-contextformulation in formalizing various non-classical logics. (shrink)

On applique ici la méthode de l’analyse de réseau pour comprendre les temporalités de la construction de l’imprimerie, comme activité économique associant des hommes de lettres et des acteurs économiques. À partir des informations contenues dans l’Incunabula Short Title Catalogue, deux types de réseaux sont construits pour les éditions imprimées à Venise entre 1469 et 1500. Le premier permet d’observer le vivier des noms d’auteurs présents dans les éditions. Le second permet d’aller plus loin dans les notions de centralité et (...) d’autorité dans le réseau. Les presses vénitiennes se sont construites par l’utilisation réciproque des ateliers et des grands noms lettrés, dont le prestige légitimait les grandes entreprises typographiques. Avec le développement de l’imprimerie, les noms d’auteurs contemporains se font plus nombreux. Pour l’ensemble des lettrés impliqués dans l’imprimerie, cela se traduit par un rapport de force en leur défaveur. Les imprimeurs organisent eux-mêmes leurs collaborations en choisissant dans un vivier qui ne fait que s’accroître. Le prestige des auteurs est plus diffus et se nourrit de l’association de plusieurs noms dans une édition. Mais certains ont su particulièrement bien en jouer, comme le montre l’exemple d’Antonio Mancinelli. Ces réseaux éditoriaux, analysés dans leur épaisseur chronologique, permettent ainsi de redonner une vraie dimension temporelle à la construction d’une nouvelle industrie culturelle. (shrink)

Covisibility-based mapping is a paradigm for robotic map building research in which a mobile robot estimates multiple object positions only from ``covisibility'' information, i.e., ``which objects were recognized at a time''. In previous studies on this problem, a solution based on a combination of heuristics - ``closely located objects are likely to be seen simultaneously more often than distant objects'' and Multi-Dimensional Scaling (MDS) was proposed, and it was shown that qualitative spatial relationships among objects are learned with high accuracy (...) by this method. However, theoretical validity of the heuristics has not been sufficiently discussed in these studies. Besides, the existing method has a defect that the quantitative accuracy of built maps is very low. In this paper, we first prove that the heuristics is generally valid in a certain condition, and then present several enhancements to the original method in order to improve the quantitative accuracy of the maps. In the experiments, it was found these enhacements are quite effective. (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)

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.