非古典論理の研究で用いられる「モデル論的」手段なんて、
モデル理論が一つの分野として他のロジックの分野から分化する前のものだろ。
一つの分野として確立されてから生み出されてきた手法が使われてる例なんてあるか?
Morley rank が非古典論理で使われるか?安定性が非古典論理に出てくるか?
「モデル論的手法」という名前が付くから「モデル理論」で生み出されたなんて勘違いするなんて
これぞ正に素人らしい珍説だなw