全称命題

つい先日，知人のMさんとタコパをした．それは計画的なものでなく，大量にあるキャベツを消費したかったからである．故に，タコがないので，中にはウインナーやら，キムチチーズやらを入れた．とても美味しかった．．．．．． そのとき，知人のMさんがとある発言をした． \[\mathrm{全部タコじゃないよね}\] これは，たこ焼きの中身が全部タコじゃないということなのだが，この日本語に私は少し違和感を覚えた． その違和感を，数理論理学的に見ていこう．（タコパでこの話に発展するのがおかしいことは重々承知）たこ焼きを\(T\),その中身を\(T_{in}\)とする． まず，全てのたこ焼きについて，その中身が全…

さてNetflix版で新しく明らかになった『Find Love』と『Face My Fears (English Version)』のヒカルによる日本語版歌詞についても少しずつ触れていきましょうかね。 やっぱ最初に触れるのは『Find Love』のここかなー。 『But I don't wanna be alone Everyday of my life』 んとこを 『だって一人でいるのも好きだけど 毎日はイヤ、毎日はイヤ』 って訳したとこ。大胆！ いやぁほんと、これ本人でないと無理じゃね？ いやま、プロの人なら出来るのかな。ぱっと見、真逆だもんねぇ。 『But I don't wanna b…

少し前にカール・ポパーの『科学的発見の論理』を読んでいて、その中で、ポパーが確率論に基づく帰納法について長々と批判をしている部分など、いまいち文脈が理解できていない部分があったのですが、野家啓一の『科学哲学への招待』の第9章「論理実証主義と統一科学」、第10章「批判的合理主義と反証可能性」のあたりを読んだおかげで、ポパーは、論理実証主義の完成形である「仮説演繹法」の中の帰納法の部分に対して 仮説を発見・提起する部分では、観察から帰納法的な手順を踏んで導かれる仮説って小粒なものばかりにならない?むしろ自在にジャンプした発想に基づく仮説の方が面白いのでは? 仮説を正当化・立証する部分では、「検証可…

野家啓一『科学哲学への招待』の第9章を読んで、まとめてみました。 L.ヴィトゲンシュタインの著した「論理哲学論考」では、論理的に成立しうる命題だけが哲学の命題たり得ると示された。 逆に言えば、「幸福とは何か」とか、「人生の意味とは何か」とか、いかにも哲学っぽいけど、論理的に答えが出せないものは、すべて"命題もどき"である、というわけだ。 その過激な思想をさらに推し進めようとしたのが論理実証主義である。 論理実証主義者が依ってたつのが、 「検証可能性」と「統一科学」である。 1.検証可能性とは 検証可能性とは、文字通り、科学的に検証可能かどうか、ということである。「幸福とは何か」とか「人生の意味…

主観 Subject 客観 Object 主観：自分ひとりだけの考え 主観的：自分ひとりのものの見方・感じ方によっているさま 客観：主観から独立して存在するもの 客観的：主観または主体を離れて独立に存在するさま 志向性 Intentionality 志向：意識が一定の対象に向かうこと主観：対象を認識する自分の意識（出典:『現代文 キーワード読解』Z会）客観：主観に対するもの。対象（object＝もの）。 対象 Object 対象：意識・感覚・認識などの作用が向かうもの。客観・客体とほぼ同義。 object：対象。ラテン語の objectum（前に投げられてあるもの）に由来し、客観の原語もまた …

前回は自分の思想（？）の核を成す教材として敢えて数を絞って紹介しましたが、今回はクセのあると個人的に感じる教材まで包括的に紹介、解説しようと思います。尚、その教材の特徴に加え、「どのような人が使うべきか」と言った点に力点をかなり置きました。ルートと言う提示の仕方への反省の意味もあります。是非そういった部分まで読んでいただければと思います。また、自分は国立理系入試しかわかりません。もしかすると文系入試においては当てはまらない事もあるかもしれませんので、その部分はご注意ください。 数学 典型問題Type100/60（東進ブックス） 最高の演習160/90（東進ブックス） 入試数学の掌握（YELL出…

皆さんこんにちは！今日は入試数学の掌握シリーズについて紹介していきます。 目次 入試数学の掌握の特徴 ◯難易度:★★★★★ ◯赤色(総論編)について 問題数 ◯青色(各論練磨編)について 問題数 ◯緑色(各論実践編)について 問題数 ◯並行して進めるのにおすすめの問題集 ◯上級問題精講 ◯ハイレベル理系数学 ◯やさしい理系数学 ◯新数学演習 ◯入試の核心 難関大編 ◯おすすめの過去問題集 ◯鉄緑会 東大数学問題集 ◯大学への数学 東大数学50年の軌跡 ◯大学への数学 京大数学51年の軌跡 テーマ別演習① 入試数学の掌握 総論編 (YELL books テーマ別演習 1) 作者:近藤至徳 エール…

レンズ／オプティックなどの議論では、エンド／コエンドをヘビーに使います。この記事では、自然変換の集合をエンドで表示することを目的にして、エンドの説明をします。当該の目的に不要なことはカットして、できるだけ短い説明にします。この記事内では、小さい圏の対象をラテン小文字で表すので注意してください。$` \newcommand{\End}{\overline{\prod} } \newcommand{\qto}[1]{\mathrel{\text{-}_{\text{#1}}\!\!\!\to} } \newcommand{\Iff}{\Leftrightarrow } \newcommand{\c…

「白上フブキは存在し、かつ、狐であるのか」延長戦 saize-lw.hatenablog.com ありがたいことにこの前書いた記事（『フブかつ』）へのレスポンスとそれに触発された記事を貰ったのでそれについて書きます。ちなみにキーラ氏は友人の師匠（？）で、稀にdiscordでコミュニケーションすることもある知り合いの知り合いくらいの方です。僕が今まであまり一貫性なくバラ撒いてきた文書も読んで頂いて発展的な御指摘を頂けるのは非常に嬉しいです。ありがとうございます。 文中でたまに引用される『Vだけど、Vじゃない！』(『VV』)というのは僕が以前に書いたVtuberを題材にした短編のことです。 kak…

大人になって、今まで食べられなかったもの、嫌いだったものが食べられるようになるという話はよくあることだ。なんでだろう。大人になったから？ そもそも大人になるということは一体どういうことなのか。学校を卒業することなのか。それとも飲酒をすることなのか。まともな仕事に就くことなのか。 例えば母親が、長男に対し、「ほら、もうお兄さんになるんだから、そんなことしないの！」と叱る光景は良くある。(まあ私は実際見たことは無いけど) ここでの「そんなこと」とは、常識───少なくともその母親の常識───からは逸脱した行為のことを指すのだろう。学校の中だって、そんな常識が日々暗に押し付けられ続けている。希望に満ち…

副題：他人の人生を目茶苦茶にする権利など誰にもない。幸せを踏みにじる事に大義なんてない。控え目にいって人権侵害。↑↑↑スマホChromeの記事トップ（9月1日付）に出てきたので少しだけ感想。「眞子さま 小室圭さんと年内にも結婚の方向で調整」関係者によりますと、眞子さまと小室さんは、小室さんがアメリカ・ニューヨーク州の法律事務所への就職の見通しが立ったことから、年内にも婚姻届を提出して結婚される方向で調整が進められているということです。https://www3.nhk.or.jp/news/html/20210901/k10013236181000.html（NHK）事実であれば、「よかったなぁ…