思うところあって、ジャン・カヴァイエスの『論理学と学知の理論について』をヴラン社のポッシュ版（Jean Cavaillès, Sur la logique et la théorie de la science (Bibliothèque des textes philosophiques), J. Vrin, 2008）でざっと読んでみた（ざっと読んだ程度でわかるようなものではないのだけれど……）。すでに邦訳もあるけれど（構造と生成〈2〉論理学と学知の理論について (シリーズ・古典転生)、近藤和敬訳、月曜社、2013）、今回は原書のほうで見てみた。これは数学者としてのカヴァイエスによる、学知の根底としての論理学への批判の書、あるいは批判の史的展開と思想的展開をからめたマニフェストというところかしら。よくわからないなりに、主要なストーリーラインを追っておこう。カヴァイエスはまず、カントに導かれるかたちで学知の根底には論証の体系が、あるいは数学的な組織化が横たわっていると考えられるようになったと指摘する。前者の立場はボルツァーノからフッサールへ、後者の立場はブランシュヴィックからブラウアーへと継承されることになった、と。これは思想史的な分岐の出発点となり、両者それぞれの議論にその後精緻化が進み、とくに前者においては形式的存在論や直観主義などが必然的に導入されることにもなっていく。

前者はいわばライプニッツ以降の、合理性の領域から数が追われて無限が招き入れられるという状況のさらなる展開だともいわれる。ボルツァーノは学知の限界を初めて概念化し、集合論を取り入れてみせたが、それにより、学知というものがもはや人間精神と存在それ自体の中間物、固有の現実を欠いた中間物ではなく、自律的な運動を伴う独特の対象と見なされることにもなった。こうして学知はすべて論証、すなわち論理学に帰されることになったというわけだ。

しかし今度はそうした論理主義が批判の対象になる。そこでは特殊なものはすべて削除され、いわば形相と質料の分離はとことん突き詰められるしかない。形相=形式のみが残り、かくして数学は形式の体系でしかなくなり、形式主義の外部をなすような論証的認識の問題や、物理学など外部の学問との関係性などは未決定のまま放置されてしまう。やがてタルスキが嚆矢となって、形式的なものと、それに対して外部をなす、形式をつなぐシンタクスとの区別が導入される。しかしそのシンタクスにしても、抽象的な規則にとどまる限り、内実のない空虚なものでしかない。ではそうした形式的なものをまとめあげる根拠はどこに見いだされるべきのか。こうして形式主義は、再びその起源をなしていた「対象」、すなわち現実的な「モノ」を再び見いだすことになる……。

もちろんその手前には、フッサールによる論理主義と意識の理論の統合などがあり、対象すなわちモノは「カテゴリアル（apophantique）な実体」であると規定されなければならない。対象は単に個別のものを抽象化するのではなく、もう一段進んだ一般的事物（事象）だということになる。おお、これはまさしく先の朱子学での「性」（性善というときの）にも通じる、二重の抽象化ではないか！とにかくこうして「対象」（モノ）と、それを捉える合理的主体の自律性とがともに犠牲になることなく連なるようにできる。現実世界の認知が、ここに担保されることにもなる。