ビッグクエスチョンズ 哲学 (THE BIG QUESTIONS) 作者: サイモン・ブラックバーン,山邉昭則,下野葉月 出版社/メーカー: ディスカヴァー・トゥエンティワン 発売日: 2015/03/19 メディア: 単行本 この商品を含むブログ (1件) を見る この本を読んでいる。ブラ…

次の記事を読んで少し考えた。 possible - in saecula saeculorum "-potent"という接尾辞は、数学で「ベキ」と訳されるという話。「冪等idempotent」とか「冪零nilpotent」など。これと関連するのが、累乗を英語では "power" と呼ぶという事実である。例えば…

定評のある（？）この本を読んでいる。 パラドックスの哲学 作者: R.M.セインズブリー,Richard Mark Sainsbury,一ノ瀬正樹 出版社/メーカー: 勁草書房 発売日: 1993/04 メディア: 単行本 クリック: 1回 この商品を含むブログ (1件) を見る 調べてみたら、こ…

宮台真司の文章にはヘンペルの名前がたまに出てくるけど、なんか私の知ってるヘンペルとだいぶ違う…。気になった点をいくつか記しておく。 ヘンペルやアシュビーの不可能性定理*1 アシュビーは名前しか知らないので措くとして、ヘンペルにそんな禍々しい名前…

ヒュームの邦訳で見つけた面白い箇所をご紹介。 矛盾は中間がない。有と無は相いれないのように、論理学の矛盾の原理は二つの形式をもつ。一つは「AはBなり」と「AはBならず」とは矛盾である。他は「Aは非Aならず」である*1。 中間がないってのは排中律では……

哲学で大学院に行けるかどうかの基準は単純であって、『精神現象学』を読む体力があるかどうか、そして、カント哲学をそれなりに自分なりに理解できるかどうか、というのが俺の考え。それができない人にはちょっとキツイと思うな。 — 國分功一郎 (@lethal_no…

英文でよくあるタイポに、"causal"と"casual"の混同がある。哲学用語で似たような間違いというと、私はよく"categorial"と"categorical"の例を思い出す。定訳はそれぞれ categorial：範疇的 categorical：定言的 だが、"categorical"は「絶対的な」とか「明…

「どのFもGである（Every F is G）」は、Fが空である場合にはGが何であれ真になるということを、「aはFである」という単称肯定文において単称名"a"が空である場合にまで拡張することが、一般向けの啓蒙書ではなされがちなのではないか、という疑念を前々から…

『不思議の国のアリス』に、山形浩生訳があるのを知って、ざっと読んでみた。というか、これまでこの本をちゃんと読んだことがなかった。 不思議の国のアリス (文春文庫) 作者: ルイスキャロル,カズモトトモミ,Lewis Carroll,山形浩生 出版社/メーカー: 文藝…

アニメ『サカサマのパテマ』を観た。このアニメでは、上下が逆転した二つの世界とそこで暮らす人種を描いている。監督によれば、青空の下で寝そべっていると、空に向かって落ちていきそうな錯覚を映像にしたかったのだそうだ。映像は美しくて、なかなかイン…

デネットの『解明される意識』を読んでいて少し疑問に思ったことを二つほど。 デイヴィド・ヒューベルとトーステイン・ウィーゼルが1981年にそれによってノーベル賞をもらった視覚に関する「発見」のいくつかにしても、現在では白紙に戻されている p.59 これ…

嘘つきのパラドクスの有名な例として、エピメニデスのパラドクスが知られている。ディオゲネス・ラエルティオスによると、このエピメニデスという人は、57年もの間眠っていたらしい*1。恐らく、この伝説を下敷きにしてであろう。ラッセルは、エピメニデスが…

イギリスの論理学者E.J. Lemmonについてのメモ。 デイヴィドソンの論文「出来事の個体化」で、レモンとクワインによる出来事の個体化基準が紹介されている。なぜ論理学者のレモンが登場するの？と思っていたのだが、「行為文の論理形式」へのコメントで出来…

佐々木力『数学史』という分厚い本を適当に眺めていたら、シェーラーとルカーチの名前が一緒に出てきたのを見つけて驚いた（p.369）。不勉強な私はシェーラーというと、フッサール門下でハイデガーの兄弟子、みたいなことしか知らなかったりする。 佐々木に…

量化様相論理で有名なバーカン式についてのメモ。 その証明 時制論理で有名なアーサー・プライアーは、S5の様相命題論理に古典一階論理の公理を追加すると、バーカン式と逆バーカン式が証明できることを示した（1956年）。そして、S5より弱くできないか、と…

「演繹より帰納」で知られるF.ベーコンは、単純な枚挙帰納法に対して批判的だったという話を最近知った。『ノヴム・オルガヌム』1巻105節に「子供じみている」というフレーズがある。どちらかというと彼は、消去による帰納法（eliminative induction）を好ん…

以下は、Wikipedia「オッカムの剃刀」についてのノート。 オッカムのウィリアムの「オッカム」には2つの綴りがある。 Ockham Occam どちらでもよいのかな…。 オッカムの剃刀に似た格言が幾つか取り上げられている。ニュートンからの引用は、引用箇所が明示さ…

公理は証明のできない仮定とか前提だとよく言われる。しかし、現代の証明概念では公理も証明できるとされる。なぜかというと、理論θにおける証明は、θ の言語の文から成る列であり、その列のひとつひとつが、 θ の公理であるか その列において先立つ文から、…

最近出版された分析哲学の本を二冊購入。 松阪陽一（編）『言語哲学重要論文集』（春秋社） タイトルの通り、言語哲学の論文集。ドネランの論文が訳されているのが嬉しい。しかし、これまでにすでに日本語に訳されている論文が半分近くあるのが残念。80年代…

柄谷行人が近著『哲学の起源』について『atプラス 思想と活動』で対談をしていて、こういうことを言ってる。 初期ギリシャ哲学というのは、資料がろくにないから、推定するほかありません。その意味では、僕のように専門的な知識を持たない者には有利なので…

様相論理の歴史的な解説を読むと、C.I.ルイスの名前を見かける。それで「厳密含意strict implication」という言葉を目にするのだが、私はてっきり今でもこの用語を使うのだと思っていた。でも、条件法と含意との区別を守ろうとするなら、むしろ「厳密条件法s…

ここ数日、確証confirmationの概念について少し調べていたので、簡単にメモしてみる。文同士の関係としての確証関係は、演繹関係のちょうど逆であるように思える。そこで H ├ E ⇔ E confirm H. と定義することが考えられる。もっとも、単独の仮説から観察文…

supervaluationismについて少し調べようと思って、曖昧性にまつわる問題について一章を割いている一ノ瀬正樹『原因と理由の迷宮』にあたってみたが、3ページで片付けられていたので(pp.126--128)、大して参考にならなかった。というか、この本のサーヴェイ部…

確定記述と不確定記述の区別は、英語のように定冠詞と不定冠詞をもつ言語なら簡単につけることができるが、日本語だと難しい。この意味で、ラッセルの記述理論（theory of descriptions）は英語の文法に影響されていると言われる。しかし、さいきん飯田隆『…

ラファエロの名画「アテネの学堂」は、哲学にも芸術にも興味ない人でも知っている。サイゼリヤによく飾ってある