Philosophy Now Forum

Here is my modest contribution to this thread. I hope it helps. :D One of the very interesting thing about Islam with respect to the West, is that Prophet Muhammad(peace and blessings of Allah be upon him) is praised and prophesied by NAME in the Jewish Bible. Here is a YouTube video which explains ...

One of the very interesting thing about Prophet Muhammed(peace and blessings of Allah be upon him) in relation to the Jewish Bible is that he is praised and prophesied by NAME in the Jewish Bible. Here is a YouTube video which explains the matter in detail: https://youtu.be/wm3sZfPwv1g For those who...

Hi John, how are you? To respond to your suggestion, I think yes, it should be possible to discuss AI around here. My suggestion, though, if you allow me one, would be to select an appropriate section of the forum to open a thread accordingly. For example, if you want a discussion about the ethical ...

Hey all, Can anyone help prove this using the following rules? I was a philosophy major with a concentration in logic, but I graduated a long time ago. Lately, I've been trying to shake the rust off by working through Copi's Introduction to logic 5ed, but I've been working on this one in particular...

Implementation in Python https://repl.it/@LogikLogicus/ShatteredIdentity Counter-intuitive result A = A is True A = A is True A = A is True A = A is True Sanity prevails! A = A is True A = А is False А = A is False А = А is True Insanity returns! Looks like a duck, quacks like a duck - but it's not...

More from the realm of Constructive mathematics. Here is a consistent logical system in which both A = B AND A != B are true. Not really! The above quoted statement is itself inconsistent! Any system in which both A=B and A!=B are true is inconsistent. From Wikipedia, we have the following on consi...

So here is where i am at. I was wrong. Hi Logik. This is the first time I am exchanging with you! And you are already saying that you were wrong! Alright, I can't argue that! Averroes is right. And you also added that I am right. Alright. Thank you, but I already knew it! :) It is impossible to thi...

Hello forum members! Last time I posted the following: To all members of the forum who are interested: A statement was made but the claimer found himself/herself incapable of backing it up even when challenged. It was claimed that there can be thoughts which cannot be expressed in language. (...) My...

To all members of the forum who are interested: A statement was made but the claimer found himself/herself incapable of backing it up even when challenged. It was claimed that there can be thoughts which cannot be expressed in language. Here is one of the statements: And yet is precisely the thought...

TimeSeeker wrote: ↑

Tue Nov 20, 2018 10:09 pm

Averroes wrote: ↑

Tue Nov 20, 2018 10:00 pm

(...)Write exclusively in the “high level languages” as from now; yet again I am challenging you.

I need not present a counter-argument.

Alright, so you declined the challenge. For the record, I gave you nearly two months to prove your claims as you had claimed possible. Time to move on now!

But, you aren't asking me to write an argument. You are asking me to write a counter-argument. To YOUR claim. And so I am happy to do that just as soon as you present YOUR argument (set of propositions) in lambda calculus. You are still arguing in English?! You so much wanted to abandon English and...

English (and all natural languages) are broken - their Turing-completeness can't even be verified unless their grammar is formally defined. You don't get to insist on "proof" while also insisting that it be proven in a framework which lacks the grammar and semantics to express it. If English (or an...

And I will insist in turn that you be logical in English. English (and all natural languages) are broken - their Turing-completeness can't even be verified unless their grammar is formally defined. You don't get to insist on "proof" while also insisting that it be proven in a framework which lacks ...

I am not running from it. I just insist I am scrutinized on my use of logic not English. And I will insist in turn that you be logical in English. As you are incapable of philosophizing in English anymore, then our exchange is arriving to an end. Anyway, it was an interesting discussion we have had...

So? We started it in English. We can end it in Python. We need higher order logic and stronger semantics. Language is language, right? Don’t be appealing to a bandwagon fallacy now. Just write the damn contradiction in Python already and prove me wrong. I have handed you a falsifier on a silver pla...