Wikipedia

「Template:Logic」の版間の差分

履歴の双方向閲覧
← 古い編集新しい編集 →
削除された内容 追加された内容
ビジュアルウィキテキスト
編集の要約なし
m ページ改名に伴うリンク変更
タグ: 2017年版ソースエディター
27行目:
 
|group2 = [[論理学の哲学]]
|list2 = [[構成主義 (数学)|構成主義]]<!--[[Constructivism (mathematics)|Constructivism]]--> - [[ダイアリーシズム]]<!--[[Dialetheism]]--> - [[虚構主義]]<!--[[Fictionalism]]--> - [[有限主義]]<!--[[Finitism]]--> - [[形式主義 (数学)|形式主義]] - [[直観主義 (数学的の哲学)|直観主義]] - [[論理的原子論]]<!--[[Logical atomism]]--> - [[論理主義 (数学)|論理主義]] - [[唯名論]] - [[プラトニック実在論]]<!--[[Platonic realism]]--> - [[プラグマティズム]] - [[実在論]]
}}
 
85行目:
|list1 = [[真理様相]]<!--[[Modal logic#Alethic modalities|Alethic]]--> - [[価値様相]]<!--[[Modal operator#Axiological|Axiologic]]--> - [[義務論理]] - [[信念論理]]<!--[[Doxastic logic|Doxastic]]--> - [[認識論理]] - [[時相論理]] - [[線形時相論理]]
 
|group2 = [[直観主義 (数学的の哲学)|直観主義]]
|list2 = [[直観論理]] - [[構成的解析]]<!--[[Constructive analysis]]--> - [[ハイティング算術]]<!--[[Heyting arithmetic]]--> - [[直観主義タイプ型理論]]<!--[[Intuitionistic type theory]]--> - [[構成的集合論]]<!--[[Constructive set theory]]-->
 
 
「https://ja.wikipedia.org/wiki/Template:Logic」から取得