論理学

略号紹介 ME＝数学的要素 PE＝物理的要素 数M理論＝数学的Mapping理論（本ブログの理論） ＜目次＞ △MP対応序論 ▲MP対応の手順 ▲MP対応の適用 ▽［注意］ △お断り 数式02 △MP対応序論 今回はいよいよMP対応についての議論をしたいと思います。 ここで一応MP対応についての説明を与えておきますと、MP対応とはMEに付随するPEを見出すこと、即ち物理的意味付けのことであります。PEはME展開空間の系内から見た周りのMEのことでありPEとはMEの付随物なのであります。これは以前の記事（第４、第６号辺り）に詳しく載せてあります。 さて、MP対応により、これまでの議論の中で隔てら…

【この本から得たこと】 命題に対して、対偶は同値でも、逆と裏は違う。 【今後の人生につながる３つのポイント】 ① 命題を考える際、対偶も考える。 ② 議論領域を意識する。 ③ ゲーデルの不完全性定理を調べる。 【感想後記と補足説明】 先週の寄り戻しで学問チックなものが読みたくなった。 ということで「まったくゼロからの論理学」。 なんだかんだ、論理学が基礎みたいなところあると思うんだよなぁ。 （読書感想文カテゴリーでは他にもいろんな本をご紹介！） まったくゼロからの論理学 作者:野矢 茂樹 岩波書店 Amazon ふむふむ、分かりやすいね、最後以外は。 ぶっちゃけ、公理系から極端に置いていかれた…

∀-規則の適用について とする．このとき 格式 第一格 AII 格式 第三格 AII が妥当な推理であるのでこれを用いる． 例 に対して ∀-除去 ができる場合は 大前提 前提 結論 あるいは 大前提 前提 結論 のときである． つまり 格式 第一格 AII 格式 第三格 AII の場合に∀-除去及び∀-導入ができると考える． 例 に対して が成立するというときに ∀-除去 という規則を適用することはできるだろうか？ あるいは(格式はどれか一つでも成り立てば妥当な推理であるといえる) というようにとして から ∀-導入 をいえることがわかる． まとめ ・ ・

△［序文］ 私は、今回は今まで述べてきたことの再確認をしよう、また、その中で若干の深掘りができたらいいな、と思い筆を執った。これまでも復習という名の下に様々書いてきたが、読み返して少々伝わりにくいと思い、より解り易い文章をという思いもあったので書いてみた。その出来は読者の感想に期待したいと思う。 さて、いつも通り初号のリンクは貼っておこう。 MP等価性からビッグバンメカニズムへ - 物理哲学！ また、略号も載せておく。 ME＝数学的要素 PE＝物理的要素 数M理論＝数学的Mapping理論（本ブログの理論） space01 ［目次］ △［序文］ ▲［仮定］ ▽［仮定の意味］ ▲［我々の世界とは…

読んだ本 引用元：版元ドットコム ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー メモ なし ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー 日記 相対主義と絶対主義の論争は終わっていないということを再度確認。 やや分厚い本であったので最後のほうをさらっと読んだ。 哲学者ラッセルが発見した｢ラッセルのパラドックス｣によってフレーゲは撃沈し、鬱状態となる。 『デカルトからベイトソンへ』においてもラッセルのパラドックスが取り上げられている。 (そして我々はパラドックスのなかでメタ・コミュニケーションを日常的に使用する。) nainaiteiy…

△はじめに 今回はここまで考察してきた数M理論の復習を行いたいと思います。初めに述べておきますが、本論の核心は初号に集約されており、初号を読むことが何より解り易いので、以下の記事をお読みください。本記事に書かれていることは初号の中にほとんど含まれており、尚かつ初号が一番面白いのです。リンクを張りましたのでそちらをどうぞ。 kapitan-ss.hatenablog.com 銀河03 △はじめに ▲数M理論とは ▲通常と数Mの比較 ▽集約化と離散化 ▽帰納性と演繹性 ▽３大相違点 ▽系の内と外 ▲MP対応 ▲ME＝PE？？ △まとめ また、以下では本ブログを初めてご覧になった方向けに、あまり枝葉…

とする．このとき ではない． (証明) なぜなら (∧-除去) と示すときに，を仮定することはできないので，この包含関係はない．▢ もちろん，のときはよりを認めている． 等号関係にはならない例 とする．このとき ではあるがではない． (証明) (ア) (∧-除去) を考える．このとき を示す． 1 (1) 仮定 1 (2) 1.∨-導入 1 (3) 2.∃-導入 (4) 3.∃-除去 (イ) (∧-除去) を考える．いま を調べる．しかし は仮定できない．たとえばであるからの条件に反することがわかるので，そのような仮定は認められない． ∨-導入に関してどのような判断も導入できてしまうことから，…

なに書こう？ と思ったけどとにかく仕事に脳のリソースが取られてて、これといったことが思いつかない。その場で思いついてTwitterに書いたりはしてる。あとすごいチームメンバが思ったように動いてくれなくてイライラしたり休日のリソースまで吸い取ろうとしてる仕事というものに対する抽象的な怒りを抱いたりしてる*1が、認知行動療法的にその自動思考なり感情なりに向き合う余裕まで奪われている／あるいは機転を利かせられずにいるのはもどかしい。なんかいろいろな思いを持て余して発作的に Douglas Walton の Informal Logic とか戸次大介『数理論理学』のような論理学関係の読んだことない本と…

★ [No.23115] 龍樹は「法のあり方が不生不滅」と言ったか 投稿者：pocket 投稿日:2021/10/28(Thu) 10:45:49 ショ-シャンクさま、石飛先生非常に本質的かつエキサティングな対話がなされていて、大変興奮しています。横入りをお許しください> > > もう、ここで、縁起からはずれてきましたね。「石飛が主張している」と見るなら、ブッダの教えをはずれてきています。法性などは、縁起したものを、語っているのです。> >> > 無常と言うことを法則として、その法則が常住、不変、永遠だということですか。>> このあたりに来ると、どうも、ショ-シャンクさまは、ことばにとらわれて…

科学技術とはPalimpsestである。 パリンプセストとは、もともと書いてあった文章を削り取り、その上から新たな文章を書きなおした羊皮紙の事である。 この言葉はイギリスの文筆家、ウォルター・ペイターがプラトンの哲学書に対して書いた文章を下敷きにして私が書いたものだ。この意味で、この言葉すらパリンプセストであるのかもしれない。 原文はこちら、 It is hardly an exaggeration to say that in Plato, in spite of his wonderful savour of literary freshness, there is nothing abs…

今日は「新装版 日本人を考える 司馬遼太郎対談集」から、 桑原武夫さんとの対談を紹介する。 タイトルは「〝人工日本語〟の功罪」。 この対談は1971年に行われた。 ここで「人工日本語」というのは、方言に分かれていた旧知の土着の日本語ではなく、共通語として生成した標準語のことを言っている。今だとAIが作る文章とかあるから、もっとヘンな時代になっているようだが、それはさておき。 そういう人工日本語つまりいまの標準語は、論理的表現はできるが、感情表現にはどうも適しておらないように思います。 (p.243、司馬) 例として「ああしんど」が紹介されているのだが、どうもピンと来ない。SNSやスマホはもちろ…

（2023/1/26） 『「人新世」と唯物史観』 友寄英隆 本の泉社 2022/4/11 ＜人新世（ひとしんせい）＞ ・21世紀に入り、地球環境・気象変動への対応は、ようやく人類共通の喫緊の課題として認識されつつある。しかし、21世紀も20年が経過したが、危機的な状況は加速度的に進行しつつあるにもかかわらず、具体的な対策となると、各国の思惑が重い壁となり、いまだ前途多難の感がする。最近では、人類の活動によって地球環境が破壊的な影響を受けつつあるという意味で、「人新世」などと言う耳慣れない地質学上の新しい時代区分が議論されるほどになっている。 ・本書は、こうした今日の世界史的状況を念頭に置いて、…

キャプテンコマンドーを久々にプレイして、不安だったけどワンコインで４面ボス「モンスター」まで行ったよ。モンスターにはやられたよ。残念だけど順当。まだちゃんと攻略できていなかったってことだよ。コンティニューしてたからね！ それでも、ストII系だけは人より上手いと思えたのが、ソニックウイングスもキャプテンコマンドーも当時のシューティング上手い人やベルトアクション上手い人の水準までは来たと思っているよ。ゲーセンの端で背中丸めてゲームしてるおっさんは古いゲーム機から順繰りに家で暇して遊んでいたと思うと、これで俺も晴れて暇なおっさんとしてキャプテンコマンドーとゆっくり向き合えるってことだよ。 アクション…

1. 読書感想（『何のための「教養」か』） 〇自発的に学ぶ 著者の桑子敏雄氏が東京大学へ進学したのは、1970年のことです。当時は学生がマルクスやレーニンを学んでいて、社会主義や共産主義への共感から、大学を相手に、いわゆる学生闘争を戦っていました。 大学闘争が落ち着くと、当時の闘士達はやがて企業戦士として、資本主義の枠内で生きていくことになりました。このような、思想的に変わり身しやすい日本人の傾向を目の当たりにして、桑子氏は疑問を感じていたようです。 桑子氏が研究の対象にしているのは、主に人間と自然環境との関係ですが、桑子氏は学生時代の学習を、ギリシア哲学から始めました。 西洋の古典哲学を研究…

↓これの続き！ cut-elimination.hatenablog.com ↓この本の論文を順番に読んでいくシリーズ！ 分析フェミニズム基本論文集 慶應義塾大学出版会 Amazon 最終第8回はアリソン・ワイリー「なぜスタンドポイントが重要なのか」飯塚理恵・小草泰訳。 非常に難しい論文だった！ まずスタンドポイント理論というのが難しいしそれを巡る論争も難しい。訳注と解説に助けられた。しかしワイリー先生が言いたいのは、スタンドポイント理論は難しいものではなくありふれているという事なのだと思う。 スタンドポイント理論について、木下頌子先生による編訳者解説から引用する。 スタンドポイント理論は、マ…

仕事を終えてシームレスに日記を書き始める。在宅勤務だからできることだ。シームレスに書き始めたくなった理由は、仕事をしている最中に見出したものを、温度を失わないうちに書き留めたいと思ったからだ。 かれこれ3年ぐらいは「仕事やめよう」と思って生きている。もちろん労働の一切を放擲するという意味ではなく、今所属している会社を退職しようという意味である。この「3年」は本当はもうちょっと短いかもしれないし、あるいはもうちょっと断続的かもしれない。主な理由は「ときどき馬鹿みたいに忙しくなるから」そして「私は忙しさによって生きている意味を喪失するタイプの人間だから」というあたりなのだが、もうちょっと継続的に自…

今日はこのシリーズの続き。 hiroringo.hatenablog.com 『数学嫌いな人のための数学』を読んで学んだことをメモにする。 数学嫌いな人のための数学―数学原論 作者:小室 直樹 東洋経済新報社 Amazon １２ 第３章の第１節を読む 第３章のタイトルは、「数学と近代資本主義＿数学の論理から資本主義は育った」である。 また、扉の絵は社会学者のマックス・ヴェーバーである。 この点、マックス・ヴェーバーの偉大さは次のメモにあるとおりである。 hiroringo.hatenablog.com そして、第１節のタイトルは「数学と資本主義の精神」。 資本主義の精神については『痛快！憲法学…

中沢新一『芸術人類学』みすず書房2006年4月15日第2刷、「III イデアの考古学」の「マトリックスの論理学」を読んだ。《 縦と横にずらっと数字を配列したものを、数学では「マトリックス」と呼んでいます。（引用者・略）どうしてそれを「母胎」や「子宮」という意味をもった「マトリックス」という名前で呼ぶことになったのか、はっきりしたことはわかっていません。 》 196-197頁《 このような華厳経の思想をひとつのベースにして、後に密教の思想家たちは、この「マトリックス」を「マンダラ」の構造として表現することになります。そのさいに、彼らはインドの古い大地母神の思想を利用しています。大地母神は子宮を象…

今日はこのシリーズの続き。 hiroringo.hatenablog.com 『数学嫌いな人のための数学』を読んで学んだことをメモにする。 数学嫌いな人のための数学―数学原論 作者:小室 直樹 東洋経済新報社 Amazon １１ 第２章の第３節を読む（後編） 前回は、形式論理学の「同一律」・「矛盾律」について細かく見てきた。 今回はその続きである。 ニコライ・イワノビッチ・ロバチェフスキー（１８世紀の数学者）が出現するまで、数学者・科学者の役割は「現実に存在する『客観的真理』を発見すること」と考えられていた。 ロバチェフスキーはこの「学問教」と言ってもよいイデオロギーを転覆させることになる。 …