ML

TwitterFacebook
Get flash to fully experience Pearltrees
http://ja.wikipedia.org/wiki/%E3%83%A4%E3%83%BC%E3%83%83%E3%82%B3%E3%83%BB%E3%83%92%E3%83%B3%E3%83%86%E3%82%A3%E3%83%83%E3%82%AB

ヤーッコ・ヒンティッカ

ヤーッコ・ヒンティッカ、2006年 ヤーッコ・ヒンティッカ ( Jaakko Hintikka 、 1929年 1月12日 ) は フィンランド の 哲学者 、 論理学者 である。 ヴァンター 出身。 フロリダ州立大学 、 スタンフォード大学 、 ヘルシンキ大学 、フィンランドアカデミーで教鞭をとった。現在は ボストン大学 の哲学科教授である。30冊の著書と、300以上の論文がある多産な哲学者である。

Alloy でクリプキ可能世界意味論！ - はてな使ったら負けだと思っている

Alloy でクリプキ可能世界意味論！ Alloy で クリプキ の可能世界 意味論 を エンコード してみた記録。 論理学をきちんと勉強した訳じゃないので、もし誤りがあったら是非教えてください。 可能世界 意味論 と云うのは、偉大な論理学者ソール・ クリプキ が、なんと高校生の頃に思い付いた様相論理の 意味論 です。 様相論理って云うのは、通常の命題論理に、「□P (必然的に P)」とか「◇P (Pであることが可能)」と云う二つの記号を付け加えて出来る論理体系です。要は可能性を扱う論理学ですね！ http://d.hatena.ne.jp/mr_konn/20110830/1314710271

Alloy で男の娘を見付けよう - はてな使ったら負けだと思っている

Alloy で男の娘を見付けよう 問題 どこかの国の 非実在 学園での話と思ってちょーだい。 http://d.hatena.ne.jp/mr_konn/20110829/1314621836

法学と様相論理学

1 : １３２人目の素数さん : 04/11/18 21:43:24 法学と様相論理学の関係を考えよう。 <a href="http://adf.send.microad.jp/ck.php? http://unkar.org/r/math/1100781804
http://ja.wikipedia.org/wiki/%E8%AA%8D%E8%AD%98%E8%AB%96%E7%90%86 認識論理 （にんしきろんり、 英 : Epistemic logic ）は、 様相論理 の一種であり、 知識 についての推論を扱う。 認識論 は 古代ギリシア にまで遡る哲学の主題の1つだが、認識論理は比較的最近のもので、 哲学 、 理論計算機科学 、 人工知能 、 経済学 、 言語学 など多数の分野に応用されている。 アリストテレス 以来、哲学者は様相論理を論じ、 オッカム や ドゥンス・スコトゥス がそれを発展させてきたが、認識論理を初めて体系的に定式化したのは C.I. Lewis であった（1912年）。その後発展していき、1963年に ソール・クリプキ によって今の形式が完成された。 1950年代には知識を扱う論理体系に関する論文が多数書かれたが、その元となったのは1951年に Georg Henrik von Wright が書いた論文 An Essay in Modal Logic である。

認識論理

BackLog　 様相論理からのアプローチ

http://animaleconomicus.blog106.fc2.com/blog-entry-459.html 様相論理というと、なんかしら厳密な定義があるのかも知れないが、おれ自身は大雑把に直感論理に様相を加えた拡張、くらいに思っている。 フツーに様相論理というと、「必然である」と「可能である」という様相を持ちこむことが多いらしい。“Ａが必然である”なら“Ａは可能である”は正しいし、“￢Ａが必然である”なら“Ａは不可能である”は正しい。
http://www.tom.sfc.keio.ac.jp/~sakai/d/?date=20071124 λ. SPASSで知識の論理を使って論理パズルを解く? 最近、論理パズルを解くのに使える様相論理のツールはないかと探していたのだけど、 SPASS は結構使えそうな感じなので、SPASSで知識の論理を使って論理パズルを解いてみようと思った。 題材は、以前に 「トランプの和と積のパズル」と様相論理 で形式化した トランプの和と積のパズル に挑戦しようと思ったのだけど、いきなり挑戦するにはちょっと複雑すぎるので、もう少し簡単な問題にする。

ヒビルテ(2007-11-24)

トップ 最新 追記 年 半期 四半期 月 全カテゴリ ヒビルテ [modal-logic] Categories | Alloy | CPL | ChannelTheory | Erlang | SemanticWeb | TV | Topology via Logic | URL | Web | agda | continuation | coq | cygwin | game | gimp | gtk | haskell | hiki | iPhone | javascript | lifehack | linear-programming | linguistics | logic | logic-programming | mac | machine-learning | maude | modal-logic | money | music | ocaml | probability | programming-contest | quantum | quiz | ruby | scheme | security | tDiary | theorem-proving | thinkpad | tom | w3m | ネタ | プロセス代数 | メモ | モデル検査 | 人狼 | 向井研 | 圏論 | 型理論 | 後で | 映画 | 時事 | 本 | 東方 | 検索 | 流行りもの | 英語 | 論文 | 音楽 | 食 http://www.tom.sfc.keio.ac.jp/~sakai/d/?category=modal-logic

ヒビルテ