Groups | Search | Server Info | Login | Register
Groups > comp.theory > #139133
| Subject | Re: Proof Theoretic Semantics Blocks Pathological Self-Reference |
|---|---|
| Newsgroups | comp.theory, sci.logic, sci.math, comp.ai.philosophy, comp.lang.prolog |
| References | (6 earlier) <10ke8c4$20j1n$1@dont-email.me> <xsyaR.107428$VY9.83837@fx10.iad> <10kecvk$2270j$1@dont-email.me> <EJzaR.18406$iu59.18243@fx08.iad> <10keoir$25qov$2@dont-email.me> |
| From | Richard Damon <Richard@Damon-Family.org> |
| Message-ID | <DhDaR.85969$KF5d.70988@fx43.iad> (permalink) |
| Organization | Forte - www.forteinc.com |
| Date | 2026-01-16 22:24 -0500 |
Cross-posted to 5 groups.
On 1/16/26 8:27 PM, olcott wrote: > On 1/16/2026 5:21 PM, Richard Damon wrote: >> On 1/16/26 5:09 PM, olcott wrote: >>> On 1/16/2026 3:54 PM, Richard Damon wrote: >>>> On 1/16/26 3:51 PM, olcott wrote: >>>>> On 1/16/2026 2:34 PM, Richard Damon wrote: >>>>>> On 1/16/26 3:24 PM, olcott wrote: >>>>>>> On 1/16/2026 1:34 PM, Richard Damon wrote: >>>>>>>> On 1/16/26 2:16 PM, olcott wrote: >>>>>>>>> On 1/16/2026 12:52 PM, Richard Damon wrote: >>>>>>>>>> On 1/16/26 12:47 PM, olcott wrote: >>>>>>>>>>> The system uses proof-theoretic semantics, where the >>>>>>>>>>> meaning of a statement is determined entirely by its >>>>>>>>>>> inferential role within a theory. A theory T consists >>>>>>>>>>> of a finite set of basic statements together with >>>>>>>>>>> everything that can be derived from them using the >>>>>>>>>>> inference rules. The statements derivable in this >>>>>>>>>>> way are the theorems of T. A statement is true in >>>>>>>>>>> T exactly when T proves it. A statement is false >>>>>>>>>>> in T exactly when T proves its negation. Some >>>>>>>>>>> statements are neither true nor false in T. These >>>>>>>>>>> are the non-well-founded statements: statements >>>>>>>>>>> whose inferential justification cannot be grounded >>>>>>>>>>> in a finite, well-founded proof structure. This includes >>>>>>>>>>> self-referential constructions such as Gödel-type sentences. >>>>>>>>>>> >>>>>>>>>>> *Proof Theoretic Semantics Blocks Pathological Self-Reference* >>>>>>>>>>> https://philpapers.org/archive/OLCPTS.pdf >>>>>>>>>>> >>>>>>>>>> >>>>>>>>>> WHAT system? >>>>>>>>>> >>>>>>>>>> WHAT can you do in it? >>>>>>>>>> >>>>>>>>>> Can you actually prove that, or is it just more of your lies. >>>>>>>>>> >>>>>>>>> >>>>>>>>> You have to actually read the paper. >>>>>>>> >>>>>>>> I did. Where do you actually define the initial axioms of your >>>>>>>> syste,/ >>>>>>>> >>>>>>>>> >>>>>>>>>> Your problem is that you system is based on a criteria that >>>>>>>>>> matches your own definition of non-well-founded. >>>>>>>>>> >>>>>>>>> >>>>>>>>> What does not well-founded mean in proof-theoretic semantics? >>>>>>>> >>>>>>>> So. how is your definition of the criteria to be non-well- >>>>>>>> founded not non-well-founded for some questions? >>>>>>>> >>>>>>>> Note, asking LLMs for a definition doesn't define it in your >>>>>>>> system. >>>>>>>> >>>>>>>>> >>>>>>>>> In proof‑theoretic semantics, a statement is not well‑founded >>>>>>>>> when its justification cannot be grounded in a finite, >>>>>>>>> well‑structured chain of inferential steps. It lacks a >>>>>>>>> terminating, well‑ordered proof tree that would normally >>>>>>>>> establish its truth or falsity. This often happens with >>>>>>>>> self‑referential or circular statements whose “proofs” loop >>>>>>>>> back on themselves rather than bottoming out in basic axioms or >>>>>>>>> introduction rules. // Copilot >>>>>>>>> >>>>>>>>> In proof-theoretic semantics, saying that something is “not >>>>>>>>> well- founded” means that the structure used to define or >>>>>>>>> justify meanings does not rest on a base case that is >>>>>>>>> independent of itself. Instead, it involves circular or >>>>>>>>> infinitely descending dependencies among rules or proofs. // >>>>>>>>> ChatGPT >>>>>>>>> >>>>>>>>> In proof-theoretic semantics, not well-founded typically refers >>>>>>>>> to derivations or proof structures that contain infinite >>>>>>>>> descending chains or circular dependencies, violating the well- >>>>>>>>> foundedness property. >>>>>>>>> In classical proof theory, well-founded derivations have a >>>>>>>>> clear hierarchical structure where every inference rule >>>>>>>>> application depends only on "smaller" or "simpler" premises, >>>>>>>>> eventually bottoming out in axioms or basic rules. This ensures >>>>>>>>> that proofs are finitely constructible and verifiable. // >>>>>>>>> Claude AI >>>>>>>>> >>>>>>>>> A set of introduction rules (definitional clauses) for an atom >>>>>>>>> P is called well-founded if every chain of successive >>>>>>>>> "definitions" (unfoldings) eventually terminates — i.e., there >>>>>>>>> is no infinite descending chain of definitional dependencies. >>>>>>>>> Intuitively: >>>>>>>>> The meaning of P is ultimately grounded in basic facts or in >>>>>>>>> logical structure after finitely many unfoldings. // Grok >>>>>>>>> >>>>>>>>> >>>>>>>> >>>>>>>> And, thus, your "definition" of non-well-founded >>>>>>> >>>>>>> Is the standard definition in truth theoretic semantics making >>>>>>> "true on the basis of meaning expressed in language" >>>>>>> reliably computable for the entire body of knowledge. >>>>>>> >>>>>>> This includes expressing all of PA in a complete system. >>>>>>> >>>>>> >>>>>> I think not. >>>>>> >>>>>> One problem you are going to run into is that this "entire body of >>>>>> knowledge" is itself not built on those semantics, >>>>>> >>>>> >>>>> I knew that this would be philosophically too deep >>>>> for you so I am using PA to build a bridge. >>>>> >>>>>> It is a problem trying to process "knowledge" based on a different >>>>>> logic than the logic you are trying to process it. >>>>>> >>>>>> Also, part of our knowledge is about mathematics, which, for >>>>>> instance will assert that the Goldbach Conjecture is one of the >>>>>> great puzzles of mathematics, and must either be true or false, >>>>>> but that FACT is incompatible with proof-theoretic semantics, as >>>>>> mathematics can show that some true statements do not have proofs >>>>>> in the system. >>>>>> >>>>> >>>>> You seem to keep forgetting the specified domain >>>>> is the body of knowledge that is >>>>> "true on the basis of meaning expressed in language" >>>> >>>> Which means NOTHING about the real world, only man's own >>>> classification of things. >>>> >>> >>> When viewed within proof theoretic semantics it >>> specifies a precisely defined and coherent set >>> that shows all of the details of exactly how >>> conventional logic diverges from correct reasoning. >> >> No, it shows how your concept of "correct reasoning" is just defective. >> > > A sentence is meaningful only if its justification graph > is well‑founded. A well‑founded graph always has a terminating > evaluation. Truth is defined as the result of that terminating > evaluation. Any sentence whose justification graph is > non‑well‑founded has no terminating evaluation, so it is > not meaningful and not truth‑apt. Therefore truth is total > and computable over the meaningful fragment. > > And thus your criteria for well-foundedness isn't itself well founded. This is the problem of trying to redefine "truth" to be something other than what it is. The problem is, there are statements you can't show that they ARE not-well-founded, and thus you can't talk about them. We can't tell of the Golfbach conjecture is well-founded or not, so your system ends up having many unkownable holes in it. And because when you first want to pose the question, you likely don't know if the answer will be available, or if it is in the realm of unprovable. This means your "logic" is mostly restrictred to talking about what is already known, and is worthless for producing new knowledge. It even has problem with much of the existing knowledge, as that is based on truth-conditional logic, so isn't even true anymore in your system.
Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar
Proof Theoretic Semantics Blocks Pathological Self-Reference olcott <polcott333@gmail.com> - 2026-01-16 11:47 -0600
Re: Proof Theoretic Semantics Blocks Pathological Self-Reference Richard Damon <Richard@Damon-Family.org> - 2026-01-16 13:52 -0500
Re: Proof Theoretic Semantics Blocks Pathological Self-Reference olcott <polcott333@gmail.com> - 2026-01-16 13:16 -0600
Re: Proof Theoretic Semantics Blocks Pathological Self-Reference Richard Damon <Richard@Damon-Family.org> - 2026-01-16 14:34 -0500
Re: Proof Theoretic Semantics Blocks Pathological Self-Reference olcott <polcott333@gmail.com> - 2026-01-16 14:24 -0600
Re: Proof Theoretic Semantics Blocks Pathological Self-Reference Richard Damon <Richard@Damon-Family.org> - 2026-01-16 15:34 -0500
Re: Proof Theoretic Semantics Blocks Pathological Self-Reference olcott <polcott333@gmail.com> - 2026-01-16 14:51 -0600
Re: Proof Theoretic Semantics Blocks Pathological Self-Reference Richard Damon <Richard@Damon-Family.org> - 2026-01-16 16:54 -0500
Re: Proof Theoretic Semantics Blocks Pathological Self-Reference olcott <polcott333@gmail.com> - 2026-01-16 16:09 -0600
Re: Proof Theoretic Semantics Blocks Pathological Self-Reference Richard Damon <Richard@Damon-Family.org> - 2026-01-16 18:21 -0500
Re: Proof Theoretic Semantics Blocks Pathological Self-Reference olcott <polcott333@gmail.com> - 2026-01-16 19:23 -0600
Re: Proof Theoretic Semantics Blocks Pathological Self-Reference Richard Damon <Richard@Damon-Family.org> - 2026-01-16 22:24 -0500
Re: Proof Theoretic Semantics Blocks Pathological Self-Reference olcott <polcott333@gmail.com> - 2026-01-16 19:27 -0600
Re: Proof Theoretic Semantics Blocks Pathological Self-Reference Richard Damon <Richard@Damon-Family.org> - 2026-01-16 22:24 -0500
Re: Proof Theoretic Semantics Blocks Pathological Self-Reference olcott <polcott333@gmail.com> - 2026-01-16 21:42 -0600
Re: Proof Theoretic Semantics Blocks Pathological Self-Reference Richard Damon <Richard@Damon-Family.org> - 2026-01-17 07:03 -0500
Re: Proof Theoretic Semantics Blocks Pathological Self-Reference olcott <polcott333@gmail.com> - 2026-01-17 10:01 -0600
Re: Proof Theoretic Semantics Blocks Pathological Self-Reference Richard Damon <Richard@Damon-Family.org> - 2026-01-17 15:31 -0500
Re: Proof Theoretic Semantics Blocks Pathological Self-Reference olcott <polcott333@gmail.com> - 2026-01-16 21:44 -0600
Re: Proof Theoretic Semantics Blocks Pathological Self-Reference Richard Damon <news.x.richarddamon@xoxy.net> - 2026-01-17 07:03 -0500
Re: Proof Theoretic Semantics Blocks Pathological Self-Reference olcott <polcott333@gmail.com> - 2026-01-17 10:11 -0600
Re: Proof Theoretic Semantics Blocks Pathological Self-Reference Richard Damon <Richard@Damon-Family.org> - 2026-01-17 15:31 -0500
Re: Proof Theoretic Semantics Blocks Pathological Self-Reference Mikko <mikko.levanto@iki.fi> - 2026-01-17 11:22 +0200
Re: Proof Theoretic Semantics Blocks Pathological Self-Reference olcott <polcott333@gmail.com> - 2026-01-17 09:53 -0600
Re: Proof Theoretic Semantics Blocks Pathological Self-Reference Richard Damon <Richard@Damon-Family.org> - 2026-01-17 15:31 -0500
Re: Proof Theoretic Semantics Blocks Pathological Self-Reference Mikko <mikko.levanto@iki.fi> - 2026-01-18 11:51 +0200
csiph-web