读过《形式哲学》 🌕🌕🌕🌕🌑
大致选读了一下，核心的PTQ什么的其实已经比较比较熟了。71年就被杀，只能说大致搭了个框架（甚至框架都没搭好），他本人并没有来得及把那样一个严格的协调的且具体的句法-语义理论建立起来，还是挺可惜的。机翻风格明显