>>74
別にFregeの述語論理が無くとも数学はあったでしょうがね。
数学基礎論は異なったものになってかもしれませんが。
基礎論とか数理論理学に関係ない数学者はほとんど
Fregeの著作の影響なんか受けてないですしね。
却ってすっきりしたものになっていたかも知れません。

というか形式論理ってどういう意味で使われてます？
Aristotelesは記号論理を整備した人ではありませんよ。
まさか「超越論的論理学」に対比した用語法で使ってますか？
だとしたらAristotelesは「従来のAristoteles流の論理学」を整備した人です。
ちなみにほかの文化圏（中国、インドなど）では「従来のAristoteles流の論理学」は
うまれていません。となって、うん、だから何？となるのですが…

＞およそすべての学問の基礎をつくったと考えられるわけです。
別にAristotelesが居なくても原論のようなものは書かれたでしょうし
Aristoteles以前から幾何学はあります。
三平方の定理だとか√2が無理数である事だとかも既に発見されていたわけですし。
数学に対する寄与は全然大きくないですよ。

＞この話題はみずかけ論になってしまうでしょうから。
あなたがGödelに関して通説と明らかに異なったことを言っているだけです。
心配要りません。

＞数学に役にたつのじゃないかとおもっているので。
数学の勉強の役には立ちませんよ。