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