{"published":"2007-03-17 00:00:01","version":"1.0","categories":["Goedel","Carnap","Frege"],"image_url":null,"provider_url":"https://hatena.blog","type":"rich","title":"\u3000\u8efd\u304f\u8aad\u66f8: Goedel on Carnap","height":"190","description":"\u30ab\u30d5\u30a7\u3067\u3064\u3089\u3064\u3089\u8aad\u66f8\u3057\u3088\u3046\u304b\u3068\u601d\u3063\u305f\u304c\u3001\u5bd2\u3044\u3002\u3042\u307e\u308a\u96c6\u4e2d\u3067\u304d\u306a\u3044\u3002\u3071\u3089\u3071\u3089\u3068\u983c\u308a\u306a\u3052\u306b\u4ee5\u4e0b\u3092\u62fe\u3044\u8aad\u3080\u3002 \u7530\u4e2d\u4e00\u4e4b \u300c\u5e8f \u4e0d\u5b8c\u5168\u6027\u5b9a\u7406\u3068\u305d\u306e\u80cc\u666f\u300d\u3001\u7530\u4e2d\u4e00\u4e4b\u7de8\u3001\u300e\u30b2\u30fc\u30c7\u30eb\u306820\u4e16\u7d00\u306e\u8ad6\u7406\u5b663 \u4e0d\u5b8c\u5168\u6027\u5b9a\u7406\u3068\u7b97\u8853\u306e\u4f53\u7cfb\u300f\u3001\u6771\u4eac\u5927\u5b66\u51fa\u7248\u4f1a\u30012007\u5e74 Robert Rogers Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results, North-Holland, 1971 \u3067\u3001\u7530\u4e2d\u5148\u751f\u306e\u6587\u3092\u8aad\u3093\u3067\u3044\u3066\u300c\u3078\u3047\u301c\u3001\u305d\u3046\u306a\u3093\u3060\u300d\u3068\u77e5\u3089\u306a\u304b\u3063\u305f\u3053\u3068\u306b\u6c17\u3065\u304f\u3002 1928\u5e74\u306b\u30b2\u30fc\u30c7\u30eb\u304c\u672c\u683c\u7684\u306b\u30ed\u30b8\u30c3\u30af\u2026","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fnuhsnuh.hatenablog.jp%2Fentry%2F20070317%2Fp2\" title=\"\u3000\u8efd\u304f\u8aad\u66f8: Goedel on Carnap - nuhsnuh\u2019s blog\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","author_url":"https://blog.hatena.ne.jp/nuhsnuh/","author_name":"nuhsnuh","blog_url":"https://nuhsnuh.hatenablog.jp/","width":"100%","url":"https://nuhsnuh.hatenablog.jp/entry/20070317/p2","blog_title":"nuhsnuh\u2019s blog","provider_name":"Hatena Blog"}