様相論理 - Wikipedia
様相論理（ようそうろんり、英: modal logic）は、いわゆる古典論理の対象でない、様相（modal）と呼ばれる「〜は必然的に真」や「〜は可能である」といった必然性や可能性などを扱う論理である（様相論理は、部分の真理値からは全体の真理値が決定されない内包論理の一種と見ることができる）。 その歴史は古くアリストテレスまで遡ることができる[1]:138が、形式的な扱いは数理論理学以降、非古典論理としてである。 様相論理では一般に、標準的な論理体系に「～は必然的である」ことを意味する必然性演算子と、「～は可能である」ことを意味する可能性演算子のふたつの演算子が追加される。 真理論的様相と認識論的様相[編集] 様相論理は真理論的（形而上学的、論理的）様相の文脈で語られることが最も多い。この様相においては「～は必然的である」、「～は可能である」といった言明が扱われるが、これは認識論的様相と混同
時相論理 - Wikipedia
時相論理（Temporal Logic）とは、時間との関連で問題を理解し表現するための規則と表記法の体系である。時相論理では、「私はいつも腹ペコだ」、「私はそのうち腹ペコになる」、「私は何かを食べるまで腹ペコだろう」といった文を表現できる。1950年代末にアーサー・プライアーが提唱した様相論理に基づいた時相論理を特に時制論理（Tense Logic）と呼ぶことがある。ハンス・カンプ（英語版）が重要な業績を残した。その後、そこから発展し、アミール・プヌーリら計算機科学者や論理学者が研究を進めた。 時相論理はシステムのハードウェアやソフトウェアの要求仕様を記述する方法として形式的検証で利用される。例えば、「要求が発生したら常にリソースへのアクセスがそのうちに承認される。ただし、決して2つの要求を同時に承認してはならない」といった文章は時相論理で表せる。 概要[編集] 「私は腹ペコだ」という文を
パラドックス - Wikipedia
パラドックスと呼ばれるものの一般的な構造(左側)、そして解決の基本的な三つのパターン（右側）[1]。図では示されていないが、前提には明示されるものと、そうでないものがある。パラドックスを取り扱う際は、明示されていない前提にも注意を払っていく必要がある。 パラドックス（paradox）とは、正しそうな前提と、妥当に思える推論から、受け入れがたい結論が得られる事を指す言葉である。逆説、背理、逆理とも言われる。 パラドックスとは[編集] 「妥当に思える推論」は狭義には（とりわけ数学分野においては）形式的妥当性をもった推論、つまり演繹のみに限られる。しかし一般的にはより広く帰納などを含んだ様々な推論が利用される。また「受け入れがたい結論」は、「論理的な矛盾」と「直感的には受け入れがたいが、別に矛盾はしていないもの」に分けることができる。狭義には前者の場合のみをパラドックスと言い、広義には後者もパラ
ちょっとだれか面白いパラドックス教えてくれ。 :【2ch】ニュー速クオリティ
1 ：以下、名無しにかわりましてVIPがお送りします。 ：2007/08/24(金) 21:29:22.95 ID:6ZET5W+L0
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
