Philosophy Now Forum

Atla wrote: ↑Fri Nov 09, 2018 10:51 am

TimeSeeker wrote: ↑Fri Nov 09, 2018 10:47 am

Atla wrote: ↑Fri Nov 09, 2018 10:46 am No, you don't. You merely demonstrate your inability to process context properly (or think logically).

I don't know how to process something which you have failed to communicate.

And as far as logic is concerned, that's my domain - computer science. Remember?

We have invented MANY logics. Like we have invented MANY contexts. Which logic are you USING for your thinking?

I am using Temporal type theory.

No, logic is not your "domain" - yet another pathetic lie.
You can neither process context properly, nor string together a logical argument.

I can and do string logical arguments all the time. It's colloquially called software.

And I have shown you all the evidence/theory for why logic is isomorphic with computation (Curry-Howard isomorphism).

Of course, you are free to reject it...

TimeSeeker wrote: ↑Fri Nov 09, 2018 10:52 am

Atla wrote: ↑Fri Nov 09, 2018 10:51 am

TimeSeeker wrote: ↑Fri Nov 09, 2018 10:47 am
I don't know how to process something which you have failed to communicate.

And as far as logic is concerned, that's my domain - computer science. Remember?

We have invented MANY logics. Like we have invented MANY contexts. Which logic are you USING for your thinking?

I am using Temporal type theory.

No, logic is not your "domain" - yet another pathetic lie.
You can neither process context properly, nor string together a logical argument.

I can and do string logical arguments all the time. It's called software.

And I have shown you all the evidence/theory for why logic is isomorphic with computation (Curry-Howard isomorphism).

Of course, you are free to reject it...

Software isn't a logical argument.

Atla wrote: ↑Fri Nov 09, 2018 10:54 am Software isn't a logical argument.

Logicians, mathematicians, physicists and computer scientists would disagree.

TimeSeeker wrote: ↑Fri Nov 09, 2018 10:54 am

Atla wrote: ↑Fri Nov 09, 2018 10:54 am Software isn't a logical argument.

Logicians would disagree.

No, they wouldn't.

Atla wrote: ↑Fri Nov 09, 2018 10:56 am No, they wouldn't.

You must be a mind-reader.

All their published works speak otherwise...

TimeSeeker wrote: ↑Fri Nov 09, 2018 10:58 am

Atla wrote: ↑Fri Nov 09, 2018 10:56 am No, they wouldn't.

You must be a mind-reader.

All their published works speak otherwise...

No they don't.

What kind of logical argument is Windows 10 for example?

Atla wrote: ↑Fri Nov 09, 2018 11:00 am What kind of logical argument is Windows 10 for example?

I don't understand what you are asking. What do you mean by "kind of logical argument" ? How many "kinds" do you recognise? Give me some examples?

TimeSeeker wrote: ↑Fri Nov 09, 2018 11:01 am

Atla wrote: ↑Fri Nov 09, 2018 11:00 am What kind of logical argument is Windows 10 for example?

I don't understand what you are asking. What do you mean by "kind of logical argument" ? How many "kinds" do you recognise? Give me some examples?

What does Windows 10 say about metaphysics?

Atla wrote: ↑Fri Nov 09, 2018 11:02 am What does Windows 10 say about metaphysics?

Why do you think Windows 10 says anything about metaphysics?

TimeSeeker wrote: ↑Fri Nov 09, 2018 11:02 am

Atla wrote: ↑Fri Nov 09, 2018 11:02 am What does Windows 10 say about metaphysics?

Why do you think Windows 10 says anything about metaphysics?

There is no argument then?

Atla wrote: ↑Fri Nov 09, 2018 11:04 am There is no argument then?

Windows 10 IS the argument! In its entirety! It is complete, consistent, confluent, sound. It is all the things you EXPECT from logic!

It's just not about metaphysics.

TimeSeeker wrote: ↑Fri Nov 09, 2018 11:04 am

Atla wrote: ↑Fri Nov 09, 2018 11:04 am There is no argument then?

Windows 10 IS the argument! In its entirety! It is complete, consistent, confluent, sound. It is all the things you EXPECT from logic!

It's just not about metaphysics.

About what is it then?

Atla wrote: ↑Fri Nov 09, 2018 11:06 am

TimeSeeker wrote: ↑Fri Nov 09, 2018 11:04 am

Atla wrote: ↑Fri Nov 09, 2018 11:04 am There is no argument then?

Windows 10 IS the argument! In its entirety! It is complete, consistent, confluent, sound. It is all the things you EXPECT from logic!

It's just not about metaphysics.

About what is it then?

Why does an argument have to be about anything? That's not how logic works.

What you USE logic for. That's a matter for teleology...

TimeSeeker wrote: ↑Fri Nov 09, 2018 11:07 am

Atla wrote: ↑Fri Nov 09, 2018 11:06 am

TimeSeeker wrote: ↑Fri Nov 09, 2018 11:04 am
Windows 10 IS the argument! In its entirety! It is complete, consistent, confluent, sound. It is all the things you EXPECT from logic!

It's just not about metaphysics.

About what is it then?

Why does an argument have to be about anything? That's not how logic works.

So if you aren't arguing about anything, then how can you correct me?

Atla wrote: ↑Fri Nov 09, 2018 11:08 am So if you aren't arguing about anything, then how can you correct me?

Because I am correcting your USE of logic? Logic has properties and rules (soundness, completeness, consistency, confluence and many others). You are violating them. I am pointing out the errors and pointing out corrective measures (for you to consider or ignore).

Logic is just a tool. What you are USING logic FOR that's about teleology.

But if you are USING logic incorrectly, you are unlikely to achieve whatever it is you have set out to achieve.

Be it "arguing about metaphysics" or real-world reasoning in general...