Re: William T. Parry gets rid of Disjunction introduction

On 2026-07-07 13:53, olcott wrote:
> On 7/7/2026 2:29 PM, André G. Isaak wrote:
>> On 2026-07-07 13:19, olcott wrote:

>>> To do with with minimal simplicity the axioms of
>>> PA are construed as semantic entailment thus when
>>> there is no sequence of inference steps between G
>>> and PA then G is Kripke undefined in PA.
>>
>> So why don't you illustrate this with an actual proof?
>>
>> André
>>
> 
> The principle is simply whenever X cannot be proven
> in F then X is ungrounded in the atomic base F. Even
> diagonalization makes to attempt at actual proof.

I can't make heads or tails of that.

If you can't illustrate your alleged system with a simple proof, then I 
have no choice but to conclude that it is as ill-defined to you as it is 
to me.

André

-- 
To email remove 'invalid' & replace 'gm' with well known Google mail 
service.