I’m not sure of the utility of your bringing up modal logic repeatedly. From what I recall from philosophy, modality in logic stretches back at least to Abelard, and there are hints of it in Aristotle, even. It’s simply that division of logic which deals with that which is necessary, possible and impossible, right? So, it is separate from truth-functional logic, I guess, but what’s the point you’re making here?
My point is that modal logic is being invoked in the argument, but it seems that the argument’s author felt he could swap out the modal “necessary” for the Catholic’s metaphysical “necessary.” They aren’t interchangeable terms, and if terms foreign to a logical system are introduced, they should at least be properly defined before the argument is made.
Necessity is not defined as a god-like quality in T,D,B,K,S1,S2,S3,S4,S5, or any other modal logic I’ve heard of.
Alright, let’s attempt two things here in reply. First, since not many Catholics are going to be indeterminists, and yet will hold that their own existence is merely posssible, it is on you to show how a deterministic universe entails that you are a metaphysically necessary being.
This doesn’t necessarily cross into metaphysics, and that’s part of your problem here: you’re making a modal issue into a metaphysical issue for no apparent reason. But if you want me to explain, then so be it:
Determinism more or less holds that all sets of circumstances are caused by previous sets of circumstances and that the current set of circumstances will do the same for future circumstances. These circumstances are wholly caused by their predecessors, and so they are determined by them. No uncaused elements play a part, so there is no randomness.
Now, I’ll be generous with my explanation. You’re a Catholic, and so you presumably believe that God was all that existed at one time, correct? (Though you might argue that God exists outside of time, but that’s not important here.) So let the original set of circumstances in the universe (the sum total of all that exists) be A, which Catholicism would claim contains God alone. In essence, God=A, and all consequent sets of circumstances will be the letters that follow.
According to the determinist, the nature of “A” determines that it will act in a particular way, producing a set of circumstances “B.” The same goes for B, as it is determined to create C, and so forth. We can symbolize the implications as such:
- A
- A → B
- B → C
- C → D
…
We could continue indefinitely, no? But to save time, we’ll call the present set of circumstances–the conditions we’re living in now–“Z.” Would we not eventually reach the point where Y implies Z? Truly, this whole scheme works like a syllogism wherein “A implies B; B implies C; therefore, A implies C.” The idea is the very same; eventually, we could see that A implied Z on this chain of implications all along, and so we were destined to be from the very beginning.
That is, even if a Catholic grants determinism (which to some extent he must), why would it follow from that that our own existence is necessary. I see no connection between the two. So, what is the argument?
What is the difference between saying, “A determines B” and “A necessitates B?”
Let’s agree on some basic definitions. A necessary being is one which cannot not exist.
I’m with you so far…
A possible being may or may not exist.
No. Even the most basic texts on modal logic will inform you that necessary entities are also possible entities. If “possible” means “may or may not exist” then we would be saying, “Necessary beings may or may not exist,” which is clearly absurd. This is why the term “contingency” is needed. A contingent being may or may not exist. All we know about possible beings is that they may exist; we don’t know whether it is possible that they not exist.
Regarding your list, please define “potential” in a way that is consistent with your usage.