ML

Facebook Twitter

「続 新しいプログラミング・パラダイム」の目次. ヤーッコ・ヒンティッカ. ヤーッコ・ヒンティッカ、2006年 ヤーッコ・ヒンティッカ (Jaakko Hintikka、1929年1月12日) はフィンランドの哲学者、論理学者である。

ヤーッコ・ヒンティッカ

ヴァンター出身。 フロリダ州立大学、スタンフォード大学、ヘルシンキ大学、フィンランドアカデミーで教鞭をとった。 現在はボストン大学の哲学科教授である。 30冊の著書と、300以上の論文がある多産な哲学者である。 Alloy でクリプキ可能世界意味論! - はてな使ったら負けだと思っている. Alloy でクリプキ可能世界意味論!

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

Alloy でクリプキの可能世界意味論をエンコードしてみた記録。 論理学をきちんと勉強した訳じゃないので、もし誤りがあったら是非教えてください。 可能世界意味論と云うのは、偉大な論理学者ソール・クリプキが、なんと高校生の頃に思い付いた様相論理の意味論です。 様相論理って云うのは、通常の命題論理に、「□P (必然的に P)」とか「◇P (Pであることが可能)」と云う二つの記号を付け加えて出来る論理体系です。 要は可能性を扱う論理学ですね! Alloy で男の娘を見付けよう - はてな使ったら負けだと思っている. Alloy で男の娘を見付けよう 問題 どこかの国の非実在学園での話と思ってちょーだい。

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

認識論理とゲーム理論 - Dept. Math, Hokkaido Univ. EPrints Server. 法学と様相論理学. 1 : 132人目の素数さん : 04/11/18 21:43:24 法学と様相論理学の関係を考えよう。

法学と様相論理学

2 : 132人目の素数さん : 04/11/18 21:47:56. 認識論理. 認識論理(にんしきろんり、英: Epistemic logic)は、様相論理の一種であり、知識についての推論を扱う。

認識論理

認識論は古代ギリシアにまで遡る哲学の主題の1つだが、認識論理は比較的最近のもので、哲学、理論計算機科学、人工知能、経済学、言語学など多数の分野に応用されている。 アリストテレス以来、哲学者は様相論理を論じ、オッカムやドゥンス・スコトゥスがそれを発展させてきたが、認識論理を初めて体系的に定式化したのは C.I. Lewis であった(1912年)。 その後発展していき、1963年にソール・クリプキによって今の形式が完成された。 1950年代には知識を扱う論理体系に関する論文が多数書かれたが、その元となったのは1951年に Georg Henrik von Wright が書いた論文 An Essay in Modal Logic である。 論理系の雑誌まとめ - kozima の雑記. Kozima の雑記 論理系の雑誌まとめ logic, memo 探してみました。

論理系の雑誌まとめ - kozima の雑記

ついでに最近の論文のタイトルを眺めて特徴を比較してみました。 でもあんまり読めてる自信ないので鵜呑みにしないでください。 BackLog  様相論理からのアプローチ. 様相論理というと、なんかしら厳密な定義があるのかも知れないが、おれ自身は大雑把に直感論理に様相を加えた拡張、くらいに思っている。

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

フツーに様相論理というと、「必然である」と「可能である」という様相を持ちこむことが多いらしい。 “Aが必然である”なら“Aは可能である”は正しいし、“¬Aが必然である”なら“Aは不可能である”は正しい。 ヒビルテ(2007-11-24) Λ.

ヒビルテ(2007-11-24)

SPASSで知識の論理を使って論理パズルを解く? 最近、論理パズルを解くのに使える様相論理のツールはないかと探していたのだけど、 SPASS は結構使えそうな感じなので、SPASSで知識の論理を使って論理パズルを解いてみようと思った。 題材は、以前に 「トランプの和と積のパズル」と様相論理 で形式化した トランプの和と積のパズル に挑戦しようと思ったのだけど、いきなり挑戦するにはちょっと複雑すぎるので、もう少し簡単な問題にする。 ヒビルテ. トップ 最新 追記 年 半期 四半期 月 全カテゴリ ヒビルテ [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 | ネタ | プロセス代数 | メモ | モデル検査 | 人狼 | 向井研 | 圏論 | 型理論 | 後で | 映画 | 時事 | 本 | 東方 | 検索 | 流行りもの | 英語 | 論文 | 音楽 | 食.

ヒビルテ