悦月直播免费版app下载 - 悦月直播app大全下载最新版本免费安装软件

復(fù)多一階邏輯的“本體論無辜”問題辨析

  • 打印
  • 收藏
收藏成功


打開文本圖片集

摘要：引入復(fù)多一階邏輯是為了形式化一階公理集合論，為斷定集合概念具有唯一普遍的外延提供支持。然而，其自身的純邏輯性仍是備受爭議的議題，爭議主要集中在復(fù)多一階邏輯的語義解釋是否的確具有“本體論無辜”這個結(jié)果。復(fù)多一階邏輯的支持者試圖論證該邏輯并不承諾超出經(jīng)典一階量化論域之外的對象，由此證立復(fù)多一階邏輯的“本體論無辜”。（剩余11909字）

目錄
monitor