著者

岡田 光弘

出版者

The Philosophy of Science Society, Japan

雑誌

科学哲学 (ISSN:02893428)

巻号頁・発行日

vol.53, no.2, pp.95-114, 2021-03-31 (Released:2021-03-31)

参考文献数

28

---

We discuss the equational representations of the elimination rule of inductive types, with a focus on the type “natural number”, in the context of the series of approaches to separating an equational calculus from logic. We go back to a source of the purely equational representation of the elimination rule, Wittgenstein's uniqueness rule. We analyze Wittgenstein's argument, in comparison with others', which gives supplementary remarks to Marion-Okada (2018).