Skinerrian's blog

論理学・哲学・科学史・社会学などに興味があるので、その方面のことを書きます。更新は不定期。

2018-09-20から1日間の記事一覧

free, meinongian, inclusive

古典的な一階論理から踏み外す3つの方法について考えてみる。 タームの指示対象は量化のドメインのメンバーである。 自由論理free logicでは、この仮定が外れる。「ゼウス」みたいな名前は指示対象がないか、あったとしてもゼウスは量化のドメイン外に置かれ…