什么是逻辑理论？论包含断言与否认的理论
逻辑
2019-04-04 v3
摘要
逻辑中形式理论的标准概念一般 exclusively 偏向断言：它通常仅指任何接受该理论生成公理的 agent 也应承诺接受的断言集合。在回顾研究逻辑后承的主要抽象路径时，我们指出这一理论概念在多个层面上不能令人满意，并引入一种新颖的理论概念，通过允许断言与否认被平等对待来克服既有概念的缺陷。这一新颖理论概念基于我们在此引入的双侧后承算子方法，并在本文中考察其主要性质。
引用
@article{arxiv.1903.02338,
title = {What is a logical theory? On theories containing assertions and denials},
author = {Carolina Blasio and Carlos Caleiro and João Marcos},
journal= {arXiv preprint arXiv:1903.02338},
year = {2019}
}