オントロジーとか哲学者と共同作業してるジャン。
あと、やっぱ記号論理学は不可欠でしょ。