DeepAI AI Chat

Comment on Mark Textor: Brentano's Positing Theory of Existence

04/17/2023

∙

by Nils Kürbis, et al.

∙

∙

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.

page 1

page 2

page 3

page 4

∙ 05/18/2023

Universal Proof Theory, TACL 2022 Lecture Notes

The subject of these short lecture notes is a recently emerging area wit...

0 Rosalie Iemhoff, et al. ∙

∙ 08/19/2016

On the Existence of a Projective Reconstruction

In this note we study the connection between the existence of a projecti...

0 Hon-Leung Lee, et al. ∙

∙ 01/27/2020

Formalization of Forcing in Isabelle/ZF

We formalize the theory of forcing in the set theory framework of Isabel...

0 Emmanuel Gunther, et al. ∙

∙ 11/04/2019

Fast Reliability Ranking of Matchstick Minimal Networks

In this article, we take a closer look at the reliability of large minim...

0 Vlad-Florin Dragoi, et al. ∙

∙ 07/15/2023

On the Possibility of a Connection between the Construction of a Class of Bigeodetic Blocks and the Existence Problem for Biplanes

Graph theory and enumerative combinatorics are two branches of mathemati...

0 Carlos E. Frasser, et al. ∙

∙ 02/14/2023

A Complication for the Many Worlds Theory

The Many Worlds Theory and the Independence Postulate are in conflict, a...

0 Samuel Epstein, et al. ∙

∙ 12/26/2000

The Tale of One-way Functions

The existence of one-way functions is arguably the most important proble...

0 Leonid A. Levin, et al. ∙