This article is the text of a commentary on a talk delivered by Mark Textor entitled 'Brentano's Positing Theory of Existence' in December 2015. It contains ideas on implementing Textor's Neo-Brentanian theory of existence in a natural deduction proof system for negative free logic.

翻译：本文是对马克·泰克斯特于2015年12月所作题为《布伦塔诺的存在设定理论》的评论发言稿。文章探讨了如何将泰克斯特的新布伦塔诺存在理论在负自由逻辑的自然演绎证明系统中加以实现。