Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
| From | polcott <polcott333@gmail.com> |
|---|---|
| Newsgroups | comp.theory, sci.logic, sci.lang |
| Subject | Re: Undecidability based on epistemological antinomies V2 --correct reasoning-- |
| Date | 2026-05-23 18:34 -0500 |
| Message-ID | <10utdim$1dsa$2@solani.org> (permalink) |
| References | (22 earlier) <zsidnYj514zZy7T7nZ2dnZfqnPSdnZ2d@giganews.com> <v0bqp1$2hain$1@dont-email.me> <7MCdnd4g3IwhMbT7nZ2dnZfqn_idnZ2d@giganews.com> <v0cd2d$2l424$1@dont-email.me> <f06dnYZZJIOmsI_3nZ2dnZfqnPGdnZ2d@giganews.com> |
Cross-posted to 3 groups.
On 5/23/2026 5:41 PM, Ross Finlayson wrote: > > Ah. What you have there is "Believes(you, L, x)", I believe. > No! It is all computed objective truth on the basis of stipulated objectively true atomic facts. "cats" <are> "animals" is one Rudolf Carnap Meaning Postulate. If we don't have some stipulated basis then anything that can be said in any human or formal language remains utterly meaningless. Expressions of language ONLY acquire meaning on the basis of relations to other expressions of language. This is something like: Truth-conditional semantics is an approach to semantics of natural language that sees meaning (or at least the meaning of assertions) as being the same as, or reducible to, their truth conditions. https://en.wikipedia.org/wiki/Truth-conditional_semantics Semantic entailment specified syntactically is merely special relations between finite strings. "cats" have the <is a type of> relation to "animals" This is essentially a Rudolf Carnap Meaning Postulate. -- Copyright 2026 Olcott My 28 year goal has been to make "true on the basis of meaning expressed in language" reliably computable for the entire body of knowledge. The complete structure of this system is now defined. The entire body of knowledge expressed in language is comprised of two types of relations between finite strings: (a) *Axioms* Expressions of language that are stipulated to be true. My system bridges the analytic/synthetic distinction by expressly encoding all empirical "atomic facts" in a formal language such as CycL of the Cyc project. (b) *Inference Rules* Expressions of language that are semantically entailed syntactically from (a) and/or (b).
Back to sci.lang | Previous | Next — Next in thread | Find similar | Unroll thread
Re: Undecidability based on epistemological antinomies V2 --correct reasoning-- polcott <polcott333@gmail.com> - 2026-05-23 18:34 -0500
Re: Undecidability based on epistemological antinomies V2 --correct reasoning-- Mikko <mikko.levanto@iki.fi> - 2026-05-24 11:08 +0300
Re: Undecidability based on epistemological antinomies V2 --correct reasoning-- olcott <polcott333@gmail.com> - 2026-05-24 17:31 -0500
Re: Undecidability based on epistemological antinomies V2 --correct reasoning-- Mikko <mikko.levanto@iki.fi> - 2026-05-25 11:03 +0300
Re: Undecidability based on epistemological antinomies V2 --correct reasoning-- olcott <polcott333@gmail.com> - 2026-05-25 09:12 -0500
Re: Undecidability based on epistemological antinomies V2 --correct reasoning-- Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-05-25 09:48 -0700
Re: Undecidability based on epistemological antinomies V2 --correct reasoning-- olcott <polcott333@gmail.com> - 2026-05-25 12:57 -0500
Re: Undecidability based on epistemological antinomies V2 --correct reasoning-- Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-05-25 20:54 -0700
Re: Undecidability based on epistemological antinomies V2 --correct reasoning-- Mikko <mikko.levanto@iki.fi> - 2026-05-26 10:50 +0300
csiph-web