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

research
05/18/2023

Universal Proof Theory, TACL 2022 Lecture Notes

The subject of these short lecture notes is a recently emerging area wit...
research
08/19/2016

On the Existence of a Projective Reconstruction

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

Formalization of Forcing in Isabelle/ZF

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

Fast Reliability Ranking of Matchstick Minimal Networks

In this article, we take a closer look at the reliability of large minim...
research
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...
research
02/14/2023

A Complication for the Many Worlds Theory

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

The Tale of One-way Functions

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

Please sign up or login with your details

Forgot password? Click here to reset