We show that every MALL proof-structure [9] satisfies the property of softness, originally a categorical notion introduced by Joyal. Furthermore, we show that the notion of hereditary softness precisely captures Girard’s algebraic restriction of the technical condition on proof-structures. Relying on this characterization, we prove a MALL+Mix sequentialization theorem by a proof-theoretical method, using Girard’s notion of jump. Our MALL+Mix correctness criterion subsumes the Danos/Fleury-Retoré criterion [6] for MLL+Mix.

We shall give a direct proof of the independence result of a Buchholz style-Hydra Game on labeled finite trees. We shall show that Takeuti-Arai's cut-elimination procedure of $(\Pi^{1}_{1}-CA) + BI$ and of the iterated inductive definition systems can be directly expressed by the reduction rules of Buchholz's Hydra Game. As a direct corollary the independence result of the Hydra Game follows.

We first note that Gentzen's proof-reduction for his consistency proof of PA can be directly interpreted as moves of Kirby-Paris' Hydra Game, which implies a direct independence proof of the game . Buchholz's Hydra Game for labeled hydras is known to be much stronger than PA. However, we show that the one-dimensional version of Buchholz's Game can be exactly identified to Kirby-Paris' Game , by a simple and natural interpretation . Jervell proposed another type of a combinatorial game, by abstracting (...) Gentzen's proof-reductions and showed that his game is independent of PA. We show that this Jervell's game is actually much stronger than PA, by showing that the critical ordinal of Jervell's game is φω = ϵ0) in the Veblen hierarchy of ordinals. (shrink)

We prove that the full completeness theorem for MLL+Mix holds by the simple interpretation via formulas as objects and proofs as Z-invariant morphisms in the *-autonomous category of topologized vector spaces. We do this by generalizing the recent work of Blute and Scott 101–142) where they used the semantical framework of dinatural transformation introduced by Girard–Scedrov–Scott , Logic from Computer Science, vol. 21, Springer, Berlin, 1992, pp. 217–241). By omitting the use of dinatural transformation, our semantics evidently allows the interpretation (...) of the cut-rule, while the original Blute–Scott's does not. Moreover, our interpretation for proofs is preserved automatically under the cut elimination procedure. In our semantics proofs themselves are characterized by the concrete algebraic notion “Z-invariance”, and our denotational semantics provides the full completeness. Our semantics is naturally extended to the full completeness semantics for CyLL+Mix owing to an elegant method of Blute–Scott 1413–1436) 101–142))). (shrink)

This paper presents a polarized phase semantics, with respect to which the linear fragment of second order polarized linear logic of Laurent [15] is complete. This is done by adding a topological structure to Girard's phase semantics [9]. The topological structure results naturally from the categorical construction developed by Hamano—Scott [12]. The polarity shifting operator ↓ (resp. ↑) is interpreted as an interior (resp. closure) operator in such a manner that positive (resp. negative) formulas correspond to open (resp. closed) (...) facts. By accommodating the exponentials of linear logic, our model is extended to the polarized fragment of the second order linear logic. Strong forms of completeness theorems are given to yield cut-eliminations for the both second order systems. As an application of our semantics, the first order conservativity of linear logic is studied over its polarized fragment of Laurent [16]. Using a counter model construction, the extension of this conservativity is shown to fail into the second order, whose solution is posed as an open problem in [16]. After this negative result, a second order conservativity theorem is proved for an eta expanded fragment of the second order linear logic, which fragment retains a focalized sequent property of [3]. (shrink)

In this paper, we present a categorical model for Multiplicative Additive Polarized Linear Logic , which is the linear fragment of Olivier Laurent’s Polarized Linear Logic. Our model is based on an adjunction between reflective/coreflective full subcategories / of an ambient *-autonomous category . Similar structures were first introduced by M. Barr in the late 1970’s in abstract duality theory and more recently in work on game semantics for linear logic. The paper has two goals: to discuss concrete models and (...) to present various completeness theorems.As concrete examples, we present a hypercoherence model, using Ehrhard’s hereditary/anti-hereditary objects, a Chu-space model, a double gluing model over our categorical framework, and a model based on iterated double gluing over a *-autonomous category.For the multiplicative fragment of. (shrink)

In my paper I would like to criticize Julian Savulescu and his colleagues’ argument on moral bioenhancement. If we want to improve our society, it would be easier and more effective to improve social conditions. Our personality ought to be constructed upon our inner foundation, which should not be tampered with by outside intervention or control, and I dare say this belief is a healthy one that should not be overturned.

現代における重要テーマをめぐって重ねてきた言葉たちを結晶化した対談集。対談者:戸谷洋志、小松原織香、山口尚、永井玲衣.

This book was first published in Japanese in 2013 and was warmly welcomed not only by general readers but also by specialists in philosophy. I believe that it succeeded in breaking new ground in the field of introductory approaches to philosophy. Many manga or comic books explaining the thought of major philosophers have already been published. There have also been manga whose story was conceived by philosophers. To the best of my knowledge, however, there has never been a book in (...) which a philosopher has illustrated his or her own philosophical thought entirely in manga form. There are no doubt many philosophers who can draw manga or illustrations, so it’s quite strange that no such book has been published until now. “I want to try drawing a manga introduction to philosophy myself!” After this idea came to me, I began by taking a draft of about twenty manga pages to the editing department at Kodansha Publications. The characters were awkward at first, but as I kept drawing they seemed to move more smoothly, and by the time I had finished it almost felt like they were speaking for themselves. I drew around 220 original pages in detail using a pencil. Manga creator Nyancofu Terada then gave these pencil drawings professional lines. It is entirely thanks to him that I was able to publish my manga in the Kodansha paperback series. As the title says, this book is an introduction to philosophy. I tried to write about questions like “What is philosophy?” and “What does it mean to think philosophically” for a general readership. This is not a book that presents easy-to-understand explanations of the theories of famous philosophers. Instead, I have tried to express as clearly as possible how I myself think about four major topics: “time,” “existence,” “I,” and “life.” By following this route, the reader will be led directly to the core elements of philosophical thought. My aim was to imbue this journey with a sense of speed and intensity. (shrink)

This book is a collection of all the papers published in the special issue “Philosophy and Meaning in Life Vol.4: Selected Papers from the Pretoria Conference,” Journal of Philosophy of Life, Vol.12, No.1, 2022, pp.1-115. -/- Theorizing About Meaning in Life Cheshire Calhoun -/- Is It Possible to Say ‘Yes’ to Traumatic Experiences?: A Philosophical Approach to Human Suffering Masahiro Morioka -/- Why Beauvoir Is Not a Subjectivist about Meaning in Life Kiki Berk -/- Axiological Values Grounded in Basic (...) Motivational Dispositions: How to Be a Subjectivist about Meaning in Life Frank Martela -/- Pessimism, Political Critique, and the Contingently Bad Life Patrick O’Donnell -/- Reason, Luck, and Meaning: A Critique of the Moralist View of Meaning in Life Kazuki Watanabe. (shrink)

This book is a collection of all the papers published in the special issue "Philosophy and Meaning in Life Vol. 5: Selected Papers from the Tohoku Conference," Journal of Philosophy of Life Vol. 14 , No.1, 2024 , 1-53 . -/- Perfectionism and Vulgarianism About a Meaningful Life David Matheson -/- What’s the Point If We’re All Going to Die?: Pessimism, Moderation, and the Reality of the Past Matthew Pianalto -/- Meaning in Life in the Context of Psychopathology and Personal (...) Recovery Bernice Brijan. (shrink)

Determining the relationship between the entire brain structure and individual differences is important in extending healthy life expectancy, which can be affected by brain atrophy. The entire brain structure has been gradually known to be correlated not only with age but also with individual differences, such as quality of life, general intelligence, and lifestyle. However, little attention has been paid to the relationship between the entire brain structure and personal traits. We herein focused on one personal trait, namely spiritual growth, (...) and examined its relationship with the entire brain structure using two neuroimaging-derived measures, namely the gray matter Brain Healthcare Quotient, a measure of GM volume, and the fractional anisotropy Brain Healthcare Quotient, a measure of white matter integrity, in 229 healthy participants. The results indicated no significant relationship between the GM-BHQ and spiritual growth, but there was a significant positive correlation between the FA-BHQ and spiritual growth after controlling for age, sex, and body mass index with partial correlation analysis. Furthermore, multiple regression analysis revealed a significant positive correlation between the FA-BHQ and spiritual growth after controlling for physical characteristics, such as age, sex, and BMI, as well as other variables related to lifestyle that were collected using the Health-Promoting Lifestyle Profile. These results support the idea that there is a relationship between the entire WM brain structure and spiritual growth. Further studies are required to clarify the causal relationship between the entire WM brain structure and spiritual growth with some interventions to improve spiritual growth. Such studies will help extend healthy life expectancy from a new perspective of personal trait. (shrink)

閉塞した現在の政治を担う主体を構想できるのか。世界秩序が揺れ動き、従来の国民概念・市民概念が変革を迫られる今、新たな理論的地平を切り開く。.

語ることによって出来事は過去になり、また現在になる。大災害に直面した人は、その極限状態をどのように記憶し、記録してゆくのか。震災や戦争、原発事故などを例に、博物館や語り、モニュメントや場といった形を介 してカタストロフが時間を渡っていくさまを描き出す。.

The concept of antinatalism is now becoming popular on the Internet. Many online newspaper articles deal with this topic, and numerous academic papers on antinatalism have been published over the past ten years in the fields of philosophy and ethics. The word “antinatalism” was first used in the current meaning in 2006, when the two books that justify the universal negation of procreation were published: one by David Benatar and the other by Théophile de Giraud. However, we can find various (...) prototypes of antinatalistic thoughts in ancient Greece, ancient India, and modern Europe. You might recall the name Schopenhauer. In this paper, I briefly summarize the history of antinatalistic thoughts and propose a set of categories on antinatalism and related thoughts. (shrink)

We introduce the Easton collapse and show that the two-stage iteration of Easton collapses gives a model in which the successor of a regular cardinal carries a strongly saturated filter. This allows one to get a model in which many successor cardinals carry saturated filters just by iterating Easton collapses.

This book was first published in Japanese in 2013 and was warmly welcomed not only by general readers but also by specialists in philosophy. I believe that it succeeded in breaking new ground in the field of introductory approaches to philosophy. Many manga or comic books explaining the thought of major philosophers have already been published. There have also been manga whose story was conceived by philosophers. To the best of my knowledge, however, there has never been a book in (...) which a philosopher has illustrated his or her own philosophical thought entirely in manga form. There are no doubt many philosophers who can draw manga or illustrations, so it’s quite strange that no such book has been published until now. “I want to try drawing a manga introduction to philosophy myself!” After this idea came to me, I began by taking a draft of about twenty manga pages to the editing department at Kodansha Publications. The characters were awkward at first, but as I kept drawing they seemed to move more smoothly, and by the time I had finished it almost felt like they were speaking for themselves. I drew around 220 original pages in detail using a pencil. Manga creator Nyancofu Terada then gave these pencil drawings professional lines. It is entirely thanks to him that I was able to publish my manga in the Kodansha paperback series. As the title says, this book is an introduction to philosophy. I tried to write about questions like “What is philosophy?” and “What does it mean to think philosophically” for a general readership. This is not a book that presents easy-to-understand explanations of the theories of famous philosophers. Instead, I have tried to express as clearly as possible how I myself think about four major topics: “time,” “existence,” “I,” and “life.” By following this route, the reader will be led directly to the core elements of philosophical thought. My aim was to imbue this journey with a sense of speed and intensity. (shrink)

This book was first published in Japanese in 2013 and was warmly welcomed not only by general readers but also by specialists in philosophy. I believe that it succeeded in breaking new ground in the field of introductory approaches to philosophy. Many manga or comic books explaining the thought of major philosophers have already been published. There have also been manga whose story was conceived by philosophers. To the best of my knowledge, however, there has never been a book in (...) which a philosopher has illustrated his or her own philosophical thought entirely in manga form. There are no doubt many philosophers who can draw manga or illustrations, so it’s quite strange that no such book has been published until now. “I want to try drawing a manga introduction to philosophy myself!” After this idea came to me, I began by taking a draft of about twenty manga pages to the editing department at Kodansha Publications. The characters were awkward at first, but as I kept drawing they seemed to move more smoothly, and by the time I had finished it almost felt like they were speaking for themselves. I drew around 220 original pages in detail using a pencil. Manga creator Nyancofu Terada then gave these pencil drawings professional lines. It is entirely thanks to him that I was able to publish my manga in the Kodansha paperback series. As the title says, this book is an introduction to philosophy. I tried to write about questions like “What is philosophy?” and “What does it mean to think philosophically” for a general readership. This is not a book that presents easy-to-understand explanations of the theories of famous philosophers. Instead, I have tried to express as clearly as possible how I myself think about four major topics: “time,” “existence,” “I,” and “life.” By following this route, the reader will be led directly to the core elements of philosophical thought. My aim was to imbue this journey with a sense of speed and intensity. (shrink)

This book was first published in Japanese in 2013 and was warmly welcomed not only by general readers but also by specialists in philosophy. I believe that it succeeded in breaking new ground in the field of introductory approaches to philosophy. Many manga or comic books explaining the thought of major philosophers have already been published. There have also been manga whose story was conceived by philosophers. To the best of my knowledge, however, there has never been a book in (...) which a philosopher has illustrated his or her own philosophical thought entirely in manga form. There are no doubt many philosophers who can draw manga or illustrations, so it’s quite strange that no such book has been published until now. “I want to try drawing a manga introduction to philosophy myself!” After this idea came to me, I began by taking a draft of about twenty manga pages to the editing department at Kodansha Publications. The characters were awkward at first, but as I kept drawing they seemed to move more smoothly, and by the time I had finished it almost felt like they were speaking for themselves. I drew around 220 original pages in detail using a pencil. Manga creator Nyancofu Terada then gave these pencil drawings professional lines. It is entirely thanks to him that I was able to publish my manga in the Kodansha paperback series. As the title says, this book is an introduction to philosophy. I tried to write about questions like “What is philosophy?” and “What does it mean to think philosophically” for a general readership. This is not a book that presents easy-to-understand explanations of the theories of famous philosophers. Instead, I have tried to express as clearly as possible how I myself think about four major topics: “time,” “existence,” “I,” and “life.” By following this route, the reader will be led directly to the core elements of philosophical thought. My aim was to imbue this journey with a sense of speed and intensity. (shrink)

This book was first published in Japanese in 2013 and was warmly welcomed not only by general readers but also by specialists in philosophy. I believe that it succeeded in breaking new ground in the field of introductory approaches to philosophy. Many manga or comic books explaining the thought of major philosophers have already been published. There have also been manga whose story was conceived by philosophers. To the best of my knowledge, however, there has never been a book in (...) which a philosopher has illustrated his or her own philosophical thought entirely in manga form. There are no doubt many philosophers who can draw manga or illustrations, so it’s quite strange that no such book has been published until now. “I want to try drawing a manga introduction to philosophy myself!” After this idea came to me, I began by taking a draft of about twenty manga pages to the editing department at Kodansha Publications. The characters were awkward at first, but as I kept drawing they seemed to move more smoothly, and by the time I had finished it almost felt like they were speaking for themselves. I drew around 220 original pages in detail using a pencil. Manga creator Nyancofu Terada then gave these pencil drawings professional lines. It is entirely thanks to him that I was able to publish my manga in the Kodansha paperback series. As the title says, this book is an introduction to philosophy. I tried to write about questions like “What is philosophy?” and “What does it mean to think philosophically” for a general readership. This is not a book that presents easy-to-understand explanations of the theories of famous philosophers. Instead, I have tried to express as clearly as possible how I myself think about four major topics: “time,” “existence,” “I,” and “life.” By following this route, the reader will be led directly to the core elements of philosophical thought. My aim was to imbue this journey with a sense of speed and intensity. (shrink)

This book was first published in Japanese in 2013 and was warmly welcomed not only by general readers but also by specialists in philosophy. I believe that it succeeded in breaking new ground in the field of introductory approaches to philosophy. Many manga or comic books explaining the thought of major philosophers have already been published. There have also been manga whose story was conceived by philosophers. To the best of my knowledge, however, there has never been a book in (...) which a philosopher has illustrated his or her own philosophical thought entirely in manga form. There are no doubt many philosophers who can draw manga or illustrations, so it’s quite strange that no such book has been published until now. “I want to try drawing a manga introduction to philosophy myself!” After this idea came to me, I began by taking a draft of about twenty manga pages to the editing department at Kodansha Publications. The characters were awkward at first, but as I kept drawing they seemed to move more smoothly, and by the time I had finished it almost felt like they were speaking for themselves. I drew around 220 original pages in detail using a pencil. Manga creator Nyancofu Terada then gave these pencil drawings professional lines. It is entirely thanks to him that I was able to publish my manga in the Kodansha paperback series. As the title says, this book is an introduction to philosophy. I tried to write about questions like “What is philosophy?” and “What does it mean to think philosophically” for a general readership. This is not a book that presents easy-to-understand explanations of the theories of famous philosophers. Instead, I have tried to express as clearly as possible how I myself think about four major topics: “time,” “existence,” “I,” and “life.” By following this route, the reader will be led directly to the core elements of philosophical thought. My aim was to imbue this journey with a sense of speed and intensity. (shrink)

This book was first published in Japanese in 2013 and was warmly welcomed not only by general readers but also by specialists in philosophy. I believe that it succeeded in breaking new ground in the field of introductory approaches to philosophy. Many manga or comic books explaining the thought of major philosophers have already been published. There have also been manga whose story was conceived by philosophers. To the best of my knowledge, however, there has never been a book in (...) which a philosopher has illustrated his or her own philosophical thought entirely in manga form. There are no doubt many philosophers who can draw manga or illustrations, so it’s quite strange that no such book has been published until now. “I want to try drawing a manga introduction to philosophy myself!” After this idea came to me, I began by taking a draft of about twenty manga pages to the editing department at Kodansha Publications. The characters were awkward at first, but as I kept drawing they seemed to move more smoothly, and by the time I had finished it almost felt like they were speaking for themselves. I drew around 220 original pages in detail using a pencil. Manga creator Nyancofu Terada then gave these pencil drawings professional lines. It is entirely thanks to him that I was able to publish my manga in the Kodansha paperback series. As the title says, this book is an introduction to philosophy. I tried to write about questions like “What is philosophy?” and “What does it mean to think philosophically” for a general readership. This is not a book that presents easy-to-understand explanations of the theories of famous philosophers. Instead, I have tried to express as clearly as possible how I myself think about four major topics: “time,” “existence,” “I,” and “life.” By following this route, the reader will be led directly to the core elements of philosophical thought. My aim was to imbue this journey with a sense of speed and intensity. (shrink)

The consciousness of the Japanese Volk -- Foundational attitudes in world consciousness -- A heart that loves the eternal now -- Faith in national polity -- Cultivating character: on Yamaga Sokō -- The way of the patriot (1): on Yoshida Shōin -- The way of the patriot (2): on Takasugi Tōkō -- The way of the patriot (3): on Takahashi Deishū -- Faith and the ultimate act of loyalty: on Kusunoki Masashige -- Bushido as viewed by the Japanese Volk: on (...) Gandhism, Mohism, and Bushido -- Learning the way and moral indignation: on Ōshio Chūsai -- The essence of governance: on Saigō Nanshū's political thought -- The spirit of kendo -- Kendo and mental principles: on Miyamoto Musashi -- Womanhood in Japan. (shrink)