• What expressions of language are logically certain?

    From olcott@polcott333@gmail.com to sci.logic,comp.theory,comp.ai.philosophy on Wed Oct 1 12:52:22 2025
    From Newsgroup: comp.ai.philosophy

    This has been my primary research focus since 1997.
    I will try to sum this up succinctly.

    Expressions of language pertaining to physical reality
    can never be logically certain because they depend on
    underlying assumptions that are not logically certain.

    The meaning of some words can be logically certain when
    these meanings are fully contained in the meanings of
    other words that define them.

    Part of the meaning of the word "cat" is that cats are
    animals. When referring to the conventional meaning of
    these terms anyone that says cats are not animals is
    objectively incorrect.
    --
    Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
    hits a target no one else can see." Arthur Schopenhauer

    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From Kaz Kylheku@643-408-1753@kylheku.com to sci.logic,comp.theory,comp.ai.philosophy on Wed Oct 1 19:58:24 2025
    From Newsgroup: comp.ai.philosophy

    On 2025-10-01, olcott <polcott333@gmail.com> wrote:
    This has been my primary research focus since 1997.
    I will try to sum this up succinctly.

    Expressions of language pertaining to physical reality
    can never be logically certain because they depend on
    underlying assumptions that are not logically certain.

    Right off the bat you show yourself to be out of your depth, having
    forgotten first or second year undergrad topics in logic.

    You can make statements which are unsassailably certain from a logical perspective, yet which combine together propositions that are blatantly
    false in the world.

    The truths of propostions are not logically certain or uncertain: they
    are not logically anything!

    Logic doesn't care about hwo truths of propositions are ascertained;
    that only involves logic when logical inference is needed (in some way)
    as a tool in evaluating a proposition.

    Whether a proposition is true (in some understood universe of discourse)
    isn't "logical" or not.
    --
    TXR Programming Language: http://nongnu.org/txr
    Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal
    Mastodon: @Kazinator@mstdn.ca
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From olcott@polcott333@gmail.com to sci.logic,comp.theory,comp.ai.philosophy on Wed Oct 1 15:38:25 2025
    From Newsgroup: comp.ai.philosophy

    On 10/1/2025 2:58 PM, Kaz Kylheku wrote:
    On 2025-10-01, olcott <polcott333@gmail.com> wrote:
    This has been my primary research focus since 1997.
    I will try to sum this up succinctly.

    Expressions of language pertaining to physical reality
    can never be logically certain because they depend on
    underlying assumptions that are not logically certain.

    Right off the bat you show yourself to be out of your depth, having
    forgotten first or second year undergrad topics in logic.

    You can make statements which are unsassailably certain from a logical perspective, yet which combine together propositions that are blatantly
    false in the world.


    In other words you think that cats might not be animals.

    The truths of propostions are not logically certain or uncertain: they
    are not logically anything!


    Did you seem me use the term "propositions" anywhere here?
    I always use the big picture "Expressions of language" and
    never use the narrow minded term: propositions.

    Logic doesn't care about hwo truths of propositions are ascertained;
    that only involves logic when logical inference is needed (in some way)
    as a tool in evaluating a proposition.


    When ever I use terms I ONLY mean The Frege principle of
    compositionality meaning of the common meaning of the
    base terms.

    https://en.wikipedia.org/wiki/Principle_of_compositionality

    By logically certain I only mean impossibly false.

    Whether a proposition is true (in some understood universe of discourse) isn't "logical" or not.


    Why don't you quit being a jerk and try to actually
    understand what I am saying?
    --
    Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
    hits a target no one else can see." Arthur Schopenhauer
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From olcott@polcott333@gmail.com to sci.logic,comp.theory,comp.ai.philosophy on Wed Oct 1 15:40:14 2025
    From Newsgroup: comp.ai.philosophy

    On 10/1/2025 2:58 PM, Kaz Kylheku wrote:
    On 2025-10-01, olcott <polcott333@gmail.com> wrote:
    This has been my primary research focus since 1997.
    I will try to sum this up succinctly.

    Expressions of language pertaining to physical reality
    can never be logically certain because they depend on
    underlying assumptions that are not logically certain.

    Right off the bat you show yourself to be out of your depth, having
    forgotten first or second year undergrad topics in logic.

    You can make statements which are unsassailably certain from a logical perspective, yet which combine together propositions that are blatantly
    false in the world.


    In other words you think that cats might not be animals.

    The truths of propostions are not logically certain or uncertain: they
    are not logically anything!


    Did you seem me use the term "propositions" anywhere here?
    I always use the big picture "Expressions of language" and
    never use the narrow minded term: propositions.

    Logic doesn't care about hwo truths of propositions are ascertained;
    that only involves logic when logical inference is needed (in some way)
    as a tool in evaluating a proposition.


    When ever I use terms I ONLY mean The Frege principle of
    compositionality meaning of the common meaning of the
    base terms.

    https://en.wikipedia.org/wiki/Principle_of_compositionality

    By logically certain I only mean impossibly false.

    Whether a proposition is true (in some understood universe of discourse) isn't "logical" or not.


    Why don't you quit being a jerk and try to actually
    understand what I am saying?
    --
    Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
    hits a target no one else can see." Arthur Schopenhauer
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From Richard Heathfield@rjh@cpax.org.uk to sci.logic,comp.theory,comp.ai.philosophy on Wed Oct 1 21:47:50 2025
    From Newsgroup: comp.ai.philosophy

    On 01/10/2025 21:38, olcott wrote:
    On 10/1/2025 2:58 PM, Kaz Kylheku wrote:
    On 2025-10-01, olcott <polcott333@gmail.com> wrote:
    This has been my primary research focus since 1997.
    I will try to sum this up succinctly.

    Expressions of language pertaining to physical reality
    can never be logically certain because they depend on
    underlying assumptions that are not logically certain.

    Right off the bat you show yourself to be out of your depth,
    having
    forgotten first or second year undergrad topics in logic.

    You can make statements which are unsassailably certain from a
    logical
    perspective, yet which combine together propositions that are
    blatantly
    false in the world.


    In other words you think that cats might not be animals.

    In other words you just make up random junk because you don't
    understand what he said.


    Why don't you quit being a jerk and try to actually
    understand what I am saying?

    After you, genius.
    --
    Richard Heathfield
    Email: rjh at cpax dot org dot uk
    "Usenet is a strange place" - dmr 29 July 1999
    Sig line 4 vacant - apply within
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From Richard Heathfield@rjh@cpax.org.uk to sci.logic,comp.theory,comp.ai.philosophy on Wed Oct 1 21:48:59 2025
    From Newsgroup: comp.ai.philosophy

    On 01/10/2025 21:40, olcott wrote:
    On 10/1/2025 2:58 PM, Kaz Kylheku wrote:
    On 2025-10-01, olcott <polcott333@gmail.com> wrote:
    This has been my primary research focus since 1997.
    I will try to sum this up succinctly.

    Expressions of language pertaining to physical reality
    can never be logically certain because they depend on
    underlying assumptions that are not logically certain.

    Right off the bat you show yourself to be out of your depth,
    having
    forgotten first or second year undergrad topics in logic.

    You can make statements which are unsassailably certain from a
    logical
    perspective, yet which combine together propositions that are
    blatantly
    false in the world.


    In other words you think that cats might not be animals.

    How do you derive that from anything he has said?
    --
    Richard Heathfield
    Email: rjh at cpax dot org dot uk
    "Usenet is a strange place" - dmr 29 July 1999
    Sig line 4 vacant - apply within
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From Kaz Kylheku@643-408-1753@kylheku.com to sci.logic,comp.theory,comp.ai.philosophy on Wed Oct 1 20:54:08 2025
    From Newsgroup: comp.ai.philosophy

    On 2025-10-01, olcott <polcott333@gmail.com> wrote:
    On 10/1/2025 2:58 PM, Kaz Kylheku wrote:
    On 2025-10-01, olcott <polcott333@gmail.com> wrote:
    This has been my primary research focus since 1997.
    I will try to sum this up succinctly.

    Expressions of language pertaining to physical reality
    can never be logically certain because they depend on
    underlying assumptions that are not logically certain.

    Right off the bat you show yourself to be out of your depth, having
    forgotten first or second year undergrad topics in logic.

    You can make statements which are unsassailably certain from a logical
    perspective, yet which combine together propositions that are blatantly
    false in the world.


    In other words you think that cats might not be animals.

    I'm saying that it's a metter of epistemology, not logic.

    It is not logical/illogical for cats to be or not to be animals.


    The truths of propostions are not logically certain or uncertain: they
    are not logically anything!


    Did you seem me use the term "propositions" anywhere here?

    Yes; logic was mentioned. Logic has propositions.

    I always use the big picture "Expressions of language" and
    never use the narrow minded term: propositions.

    If the narrow-minded term "propositions" bothers you, then
    kindly stay away from the narrow-minded term "logic" and "logical".

    Logic doesn't care about hwo truths of propositions are ascertained;
    that only involves logic when logical inference is needed (in some way)
    as a tool in evaluating a proposition.

    When ever I use terms I ONLY mean ...

    Okay, Humpty-Dumpty.

    https://en.wikipedia.org/wiki/Principle_of_compositionality

    By logically certain I only mean impossibly false.

    An obvious example of that is the Deductive Argument. Such an argument
    is true in all imaginable universes of discourse, regardless for the
    assignment of truth values to its propositions.

    Whether a proposition is true (in some understood universe of discourse)
    isn't "logical" or not.

    Why don't you quit being a jerk and try to actually
    understand what I am saying?

    If you keep saying nonsense like a statement of fact about the world
    being "logically true", you will not be properly understood.

    Informally speaking, and only informally, something can be said to be "logically true" if it is a surprising result that is obtained by
    following logic from true premises; i.e. some truth we feel that we "synthesized" by following logic from true premises about the world, so
    that it feels as if it "popped out" from logic itself. Of course,
    it didn't; it was buried in the premises the whole time, whose truth
    isn't logical, but epistemological.
    --
    TXR Programming Language: http://nongnu.org/txr
    Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal
    Mastodon: @Kazinator@mstdn.ca
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From olcott@polcott333@gmail.com to sci.logic,comp.theory,comp.ai.philosophy on Wed Oct 1 17:29:50 2025
    From Newsgroup: comp.ai.philosophy

    On 10/1/2025 3:48 PM, Richard Heathfield wrote:
    On 01/10/2025 21:40, olcott wrote:
    On 10/1/2025 2:58 PM, Kaz Kylheku wrote:
    On 2025-10-01, olcott <polcott333@gmail.com> wrote:
    This has been my primary research focus since 1997.
    I will try to sum this up succinctly.

    Expressions of language pertaining to physical reality
    can never be logically certain because they depend on
    underlying assumptions that are not logically certain.

    Right off the bat you show yourself to be out of your depth, having
    forgotten first or second year undergrad topics in logic.

    You can make statements which are unsassailably certain from a logical
    perspective, yet which combine together propositions that are blatantly
    false in the world.


    In other words you think that cats might not be animals.

    How do you derive that from anything he has said?


    I will use Socratic questioning so that you figure out
    the answer on your own or prove your own ignorance.
    Exactly what kinds of expressions of English are impossibly false?
    (I used the term logically certain to mean impossibly false)
    --
    Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
    hits a target no one else can see." Arthur Schopenhauer
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From olcott@polcott333@gmail.com to sci.logic,comp.theory,comp.ai.philosophy on Wed Oct 1 17:57:44 2025
    From Newsgroup: comp.ai.philosophy

    On 10/1/2025 3:54 PM, Kaz Kylheku wrote:
    On 2025-10-01, olcott <polcott333@gmail.com> wrote:
    On 10/1/2025 2:58 PM, Kaz Kylheku wrote:
    On 2025-10-01, olcott <polcott333@gmail.com> wrote:
    This has been my primary research focus since 1997.
    I will try to sum this up succinctly.

    Expressions of language pertaining to physical reality
    can never be logically certain because they depend on
    underlying assumptions that are not logically certain.

    Right off the bat you show yourself to be out of your depth, having
    forgotten first or second year undergrad topics in logic.

    You can make statements which are unsassailably certain from a logical
    perspective, yet which combine together propositions that are blatantly
    false in the world.


    In other words you think that cats might not be animals.

    I'm saying that it's a metter of epistemology, not logic.


    If you googled [Logical certainty] you would find that
    this is a philosophical term not any aspect of math or logic.

    I should have said impossibly false instead of logically
    certain. Yes it is actually the field of epistemology
    that anchors correct reasoning. What it commonly understood
    to be logic within the academic fields lacks anywhere
    nearly sufficient expressiveness.

    It is not logical/illogical for cats to be or not to be animals.


    It is logically incorrect to say that cats are not animals
    when you use the term logic broadly enough to include
    epistemology.


    The truths of propostions are not logically certain or uncertain: they
    are not logically anything!


    Did you seem me use the term "propositions" anywhere here?

    Yes; logic was mentioned. Logic has propositions.


    If you googled [Logical certainty] you would find that
    this is a philosophical term not any aspect of math or logic.
    I did not use the term logic.

    I always use the big picture "Expressions of language" and
    never use the narrow minded term: propositions.

    If the narrow-minded term "propositions" bothers you, then
    kindly stay away from the narrow-minded term "logic" and "logical".


    By logically certain I only meant impossibly false.
    That cats are animals is impossibly false.

    Logic doesn't care about hwo truths of propositions are ascertained;
    that only involves logic when logical inference is needed (in some way)
    as a tool in evaluating a proposition.

    When ever I use terms I ONLY mean ...

    Okay, Humpty-Dumpty.

    https://en.wikipedia.org/wiki/Principle_of_compositionality

    By logically certain I only mean impossibly false.

    An obvious example of that is the Deductive Argument.

    Far too narrow of a place to start. I need get the
    whole body of human knowledge into the picture.

    Such an argument
    is true in all imaginable universes of discourse, regardless for the assignment of truth values to its propositions.


    I am trying to encompass every notion that can possibly
    exist that can be expressed in language into a single
    system of thought.

    Whether a proposition is true (in some understood universe of discourse) >>> isn't "logical" or not.

    Why don't you quit being a jerk and try to actually
    understand what I am saying?

    If you keep saying nonsense like a statement of fact about the world
    being "logically true", you will not be properly understood.


    The base meaning of logic is merely the science of correct
    reasoning, thus logical certainty merely means impossible
    falsity.

    Informally speaking, and only informally, something can be said to be "logically true" if it is a surprising result that is obtained by
    following logic from true premises; i.e. some truth we feel that we "synthesized" by following logic from true premises about the world, so
    that it feels as if it "popped out" from logic itself. Of course,
    it didn't; it was buried in the premises the whole time, whose truth
    isn't logical, but epistemological.


    Any knowledge of the actual world depends on the
    accuracy of the model of the world. This depends
    on base assumptions that cannot be perfectly validated
    or perfectly refuted.
    --
    Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
    hits a target no one else can see." Arthur Schopenhauer
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From =?UTF-8?B?QW5kcsOpIEcuIElzYWFr?=@agisaak@gm.invalid to sci.logic,comp.theory,comp.ai.philosophy on Wed Oct 1 19:12:16 2025
    From Newsgroup: comp.ai.philosophy

    On 2025-10-01 16:57, olcott wrote:
    On 10/1/2025 3:54 PM, Kaz Kylheku wrote:
    On 2025-10-01, olcott <polcott333@gmail.com> wrote:
    On 10/1/2025 2:58 PM, Kaz Kylheku wrote:
    On 2025-10-01, olcott <polcott333@gmail.com> wrote:
    This has been my primary research focus since 1997.
    I will try to sum this up succinctly.

    Expressions of language pertaining to physical reality
    can never be logically certain because they depend on
    underlying assumptions that are not logically certain.

    Right off the bat you show yourself to be out of your depth, having
    forgotten first or second year undergrad topics in logic.

    You can make statements which are unsassailably certain from a logical >>>> perspective, yet which combine together propositions that are blatantly >>>> false in the world.


    In other words you think that cats might not be animals.

    I'm saying that it's a metter of epistemology, not logic.


    If you googled [Logical certainty] you would find that
    this is a philosophical term not any aspect of math or logic.

    Google seems to disagree with you here, treating it as a term of logic.

    I should have said impossibly false instead of logically
    certain. Yes it is actually the field of epistemology
    that anchors correct reasoning. What it commonly understood
    to be logic within the academic fields lacks anywhere
    nearly sufficient expressiveness.

    Except 'impossibly false' isn't an expression of English that means what
    you think it means. In English, 'impossibly' normally functions as an intensifier, e.g. "He is impossibly strong" meaning "he is stronger than
    I thought possible". So presumable "impossibly false" would mean
    something like the (admittedly nonsensical) "more false than I though possible".

    It's a poor choice of terms for that reason.


    It is not logical/illogical for cats to be or not to be animals.


    It is logically incorrect to say that cats are not animals
    when you use the term logic broadly enough to include
    epistemology.

    But the term logic *doesn't* include epistemology. Logic and
    epistemology are very distinct fields of inquiry.

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

    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From Richard Heathfield@rjh@cpax.org.uk to sci.logic,comp.theory,comp.ai.philosophy on Thu Oct 2 02:33:28 2025
    From Newsgroup: comp.ai.philosophy

    On 01/10/2025 23:29, olcott wrote:
    On 10/1/2025 3:48 PM, Richard Heathfield wrote:
    On 01/10/2025 21:40, olcott wrote:
    On 10/1/2025 2:58 PM, Kaz Kylheku wrote:
    On 2025-10-01, olcott <polcott333@gmail.com> wrote:
    This has been my primary research focus since 1997.
    I will try to sum this up succinctly.

    Expressions of language pertaining to physical reality
    can never be logically certain because they depend on
    underlying assumptions that are not logically certain.

    Right off the bat you show yourself to be out of your depth,
    having
    forgotten first or second year undergrad topics in logic.

    You can make statements which are unsassailably certain from
    a logical
    perspective, yet which combine together propositions that are
    blatantly
    false in the world.


    In other words you think that cats might not be animals.

    How do you derive that from anything he has said?

    I will use Socratic questioning

    Evasion noted.
    --
    Richard Heathfield
    Email: rjh at cpax dot org dot uk
    "Usenet is a strange place" - dmr 29 July 1999
    Sig line 4 vacant - apply within
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From olcott@polcott333@gmail.com to sci.logic,comp.theory,comp.ai.philosophy on Wed Oct 1 21:05:36 2025
    From Newsgroup: comp.ai.philosophy

    On 10/1/2025 8:12 PM, Andr|- G. Isaak wrote:
    On 2025-10-01 16:57, olcott wrote:
    On 10/1/2025 3:54 PM, Kaz Kylheku wrote:
    On 2025-10-01, olcott <polcott333@gmail.com> wrote:
    On 10/1/2025 2:58 PM, Kaz Kylheku wrote:
    On 2025-10-01, olcott <polcott333@gmail.com> wrote:
    This has been my primary research focus since 1997.
    I will try to sum this up succinctly.

    Expressions of language pertaining to physical reality
    can never be logically certain because they depend on
    underlying assumptions that are not logically certain.

    Right off the bat you show yourself to be out of your depth, having
    forgotten first or second year undergrad topics in logic.

    You can make statements which are unsassailably certain from a logical >>>>> perspective, yet which combine together propositions that are
    blatantly
    false in the world.


    In other words you think that cats might not be animals.

    I'm saying that it's a metter of epistemology, not logic.


    If you googled [Logical certainty] you would find that
    this is a philosophical term not any aspect of math or logic.

    Google seems to disagree with you here, treating it as a term of logic.


    Logical certainty refers to a state where a conclusion is undeniably
    true, as it necessarily follows from true premises through valid
    reasoning, typically in areas like mathematics and formal logic. Such
    truths, also called absolute truths, are analytic a priori propositionsrComeaning they can be known independent of sense experience
    and remain permanent and certain. An example is the logical certainty
    that "all bachelors are unmarried" because the concept of being an
    unmarried man is inherent in the definition of a bachelor.

    I should have said impossibly false instead of logically
    certain. Yes it is actually the field of epistemology
    that anchors correct reasoning. What it commonly understood
    to be logic within the academic fields lacks anywhere
    nearly sufficient expressiveness.

    Except 'impossibly false' isn't an expression of English that means what
    you think it means. In English, 'impossibly' normally functions as an intensifier, e.g. "He is impossibly strong" meaning "he is stronger than
    I thought possible". So presumable "impossibly false" would mean
    something like the (admittedly nonsensical) "more false than I though possible".

    It's a poor choice of terms for that reason.


    [impossibly] + [incorrect] https://en.wikipedia.org/wiki/Principle_of_compositionality
    The base meanings of the terms combined with something you
    never heard of Frege's Principle of compositionality.


    It is not logical/illogical for cats to be or not to be animals.


    It is logically incorrect to say that cats are not animals
    when you use the term logic broadly enough to include
    epistemology.

    But the term logic *doesn't* include epistemology. Logic and
    epistemology are very distinct fields of inquiry.

    Andr|-


    Unless you use the base meaning of words AS I ALWAYS DO.
    Logic is most essentially the science of correct reasoning.

    https://www.britannica.com/topic/logic
    --
    Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
    hits a target no one else can see." Arthur Schopenhauer
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From olcott@polcott333@gmail.com to sci.logic,comp.theory,comp.ai.philosophy on Wed Oct 1 22:11:50 2025
    From Newsgroup: comp.ai.philosophy

    On 10/1/2025 3:48 PM, Richard Heathfield wrote:
    On 01/10/2025 21:40, olcott wrote:
    On 10/1/2025 2:58 PM, Kaz Kylheku wrote:
    On 2025-10-01, olcott <polcott333@gmail.com> wrote:
    This has been my primary research focus since 1997.
    I will try to sum this up succinctly.

    Expressions of language pertaining to physical reality
    can never be logically certain because they depend on
    underlying assumptions that are not logically certain.

    Right off the bat you show yourself to be out of your depth, having
    forgotten first or second year undergrad topics in logic.

    You can make statements which are unsassailably certain from a logical
    perspective, yet which combine together propositions that are blatantly
    false in the world.


    In other words you think that cats might not be animals.

    How do you derive that from anything he has said?


    He mistook my term [logically certain] as some
    reference to symbolic logic and it is not. He
    did understand the essence by his later reference
    to epistemology, the kind of logic that I am
    getting quite good at.

    The science of correct reasoning...
    --
    Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
    hits a target no one else can see." Arthur Schopenhauer
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From Kaz Kylheku@643-408-1753@kylheku.com to sci.logic,comp.theory,comp.ai.philosophy on Thu Oct 2 03:17:03 2025
    From Newsgroup: comp.ai.philosophy

    On 2025-10-02, olcott <polcott333@gmail.com> wrote:
    On 10/1/2025 8:12 PM, Andr|- G. Isaak wrote:
    On 2025-10-01 16:57, olcott wrote:
    On 10/1/2025 3:54 PM, Kaz Kylheku wrote:
    On 2025-10-01, olcott <polcott333@gmail.com> wrote:
    On 10/1/2025 2:58 PM, Kaz Kylheku wrote:
    On 2025-10-01, olcott <polcott333@gmail.com> wrote:
    This has been my primary research focus since 1997.
    I will try to sum this up succinctly.

    Expressions of language pertaining to physical reality
    can never be logically certain because they depend on
    underlying assumptions that are not logically certain.

    Right off the bat you show yourself to be out of your depth, having >>>>>> forgotten first or second year undergrad topics in logic.

    You can make statements which are unsassailably certain from a logical >>>>>> perspective, yet which combine together propositions that are
    blatantly
    false in the world.


    In other words you think that cats might not be animals.

    I'm saying that it's a metter of epistemology, not logic.


    If you googled [Logical certainty] you would find that
    this is a philosophical term not any aspect of math or logic.

    Google seems to disagree with you here, treating it as a term of logic.


    Logical certainty refers to a state where a conclusion is undeniably
    true, as it necessarily follows from true premises through valid

    How to beat around saying "I stand corrected", avoiding the actual
    three words like a plague, due to ego.

    reasoning, typically in areas like mathematics and formal logic.

    I.e. not epistemology, as you said.

    Following from true premises via valid reasoning sounds like
    a deductive argument that is sound.

    You know, that thing that is too narrow, not bringing in all of human
    knowledge into the picture.
    --
    TXR Programming Language: http://nongnu.org/txr
    Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal
    Mastodon: @Kazinator@mstdn.ca
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From olcott@polcott333@gmail.com to sci.logic,comp.theory,comp.ai.philosophy on Wed Oct 1 22:50:40 2025
    From Newsgroup: comp.ai.philosophy

    On 10/1/2025 10:17 PM, Kaz Kylheku wrote:
    On 2025-10-02, olcott <polcott333@gmail.com> wrote:
    On 10/1/2025 8:12 PM, Andr|- G. Isaak wrote:
    On 2025-10-01 16:57, olcott wrote:
    On 10/1/2025 3:54 PM, Kaz Kylheku wrote:
    On 2025-10-01, olcott <polcott333@gmail.com> wrote:
    On 10/1/2025 2:58 PM, Kaz Kylheku wrote:
    On 2025-10-01, olcott <polcott333@gmail.com> wrote:
    This has been my primary research focus since 1997.
    I will try to sum this up succinctly.

    Expressions of language pertaining to physical reality
    can never be logically certain because they depend on
    underlying assumptions that are not logically certain.

    Right off the bat you show yourself to be out of your depth, having >>>>>>> forgotten first or second year undergrad topics in logic.

    You can make statements which are unsassailably certain from a logical >>>>>>> perspective, yet which combine together propositions that are
    blatantly
    false in the world.


    In other words you think that cats might not be animals.

    I'm saying that it's a metter of epistemology, not logic.


    If you googled [Logical certainty] you would find that
    this is a philosophical term not any aspect of math or logic.

    Google seems to disagree with you here, treating it as a term of logic.


    Logical certainty refers to a state where a conclusion is undeniably
    true, as it necessarily follows from true premises through valid

    How to beat around saying "I stand corrected", avoiding the actual
    three words like a plague, due to ego.


    Logical certainty refers to a state where a conclusion is
    undeniably true NO MATTER HOW YOU GOT THERE. It may have
    been through semantic logical consequence through
    epistemology.

    reasoning, typically in areas like mathematics and formal logic.

    I.e. not epistemology, as you said.


    The huge gap that conventional logic has in its attempt at the
    science of correct reasoning is epistemology.

    Following from true premises via valid reasoning sounds like
    a deductive argument that is sound.

    You know, that thing that is too narrow, not bringing in all of human knowledge into the picture.


    Yes thus we add epistemology.
    --
    Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
    hits a target no one else can see." Arthur Schopenhauer
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From Chris M. Thomasson@chris.m.thomasson.1@gmail.com to sci.logic,comp.theory,comp.ai.philosophy on Wed Oct 1 23:29:07 2025
    From Newsgroup: comp.ai.philosophy

    On 10/1/2025 8:50 PM, olcott wrote:
    [...]
    Logical certainty refers to a state where a conclusion is
    undeniably true NO MATTER HOW YOU GOT THERE.

    Is this true: Olcott might be a complete moronic, odd political shit
    fallback, perhaps violent psycho? Who thinks it is God from time to time?
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From olcott@polcott333@gmail.com to sci.logic,comp.theory,comp.ai.philosophy on Thu Oct 2 04:14:22 2025
    From Newsgroup: comp.ai.philosophy

    On 10/1/2025 8:12 PM, Andr|- G. Isaak wrote:
    On 2025-10-01 16:57, olcott wrote:
    On 10/1/2025 3:54 PM, Kaz Kylheku wrote:
    On 2025-10-01, olcott <polcott333@gmail.com> wrote:
    On 10/1/2025 2:58 PM, Kaz Kylheku wrote:
    On 2025-10-01, olcott <polcott333@gmail.com> wrote:
    This has been my primary research focus since 1997.
    I will try to sum this up succinctly.

    Expressions of language pertaining to physical reality
    can never be logically certain because they depend on
    underlying assumptions that are not logically certain.

    Right off the bat you show yourself to be out of your depth, having
    forgotten first or second year undergrad topics in logic.

    You can make statements which are unsassailably certain from a logical >>>>> perspective, yet which combine together propositions that are
    blatantly
    false in the world.


    In other words you think that cats might not be animals.

    I'm saying that it's a metter of epistemology, not logic.


    If you googled [Logical certainty] you would find that
    this is a philosophical term not any aspect of math or logic.

    Google seems to disagree with you here, treating it as a term of logic.

    I should have said impossibly false instead of logically
    certain. Yes it is actually the field of epistemology
    that anchors correct reasoning. What it commonly understood
    to be logic within the academic fields lacks anywhere
    nearly sufficient expressiveness.

    Except 'impossibly false' isn't an expression of English that means what
    you think it means. In English, 'impossibly' normally functions as an intensifier, e.g. "He is impossibly strong" meaning "he is stronger than
    I thought possible". So presumable "impossibly false" would mean
    something like the (admittedly nonsensical) "more false than I though possible".

    It's a poor choice of terms for that reason.


    It is not logical/illogical for cats to be or not to be animals.


    It is logically incorrect to say that cats are not animals
    when you use the term logic broadly enough to include
    epistemology.

    But the term logic *doesn't* include epistemology. Logic and
    epistemology are very distinct fields of inquiry.

    Andr|-


    The science of correct reasoning certainly requires
    epistemology, otherwise most human knowledge cannot
    be reasoned about.
    --
    Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
    hits a target no one else can see." Arthur Schopenhauer
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From Kaz Kylheku@643-408-1753@kylheku.com to sci.logic,comp.theory,comp.ai.philosophy on Thu Oct 2 16:43:07 2025
    From Newsgroup: comp.ai.philosophy

    On 2025-10-02, olcott <polcott333@gmail.com> wrote:
    The science of correct reasoning certainly requires
    epistemology, otherwise most human knowledge cannot
    be reasoned about.

    The science of anything requires a researcher who is humble, and who
    makes the utmost effort to look for reasons why their hypotheses might
    be incorrect, rather than only looking for affirming evidence, rejecting
    all else.
    --
    TXR Programming Language: http://nongnu.org/txr
    Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal
    Mastodon: @Kazinator@mstdn.ca
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From olcott@polcott333@gmail.com to sci.logic,comp.theory,comp.ai.philosophy on Thu Oct 2 11:47:51 2025
    From Newsgroup: comp.ai.philosophy

    On 10/2/2025 11:43 AM, Kaz Kylheku wrote:
    On 2025-10-02, olcott <polcott333@gmail.com> wrote:
    The science of correct reasoning certainly requires
    epistemology, otherwise most human knowledge cannot
    be reasoned about.

    The science of anything requires a researcher who is humble, and who
    makes the utmost effort to look for reasons why their hypotheses might
    be incorrect, rather than only looking for affirming evidence, rejecting
    all else.


    I have spent 22 years on this. I have filled in
    all the gaps. Mere Rhetoric is woefully inappropriate
    for any honest dialogue on the foundation of the
    notion of truth itself.

    There are coherent ideas, incoherent ideas and
    ignorance of which is which. Personality
    characteristics are never directly relevant.
    --
    Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
    hits a target no one else can see." Arthur Schopenhauer
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From Kaz Kylheku@643-408-1753@kylheku.com to sci.logic,comp.theory,comp.ai.philosophy on Thu Oct 2 17:48:35 2025
    From Newsgroup: comp.ai.philosophy

    On 2025-10-02, olcott <polcott333@gmail.com> wrote:
    On 10/2/2025 11:43 AM, Kaz Kylheku wrote:
    On 2025-10-02, olcott <polcott333@gmail.com> wrote:
    The science of correct reasoning certainly requires
    epistemology, otherwise most human knowledge cannot
    be reasoned about.

    The science of anything requires a researcher who is humble, and who
    makes the utmost effort to look for reasons why their hypotheses might
    be incorrect, rather than only looking for affirming evidence, rejecting
    all else.


    I have spent 22 years on this.

    22 years of not humbly looking for ways you might be wrong.

    If you were a proper researcher you would have been done in 22
    days, if not just that many hours.

    I have filled in
    all the gaps.

    Name one.

    ignorance of which is which. Personality
    characteristics are never directly relevant.

    There is your problem. The scientific method is not simply a
    personal characteristic.
    --
    TXR Programming Language: http://nongnu.org/txr
    Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal
    Mastodon: @Kazinator@mstdn.ca
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From olcott@polcott333@gmail.com to sci.logic,comp.theory,comp.ai.philosophy on Thu Oct 2 13:10:27 2025
    From Newsgroup: comp.ai.philosophy

    On 10/2/2025 12:48 PM, Kaz Kylheku wrote:
    On 2025-10-02, olcott <polcott333@gmail.com> wrote:
    On 10/2/2025 11:43 AM, Kaz Kylheku wrote:
    On 2025-10-02, olcott <polcott333@gmail.com> wrote:
    The science of correct reasoning certainly requires
    epistemology, otherwise most human knowledge cannot
    be reasoned about.

    The science of anything requires a researcher who is humble, and who
    makes the utmost effort to look for reasons why their hypotheses might
    be incorrect, rather than only looking for affirming evidence, rejecting >>> all else.


    I have spent 22 years on this.

    22 years of not humbly looking for ways you might be wrong.


    22 years of using categorically exhaustive reasoning
    (that eliminate all gaps in reasoning) to reverse-engineer
    the foundation of all analytical truth.

    If you were a proper researcher you would have been done in 22
    days, if not just that many hours.

    I have filled in
    all the gaps.

    Name one.

    ignorance of which is which. Personality
    characteristics are never directly relevant.

    There is your problem. The scientific method is not simply a
    personal characteristic.


    This says it all regarding the Liar Paradox,
    G||del 1831 Incompleteness and Tarski Undefinability. https://claude.ai/share/45d3ca9c-fa9a-4a02-9e22-c6acd0057275

    Of course you will reject it out-of-hand without
    even glancing at it, none the less it does form a
    single coherent view that cannot be shown to have
    any incoherence.

    When you always think inside-the-box then like on
    Stack Exchange all new ideas are rejected entirely
    on the basis that they do not exactly correspond
    to existing ideas.
    --
    Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
    hits a target no one else can see." Arthur Schopenhauer
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From Richard Heathfield@rjh@cpax.org.uk to sci.logic,comp.theory,comp.ai.philosophy on Thu Oct 2 19:29:44 2025
    From Newsgroup: comp.ai.philosophy

    On 02/10/2025 19:10, olcott wrote:
    On 10/2/2025 12:48 PM, Kaz Kylheku wrote:
    On 2025-10-02, olcott <polcott333@gmail.com> wrote:
    On 10/2/2025 11:43 AM, Kaz Kylheku wrote:
    On 2025-10-02, olcott <polcott333@gmail.com> wrote:
    The science of correct reasoning certainly requires
    epistemology, otherwise most human knowledge cannot
    be reasoned about.

    The science of anything requires a researcher who is humble,
    and who
    makes the utmost effort to look for reasons why their
    hypotheses might
    be incorrect, rather than only looking for affirming
    evidence, rejecting
    all else.


    I have spent 22 years on this.

    22 years of not humbly looking for ways you might be wrong.


    22 years of using categorically exhaustive reasoning
    (that eliminate all gaps in reasoning) to reverse-engineer
    the foundation of all analytical truth.

    Which amounts to 22 years of not humbly looking for ways you
    might be wrong. So you agree with Kaz. Good!

    <snip>

    When you always think inside-the-box then like on
    Stack Exchange all new ideas are rejected entirely
    on the basis that they do not exactly correspond
    to existing ideas.

    WHAT new idea? All you've managed to communicate in your 22 years
    of assuming you don't make mistakes is that you don't understand
    the Halting Problem, you're a bit wobbly on C, you don't get
    isomorphism, and... oh! We must not overlook your prize
    announcement, must we? "I am an actual genius." P Olcott,
    comp.theory, 28 September 2025.

    You have yet to communicate *anything* that is both new and
    correct. You claim that it's *all* correct, but your work is
    riddled with errors, and dozens of these errors have been pointed
    out to you, but you have arrogantly ignored almost all of them,
    instead choosing to insult your critics, presumably in the hop
    that they'll learn that correcting you comes at a cost.

    AND YET they keep finding errors with practically everything you
    post.

    You don't have a new idea. You don't have spit.
    --
    Richard Heathfield
    Email: rjh at cpax dot org dot uk
    "Usenet is a strange place" - dmr 29 July 1999
    Sig line 4 vacant - apply within
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From Kaz Kylheku@643-408-1753@kylheku.com to sci.logic,comp.theory,comp.ai.philosophy on Thu Oct 2 18:40:01 2025
    From Newsgroup: comp.ai.philosophy

    On 2025-10-02, olcott <polcott333@gmail.com> wrote:
    On 10/2/2025 12:48 PM, Kaz Kylheku wrote:
    On 2025-10-02, olcott <polcott333@gmail.com> wrote:
    I have spent 22 years on this.

    22 years of not humbly looking for ways you might be wrong.


    22 years of using categorically exhaustive reasoning
    (that eliminate all gaps in reasoning) to reverse-engineer
    the foundation of all analytical truth.

    If it takes you 22 years to think you have eliminated gaps in your
    reasoning about something very simple that undergraduates "get" in one
    or two lectures, don't you think maybe that's a red flag?!

    There is your problem. The scientific method is not simply a
    personal characteristic.


    This says it all regarding the Liar Paradox,

    The Liar Paradox points to its own syntax and claims that it is a
    falsehood. It refers to nothing external; and no point of view can
    pin down its truth value.

    The Halting question refers to something outside of itself, for which
    there is always a right answer.

    It would really behoove you to quit harping about the Liar Paradox
    already.

    It's really just something for entertaining children, not befitting
    of eudite dialog among intellectuals.
    --
    TXR Programming Language: http://nongnu.org/txr
    Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal
    Mastodon: @Kazinator@mstdn.ca
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From olcott@polcott333@gmail.com to sci.logic,comp.theory,comp.ai.philosophy on Thu Oct 2 13:44:12 2025
    From Newsgroup: comp.ai.philosophy

    On 10/2/2025 1:40 PM, Kaz Kylheku wrote:
    On 2025-10-02, olcott <polcott333@gmail.com> wrote:
    On 10/2/2025 12:48 PM, Kaz Kylheku wrote:
    On 2025-10-02, olcott <polcott333@gmail.com> wrote:
    I have spent 22 years on this.

    22 years of not humbly looking for ways you might be wrong.


    22 years of using categorically exhaustive reasoning
    (that eliminate all gaps in reasoning) to reverse-engineer
    the foundation of all analytical truth.

    If it takes you 22 years to think you have eliminated gaps in your
    reasoning about something very simple that undergraduates "get" in one
    or two lectures, don't you think maybe that's a red flag?!

    There is your problem. The scientific method is not simply a
    personal characteristic.


    This says it all regarding the Liar Paradox,

    The Liar Paradox points to its own syntax and claims that it is a
    falsehood. It refers to nothing external; and no point of view can
    pin down its truth value.

    The Halting question refers to something outside of itself, for which
    there is always a right answer.

    It would really behoove you to quit harping about the Liar Paradox
    already.

    It's really just something for entertaining children, not befitting
    of eudite dialog among intellectuals.


    I proved my grand opus and Claude AI points
    out the details of how my points fit together
    coherently to upend conventional wisdom. https://claude.ai/share/45d3ca9c-fa9a-4a02-9e22-c6acd0057275
    --
    Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
    hits a target no one else can see." Arthur Schopenhauer
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From olcott@polcott333@gmail.com to sci.logic,comp.theory,comp.ai.philosophy on Thu Oct 2 14:15:34 2025
    From Newsgroup: comp.ai.philosophy

    On 10/2/2025 1:29 PM, Richard Heathfield wrote:
    On 02/10/2025 19:10, olcott wrote:
    On 10/2/2025 12:48 PM, Kaz Kylheku wrote:
    On 2025-10-02, olcott <polcott333@gmail.com> wrote:
    On 10/2/2025 11:43 AM, Kaz Kylheku wrote:
    On 2025-10-02, olcott <polcott333@gmail.com> wrote:
    The science of correct reasoning certainly requires
    epistemology, otherwise most human knowledge cannot
    be reasoned about.

    The science of anything requires a researcher who is humble, and who >>>>> makes the utmost effort to look for reasons why their hypotheses might >>>>> be incorrect, rather than only looking for affirming evidence,
    rejecting
    all else.


    I have spent 22 years on this.

    22 years of not humbly looking for ways you might be wrong.


    22 years of using categorically exhaustive reasoning
    (that eliminate all gaps in reasoning) to reverse-engineer
    the foundation of all analytical truth.

    Which amounts to 22 years of not humbly looking for ways you might be
    wrong. So you agree with Kaz. Good!

    <snip>

    When you always think inside-the-box then like on
    Stack Exchange all new ideas are rejected entirely
    on the basis that they do not exactly correspond
    to existing ideas.

    WHAT new idea?
    *My whole grand opus is proven right here by is coherence* https://claude.ai/share/45d3ca9c-fa9a-4a02-9e22-c6acd0057275
    --
    Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
    hits a target no one else can see." Arthur Schopenhauer
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From Richard Heathfield@rjh@cpax.org.uk to sci.logic,comp.theory,comp.ai.philosophy on Thu Oct 2 20:42:11 2025
    From Newsgroup: comp.ai.philosophy

    On 02/10/2025 20:15, olcott wrote:
    On 10/2/2025 1:29 PM, Richard Heathfield wrote:

    <snip>


    WHAT new idea?
    *My whole grand opus is proven right here by is coherence* https://claude.ai/share/45d3ca9c-fa9a-4a02-9e22-c6acd0057275

    An LLM replies:
    --------------------------------------------------------
    The first logic error is the sentence:
    "So the simple prolog finally resolved the liar paradox as not a
    bearer of truth."

    Why it's an error: the claim contradicts the authorrCOs earlier
    correct concession that the Prolog example does not prove the
    philosophical point. Rejecting a syntactic construction via an
    occurs-check is a computational diagnostics move, not a
    philosophical proof that the natural-language Liar lacks
    truth-value. The sentence conflates a model-level implementation
    decision with a settled metaphysical conclusion. --------------------------------------------------------

    Don't bother replying here if you don't want to. You can take it
    up directly with an LLM.
    --
    Richard Heathfield
    Email: rjh at cpax dot org dot uk
    "Usenet is a strange place" - dmr 29 July 1999
    Sig line 4 vacant - apply within
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From olcott@polcott333@gmail.com to sci.logic,comp.theory,comp.ai.philosophy on Thu Oct 2 14:49:07 2025
    From Newsgroup: comp.ai.philosophy

    On 10/2/2025 2:42 PM, Richard Heathfield wrote:
    On 02/10/2025 20:15, olcott wrote:
    On 10/2/2025 1:29 PM, Richard Heathfield wrote:

    <snip>


    WHAT new idea?
    *My whole grand opus is proven right here by is coherence*
    https://claude.ai/share/45d3ca9c-fa9a-4a02-9e22-c6acd0057275

    An LLM replies:

    If you meant that you spoke with the same LLM
    at the same point in the conversation you would
    not say it that way.

    --------------------------------------------------------
    The first logic error is the sentence:
    "So the simple prolog finally resolved the liar paradox as not a bearer
    of truth."

    Why it's an error: the claim contradicts the authorrCOs earlier correct concession that the Prolog example does not prove the philosophical
    point. Rejecting a syntactic construction via an occurs-check is a computational diagnostics move, not a philosophical proof that the natural-language Liar lacks truth-value. The sentence conflates a model- level implementation decision with a settled metaphysical conclusion. --------------------------------------------------------

    Don't bother replying here if you don't want to. You can take it up
    directly with an LLM.


    *You are cheating in the same way*

    If you want to not cheat then talk to this
    LLM at this point in the conversation.

    https://claude.ai/share/45d3ca9c-fa9a-4a02-9e22-c6acd0057275
    --
    Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
    hits a target no one else can see." Arthur Schopenhauer
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From Richard Heathfield@rjh@cpax.org.uk to sci.logic,comp.theory,comp.ai.philosophy on Thu Oct 2 21:05:56 2025
    From Newsgroup: comp.ai.philosophy

    On 02/10/2025 20:49, olcott wrote:
    On 10/2/2025 2:42 PM, Richard Heathfield wrote:
    On 02/10/2025 20:15, olcott wrote:
    On 10/2/2025 1:29 PM, Richard Heathfield wrote:

    <snip>


    WHAT new idea?
    *My whole grand opus is proven right here by is coherence*
    https://claude.ai/share/45d3ca9c-fa9a-4a02-9e22-c6acd0057275

    An LLM replies:

    If you meant that you spoke with the same LLM
    at the same point in the conversation

    Not what I said, and not what I meant.

    --------------------------------------------------------
    The first logic error is the sentence:
    "So the simple prolog finally resolved the liar paradox as not
    a bearer of truth."

    Why it's an error: the claim contradicts the authorrCOs earlier
    correct concession that the Prolog example does not prove the
    philosophical point. Rejecting a syntactic construction via an
    occurs-check is a computational diagnostics move, not a
    philosophical proof that the natural-language Liar lacks truth-
    value. The sentence conflates a model- level implementation
    decision with a settled metaphysical conclusion.
    --------------------------------------------------------

    Don't bother replying here if you don't want to. You can take
    it up directly with an LLM.


    *You are cheating in the same way*

    Don't tell me. Tell your new friend.
    --
    Richard Heathfield
    Email: rjh at cpax dot org dot uk
    "Usenet is a strange place" - dmr 29 July 1999
    Sig line 4 vacant - apply within
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From olcott@polcott333@gmail.com to sci.logic,comp.theory,comp.ai.philosophy on Thu Oct 2 15:11:24 2025
    From Newsgroup: comp.ai.philosophy

    On 10/2/2025 3:05 PM, Richard Heathfield wrote:
    On 02/10/2025 20:49, olcott wrote:
    On 10/2/2025 2:42 PM, Richard Heathfield wrote:
    On 02/10/2025 20:15, olcott wrote:
    On 10/2/2025 1:29 PM, Richard Heathfield wrote:

    <snip>


    WHAT new idea?
    *My whole grand opus is proven right here by is coherence*
    https://claude.ai/share/45d3ca9c-fa9a-4a02-9e22-c6acd0057275

    An LLM replies:

    If you meant that you spoke with the same LLM
    at the same point in the conversation

    Not what I said, and not what I meant.

    --------------------------------------------------------
    The first logic error is the sentence:
    "So the simple prolog finally resolved the liar paradox as not a
    bearer of truth."

    Why it's an error: the claim contradicts the authorrCOs earlier correct >>> concession that the Prolog example does not prove the philosophical
    point. Rejecting a syntactic construction via an occurs-check is a
    computational diagnostics move, not a philosophical proof that the
    natural-language Liar lacks truth- value. The sentence conflates a
    model- level implementation decision with a settled metaphysical
    conclusion.
    --------------------------------------------------------

    Don't bother replying here if you don't want to. You can take it up
    directly with an LLM.


    *You are cheating in the same way*

    Don't tell me. Tell your new friend.


    Don't post rebuttals that you know are incorrect
    and I will stop calling you a cheater.
    --
    Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
    hits a target no one else can see." Arthur Schopenhauer
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From Richard Heathfield@rjh@cpax.org.uk to sci.logic,comp.theory,comp.ai.philosophy on Thu Oct 2 21:34:13 2025
    From Newsgroup: comp.ai.philosophy

    On 02/10/2025 21:11, olcott wrote:
    On 10/2/2025 3:05 PM, Richard Heathfield wrote:
    On 02/10/2025 20:49, olcott wrote:

    <snip>

    *You are cheating in the same way*

    Don't tell me. Tell your new friend.


    Don't post rebuttals that you know are incorrect

    I posted an LLM's reaction to your transcript. I don't know
    whether it's correct or not. I just thought you'd be interested
    to see that LLMs are divided on the matter.

    and I will stop calling you a cheater.

    If anyone else cared what you think about me, maybe I would too.
    But they don't, and neither do I.

    I'll continue to post the truth as I see it (warts and all -
    nobody's perfect). If you don't recognise truthfulness when you
    see it, that's your problem, not mine.
    --
    Richard Heathfield
    Email: rjh at cpax dot org dot uk
    "Usenet is a strange place" - dmr 29 July 1999
    Sig line 4 vacant - apply within
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From olcott@polcott333@gmail.com to sci.logic,comp.theory,comp.ai.philosophy on Thu Oct 2 16:04:01 2025
    From Newsgroup: comp.ai.philosophy

    On 10/2/2025 3:34 PM, Richard Heathfield wrote:
    On 02/10/2025 21:11, olcott wrote:
    On 10/2/2025 3:05 PM, Richard Heathfield wrote:
    On 02/10/2025 20:49, olcott wrote:

    <snip>

    *You are cheating in the same way*

    Don't tell me. Tell your new friend.


    Don't post rebuttals that you know are incorrect

    I posted an LLM's reaction to your transcript.

    Not all LLM's have the same basis or degree of understanding.
    ChatGPT 5.0 has switched to make-a-guess mode as its default.
    --
    Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
    hits a target no one else can see." Arthur Schopenhauer
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From Richard Heathfield@rjh@cpax.org.uk to sci.logic,comp.theory,comp.ai.philosophy on Thu Oct 2 22:31:38 2025
    From Newsgroup: comp.ai.philosophy

    On 02/10/2025 22:04, olcott wrote:
    On 10/2/2025 3:34 PM, Richard Heathfield wrote:
    On 02/10/2025 21:11, olcott wrote:

    <snip>

    Don't post rebuttals that you know are incorrect

    I posted an LLM's reaction to your transcript.

    Not all LLM's have the same basis or degree of understanding.

    I'm not advocating LLMs. You are.
    --
    Richard Heathfield
    Email: rjh at cpax dot org dot uk
    "Usenet is a strange place" - dmr 29 July 1999
    Sig line 4 vacant - apply within
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From olcott@polcott333@gmail.com to sci.logic,comp.theory,comp.ai.philosophy on Thu Oct 2 16:59:33 2025
    From Newsgroup: comp.ai.philosophy

    On 10/2/2025 4:31 PM, Richard Heathfield wrote:
    On 02/10/2025 22:04, olcott wrote:
    On 10/2/2025 3:34 PM, Richard Heathfield wrote:
    On 02/10/2025 21:11, olcott wrote:

    <snip>

    Don't post rebuttals that you know are incorrect

    I posted an LLM's reaction to your transcript.

    Not all LLM's have the same basis or degree of understanding.

    I'm not advocating LLMs. You are.


    Claude AI did really seem to validate my grand opus. https://claude.ai/share/45d3ca9c-fa9a-4a02-9e22-c6acd0057275
    If you follow all of the reasoning you will see it is
    completely coherent.
    --
    Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
    hits a target no one else can see." Arthur Schopenhauer
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From Richard Heathfield@rjh@cpax.org.uk to sci.logic,comp.theory,comp.ai.philosophy on Thu Oct 2 23:09:05 2025
    From Newsgroup: comp.ai.philosophy

    On 02/10/2025 22:59, olcott wrote:

    <snip>

    Claude AI did really seem to validate my grand opus.

    I'm guessing it hasn't occurred to you to ask Claude to tear your
    thesis apart.
    --
    Richard Heathfield
    Email: rjh at cpax dot org dot uk
    "Usenet is a strange place" - dmr 29 July 1999
    Sig line 4 vacant - apply within
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From olcott@polcott333@gmail.com to sci.logic,comp.theory,comp.ai.philosophy on Thu Oct 2 17:25:28 2025
    From Newsgroup: comp.ai.philosophy

    On 10/2/2025 5:09 PM, Richard Heathfield wrote:
    On 02/10/2025 22:59, olcott wrote:

    <snip>

    Claude AI did really seem to validate my grand opus.

    I'm guessing it hasn't occurred to you to ask Claude to tear your thesis apart.


    I did make sure to do that as can be easily seen. https://claude.ai/share/45d3ca9c-fa9a-4a02-9e22-c6acd0057275
    --
    Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
    hits a target no one else can see." Arthur Schopenhauer
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From =?UTF-8?B?QW5kcsOpIEcuIElzYWFr?=@agisaak@gm.invalid to sci.logic,comp.theory,comp.ai.philosophy on Thu Oct 2 17:50:58 2025
    From Newsgroup: comp.ai.philosophy

    On 2025-10-01 20:05, olcott wrote:
    On 10/1/2025 8:12 PM, Andr|- G. Isaak wrote:
    On 2025-10-01 16:57, olcott wrote:
    On 10/1/2025 3:54 PM, Kaz Kylheku wrote:
    On 2025-10-01, olcott <polcott333@gmail.com> wrote:
    On 10/1/2025 2:58 PM, Kaz Kylheku wrote:
    On 2025-10-01, olcott <polcott333@gmail.com> wrote:
    This has been my primary research focus since 1997.
    I will try to sum this up succinctly.

    Expressions of language pertaining to physical reality
    can never be logically certain because they depend on
    underlying assumptions that are not logically certain.

    Right off the bat you show yourself to be out of your depth, having >>>>>> forgotten first or second year undergrad topics in logic.

    You can make statements which are unsassailably certain from a
    logical
    perspective, yet which combine together propositions that are
    blatantly
    false in the world.


    In other words you think that cats might not be animals.

    I'm saying that it's a metter of epistemology, not logic.


    If you googled [Logical certainty] you would find that
    this is a philosophical term not any aspect of math or logic.

    Google seems to disagree with you here, treating it as a term of logic.


    Logical certainty refers to a state where a conclusion is undeniably
    true, as it necessarily follows from true premises through valid
    reasoning, typically in areas like mathematics and formal logic. Such truths, also called absolute truths, are analytic a priori propositionsrComeaning they can be known independent of sense experience
    and remain permanent and certain. An example is the logical certainty
    that "all bachelors are unmarried" because the concept of being an
    unmarried man is inherent in the definition of a bachelor.

    That doesn't contradict what I said. And now you seem to be disagreeing
    with yourself. First you claim its not part of math or logic, now you
    claim it is. (or are you simply quoting something in which case you need
    to provide your source.

    I should have said impossibly false instead of logically
    certain. Yes it is actually the field of epistemology
    that anchors correct reasoning. What it commonly understood
    to be logic within the academic fields lacks anywhere
    nearly sufficient expressiveness.

    Except 'impossibly false' isn't an expression of English that means
    what you think it means. In English, 'impossibly' normally functions
    as an intensifier, e.g. "He is impossibly strong" meaning "he is
    stronger than I thought possible". So presumable "impossibly false"
    would mean something like the (admittedly nonsensical) "more false
    than I though possible".

    It's a poor choice of terms for that reason.


    [impossibly] + [incorrect] https://en.wikipedia.org/wiki/Principle_of_compositionality
    The base meanings of the terms combined with something you
    never heard of Frege's Principle of compositionality.

    Word meaning is governed as much by convention as it is by
    compositionality (and Frege was quite clear on this point).

    I'm trying to do you a favour by pointing out that one of your phrases
    is awkward and prone to misconception. Why not simply use a clearer term
    such as 'necessarily true'.


    It is not logical/illogical for cats to be or not to be animals.


    It is logically incorrect to say that cats are not animals
    when you use the term logic broadly enough to include
    epistemology.

    But the term logic *doesn't* include epistemology. Logic and
    epistemology are very distinct fields of inquiry.

    Andr|-


    Unless you use the base meaning of words AS I ALWAYS DO.
    Logic is most essentially the science of correct reasoning.

    And how do you determine the "base meaning" of a word other than by an
    appeal to convention?

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

    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From olcott@polcott333@gmail.com to sci.logic,comp.theory,comp.ai.philosophy on Thu Oct 2 19:10:28 2025
    From Newsgroup: comp.ai.philosophy

    On 10/2/2025 6:50 PM, Andr|- G. Isaak wrote:
    On 2025-10-01 20:05, olcott wrote:
    On 10/1/2025 8:12 PM, Andr|- G. Isaak wrote:
    On 2025-10-01 16:57, olcott wrote:


    Logical certainty refers to a state where a conclusion is undeniably
    true, as it necessarily follows from true premises through valid
    reasoning, typically in areas like mathematics and formal logic. Such
    truths, also called absolute truths, are analytic a priori
    propositionsrComeaning they can be known independent of sense experience
    and remain permanent and certain. An example is the logical certainty
    that "all bachelors are unmarried" because the concept of being an
    unmarried man is inherent in the definition of a bachelor.

    That doesn't contradict what I said. And now you seem to be disagreeing
    with yourself. First you claim its not part of math or logic, now you
    claim it is. (or are you simply quoting something in which case you need
    to provide your source.


    Logical certainty refers to a state where a conclusion
    is undeniably true. THAT IS ALL THAT I MEANT.

    I am trying to express subtle nuances of concepts
    that when fully understood cause a paradigm shift
    in thinking.

    *For example this upends the halting problem*
    All Turing machine deciders only compute the
    mapping from their finite string inputs to an
    accept state or reject state on the basis that
    this input finite string specifies a semantic
    or syntactic property.

    No one besides LLM systems ever bothered to pay
    enough attention to see that it is proven true
    entirely on the basis of the meaning of its words
    and that it does upend the halting problem.


    Unless you use the base meaning of words AS I ALWAYS DO.
    Logic is most essentially the science of correct reasoning.

    And how do you determine the "base meaning" of a word other than by an appeal to convention?

    Andr|-


    Frequency of use in ordinary conversation.
    Thus "logic" does not refer to anything
    besides the generic notion of the science
    of correct reasoning.
    --
    Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
    hits a target no one else can see." Arthur Schopenhauer
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From =?UTF-8?B?QW5kcsOpIEcuIElzYWFr?=@agisaak@gm.invalid to sci.logic,comp.theory,comp.ai.philosophy on Thu Oct 2 18:18:40 2025
    From Newsgroup: comp.ai.philosophy

    On 2025-10-02 18:10, olcott wrote:
    On 10/2/2025 6:50 PM, Andr|- G. Isaak wrote:

    And how do you determine the "base meaning" of a word other than by an
    appeal to convention?

    Andr|-


    Frequency of use in ordinary conversation.
    Thus "logic" does not refer to anything
    besides the generic notion of the science
    of correct reasoning.

    I've never heard anyone other than you claim that it refers to 'the
    science of correct reasoning'.

    I suspect if you tracked ordinary conversation you'd find it just means something along the lines of 'things Mr. Spock would say' rather than
    anything specific. But in a conversation on math, or formal systems, or computational theory, the term of the art should always be assumed
    (assuming you want to be understood).

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

    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From olcott@polcott333@gmail.com to sci.logic,comp.theory,comp.ai.philosophy on Thu Oct 2 19:27:42 2025
    From Newsgroup: comp.ai.philosophy

    On 10/2/2025 7:18 PM, Andr|- G. Isaak wrote:
    On 2025-10-02 18:10, olcott wrote:
    On 10/2/2025 6:50 PM, Andr|- G. Isaak wrote:

    And how do you determine the "base meaning" of a word other than by
    an appeal to convention?

    Andr|-


    Frequency of use in ordinary conversation.
    Thus "logic" does not refer to anything
    besides the generic notion of the science
    of correct reasoning.

    I've never heard anyone other than you claim that it refers to 'the
    science of correct reasoning'.


    That used to be the standard first sense meaning
    if every dictionary.

    the science that investigates the principles
    governing correct or reliable inference. https://www.dictionary.com/browse/logic

    logic, the study of correct reasoning,
    especially as it involves the drawing of inferences. https://www.britannica.com/topic/logic

    Logic is the study of correct reasoning.
    https://en.wikipedia.org/wiki/Logic

    I suspect if you tracked ordinary conversation you'd find it just means something along the lines of 'things Mr. Spock would say' rather than anything specific. But in a conversation on math, or formal systems, or computational theory, the term of the art should always be assumed
    (assuming you want to be understood).

    Andr|-

    --
    Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
    hits a target no one else can see." Arthur Schopenhauer
    --- Synchronet 3.21a-Linux NewsLink 1.2