古典論理

5 to 7 私：2014年の映画『5 to 7（邦題：5時から7時の恋人カンケイ）』を簡単に紹介してくれる？ ChatGPT：2014年の映画『5 to 7』（邦題：『5時から7時の恋人カンケイ』）は、Young aspiring writer（作家志望の青年）が年上の既婚女性と恋に落ちるロマンティックドラマです。この映画は、ニューヨークを舞台に、主人公のブライアンがフランス大使の妻アリエルと出会い、彼女との不倫関係を繰り広げます。この関係はフランスの文化的な習慣に基づき、「5時から7時」という時間枠内でのみ許されています。 映画は恋愛の美しさと複雑さを探求し、文化的な差異や恋愛観の違いを描…

久々に論理の話をします。論理とはいっても、形式化された論理〈formal logic〉の話ではなくて、“ちゃんと考えるための技法”といった意味の論理です。「命題と判断は区別しましょう」が僕がこの記事で言いたいことです。$`\newcommand{\Holds}{ \mathrel{|\!-!} } \newcommand{\Ques}{ \mathrel{|\!-?} } \newcommand{\HHolds}{ \mathrel{||\!-!} } \newcommand{\HHHolds}{ \mathrel{|||\!-!} } \newcommand{\NotHold}{ \math…

古典論理の「ならば」を誤解・曲解したままで、「ならば」を使えない／間違える人は多い。「前件（$`\Rightarrow`$ の左側）が偽なら含意命題は真」というところがカナメ。$`\Rightarrow`$ は演算記号で関係記号ではない。のだが、関係記号としてもオーバーロードされている（これも酷いハナシだ）。檜山は「宝くじが当たった ならば フェラーリを買う」のような例をよく出していた。「宝くじが当たらなかった」ときは、後件（$`\Rightarrow`$ の左側）は見なくていい。「宝くじが当たらないのにフェラーリを買った」としても真だ、と。だが、こういう説明をしても、ほんとに古典論理の「なら…

2023年末〜2024年2月にかけての雪組公演について。宝塚大劇場、東京宝塚劇場、それぞれで何度か観劇することができましたので、私の大好きな朝美絢さんのことを中心に、感想を簡単に記しておきます。 （もくじ） 公演全体について 朝美絢さんの多面的な魅力 待ちに待って、朝美さん登場 もう一人の主役？ 知的、かつチャーミング 2024年カレンダーの表紙 拗ねちゃうホームズ 悪魔の「ラップバトル」 デーモンと「人生の主」 モテモテ朝美さんシーン＆ウインク 和希そらさん 夢白あやさん 縣千さん 書きやすいペン それでも物語／宝塚が必要だ 初日、彩風咲奈さんご挨拶 宝塚が必要だ 物語を生きる 公演全体につ…

「左随伴関手は左カン拡張を保存する」で、左随伴関手が左カン拡張とうまく協調することを述べました。一般に、左随伴関手や右随伴関手は良い性質を持ちます。この記事では、お馴染みで簡単な2-圏である関係の2-圏 $`{\bf Rel}`$ において左随伴関手相当の1-射が何であるかを調べてみます。$`\newcommand{\mrm}[1]{ \mathrm{#1} } \newcommand{\In}{\text{ in }} \newcommand{\msc}[1]{ \mathscr{#1} } \newcommand{\dimU}[2]{{#1}\!\updownarrow^{#2}} \ne…

はじめに 本項では、放送大学教育振興会出版の黒橋禎夫『自然言語処理』の改訂版（2019年）と三訂版（2023年）を比較する。 自然言語処理の主流であった古典的手法が、ニューラルネットワーク的手法に圧倒されていくさまを見ることができる。 前著では比較的小さな扱いであったニューラルネットワーク的手法が後著では主役を占めることになるとは。 確かに歴史的場面を我々は見ている。 自然言語処理〔三訂版〕 (放送大学教材)作者:黒橋 禎夫放送大学教育振興会Amazon 自然言語処理〔改訂版〕 (放送大学教材)作者:禎夫, 黒橋放送大学教育振興会Amazon 目次の変化 改訂版から三訂版への改訂にあたって読者…

現在２０２４年１月１９日１５時２９分である。（この投稿は、ほぼ２７４２文字）麻友「１５枚のスキャン原稿というのを、見せてくれるの？」私「私が、ブルバキというものを、現在、どう進めているかというのを、見て欲しい」若菜「『数学原論６』でしたよね。６０✕５＋１＝３０１で、３０１ページからですね」私「表紙から、スキャンしてある」 表紙見返し ３０１ページ ３０２ページ ３０３ページ ３０４ページ ３０５ページ 私「この辺で、分からなくなり出しているだろうな。私が、以前読んだところを、復習しているので、隠れた仮定などが、一杯あるのだ。取り敢えず、読み流してみて」３０６ページ私「研究者注．とか、研究者の言…

非古典論理学のテキストの参考書に挙げられていたテキストであるが目次等の情報がインンターネット上になかったためここに記す。 購入を検討している後学の一助となれば幸いである。 序章 命題論理学 0.1 論理学の分野 0.2 真理関数 0.3 公理体系とモデル 0.4 記号規約 第1章 様相論理学 1.1 様相の諸体系 1.2 公理体系 1.3 4元モデル 1.4 S 0.9 体系 1.5 S2体系 1.6 S3体系 1.7 T体系 1.8 S4体系 1.9 S5体系 1.10 無限モデル 1.11 限量様相命題 1.12 クリプケ・モデル ※現クリプキ 第2章 限定含意 2.1 含意の違和 2.2…