You are viewing the historical archive of The Philosophy Forum.
For current discussions, visit the live forum.
Go to live forum

Zuhair

['Member']Joined: August 24, 2019 at 09:29Last active: November 17, 2020 at 08:236 discussions126 comments

Bio

An amateur of logic & philosophy of mathematics

The founder of acyclic comprehension axiom.

Favourite Philosopher

Hume, Bertrand Russell

Discussions (6)

Comments

Dear Anna, What you say is too contrived to be true! Would you let your child to choose the road that leads to her being for example kidnapped, while ...
October 30, 2020 at 19:17
I didn't claim an absolute platonic approach to mathematics, definitely not. But it appears to me that once we get to think about some mathematical pr...
December 14, 2019 at 18:44
Honestly I think its both cases. Some structures were actually contemplated due to their own beauty in a platonic world, while others raised secondary...
December 14, 2019 at 14:30
I don't see where you differ with me. Mathematics can also speak of patterns that had not been yet observed! Because it tackle all possible structures...
December 14, 2019 at 11:29
Its nice to be informed of that. But my knowledge about those issues is damn sketchy. And so I have no say in such subjects. Thanks for your informati...
December 13, 2019 at 16:15
That's not what I've asked about in my last comment. I wanted to know how the "uncertainty principle" is the error of applying an unsound mathematical...
December 12, 2019 at 18:06
Oh! but that's cornerstone in Quantum mechanics, isn't it? I always hear about a lot of strange conclusions in quantum theory like all possible worlds...
December 11, 2019 at 18:48
I want examples of those, I mean of the undesirable consequences in the particles of particle physics. Which known examples you are referring to?
December 11, 2019 at 13:23
I never admitted that they are not sound. They are indeed sound of what they are describing in the platonic sense. And if platonic sense proves to be ...
December 10, 2019 at 17:31
Name me ONE conclusion that ZFC proved about arithmetic that is not sound?
December 09, 2019 at 20:02
If you are working within a FINITE fragment of ZFC, then the result is always arithmetically SOUND (that if ZFC is consistent). It's a matter of techn...
December 08, 2019 at 20:43
No! not always, if the proof is carried in a FINITE fragment of ZFC, and the proved statement is an arithmetical statement, then this is already known...
December 07, 2019 at 17:13
I just want to give an example of a sentence that is highly related to the finite mathematics, that can find a solution in a system that speaks of inf...
December 06, 2019 at 09:25
It is not enough to point it as bad, with mathematics you must demonstrate an alternative system with superior utility, something that is better. Once...
December 06, 2019 at 06:40
I find myself in full agreement with what you said! However, I do think that imperfections would sooner or later show themselves, no matter how much u...
December 04, 2019 at 12:54
Yes, I would agree with that of course. But it need not be so really. The issue here is that if we have something useful, even if it is not the best, ...
December 04, 2019 at 10:09
I'll put this as a separate reply. Because it speaks about role 1 (see prior comments). Now role 1 is the real issue. Because role 2 is not fundamenta...
December 03, 2019 at 18:25
It is sound! because it is the pure conclusion of the original sound theory. I'm just using theory A as a facilitator and then I'm checking it again i...
December 03, 2019 at 05:33
*stronger* is a logical term. Theory A is stronger than theory B if and only if every statement provable in B is provable in A, but not every statemen...
December 03, 2019 at 00:27
Unfortunately you are not following what I'm saying. I'm speaking of two roles that a stronger theory (deductively speaking) can play. The FIRST role ...
December 02, 2019 at 22:36
It doesn't matter whether its makes sense in relation to the real physical world or not! The point is that it can serve as a strong reducer of proof l...
December 02, 2019 at 19:26
I read all of the above account of yours carefully. It is really nice. I should say that it added a lot to my knowledge. So Thank you for that. There ...
December 02, 2019 at 10:50
Hi Metaphysician Undercover! I also cannot understand what you've wrote. I think we are departing a part. My argument was a very simple argument. I wa...
December 01, 2019 at 18:38
This is indeed a very big subject. And what you've said is reputable. Indeed some imminent mathematicians took that stance, and even a much more aggre...
November 30, 2019 at 17:32
I'm not really sure of that? But as part of history of mathematics, mathematics prior to the 19th century were very cautious when speaking about the i...
November 27, 2019 at 17:11
Yes. Actually I find myself in total agreement with what you said in this particular last comment. Of course we are speaking about mathematics judging...
November 26, 2019 at 15:41
This is TRUE of many mathematical disciplines. For example a lot of set theory stuff is so imaginary that it might not even find any application at al...
November 25, 2019 at 19:13
Yes, I think there is an intermediate position. Mathematics is producing rule following obedient fictional objects and scenarios. However, those happe...
November 25, 2019 at 17:48
You can! The hierarchy would be more of a mold, a frame, that suites a generality purposes. Of course in the particular application the hierarchies wo...
November 25, 2019 at 13:56
You Can! if your aim was to FOUND (i.e., lay the basis for) matters with. We leave "tight" and "loose" like blanks to be filled with the relevant appl...
November 25, 2019 at 10:55
Ok, I agree it would be eternal since its not actually breakable. But why it can have no parts? Any object is itself a part of itself. Perhaps you mea...
November 23, 2019 at 07:31
As attractive as it sounds, this proves to be extremely difficult. Experience along such lines are moot. Its hopeless. Without a hierarchy of sets, or...
November 22, 2019 at 22:03
I'm speaking within the confines of a mathematical realm, some platonic realm in which time doesn't cause any change to connection relations. So what ...
November 22, 2019 at 17:17
Actually from experience with mathematics. We do need a hierarchy of sets. The other alternatives are not so promising. I find temporal versus spatial...
November 22, 2019 at 14:39
Well I do agree that having a common description imply some material connection, but that connection is not the connection that imply inseparability. ...
November 22, 2019 at 08:16
My outcast is descriptive, while your's is largely etiologic! Collections can be fairly described and recognized up to identity without resorting to a...
November 21, 2019 at 18:55
No this is wrong. A collection can exist and be apprehended without having any representative, or even if it has a representative, the apprehension of...
November 21, 2019 at 16:55
I never said that, nor did I claim it. Actually what I said refutes that! You didn't correctly understand what I was saying! I cannot agree more! Of c...
November 20, 2019 at 17:25
All of those have their wholes, For any predicate that hold of apples there is a totality of all apples fulfilling that predicate. And those totalitie...
November 19, 2019 at 13:21
Not it doesn't. Because it doesn't meet the definition of ">", here is the definition: X > Y if and only if there is an injection from Y to X, but the...
November 18, 2019 at 18:10
No that is not correct. If you show me three or more apples, the totality object would be some OTHER object. I just showed you two particular apples (...
November 18, 2019 at 13:59
So in your sense if I bought two applies today, then I only have two objects, that is the apples themselves, there is no other object that is the tota...
November 18, 2019 at 09:41
Well you seem to refuse tribe as an object, well this is a deep point. Anyhow to me a tribe, a herd, a bunch, etc.. all of those are objects, and they...
November 17, 2019 at 18:41
Hmmm.. I see the confusion here, OK, when I said a relationship between tribe(s), I only meant that each of its arguments is a tribe. That's all. It d...
November 16, 2019 at 14:41
S||S is a particular case of A||B; also C||D when C, D are disjoint tribes is also a particular case of A||B. To complicate the situation we may even ...
November 16, 2019 at 09:48
No! you are confusing matters. Notice my original statement: Notice the "if and only if", the above statement is a DEFINITION of "||". Notice that it ...
November 15, 2019 at 08:11
Yes, I'm refusing this. "AND" here is "logical conjunction", it specifically means a function from the truth value of each statement linked by "AND" t...
November 14, 2019 at 19:12
Not it is NOT justified! Because we are using the "AND" in the GENERAL case of definition of marriage between any tribes A,B (whether A, and B are the...
October 24, 2019 at 11:41
Honestly I failed to see the "equivocation" you are referring to. "S" represents the WHOLE tribe, it represent all 50 woman and 50 men, i.e. it repres...
October 23, 2019 at 23:52