Bar Course Aptitude Test (BCAT) Deduction Syllabus

Deduction syllabus — full chapter and topic list

Expand any chapter to see its topics and sub-topics. This is the whole examinable outline for Deduction in Bar Course Aptitude Test (BCAT), not a summary of it.

1. 1

   Principles of Deductive Reasoning

   3 topics

   • Validity and logical necessity
     • Conclusion follows necessarily from premises
     • Validity independent of real-world truth
   • The two-point response scale
     • Conclusion Follows
     • Conclusion Does Not Follow
   • Reasoning strictly within the given statements
2. 2

   Logical Structures in Deduction

   3 topics

   • Categorical reasoning
     • All, some, none, only quantifiers
     • Syllogistic patterns and their validity
   • Conditional reasoning
     • If-then statements
     • Affirming the antecedent and denying the consequent
     • Fallacies: affirming the consequent, denying the antecedent
   • Negation, contraposition, and converse
3. 3

   Deduction Pitfalls

   4 topics

   • Letting plausibility override logic
     • Rejecting valid conclusions that sound odd
     • Accepting invalid conclusions that sound true
   • Quantifier scope errors
   • Overlooking what the premises do not establish
   • Step-by-step worked deductions

Deduction flashcards for Bar Course Aptitude Test (BCAT)

22 of 50 cards from the Deduction deck — real questions with worked answers.

1. In BCAT Deduction, what does it mean for a conclusion to be 'valid'?

   A conclusion is valid when it follows with logical necessity from the given statements: if the statements (premises) are true, the conclusion MUST be true. Validity concerns the form of the reasoning, not the real-world truth of the premises.

2. What is the precise definition of 'logical necessity' as tested in BCAT Deduction?

   Logical necessity means there is no possible situation in which the premises are true and the conclusion false. The conclusion is forced by the premises, leaving no room for exceptions or alternatives.

3. What is the two-point response scale used in the BCAT Deduction section?

   For each item you choose between exactly two options: 'Valid' (the conclusion follows necessarily from the statements) or 'Invalid' (the conclusion does not follow necessarily). There is no middle, 'partly', or 'probably' option.

4. In the BCAT two-point scale, when must you mark a conclusion 'Invalid'?

   Mark 'Invalid' whenever the conclusion does not follow with certainty, even if it is likely, plausible, or true in the real world. Anything short of logical necessity counts as Invalid.

5. What is the cardinal rule of 'reasoning strictly within the given statements'?

   You must treat the supplied statements as true and use ONLY them. Do not import outside knowledge, common sense, or real-world facts; judge validity purely on what the statements logically force.

6. Why might a conclusion that is true in reality still be marked 'Invalid' in BCAT Deduction?

   Because validity depends on whether the conclusion follows from the GIVEN statements, not on its real-world truth. If the statements do not logically force it, it is Invalid regardless of factual accuracy.

7. Why might a conclusion that is false in reality still be marked 'Valid' in BCAT Deduction?

   If the premises (assumed true) logically force the conclusion, it is Valid even when it contradicts real-world facts. The premises may be fictional; you reason from them, not from reality.

8. Define 'categorical reasoning' as used in BCAT Deduction.

   Categorical reasoning involves statements about categories/classes using quantifiers such as 'all', 'no', 'some', and 'some...not', and drawing conclusions about how those categories overlap or exclude one another.

9. What valid conclusion follows from 'All A are B' and 'All B are C'?

   Therefore 'All A are C'. This is the valid categorical syllogism (Barbara): the chain of inclusion transfers, so every member of A is also a member of C.

10. Is this valid? 'All A are B; All C are B; therefore all A are C.'

    Invalid. Both A and C are inside B, but nothing forces A and C to overlap; they could be separate subsets of B. Sharing a superset does not create a link between them.

11. From 'No A are B' and 'All C are A', what valid conclusion follows?

    Therefore 'No C are B'. Since every C is an A, and no A is a B, no C can be a B either.

12. Is 'Some A are B; Some B are C; therefore some A are C' valid?

    Invalid. The A's that are B and the C's that are B need not be the same B's, so there is no guaranteed overlap between A and C.

13. What is the structure of a valid conditional (modus ponens) inference?

    $$\text{If } P \text{ then } Q;\ P;\ \therefore Q.$$ Given the conditional and that the antecedent P holds, the consequent Q must hold.

14. State the valid form of modus tollens.

    $$\text{If } P \text{ then } Q;\ \text{not } Q;\ \therefore \text{not } P.$$ If Q fails, then P cannot have held, otherwise Q would have followed.

15. What is the fallacy of 'affirming the consequent', and is it valid?

    It argues: If P then Q; Q; therefore P. It is INVALID. Q could be brought about by something other than P, so Q being true does not guarantee P.

16. What is the fallacy of 'denying the antecedent', and is it valid?

    It argues: If P then Q; not P; therefore not Q. It is INVALID. Q might still occur through another cause even when P is false.

17. Given 'If it rains, the match is cancelled' and 'the match was not cancelled', what validly follows?

    Therefore 'it did not rain' (modus tollens). If it had rained, the match would have been cancelled; since it was not cancelled, it did not rain.

18. Given 'If it rains, the match is cancelled' and 'the match was cancelled', can you conclude 'it rained'?

    No. That is affirming the consequent (invalid). The match might have been cancelled for another reason, so rain is not guaranteed.

19. What is the negation of the categorical statement 'All A are B'?

    'Some A are not B' (i.e. at least one A is not a B). The contradictory of a universal affirmative is a particular negative.

20. What is the negation of 'Some A are B'?

    'No A are B'. The contradictory of a particular affirmative ('at least one') is the universal negative ('none').

21. Define the contrapositive of 'If P then Q', and state its logical relationship to the original.

    The contrapositive is 'If not Q then not P'. It is logically EQUIVALENT to the original conditional: whenever one is true, so is the other.

22. Define the converse of 'If P then Q', and state whether it is equivalent to the original.

    The converse is 'If Q then P'. It is NOT logically equivalent to the original; assuming the converse from the original is the fallacy of affirming the consequent.

See more Deduction flashcards →

Planning Deduction for Bar Course Aptitude Test (BCAT)

Deduction (Bar Course Aptitude Test (BCAT)) FAQ