5 papers · 1 filter
A Proof System for a Logic of Presuppositions
X. Y. Newberry
The paper proposes a derivation system for a logic of presuppositions as introduced by P. F. Strawson. It is based on truth-relevant logic described by M. Richard Diaz in 1981. In…
Getting around the Halting Problem
X. Y. Newberry
There are numbers k and s and a URM program A(n,m) satisfying the following conditions. 1. If A(n,m) halts, then Cn(m) diverges. 2. For all n, C_k(n) = A(n,n) and C_s(n) = C_k(s).…
The Recursion Theorem from a Different Angle
X. Y. Newberry
This paper is about computability. I claim the likely existence of a program DoesHalt(Program, Input) such that DoesHalt( HaltsOnItself, AntiSelf ) halts with resounding 'NO'. Halt…
The Diagonal Lemma Fails in Aristotelian Logic
X. Y. Newberry
In the 1950-ies P. F. Strawson proposed the Logic of Presuppositions. In this system sentences with empty subject are considered neither true nor false. Strawson considered only si…
Semantics for a Logic of Presuppositions
X. Y. Newberry
In 1952 P. F. Strawson proposed a logic of presuppositions. It is an interpretation of Aristotelian logic, i.e. of the logic of the traditional syllogism. In 1981 Richard Diaz publ…