DeepAI AI Chat
Log In Sign Up

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

04/17/2023
by   Nils Kürbis, et al.
0

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.

READ FULL TEXT

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...
08/19/2016

On the Existence of a Projective Reconstruction

In this note we study the connection between the existence of a projecti...
01/27/2020

Formalization of Forcing in Isabelle/ZF

We formalize the theory of forcing in the set theory framework of Isabel...
11/04/2019

Fast Reliability Ranking of Matchstick Minimal Networks

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

A Complication for the Many Worlds Theory

The Many Worlds Theory and the Independence Postulate are in conflict, a...
12/26/2000

The Tale of One-way Functions

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