Corvus

I see your point. I was seeing HOL from totally different point of view. In programming languages HOL enables them more flexible and powerful in build...

I see. But my point was, isn't the main point of using HOL (as also mentioned in the OP title) is being able to set TF values to the non-existent trut...

I am not sure how Prolog works in Boolean value settings and execution operations. I have ordered a couple cheap Prolog books by the way. But in Pasca...

:blush: :pray:

Yes, it would be good if you could present the Tarski's and Godel's theorems in connection with HOL with your own explanations (the proofs and refutat...

Good question. I wish I know the answers for the questions. Only thing I know is that there are things we know, and there are things we don't know. Mo...

If an actor says on the stage "To be, or not to be: that is the question.", is it about himself, or Hamlet?

The reason we can not do those is because of lack of data to us, and our brain has limited capacity in thinking, not because anything is determined. T...

Isn't HOL the expanded logical system from the other simpler ones with the relation and operation variables in the formulas? Most modern programming l...

Sounds good idea. Only problem with the PLs handling the paradox cases could be the program crash, when the contradicting variables with TF values wer...

:roll: :rofl:

It appears that you haven't read any Hume at all. It is not matter of all events have prior causes or not. But the matter is that causes exist in your...

From your coding, it seems no problem for HOL dealing with the Liars paradox and also Tarksi's undefinability.

I am sure you can. First of all, try reading Hume and Kant, focusing on Cause and Effect theory. Then you can decide on what you feel and convince as ...

:up: :pray: I have not used Prolog, but it gives a rough idea to go about and trying it in the other PLs such as C, C++ or Java. Thanks Olcott.

No nope, I am not trying to convince you. You can believe whatever you want or like. I just pointed out your beliefs are wrong, and explained why they...

They are irrelevant and silly for the argument. Because they don't prove that all the events and actions are determined.

You are most welcome :) Sure they are also facts you could say that. But they are silly loopy facts that are irrelevant and unfit for the philosophica...

You could do with reading Hume. Hume's cause and effect theory will set you back to the right track on this. Genes, environment, nutrients and experie...

Meditate on it. It may flash in your mind.

Try to construct a tight logical arguments for your claims. Remember no beliefs, no opinions and no emotional statements. Just facts and the inference...

Well, yes and no, perhaps or maybe? :wink:

Hmmm it just sounds like all tautologies to me. There is nothing new or compellingly significant in that statement.

You seem to be getting more confused. Being alive and dead at the same time is your description of a physical bodily condition. Your being happy and u...

Your 27 lists to-do are not meaningful in philosophical discussions. They belong to the functions of biological agents. They will not help you or me o...

It is natural that you cannot be anyone else than yourself. Maybe you have never been both happy and unhappy at the same time, but there are many othe...

Human linguistic semantics are to capture and reflect your mental state and the world. You often hear people saying "I am not sure on that." "Yes and ...

Hmmmm matter of evidence? Are you sure? :) All I could see is your mental state for believing and claiming everything is under determinism. There is n...

That's cool Olcott. This sounds a very interesting topic. I was reading on HOL recently, and it seems to be heavily mathematical arithmetic stuff. My ...

That is just saying determinism is true, and freewill is false. That is nothing new to your psychological assertion, and you listed down as some sort ...

I have not seen the logical proof of that. Where is it? Or you could prove again here. How do you know all events have prior causes? Even if we suppos...

I thought my argument was clear in my reply to you. All my actions and expressions are caused by my freewill. What else could it be?

It makes perfect sense to me, when I ask someone "Are you happy?", and get a reply "Well Yes and No". Well prove your argument in Logical argument. Yo...

I used to have a lot of illusory beliefs such as people will live forever, because they resurrect as soon as they die after seeing the action films st...

I still think determinism is your psychology. If you see all the events and your actions from your past point of view, then everything seems to be det...

They can be, if and only if they are psychological state. They can be both true, because they are not deductive or inductive facts. You could say, "ye...

I have given you an example from your list No.20. Think. I was demonstrating how one's Thinking operates in the realm of Freewill. The demonstration a...

Does it mean that Descartes "I think therefore I am." doesn't mean anything meaningful either? I can understand your point, when it was said "I think ...

How about, "I think, therefore I am free." When I think I am free, I am free. It is a psychological belief that I am free. Tomorrow, I may say, "I thi...

But I cannot find any evidence whatsoever that I was under a very successful illusion. Everything around me is working too coherently and rationally, ...

That's also what I believe too. You can think whatever you feel true as true, and express your thoughts with your interlocutors freely on the philosop...

It sounds like you are making choices and decisions on your beliefs and the world views. Some will say that even the hardest determinism is chosen via...

Please have a read on your own writing, and think. Where is philosophy? It is just criticisms based on your own subjective point of view and bias. Whe...

Maybe I did, or maybe I didn't. People sometimes misquote. I am not going to waste more of my time going back to the old posts and start investigating...

Thanks for your advice. I read a Logic book once long time ago, and am back to reading another one now. I am enjoying reading it. I wish you all the b...

Good point Bob.

You keep repeating to the others the word by word what the others described your writings.

I didn't know you didn't know even the difference between deductive and inductive cases in logic. When it was clear that was the case, I have pointed ...

From your uncalled for private message to me, that is what anyone would interpret your intentions in the message, which proved otherwise in the OP. Bu...

The questions wasn't for you. It was for jgill. You said that you wanted to learn about Logic, and asked for my help, hence I tried. Jgill didn't seem...