Hokkaido University Collection of Scholarly and Academic Papers >
Graduate School of Humanities and Human Sciences / Faculty of Humanities and Human Sciences >
哲学 = Annals of the Philosophical Society of Hokkaido University >
第52号 中戸川孝治教授退職記念号 >
煙から火を導出すること : トポス理論の観点から
Title: | 煙から火を導出すること : トポス理論の観点から |
Other Titles: | Inference from Smoke to Fre : from the Viewpoint of Topos Theory |
Authors: | 深山, 洋平1 Browse this author |
Authors(alt): | FUKAYAMA, Yohei1 |
Issue Date: | 2-Dec-2018 |
Publisher: | 北海道大学哲学会 |
Journal Title: | 哲学 |
Journal Title(alt): | Annals of the Philosophical Society of Hokkaido University |
Volume: | 52 |
Start Page: | 55 |
End Page: | 69 |
Abstract: | The first aim of this paper is to explicate the intention of a picture which was found on the introduction Web page of emeritus Koji Nakatogawa at Hokkaido University and which visualizes inference from seeing smoke at some place to the existence of fire there. It turns out that the picture is influenced from a book whose authors include mathematician F. W. Lawvere and that the intention is clarified by using Lawvere's elementary topos theory. The second aim is to point out a conflict between Nakatogawa's view that "static" set theory is opposed to "dynamic" category theory and Lawvere's conception of the topos of abstract sets and that of variable sets. |
Type: | bulletin (article) |
URI: | http://hdl.handle.net/2115/75451 |
Appears in Collections: | 哲学 = Annals of the Philosophical Society of Hokkaido University > 第52号 中戸川孝治教授退職記念号
|
|