What are the achievements of Logic?

What is the basis for reason? And mathematics?

Moderators: AMod, iMod

Post Reply
Dapplegrim
Posts: 18
Joined: Thu Nov 23, 2017 11:02 pm

What are the achievements of Logic?

Post by Dapplegrim »

What are the achievements of logic? It would seem to be hard to identify them.

In contrast mathematics has huge achievements to its name, especially its use in the domain of physics.

But logic, whether pure and abstract or its application to language, does not have many, if any, achievements to its name.

'Socrates is mortal' and 'It is raining' - two classical conclusions of logic, can hardly be claimed as achievements.

Its main claim would seem to be that it claims to be 'true'. But by what logic is that claim to truth justified? And also what is meant by 'true' when applied to logic? It would appear to be only a label to indicate internal self-consistency.

Does philosophy need this form of logic? If so what for?

Does anyone have any suggestions?
Eodnhoj7
Posts: 8595
Joined: Mon Mar 13, 2017 3:18 am

Re: What are the achievements of Logic?

Post by Eodnhoj7 »

Structure and definition corresponding to truth values and their corresponding grades, considering what we understand of truth is merely definition through structure.
alan1000
Posts: 312
Joined: Fri Oct 12, 2012 10:03 am

Re: What are the achievements of Logic?

Post by alan1000 »

You haven't heard that all of mathematics is reducible to logic? I'm not in a position to argue the case, but I understood that this had been achieved by about the beginning of the 20th C, due to the efforts of Russell, Frege, Whitehead et al.
User avatar
Necromancer
Posts: 405
Joined: Thu Jul 30, 2015 12:30 am
Location: Metropolitan-Oslo, Norway, Europe
Contact:

Re: What are the achievements of Logic?

Post by Necromancer »

alan1000 wrote: Sat Jan 27, 2018 4:30 pm You haven't heard that all of mathematics is reducible to logic? I'm not in a position to argue the case, but I understood that this had been achieved by about the beginning of the 20th C, due to the efforts of Russell, Frege, Whitehead et al.
Math is math and logic is logic for very good reasons. They really do not go together. Numbers for math and relations of language for logic. :?: :D
User avatar
-1-
Posts: 2888
Joined: Thu Sep 07, 2017 1:08 am

Re: What are the achievements of Logic?

Post by -1- »

Necromancer wrote: Sat Jan 27, 2018 6:00 pm
alan1000 wrote: Sat Jan 27, 2018 4:30 pm You haven't heard that all of mathematics is reducible to logic? I'm not in a position to argue the case, but I understood that this had been achieved by about the beginning of the 20th C, due to the efforts of Russell, Frege, Whitehead et al.
Math is math and logic is logic for very good reasons. They really do not go together. Numbers for math and relations of language for logic. :?: :D
Actually, Necromancer, Alan1000 is right. All math reduced to logic and shown that it's nothing but, has been written in a book called "Principia Mathematika", by some smart dude. He said after finishing the tome, that he got forever exhausted... he felt lethargic for the rest of his natural life, he got so much of his brain and mental work put into it.

And then some schmucks come around and declare that they don't know it, so it does not exist.
Eodnhoj7
Posts: 8595
Joined: Mon Mar 13, 2017 3:18 am

Re: What are the achievements of Logic?

Post by Eodnhoj7 »

alan1000 wrote: Sat Jan 27, 2018 4:30 pm You haven't heard that all of mathematics is reducible to logic? I'm not in a position to argue the case, but I understood that this had been achieved by about the beginning of the 20th C, due to the efforts of Russell, Frege, Whitehead et al.
Algebra specifically if I remember correctly, but your point rings true in some facet of memory.
Impenitent
Posts: 4305
Joined: Wed Feb 10, 2010 2:04 pm

Re: What are the achievements of Logic?

Post by Impenitent »

I'm sure it won a participation trophy once...

-Imp
Londoner
Posts: 783
Joined: Sun Sep 11, 2016 8:47 am

Re: What are the achievements of Logic?

Post by Londoner »

alan1000 wrote: Sat Jan 27, 2018 4:30 pm You haven't heard that all of mathematics is reducible to logic? I'm not in a position to argue the case, but I understood that this had been achieved by about the beginning of the 20th C, due to the efforts of Russell, Frege, Whitehead et al.
On the contrary, they failed to do this. There were always paradoxes that could not be incorporated. Later, Gödel's incompleteness theorems showed why this would always be the case.
wtf
Posts: 1178
Joined: Tue Sep 08, 2015 11:36 pm

Re: What are the achievements of Logic?

Post by wtf »

alan1000 wrote: Sat Jan 27, 2018 4:30 pm You haven't heard that all of mathematics is reducible to logic? I'm not in a position to argue the case, but I understood that this had been achieved by about the beginning of the 20th C, due to the efforts of Russell, Frege, Whitehead et al.
I'm curious as to where you're getting your information. Of course this statement is wrong as already noted. Gödel's incompleteness theorems show that mathematical truth can not be reduced to logic.

But I saw your post on infinity over on that other site and virtually everything you say is laughably incorrect. You're just getting bad information and misunderstanding even that.

Where are you getting your math from? Just wondering.
User avatar
Greta
Posts: 4389
Joined: Sat Aug 08, 2015 8:10 am

Re: What are the achievements of Logic?

Post by Greta »

Dapplegrim wrote: Mon Nov 27, 2017 12:31 pm What are the achievements of logic? It would seem to be hard to identify them.

In contrast mathematics has huge achievements to its name, especially its use in the domain of physics.

But logic, whether pure and abstract or its application to language, does not have many, if any, achievements to its name.

'Socrates is mortal' and 'It is raining' - two classical conclusions of logic, can hardly be claimed as achievements.

Its main claim would seem to be that it claims to be 'true'. But by what logic is that claim to truth justified? And also what is meant by 'true' when applied to logic? It would appear to be only a label to indicate internal self-consistency.

Does philosophy need this form of logic? If so what for?

Does anyone have any suggestions?
Incompleteness does look like the last word in this; if you can't calculate everything then all calculations are necessarily relative to initial assumptions rather than an absolute. Interestingly, if one attempted to construct a supercomputer capable of calculating everything, it's believed that the computer would become so large that the pressure in the centre would form a planetary core - perhaps not ideal for computing (never mind heat frying components long before that).
wtf
Posts: 1178
Joined: Tue Sep 08, 2015 11:36 pm

Re: What are the achievements of Logic?

Post by wtf »

Greta wrote: Sun Jan 28, 2018 11:30 pmInterestingly, if one attempted to construct a supercomputer capable of calculating everything, it's believed that the computer would become so large that the pressure in the centre would form a planetary core - perhaps not ideal for computing (never mind heat frying components long before that).
Who believes nonsense like that? You're not known for posting silliness. Where did this come from?

Turing proved in 1936 that there are easily stated problems that no computation can solve. This result is essentially the same as Gödelian incompleteness.

Pressure in the center would form a planetary core? WTF? That's really out of left field, extremely bizarre remark. I only say this because it's unexpected from you.

https://en.wikipedia.org/wiki/Halting_problem
User avatar
Greta
Posts: 4389
Joined: Sat Aug 08, 2015 8:10 am

Re: What are the achievements of Logic?

Post by Greta »

wtf wrote: Mon Jan 29, 2018 3:47 am
Greta wrote: Sun Jan 28, 2018 11:30 pmInterestingly, if one attempted to construct a supercomputer capable of calculating everything, it's believed that the computer would become so large that the pressure in the centre would form a planetary core - perhaps not ideal for computing (never mind heat frying components long before that).
Who believes nonsense like that? You're not known for posting silliness. Where did this come from?

Turing proved in 1936 that there are easily stated problems that no computation can solve. This result is essentially the same as Gödelian incompleteness.

Pressure in the center would form a planetary core? WTF? That's really out of left field, extremely bizarre remark. I only say this because it's unexpected from you.

https://en.wikipedia.org/wiki/Halting_problem
It was a curio for entertainment's sake. I was just agreeing with you otherwise.

I can't find it now but the idea came from a mathematician interviewed on Through the Wormhole who had done calculations that left him with the postulation that it's impossible to know everything because, if a computer that was supposed to calculate everything was created, as it grew it would eventually collapse under its own weight to form a black hole. I just extrapolated that heat etc would stymie the machine long before collapse into a black hole.
wtf
Posts: 1178
Joined: Tue Sep 08, 2015 11:36 pm

Re: What are the achievements of Logic?

Post by wtf »

Greta wrote: Mon Jan 29, 2018 5:16 am It was a curio for entertainment's sake. I was just agreeing with you otherwise.
Didn't mean to seem to attack out of left field. You're one of the sane ones here which is why your remark struck me as off.
Greta wrote: Mon Jan 29, 2018 5:16 am I can't find it now but the idea came from a mathematician interviewed on Through the Wormhole who had done calculations that left him with the postulation that it's impossible to know everything because, if a computer that was supposed to calculate everything was created, as it grew it would eventually collapse under its own weight to form a black hole.
Oh my. He was misinformed or not being serious. We already know of problems computers can't solve. Turing showed that. Building a larger computer wouldn't help in the least. This is well known but evidently not to this person on tv. Perhaps he was trying to make a point in a popularized way.
User avatar
Greta
Posts: 4389
Joined: Sat Aug 08, 2015 8:10 am

Re: What are the achievements of Logic?

Post by Greta »

wtf wrote: Mon Jan 29, 2018 5:27 am
Greta wrote: Mon Jan 29, 2018 5:16 am It was a curio for entertainment's sake. I was just agreeing with you otherwise.
Didn't mean to seem to attack out of left field. You're one of the sane ones here which is why your remark struck me as off.
Greta wrote: Mon Jan 29, 2018 5:16 am I can't find it now but the idea came from a mathematician interviewed on Through the Wormhole who had done calculations that left him with the postulation that it's impossible to know everything because, if a computer that was supposed to calculate everything was created, as it grew it would eventually collapse under its own weight to form a black hole.
Oh my. He was misinformed or not being serious. We already know of problems computers can't solve. Turing showed that. Building a larger computer wouldn't help in the least. This is well known but evidently not to this person on tv. Perhaps he was trying to make a point in a popularized way.
The theme of the show was generally about the problems with knowing everything. A variety of thinkers were interviewed, each taking a different angle. They'd already been through Gödel's incompleteness theorems and other less colourful perspectives, and I think the idea was basically that, even if all other factors were not present, it is not even physically possible to calculate everything. Basically, it was the final kicker for any doubters who may have found other approaches too heady or confusing to be convincing.

Thanks for saying I'm sane - I probably just seem so by philosophy forum standards :D
User avatar
Arising_uk
Posts: 12314
Joined: Wed Oct 17, 2007 2:31 am

Re: What are the achievements of Logic?

Post by Arising_uk »

Dapplegrim wrote:What are the achievements of logic? It would seem to be hard to identify them. ...
The computer you type upon is designed upon it.
Does philosophy need this form of logic? If so what for?

Does anyone have any suggestions?
Reasoning.
Post Reply