Results for 'Tomohiro Kikuchi'
123 found
Order:
1 filter applied
- It is Not Time to Kick Out Radiologists.Yuta Nakamura,Yuki Sonoda,Yosuke Yamagishi,TomohiroKikuchi,Takahiro Nakao,Soichiro Miki,Shouhei Hanaoka,Takeharu Yoshikawa &Osamu Abe -2025 -Asian Bioethics Review 17 (1):9-15.No categories
- On Formalization of Model-Theoretic Proofs of Gödel's Theorems.MakotoKikuchi &Kazuyuki Tanaka -1994 -Notre Dame Journal of Formal Logic 35 (3):403-412.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.
- Dynamic epistemic logic with branching temporal structures.Tomohiro Hoshi &Audrey Yap -2009 -Synthese 169 (2):259 - 281.van Bentham et al. (Merging frameworks for interaction: DEL and ETL, 2007) provides a framework for generating the models of Epistemic Temporal Logic ( ETL : Fagin et al., Reasoning about knowledge, 1995; Parikh and Ramanujam, Journal of Logic, Language, and Information, 2003) from the models of Dynamic Epistemic Logic ( DEL : Baltag et al., in: Gilboa (ed.) Tark 1998, 1998; Gerbrandy, Bisimulations on Planet Kripke, 1999). We consider the logic TDEL on the merged semantic framework, and its extension (...) with the labeled past-operator “ P ϵ ” (“The event ϵ has happened before which. . .”). To axiomatize the extension, we introduce a method for transforming a given model into a normal form in a suitable sense. These logics suggest further applications of DEL in the theory of agency, the theory of learning, etc. (shrink)
- (1 other version)Developing a philosophy of nursing.J. F.Kikuchi &H. Simmons -1996 -Nursing Ethics 3 (3):278-279.
- Home Literacy Environment and Early Literacy Development Across Languages Varying in Orthographic Consistency.Tomohiro Inoue,George Manolitsis,Peter F. de Jong,Karin Landerl,Rauno Parrila &George K. Georgiou -2020 -Frontiers in Psychology 11:546817.We examined the relation between home literacy environment (HLE) and early literacy development in a sample of children learning four alphabetic orthographies varying in orthographic consistency (English, Dutch, German, and Greek). Seven hundred and fourteen children were followed from Grade 1 to Grade 2 and tested on emergent literacy skills (vocabulary, letter knowledge, and phonological awareness) at the beginning of Grade 1 and on word reading fluency and spelling at the end of Grade 1, the beginning of Grade 2, and (...) the end of Grade 2. Their parents responded to a questionnaire assessing HLE [parent teaching (PT), shared book reading (SBR), access to literacy resources (ALR)] at the beginning of Grade 1. Results showed first that PT was associated with letter knowledge or phonological awareness in Dutch and Greek, while ALR was associated with emergent literacy skills in all languages. SBR did not predict any cognitive or early literacy skills in any language. Second, PT and ALR had indirect effects on literacy outcomes via different emergent literacy skills in all languages. These findings suggest that not all HLE components are equally important for emergent literacy skills, reading fluency, and spelling. No specific trend in the role of orthographic consistency in the aforementioned relations emerged, which suggests that other factors may account for the observed differences across languages when children start receiving formal reading instruction in Grade 1. (shrink)
- Merging DEL and ETL.Tomohiro Hoshi -2010 -Journal of Logic, Language and Information 19 (4):413-430.This paper surveys the interface between the two major logical trends that describe agents’ intelligent interaction over time: dynamic epistemic logic (DEL) and epistemic temporal logic (ETL). The initial attempt to “merge” DEL and ETL was made in van Benthem et al. (Merging frameworks for interaction: DEL and ETL, 2007) and followed up by van Benthem et al. (J Phil Logic 38(5):491–526, 2009) and Hoshi (Epistemic dynamics and protocol information. Ph.D. thesis, Stanford University Stanford, 2009a). The merged framework provides a (...) systematic comparison between these two logical systems and studies new logics of intelligent interaction. This paper presents the main results and the recent developments at the interface between DEL and ETL. (shrink)
- Integral Studies and Integral Practices for Humanity and Nature.Tomohiro Akiyama -2022 -Philosophies 7 (4):82.Humanity is facing a crisis of survival. In order to save humanity and nature, we must rebuild their foundations. This paper proposes integral studies and integral practices as a possible new paradigm for the 21st century. First, we investigated the necessity of integral studies and integral practices, which were suggested by the following three evidences: (1) limitations of the Spiritual Revolution and modern philosophy, (2) limitations of the Scientific Revolution and modern science, and (3) contemporary practical problems that threaten the (...) future of humanity and nature. Second, we investigated the purpose and the principle of integral studies and integral practices from a viewpoint of the nature of both human beings and universe. One of the fundamental questions for humanity is how to overcome the egoism of individuals as well as the entire human race. In this avenue, we think the first step is to transcend toraware, which is a Japanese word meaning both “states of being caught” and “what catches us”. The state of being caught manifests itself when the ego emerges while we begin to distinguish between the self and others. Therefore, integrity and intrinsic nature become principles of integral studies and integral practices. Consequently, integral studies and integral practices serve for the sake of nature including humanity. Third, we discussed the methodology of integral studies and integral practices. We argue its core is integral exploration and reframing of the self and others, ourselves and the world (universe), and humanity and nature. It consequently reveals integrity and harmonizes intellect, emotion, and volition as well as goodness, truth, and beauty while revealing integrity and opening up or unfolding the intrinsic nature of the individual and the collective. Finally, we addressed limitations and future agendas of integral studies and integral practices. We suggest it is essential to raise and discuss fundamental questions on humanity and nature as well as to elucidate the truly unknown, which cannot be understood within existing frameworks. However, whether it is correct or not will come to be verified over time. No one in the history of humanity has ever attained universal truth, which is absolutely true in light of absolute criteria that are not relativized by differences in space, time, or people, or which is absolutely true even without referring to any criteria. Therefore, it is necessary for each of us to discern what is right and maintain a critical gaze. (shrink)No categories
- Perspectives on Sustainability Assessment: An Integral Approach to Historical Changes in Social Systems and Water Environment in the Ili River Basin of Central Eurasia, 1900–2008.Tomohiro Akiyama,Jia Li,Jumpei Kubota,Yuki Konagaya &Mitsuko Watanabe -2012 -World Futures 68 (8):595-627.This article proposes an alternative approach in sustainability assessment. The conceptual framework was developed by modifying Ken Wilber's All Quadrants, All Levels (AQAL) approach, and focuses on the inter-relatedness/inter-connection of various perspectives inherent to the concept of sustainability. To look at how our framework can facilitate the practice of sustainability assessment, we apply the framework to examine the relationships between social systems and the environmental changes in the Ili River basin across the period 1900?2008. This approach enables us to investigate (...) the environmental problems of the Ili River basin in a four-quadrant framework, and combine the empirics of quadrants obtained from traditional disciplinary methodologies. The four-quadrant framework adopted in this study illustrates the interlocking relationships among various perspectives of environmental issues in the Ili River basin, namely, physical perspective, personal perspective, cultural perspective, and social perspective. In particular, the protruding development (evolution) of the lower right dimension is the fundamental cause of the environmental degradation and its related social problems in the Ili River basin. Compared to other established approaches in literature that emphasize on the tradeoffs of various perspectives of sustainability, our findings indicate the potential contributions of four-quadrant framework to sustainability assessment through its focus on the inter-relatedness/inter-connection of different perspectives. (shrink)
- What has Chihara's mathematical nominalism gained over mathematical realism?Tomohiro Hoshi -unknownThe indispensability argument, which claims that science requires beliefs in mathematical entities, gives a strong motivation for mathematical realism. However, mathematical realism bears Benacerrafian ontological and epistemological problems. Although recent accounts of mathematical realism have attempted to cope with these problems, it seems that, at least, a satisfactory account of epistemology of mathematics has not been presented. For instance, Maddy's realism with perceivable sets and Resnik's and Shapiro's structuralism have their own epistemological problems. This fact has been a reason to (...) rebut the indispensability argument and adopt mathematical nominalism. Since mathematical nominalism purports to be committed only to concretia, it seems that mathematical nominalism is epistemically friendlier than mathematical realism. However, when it comes to modal mathematical nominalism, this claim is not trivial. There is a reason for doubting the modal primitives that it invokes. In this thesis, this doubt is investigated through Chihara's Constructibility Theory. Chihara's Constructibility Theory purports not to be committed to abstracta by replacing existential assertions of the standard mathematics with ones of constructibility. However, the epistemological status of the primitives in Chihara's system can be doubted. Chihara might try to argue that the problem would dissolve by using possible world semantics as a didactic device to capture the primitive notions. Nonetheless, his analysis of possible world semantic is not plausible, when considered as a part of the project of nominalizing mathematics in terms of the Constructibility Theory. (shrink)
- Analysis and Design from a Viewpoint of Information Flow.MakotoKikuchi -2003 - In Benedikt Löwe, Thoralf Räsch & Wolfgang Malzkorn,Foundations of the Formal Sciences II. Kluwer Academic Publishers. pp. 119--122.
- Cross-National Odyssey of a Chemist: Edward Divers at London, Galway and Tokyo.YoshiyukiKikuchi -2012 -History of Science 50 (3):289-314.No categories
- Kanshi.BankōKikuchi -1932 - Tōkyō: Waseda Daigaku Shuppanbu. Edited by Zhong Guan.Export citation
Bookmark - L’imprimerie en réseau : la construction de l’édition comme marché économique et culturel.CatherineKikuchi -2018 -Temporalités 27.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)No categories
- A short note on groups in separably closed valued fields.Silvain Rideau-Kikuchi -2021 -Annals of Pure and Applied Logic 172 (4):102943.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.
- On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos.MakotoKikuchi,Taishi Kurahashi &Hiroshi Sakai -2012 -Mathematical Logic Quarterly 58 (4-5):307-316.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)
- Gender preferences for robots and gender equality orientation in communication situations.Tomohiro Suzuki &Tatsuya Nomura -forthcoming -AI and Society:1-10.The individual physical appearances of robots are considered significant, similar to the way that those of humans are. We investigated whether users prefer robots with male or female physical appearances for use in daily communication situations and whether egalitarian gender role attitudes are related to this preference. One thousand adult men and women aged 20–60 participated in the questionnaire survey. The results of our study showed that in most situations and for most subjects, “males” was not selected and “females” or (...) “neither” was selected. Moreover, the number of respondents who chose “either” was higher than that who chose “female.” Furthermore, we examined the relationship between gender and gender preference and confirmed that the effect of gender on the gender preference for a robot weakened when the human factor was eliminated. In addition, in some situations for android-type robots and in all situations for machine-type robots, equality orientation in gender role attitudes was shown to be higher for people who were not specific about their gender preferences. It is concluded that there is no need to introduce a robot that specifies its gender. Robots with a gender-neutral appearance might be more appropriate for applications requiring complex human–robot interaction and help avoid reproducing a gender bias. (shrink)
- Generalizations of gödel’s incompleteness theorems for ∑N-definable theories of arithmetic.MakotoKikuchi &Taishi Kurahashi -2017 -Review of Symbolic Logic 10 (4):603-616.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)
- The binary: an obstacle to scholarly nursing discourse?June F.Kikuchi -2006 -Nursing Philosophy 7 (2):100-103.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)
- Saúde em cidade e território africano: o caso da Anemia Falciforme em Luanda-Angola.Berenice AssumpçãoKikuchi &Maria Lucia Ivo -2023 -Odeere 8 (3):81-100.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)No categories
- Defending Disjunctivism about Perception知覚についての選言説を擁護する.Tomohiro Yamashita -2022 -Kagaku Tetsugaku 54 (2):71-91.
- Fukanzensei teiri =.MakotoKikuchi -2014 - Tōkyō-to Bunkyō-ku: Kyōritsu Shuppan.専門的な予備知識は仮定せずに完全性定理や計算可能性から論じ、第一および第二不完全性定理、Rosserの定理、Hilbertのプログラム、G ̈odelの加速定理、算術の超準モデル、Kolmogorov複雑性などを紹介して、不完全性定理の数学的意義と、その根源にある哲学的問題を説く。.
- Yōkaigaku no so, Inoue Enryō.NoritakaKikuchi -2013 - Tōkyō: Kabushiki Kaisha Kadokawa Gakugei Shuppan.明治時代、人々は狐憑きやコックリさんなどの怪現象に右往左往していた。若き哲学者の井上圓了は、それらに合理的な道筋をつけることこそが哲学普及につながると信じて奔走。柳田國男からは見地の違いから「井上圓了 君には徹頭徹尾反対」と言われながらも、開学した「哲学館」(現東洋大学)で「妖怪学」の講義を行い、日本各地で膨大な怪異談を収集した。妖怪学者であり、哲学者、宗教改革者であった隠れた偉人、初の評伝。.
- Towards a philosophic theory of nursing.June F.Kikuchi -2004 -Nursing Philosophy 5 (1):79-83.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)
- Universal Rosser predicates.MakotoKikuchi &Taishi Kurahashi -2017 -Journal of Symbolic Logic 82 (1):292-302.
- Call-by-name reduction and cut-elimination in classical logic.KentaroKikuchi -2008 -Annals of Pure and Applied Logic 153 (1-3):38-65.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)
- Kolmogorov complexity and the second incompleteness theorem.MakotoKikuchi -1997 -Archive for Mathematical Logic 36 (6):437-443.We shall prove the second incompleteness theorem via Kolmogorov complexity.
- A Note on Boolos' Proof of the Incompleteness Theorem.MakotoKikuchi -1994 -Mathematical Logic Quarterly 40 (4):528-532.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.
- What is beautiful is good: robot beauty bias toward android-type robots.Tomohiro Suzuki &Tatsuya Nomura -forthcoming -AI and Society:1-8.The physical appearance of a robot can significantly affect interactions between humans and robots. Consequently, it is imperative to elucidate the visual factors that affect these interactions. This study aimed to ascertain the influence of a robot’s physical attractiveness by investigating whether an attractive robot is preferred and whether it creates a positive impression in a communication context. Two groups of stimuli were used in the experiment: one consisted of attractive and non-attractive robots. In Study 1, 567 adult men and (...) women participated in an online survey. The results revealed a significant preference for the attractive robot group in the communication situations. In Study 2, 931 adult men and women participated in an online survey, and the findings indicated that attractive robots received more favorable ratings in terms of human- and communication-related attributes. This study substantiates the significance of physical attractiveness in the context of human–robot interactions. This underscores the need to deliberate upon and study the phenomenon of beauty bias within the field of human–robot interaction. (shrink)
- Sequent Calculi for Visser's Propositional Logics.KentaroKikuchi &Ryo Kashima -2001 -Notre Dame Journal of Formal Logic 42 (1):1-22.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.
- Aaron Herald Skabelund, Empire of Dogs: canines, japan and the making of the modern imperial world.Tomohiro Kaibara -2022 -Clio 55 (55):317-320.Le chien, dit-on, est le meilleur ami de l’homme. En est-il de même de la femme? Que fait le chien dans la construction sociale du genre? Le livre d’Aaron Skabelund aborde cette question à travers une étude des rôles joués par le chien symbolique et les chiens réels dans le Japon contemporain depuis l’ère Meiji, notamment dans le contexte impérial. S’il ne traite pas de la question du genre de façon systématique, le problème de l’identité nationale, intimement lié à celui (...) de la masculinité,... (shrink)
- Observation of Autonomous Behavioral Selection in Physarum Plasmodium.Tomohiro Shirakawa,Hiroshi Sato &Kazuki Ishimaru -2022 -Logica Universalis 16 (4):643-653.The plasmodium of _Physarum polycephalum_ is a unicellular and multinuclear giant amoeba with computational abilities. The plasmodium has been widely used as a model organism in the field of bio-computing; however, its ability to perform computation related to its biological nature itself in the essential sense has not yet been fully realized. Therefore, in this study, we focused on the phenomenon in which a plasmodium trapped in a closed space surrounded by repellent substances escapes from the field by changing its (...) own behavior rules. We demonstrated that this phenomenon is bio-computationally important in that it may enable the implementation of biological characteristics in computing. (shrink)
- Moncrif, historien des chats.Tomohiro Kaibara -2022 -Clio 55 (55):69-90.Comparatively under-valued in the past, cats today enjoy privileged status as domestic pets, following a long process of reassessment that started in the eighteenth century. This article shows how the first book in French devoted to the species, Les Chats (1727) by François-Auguste de Paradis de Moncrif, contributed to this change. Previously, the cat was seen as a feminine and frivolous creature, but the “historiogriffe”, (historian of claws as Voltaire called him), took it as a historical subject, combining two models (...) of masculinity, the erudite and the courtly, which had been kept apart in the Quarrel between the Ancients and Moderns. His erudition allowed him to criticize cat-phobia by referring to Oriental custom, but also to quote many admirers of cats of both sexes in high French society. Moncrif thus succeeded in bringing together a learned emotional community of cat-lovers, male and female, to show that it was perfectly justified and reasonable to be fond of a cat. (shrink)
- Medical Business Ethics: The HIV-Tainted-Blood Affair in Japan.Tomohiro Tanaka -2005 -Advances in Bioethics 8:253-273.Export citation Bookmark
- Analyzing concerns of people from Weblog articles.Tomohiro Fukuhara,Toshihiro Murayama &Toyoaki Nishida -2007 -AI and Society 22 (2):253-263.A system for analyzing concerns of people from Weblog articles is proposed. The system called KANSHIN analyzes concerns of people by collecting Japanese, Chinese, and Korean Weblog articles. Users can find concerns of people in each language. Users can also compare differences of concerns between Japanese, Chinese, and Korean language communities. We describe several analysis results: (1) patterns of social concerns, (2) change of focuses on a problem along with the time, (3) differences of concerns on a problem between Japanese, (...) Chinese, and Korean Weblog sites, and (4) relation between words in Weblog articles and real world natural phenomenon. (shrink)
- Tameness of definably complete locally o‐minimal structures and definable bounded multiplication.Masato Fujita,Tomohiro Kawakami &Wataru Komine -2022 -Mathematical Logic Quarterly 68 (4):496-515.We first show that the projection image of a discrete definable set is again discrete for an arbitrary definably complete locally o‐minimal structure. This fact together with the results in a previous paper implies a tame dimension theory and a decomposition theorem into good‐shaped definable subsets called quasi‐special submanifolds. Using this fact, we investigate definably complete locally o‐minimal expansions of ordered groups when the restriction of multiplication to an arbitrary bounded open box is definable. Similarly to o‐minimal expansions of ordered (...) fields, Łojasiewicz's inequality, Tietze's extension theorem and affiness of pseudo‐definable spaces hold true for such structures under the extra assumption that the domains of definition and the pseudo‐definable spaces are definably compact. Here, a pseudo‐definable space is a topological space having finite definable atlases. We also demonstrate Michael's selection theorem for definable set‐valued functions with definably compact domains of definition. (shrink)No categories
- Dynamic logics of knowledge and access.Tomohiro Hoshi &Eric Pacuit -2010 -Synthese 177 (1):29 - 49.A recurring issue in any formal model representing agents' (changing) informational attitudes is how to account for the fact that the agents are limited in their access to the available inference steps, possible observations and available messages. This may be because the agents are not logically omniscient and so do not have unlimited reasoning ability. But it can also be because the agents are following a predefined protocol that explicitly limits statements available for observation and/or communication. Within the broad literature (...) on epistemic logic, there are a variety of accounts that make precise a notion of an agent's "limited access" (for example, Awareness Logics, Justification Logics, and Inference Logics). This paper interprets the agents' access set of formulas as a constraint on the agents' information gathering process limiting which formulas can be observed. (shrink)
- On the education of the whole person.Naoko Saito &Tomohiro Akiyama -2024 -Educational Philosophy and Theory 56 (2):153-161.Against the prevailing outcomes-based education and the instrumentalization of education, a movement has arisen towards holistic education. This aims to go beyond objective measurement of the outcomes of education in order to treat the student as a whole person. In this paper, we shall examine some strands of education in Japan which in some way or another feature the idea of the whole person. This includes the tradition of clinical pedagogy, which originated in Kyoto University, Yukichi Shitahodo’s educational anthropology (Kyoiku-Ningengaku), (...) Kuniyoshi Obara’s Zenjin Education (the education of the whole person) and holistic education. Notwithstanding the fact that such education is benevolent in intention, it can be miseducative in some respects. In the light of this, and with some reference to criticism of the idea of the whole person, we shall point to an alternative vision of education of the whole person following Cavell’s Emersonian moral perfectionism – a perfectionism that is thoroughly anti-foundationalist and that transcends self-entrapment in circulatory discourse on the whole. In critical dialogue between the rich traditions of Japanese thought and the critical voice of liberalism raised from within the West, we hope to find a more nuanced answer to the question of how being a whole might make sense. (shrink)
- In search of an alternative history of debate in early modern Japan: The case of youth club debates in the late nineteenth and early twentieth centuries.Tomohiro Kanke &Junya Morooka -2012 -Journal of Argumentation in Context 1 (2):168-193.This paper offers an alternative historical account of debate in Japan during the Meiji, Taishō, and early Shōwa eras. Most previous studies on the modern history of debate in Japan have focused on Yukichi Fukuzawa or political advocacy by voluntary associations in the Freedom and People’s Rights Movement. Contrary to the prevailing view that debate had largely dissipated by 1890 due to the government’s strict regulations and crackdowns, this paper demonstrates that debate continued to be an important activity of youth (...) clubs across the nation. Emerging around the late 1880s, those youth clubs regularly held intra-group debates on various topics in order to advance knowledge in academic and practical matters. This paper concludes by suggesting that far from suppressing debates altogether, political authorities tolerated, and even promoted, certain forms of debate which they deemed fit for producing active yet subservient citizens. (shrink)No categories
- Risjord's philosophy of nursing science: concerns and questions.June F.Kikuchi -2014 -Nursing Philosophy 15 (1):46-49.
- Illusory models of peano arithmetic.MakotoKikuchi &Taishi Kurahashi -2016 -Journal of Symbolic Logic 81 (3):1163-1175.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)
- Liar-type Paradoxes and the Incompleteness Phenomena.MakotoKikuchi &Taishi Kurahashi -2016 -Journal of Philosophical Logic 45 (4):381-398.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)
- Three Short Stories around Gödel's Incompleteness Theorems.MakotoKikuchi &Taishi Kurahashi -2011 -Journal of the Japan Association for Philosophy of Science 38 (2):75-80.No categories
- Information dynamics and uniform substitution.Wesley H. Holliday,Tomohiro Hoshi &Thomas F. Icard Iii -2013 -Synthese 190 (1):31-55.The picture of information acquisition as the elimination of possibilities has proven fruitful in many domains, serving as a foundation for formal models in philosophy, linguistics, computer science, and economics. While the picture appears simple, its formalization in dynamic epistemic logic reveals subtleties: given a valid principle of information dynamics in the language of dynamic epistemic logic, substituting complex epistemic sentences for its atomic sentences may result in an invalid principle. In this article, we explore such failures of uniform substitution. (...) First, we give epistemic examples inspired by Moore, Fitch, and Williamson. Second, we answer affirmatively a question posed by van Benthem: can we effectively decide when every substitution instance of a given dynamic epistemic principle is valid? In technical terms, we prove the decidability of this schematic validity problem for public announcement logic (PAL and PAL-RC) over models for finitely many fully introspective agents, as well as models for infinitely many arbitrary agents. The proof of this result illuminates the reasons for the failure of uniform substitution. (shrink)
- Measurement of negative attitudes toward robots.Tatsuya Nomura,Tomohiro Suzuki,Takayuki Kanda &Kensuke Kato -2006 -Interaction Studies. Social Behaviour and Communication in Biological and Artificial Systemsinteraction Studies / Social Behaviour and Communication in Biological and Artificial Systemsinteraction Studies 7 (3):437-454.A great deal of research has been performed recently on robots that feature functions for communicating with humans in daily life, i.e., communication robots. We consider it important to develop methods to measure humans’ attitudes and emotions that may prevent them from interaction with communication robots, as indices to study short-term and long-term interaction between humans and communication robots. This study is aimed at exploring the influence of negative attitudes toward robots, focusing on applications of communication robots to daily-life services. (...) First, a scale of negative attitudes toward robots consisting of three subordinate scales, “negative attitudes toward situations of interaction with robots,” “negative attitudes toward the social influence of robots,” and “negative attitudes toward emotions in interaction with robots,” was developed based on a data sample comprising of 263 Japanese university students. This scale was administered to 240 Japanese university students to confirm its validity and reliability. In this paper, we report on the results of analyses of these data samples. Moreover, we discuss some future problems including a comparison of attitudes toward robots between nations. (shrink)
- Dual-Context Sequent Calculus and Strict Implication.KentaroKikuchi -2002 -Mathematical Logic Quarterly 48 (1):87-92.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.
- 特集「人工知能の哲学」趣旨.MakotoKikuchi -2017 -Kagaku Tetsugaku 50:33-34.No categories
- A cut-free Gentzen formulation of basic propositional calculus.KentaroKikuchi &Katsumi Sasaki -2003 -Journal of Logic, Language and Information 12 (2):213-225.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)
- A Mathematical Model of Deductive and Non-Deductive Inferences.MakotoKikuchi -2009 -Annals of the Japan Association for Philosophy of Science 17:1-11.
- Christological Problems in the Understanding of the Sonship in Meister Eckhart.SatoshiKikuchi -2008 -Bijdragen 69 (4):365-381.Since the beginning of Christianity, the understanding of Christ’s sonship has played an essential role in soteriology. According to the Church Fathers and to the medieval theologians, the human person can become a son of God by the grace of adoption through the sonship of Christ. However, the German Dominican, Meister Eckhart , uses the theological concept 'the Only-begotten Son', which stands for the divine sonship of Christ himself, to describe the human condition and demonstrates the equality between Christ and (...) the human person. This quite unusual understanding drew the attention of the Church authorities in his time, because it could be associated with the doctrines of heretics in the late Middle Ages who insisted on the perfect identity between Christ and the human person. In the end, Eckhart’s teaching including the understanding of the sonship was condemned by the papal bull In agro dominico together with his other teachings. The present article attempts to reconstruct this one of the most challenging teachings of Eckhart by the analysis of his text, mainly the text of his German homilies, and to examine how he understands the relationship between Christ and the human person regarding the sonship. (shrink)
- Kyōtsūzen no seijigaku: komyuniti o meguru seiji shisō = A politics of the common good: the political thought of community.MasaoKikuchi -2011 - Tōkyō-to Bunkyō-ku: Keisō Shobō.サンデルや現代コミュニタリアンは、なぜ今、古代からの西洋政治思想「共通善」を改めて説くのか。新たな実践哲学が、ここから始まる。.
| 1 — 50 / 123 |
Off-campus access
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server or OpenAthens.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
 Email |  RSS feed |
Editorial team
General Editors:
David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Area Editors:
David Bourget
Gwen Bradford
Berit Brogaard
Margaret Cameron
David Chalmers
James Chase
Rafael De Clercq
Ezio Di Nucci
Esa Diaz-Leon
Barry Hallen
Hans Halvorson
Jonathan Ichikawa
Monte Johnson
Michelle Kosch
Øystein Linnebo
Paul Livingston
Brandon Look
Manolo Martínez
Matthew McGrath
Michiru Nagatsu
Susana Nuccetelli
Giuseppe Primiero
Jack Alan Reynolds
Darrell P. Rowbottom
Aleksandra Samonek
Constantine Sandis
Howard Sankey
Jonathan Schaffer
Thomas Senor
Daniel Star
Jussi Suikkanen
Aness Kim Webster
Other editors
Contact us
Learn more about PhilPapers
David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Area Editors:
David Bourget
Gwen Bradford
Berit Brogaard
Margaret Cameron
David Chalmers
James Chase
Rafael De Clercq
Ezio Di Nucci
Esa Diaz-Leon
Barry Hallen
Hans Halvorson
Jonathan Ichikawa
Monte Johnson
Michelle Kosch
Øystein Linnebo
Paul Livingston
Brandon Look
Manolo Martínez
Matthew McGrath
Michiru Nagatsu
Susana Nuccetelli
Giuseppe Primiero
Jack Alan Reynolds
Darrell P. Rowbottom
Aleksandra Samonek
Constantine Sandis
Howard Sankey
Jonathan Schaffer
Thomas Senor
Daniel Star
Jussi Suikkanen
Aness Kim Webster
Other editors
Contact us
Learn more about PhilPapers
Home |New books and articles |Bibliographies |Philosophy journals |About PhilPapers |API |Contact us |Code of conduct
PhilPapers logo byAndrea Andrews andMeghan Driscoll.
This site uses cookies and Google Analytics (see ourterms & conditions for details regarding the privacy implications).Use of this site is subject toterms & conditions.
All rights reserved byThe PhilPapers Foundation
Server: philpapers-web-5b9ff6f457-ljglp uwo