关于 Mark Textor《布伦塔诺的存在设定理论》的评论
逻辑
2023-04-18 v1 计算机科学中的逻辑
摘要
本文是 2015 年 12 月 Mark Textor 所作题为“布伦塔诺的存在设定理论”的报告的评论文本。其中包含关于在否定自由逻辑的自然演绎证明系统中实现 Textor 的新布伦塔诺式存在理论的想法。
引用
@article{arxiv.2304.08441,
title = {Comment on Mark Textor: Brentano's Positing Theory of Existence},
author = {Nils Kürbis},
journal= {arXiv preprint arXiv:2304.08441},
year = {2023}
}