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

〔formal logic〕思考や判断の妥当性を，その形式的抽象的侧面に関して考究する学問。伝統的形態はアリストテレスによって整備され，特に三段論法を中心に，思惟形式一般を取り扱う。現代の記号論理学はこれを記号の数学的演算の体系として発展させたもの。形式逻辑学。专门就形式上的抽象的侧面来研究思维与判断的正确性的学问。传统的形式逻辑观念由亚里士多德充实完善，尤以三段论法为中心来处理普遍的思维形式。现代的符号逻辑学作为符号的数学演算体系，使传统逻辑得到进一步发展。

单词	けいしきろんりがく【形式論理学】
释义	けいしきろんりがく【形式論理学】〔formal logic〕思考や判断の妥当性を，その形式的抽象的侧面に関して考究する学問。伝統的形態はアリストテレスによって整備され，特に三段論法を中心に，思惟形式一般を取り扱う。現代の記号論理学はこれを記号の数学的演算の体系として発展させたもの。形式逻辑学。专门就形式上的抽象的侧面来研究思维与判断的正确性的学问。传统的形式逻辑观念由亚里士多德充实完善，尤以三段论法为中心来处理普遍的思维形式。现代的符号逻辑学作为符号的数学演算体系，使传统逻辑得到进一步发展。
随便看	たかとりやきたかとりやき【高取焼】たかどのたかどの【高殿】たかどまりたかどまり【高止まり】たかなたかな·るたかな·る【高鳴る】たかな【高菜】たかながしんのうたかながしんのう【尊良親王】たかなみたかなみ【高波】たかなりたかなり【高鳴り】たかなるたかなわたかなわ【高輪】たかにくぼりたかにくぼり【高肉彫り】たかねたかね【高値】たかね【高勘·高根】たかねきどいせき