On Wednesday, February 19, 2020 at 6:20:14 PM UTC-6, Brent wrote:
>
>
>
> On 2/19/2020 12:15 PM, Philip Thrift wrote:
>
>
>
> Wittgenstein is at the core really of *linguistic pragmatism *
>
> https://en.wikipedia.org/wiki/Neopragmatism
>
> Languages are tools. There is no truth "out there".
>
>
> My view is that "true" means different things in different contexts.
> Tacked onto a declarative sentence, it's just emphasis. In science it's an
> the attribute of statements that can be confirmed empirically. In logic
> and mathematics it's just a marker that is assigned to axioms and
> guaranteed to be preserved by the rules of inference.
>
> Brent
>
>
> Philosophers are merely a type of *programming language theorists*.
>
> https://en.wikipedia.org/wiki/Programming_language_theory
>
> @philipthrift
>
>
>
Scientists are sloppy with the word *'confirmed' *("unlikely to change") as
applied to a theory. Nothing is *'confirmed'* in science.
*Einstein’s theory of general relativity tells us that gravity is due to
the curvature of space and time. But this theory is strictly speaking
wrong.*
http://backreaction.blogspot.com/2020/01/how-to-test-quantum-gravity.html
There are paraconsistent logic theorem provers. Noting is *'guaranteed'* in
mathematics or logic.
*Automated Reasoning for the Dialetheic Logic RM3*
https://aaai.org/ocs/index.php/FLAIRS/FLAIRS17/paper/view/15415
@philipthrift
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/everything-list/14b3545d-8a5e-4483-90ac-6e0786cd5ecf%40googlegroups.com.
