Search found 3931 matches

by Logik
Tue Apr 23, 2019 11:14 am
Forum: Philosophy of Science
Topic: Einstein on the train
Replies: 383
Views: 3407

Re: Einstein on the train

Ever heard that there are NO actual problems in Life, and that ONLY human beings MAKE UP 'problems'? Would you say it's the human mind or the human brain that makes up problems? WHY would ask me such a question when you ALREADY KNOW my VIEW on the Mind? I am asking you this clarifying question beca...
by Logik
Tue Apr 23, 2019 11:09 am
Forum: Philosophy of Religion
Topic: Why do theists and atheists insist that if there is a God that it created the universe?
Replies: 267
Views: 2047

Re: Why do theists and atheists insist that if there is a God that it created the universe?

You are inventing arbitrary criteria so as to prevent me from juxtaposing "God" to "Universe". No, I'm not "preventing" you doing it. I'm just saying it's silly. And the reason is that God, by definition, even as only a concept, transcends the universe and does not "exist" in the contingent, materi...
by Logik
Tue Apr 23, 2019 11:06 am
Forum: Logic and Philosophy of Mathematics
Topic: Transforming formal proof into sound deduction (rewritten)
Replies: 78
Views: 580

Re: Transforming formal proof into sound deduction (rewritten)

PeteOlcott wrote:
Mon Apr 22, 2019 5:04 pm
Since I am ONLY defining the [is_a_type_of] aspect of "are" this is provided below:
When did YOU get to define the meaning of MY words?
by Logik
Tue Apr 23, 2019 11:06 am
Forum: Logic and Philosophy of Mathematics
Topic: Transforming formal proof into sound deduction (rewritten)
Replies: 78
Views: 580

Re: Transforming formal proof into sound deduction (rewritten)

PeteOlcott wrote:
Mon Apr 22, 2019 5:26 pm
The concept of {bachelor} will have a unique place within an inheritance hierarchy knowledge ontology
so think of it as something roughly like this: Marital_State->Bachelor
Of all the possible meanings (e.g semantics) of the word 'bachelor' how did you DECIDE on that particular one?
by Logik
Tue Apr 23, 2019 10:32 am
Forum: Articles in Philosophy Now
Topic: Thomas Kuhn (1922-1996)
Replies: 15
Views: 145

Re: Thomas Kuhn (1922-1996)

If two theories explain the same data, to satisfactory predictive value, then the two theories are likely to be reduced to each other, or the complex one to a simpler one. This is not true. 1. Explanation and prediction are independent processes. 2. Different predictive models could have different ...
by Logik
Mon Apr 22, 2019 4:32 pm
Forum: Logic and Philosophy of Mathematics
Topic: Transforming formal proof into sound deduction (rewritten)
Replies: 78
Views: 580

Re: Transforming formal proof into sound deduction (rewritten)

Example: “a cat is an animal”. Formalized as: (cat ◁ animal) where ◁ is the [is_a_type_of] operator adapted from UML Inheritance relation. The only reason that we know that “a cat is an animal” is that it is defined to be True. You are incredibly good at answering only half of the question, so I am...
by Logik
Mon Apr 22, 2019 12:22 pm
Forum: Philosophy of Science
Topic: Einstein on the train
Replies: 383
Views: 3407

Re: Einstein on the train

Age wrote:
Mon Apr 22, 2019 8:09 am
Ever heard that there are NO actual problems in Life, and that ONLY human beings MAKE UP 'problems'?
Would you say it's the human mind or the human brain that makes up problems?
by Logik
Mon Apr 22, 2019 12:17 pm
Forum: Logic and Philosophy of Mathematics
Topic: Transforming formal proof into sound deduction (rewritten)
Replies: 78
Views: 580

Re: Transforming formal proof into sound deduction (rewritten)

"1. Who assigns the semantic value of Boolean True to expressions of language and why?" There are a set of preexisting conventions that specify how to encode the idea that {cats} are not {dogs} as "cats are not dogs". "cats are not dogs" is a basic fact equivalent to my specification of axiom. OK. ...
by Logik
Mon Apr 22, 2019 12:15 pm
Forum: Logic and Philosophy of Mathematics
Topic: Transforming formal proof into sound deduction (rewritten)
Replies: 78
Views: 580

Re: Transforming formal proof into sound deduction (rewritten)

PeteOlcott wrote:
Mon Apr 22, 2019 12:00 pm
At every point in time of your examples: ¬(True ↔ False)
You miss point. Again. In all of my examples - the assertions are made a posteriori.

A priori, what truth-value would you assign to the following sentences:

There are 6 planets in the Solar system.
There are 11 planets in the Solar system.
by Logik
Mon Apr 22, 2019 7:33 am
Forum: Philosophy of Science
Topic: Einstein on the train
Replies: 383
Views: 3407

Re: Einstein on the train

Another example of just HOW thoughts interfere with, twist, and distort what IS , actually being talked about. What was being talked about were THOUGHTS. What comes back, as a reply, is about the BRAIN. You sound very confused. How can that which is being talked about interfere with what is actuall...
by Logik
Mon Apr 22, 2019 7:28 am
Forum: Logic and Philosophy of Mathematics
Topic: Transforming formal proof into sound deduction (rewritten)
Replies: 78
Views: 580

Re: Transforming formal proof into sound deduction (rewritten)

Truth is merely a set of expressions of language that have been assigned the semantic value of Boolean true along with valid deductive logical inference on the basis of these expressions. We can talk endlessly forever in circles and you may never get this yet it remains the fundamental basis of all...
by Logik
Mon Apr 22, 2019 7:26 am
Forum: Logic and Philosophy of Mathematics
Topic: Transforming formal proof into sound deduction (rewritten)
Replies: 78
Views: 580

Re: Transforming formal proof into sound deduction (rewritten)

So it looks like you disagree with the sound deductive inference model because this model requires true premises and according to you truth and falsity are merely a matter of opinion so the sound deductive inference model can't possibly be more than nonsense. You are as ignorant as you are lazy. So...
by Logik
Mon Apr 22, 2019 4:17 am
Forum: Logic and Philosophy of Mathematics
Topic: Transforming formal proof into sound deduction (rewritten)
Replies: 78
Views: 580

Re: Transforming formal proof into sound deduction (rewritten)

It really seem like you are just playing head games to be annoying. You made your point that computer programs can be liars let's get off that point and on to the point how they can specify truth. And it really seems that the sunk cost fallacy is getting in the way of you understanding. The compute...
by Logik
Mon Apr 22, 2019 4:12 am
Forum: Logic and Philosophy of Mathematics
Topic: Transforming formal proof into sound deduction (rewritten)
Replies: 78
Views: 580

Re: Transforming formal proof into sound deduction (rewritten)

Maybe to someone that fails to understand this is semantically impossible: True ↔ False Perhaps you fail to understand? There are no semantic impossibilities. It's called imagination. The expression: True ↔ False is meaningless without interpretation. That is one way of looking at it. Alternatively...
by Logik
Mon Apr 22, 2019 3:41 am
Forum: Philosophy of Religion
Topic: Why do theists and atheists insist that if there is a God that it created the universe?
Replies: 267
Views: 2047

Re: Why do theists and atheists insist that if there is a God that it created the universe?

When the selection criterion is "existence" the set has two members: {God, Universe} You're still treating them as equal members of the same predicate. But you haven't shown that the kind of "existence" that the universe has (i.e. contingent existence) is in the same set as divine "existence" (nece...