Search found 3849 matches

by Logik
Fri Apr 19, 2019 6:15 pm
Forum: Philosophy of Science
Topic: The Expanding Universe -- Why and How We Know It Is Expanding
Replies: 19
Views: 271

Re: The Expanding Universe -- Why and How We Know It Is Expanding

Well compared to Logik, even I'm an "expert" on computers and information (I formally studied computer sciences for years) and can tell you that he doesn't have a fucking clue what he's talking about. :lol: :lol: :lol: :lol: :lol: So you equate expertise with oratorship? The Green Lumber Fallacy: T...
by Logik
Fri Apr 19, 2019 6:11 pm
Forum: Logic and Philosophy of Mathematics
Topic: Transforming formal proof into sound deduction
Replies: 24
Views: 142

Re: Transforming formal proof into sound deduction

When we include my work on work on the halting problem, Tarski Undefinability and the Liar Paradox this has taken me 22 years and 12,000 hours. You keep saying that. And you still can't produce a system (actual programming languge) which can decide whether any linguistic expression is valid or inva...
by Logik
Fri Apr 19, 2019 6:08 pm
Forum: Logic and Philosophy of Mathematics
Topic: Transforming formal proof into sound deduction
Replies: 24
Views: 142

Re: Transforming formal proof into sound deduction

I am starting with simply refuting the incompleteness theorem to establish the analytic notion of truth as it applies to pure abstractions. It seems that within my stipulative specification of a formal system I have done that. Obviously. All language/symbolism is 'pure abstraction'. We understand t...
by Logik
Fri Apr 19, 2019 5:54 pm
Forum: General Philosophical Discussion
Topic: All Knowledge is Assumption, Assumption is Knowledge
Replies: 61
Views: 495

Re: All Knowledge is Assumption, Assumption is Knowledge

Because it's entirely possible that you may have deceived yourself in error. You may think you have attained knowledge when you actually haven't. So, what's the value of knowing how we know if knowing is possibly deceptive as you all claim. EB The value is quite literally being able to spot which o...
by Logik
Fri Apr 19, 2019 5:50 pm
Forum: Logic and Philosophy of Mathematics
Topic: Transforming formal proof into sound deduction
Replies: 24
Views: 142

Re: Transforming formal proof into sound deduction

There is a morphism between them, AKA coherence theory of truth. Sure. This is colloquially called metaphysics. For the correspondence theory of truth it would be a bijection. Yes. This is why I pointed you to the field of semiotics a while back. The signifier vs signified distinction is isomorphic...
by Logik
Fri Apr 19, 2019 5:43 pm
Forum: Logic and Philosophy of Mathematics
Topic: Transforming formal proof into sound deduction
Replies: 24
Views: 142

Re: Transforming formal proof into sound deduction

PeteOlcott wrote:
Fri Apr 19, 2019 5:40 pm
There is a morphism between them.
Sure. The morphism is self-expression.

I can trivially express a semantic truth as "This grobmunf is nice from far but far from nice".
You can't extract my semantics from that, but that doesn't mean it's not semantically valid and sound.
by Logik
Fri Apr 19, 2019 5:38 pm
Forum: Logic and Philosophy of Mathematics
Topic: Transforming formal proof into sound deduction
Replies: 24
Views: 142

Re: Transforming formal proof into sound deduction

Heh that is great. We are finally totally agreeing. In my other post I simplified this ever more. Stipulating this definition of Axiom: An expression of language defined to have the semantic value of Boolean True. OK, but you have ended up where I don't want to go. I don't care about linguistic tru...
by Logik
Fri Apr 19, 2019 5:30 pm
Forum: General Philosophical Discussion
Topic: All Knowledge is Assumption, Assumption is Knowledge
Replies: 61
Views: 495

Re: All Knowledge is Assumption, Assumption is Knowledge

By definition, knowledge and deception are different. The only question is whether knowledge exists at all, and what kind of knowledge. my impression is that you don't understand or can't appreciate the implication behind the question: how do we know that we know? Why would that question be relevan...
by Logik
Fri Apr 19, 2019 5:20 pm
Forum: Ethical Theory
Topic: How construct a sound Ethical Theory?
Replies: 186
Views: 2729

Re: How construct a sound Ethical Theory?

The fact that The Golden Rule (when correctly understood) is completely compatible with the fresh, new paradigm for Ethics, the Hartman/Katz approach But you don't understand The Golden Rule correctly. The Golden Rule is about reciprocity. If you show kindness - I will reciprocate it. If you show m...
by Logik
Fri Apr 19, 2019 5:00 pm
Forum: Philosophy of Science
Topic: Einstein on the train
Replies: 344
Views: 2977

Re: Einstein on the train

Challenge accepted. Absolutely ANY evidence would suffice. Then how about, "because I said so." BUT that is, obviously, NOT evidence. 'Evidence' usually indicates whether some thing is true or valid. I have expressed a VIEW and asked for feedback and comments regarding this view, which is; the Univ...
by Logik
Fri Apr 19, 2019 4:45 pm
Forum: Logic and Philosophy of Mathematics
Topic: Transforming formal proof into sound deduction
Replies: 24
Views: 142

Re: Transforming formal proof into sound deduction

If you want to assume that Truth pertains to rattlesnakes (or anything else) feel free yet not in the thread. The sound deductive inference model eliminates incompleteness and inconsistency from formal systems. That is not an assumption it is provable. OK, but incompleteness and inconsistency are r...
by Logik
Fri Apr 19, 2019 4:41 pm
Forum: Philosophy of Science
Topic: The Expanding Universe -- Why and How We Know It Is Expanding
Replies: 19
Views: 271

Re: The Expanding Universe -- Why and How We Know It Is Expanding

The code is good, but it is not perfect. It is not perfect because it is set up for failure, recognizable failure, and that is unavoidable, inasmuch as some conversations and topics of discussions have a definite, satisfactory, and final ending, which is exaclty what the code has been created to av...
by Logik
Fri Apr 19, 2019 4:37 pm
Forum: Logic and Philosophy of Mathematics
Topic: Transforming formal proof into sound deduction
Replies: 24
Views: 142

Re: Transforming formal proof into sound deduction

I am stipulating that the whole system is Boolean because that is how my point is made. I am also stipulating that formal proof corresponds to the sound deductive inference model because that is how my point is made. So you have axiomatically ASSUMED that Truth is boolean and that proofs are deduct...
by Logik
Fri Apr 19, 2019 4:31 pm
Forum: Logic and Philosophy of Mathematics
Topic: Transforming formal proof into sound deduction
Replies: 24
Views: 142

Re: Transforming formal proof into sound deduction

PeteOlcott wrote:
Fri Apr 19, 2019 4:29 pm
Because it seemed to make much more sense than assuming that they are rattlesnakes.
Were those your only options?

A. Boolean True/False.
B. Rattlesnakes

That sounds like a false dichotomy....

How about a many-valued logic ?
by Logik
Fri Apr 19, 2019 4:27 pm
Forum: Metaphysics
Topic: What's your answer to the most fundamental question concerning time?
Replies: 68
Views: 427

Re: What's your answer to the most fundamental question concerning time?

Age wrote:
Fri Apr 19, 2019 12:27 am
And that is WHY "science" has been SO SLOW to catch up with what IS ALREADY KNOWN and HAS ALREADY been explained.
Where has it been explained and to whom?