Groups | Search | Server Info | Login | Register

Groups > comp.theory > #109534

Re: Truth Bearer or Truth Maker

From Mild Shock <janburse@fastmail.fm>
Newsgroups sci.logic, comp.theory
Subject Re: Truth Bearer or Truth Maker
Date 2024-07-25 11:42 +0200
Message-ID <v7t6m2$b7d9$1@solani.org> (permalink)
References (1 earlier) <v7rpra$1sv5t$2@dont-email.me> <v7rsko$9vkk$1@solani.org> <v7rtu5$1tp9a$1@dont-email.me> <e197c26d636042212a7a60c04d8dff0803bb2503@i2pn2.org> <v7s6v0$1v7h9$1@dont-email.me>

Cross-posted to 2 groups.

Show all headers | View raw

Most of the fallacies arise, since originally
logic was only made for the every day finite.
Applying it to the infinite automatically gets

you into muddy waters. Take sentence such as

Goldbach's conjecture
every even natural number greater than 2 is
the sum of two prime numbers

It contains a forall quantifier. And its an
infinite forall quantifier. Its a not a finite
quantifier such as "all my kitchen utils",

its an infinite quantifier "every even natural
number". In the intented model of arithmetic
the above sentence has a truth value.

By classical logic we should even have, this
is a form of LEM, namely:

∀x G(x) v ∃x ~G(x)

Without knowning which one of the sides is
true, and without knowing whether we look at
the intented model of arithmetic or not.

Such a generalization is for example
rejected in intuitionistic logic, which tries
to regain some of the "finite" character of logic.

olcott schrieb:
> In other words there really is no such thing as true
> because "a fish" is neither true nor false in English.

Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

Re: Truth Bearer or Truth Maker Mild Shock <janburse@fastmail.fm> - 2024-07-24 23:44 +0200
  Re: Truth Bearer or Truth Maker Mild Shock <janburse@fastmail.fm> - 2024-07-24 23:52 +0200
  Re: Truth Bearer or Truth Maker olcott <polcott333@gmail.com> - 2024-07-24 17:07 -0500
    Re: Truth Bearer or Truth Maker olcott <polcott333@gmail.com> - 2024-07-24 17:09 -0500
    Re: Truth Bearer or Truth Maker Richard Damon <richard@damon-family.org> - 2024-07-24 19:56 -0400
      Re: Truth Bearer or Truth Maker olcott <polcott333@gmail.com> - 2024-07-24 19:41 -0500
        Re: Truth Bearer or Truth Maker Richard Damon <richard@damon-family.org> - 2024-07-24 21:05 -0400
          Re: Truth Bearer or Truth Maker olcott <polcott333@gmail.com> - 2024-07-25 09:10 -0500
            Re: Truth Bearer or Truth Maker Richard Damon <richard@damon-family.org> - 2024-07-25 19:35 -0400
        Re: Truth Bearer or Truth Maker Mild Shock <janburse@fastmail.fm> - 2024-07-25 11:42 +0200
          Re: Truth Bearer or Truth Maker Mild Shock <janburse@fastmail.fm> - 2024-07-25 11:47 +0200
          Re: Truth Bearer or Truth Maker olcott <polcott333@gmail.com> - 2024-07-25 09:16 -0500
            What is your truth maker? (Ws: Truth Bearer or Truth Maker) Mild Shock <janburse@fastmail.fm> - 2024-07-25 19:57 +0200
              Re: What is your truth maker? (Ws: Truth Bearer or Truth Maker) Mild Shock <janburse@fastmail.fm> - 2024-07-25 20:05 +0200
                Re: What is your truth maker? (Ws: Truth Bearer or Truth Maker) olcott <polcott333@gmail.com> - 2024-07-26 09:38 -0500
              Re: What is your truth maker? (Ws: Truth Bearer or Truth Maker) olcott <polcott333@gmail.com> - 2024-07-26 09:37 -0500

csiph-web