Groups
Sign in
Groups
sci.philosophy
Conversations
About
Send feedback
Help
info
Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
Learn more
Truth-relevant Logic-Propositional Calculus (Xaver Newberry)
0 views
Skip to first unread message
olcott
unread,
Jan 23, 2022, 11:01:24 AM
1/23/22
Delete
You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
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
0 new messages