カフェで以下の文献を読む。 G.フレーゲ 「概念記法の科学的正当化について」 in: 『フレーゲ著作集1 概念記法』、戸田山和久 ・大木島徹訳、藤村龍雄編、1999年 Hans Sluga “Frege: the early years”, in: Philosophy in History, ed. Q. Skinner et al., C…

Jeffrey Ketland “Craig’s Theorem” in: Macmillan Encyclopedia of Philosophy, D. Borchert (ed.), forthcoming Intro. In mathematical logic, Craig’s Theorem (not to be confused with Craig’s Interpolation Theorem) states that any recursively en…

今日はお天気荒れ模様とのことで遠出しないことにする。