Truth-relevant Logic-Propositional Calculus (Xaver Newberry)

3 views
Skip to first unread message

olcott

unread,
Jan 23, 2022, 11:01:25 AMJan 23
to
Truth-relevant Logic-Propositional Calculus

https://www.researchgate.net/publication/330844403_Truth-relevant_Logic-Propositional_Calculus


A new way of saying my recent insight:
¬∃F ¬∃G ((G ∈ F) ∧ ¬((F ⊢ G) ∨ (F ⊢ ¬G)))
In order for G to be a member of F it must be provable or refutable in F

Proof that Wittgenstein is correct about Gödel
https://www.researchgate.net/publication/333907915_Proof_that_Wittgenstein_is_correct_about_Godel


--
Copyright 2021 Pete Olcott

Talent hits a target no one else can hit;
Genius hits a target no one else can see.
Arthur Schopenhauer
Reply all
Reply to author
Forward
0 new messages