in this thread we shall become logicists and take up their ambition to reduce mathematical truths to logical truths...
we'll get out of russell's paradox and establish the true foundation of mathematics!
it took Frege and Russell their whole life to fail at this...but today...on this thread (and before bedtime)...MBTI Central will win...
[hahaha, i would consider this spam...so lame....hahaha]
User Tag List
Results 1 to 7 of 7

10072008, 06:13 PM #1
we will prevail where frege failed...

10072008, 08:37 PM #2

10072008, 09:48 PM #3
Accept the past. Live for the present. Look forward to the future.
Robot Fusion
"As our island of knowledge grows, so does the shore of our ignorance." John Wheeler
"[A] scientist looking at nonscientific problems is just as dumb as the next guy." Richard Feynman
"[P]etabytes of [] data is not the same thing as understanding emergent mechanisms and structures." Jim Crutchfield

10082008, 12:10 AM #4

10082008, 12:15 AM #5
For general information on the subject, I recommend this video. Very informal discussion between Bryan Magee (popularizer of philosophy) and A.J Ayer (a philosopher who is well acquainted with Russell personally and his work). This video is intended to be understood by a layman, does not presuppose much knowledge of philosophy of mathematics.
YouTube  flame0430's Channel
Russell's paradox has already been resolved by Russell himself later in Principles of Mathematics. Principles of Mathematics, P.527 (the very end) the section "Contradiction arising from the question whether there are more classes of propositions than propositions".
Russell's paradox is as follows. Suppose we have a team of baskebtall players, all players are part of the class. Yet the team itself is not a basketball player, therefore it is not part of the class, contrary to what Frege has maintained.
Russell's Paradox [Internet Encyclopedia of Philosophy]
This could be avoided by carefully defining our terms where our logical operations will not require for the group of entities we are dealing with to have the same membership status as the members that inhere within it. " The only method of evading this difficulty is to deny that propositional concepts are individuals; and this seems to be the course which we are driven". Principles of Mathematics P.526 More is stated on this in the 'Theory of Types' which is the second section in the article below and the section in PPs 525527 in Principles of Mathematics. With the way types are defined, the question does not even arise whether or not a type is a property of itself.
Russell's Paradox [Internet Encyclopedia of Philosophy]
As for Frege's attempt to reduce Mathematics to logic, this cannot be done as Frege has envisaged, as translation of some logical ideas to mathematical requires the use of some nonlogical symbols. In the most formal sense of the terms, the two do not share an identity, as they operate on different symbols. However, the essence inherent in both of them is the same. Namely, they are both concerned with the proper laws of our reasoning. Logic represents elementary patterns of proper reasoning, mathematics is the sophistication thereof. As Russell himself wrote in the Introduction to Mathematical Philosophy, Amazon.com: Introduction to Mathematical Philosophy,
in paraphrase, logic is analogous to mathematics as boy to man, if it was not so, where in Principia Mathematica logic ends and mathematics begins?
As for Frege's treatment of the subject, I recommend this article, Frege's Logic, Theorem, and Foundations for Arithmetic (Stanford Encyclopedia of Philosophy).Last edited by SolitaryWalker; 10092008 at 03:31 AM.
"Do not argue with an idiot. They drag you down to their level and beat you with experience."  Mark Twain
“No man but a blockhead ever wrote, except for money.”Samuel Johnson
My blog: www.randommeanderings123.blogspot.com/

10082008, 01:59 AM #6
Ok, good. But I have a completely different way of conceptualizing: (1) russell's paradox, (2) the responses, and (3) the fate of Frege's project.
Very briefly (because I'm not sure how much you care about my version of the story):
(1) Russell's paradox is generated by the combination of (a) the Naive Comprehension Axiom (every concept has an extension), and (b) the Rule of Substitution (every open sentence which defines a condition on objects corresponds to a concept).
(2) Responses to the Paradox: The two solutions are (a) The Theory of Types (which tries to find a non ad hoc way to restrict what counts as a genuine property), and (b) ZermeloFrankel Set Theory (denies that there is a set for every property).
(3) The Fate of Frege: Two respects in which the elements which generate the paradox are deeply entrenched in Frege's entire programme. (a) getting big enough classes (he needs there to be an infinite number of objects in order to secure the result that every number has a successor), and (b) Hume's Principle (the fact that Frege derives Hume's Principle from Basic Law 5)
I'll elaborate if asked.
lol: I posted this as a response to my thoughts regarding online threads. Most threads try to square an issue posed by a member. The benefit of the community then is to bring a group of minds together to deal with, and resolve, the issue. I found it funny that this purpose is meaningless in the face of certain issues (ie: salvaging Logicism) even though thousands could work on it. Is this medium therefore only useful for trivial issues? Depends on what you consider trivial. But read my first post with this in mind and you'll see what I mean.

10082008, 04:56 AM #7
This does not define Russell's paradox and I fail to see the difference between your conception of the notion and mine. Clarify.
I am familiar with the theory of types, yet you should explain what ZermeloFrankel Set theory is.
Why must there be an infinite number of objects in order for every number to have a successor? Numbers are not objects, but merely abstract figures of objects. Here we encounter the distinction between existing mathematical entities, finite sets and mathematical possibilities. Numbers inhere within mathematical possibilities and there is no reason why every number could not have a successor owing to the fact that a set of natural numbers is infinite.
Yes you should? Which of Hume's principles are you talking about? His epistemology is very extensive."Do not argue with an idiot. They drag you down to their level and beat you with experience."  Mark Twain
“No man but a blockhead ever wrote, except for money.”Samuel Johnson
My blog: www.randommeanderings123.blogspot.com/
Similar Threads

[SJ] WE WILL BUILD A TYPOLOGY BASED CARTOON TV SHOW
By EnnisPreit in forum The SJ Guardhouse (ESFJ, ISFJ, ESTJ, ISTJ)Replies: 6Last Post: 07062017, 07:07 PM 
The people we will never type and will only derail a thread
By ZPowers in forum Popular Culture and TypeReplies: 26Last Post: 04052011, 05:54 PM 
Place your bets on: The people we will never type and will only derail a thread
By wolfy in forum The Fluff ZoneReplies: 5Last Post: 04032011, 08:20 PM