Search found 4133 matches

by Skepdick
Wed Feb 26, 2020 4:29 pm
Forum: Philosophy of Mind
Topic: Mysteries of consciousness revealed by simple self-evident facts
Replies: 15
Views: 2944

Re: Mysteries of consciousness revealed by simple self-evident facts

Zelebg wrote:
Wed Feb 26, 2020 3:57 pm
mine is ontological statement, yours is epistemological.
Ontology is epistemology.

You can't say anything ontological if you don't know about it.
by Skepdick
Wed Feb 26, 2020 4:24 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?

"This sentence is not true." is not a truth bearer because the resolution to either True or False derives a contradiction. That does not hold in all models. The truth table shows that this is self-contradictory. How did you manufacture this truth-table? You said that the sentence is not a Truth-bea...
by Skepdick
Wed Feb 26, 2020 4:03 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?

The utter and complete impossibility for anyone to resolve an expression of language to exactly one of True or False because of the structure of this expression of language indicates that this expression of language is not a truth bearer. It's not ANYONE who can't resolve the expression, Pete. It's...
by Skepdick
Wed Feb 26, 2020 3: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?

You did not pay enough attention to the words that I specified. Your example does not fit the words that I specified. It fits perfectly once you accept the fact that Turing Machines are language recognisers. Your inability to parse a sentence does not mean the sentence is false. It just means you a...
by Skepdick
Wed Feb 26, 2020 3:48 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?

http://www.liarparadox.org/Peter_Linz_HP%28Pages_318-319%29.pdf I use the Linz version linked above because is specifies key details about state transitions. I created a simplification of the Linz version using X86 machine code that analyses itself in an X86 emulator. And I don't care until it's in...
by Skepdick
Wed Feb 26, 2020 3:46 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?

There are some expressions of language that because of their structure cannot possibly be resolved to True or False. These are rejected as ill-formed truth bearers. So what? Just because you can't resolve any Russian sentences to True or False it doesn't mean the sentences are ill-formed. It only m...
by Skepdick
Wed Feb 26, 2020 2:08 pm
Forum: Philosophy of Mind
Topic: Mysteries of consciousness revealed by simple self-evident facts
Replies: 15
Views: 2944

Re: Mysteries of consciousness revealed by simple self-evident facts

We know by comparing before and after of external appearance and internal memory. That something is usually referred to as identity or personality. Personality changes. Identity is difficult to resolve metaphysically. In so far as you have an identity, it's your world line through spacetime. More s...
by Skepdick
Wed Feb 26, 2020 2:04 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.

"Yes, Oneness cannot be put into words in the same way that Redness cannot be put into words". And in response to that I said: You just succeeded putting into words that which (apparently) can't be put into words. What was it that you put in to words, if it wasn't Oneness and Redness? So why would ...
by Skepdick
Wed Feb 26, 2020 2:01 pm
Forum: Logic and Philosophy of Mathematics
Topic: √5 and Phi
Replies: 163
Views: 5396

Re: √5 and Phi

I don't mind deep - I can go as deep as needed, including to the simplex geometry of the universe Then go as deep as is needed to figure out why you keep projecting your mind's grammar for "the geometry of the universe". https://en.wikipedia.org/wiki/Mind_projection_fallacy That's why I said pick 3...
by Skepdick
Wed Feb 26, 2020 9:24 am
Forum: Philosophy of Mind
Topic: Mysteries of consciousness revealed by simple self-evident facts
Replies: 15
Views: 2944

Re: Mysteries of consciousness revealed by simple self-evident facts

When all your molecules change something stays the same 1. How do you know? 2. What is that "something" ? ( https://en.wikipedia.org/wiki/Sorites_paradox ) Fact No.01: Personality, identity, ego, self, subject of experience... is a virtual entity. Falsifiable by the fact that personality/identity/e...
by Skepdick
Wed Feb 26, 2020 8:51 am
Forum: Ethical Theory
Topic: What could make morality objective?
Replies: 3934
Views: 143265

Re: What could make morality objective?

Okay. As I've explained, the word 'absolute' is incorrect here; these can only be moral rules, and deleting the word 'absolute' doesn't change anything. The word 'absolute' changes everything! Murder is absolutely wrong. To insist that this is not absolutely the case, is to take up the burden of pr...
by Skepdick
Wed Feb 26, 2020 7:56 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?

If you carefully examine all of what I said you will see how a formal system can be defined such that provable does mean true and true means provable. Pete, pay attention. If provable means true, and your proof-algorithm returns Boolean:False, then you have literally proven false to be true. . That...
by Skepdick
Wed Feb 26, 2020 7:54 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?

I merely show that it is impossible to construct any H such that H(H, H) is undecidable. Pete, show me the implementation of the halts() function below. https://repl.it/repls/CreativeSecondhandPreprocessor def halts(x): // Fix this function return False def f(): if halts(f): while True: continue el...
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...