Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Newberry, X. Y."'
Autor:
Newberry, X. Y.
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 another paper I outlined a derivation system for t-relevant logic base
Externí odkaz:
http://arxiv.org/abs/2302.04665
Autor:
Newberry, X. Y.
The thesis of this paper is that truth-relevant logic is a better foundation for mathematics than classical logic. It is a system proposed by Richard Diaz in 1981. In a certain sense t-relevant logic is based on Kleene strong tables. These define a s
Externí odkaz:
http://arxiv.org/abs/2204.10887
Autor:
Newberry, X. Y.
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). 3. A(k,s) halts and for all n, A(s,n) diverges. Here C_n(_) is a progr
Externí odkaz:
http://arxiv.org/abs/1706.03392
Autor:
Newberry, X. Y.
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'. HaltsOnItself( Program ) is simply DoesHalt( Program, Program ). AntiSelf(
Externí odkaz:
http://arxiv.org/abs/1610.04592
Autor:
Newberry, X. Y.
Publikováno v:
The Reasoner Volume 10, Number 1 January 2016 pgs 102-103
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 simple sentences with two predicate letters. But the concept can be exte
Externí odkaz:
http://arxiv.org/abs/1510.04393
Autor:
Newberry, X. Y.
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 published a monograph in which he presented truth-relevant logic. This pap
Externí odkaz:
http://arxiv.org/abs/1509.06837