2019年5月7日のコメントペーパーより。レジュメは古典命題論理。 コメント： がなぜ空集合を指す記号になったのですか。 回答：比較的新しい記号で、初出は1939年のブルバキ『数学原論』とのことです。考案したのはアンドレ・ヴェイユで、彼が言うには、ノル…

「ライスまたはパン」あるいは線形論理の話 (1) - 論理学FAQのブログ の続きです。 こちらが選ぶのか、相手が選ぶのかによって、「または」が連言になったり選言になったりする加法的結合子の話をしました。 じつはもうひとつ、さらに別の「または」がありま…

2019年4月22日のコメントペーパーより。レジュメは古典命題論理。 コメント：が、ものときに、がになる理由がわからないです。たとえばレストランで「ライスまたはパンを注文してください」とあるときには、ライスとパンを両方くださいと言ってもよいことに…

2019年4月22日のコメントペーパーより。レジュメは古典命題論理。 コメント：論理学は哲学のための道具なのでしょうか。それ自体として哲学なのでしょうか。あるいはその両方なのでしょうか。 回答：ま、両方でしょうね。いろいろな答え方があると思いますが…

2019年4月22日のコメントペーパーより。レジュメは古典命題論理。 コメント：「かつ」「または」「でない」と「ならば」が (少なくとも自然言語においては) 同じ次元にないように思われる (前者では要素が並列されているのに対し、後者では因果関係となって…

2019年度から授業で学生さんに書いてもらったコメントシートに対して、リプライを書くようにしました。授業ではもちろん印刷して配布し、PDFも自分のサイトにアップロードしていますが、話題の種類や長さなどを考えると、ブログの記事にして残しておくのがよ…