＞”形式論理”という言葉をご存知ないようですね。調べる気もないのですか。
「形式論理」には二つの意味が在ります。
数学やってる人間や計算機科学の人間は普通、
形式論理と言われれば記号論理学だと思います。
あなたはそれをご存じないんでしょうか。

＞すでにアカでメイアで論じられていたことがわかっています。
だからなんですか。
誰もEucleidesが原論の定理を自分で発見したなどとは思っていません。
彼は当時わかっていたことを整理した人であって
発見者じゃないなどというのはごく常識的な考え方であって最新の研究では在りません。
ついでに言うと

＞それにアリストテレスが適切な構造を与えたと考えられます｡
だからそれはただのあなたの推測でしょ。

＞しかるべき思考訓練を、哲学であれなんであれやっていれば
そりゃまあ高校生でも優秀な生徒なら理解できますから
哲学をやってなくても理解できるでしょうからね。