Is There Meaning in an Empty Universe?

[honestrosewater]

Do I understand correctly that the universe, x, is empty just in case [\exists x (Px)] is false and [\forall x (Px)] is true?
Is there anything interesting about empty universes? I don't have any problems with them yet, but I'm not sure how to think about them. That is, they seem to be lacking some meaningfulness that non-empty universes have. For instance, in an empty universe, [(\forall x (Px)) \wedge (\forall x (\neg Px))] is always true. So what does Px mean in a non-empty universe? What does it mean when [(\forall x (Px)) \wedge (\forall x (\neg Px))] is false? I think I am wrongly attributing some kind of meaning to Px and, perhaps, to propositions in general.
Edit: Eh, I guess when the universe is empty, the truth-values of all propositions are already determined. Or, rather, determining that the universe is empty is equivalent to determining the truth-values of all propositions.? I mean, doesn't determining the truth values of [\forall x (Px)], [\neg (\forall x (Px))], [\forall x (\neg Px)], and [\neg (\forall x (\neg Px))] tell you everything?

 

[chound]

What??

 

[honestrosewater]

Ooh, I have another question.
\begin{array}{|c|c|c|c|c|c|}\hline \forall x (Px)&amp;\neg (\exists x (\neg Px))&amp;T&amp;T&amp;F&amp;F\\\hline \neg (\forall x (Px))&amp; \exists x (\neg Px)&amp;F&amp;F&amp;T&amp;T\\\hline \forall x (\neg Px)&amp; \neg (\exists x (Px))&amp;T&amp;F&amp;T&amp;F\\\hline<br /> \neg(\forall x (\neg Px))&amp;\exists x (Px)&amp;F&amp;T&amp;F&amp;T\\\hline \end{array}
(Eh, this is not a truth table and is conveniently redundant. Propositions in the same row are logically equivalent. Rows 1 & 2 and 3 & 4 are contradictory.)

Column 3 lists truth-values in the empty universe, IOW, when [(\forall x (Px)) \rightarrow (\exists x (Px))] is false. Columns 4, 5, & 6, together, list possible truth-values in a non-empty universe, IOW, when [(\forall x (Px)) \rightarrow (\exists x (Px))] is true.
What about columns 4, 5, and 6, considered separately? Are they inconsistent? I'm asking this mostly because I think it's an interesting question, not so much because I want a yes or no answer.

 

[honestrosewater]

What??

Sorry, it took me a while to make that table (my first).
Do you not understand what I said, or do you understand it but have a problem with it?
Eh, I don't mean the "real" universe- it's just a logical term.

 

[chronon]

Propositions in the same row are logically equivalent.

I don't think that you can claim this if you assume that "For all x ..." implied that "There exist x ..." (as Aristotle seemed to do). For instance taking the universe of unicorns in my garden, (which seems to be empty at present), and P to be the property of having a horn, then the first expression in your second row says that "it is false that all unicorns in my garden have a horn", which is true with Aristotle's assumption, while the second expression says that there exists a hornless unicorn in my garden, which is false.

 

[chound]

Dont bother ecksplainin it to me. I wouldn't understand! Not in a million years!

 

[honestrosewater]

I don't think that you can claim this if you assume that "For all x ..." implied that "There exist x ..." (as Aristotle seemed to do). For instance taking the universe of unicorns in my garden, (which seems to be empty at present), and P to be the property of having a horn, then the first expression in your second row says that "it is false that all unicorns in my garden have a horn", which is true with Aristotle's assumption, while the second expression says that there exists a hornless unicorn in my garden, which is false.

They are equivalent in predicate logic. google DeMorgan laws for quantifers or quantifer negation.
You're talking about subalternation (and the reverse, superalterntation) in Aristotle's logic. From what I've read, he actually phrased O statements as "Not every S is P" instead of the familiar "Some S is not P". So he avoided the problems arising from subalternation from E to (the familiar) O. (Aristotle rocks.)
Anywho, he did assume subalternation from A to I statements. The thing is that (I don't know all the implications of this but) statements in categorical logic translate to predicate logic as follows:
A: [\forall x (\neg Sx \vee Px)]
E: [\forall x (\neg Sx \vee \neg Px)]
I: [\exists x (Sx \wedge Px)]
O: [\exists x ( Sx \wedge \neg Px)]
So, for instance, A does not mean [\forall x (Px)], though they do seem to say the same thing at first. Your example would be [[\forall x (\neg Ux \vee Hx)] \rightarrow [\exists x (Ux \wedge Hx)]], where Ux: (x is a unicorn in my garden) and Hx: (x is horned). Ux is false, so the conditional is false, but the universe is not necessarily empty.
In "All S are P", existential import applies to S, while, in [\forall x (\neg Sx \vee Px)], existential import applies to Sx not to x. At least, that's how I understand things.

Eh, actually, maybe that wasn't your example, but the point still holds. It seems the universe (x) doesn't have any properties; Only elements of the universe (a, b, c, ...)have properties (P, Q, R, ...). This is confusing because the universe can apparently be empty and non-empty, which certainly sound like properties to me. Perhaps they are "metaproperties", for lack of a better word.

 

[cen2y]

[QUTOE]Do I understand correctly that the universe, x, is empty just in case [\forall x (Px)] is false and ~ is true? [/QUTOE]
No, it's when there's nothing possessing P(x), i.e. [\forall \neg x(Px)]
Then it is true, given that P is the property which defines whether something is "something in the universe" or not.

\forall x(\forall y(x(y)) \leftrightarrow \neg \exists y(\neg x(y))[/itex]<br /> Is a common rule posing no problems in classical logics what so ever.<br /> <br /> <blockquote data-attributes="" data-quote="" data-source="" class="bbCodeBlock bbCodeBlock--expandable bbCodeBlock--quote js-expandWatch"> <div class="bbCodeBlock-content"> <div class="bbCodeBlock-expandContent js-expandContent "> What does it mean when [(\forall x (Px)) \wedge (\forall x (\neg Px))] is false? </div> </div> </blockquote>That there&#039;s something that isn&#039;t both P and not P, i.e. there&#039;s something.<br /> <br /> <blockquote data-attributes="" data-quote="" data-source="" class="bbCodeBlock bbCodeBlock--expandable bbCodeBlock--quote js-expandWatch"> <div class="bbCodeBlock-content"> <div class="bbCodeBlock-expandContent js-expandContent "> I mean, doesn&#039;t determining the truth values of , , , and tell you everything? </div> </div> </blockquote>When correctly configured, yhey are all equivalent with the above stated ones, knowing the others means knowing these.&#039;<br /> <br /> <blockquote data-attributes="" data-quote="" data-source="" class="bbCodeBlock bbCodeBlock--expandable bbCodeBlock--quote js-expandWatch"> <div class="bbCodeBlock-content"> <div class="bbCodeBlock-expandContent js-expandContent "> (Eh, this is not a truth table and is conveniently redundant. Propositions in the same row are logically equivalent. Rows 1 &amp; 2 and 3 &amp; 4 are contradictory.) </div> </div> </blockquote>Row 3 and 4 aren&#039;t contradictionary.<br /> Row 3 states: Everything&#039;s not P, second says, There&#039;s no thing that is p. (I don&#039;t have a clue what your T/Fs for).<br /> <br /> <blockquote data-attributes="" data-quote="" data-source="" class="bbCodeBlock bbCodeBlock--expandable bbCodeBlock--quote js-expandWatch"> <div class="bbCodeBlock-content"> <div class="bbCodeBlock-expandContent js-expandContent "> Eh, actually, maybe that wasn&#039;t your example, but the point still holds. It seems the universe (x) doesn&#039;t have any properties; Only elements of the universe (a, b, c, ...)have properties (P, Q, R, ...). This is confusing because the universe can apparently be empty and non-empty, which certainly sound like properties to me. Perhaps they are &quot;metaproperties&quot;, for lack of a better word. </div> </div> </blockquote>You need to separate things which are supposed to be in the universe from things that aren&#039;t. Such as the universe itself. No need for &quot;metaproperties&quot;:

 

[honestrosewater]

No, it's when there's nothing possessing P(x), i.e. [\forall \neg x(Px)]
Then it is true, given that P is the property which defines whether something is "something in the universe" or not.

I have never seen [\forall \neg x] before (and I've seen a lot of different notations), and I don't understand what it means. Does [\neg (\exists x (Px))] not say the same thing?

\forall x(\forall y(x(y)) \leftrightarrow \neg \exists y(\neg x(y))[/itex]<br /> Is a common rule posing no problems in classical logics what so ever.

I don&#039;t understand this either- I don&#039;t understand the x(y) part or whether the ~ in &quot;~x(y)&quot; applies to x or to x(y).<br /> <blockquote data-attributes="" data-quote="" data-source="" class="bbCodeBlock bbCodeBlock--expandable bbCodeBlock--quote js-expandWatch"> <div class="bbCodeBlock-content"> <div class="bbCodeBlock-expandContent js-expandContent "> That there&#039;s something that isn&#039;t both P and not P, i.e. there&#039;s something. </div> </div> </blockquote>I was thinking more of what it means for properties. Do you know how predicates defined?<br /> <blockquote data-attributes="" data-quote="" data-source="" class="bbCodeBlock bbCodeBlock--expandable bbCodeBlock--quote js-expandWatch"> <div class="bbCodeBlock-content"> <div class="bbCodeBlock-expandContent js-expandContent "> Row 3 and 4 aren&#039;t contradictionary. </div> </div> </blockquote>How are rows 3 and 4 not straightforward negations of each other?<br /> <blockquote data-attributes="" data-quote="" data-source="" class="bbCodeBlock bbCodeBlock--expandable bbCodeBlock--quote js-expandWatch"> <div class="bbCodeBlock-content"> <div class="bbCodeBlock-expandContent js-expandContent "> Row 3 states: Everything&#039;s not P, second says, There&#039;s no thing that is p. </div> </div> </blockquote>How does row 4, [\exists x (Px)], say there&#039;s no thing that is P?<br /> <blockquote data-attributes="" data-quote="" data-source="" class="bbCodeBlock bbCodeBlock--expandable bbCodeBlock--quote js-expandWatch"> <div class="bbCodeBlock-content"> <div class="bbCodeBlock-expandContent js-expandContent "> (I don&#039;t have a clue what your T/Fs for). </div> </div> </blockquote>True and False. The propositions listed are either true or false- the table lists all the possible combinations. <br /> <blockquote data-attributes="" data-quote="" data-source="" class="bbCodeBlock bbCodeBlock--expandable bbCodeBlock--quote js-expandWatch"> <div class="bbCodeBlock-content"> <div class="bbCodeBlock-expandContent js-expandContent "> You need to separate things which are supposed to be in the universe from things that aren&#039;t. Such as the universe itself. No need for &quot;metaproperties&quot;: </div> </div> </blockquote>That&#039;s what I meant &quot;meta&quot; to do.

 

[Philocrat]

Do I understand correctly that the universe, x, is empty just in case [\exists x (Px)] is false and [\forall x (Px)] is true?
Is there anything interesting about empty universes? I don't have any problems with them yet, but I'm not sure how to think about them. That is, they seem to be lacking some meaningfulness that non-empty universes have. For instance, in an empty universe, [(\forall x (Px)) \wedge (\forall x (\neg Px))] is always true. So what does Px mean in a non-empty universe? What does it mean when [(\forall x (Px)) \wedge (\forall x (\neg Px))] is false? I think I am wrongly attributing some kind of meaning to Px and, perhaps, to propositions in general.
Edit: Eh, I guess when the universe is empty, the truth-values of all propositions are already determined. Or, rather, determining that the universe is empty is equivalent to determining the truth-values of all propositions.? I mean, doesn't determining the truth values of [\forall x (Px)], [\neg (\forall x (Px))], [\forall x (\neg Px)], and [\neg (\forall x (\neg Px))] tell you everything?

The best Logical form to answer your question is the very TITLE itself:

The universe is empty...WHEN... the universe is empty!


Or if you wanted to take the TL (Transitional Logic) route, you could formally declare:

The Universe is empty ...UNTIL...the universe is not empy!

Generalisation may be useful in demostrating knowledge of Formal Logic, which you have successfully done here, but rarely does it ever answer questions that are being asked about the Epistemological Status of the world or the universe. Yes, you may successfully demonstrat in general terms what logically applies given various logical possibilities as some of you have done, but you still have to epistemologically, let alone metaphysically, demonstrate how a given possibility is or may be actually the case. You need some criteria deduced from an argument as to under what actual conditions may we scientifically declare the universe completely empty. What does it really take for a universe to be empty? You could still use the same Predicate calculus as you have done and say something like.


Take anything, if it has the property of being a universe, is completely empty when conditions x1, x2, x3...xn are true?

When you do this, you are now fundamnetally operating at the level metaphysics even though you are still formally bound by logic. My fear is that at this metaphysical level things may get fuzzier and your argument crumbles and ends in a non-logical verdict of INDETERMINACY OF THE EPISTEMOLOGICAL STATUS OF THE UNIVERSE. Under this result it becomes impossible to know when to declare the universe empty.

This is important because, metaphysically, you would be confronted with so many problems such as determining what constitutes the actual things that can occupy a universe? What should count as things and what should not count as things that could occupy it? What about the actual physical laws that hold the universe together...would you include or exclude these? Even if our universe were structurally like an inflated baloon, would you count both its internal and external boundaries as things?

And even more a more problematic metaphysical question is this:

Supposing our universe were a SEMI-CLOSED SYSTEM such that it became partially dependent upon external things for self-sustainment, would you count these externally introduced dependencies as things that could occupy it?


The questions are just endless, whether metaphysically, formally or epistemologically. I am only suggesting that your question is not the type that necessarily requires formal logical proof. There is more to this question than taking the formal dimension.

 

[honestrosewater]

Philocrat, Thanks for trying, but as I already said, I'm not talking about that kind of universe. I am talking about the "universe of discourse". I said "universe" because it's shorter, and I thought it would be clear that I meant it as a logical term. The universe, as I intend it, is a collection of individual constants, like unicorns, men, sentences, numbers, etc., and, in my examples, is denoted by the individual variable "x", as I said. My question is about logic not physics or metaphysics or ontology or epistemology.

 

[Chronos]

I agree with Philocrat. Since observation suggests the universe permits you to ask this question, it clearly implies it is not empty. That renders the question unphysical and logically meaningless. If it is any consolation, there are many mathematical solutions to science problems that are also regarded as meaningless, because they too are unphysical [unsupported by observation].

 

[honestrosewater]

I agree with Philocrat. Since observation suggests the universe permits you to ask this question, it clearly implies it is not empty. That renders the question unphysical and logically meaningless. If it is any consolation, there are many mathematical solutions to science problems that are also regarded as meaningless, because they too are unphysical [unsupported by observation].

What universe? The physical universe? Because I am not talking about the physical universe![/size] Why don't you believe me?
And if it's unphysical, it's logically meaningless? Since when is logic an observational or physical science?
Edit: Sorry, I don't mean to be rude, if it sounded that way. Could you explain what you think the relationship is between being physical and being logically meaningful?
BTW, if that conditional is true, it's contrapositive is true. So if something is not logically meaningless, it's not unphysical. This may be the same as saying if something is logically meaningful, it's physical, depending on how some other things are defined.

 

[Philocrat]

Philocrat, Thanks for trying, but as I already said, I'm not talking about that kind of universe. I am talking about the "universe of discourse". I said "universe" because it's shorter, and I thought it would be clear that I meant it as a logical term. The universe, as I intend it, is a collection of individual constants, like unicorns, men, sentences, numbers, etc., and, in my examples, is denoted by the individual variable "x", as I said. My question is about logic not physics or metaphysics or ontology or epistemology.

The "universe of discourse" is a well understood quantificational device in formal logic. In Predicate Calculus we know that you use variables to formally denote and pick out the indvidual members of it. But the question that I keep on asking is:

Is that sufficient?

For the reality of things is that, long after you have successfully determined how to formally track the truth values of a given universe of dsicourse, you still have to demonstrate how all this epistemologically translate into scientifically valuable world view. You still have to say something about what it takes to declare that the real universe is empty. Formal Logic does formally model reality but says nothing about the actual facts of the world.

One other fundamental mistakes that is often made by the formalists is to assume that

1) When they are METAPHYSICALLY talking about the world, that there is no formal logic involved or that Logic as a whole is completely abandoned in the process

2) When they are making demands about the EPISTEMOLOGICAL STATUS of the world, that no logic of some sort is involved.

None of these two assumptions can be so straightforwardly true. Once you have formally modeled the world as we often do, no logic is abandoned when we are making direct metaphysical and epistemological demands about the actual state of the world. To say that the Universe is empty, or may be empty, implies that we have good and carefully deduced actual reasons for saying so. Would you say that this statement is formally redundant?

The universe is, or may be, empty because n numbers of actual physical conditions are, or may be, true.

There is nothing formally far removed from this direct statement about the universe. The formal content of this proposition is still 100% intact. From this point onward, it is therefore up to us or anyone to say what those actual n conditions are. Hence, epistemologically and metaphysically, the actual universe that we describe in this way is formally equivalent to your 'universe of discourse', except that here we are formally grounding things in actuality. Logic formally talks, but it is even stronger and more relevant when it says something concrete about the actual state of the world. On this, you are (or anyone esle is) free to blame me for trying to blur the line between Logic, Metaphysics and Epistemology.

 

[Philocrat]

CLEARING UP A FEW MISUNDERSTANDINGS

As I have mentioned before in some of my postings on this PF, ALL PROPOSITIONS ARE CONCLUSIONS OF FULLY DEDUCED FACTS ABOUT LOGICAL SPACE OR THE REAL WORLD. A Logical Space and the Physical World are formally equivalent. Now, let me say something about TRUTH and FALSITY of propositions.

1 LOGICAL TRUTH AND FALSITY

A proposition is LOGICALLY TRUE or FALSE by vitue of its LOGICAL FORM alone. For example:

a) If P then Q
b) If P then Q | P | therefore, Q
c) There is One and only one Universe and it is empty (Russell)

and so on. These are just a few of all the well-known logical forms that if true or false do so in virtue of their logical forms alone.

2 EMPIRICAL TRUTH AND FALSITY

A Proposition is Empirically true or false in virtue of the verifiable physical facts that it conveys about reality or the world. The mistake that is often made by the formalists is to assume that emperical facts automatically exclude logical facts from the causal and relational structure of the world. Of course, statements of fact about the world also contain logical facts. We visually detect the facts and logically order and validate them to combinantly secure their truth or falsity. Would you say that the following statements are quantificationally and formally redundant?

a) If am standing, then it is necessarily true that I am not sitting.

b) If I play any game, then it is necessarily true that there will be only one of three possible outcomes: Win, Lose or draw.

c) If Play any game, then it is possibly true that I will win.

d) The sun is shining

e) John is tall

f) Possibly, it will rain tomorrow

g) Come here now!

h) Have you stopped beating your wife? (Peter Strawon's Presuppositions)

i) Goodness me, what a waste!

j) The FAT sound filled the room

and so on. Well, I personally don't think so. All these types of statements have factual information about the world. Yet, their logical contents or forms are so subtle in some of them such that over the years many philosophers, especially the so-called 'analytical philosophers', have naively declared them epistemologically and logically truth-valueless. This is typical of questions, metaphors, exclamations and commands. That is, they are neither true no false. They refuse to accept that you can make a true or false statement even when you are only asking a question or commanding someone to do something. For example, if you command someone to get you a red book from an empty table, can your cammand statement be construed as containing or being devoid of truth values (true or false)? Or if you make an exclamation 'What a beautiful picture!' while looking at an empty wall, would you construe this as being true or false?

 

[honestrosewater]

The "universe of discourse" is a well understood quantificational device in formal logic. In Predicate Calculus we know that you use variables to formally denote and pick out the indvidual members of it. But the question that I keep on asking is:

Is that sufficient?

Yes, since I am only talking about logic.

For the reality of things is that, long after you have successfully determined how to formally track the truth values of a given universe of dsicourse, you still have to demonstrate how all this epistemologically translate into scientifically valuable world view. You still have to say something about what it takes to declare that the real universe is empty.

No, I don't. I'm not even sure what to say to that. I think your argument is doomed, by definition, but I'll see if I can get some clarity from someone.

Well, lucky me- grime et al have already made my point in "Is mathematics empirical?"

 

[Philocrat]

Yes, since I am only talking about logic.

No, I don't. I'm not even sure what to say to that. I think your argument is doomed, by definition, but I'll see if I can get some clarity from someone.

Well, lucky me- grime et al have already made my point in "Is mathematics empirical?"

Aquamarine, is right! If you read the second part of my posting #14 and the whole of posting #15 you should see and realize that Aquamarine and I are saying almost the same thing. Logic, regardless of its type, rigour and formal structure, must reflect completely the causal and relational structure of the physical reality or world.

REDUCTION OF MATHEMATICS TO LOGIC?

I think we have been wasting a great deal of time on this ... and we still do! For both are one of the same thing. Homework for the formalists: try and extract the LOGICAL and QUANTITATIVE contents of the following statements:

1) John is tall

2) Smith has given all Cambridge telephones (Wittgenstein's Foundation of Mathematics)

3) At least there is one Universe and at most there is one universe, and whatsoever has the property of being a universe is empty (Russell)

Which is equivalent to simply saying:

'There is one and only one universe and it is empy'

4) Have you stopped beating your wife (Peter Strawson's Presuppositions)

5) The voluptuous innocense of the artworks at the Tate Gallery screemed at the visitors (metaphors).

In NL (Natural Language), however vague things may sometimes appear, people do to a certain extent find their ways around these sorts of statements, in terms of trying to clearly express both their quantitative and logical contents. But from my own observation, it is the formalist who cause more chaos and problems than even the naive native speakers of NL. For it is the formalists who claim to know how to take Logic out of NL to purify by formalising it. While they claim to do so, some philosophers in the disciplines of Metaphysics and Philosophical Logic are beginning to:

(a) Examine the Fundamental relations between mathematics and logic

(b) Catigorise Logic. How many forms or types of logic are there?

(c) Question the formal structure of logic itself. How formal is Logic itself? Or how formal is formal?

(d) Question the relationship between Logic and Reality, which is equivalent to asking 'How much logic or formal structure of logic is contained in, or is captured by NL?

(d) Question how much mathematical content or structure of the world is captured by NL?

And so on. And worst still, the study of Philosophy of Langauge on its own is wrecking havoc in most of the logics, or logical forms and terms that were initially thought to be wholly conclusive. A deeper reflection on all this has revealed so many inconclusive terms and forms in logic and even mathematics itself.

NOTE: By this, I am not in any shape or form trying to discourage anyone from working with any of the logical forms and symbolisms that are currently in use. All that I am saying is that while more studies are being done in all these areas, we must as of now formally think and act in a manner that directly addresses the human reality. There is no room here for fantasy, let alone for trying to construct a separate formal language to enliven such fantasy, and, besides, even if this were possible at all in the first place, in the end such fantasy and its language must clearly reflect reality.

 

[honestrosewater]

I see your initial post in that thread, and questions along the lines of: if the domain of discourse is empty, is this or that formula "true" (I think you meant, a theorem).

I said proposition, and I meant proposition. I don't know what "true" is supposed to mean (what's with the scare quotes?).

But before anyone can answer your question they need to know what kind of logic you're talking about. If you're talking about first order predicate logic (which seems to me to be a reasonable assumption)

Fine, your assumption is correct.

then the answer to your original question is: that case never arises.

My book says the assumption that the universe is non-empty "has some techinical advantages and is adopted by most modern authors. However, it is not essential and some authors (for example, Wilfrid Hodges, Logic, Penguin 1977) do allow structures with empty domain. [sic]" So maybe your claim is "true".
I don't see how you can say the case never arises anyway- don't non-emptiness and negation define emptiness? And if [\forall x (Px) \Rightarrow Ex(Px)] in a non-empty universe, doesn't \neg [\forall x (Px) \rightarrow Ex(Px)] in an empty universe? (That was my initial question.)

So there's no point in taking it any further.

The empty universe is what I'm interested in and what leads to my other questions. If you aren't interested in it, fine. But saying there's no point in taking it any further because you can assume it's never the case doesn't satisfy me.

 

[CrankFan]

I don't see how you can say the case never arises anyway- don't non-emptiness and negation define emptiness?

The existential and universal quantifiers allow you to talk about various collections of things in the universe. You might possibly talk about an empty collection, but just because you can talk about empty collections doesn't mean that the domain of the quantifiers (the universe itself) is empty, and that's what empty universe or empty domain means.

(Ex)(Fx v ~Fx) is a theorem of FOPL. If you allow an empty universe it can't be a theorem.

And if [\forall x (Px) \Rightarrow Ex(Px)] in a non-empty universe, doesn't \neg [\forall x (Px) \rightarrow Ex(Px)] in an empty universe? (That was my initial question.)

I'm not sure if this is going to work but have a look at:

https://www.amazon.com/gp/product/0122384520/?tag=pfamazon01-20

Going on about how empty domains work out in FOPL is sort of like someone asking, what happens in a field if we multiply (2/0) by 2. The only reasonable answer is: that doesn't happen.

I can't answer your question about what \neg [\forall x (Px) \rightarrow Ex(Px)] means in an empty universe because I don't know enough about other logics that might permit that sort of thing. I'd suspect that there is more than one approach.

The empty universe is what I'm interested in and what leads to my other questions. If you aren't interested in it, fine. But saying there's no point in taking it any further because you can assume it's never the case doesn't satisfy me.

I don't have any problem with you perusing whatever interests you have. However if you're interested in something like empty domains of logic, division by zero, or non-well founded sets, then when you start to talk about those things with other people you shouldn't give the false impression that you're talking about FOPL, fields, or ZF set theory.

Also, remember that you jumped into a thread I was active in and posted something of questionable relevance. It's not like I came looking to disrupt your thread...

 

[honestrosewater]

Also, remember that you jumped into a thread I was active in and posted something of questionable relevance. It's not like I came looking to disrupt your thread...

Yeah, sorry, I could have handled that better.
On the rest of your post, I give up.

 

[Owen Holden]

What universe? The physical universe? Because I am not talking about the physical universe![/size] Why don't you believe me?
And if it's unphysical, it's logically meaningless? Since when is logic an observational or physical science?
Edit: Sorry, I don't mean to be rude, if it sounded that way. Could you explain what you think the relationship is between being physical and being logically meaningful?
BTW, if that conditional is true, it's contrapositive is true. So if something is not logically meaningless, it's not unphysical. This may be the same as saying if something is logically meaningful, it's physical, depending on how some other things are defined.

It seems to me that the universe of discourse is that which we permit as existent entities; surely a metaphysical issue.

If we assume that there are no existent entities, then, we have already produced a contradiction.

That there are no entities, cannot be said (with truth).
The saying of it, demonstrates an entity.
The saying of it shows its own falsity.

~(There are no entities), is tautologous.

 

[honestrosewater]

It seems to me that the universe of discourse is that which we permit as existent entities; surely a metaphysical issue.

If we assume that there are no existent entities, then, we have already produced a contradiction.

That there are no entities, cannot be said (with truth).
The saying of it, demonstrates an entity.
The saying of it shows its own falsity.

~(There are no entities), is tautologous.

What is an entity? Is a description an entity? Do entities have truth-values? Must all languages include all entities?

 

[Owen Holden]

What is an entity? Is a description an entity? Do entities have truth-values? Must all languages include all entities?

Entities are those things that do exist.

Described entities are entities iff their description refers.

Some entities, propositions, do have truth values.

Languages must include entities of differing types, don't you think so?

 

[honestrosewater]

Entities are those things that do exist.

If being an entity is equivalent to existing, what does, "It seems to me that the universe of discourse is that which we permit as existent entities" mean?
You can choose what to allow into the universe, yes? If so, why can't you choose to allow nothing into the universe?

Described entities are entities iff their description refers.

If their description refers to what- to something outside of the language that exists in some way the language cannot express?
And are descriptions themselves entities?

Some entities, propositions, do have truth values.

It seems to me that, as far as some logic need be concerned, some entity x existing could just mean that a certain proposition about or including x is true. You seem to want x itself to always be true. In that case, if all propositions are entities, all propositions are always true.

Languages must include entities of differing types, don't you think so?

I don't know; I'm not sure what an entity is. I suppose a language should at least have symbols and strings of symbols. Are symbols and strings of symbols entities?

 

[Bartholomew]

I've read about this once--the systems that allow empty universes of discourse are called "free logics." Yes, ~((x)(Px)-->(Ex)(Px)) in an empty universe. I don't think an empty universe is impossible; for example, it's common to say that the universe is something like the set of integers, so the universe does not necessarily include the statements which are part of the logical language, so letting the universe of discourse be empty is not impossible.

Interesting, that quote that there exists "one and only one universe, and it is empty." What is the universe of discourse which the quote concerns? For it to be true, presumably it would be the set containing the null set. That is an interesting point that usually the universe of discourse is not an element of itself, and so logically can be said not to exist.