「形式論理学」の版間の差分

提供: miniwiki
移動先:案内、検索
細 (1版 をインポートしました)
細
 
1行目: 1行目:
−
{{出典の明記|date=2013年7月28日 (日) 18:48 (UTC)}}
+
'''形式論理'''（けいしきろんり）
−
'''形式論理'''（けいしきろんり）とは、
 
−
# 近代（[[哲学]]からの影響の薄れた）以降における[[論理学]]である[[数理論理学]]における論理のように、[[形式体系]]として整っている論理のこと。
 
−
# (独)Formale Logik: [[ドイツ観念論哲学]]の祖と言われる[[イマヌエル・カント]]が[[アリストテレス]]流の[[論理学]]に与えた名称。自己の唱えた Transzendentale Logik と対比したもの。[[エドムント・フッサール|フッサール]]『形式的論理学と超越論的論理学』によれば、従来の論理学をカントが「全く誤解して」名付けたものであり、対比されている Transzendentale Logik は[[形而上学]]と[[認識論]]の奇妙な混合物というべきもの、だそうである。
 
  
−
[[非形式論理学]]や[[形式主義 (数学)]] などの記事も参照のこと。
+
正しい思考の構造および過程を、思考の内容を捨象してもっぱらその形式・法則の面から取り扱う学問。一般に、アリストテレスに始まり中世を通じて演繹（えんえき）的論理学の体系としてまとめられた伝統的論理学をさすが、現代では記号論理学をもさす。
−
<!-- == 脚注 ==
 
−
{{脚注ヘルプ}}
 
−
{{Reflist}} -->
 
−
<!-- == 参考文献 == -->
 
−
<!-- == 関連項目 == -->
 
−
<!-- {{Commonscat|}} --><!--
 
−
* [[論理学の歴史]]
 
−
* [[数学の哲学]]
 
−
* [[形式主義 (数学)]]
 
  
−
--><!-- == 外部リンク == -->
+
{{テンプレート:20180815sk}}
−
{{Logic-stub}}
 
−
{{Math-stub}}
 
  
 
{{DEFAULTSORT:けいしきろんりかく}}
 
{{DEFAULTSORT:けいしきろんりかく}}
 
[[Category:論理学]]
 
[[Category:論理学]]
 
[[Category:数学に関する記事]]
 
[[Category:数学に関する記事]]

2019/4/30/ (火) 00:14時点における最新版

形式論理（けいしきろんり）

正しい思考の構造および過程を、思考の内容を捨象してもっぱらその形式・法則の面から取り扱う学問。一般に、アリストテレスに始まり中世を通じて演繹（えんえき）的論理学の体系としてまとめられた伝統的論理学をさすが、現代では記号論理学をもさす。


楽天市場検索:



「http:///http:///mymemo.xyz/mymemo.xyz/wiki/index.php?title=形式論理学&oldid=277115」から取得