忍者ブログ
[PR]
×

[PR]上記の広告は3ヶ月以上新規記事投稿のないブログに表示されています。新しい記事を書く事で広告が消えます。

このところまた、おれのなかで様相論理熱が再燃中なのはすでに述べた。それでは、それの何が面白いのか? その一端をちょっとでも知ってもらうため、ごく簡単に様相論理というものを紹介したい。

様相論理というのは、ごく手短に言ってしまえば、「必然性」、そして「偶然性」という「様相」を扱うべく、ふつうの命題論理に「必然であること」をあらわす「□」というオペレータを加えたもの。たとえば、「□A」という記述は、「Aであることは必然である」ということをあらわす。また、「偶然であること」をあらわすオペレータ「◇」は「必然ではないこと」として定義される。つまり、「◇A≡¬□¬A」(ここに述語論理における∀と∃の関係とのアナロジーを見ることは容易いだろう)。

さて、このような「□」というオペレータに加え、「AがKの定理であれば、□Aである」という必然化規則と、「□(A→B)→(□A→□B)」という様相分配公理をふつうの命題論理の体系に付加した一番素朴な様相命題論理体系は、Kと呼ばれる。さらに、如上の体系Kに「Aが必然であれば、じっさいにAである」ということを主張するMと呼ばれる公理「□A→A」を加えた体系は、MもしくはTと呼ばれる。また、この公理Mの対偶から「A→◇A」、つまり、何かがそうであることだけでは、たんに偶然的にそうであるだけ、ということが前提されていることが分かる。

これ以降、S4やS5という体系が続くのだが、ここら辺りから話が段々と錯綜、というか、こちらの思考を刺戟する公理が加わってくる。たとえば、S4は如上の体系Mに「□A→□□A」という公理を加えたものだが、これは、何かが必然であれば、その必然であること自体も必然であることを主張する(これに対してS5の場合は、何かが偶然であれば、その偶然であること自体は必然であることを主張する「◇A→□◇A」という公理を加えたものである)。

何かが必然であったり、または偶然であったりすること自体は必然である、というのは、とりあえず前者に関してはもっともらしく響く。何となれば、偶然である必然というのはほとんど語義矛盾だから(とはいえ、偶然であるような必然というのも考えられないわけではない)。これに対して、偶然的偶然というのは、一見たんに屋上屋を重ねているだけに思われるが、さりとて、何かが偶然であることは必然である、というのは強すぎる主張にも思える。何となれば、何かが偶然であるのは、それ自体としても偶然だ、というのも、それはそれでおかしな主張だとも思われないから(ただ、いずれにせよ、ここでの議論はたんに「思われる」と言うにとどまり、「ほんとにそうか?」と問い詰められるとなかなかきびしいことは言うまでもない)。

さらには、容易に脳裏をよぎることであるが、「必然であることの必然性」でも「偶然であることの偶然性」でも、はたまた「必然であることの偶然性」でも「偶然であることの必然性」でも何でもいいのだが、そうしたこと自体の必然や偶然を問うことができ、このような問いは無限に問いうる。こうした様相オペレータの連なりに関して、S4とS5はそれぞれ簡略化規則を用意している。つまり、S4においては「□□...□A→□A」および「◇◇...◇A→◇A」が、S5においては「**...□A→□A」(*は□もしくは◇の任意の様相オペレータをあらわすとする)および「**...◇A→◇A」が成り立つ、とされる。

このように、意味論的に見ると、命題論理の範囲で考えてもこういう次第であるのだから、これが述語論理にまで拡張されるとどういうことになるかは明らか、というものだろう。とはいえ、というか、だからこそ、様相述語論理についてあまりながながと記述を続けても泥沼なので、最後に様相述語論理において著名な公式を一つだけ挙げ、それにまつわる問題を紹介して終わることにする。それは、「∀x□A→□∀xA」という、バーカン式と呼ばれるものである。つまり、すべてのxについて必然的にAであれば、すべてのxについてAであることは必然的である、ということ。これは、何とはなしに自明な感じもする。しかし、この式を認めると「そうであるものはすべて必然的にそうである」ということが導出できてしまい、これはM(の対偶)と衝突する。そして、この解決をめぐって色々面倒かつ面白いことになっているようなのだが、それを述べるのは本稿のスコープを越えることであり、何より、おれの知識が追いついてないので、各自文献に当たられたい。



参考文献など
このエントリの執筆に当たり、おもにスタンフォード哲学事典の「様相論理」の項を参考にした。この項は、この間紹介したQuantified Modal Logic for Philosophers の著者であるガーソンによって執筆されており、簡にして要を得た、いいサーヴェイだと思う。

書籍としては(Chellas 1980)(Hughes and Cresswell 1996)が定番だが、前者はややまとまり過ぎており初学者には不向き、後者はよく書けてはいるけど個人的に記号の使い方が気に入らないので、おれが目を通したことのあるもののなかからであれば(Blackburn et al. 2002) がいいのではないか、と思う。また、いわゆる「古典」としては(Zeman 1973)が最近オンライン上で読めるようになったので、これもいいかもしれない(おれは読んだことなし)。

PR
この記事にコメントする
お名前
メールアドレス
URL
コメント
全然知らないのと、参考文献 (Zeman 1973)の「CCpCqrCCpqCpr」風の記号をみたらへこんでしまい、コメント書くのもあれなのですが。さらに、全然まじめに考えていません、という前提で厚かましくも。
□A→A は公理なので、全称化して∀x□A→∀xA は成り立つとして良いのでしょうか。さらに推論規則により |-∀xA のとき |-□∀xA。
ということは、推論法則として |-∀x□A のとき |-□∀xA は成り立つ気がしますが、全然はずしているかも。何かが違う様な。
直感的に考えると、∀x□A を必然とする「理由」は x ごとに変化しそうな感じで、そこから □∀xA が導出出来るとすると、無理があるか、もしくは「個別の理由を張り合わせる」概念が必要そうな気がします。
強制概念に射影してなんか面白いこと、などトンデモなことを考えていたのは内緒です。
かがみ 2006/10/13(Fri)14:56:00 編集
かがみさんが慧眼にも見抜いているとおり、様相論理に量化子を導入する場合、問題になるのは「個別の理由を張り合わせる概念」、もうちょっと突っ込んで言うと、その量化子のスコープをどう置くか、という点です。ここのところは意図的に説明を端折った部分なのですが、様相論理においては通常、可能世界意味論という、一種異様な印象を受けないでもない意味論を導入して論理式を解釈するのですが、量化子のスコープを可能世界一般に取るのか、それともじっさいの「この世界」に限定するのかで、だいぶ意味が違ってくるのです……とこう書くと、様相論理というもの自体、何やら「ト」っぽいイメージを持たれてしまうかもしれませんが、そのヴァリアントとして証明可能性論理とか、かなり面白げな論理も展開されていますので、何か簡便なサーヴェイだけでも読まれることをお薦めします。ぼくが知っている範囲では、数学プロパーではありませんがZaltaさんのものがいいように思います。
<a href="http

で、Zemanのはもろポーランド記法、ですからねえ。たしかに、カッコなしですっきりしてはいるのかもしれませんが、ちょっとこれだけで引いちゃいますよね。
はやし 2006/10/13(Fri)20:55:00 編集
紹介して頂いたサーヴェイ、初歩の初歩なのでしょうし、さらに命題論理の最初の方を流し読みしただけですが、めっちゃ面白いです。すごく得した気分。
世界の集合とその関係、充足性からなるメタモデルみたいなのを考えるとは想像もつきませんでした。
またまたトンデモ発言ですが、公理 M は個人的に微妙。根拠無しですが、これを否定して、w_0 ← w_1 ← w_2 ← ... という感じで、M に至る極限みたいなのを考えると、面白そうな気がします。さらにそのコンテキストでの、バーカン式の解釈はどうなるのか?等興味は尽きません。
あっ、すみません。知識なしに何度もいい加減なこと書いて。丁度、今、必要に迫られ、論理の極限みたいなこと勉強しているので。
こんどちゃんと勉強して出直してきます。
かがみ 2006/10/14(Sat)04:25:00 編集
ただいま印刷中です。自宅の安物激遅プリンターで両面印刷しているので、数時間かかりそうです。印刷完了後製本です。読むのにかなり時間がかかると思いますが、こちらはご容赦の程お願い致します。
関係ない話で恐縮ですが、自宅で我慢出来る品位の印刷ができ、さらに製本が可能とは、随分便利になったものだと思います。日本と米国で余り距離感がない方がさらに驚異的なのですが。
Zeman に関しては、元ブルバキ少年としては、ポーランド記法にへこんでては困るのですが、見た瞬間引いてしまいました。情けない。
何も知らず、いいかげんに書いた話につきあって頂き、ありがとうございます。
かがみ 2006/10/14(Sat)12:02:00 編集
かがみさん、楽しんでいただけているようでとてもうれしいです。様相論理はそのベーシックな部分だけでも、初学の場合かなり「へえ!」と思いますよね。こんなモデルを高校生のときに考えついたクリプキは、あらためてやっぱりすごいなあ、と思います。

で、公理M、じつはぼくもちょっと微妙に思わないでもないんですよ。というのも、□A→Aはともかく、その対偶(のヴァリアント)A→◇Aが、まあそういうもんかなあ、という程度の腑への落ちかたでしかないから、という、これまた薄弱な根拠なんですが……。

かがみさんが仰っている、解釈モデルでの世界の極限の末にMに至る、というのは、ちょっとよく分からないんですが、何だか面白そうではあるので、もしよろしければもう少し詳述いただければ、と思います。

で、ほんとに、家に居ながらにしてそれなりのクオリティのものが印刷でき、あまつさえ製本までできちゃうんですから、いい時代になったものよのう、と思います。
はやし 2006/10/15(Sun)18:06:00 編集
こちらこそ面白い文献を教えて頂きありがとうございます。
「M への極限みたいなの」というのは明け方の妄想です。妄想なので意味なしですが、内容を白状します。ほんとに妄想ですが。
M=(W,R,V) で、世界 W を集合論のモデルとし、V のことは置いとくとして、R(X,x) として x in X というのを思い浮かべたのです。すると R は反射律を満たさないので、□A→A は成立しないが、X で □A が成り立つことが、その要素で A が成り立つことにより規定されるのは悪くないのではないかと。要するに外延性の公理みたいなのをイメージしたのです。さらに X の具体例として極限順序数を妄想したのが、前のトンデモ発言になったのでした。
さらに、様相論理に対する理解ゼロなので、R としてどのような関係が妥当なのか等、全く直感がなく、なんでもありで考えたらとか、W に面白そうな位相が入らないか、等々妄想の限りを尽くしたのです。
ところで、はやしさんのご指摘の通り、□A→A は本当に良いの?という感じがしないでもないのですが、A→◇A と書き直すともっともらしくなるのは不思議です。
自宅の方に書きましたが、一月程リハビリ状態に入ります。モデル理論の基本的なところがなにげにあやしいので、ある程度きちんと読み直したり、紹介して頂いた様相論理の方面を楽しませて頂きながら暮らそうかと考えています。
かがみ 2006/10/15(Sun)23:41:00 編集
ああ、なるほど、そいうことですか。で、様相論理のモデルというのは、体系自体が色々あることからも容易に分かるとおり、これまた色々あり、それらにおける可能世界同士の連結性というのもまた面白いところであります。

で、ここに書くのもあれなことですが、本来楽しみのためにしていたことが重荷になって、「それならいっそ止めてしまおうか」となってしまうのは、本末転倒きわまりなく、その上、集合論雑記のように非常に有意義なページが継続されなくなってしまうことは、ネット文化にとっても痛手でありますので、ここは一つ、「楽しければいいじゃん! つか、楽しくなかったらダメ!」というのをモットーに、ゆるゆる継続させてください。
はやし 2006/10/17(Tue)20:20:00 編集
ご心配おかけしまして、申しわけございません。
どうもあの日は疲れが極限に達していたようで、ついついぐちっぽくなってしまいました。実を言いますと、また色々書きたくなってきたのですが、さすがにもう少し休んだ方が良いのかも知れません。
というわけで、数学が楽しくなくなったり、あまつさえやめてしまうなどということはありえませんので、ご安心の程を。ぐちは多いのですが、相当しぶとい方なのです(笑)。
かがみ 2006/10/18(Wed)15:35:00 編集
なにがしかの「しぶとさ」をかがみさんが有しているのは、何となく察せられることでもあるので、よもや本当に止めてしまうことはないだろう、という予断はあるにはあるのですが、でも、「書く」ということが自己目的化してしまい、本来対象が持っていた楽しさが置き去りになるのは、色んな意味でよろしくない!と思いましたので、差し出がましくもエールを送らせていただきました。

で、書きたかったら書く、というのも、全然アリだと思います!
はやし 2006/10/18(Wed)15:59:00 編集
Ꭼffectively, Im stᥙnnmeɗ yyou all left the very additional finest one for me.?

Daddy mentioned with a teasing smile. ?It?s that he sent Jеsus to die
forr us and provides սs life endleѕsly and ever
and that due to that well be a household in heaven for millions of years.
That?s pretty good isnt it?
Deangelo URL 2018/03/17(Sat)11:45:21 編集
Emagrecer com saúde é mas do que perder peso rápido.
Rodney URL 2018/04/05(Thu)14:39:36 編集
It's hard tߋo cοme by knowledgeаble ppeople about this subject, however, you
seem like you knoow what you're talking about!
Thanks https://www.togelhongkongsingapura.com/
togel singapura URL 2018/04/12(Thu)07:51:54 編集
Óleo de Coco Ajuda a Perder Peso de Verdade?
Anitra URL 2018/04/13(Fri)08:35:44 編集
Helⅼo There. I foᥙnd your webhlog the use of
msn. This iss a very weell written article. I will make sure
to bookmark it and come back to ⅼearn more of
your helpful info. Thanks for the post. I'll definitely return.
Jason URL 2018/04/18(Wed)23:00:36 編集
Outѕtanding post howеver , I was wondering if you could write a ⅼitte moe on this subject?
Ι'd be very tһankfuⅼ if you could elaboratе a little
bit further. Bless you!
dominoqq online URL 2018/04/20(Fri)08:13:24 編集
It iѕ not my fіrst time to goo to see this websitе,
i aam browѕing this wweb page dailly and get nice information from here daily.
http://s-hgd.com URL 2018/04/20(Fri)11:08:30 編集
Ηelⅼo thеre! I ust woսld like to give you a huge thumbs up for your
great infoгmation you've got here on this post. I'll be returning
to your site for moгe sоon.
bandarq terpercaya URL 2018/04/22(Sun)02:00:53 編集
I aЬsolutely love your webѕite.. Pleasant colors & theme.
Did yߋu build this site yourself? Please reply back aas I'm trying
to create my very own site and wouⅼd lіke to know where yyoս got this from oor just what the thjeme iѕs called.
Many thanks!
www.disabledmeetup.com URL 2018/04/22(Sun)09:24:22 編集
Ꮤonderful blog! I found iit while browsing oon Yahoo News.

Do you have any suggeѕtions on һow to get listeeԁ in Yahoo Newѕ?

I've been trying for a while but I never seеm to get there!
Cheers
link alternatif jakartaqq URL 2018/04/22(Sun)17:41:02 編集
Uѕually I don't learn article on blogs, but I wish to say thgat thiis write-up very forced mmе to check out аnd ddo it!

Үour wriing sryle has been surρrised me.
Thanks, very nice articlе.
selengkapnya disini URL 2018/04/24(Tue)01:26:51 編集
Just wisһ to say your atticle is as astߋunding. The clearness in youг poѕt is
juѕt cool and i cаn assume you'rе an expert on this subject.
Well with үour permission let me to grab your RSS feeԀ to keep up to
date with forthcomјing post. Thanks a million аnd please carry on the gratifting w᧐rқ.
shfcfood.com URL 2018/04/28(Sat)15:54:22 編集
Superb post however I was wanting to know if yoou сould write a litte more on thiѕ topic?
I'd be very grateful if you coulԁ elaƅorate a little bit more.Thank you!
graphic tees for men URL 2018/05/16(Wed)15:39:15 編集
Superb post however I was wanting to know if yoou сould write a litte more on thiѕ topic?
I'd be very grateful if you coulԁ elaƅorate a little bit more.Thank you!
graphic tees for men URL 2018/05/16(Wed)23:54:16 編集
This is a good tip especially to those fresh to the blogosphere.

Brief but very accurate information… Thank you for
sharing this one. A must read post!
Opa muito de maravilhoso informações .
Depois de abrir as cartas você receberá a chave.
http://taa.linksind.net/?S*8c32 URL 2018/07/14(Sat)03:04:56 編集
この記事へのトラックバック
この記事にトラックバックする:
カレンダー
11 2018/12 01
S M T W T F S
1
2 3 4 5 6 7 8
9 10 11 12 13 14 15
16 17 18 19 20 21 22
23 24 25 26 27 28 29
30 31
最新コメント
最新トラックバック
メール
ブログ作成者(はやし)に直接訴えたいことがある、という場合は、下のアドレスにメールをどうぞ。

thayashi#ucalgary.ca
(#を@に置換してください)

ブログ内検索
Google
WWW を検索 このブログ内を検索

はやしのブログ内で紹介された
 書籍の検索はこちら
 音盤の検索はこちら
ランダムおすすめ
(忍者ブログに引越してから、うまくうごかなくなってしまいました。いつか、直します)
Randombook
このブログで紹介したことのある本をランダム表示。
Randomusic
このブログで紹介したことのある音をランダム表示。
自分がらみのリンク
はやしのブログ書籍一覧
このブログで言及された書籍の一覧。
はやしのブログ音盤一覧
このブログで言及された音盤の一覧。
最近のおすすめ本
最近のおすすめ音

Copyright © [ はやしのブログ ]
No right reserved except those which belong to someone else.
Special Template : 忍者ブログ de テンプレート and ブログアクセスアップ
Special Thanks : 忍者ブログ
Commercial message : [PR]