様相論理学とは？ わかりやすく解説

Weblio 辞書 > 同じ種類の言葉 > 学問 > 専攻 > 論理学 > 様相論理学の意味・解説 
デジタル大辞泉
索引トップ 用語の索引 ランキング 凡例
デジタル大辞泉デジタル大辞泉

ようそう‐ろんりがく〔ヤウサウ‐〕【様相論理学】

読み方：ようそうろんりがく

必然性・可能性などの様相概念を取り扱う論理学。→多値論理学


ウィキペディア
索引トップ 用語の索引 ランキング カテゴリー
ウィキペディアウィキペディア

様相論理

(様相論理学 から転送)

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/02/21 13:38 UTC 版)

様相論理（ようそうろんり、英: modal logic）は、いわゆる古典論理の対象でない、様相（modal）と呼ばれる「〜は必然的に真」や「〜は可能である」といった必然性や可能性などを扱う論理である（様相論理は、部分の真理値からは全体の真理値が決定されない内包論理の一種と見ることができる）。


脚注
  1. ^ 序説(2010).
  2. ^ 以下の K, T, S4, S5 の公理系については戸田山 (2000), pp. 306–310に拠った。
  3. ^ Priest 2008, pp. 35–36.
  4. ^ Priest 2008, pp. 64–65.
  5. ^ Blackburn, Rijke & Venema 2002.

[続きの解説]

「様相論理」の続きの解説一覧

Weblio日本語例文用例辞書
索引トップ 用語の索引 ランキング
辞典・百科事典の検索サービス - Weblio辞書辞典・百科事典の検索サービス - Weblio辞書

「様相論理学」の例文・使い方・用例・文例

Weblio日本語例文用例辞書はプログラムで機械的に例文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。


様相論理学と同じ種類の言葉

論理学に関連する言葉
 
記号論理学(きごうろんりがく)  多値論理学(たちろんりがく)  様相論理学(ようそうろんりがく)  数学的論理学(すうがくてきろんりがく)  二値論理学(にちろんりがく)
>>同じ種類の言葉    >>専攻に関連する言葉
英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

カテゴリ一覧

全て

＋ ビジネス

＋ 業界用語

＋ コンピュータ

＋ 電車

＋ 自動車・バイク

＋ 船

＋ 工学

＋ 建築・不動産

＋ 学問

＋ 文化

＋ 生活

＋ ヘルスケア

＋ 趣味

＋ スポーツ

＋ 生物

＋ 食品

＋ 人名

＋ 方言

＋ 辞書・百科事典

すべての辞書の索引

あいうえお
かきくけこ
さしすせそ
たちつてと
なにぬねの
はひふへほ
まみむめも
やゆよ
らりるれろ
わをん
がぎぐげご
ざじずぜぞ
だぢづでど
ばびぶべぼ
ぱぴぷぺぽ
ＡＢＣＤＥ
ＦＧＨＩＪ
ＫＬＭＮＯ
ＰＱＲＳＴ
ＵＶＷＸＹ
Ｚ
１２３４５
６７８９０
記号

Weblioのサービス

「様相論理学」の関連用語

1
ジョン・レモン
百科事典
52% |||||

2
杉原丈夫
百科事典
50% |||||

3
その他の論理的否定
ウィキペディア小見出し辞書
34% |||||

4
フォン・ウリクトの義務論理
ウィキペディア小見出し辞書
34% |||||

5
分析的形而上学
ウィキペディア小見出し辞書
30% |||||

6
様相的記述
ウィキペディア小見出し辞書
30% |||||

7
永井成男
百科事典
18% |||||

8
分析哲学
ウィキペディア小見出し辞書
16% |||||

9
双模倣性
百科事典
14% |||||

10
古典論理における実質含意と「ならば」の乖離
ウィキペディア小見出し辞書
14% |||||

様相論理学のお隣キーワード

様様

様気付 様

様異

様相 様子

様相を呈する

様相論理

様相論理学

様舞駅

槙

槙あやな

槙いずな

槙ようこ

槙乃萌美

検索ランキング

   

 英語⇒日本語
日本語⇒英語		    


様相論理学のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
デジタル大辞泉デジタル大辞泉
(C)Shogakukan Inc.
株式会社 小学館
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの様相論理 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
TANAKA Corpus
Tanaka Corpusのコンテンツは、特に明示されている場合を除いて、次のライセンスに従います：
 Creative Commons Attribution (CC-BY) 2.0 France.
京大-NICT 日英中基本文データ
この対訳データはCreative Commons Attribution 3.0 Unportedでライセンスされています。
浜島書店 Catch a Wave
Copyright © 1995-2024 Hamajima Shoten, Publishers. All rights reserved.
株式会社ベネッセコーポレーション株式会社ベネッセコーポレーション
Copyright © Benesse Holdings, Inc. All rights reserved.
研究社研究社
Copyright (c) 1995-2024 Kenkyusha Co., Ltd. All rights reserved.
日本語WordNet日本語WordNet
日本語ワードネット1.1版 (C) 情報通信研究機構, 2009-2010 License All rights reserved.
WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved. License
日外アソシエーツ株式会社日外アソシエーツ株式会社
Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.
「斎藤和英大辞典」斎藤秀三郎著、日外アソシエーツ辞書編集部編
EDRDGEDRDG
This page uses the JMdict dictionary files. These files are the property of the Electronic Dictionary Research and Development Group, and are used in conformance with the Group's licence.

©2024 GRAS Group, Inc.RSS