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

▽ﾗﾗﾋﾞｱｰﾀ
●10/19 03:36
ﾍﾞﾝﾔﾐﾝにおいては､鋭い直感が､不十分な哲学的裏付けを伴って提示されるので､ことさら秘教的なものになっていることが多い｡例えば初期の言語哲学｡それがﾌｯｻｰﾙの『論理学研究』に対して批判的であることは当然予想されるとおりだが､だからと言ってまさかのName中心の言語論､それも固有名詞中心の言語論とはいかなることか？もちろん彼が､ﾌﾚｰｹﾞに始まる言語哲学的転回を知らないのは致し方ないとしても､このままでは偽なる有意味な命題の扱いすらままならない｡神による命名という神学的ﾃｰﾏにｲﾝｽﾋﾟﾚｰｼｮﾝを得ているにしても､このように乏しい道具立てで言語哲学に挑戦しようとするのは､どんな勝算があると思ってのことなのか？

▽三宅洋平ｵﾌｨｼｬﾙﾌﾞﾛｸﾞ｢三宅日記｣Powered by Ameba
●10/12 22:15
秋から始まった新型ﾜｸﾁﾝｷｬﾝﾍﾟｰﾝについて【｢有力な容疑者だが有罪とは断定できない｣】ｺﾛﾅ以降の3年間の超過死亡が40万人を超えてるが､厚労省は理由を説明できない｡ｺﾛﾅ初期の2020〜2021年の統計だけでも､世界で1400万人が超過死亡(ｺﾛﾅ死とされた500万人を除く)｡当然､ﾜｸﾁﾝが原因なんじゃないかと､ﾊﾟﾝﾋﾟｰのみならず世界中の科学者､医療従事者が訴えているが､認められない｡｢有力な容疑者だが有罪とは断定できない｣そんな状態のものが､この秋からまたせっせと｢新型ですよ〜｣とﾃﾚﾋﾞ･新聞漬けで情報ﾘﾃﾗｼｰ低めの高齢者をﾀｰｹﾞｯﾄに出回り始めたわけです｡僕らの税金を､何兆円も使って｡国内で既に公認されたｺﾛﾅﾜｸﾁﾝ被害だけでも8000件を超え､そのうち800人以上が死亡している｡過去に類を見ない薬害として､その数は膨れ上がっていくだろう｡うちのｶｰｻﾝ､ﾄ

▽Economics Lovers Live
●09/12 20:57
2024-09-12『経済学史学会ﾆｭｰｽ』64号に報告要旨掲載経済学史学会のﾆｭｰｽ64号に以下の報告要旨が掲載｡経済学史学会関西部会でのもの｡https://jshet.net/news/letter/第 184 回 関西部会日付： 2024 年 2 月 17 日 13:00 – 18:00場所：大阪工業大学･梅田ｷｬﾝﾊﾟｽ OIT ﾀﾜｰ､3 階 301 会議室､対面のみ参加者数：18 名<ﾌﾟﾛｸﾞﾗﾑ>･開催校挨拶：13:00-13:10 (10 分)･第 1 報告：13:10-14:30 (80 分)報告者：田中秀臣 (上武大学)論 題：｢河上肇の詩と“もうひとつの自叙伝”問題｣討論者：林直樹 (尾道市立大学)司 会：大槻 忠史 (摂南大学)tanakahidetomi 2024-09-12 09:08 読者になる

▽橋本健二の読書＆音盤日記
●03/27 20:31
橋本健二の読書＆音盤日記読者になる