  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.
