けいしきろんりがく【形式論理学】とは

けいしきろんりがく【形式論理学】とは|一般用語

〔formal logic〕推論や議論の妥当性を,その形式的側面に関して考究する学問。伝統的形態はアリストテレスによって整備され,推論,特に三段論法を中心に,概念・命題・誤謬などを取り扱う。現代の記号論理学はこれを記号の数学的演算の体系として発展させたもの。

 けいしきろんりがく【形式論理学】|け|一般用語集|用語集|株式会社渡辺|問題解決のスペシャリスト集団
株式会社渡辺|先人の想いを先進の技術で切り開く。「建設部門」を通じて豊かな国土の実現と社会資本整備の中心的な役割を担います。 「電気設備点検」「道路インフラ点検」を通じて国民の安全安心を確保に努めます。「ECサイト部門」を通じて皆様がより良...

タイトルとURLをコピーしました