3
$\begingroup$

The question says,

Translate the following sentence into the logical notation of propositional functions and quantifiers.

H(x): x is a horse
G(x): x is gentle.
T(x): x has been well trained.

"Only horses are gentle if they have been well trained."

I am not really sure what exactly this question means, does it mean that horses are the only thing that can be made gentle by training?

In that case my answer would be:

$ \forall x [ (T(x) \to G(x))\to H(x)]$

Is this correct? If not then what is the correct interpretation?

Problem source: Symbolic Logic by Irving M. Copi (problem #$38,$ page-$70$)

2 Answers 2

3

Compare 'Only adults are sent to prison if they commit serious offences (juveniles are sent to other institutions)'. This doesn't entail that all adults who commit serious offences are sent to prison, some might get other punishments: it just that (as it says!) only adults get sent to prison if they offend. So, if someone has offended, then if they end up in prison, they will be an adult.

We can read the claim about horses similarly. Thus consider

'What animals are gentle if well trained?'

'Only horses are gentle if they have been well trained, though not even all of them are: as for other animals, any kind of training gives them an angry disposition.'

A silly conversation, perhaps, but logically cogent. So in this context the italicized proposition says (putting it casually) if an animal has been well trained, then if it has ended up gentle, it must be a horse. Or in symbols, quantifying over animals,

$\forall x(Tx \to (Gx \to Hx))$

  • 0
    Until you wrote this, I could not understand how you were reading the sentence. I agree that your reading is plausible.2012-11-03
4

You are right to be confused: the sentence is not clear or grammatically correct. I believe the intention is that a horse will be gentle only if it has been well-trained. I suggest that when you answer the question you clearly state what sentence you are translating. Otherwise, the grader might mark down your answer because they have a different idea of what "Only horses are gentle if they have been well trained" means.

But note that your proposed translation of "horses are the only thing that can be made gentle by training" is incorrect: it says that whenever $T(x)\to G(x)$ is true for $x$, then $x$ is a horse. $T(x)\to G(x)$ is true if $x$ is something that is both trained and gentle, but it is also true if $x$ is anything untrained. So your translation also claims that anything that has not been trained is a horse.

Note that $T(x)\to G(x)$ does not mean "$x$ becomes gentle by training". It is equivalent to $\lnot T(x)\lor G(x)$, which says that $x$ is untrained or gentle. Your translation is equivalent to:

$ \forall x [ (\lnot T(x) \lor G(x))\to H(x)]$

which says that any $x$ which is untrained or gentle, must be a horse. This surely wasn't what you meant to say, since it says that untrained lemurs and gentle octopuses are horses, and there was no trace of that in the English version.

I don't think it is possible to translate "horses are the only thing that can be made gentle by training" propositionally. The problem is that you don't have any relation that expresses that the gentleness is the result of the training.

I suggest you try "the only horses that are gentle are those that have been well-trained", as I did, or "nothing well-trained is gentle, except for horses" as Peter Smith did elsewhere. My own translation of "the only horses that are gentle are those that have been well-trained" is:

$\forall x [(H(x)\land G(x))\to T(x)]$
or equivalently
$\forall x [H(x)\to (G(x)\to T(x))]$

(Mouse over for spoiler.)

  • 0
    @MJD Well, this is no longer a logical (let alone a mathematical) disagreement! But I was offering an *argument* against saying (1) can be read as literally equivalent to (2) -- if they were are equivalent by parity (1') would be equivalent to (2'), which they plainly aren't. That's hardly question-begging. But if you are merely saying that (1) could be *misused* by a non-native speaker as meaning (2) then to be sure all bets are off!2012-11-03