非哲学科の人間が哲学の諸分野の概観をつかむために最初に手に取ると良いであろう本を紹介する*1．このブログ記事を書いている人間は非哲学科であるが，哲学科の人間にも目を通してもらい，悪書が紛れ込んでいないことなどは確認してもらっている． 基本的に…

数学的対象の存在論（「数学的対象が存在するとはどういうことなのか」という問題について考える学術領域）についての解説記事．

数学は哲学？特におもしろくもない冗談を言うのはよせよ．

この記事は Mathematical Logic Advent Calendar 2023 - Adventar と Math Advent Calendar 2023 - Adventar の16日目の記事である．より正確にはMathematical Logic Advent Calendar 2023 - Adventarの主催に書くことを強要された記事である． adventar.org…

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