I have problem with the following syllogism.
Some A are B
All B are C
————————————
Some B are C
Some A are C
I think both are correct answers while my book says that the only correct answer is "some A are C".
Philosophy Stack Exchange is a question and answer site for those interested in the study of the fundamental nature of knowledge, reality, and existence. It only takes a minute to sign up.
Sign up to join this communityI have problem with the following syllogism.
Some A are B
All B are C
————————————
Some B are C
Some A are C
I think both are correct answers while my book says that the only correct answer is "some A are C".
It depends on what kind of logic you are studying. In Aristotelean term logic, "all B are C" has existential import, which is to say it is only true if there are B's. Hence it follows by immediate inference that "some B are C". If the point of the exercise is to ask what can you infer from both premises that does not simply follow by immediate inference from either one, then "some A are C" does this but not "some B are C". We would need to see exactly how the question is worded in order to judge whether that is the best answer.
In predicate logic, "all B are C" does not have existential import, which is to say it is trivially true in the event that there are no B's. Hence "some B are C" does not follow from it. To deduce "some B are C" you would need to reason from "some A are B" to "there exists at least one B" and then from this together with "all B are C" to "there exists at least one thing that is B and C".
So for myself, preferring the predicate logic approach, I would say you are correct that both "some B are C" and "some A are C" follow.
I would reach that problem this way:
Some A are B
All B are C (so, some A are the same as B, this means some A are C )
————————————
Some B are C - cannot be the right answer as it is clearly said previously that all B are C
What's the question to which the book says there's only one correct answer? Given two premises, there are typically a number of different (mutually compatible) conclusions that can be validly derived from them. "Some B are C" follows from "All B are C"--so that makes the first premise irrelevant. But an argument with redundant premises can still be valid. But if you're looking at a series of problems to be solved in a logic textbook, there must be some instructions preceding the series of problems, and what exactly are they asking you to do with these sets of premises? (i.e. What's the question to which the book says there's only one correct answer?)