| |
 |
|
|
Science Forum Index » Logic Forum » All panduks are green
Page 1 of 11 Goto page 1, 2, 3 ... 9, 10, 11 Next
|
| Author |
Message |
| Newberry |
Posted: Sun Apr 06, 2008 3:45 pm |
|
|
|
Guest
|
Does everybody agree that
"All panduks are green"
is meaningless? |
|
|
| Back to top |
|
| Marshall |
Posted: Sun Apr 06, 2008 4:13 pm |
|
|
|
Guest
|
On Apr 6, 6:45 pm, Newberry <newberr...@gmail.com> wrote:
Quote: Does everybody agree that
"All panduks are green"
is meaningless?
Panduk is a city in Indonesia. It's very tropical there.
That could be what you mean by it being green.
It seems to me you have to be a bit more specific.
I suppose what you want to say is, if a collection of
letters looks like a word but it has no definition, then
it is meaningless?
Marshall |
|
|
| Back to top |
|
| Newberry |
Posted: Sun Apr 06, 2008 6:52 pm |
|
|
|
Guest
|
On Apr 6, 7:13 pm, Marshall <marshall.spi...@gmail.com> wrote:
Quote: On Apr 6, 6:45 pm, Newberry <newberr...@gmail.com> wrote:
Does everybody agree that
"All panduks are green"
is meaningless?
Panduk is a city in Indonesia. It's very tropical there.
That could be what you mean by it being green.
It seems to me you have to be a bit more specific.
I suppose what you want to say is, if a collection of
letters looks like a word but it has no definition, then
it is meaningless?
My "panduk" is with a lower case p. But let me rephrase it. Does
everybody agree that
"All dukpans are green"
is meaningless? |
|
|
| Back to top |
|
| Newberry |
Posted: Mon Apr 07, 2008 2:40 am |
|
|
|
Guest
|
On Apr 7, 4:32 am, "Jesse F. Hughes" <je...@phiwumbda.org> wrote:
Quote: Newberry <newberr...@gmail.com> writes:
Does everybody agree that
"All panduks are green"
is meaningless?
If "panduk" is a meaningless term, then that sentence is meaningless.
If "panduk" is a defined term, then that sentence is meaningful
whether there are panduks or not.
Would it be fair to say that "all panduks are green" is meanigless
because "panduk" does not have a denotatum? But "round square" does
not have a denotatum either. So
"All round squares are green"
ought to be meaningless as well. |
|
|
| Back to top |
|
| Jesse F. Hughes |
Posted: Mon Apr 07, 2008 6:32 am |
|
|
|
Guest
|
Newberry <newberryxy@gmail.com> writes:
Quote: Does everybody agree that
"All panduks are green"
is meaningless?
If "panduk" is a meaningless term, then that sentence is meaningless.
If "panduk" is a defined term, then that sentence is meaningful
whether there are panduks or not.
--
Jesse F. Hughes
"How come there's still apes running around loose and there are
humans? Why did some of them decide to evolve and some did not? Did
they choose to stay as a monkey or what?" -Kans. Board of Ed member |
|
|
| Back to top |
|
| Daryl McCullough |
Posted: Mon Apr 07, 2008 11:37 am |
|
|
|
Guest
|
Newberry says...
Quote: Would it be fair to say that "all panduks are green" is meanigless
because "panduk" does not have a denotatum? But "round square" does
not have a denotatum either. So
"All round squares are green"
ought to be meaningless as well.
This depends on how you interpret statements of the
form "All Xs are Ys". The most straightforward interpretation
is "forall objects o, if o is an X, then o is a Y". Under
this interpretation, if there are no Xs, then "All Xs are Ys"
is vacuously true.
When people say that "All Xs are Ys" makes no sense if there
are no Xs, what they really mean is that it makes no sense
(in most cases) to *utter* such a statement. Why bring up
the properties of Xs if there are no Xs? But that could be
considered part of the pragmatics of language, rather than
part of the semantics.
It's the same sort of issue as when someone says "If it rains
today, then we will cancel our trip." If the trip is going to
be canceled *anyway*, regardless of the weather, then it is
a little strange to bring up the possibility of rain. But
logically, the statement is true, even if there is no good
reason for someone to utter it.
--
Daryl McCullough
Ithaca, NY |
|
|
| Back to top |
|
| Newberry |
Posted: Mon Apr 07, 2008 4:42 pm |
|
|
|
Guest
|
On Apr 7, 9:37 am, stevendaryl3...@yahoo.com (Daryl McCullough) wrote:
Quote: Newberry says...
Would it be fair to say that "all panduks are green" is meanigless
because "panduk" does not have a denotatum? But "round square" does
not have a denotatum either. So
"All round squares are green"
ought to be meaningless as well.
This depends on how you interpret statements of the
form "All Xs are Ys". The most straightforward interpretation
is "forall objects o, if o is an X, then o is a Y". Under
this interpretation, if there are no Xs, then "All Xs are Ys"
is vacuously true.
For all objects o, if o is a panduk, then o is green.
Using the phrase "for all objects .. if X then Y" is not really an
interpretation. The interpretation is the possible state of affairs of
which the sentence is a picture of. "For all objects o, if o is a
round square, then o is green" is not a picture of anything.
I understand that according to boolean algebra (P & ~P) -> Q is a
tautology and by generalization we get
(x)((Px & ~Px) -> Qx)
It does not follow that the above is true in any sensible sense of the
word "true."
BTW, I never got a straight answer to this one: do all unicorns have
two horns?
Quote: When people say that "All Xs are Ys" makes no sense if there
are no Xs, what they really mean is that it makes no sense
(in most cases) to *utter* such a statement. Why bring up
the properties of Xs if there are no Xs? But that could be
considered part of the pragmatics of language, rather than
part of the semantics.
It's the same sort of issue as when someone says "If it rains
today, then we will cancel our trip." If the trip is going to
be canceled *anyway*, regardless of the weather, then it is
a little strange to bring up the possibility of rain. But
logically, the statement is true, even if there is no good
reason for someone to utter it.
--
Daryl McCullough
Ithaca, NY |
|
|
| Back to top |
|
| Peter Webb |
Posted: Mon Apr 07, 2008 10:59 pm |
|
|
|
Guest
|
<SNIP>
I think Daryl gave a great answer to your question. I have only two minor
comments:
Quote: It does not follow that the above is true in any sensible sense of the
word "true."
Don't try and use common sense. There are lots of results in set theory
which contradict most people's common perceptions of what makes sense and
what doesn't. That is why it is such an interesting topic.
Quote: BTW, I never got a straight answer to this one: do all unicorns have
two horns?
Cute! Did you think of this one yourself?
Under the rules that Daryl has described, yes all Unicorns do in fact have
two horns, however much this may seem contrary to your common sense. |
|
|
| Back to top |
|
| Newberry |
Posted: Tue Apr 08, 2008 3:58 am |
|
|
|
Guest
|
On Apr 8, 4:33 am, "Jesse F. Hughes" <je...@phiwumbda.org> wrote:
Quote: Newberry <newberr...@gmail.com> writes:
For all objects o, if o is a panduk, then o is green.
Using the phrase "for all objects .. if X then Y" is not really an
interpretation. The interpretation is the possible state of affairs of
which the sentence is a picture of. "For all objects o, if o is a
round square, then o is green" is not a picture of anything.
This "picture of possible states of affairs" is your own particular
notion of an interpretation. It doesn't seem to be anyone else's.
I understand that according to boolean algebra (P & ~P) -> Q is a
tautology and by generalization we get
(x)((Px & ~Px) -> Qx)
It does not follow that the above is true in any sensible sense of the
word "true."
BTW, I never got a straight answer to this one: do all unicorns have
two horns?
You're a liar. You got a straight answer. In
87lkejtmme....@phiwumbda.org>, I wrote:
,----
| If there are no existing unicorns, then the following are both true:
|
| Every unicorn has two horns.
| No unicorn has two horns.
|
| Why are you pretending that this is all new to you?
`----
On the other hand, you never answered my question: do you really
believe the following sentence is literally meaningless?
Every four-legged bird has four knees.
I suppose that could be a bird with a genetic defect and four legs.
most likely it would have four knees, so the sentence would be true.
Not sure what you are getting at. You need to come with a better
example.
Quote: Do you also think that both of the unicorn sentences above are
literally meaningless?
I already told you ten times that unicorns are possible therefore no
sentence about them is meaningless but not true. "Every unicorn has
two horns" is analytic and hence false. "All unicorns are green" is
synthetic and neither true nor false. It obviously expresses a
possible state of affairs. "All round squares are green" is
meaningless.
Quote: "I've been thinking about my problems with getting any kind of
admission that my math arguments showing the core error in mathematics
are correct, so I've gone to marketing books."
-- James S. Harris, on when mathematics isn't enough |
|
|
| Back to top |
|
| Newberry |
Posted: Tue Apr 08, 2008 4:25 am |
|
|
|
Guest
|
On Apr 8, 6:34 am, stevendaryl3...@yahoo.com (Daryl McCullough) wrote:
Quote: Newberry says...
On Apr 7, 9:37=A0am, stevendaryl3...@yahoo.com (Daryl McCullough) wrote:
This depends on how you interpret statements of the
form "All Xs are Ys". The most straightforward interpretation
is "forall objects o, if o is an X, then o is a Y". Under
this interpretation, if there are no Xs, then "All Xs are Ys"
is vacuously true.
For all objects o, if o is a panduk, then o is green.
Using the phrase "for all objects .. if X then Y" is not really an
interpretation.
Well, it's good enough to decide whether the sentence
is true or false. If we happen to know that there are
no panduks, then we know that the above implication is
true.
If X represents "round square" then what state of affairs is "for all
objects o, if o is a round square, then o is green" is a picture of.
Quote:
The interpretation is the possible state of affairs of
which the sentence is a picture of.
Well, the state of affairs described by
For all objects o, if o is a panduk, then o is green
is that *either* there are no panduks at all,
This is represented by "there are no panduks" or " 'panduk' has no
denotatum", not by "all panduks are green."
Quote: or
there are panduks, and each one is green. That's
pretty clear to me.
I understand that according to boolean algebra (P & ~P) -> Q is a
tautology and by generalization we get
(x)((Px & ~Px) -> Qx)
It does not follow that the above is true in any sensible sense of the
word "true."
That's false. In any sensible sense of the word true,
"For all objects o, if o is a panduk, then o is green"
is true if there are no panduks.
BTW, I never got a straight answer to this one: do all unicorns have
two horns?
The strict answer is "yes". However, as I said, there is a difference
between the semantics of language and the pragmatics of language.
"All unicorns have two horns" is a true sentence, but it isn't
a sentence that anyone would ever naturally utter unless there
were reason to believe that there were some unicorns somewhere.
The *pragmatic* understanding of language use leads us to believe
that a detail was only mentioned if it is relevant. If I say
"There are no brown unicorns", then you would wonder
why I specified "brown". Why didn't I just say "There are no
unicorns, period"? The fact that I brought up the color of
the unicorn may suggest to you that I might believe in unicorns,
but only in white unicorns (or some other color besides brown).
But this is an inference about *me* and about what purpose I
might have in making a statement. It isn't strictly speaking
part of the meaning of the sentence. |
|
|
| Back to top |
|
| Jesse F. Hughes |
Posted: Tue Apr 08, 2008 6:33 am |
|
|
|
Guest
|
Newberry <newberryxy@gmail.com> writes:
Quote: For all objects o, if o is a panduk, then o is green.
Using the phrase "for all objects .. if X then Y" is not really an
interpretation. The interpretation is the possible state of affairs of
which the sentence is a picture of. "For all objects o, if o is a
round square, then o is green" is not a picture of anything.
This "picture of possible states of affairs" is your own particular
notion of an interpretation. It doesn't seem to be anyone else's.
Quote:
I understand that according to boolean algebra (P & ~P) -> Q is a
tautology and by generalization we get
(x)((Px & ~Px) -> Qx)
It does not follow that the above is true in any sensible sense of the
word "true."
BTW, I never got a straight answer to this one: do all unicorns have
two horns?
You're a liar. You got a straight answer. In
<87lkejtmme.fsf@phiwumbda.org>, I wrote:
,----
| If there are no existing unicorns, then the following are both true:
|
| Every unicorn has two horns.
| No unicorn has two horns.
|
| Why are you pretending that this is all new to you?
`----
On the other hand, you never answered my question: do you really
believe the following sentence is literally meaningless?
Every four-legged bird has four knees.
Do you also think that both of the unicorn sentences above are
literally meaningless?
--
"I've been thinking about my problems with getting any kind of
admission that my math arguments showing the core error in mathematics
are correct, so I've gone to marketing books."
-- James S. Harris, on when mathematics isn't enough |
|
|
| Back to top |
|
| Daryl McCullough |
Posted: Tue Apr 08, 2008 8:34 am |
|
|
|
Guest
|
Newberry says...
Quote:
On Apr 7, 9:37=A0am, stevendaryl3...@yahoo.com (Daryl McCullough) wrote:
This depends on how you interpret statements of the
form "All Xs are Ys". The most straightforward interpretation
is "forall objects o, if o is an X, then o is a Y". Under
this interpretation, if there are no Xs, then "All Xs are Ys"
is vacuously true.
For all objects o, if o is a panduk, then o is green.
Using the phrase "for all objects .. if X then Y" is not really an
interpretation.
Well, it's good enough to decide whether the sentence
is true or false. If we happen to know that there are
no panduks, then we know that the above implication is
true.
Quote: The interpretation is the possible state of affairs of
which the sentence is a picture of.
Well, the state of affairs described by
For all objects o, if o is a panduk, then o is green
is that *either* there are no panduks at all, or
there are panduks, and each one is green. That's
pretty clear to me.
Quote: I understand that according to boolean algebra (P & ~P) -> Q is a
tautology and by generalization we get
(x)((Px & ~Px) -> Qx)
It does not follow that the above is true in any sensible sense of the
word "true."
That's false. In any sensible sense of the word true,
"For all objects o, if o is a panduk, then o is green"
is true if there are no panduks.
Quote: BTW, I never got a straight answer to this one: do all unicorns have
two horns?
The strict answer is "yes". However, as I said, there is a difference
between the semantics of language and the pragmatics of language.
"All unicorns have two horns" is a true sentence, but it isn't
a sentence that anyone would ever naturally utter unless there
were reason to believe that there were some unicorns somewhere.
The *pragmatic* understanding of language use leads us to believe
that a detail was only mentioned if it is relevant. If I say
"There are no brown unicorns", then you would wonder
why I specified "brown". Why didn't I just say "There are no
unicorns, period"? The fact that I brought up the color of
the unicorn may suggest to you that I might believe in unicorns,
but only in white unicorns (or some other color besides brown).
But this is an inference about *me* and about what purpose I
might have in making a statement. It isn't strictly speaking
part of the meaning of the sentence. |
|
|
| Back to top |
|
| Jesse F. Hughes |
Posted: Tue Apr 08, 2008 12:37 pm |
|
|
|
Guest
|
Newberry <newberryxy@gmail.com> writes:
Quote: On Apr 8, 4:33 am, "Jesse F. Hughes" <je...@phiwumbda.org> wrote:
,----
| If there are no existing unicorns, then the following are both true:
|
| Every unicorn has two horns.
| No unicorn has two horns.
|
| Why are you pretending that this is all new to you?
`----
On the other hand, you never answered my question: do you really
believe the following sentence is literally meaningless?
Every four-legged bird has four knees.
I suppose that could be a bird with a genetic defect and four legs.
most likely it would have four knees, so the sentence would be true.
Not sure what you are getting at. You need to come with a better
example.
You need to be more consistent. You earlier suggested that because
there are no panduks, the sentence "All panduks are green" is
meaningless. By the exact same reasoning, "Every four-legged bird has
four knees" is similarly meaningless.
(Aside: It seems to me that if there was a species called "unicorn",
then this species could have genetic mutations too. Such mutations
could cause a second horn. A mutant two-horned unicorn is still a
unicorn, so it is apparently *not* true that "no unicorn has two
horns" is analytically false. This is admittedly a minor quibble.)
Quote: Do you also think that both of the unicorn sentences above are
literally meaningless?
I already told you ten times that unicorns are possible therefore no
sentence about them is meaningless but not true. "Every unicorn has
two horns" is analytic and hence false. "All unicorns are green" is
synthetic and neither true nor false. It obviously expresses a
possible state of affairs. "All round squares are green" is
meaningless.
Why is "All panduks are green" meaningless? If it is because the word
"panduk" is meaningless, then of course everyone agrees. But that's
not what you said. Here is what you said:
Would it be fair to say that "all panduks are green" is meanigless
because "panduk" does not have a denotatum?
Here, you are evidently suggesting that whenever a term X has no
denotatum, statements of the form "Every X is P" are meaningless.
That *is* what you said, right?
If so, the conclusions are fairly obvious.
The term "four-legged bird" has no denotatum (let us assume), so the
statement "Every four-legged bird has four knees" is meaningless.
The term "unicorn" has no denotatum, so both of the sentences
Every unicorn has two horns.
No unicorn has two horns.
are meaningless.
It seems a bit churlish to accuse me of short memory when what you
said about panduks did not mention whether panduks are necessarily
non-existent or merely actually non-existent. What you said is: there
are no panduks, so the claim "All panduks are green" is meaningless.
--
"[I]n mathematics there are two types of integers: primes and
composites. [...] It's like how in the world there are mostly two
kinds of people: male and female [...] and lots of reasons for
interest in the differences." -- JSH on math/biology |
|
|
| Back to top |
|
| Jesse F. Hughes |
Posted: Tue Apr 08, 2008 12:39 pm |
|
|
|
Guest
|
Newberry <newberryxy@gmail.com> writes:
Quote: If X represents "round square" then what state of affairs is "for
all objects o, if o is a round square, then o is green" is a picture
of.
Is the sentence "There are no round squares" meaningless? If not,
then what state of affairs is it a picture of?
(Not that I agree that interpretations involve pictures of possible
states of affairs, mind you!)
--
Jesse F. Hughes
"It's much better to live with my parents than with a wife."
-- Quincy P. Hughes, age 4 1/2 |
|
|
| Back to top |
|
| Daryl McCullough |
Posted: Tue Apr 08, 2008 2:09 pm |
|
|
|
Guest
|
Newberry says...
Quote: If X represents "round square" then what state of affairs is "for all
objects o, if o is a round square, then o is green" is a picture of.
I don't understand why this is difficult for you.
"for all objects o, if o is a round square, then o is green"
means that there are no objects that are round, square, and
nongreen.
Quote: The interpretation is the possible state of affairs of
which the sentence is a picture of.
Well, the state of affairs described by
For all objects o, if o is a panduk, then o is green
is that *either* there are no panduks at all,
This is represented by "there are no panduks" or " 'panduk' has no
denotatum", not by "all panduks are green."
I didn't say that "All panduks are green" means "there are
no panduks". I said that it means
"Either there are no panduks, or there are some panduks, and
every one of them is green".
--
Daryl McCullough
Ithaca, NY |
|
|
| Back to top |
|
| |
Page 1 of 11 Goto page 1, 2, 3 ... 9, 10, 11 Next
All times are GMT - 5 Hours
The time now is Thu Jul 24, 2008 4:49 pm
|
|