きごうろんりがく【記号論理学】とは｜一般用語
〔symbolic logic〕推論の構造および過程を数学的演算になぞらえて形式化・記号化して取り扱う論理学。19 世紀後半ブールらの論理代数に始まり，フレーゲ・ラッセルらにより厳密に体系化され発展した。アリストテレス以来の伝統的論理学を明晰（めいせき）化するのみならず，数学あるいは他の科学・哲学の基盤を形づくる。数学的論理学。数理論理学。論理代数。⇔伝統的論理学
きごうろんりがく【記号論理学】｜き｜一般用語集｜用語集｜株式会社渡辺｜問題解決のスペシャリスト集団
株式会社渡辺｜先人の想いを先進の技術で切り開く。「建設部門」を通じて豊かな国土の実現と社会資本整備の中心的な役割を担います。 「電気設備点検」「道路インフラ点検」を通じて国民の安全安心を確保に努めます。「ECサイト部門」を通じて皆様がより良...
kabu-watanabe.com
