著者
井上 直昭
出版者
日本科学哲学会
雑誌
科学哲学 (ISSN:02893428)
巻号頁・発行日
vol.36, no.1, pp.17-28, 2003-07-25 (Released:2009-05-29)
参考文献数
16

This paper deals with Frege's stipulation in his Grundgesetze der Arithmetik I section 10, in which he gives way out of Julius Caesar Problem. There it seems as if he restricted the problem to the case of the truth values, so some consider Frege not wrestling with it squarely in Grundgesetze. But in the second footnote of the section he says clearly that it is possible to adopt his stipulation to the cases of any objects given us independently of the course of values. I will show that his account is correct and it is able to find out a consistency model in which both the stipulation and Quine's axiom of the existence of non-class objects presented in Mathematical Logic hold. With this result I suppose that we are able to take a good understanding for interpretation of that footnote.

言及状況

外部データベース (DOI)

はてなブックマーク (1 users, 1 posts)

Twitter (1 users, 1 posts, 0 favorites)

今回の記事を書くにあたって参考にしたPDF集 (メモ) 包括原理と自然数 https://t.co/E3LQ5O3dvd 汎用システムとしての 「ラムダ計算 + 論理」 https://t.co/9tKgEL12Gv シーザー問題と 『算術の基本法則』 第1巻 第10節 におけるフレーゲの約定 https://t.co/oBiumCKfrz

収集済み URL リスト