6月9日の日記の続きです。 その日はGrundgesetzeのs. 10を引用してみました。今日はss. 29, 31を引いて、Context Principleらしきものがあるかどうかを見てみよう。 まず、s. 29にはこうある*1。 Ein Eigenname hat eine B e d e u t u n g , wenn der Eigen…

Dirk Schlimm “Axiomatics and Progress in the Light of 20th Century Philosophy of Science and Mathematics”, In: B. Loewe, V. Peckhaus, T. Rasch ed., Foundations of the Formal Sciences IV, College Publications, Studies in Logic Series, 2006 …