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

Kuro

['Member']Joined: February 27, 2022 at 00:36Last active: February 17, 2023 at 11:383 discussions97 comments

Bio

WANDER

Favourite Philosopher

Al-Ma'arri, Leibniz, Hume, Schopenhauer, McTaggart, Husserl, Pierce, Frege, Russell, Prior

Favourite Quotations

The whole problem with the world is that fools and fanatics are always so certain of themselves, and wiser people so full of doubts.

- Bertrand Russell

Discussions (3)

All That Exists

September 05, 2022 at 21:36 140 comments Metaphysics & Epistemology

Comments

In: Nature of the Philosophical Project  — view comment
You might be implicitly presenting a science-philosophy duality in your post, which is really a modern artifact. Adam Smith was a social philosopher, ...
October 11, 2022 at 01:03
In: An analysis of truth and metaphysics  — view comment
Ohh I'm actually familiar with this, I've recently read chapter 16 of Hughes & Cresswell after your recommendation. I fully understand: by relativizin...
October 06, 2022 at 05:02
In: An analysis of truth and metaphysics  — view comment
My issue isn't with modal logic here. I'm just unsure why you're characterizing modal logic as ones that deal with existence predicates: most modal lo...
October 03, 2022 at 06:00
In: An analysis of truth and metaphysics  — view comment
Correct. Correct. I was just making sure, because this formula translates to FOL= extended modal systems like FOL + S5, but it's obviously trivial and...
October 03, 2022 at 05:39
In: An analysis of truth and metaphysics  — view comment
Are you referring to the E formula from FOL= (and similar systems), such that Exists(x) =df ?y y=x? While that's certainly an 'existence predicate', i...
October 02, 2022 at 19:33
In: An analysis of truth and metaphysics  — view comment
Several families of wholly non-modal logics have existence as a predicate: free logics, inclusive logics, Meinongian logics et. cetera. Traditional mo...
October 02, 2022 at 07:23
In: The Largest Number We Will Ever Need  — view comment
I will say that the benefit of virtue ethics is that you'll no longer have to reconsider this in straightforward situations that are not ethical dilem...
September 28, 2022 at 20:56
In: The Largest Number We Will Ever Need  — view comment
Absolutely correct: the level of crank on this site is ridiculous Interestingly enough, Avicenna's argument against (mereological) atomism was that ap...
September 18, 2022 at 07:59
In: Interested in mentoring a finitist?  — view comment
Your proposal is finitism. It's a cool proposal and an interesting philosophical topic on its own right, but entirely unrelated to the paradox you wer...
September 18, 2022 at 07:49
In: Interested in mentoring a finitist?  — view comment
Nothing is wrong with this view except that it misses the point of the paradox, which isn't related to a literal physical dart (we have no idea ifphys...
September 17, 2022 at 00:12
In: A serious problem with liberal societies:  — view comment
The royal family doesn't make for the best role models.
September 13, 2022 at 05:29
In: Interested in mentoring a finitist?  — view comment
All impossible propositions have probability 0, but not all probability 0 propositions are modally impossible. For instance, the probability of number...
September 13, 2022 at 04:59
In: The Largest Number We Will Ever Need  — view comment
It correctly falls under 'contemporary analytic virtue ethics', and is not consequentialist in the substantive sense of the word but the trivial one (...
September 13, 2022 at 04:34
In: The Largest Number We Will Ever Need  — view comment
If you know a thing or two about that quote you agree with, you'd know that I'm not employing a utilitarian framework here* (though I'm delighted that...
September 12, 2022 at 07:11
In: All That Exists  — view comment
The notion of cardinality is much simpler, in fact, I'd wager you're already familiar with it (save for its technical term): it's just the amount of m...
September 12, 2022 at 07:02
In: The Largest Number We Will Ever Need  — view comment
This is similar to my diagnosis. I find myself as frequently frustrated as Mr. Tones with respect to the mathematical, logical or other formal/technic...
September 11, 2022 at 23:29
In: All That Exists  — view comment
Cantor's theorem never says that a set is larger than itself, rather, it says that a set's powerset is larger than itself. Obviously, Cantor's theorem...
September 11, 2022 at 23:20
In: Agrippa's Trilemma  — view comment
The fact that you're asking for an argument to prove this kind of presupposes the thing being proven, but nevertheless, I'd cite Conee, who argues for...
September 11, 2022 at 05:52
In: All That Exists  — view comment
Any & all satisfy my argument, whether you allow urelements like in NF or stick purely to sets like in ZF, ZFC or FST. There is absolutely no need for...
September 11, 2022 at 05:43
In: Ego/Immortality/Multiverse/Timelines  — view comment
Suppose a lottery out of ten billion atoms in some universe, where there will only be one winner selected at random. The probability of any atom being...
September 11, 2022 at 01:23
In: All That Exists  — view comment
It was. Using "normal set theories" like ZF or ZFC was your suggestion, not mine. I was evaluating your proposal from a much more generalized perspect...
September 11, 2022 at 01:12
In: All That Exists  — view comment
He can pretend sets exist while using ZF/C, it's not a problem. This is not the problem. "The set of all that physically exists" is not a set in ZF/C....
September 10, 2022 at 22:05
In: All That Exists  — view comment
The physicalist takes that all that exists is physical. In set theory, the universal set is the set of all that exists. Therefore, per extensionality,...
September 10, 2022 at 21:37
In: All That Exists  — view comment
By moving their fingers to put down ink or press keys on a keyboard, in the same way anyone else can use set theory. In the same way atheists and Chri...
September 10, 2022 at 21:30
In: The Largest Number We Will Ever Need  — view comment
Sure. You were not arrogant about it. Extra brownie points.
September 10, 2022 at 21:25
In: All That Exists  — view comment
Reread: FOL and set theory is extensional. Why is it the case that so many of these queries are pre-emptively addressed?
September 10, 2022 at 21:24
In: The Largest Number We Will Ever Need  — view comment
No need to hammer something down when my previous post already agreed that, per set-theoretic context, you were correct. You can relax. I simply made ...
September 10, 2022 at 21:19
In: All That Exists  — view comment
First-order logic, including set theory (a theory in the language of FOL), are extensional, so in the case of "everything" and "physical stuff" then i...
September 10, 2022 at 21:15
In: All That Exists  — view comment
The universal set is the same as "the set of all that exists". In physicalism, "all that exists" is just physical stuff (though this does not mean "ex...
September 10, 2022 at 21:04
In: All That Exists  — view comment
Using "normal set theory" (suppose, it is ZF), then your argument is not even tenable This set would violate the pairing axiom by being subsumed throu...
September 10, 2022 at 20:58
In: The Largest Number We Will Ever Need  — view comment
I responded based on the quotation of him where he says "part is equal to whole" - this is what you've included in your post in whole with no further ...
September 10, 2022 at 20:52
In: All That Exists  — view comment
Nope. This has already been addressed: This "physicalism-constrained set theory" fails not only the powerset axiom but basic set-builders like joining...
September 10, 2022 at 20:27
In: All That Exists  — view comment
The set of all that exists is contradictory. Indeed. No sets exist if physicalism is true.
September 10, 2022 at 20:19
In: The Largest Number We Will Ever Need  — view comment
It's kind of funny in retrospect how arrogant you came off in accusing Agent Smith, while, unknowingly, you are completely wrong! Part and whole have ...
September 10, 2022 at 20:18
In: All That Exists  — view comment
No? I'm saying that the non-existence of the set of all that exists is an issue far prior to the philosophy of mathematics (namely because it's an iss...
September 10, 2022 at 20:04
In: All That Exists  — view comment
Of course, so is Hartry Field, and so is my capability to pray while not assenting to "God exists". Reasoning about mathematics and believing in a phi...
September 10, 2022 at 19:06
In: Divine Hiddenness and Nonresistant Nonbelievers  — view comment
Deism and other forms of theism will not necessarily want people to believe in them
September 10, 2022 at 18:48
In: All That Exists  — view comment
(2) is no different than (3) or a contradictory Russell set or some ordinary {a, b, c} set. The members of the set in (2) physically exist, but the se...
September 10, 2022 at 18:44
In: All That Exists  — view comment
Incorrect. This is a Meinongian there-is/exists distinction which has been proven inconsistent by Russell and largely abandoned ever since (I can elab...
September 10, 2022 at 18:29
In: Should Philosophies Be Evaluated on the Basis of Accuracy of Knowledge or on Potential Effects?  — view comment
I follow Russell, Quine, et. al in seeing there just being one mode of inquiry, which can be arbitrarily subdivided into that one inquiry across sever...
September 10, 2022 at 18:09
In: Agrippa's Trilemma  — view comment
Excellent: exactly my point. :)
September 10, 2022 at 18:03
In: All That Exists  — view comment
(1) entails that no sets exist, including that set in (3) regardless of its incoherent status. It could be any ordinary set, like a set of an apple, s...
September 10, 2022 at 18:00
In: All That Exists  — view comment
If you assume physicalism, the set of all that exists, let alone the set of anything, since sets are not physical objects neither identical to their p...
September 10, 2022 at 17:40
In: Agrippa's Trilemma  — view comment
No! This is not correct, the PSR is not an epistemic principle regarding justification. The PSR is a metaphysical principle regarding explanation, tha...
September 09, 2022 at 22:37
In: Agrippa's Trilemma  — view comment
Unlike logical circularity, which only makes for an unpersuasive argument (i.e. Q, thus Q) which is uninformative, epistemic circularity is actually n...
September 09, 2022 at 22:32
In: All That Exists  — view comment
Correct, hence why platonism and nominalism about mathematics here is far-reaching and beyond the closer phenomenon at hand, being just that universal...
September 09, 2022 at 22:23
In: All That Exists  — view comment
There's no point I missed: no where in any of my entries I equivocated sets with powersets. Tegwar does not contain all that exists in that universe, ...
September 09, 2022 at 00:41
In: All That Exists  — view comment
I've read your other (later) post prior to this one, but coincidentally it indulges in the same error that I pointed out in my response to your later ...
September 08, 2022 at 17:39
In: All That Exists  — view comment
No mathematician will ever tell you that discussing whether abstract objects, like mathematical objects, really exist in the world or are just contain...
September 08, 2022 at 17:34
In: All That Exists  — view comment
It's mereologically complex, and thus a composite by having mereological parts (as in, the parthood relation P). It is not a set, though there exists ...
September 08, 2022 at 07:02
⇧