Perhaps you can elaborate a bit so that I can understand what you're trying to say. Lambda calculus has the exact same power as Turing machines so I'm not sure what exactly you are getting at. But if you are willing to provide some context without resorting to crude references to bodily functions, I'd certainly read with an open mind.Dalek Prime wrote: ↑Thu Mar 08, 2018 12:56 am I didn't see this post wtf, but again, I reiterate what I said about lamda calculus earlier. It did impact typed, but not untyped.
What are the achievements of Logic?
Re: What are the achievements of Logic?
- Arising_uk
- Posts: 12314
- Joined: Wed Oct 17, 2007 2:31 am
Re: What are the achievements of Logic?
But I thought Godel proved that first order predicate logic was sound and complete? Is there a difference between mathematical induction and logical induction?wtf wrote:...
The first incompleteness theorem simply says that given a consistent set of axioms sufficiently powerful to do mathematical induction, there are propositions that can neither be proved nor disproved. So no set of axioms can tell you everything that's true. There are always truths that lie beyond the power of any consistent set of axioms. ...
With respect to Godel's idea did not Russell already point this out with his paradoxes and supposedly solved this with his Type theory, i.e. self-referential propositions cannot be proved within an axiomatic system and a meta-logic must be used or are Gödel's propositions different from self-referring ones?
What I suppose I'm asking is why it's thought that Russell's work didn't ground Arithmetic in Logic due to Gödel's work?
Re: What are the achievements of Logic?
Briefly, the competeness theorem says there's a model if and only if there's a proof. (Semantic truth = syntactic provability). The incompleteness theorem says that in any (suitably powerful) axiom system, there's a statement that can neither be proved nor disproved.Arising_uk wrote: ↑Thu Mar 08, 2018 11:16 pm But I thought Godel proved that first order predicate logic was sound and complete? Is there a difference between mathematical induction and logical induction?
Here's a discussion of the subject. If I have more time later I'll try to explain this better but I can't do so at the moment.
https://math.stackexchange.com/question ... s-theorems
No, Russell found the problem with unrestricted comprehension: defining a set using only a predicate. Rather, you either need type theory, or restricted comprehension. Restricted comprehension means that if you already have a set, you can cut it down to size with a predicate.Arising_uk wrote: ↑Thu Mar 08, 2018 11:16 pm With respect to Godel's idea did not Russell already point this out with his paradoxes and supposedly solved this with his Type theory, i.e. self-referential propositions cannot be proved within an axiomatic system and a meta-logic must be used or are Gödel's propositions different from self-referring ones?
So the set of all sets that are not members of themselves leads to a contradiction. The set of all real numbers that are not members of themselves is just the real numbers. No contradiction. In the former case you have unrestricted comprehension; in the latter case, restricted.
Not clear what you mean.Arising_uk wrote: ↑Thu Mar 08, 2018 11:16 pm What I suppose I'm
asking is why it's thought that Russell's work didn't ground Arithmetic in Logic due to Gödel's work?
-
- Posts: 4922
- Joined: Tue Apr 14, 2015 4:48 am
- Location: Living in a tree with Polly.
Re: What are the achievements of Logic?
Wtf, I was doing some reading last night, and have come to the realisation that I have been under misconceptions and ignorance of the subject matter. It was actually an article on the infinite which allowed me to see what you are talking about, and I thank you for challenging my notions. Having seen my errors in thinking, I want to apologize for being pig-headed about it, and hope you'll forgive any consternation I have caused. I like to think I'm still capable of learning and incorporating ideas new to me, and shedding misconceptions long held.
So, thank you. It's a constructive lesson and reminder of 'pride cometh before the fall'.
May I ask you then, if most finite systems escape Godel's incompleteness, and this effects only large systems trying to do too much ie. be 'everything'? I did note that Euclidean geometry seems clear of it. The cemtral issue is about provability, yes? Am i correct on this part?
So, thank you. It's a constructive lesson and reminder of 'pride cometh before the fall'.
May I ask you then, if most finite systems escape Godel's incompleteness, and this effects only large systems trying to do too much ie. be 'everything'? I did note that Euclidean geometry seems clear of it. The cemtral issue is about provability, yes? Am i correct on this part?
Re: What are the achievements of Logic?
This is supposed to be a philosophy site. In case you miss the subtlety of that, it means that if you disagree with someone, you are supposed to present contrary arguments. You may be surprised to learn that "Laughably incorrect" is not an argument. I'm listening...?
Re: What are the achievements of Logic?
Sorry, Dalek Prime, my last was not a response to you - I forgot to include the quote. I was referring to an earlier post:
"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."
Frankly I'm beginning to question the value of these "philosophy" websites. There are too many posters who think that their prejudices, preconceptions and unsupported assertions carry just as much weight as a reasoned, objective argument.
"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."
Frankly I'm beginning to question the value of these "philosophy" websites. There are too many posters who think that their prejudices, preconceptions and unsupported assertions carry just as much weight as a reasoned, objective argument.
Re: What are the achievements of Logic?
Wow this never happens online Thanks for the post. Apology accepted.Dalek Prime wrote: ↑Fri Mar 09, 2018 12:51 pm Wtf, I was doing some reading last night, and have come to the realisation that I have been under misconceptions and ignorance of the subject matter. It was actually an article on the infinite which allowed me to see what you are talking about, and I thank you for challenging my notions. Having seen my errors in thinking, I want to apologize for being pig-headed about it, and hope you'll forgive any consternation I have caused. I like to think I'm still capable of learning and incorporating ideas new to me, and shedding misconceptions long held.
So, thank you. It's a constructive lesson and reminder of 'pride cometh before the fall'.
Curious to know what you read that was so clear and compelling. I'd like to read it myself.
Not sure exactly what you're asking. By finite systems do you mean finitely axiomatized? This might be outside my limited sphere of competence.Dalek Prime wrote: ↑Fri Mar 09, 2018 12:51 pm May I ask you then, if most finite systems escape Godel's incompleteness, and this effects only large systems trying to do too much ie. be 'everything'? I did note that Euclidean geometry seems clear of it. The cemtral issue is about provability, yes? Am i correct on this part?
Euclidean geometry can't model the arithmetic of the natural numbers so it's not subject to incompleteness.
A more striking example is that the formal theory of the real numbers is decidable. Then you'd ask, but aren't the natural numbers a subset of the reals, so why aren't they decidable? The answer is that you can't actually pick out the natural numbers from the reals by a first-order statement. Please don't quote me on any of this but here's a nice Stackexchange question about it. See Pete Clark's checked answer.
https://math.stackexchange.com/question ... al-numbers
-
- Posts: 18
- Joined: Thu Nov 23, 2017 11:02 pm
Re: What are the achievements of Logic?
Try getting a life! Its not too late you know.Dalek Prime wrote: ↑Thu Mar 01, 2018 1:47 amMathematics is a subset of symbolic logic. What a silly thing to question. Try reading Suzanne Langer's 'Introduction to Symbolic Logic' before making such statements.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?
-
- Posts: 4922
- Joined: Tue Apr 14, 2015 4:48 am
- Location: Living in a tree with Polly.
Re: What are the achievements of Logic?
If you knew anything about me, you'd know I think life is heavily overrated.Dapplegrim wrote: ↑Thu Apr 26, 2018 10:15 amTry getting a life! Its not too late you know.Dalek Prime wrote: ↑Thu Mar 01, 2018 1:47 amMathematics is a subset of symbolic logic. What a silly thing to question. Try reading Suzanne Langer's 'Introduction to Symbolic Logic' before making such statements.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?
-
- Posts: 406
- Joined: Wed Jan 06, 2010 6:54 am
- Location: USA
Re: What are the achievements of Logic?
My understanding is that logic is a good method for arriving at assertions or conclusions, starting with definitions of terms and basic assumptions or axioms (premises) involving those terms. This is the heart of mathematics, as well as other systems or philosophies or investigations or problem-solving (e.g., detective work).Arising_uk wrote: ↑Mon Jan 29, 2018 3:21 pmThe computer you type upon is designed upon it.Dapplegrim wrote:What are the achievements of logic? It would seem to be hard to identify them. ...Reasoning.Does philosophy need this form of logic? If so what for?
Does anyone have any suggestions?
Mathematics tends to take extreme care with definitions of terms and the premises regarding them -- a careful, strict use of language. The imperfections in mathematical theories and other logic-based structures or investigations are largely due to the inputs to logic or reasoning: Faulty or irrelevant definitions and false or questionable premises, often based on fake or manufactured or misinterpreted data (fake facts, tainted evidence). This makes the corresponding theorems or assertions or conclusions questionable (garbage in, garbage out, even if the computer program's logic is impeccable).
Read thinkers such as Bertrand Russell for the finer points --limitations in the use of language that have paradoxical or negative effects upon the method of logic itself, if I'm not mistaken (someone may be able to help me here). But for practical applications, as well as mathematical theory, logic is pretty reliable.
-
- Posts: 4257
- Joined: Fri Oct 25, 2013 6:09 am
Re: What are the achievements of Logic?
The foundation of mathematics is logic or deductive reasoning which is a subset of all reasoning. As there is also abductive
and inductive reasoning. But they are less rigorous because they only pertain to probable truth rather than definitive truth
and inductive reasoning. But they are less rigorous because they only pertain to probable truth rather than definitive truth
Re: What are the achievements of Logic?
All deductive reasoning observes the direction of universals into parts, with inductive observing the direction of parts into wholes, and abductive observing the direction of these wholes/parts as the limit which determines these wholes and parts.surreptitious57 wrote: ↑Tue Jul 10, 2018 4:19 pm The foundation of mathematics is logic or deductive reasoning which is a subset of all reasoning. As there is also abductive
and inductive reasoning. But they are less rigorous because they only pertain to probable truth rather than definitive truth
Logic provides a foundation of inherent spatial qualities to all reason...and we cycle back to basic Euclidian axioms which provide a prerequisite metaphysics for our understanding of being as rooted in space moving through space.