Search found 4135 matches

by Skepdick
Wed Feb 26, 2020 7:35 am
Forum: Logic and Philosophy of Mathematics
Topic: Is this an improved definition of a truth bearer?
Replies: 68
Views: 4464

Re: Is this an improved definition of a truth bearer?

https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence In other words, the Curry–Howard correspondence is the observation that two families of seemingly unrelated formalisms—namely, the proof systems on one hand, and the models of computation on the other—are in fact the same kind of mat...
by Skepdick
Wed Feb 26, 2020 7:30 am
Forum: Logic and Philosophy of Mathematics
Topic: Is this an improved definition of a truth bearer?
Replies: 68
Views: 4464

Re: Is this an improved definition of a truth bearer?

Itself is only one single input, not many different inputs. It can decide many different variations of itself each one corresponding to the conventional counter-example that has been presumed to be undecidable. Pete, you know what instantiation is, yes? Lets say we have two instances of your decide...
by Skepdick
Tue Feb 25, 2020 10:29 pm
Forum: Logic and Philosophy of Mathematics
Topic: Is this an improved definition of a truth bearer?
Replies: 68
Views: 4464

Re: Is this an improved definition of a truth bearer?

PeteOlcott wrote:
Tue Feb 25, 2020 10:07 pm
I am making my refutation of the Halting Problem concrete by writing the halt decider
in X86 machine language and using a software X86 emulator as the UTM.
Cool. So if I apply your halt decider to itself, would it be able to tell me if your halt decider will halt for all possible inputs?
by Skepdick
Tue Feb 25, 2020 10:11 pm
Forum: General Philosophical Discussion
Topic: Philosophy risks censure.
Replies: 19
Views: 540

Re: Philosophy risks censure.

You are in antithesis of this site's concept, "philosophy", as understood by a convention you disagree with. No True Scotsman fallacy. I challenge you to then go to a site you think is "scientific" if you think your views are science and see if they agree with you. Bandwagon fallacy. Why are you at...
by Skepdick
Tue Feb 25, 2020 9:38 pm
Forum: Logic and Philosophy of Mathematics
Topic: Is this an improved definition of a truth bearer?
Replies: 68
Views: 4464

Re: Is this an improved definition of a truth bearer?

Understanding the architectural design makes the feasibility of a prototype self-evident. No, it doesn't. Building the prototype makes the feasibility of the prototype self-evident. What you are promising is a function with a type-signature of f: Any -> Boolean Either you are a brilliant, or you ar...
by Skepdick
Tue Feb 25, 2020 9:18 pm
Forum: Logic and Philosophy of Mathematics
Topic: Is this an improved definition of a truth bearer?
Replies: 68
Views: 4464

Re: Is this an improved definition of a truth bearer?

My architectural design of the redefinition of a formal system self-evidently does what it claims to anyone that can understand what I am saying. I don't want to "understand what you are saying". I want you to show me a working prototype. Practical, not theoretical solution. Determine the truth-val...
by Skepdick
Tue Feb 25, 2020 8:50 pm
Forum: Logic and Philosophy of Mathematics
Topic: Is this an improved definition of a truth bearer?
Replies: 68
Views: 4464

Re: Is this an improved definition of a truth bearer?

None-the-less only from the basis of how I defined a formal system can an automated process be specified to read written material to detect and report falsehoods. Such a system could flag all Fake News as lies. Pete. I have the urge to insult you at this point, but I'll refrain. This is a dead hone...
by Skepdick
Tue Feb 25, 2020 4:58 pm
Forum: Logic and Philosophy of Mathematics
Topic: Is this an improved definition of a truth bearer?
Replies: 68
Views: 4464

Re: Is this an improved definition of a truth bearer?

Paradoxes indicate that language was formed incorrectly. I fixed the mistake. OK. Keep your fix - I don't want it. If we understand your expression as C++ it would assign the RHS to the LHS. Here it is reformulated == to be Boolean comparison: bool X if ( ((!X)) == (!(X)) ) printf("They are equal\n...
by Skepdick
Tue Feb 25, 2020 4:56 pm
Forum: Logic and Philosophy of Mathematics
Topic: Is this an improved definition of a truth bearer?
Replies: 68
Views: 4464

Re: Is this an improved definition of a truth bearer?

If I screen out lies would this ruin human communication? Semantic paradoxes only exist in language because language was formed incorrectly. Pete, how many times must we go through this? Language wasn't formed, it evolved. Semantic paradoxes exist because I can CHOSE to view things differently to y...
by Skepdick
Tue Feb 25, 2020 2:22 pm
Forum: General Philosophical Discussion
Topic: The Nonsense Fallacy
Replies: 26
Views: 700

Re: The Nonsense Fallacy

It’s not so much a “who” who decided, but a general unfolding of the practice in the universities over hundreds of years. Ideas become generally cogent. If one named a who, Max Weber is very important in practical terms for spreading the current ideas of methodology from Germany where the current i...
by Skepdick
Tue Feb 25, 2020 2:10 pm
Forum: Philosophy of Mind
Topic: Oneness cannot be completely explained using words.
Replies: 82
Views: 3022

Re: Oneness cannot be completely explained using words.

You are of course just playing word games because as a disrupter that's what you do. Please do not project your behaviour onto me. I am merely pointing out what you are DOING. How is my observation "disruptive" exactly? You can only say what you say by throwing out all the context that has gone on ...
by Skepdick
Tue Feb 25, 2020 12:42 pm
Forum: Philosophy of Mind
Topic: Oneness cannot be completely explained using words.
Replies: 82
Views: 3022

Re: Oneness cannot be completely explained using words.

I don't understand this conclusion. Are you just playing semantical games? No. I am pointing out what happened. You put Oneness into the word "Oneness". Did you not? You put Redness into the word "Redness". Did you not? You did what you said cannot be done. TWICE! That's called a Performative contr...
by Skepdick
Tue Feb 25, 2020 12:27 pm
Forum: Ethical Theory
Topic: What could make morality objective?
Replies: 3934
Views: 143313

Re: What could make morality objective?

3 While individuals must always strive to follow the moral rules - to get closer to the ideal - they can adapt them flexibly to cope with specific moral dilemmas, such as the need to kill in extreme self-defence. There is no need to "adapt" those rules - they are already adapted. Perhaps you were i...
by Skepdick
Tue Feb 25, 2020 11:51 am
Forum: Ethical Theory
Topic: ALL Humans Ought To Breathe is a Moral Objective
Replies: 72
Views: 3286

Re: ALL Humans Ought To Breathe is a Moral Objective

You are the stupid one. How can one interpret without a definition in place? Strawman. How can one interpret when all definitions are infinitely ambiguous in the absence of an interpretative context? You are stupid in not knowing, all the philosophical theories by all notable philosophers are groun...
by Skepdick
Tue Feb 25, 2020 11:38 am
Forum: Ethical Theory
Topic: ALL Humans Ought To Breathe is a Moral Objective
Replies: 72
Views: 3286

Re: ALL Humans Ought To Breathe is a Moral Objective

It is not difficult to define 'what is suicide' upon further investigations. https://www.who.int/mental_health/prevention/suicide/suicideprevent/en/ There is a possibility of error of judgment, but the errors would not be significant in relation to the total. Dumb fucking Philosopher. Definitions d...