Corvus

I am not sure if you answered this question.

Ok, Peano. :up: The HOL book by Bacon must be an introduction to the subject, and doesn't seem to discuss anything about Liars paradox or Tarski's tru...

What is PA? Strange, the book doesn't say anything about Godel, Tarski, undefinability, or Paradox in the whole content. It talks a lot about Labmda C...

That's the book. Downloaded and saved into my iPad, thanks. Great reading material. :up: :pray:

Sure, I am currently reading on "High-Order Logics" by Andrew Bacon, and this is a really nice supporting thread for the reading. Thanks.

:blush: :pray:

My copy of " A Dictionary of Philosophical Logic" by R. T. Cook says, "Tarski's indefinability theorem states that arithmetical truth cannot be define...

I agree with you.

You are very welcome TS. So is it the speech act or language which makes subjectivity to objectivity? We are communicating via writing on the keyboard...

I agree with you.

But how can anyone know about subjectivity apart from one's own? Isn't shared subjectivity objectivity? Until subjectivity is shared with others, it i...

Good points.

OK, you say that it is still good to have objective moral values. I think we do. It is far stronger than one's opinions or wishful thinkings on the mo...

Does it mean that there is no such things as morally good or bad to begin with? Does it not invalidate the question "Who is morally culpable?"?

One can formalize the semantics—define truth—of lower order logic in high-order logic. Under that fact, isn't it the case HOL defeats Tarsky Undefinab...

Sure, God could be an abstract object which is not perceivable via sense perception. Or it could be a manifestation in some mundane physical forms suc...

When W. said that of which we cannot speak, we must remain silent, was he not saying something already on something of which we cannot speak?, which i...

Fair enough. At least you are honest with you answer on the questions, which deserves respect. Not knowing can be start of new investigative discussio...

Great link with much useful info to learn. Thank you PL.

I was under impression that higher than 3rd-order logic would be for the multiple set theories and advanced calculus applications, therefore they woul...

High-Order Logic seems to be more flexible and powerful for the real world cases due to its expanded variables availability for the properties and rel...

Would it be the only way that you could know the existence of Gods and Goddesses? No other ways? Since you have studied the world religions extensivel...

In Merlou-Ponty, the body itself is consciousness. According to his view, consciousness in the body would mean the body in the body, which sounds conf...

Do we need more than first and second order logic in practical uses?

So you studied all the religions in the world, and also the concepts of God extensively. You think about God much of your life. However, you are still...

You can carry on with the other interlocuters and I am sure you will have good discussions. cheers.

Good question. It depends on the case you are trying to prove. Some cases will work ok with MP or MT. But the cases like Cogito is awkward with the fo...

Thats an inference. This is inference from the rule.

Yes, that was the general rule. It was to show the logical inference processes in detail from the rule to Lion because he seems having difficulties un...

It is not. You are wrong again. ¬(a?b) = It is not the case (a?b) = negation. It is not contradiction. You never admit the truth as truth. That is par...

This seems to be your problem. ¬(a?b) is negation, not contradiction. You don't know the difference between negation and contradiction.

A?B ? ¬A?B ¬A?B ? B?¬A B?¬A ? ¬B?¬A = ¬A -> ¬B ? I await to hear your contradiction of "I think therefore I am" in plain English, and will take it fro...

What is the contradiction of it? Tell us exactly what is the contraction of "I think therefore I am" in plain English.

You must reason the contradiction, and check it over with the real events or existence for the truth or falsehood. You don't keep on going on with the...

~~

OK fine. That's rather quick and easy solution to us all. We have agreement. Thanks.

It is a reasoning by contradiction in proof. It is so obvious just by looking at it, both premises and conclusions are contradicted and checked out.

I am quite surprised to hear you all the way thought it was MP. MP is the most basic form, and was implemented by the Stoics. If it doesn't suit for t...

There are many different ways proofs can be done. MP is one way to do it, but it was not good for proving cogito, so I tried different arguments to su...

Sure, if you keep your control and just concentrate on the topics under the discussion, we can give another try. It is not because I am against using ...

It is the most mysterious answer I have heard in the forum, I am afraid. :D No Lion. Posting picture of a logic book is not a philosophical process. I...

I still cannot see any relevance of my Bio to this thread and what we have been discussing. Something other than what I meant? How do you know what I ...

But why do you talk about the Bio, in the middle of talking about order and logic? It would help in understanding, if you let us know what you think i...

I agree with you that some people make good efforts for improving and bettering the human living conditions which are under the negative inherent dete...

But do you think that humans with the restricted abilities are able to deal with the inherent determinants and constraints efficiently, even if they t...

Why suddenly talk about the bio written in Latin? What do you think it means?

What do you mean? Could you please explain on that point?

Even if a sentence is order form, it can be formalised and executed in the logic. If you read anything about mathematical logic, then you would have k...

You have changed my original example back to front to make it sound like order. Please read my original example given to you again, and confirm. The e...

I have been away all day, and just returned to see your message to me. I have no clue what you were talking about on how time works. But I will catch ...