こんなツイートを見た．(i) φ(x) ⊢ ∀xφ(x) (ii) ⊢ φ(x)→∀xφ(x)似ているようだが、(i) は正しく、(ii) は必ずしも正しくないようである。論理式が正しく理解できているのか自信がなくなってきた。。— Atsushi Yamashita (@yamyam_topo) 2025年7月20日 最初「…

ランキング参加中その他たびたび見かける疑問として，「一階述語論理のストラクチャー（構造）の対象領域を空にしてはなぜダメなのか？」というものがある．これ自体はとても良い質問なのだが，「わかる人（つまり教科書を書くような人）にはすぐわかるが，…

『論理的思考とは何か』に対する論理学徒による解説と批評．

論理学由来の用語だが，本来の定義を離れた使われ方をしている用語がいくつかある．当然，学術用語として用いていないことが明らかな場合においては，本来の意味を離れた使われ方をすることに特に問題はない*1．それどころか，学術用語が日常において異なる…

こんなツイートを見た．論理学を勉強しようとして，論理哲学論考とかいう怪文書 (失礼) を手に取っちゃうの，ほんとうにかわいそう．— しらそら (@silasolla) 2023年3月9日 『論理哲学論考』は哲学書として大事な本（2025/1/19 削除）らしい（削除終わり）だ…

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

論理学およびその周辺領域の本を並べてみた．

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