Sokratesさんの備忘録ないし雑記帳

書きたいことを書いている.駄文注意.

論理学

今,「論理」を学ぶ人のために

こんなツイートを見た.論理学を勉強しようとして,論理哲学論考とかいう怪文書 (失礼) を手に取っちゃうの,ほんとうにかわいそう.— Masaki Haga (@silasolla) 2023年3月9日 『論理哲学論考』は哲学書として大事な本らしいが,「論理」を勉強したい人間が…

【詳細版】 1+1=2 笑えない数学 ~笑わない数学の笑えない間違いの話~

NHK で放映された『笑わない数学』という番組の次の回が話題になっていた. www.nhk.jp 企画意図としては「\(1+1=2\) という式を通して数学基礎論という分野を紹介する」というものだったのだが,怪しい説明や誤解を招く説明,端的に誤っている説明があった…

「公理」のはなし

むしゃくしゃしたので,数学での「公理(Axiom)」について語ろうと思う.雑多な文章の寄せ集めで,特にオチがあるわけではないので,そういうのが苦手な人は回れ右して帰ると良い. 「公理」の2つの用法 「公理」に正しさ? 公理と対象の存在 どのような命題…

論理学およびその周辺領域の本

論理学とその周辺領域の本を並べてみた*1.この記事にあげる本は,何らかの形でわたし自身が手に取ったことのあるもの(読んだとは言っていない)に限定している*2.ただし,原語版は手に取ったことがあるが,日本語訳はそうではない,またはその逆という場合…

分離論理入門のようなもの

この記事は https://adventar.org/calendars/4015 の12/21 の記事です. わたしは分離論理について書きました. 日本語で読める分離論理についてのある程度まとまった文書をわたしは知らないので,需要があるのではないかと思って書きました. 今回は「一階…