▽hiroyukikojimaの日記
●11/04 14:48
｢命題論理の完全性定理｣というのは､｢ﾄｰﾄﾛｼﾞｰは必ず証明できる｣という定理である｡もう少し詳しく説明しよう｡与えられた命題について､それを構成する命題変数にどんな真偽を割り当ててもその命題が真であるとき､その命題をﾄｰﾄﾛｼﾞｰ(恒真命題)と呼ぶ｡与えられた命題がﾄｰﾄﾛｼﾞｰであるなら､その命題は必ず､通常の(公理から出発する形式的な)推論規則によって証明できる､というものだ｡例えば､命題変数から生成される命題を考えてみる｡にどんな真偽の組み合わせ(4通り)を当てはめても､この命題は必ず真であるからﾄｰﾄﾛｼﾞｰである｡このとき､この論理式は推論規則で導出することができる｡(どのように導出されるかは､拙著『証明と論理に強くなる』で読んでくださいな)｡｢命題論理の完全性定理｣は､このようなことが一般的に成り立つことを主張している｡すなわち､｢形式的に証明できる命題は常に正しい｣だけではなく､

▽退屈男と本と街
●11/03 00:41
< November 2024 >1 23 4 5 6 7 8 910 11 12 13 14 15 1617 18 19 20 21 22 2324 25 26 27 28 29 30

▽乱読ﾉｰﾄ 〜出町柳から哲学の道へ〜
●11/02 19:14
2024-11-012024年9･10月の読書の記録ｱﾍﾞﾉﾐｸｽが変えた日本経済 (ちくま新書)作者:野口 旭筑摩書房Amazonｱﾆﾏﾙ･ﾌｧｰﾑ (ちくま文庫)作者:石ﾉ森 章太郎,ｼﾞｮｰｼﾞ･ｵｰｳｪﾙ筑摩書房Amazon【全面改訂 第3版】ほったらかし投資術 (朝日新書)作者:山崎 元,水瀬 ｹﾝｲﾁ朝日新聞出版Amazonなぜ｢大学は出ておきなさい｣と言われるのか: ｷｬﾘｱにつながる学び方 (ちくまﾌﾟﾘﾏｰ新書 99)作者:浦坂 純子筑摩書房Amazonﾏｸﾄﾞﾅﾙﾄﾞ､P&G､ﾍﾝｹﾙで学んだ 圧倒的な成果を生み出す ｢劇薬｣の仕事術作者:足立 光ﾀﾞｲﾔﾓﾝﾄﾞ社Amazonﾂﾝﾃﾞﾚ相対性理論作者:ｱｲﾝｼｭﾀｲﾝｸﾗﾌﾞPHP研究所Amazon高校生にもわかる｢お金｣の話 (ちくま新書 928)作者:内藤 忍筑摩書房Amazo

▽雑誌『談』編集長によるBlog
●11/02 04:10
2024年10月31日12:24ｶﾃｺﾞﾘｲﾝﾌｫﾒｰｼｮﾝ思想『談』no.131特集◉｢空と無｣（『〈精神的〉東洋』の第2回）が2024年11月1日（金）に全国書店にて発売になります｡書店発売に先立ち､一足先に『談』Webｻｲﾄでは､各ｲﾝﾀﾋﾞｭｰのｱﾌﾞｽﾄﾗｸﾄとeditor’s noteを公開します｡右ﾍﾟｰｼﾞの最新号no.131の表紙をｸﾘｯｸしてください｡（10月31日正午公開）『談』no.131 特集◉｢空と無｣企画趣旨｢色即是空､空即是色｣､日本人なら誰もが知る『般若心経』の一文だ｡仏教教義を示すことばのなかで､たぶん最もよく知られた文だが､意外にもその概念の解釈をめぐっては､今日でも議論がたえないという｡学界の共通理解といえるようなものさえほとんど存在しないのが現状だと宗教学者の彌永信美氏は言う｡それらの議論の中身を探ってみると､根本的な理解の相違があるとい

▽今日もぐだぐだ
●10/31 13:57
※｢普遍人という夢　人種と人類種の20世紀ｱﾒﾘｶ｣（『現代思想』2024年10月号､203-14）※『ﾒﾃﾞｨｳﾑ』2号　｢特集･ﾀﾞﾅ･ﾊﾗｳｪｲ｣　(2021) 特集緒言｢ﾀﾞﾅ･ﾊﾗｳｪｲとﾏｼﾞﾒに遊ぶために｣､ﾀｰｼｭ･ﾍﾞｲﾂ｢私たちがﾎﾓ･ｻﾋﾟｴﾝｽだったことは一度もない｣翻訳､付録3点（ﾊﾞｲｵ､全論文･著作･ｲﾝﾀｳﾞｭｰ書誌､研究参考文献一覧）作成､その他査読･校正作業等｡