Search found 4778 matches

by Skepdick
Wed Aug 14, 2019 7:28 pm
Forum: Logic and Philosophy of Mathematics
Topic: Conceptual Truth can be understood as math
Replies: 334
Views: 11129

Re: Truth can be understood as math

You have not shown this with a concrete example of minimal complexity. I gave you a paper and an implementation in OCaml. Here is another implementation in Coq: https://github.com/UniMath/UniMath/blob/master/UniMath/Paradoxes/GirardsParadox.v What more do you want? Just as we ask, “‘Provable’ in wh...
by Skepdick
Wed Aug 14, 2019 7:25 pm
Forum: Philosophy of Science
Topic: Effect of human activity on climate change is insignificant
Replies: 207
Views: 9999

Re: Effect of human activity on climate change is insignificant

Belinda wrote: Wed Aug 14, 2019 6:56 pm How is it a man with your experience, education, and resourcefulness is a climate change denier?
Survivorship bias. You only even heard the stories of those who got lucky.
by Skepdick
Wed Aug 14, 2019 7:00 pm
Forum: Logic and Philosophy of Mathematics
Topic: Conceptual Truth can be understood as math
Replies: 334
Views: 11129

Re: Truth can be understood as math

https://en.wikipedia.org/wiki/Principle_of_explosion Logic that DOES explode incorrectly decides membership in the set of conceptual knowledge. Type theory explodes. There is a very good reason you are speaking to me in English right now (which is para-consistent), and not in a formal language. Bec...
by Skepdick
Wed Aug 14, 2019 6:55 pm
Forum: General Philosophical Discussion
Topic: Individualism vs. Collectivism
Replies: 539
Views: 24922

Re: Individualism vs. Collectivism

Yes, it is. True or not, you can't insult a person in order to dismiss an idea. It's irrational. Even a liar might, on this occasion, be telling the perfect truth. Except I am not dismissing any ideas. You are. You are dismissing the idea that your very own arguments have no true, reason or purpose...
by Skepdick
Wed Aug 14, 2019 6:49 pm
Forum: Philosophy of Science
Topic: There is no emergence
Replies: 316
Views: 13332

Re: There is no emergence

There's a fundamental question to be asked here: Can every phenomenon (small or large), every system (simple or complex) be explained or understood? One would be hard-pressed answering this with a 'yes' without getting accused of epistemic arrogance. Human intellect has limits and it rapidly runs ou...
by Skepdick
Wed Aug 14, 2019 6:29 pm
Forum: Logic and Philosophy of Mathematics
Topic: Conceptual Truth can be understood as math
Replies: 334
Views: 11129

Re: Truth can be understood as math

PeteOlcott wrote: Wed Aug 14, 2019 6:28 pm Which is really only choosing not to be a Liar.
Bullshit. It's choosing a logic that doesn't explode.

https://en.wikipedia.org/wiki/Paraconsi ... #Tradeoffs

Perfect is the enemy of good enough.
by Skepdick
Wed Aug 14, 2019 6:07 pm
Forum: Logic and Philosophy of Mathematics
Topic: Conceptual Truth can be understood as math
Replies: 334
Views: 11129

Re: Truth can be understood as math

I am not going to learn ruby to replay to one post. You don't have to. Ruby is Turing-complete. All Turing-complete languages are FUNCTIONALLY EQUIVALENT. Therefore there exists some_function() which can translate the Ruby logic into byte-code, or Assembly language, or Boolean logic, or Lambda calc...
by Skepdick
Wed Aug 14, 2019 5:58 pm
Forum: Logic and Philosophy of Mathematics
Topic: Conceptual Truth can be understood as math
Replies: 334
Views: 11129

Re: Truth can be understood as math

PeteOlcott wrote: Wed Aug 14, 2019 5:57 pm finite-string_01 [is_stipulated_to_be_of_type] finite-string_02
The Ruby program I have offered you meets this criterion.

It halts. Obviously it's finite.
by Skepdick
Wed Aug 14, 2019 5:56 pm
Forum: Logic and Philosophy of Mathematics
Topic: Conceptual Truth can be understood as math
Replies: 334
Views: 11129

Re: Truth can be understood as math

The simplest measure of logical incoherence is contradiction. Every self contradictory expression of language must be rejected as logically incoherent: "This sentence is not true" "This sentence is not provable". Must both be rejected. So the Ruby program I just gave you is incoherent? OK... Then h...
by Skepdick
Wed Aug 14, 2019 5:54 pm
Forum: Logic and Philosophy of Mathematics
Topic: Conceptual Truth can be understood as math
Replies: 334
Views: 11129

Re: Truth can be understood as math

You can form any logical incoherence that you want. the high level abstract notion of a formal system from which every other formal system inherits calls out all logical incoherence. Oh really! Can you define the abstract class/type for a "logical system" ? And I can instantiate that? Seems you are...
by Skepdick
Wed Aug 14, 2019 5:46 pm
Forum: Logic and Philosophy of Mathematics
Topic: Conceptual Truth can be understood as math
Replies: 334
Views: 11129

Re: Truth can be understood as math

Girard's paradox is the type-theoretic analogue of Russell's paradox in set theory. Maybe proving my point would require showing how to eliminate each paradox one at a time. Yes, it is. Girad's paradox affects Type Theory. And your forml system is called Minimal TYPE theory. Is it not? If you have ...
by Skepdick
Wed Aug 14, 2019 5:44 pm
Forum: General Philosophical Discussion
Topic: Platonism, Zen and the Munchauseen Trillema as Bridge for Eastern and Western Philosophy
Replies: 207
Views: 7889

Re: Platonism, Zen and the Munchauseen Trillema as Bridge for Eastern and Western Philosophy

And the human experience begins with emptymind/blank slate, thus is grounded in point space. Except or all the instincts and functionality that your nervous system takes care of. Still a single point. Precisely the problem. You use a point to represent the universe, and a point to represent an elec...
by Skepdick
Wed Aug 14, 2019 5:32 pm
Forum: General Philosophical Discussion
Topic: Platonism, Zen and the Munchauseen Trillema as Bridge for Eastern and Western Philosophy
Replies: 207
Views: 7889

Re: Platonism, Zen and the Munchauseen Trillema as Bridge for Eastern and Western Philosophy

Yes but numbers do not exist according to you. So what does a world without philosophy exist like? Trivial question. Define the function which determines whether any particular objects "exists", will you? The function takes ANY input and returns True or False. True if the object exists. False if th...
by Skepdick
Wed Aug 14, 2019 5:22 pm
Forum: General Philosophical Discussion
Topic: Individualism vs. Collectivism
Replies: 539
Views: 24922

Re: Individualism vs. Collectivism

Ad hominem . It's not ad hominem when it's true. You conceded that your arguments have no true, real purpose. The creator of the argument does not know the purpose of the argument. What is that if not confusion? I've got it now: you're just somebody who likes to argue, and thinks a "win" is when yo...
by Skepdick
Wed Aug 14, 2019 4:33 pm
Forum: General Philosophical Discussion
Topic: Individualism vs. Collectivism
Replies: 539
Views: 24922

Re: Individualism vs. Collectivism

Non-responsive. "Particular." If not anything "particular," then there's no more to say. You are a very confused person. If you asked me "Which eggs in the fridge are rotten?" and I told you "ALL of them" that's as particular as it gets. The same thing goes with "ALL of your arguments which have no...