極座標を使うことはあるけど、極座標を直交座標で表したことがなかったなと思ったので。
続きを読む三段論法のワナ?
日常言語の「ならば」(英語だとif)は、たぶん古典論理と挙動が違うっぽい。
というのをStanford Encyclopedia of Philosophyの"indicative conditionals"を眺めながら書いてみる。
※英語だと、直説法と仮定法によって用法が分かれるが、正直私はこれを分ける自信が無いので、スルーすることにします。
※McGee, V (1985) "A Counterexample to Modus Ponens", The Journal of Philosophy, vol.82, No.9, p.462-471
を読む必要があるはずなのですが、未読です。