Skinerrian's blog

論理学・哲学・科学史・社会学などに興味があるので、その方面のことを書きます。更新は不定期。

論理学

排中律の反例

排中律についてのメモ。 直観主義論理では排中律(P v not-P)が成り立たないと言われる。しかし、これは排中律の否定が成り立つということではない。排中律の否定を仮定すると直観主義論理の範囲でも矛盾が導かれるので、排中律の二重否定が成立する*1。 そ…

クラスの混同

上野千鶴子『構造主義の冒険』(1985年)p.70から。 「支配の正統化」とはウェーバーが定式化して以来、支配に内在する永遠のパラドックスである。このパラドックスは、正統性は自らの内には正統化根拠を持たない、という矛盾に起因する。正統性が自らの正統…

選言特性

論理学のメモ。まず、次の問題を考えてみる。|= はトートロジカルな帰結関係をあらわす。 Γ |= αvβ ならば、Γ |= α または Γ |= β といえるか?言えない場合には反例をつくれ。 答えはもちろん「言えない」。Γ = {αvβ} が反例になる。 しかし、これは古典論…

形而上学者ウィトゲンシュタイン

形而上学者ウィトゲンシュタイン―論理・独我論・倫理 作者: 細川亮一 出版社/メーカー: 筑摩書房 発売日: 2002/02 メディア: 単行本 クリック: 10回 この商品を含むブログ (2件) を見る ハイデガーの研究者による、一風変わったウィトゲンシュタインの研究書…

命題変数

古典命題論理についてのメモ。命題論理において A v not-A A → A のような式はトートロジーと呼ばれる。Pをどのように解釈しようと、これらの式は常に真になる。 この「どのように解釈しようと」という部分を、対象言語の中で直接に表現する方法として、命題…

ロビンソン算術

ロビンソン算術Qは以下7つの式(の全称閉包)を公理にもつ。 Sx ≠ 0 Sx = Sy → x = y x ≠ 0 → ∃y(Sy = x) x+0 = x x+Sy = S(x+y) x・0 = 0 x・Sy = (x・y)+x 不等号は次の定義によって導入する。 x < y ≡ ∃z(x+Sz = y) フランセーン『ゲーデルの定理』はよく…

anyの用法

"any" の用法について調べていたところ、こういうサイトに出くわした。 英会話のための英文法!限定詞「Any」のイメージと使い方!! | 飽きっぽい人のための長続き英会話 ~初心者スピーキング上達法~ こういうサイトって、なんというか、英語の堪能な人が…

逆バーカン式

飯田隆『言語哲学大全3』を読み返してて思ったこと。量化様相論理を解説している節で、最初に真理値ギャップを認める意味論が紹介されている。この意味論で、特に、必然性演算子の真理条件を □φがwで真 iff wRvとなるすべてのvで、もしφがvで真理値をもつな…

現実性オペレータ(2)

現実性オペレータを言語に足しても、もとの言語で表現できない内容を表現できるとは限らないという先の話だが、少なくとも量化を含む言語では話が違ってくるらしい。例えば 現実には存在しない対象もまた存在することができた という文は ◇∃x@∀y x≠y と書け…

現実性オペレータ

標準的な様相論理の言語に、現実性オペレータ@を付け加えると、色々ふしぎな結果が得られるという話。 構文論は、φがwffならば@φもwffとする。意味論は、標準的な様相論理の言語ではモデル<W, R, V>と相対的に式が評価されるのに対し、@を付け加えた場合…

EFQ

タブローで、矛盾からは何でも言えるということを証明するにはどうするのか、という質問を見かけて、それは考えたことなかったなと思った。もっとも、大して難しいことではないだろうけど。⊥を論理記号に含む言語だったら、⊥に関する推論規則として、すぐに…

ならばの推移性とMP

命題論理の話。 A→B, A |- B A→B, B→C |- A→C この二つの推論図式は互いに独立なのか、という質問を受けたので、少し考えてみた。たぶん独立なんじゃないか。要するに反例モデルを無理やり作ればいいと思うんだ。 "A→B"をふつうの実質条件文としてではなく、…

証明検索

文系の人間にとって、シークエント計算は自然演繹に比べると習得するのが少し難しい。たぶん、練習問題をたくさん解くのが遠回りなようで早道なのだが、証明図を書く練習をするのに便利なサイトを知った。 LL Toy 古典命題論理、直観主義命題論理、様相命題…

命題論理の公理(2)

戸田山和久『論理学をつくる』で、一つしか公理をもたない命題論理の公理系として、メレディスの公理系というのが紹介されている。 ( ( (A → B) → (¬C → ¬D) ) → C → E) → ( (E → A) → (D → A) ) 推論規則はMPだけという何ともストイックなシステムである*1…

アリストテレスの論理学

マレンボンの『後期中世の哲学』を読んでいたところ アリストテレスの論理学書は、『分析論後書』を除いて、古代末期に、ボエティウスによって翻訳されていた。p.58 という箇所が目を引いた。『オルガノン』に関してボエティウスが訳したのは『カテゴリー論…

スマリヤンの三段論法

スマリヤンがお気に入りの論理的推論としてよく取り上げるもの*1。 すべての人は私の赤ちゃんを愛する。∀xLxb 私の赤ちゃんは私だけを愛する。Lbm & ∀x(Lbx → x = m) よって、私は私の赤ちゃんである。m = b 一階言語への翻訳はスマリヤンのものではない。…

旧約女神転生の論理パズル

「旧約女神転生II」というレトロゲームがある。その中で、ちょっとした論理パズルが出てくる。こんな感じだ:ホブリン、トプカプ、マシュリン、ガーゴルの四兄弟の中に、一人だけ嘘つきがいる。それは誰か? ホブリン「マシュリンが近頃嘘つきになってね…あ…

知識のパズル

三人の囚人という有名なパズルがある。 三人の囚人がいた。そこに所長がやって来て、こう言った。「ここに五枚の円板がある。三枚は白で二枚は黒だ。これをおまえたちの背中に貼りつける。他人の背中を見ることは許されるが話をしてはならない。そして、自分…

マッキンゼー式

様相論理のメモ。S4に次の公理Mを加えたものをS4.1という。 M: □◇P→◇□P この名称は論理学者マッキンゼーに由来する。S4.1に対応するフレームの条件は、反射性・推移性、そして、終点の存在(endpoint existence)、すなわち ∀w∃u [wRu & ∀t(uRt → u=t)] で…

排中律

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

S5

様相論理のメモ。S5フレームは、KTB4ともKT5とも特徴づけられるが、KDB4とかKDB5とも特徴づけられる。とりあえず、ここでは T:□φ→φ をKDB4から導出してみる。 □φと¬φを仮定する。Bにより¬φ→□◇¬φ。Dにより□◇¬φ→◇◇¬φ。4により◇◇¬φ→◇¬φ。定義により◇¬φ…

対称性・推移性・ユークリッド性

同値関係は反射性+対称性+推移性で定義されるが、反射性+ユークリッド性でも同値関係になる。ところが、対称性+推移性はユークリッド性と同値ではない。なぜなら 対称性+推移性 ⇒ ユークリッド性 という方向は成り立つが、逆は成り立たないからだ。W = {a, b…

S4.3

様相論理のメモ。文献を見ていると、S4.3を特徴づける公理型は ◇P&◇Q → ◇(◇P&Q)∨◇(◇Q&P) □(□P→Q)∨□(□Q→P) の2種類あるようだ*1。これらが同値であることは体系Kで証明できる。これらに対応するフレーム<W, R>の到達可能性関係は、以下。 wRu & wRv → uRv v vRu</w,>…

記述理論(2)

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

レモン

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

中間論理

論理学のメモ。直観主義より強い論理を超直観主義論理(superintuitionistic logic)と呼び、その内で古典論理より弱いものを中間論理(intermediate logic)と呼ぶ。例えば ド・モルガン論理:直観主義命題論理(IPC) + 弱排中律(not-not-P or not-P)。…

ユークリッド的関係

様相論理を勉強していると、S5フレームの到達可能性はユークリッド的とか言われる。ユークリッド的な関係について少し考えてみよう。 なぜ「ユークリッド」なのか? 前から疑問だったが、本当に『原論』に由来しているらしい*1。 共通概念1:同じものに等し…

最小論理

論理学の授業で自然演繹を習うとき、最小論理にボトムの除去則、ないしは公理図式"¬A→(A→B)"を加えるとを加えると直観主義になると教わる。しかし、これは保存拡大にならない。まぁ、ボトムには導入則がないのだから、除去則を導入則によって正当化する、み…

パースの法則

パースの法則:((A→B)→A)→A 直観主義論理NJに、パースの法則を公理図式として加えると古典論理になるという話を聞いたので少し考えた。たしかに、((A→⊥)→A)→A を前提することで、((A→⊥)→⊥)→A が導出できるっぽい。つまり、二重否定除去が導出できるから、こ…

『概念記法』における命題論理の公理

フレーゲ『概念記法』における命題論理の公理は6つある*1。その中で (D→(B→A))→(B→(D→A)) が実は余計だったということが後で分かったという。また、 (B→A)→(¬A→¬B) という公理ではなく、これの逆を採用していれば3つで済んだのに、という話もある。 しかし、…