- The Nature of Logic and Philosophical Argument
- Types of Argument – Inductive and Deductive
- Validity and Soundness
- Practice with Valid and Invalid Deductive Arguments
- Truth functional connectives
- Logical forms and substitution instances of these forms
- Truth tables
- Formal deduction for propositional logic
- direct proof
- indirect proof
- conditional proof
- Formal deduction for predicate logic
- universal instantiation and elimination
- existential instantiation and elimination
- Premise-free proofs for tautologies
- Inductive generalizations
- Inductive analogy
- Statistical syllogisms
- Hypotheses about causes, and scientific reasoning
The course will employ a variety of instructional methods to accomplish its objectives, including some of the following:
There will be two hours of lectures each week, with time allowed for questions; there will also be two hours of discussion of the exercises and assignments. Emphasis will be upon obtaining a working knowledge of most of the topics covered
Evaluation will be based upon course objectives and will be carried out in accordance with Douglas College policy. The instructor will provide a written course outline with specific evaluation criteria at the beginning of the semester.
Any possible combination of the following which equals 100%:
(No one evaluation component within each category may exceed 40%)
|Midterm tests||20% - 60%||Two 20% tests 40%|
|Quizzes and short assignments||0% - 40%||Ten 2% quizzes 20%|
|Final exam||20% - 40%||Final exam 30%|
|Instructor's general evaluation
(may include attendance, class participation,
group work, homework, etc.)
|0% - 20%||Attendance/
Successful students will be able to:
- Distinguish the basic elements of arguments and recognize the different types of arguments.
- Symbolize natural language statements in the language of propositional and predicate logic.
- Identify logical relations among statements; and analyze logically complex statements into their truth- functional or quantificational components.
- Distinguish valid deductive arguments from invalid ones.
- Use truth tables and formal proofs to analyze the logic of arguments and to assess their adequacy.
Texts will be updated periodically. Typical examples are:
Copi, Irving & Cohen, Carl. (2005). Introduction to Logic (12th ed.). New York: Prentice Hall.
Herrick, Paul (2013). Introduction to Logic. New York: Oxford University Press.
Course Guidelines for previous years are viewable by selecting the version desired. If you took this course and do not see a listing for the starting semester / year of the course, consider the previous version as the applicable version.
These are for current course guidelines only. For a full list of archived courses please see https://www.bctransferguide.ca
|Institution||Transfer Details for PHIL 2201|
|Capilano University (CAPU)||CAPU PHIL 110 (3)|
|Kwantlen Polytechnic University (KPU)||KPU PHIL 1150 (3)|
|Langara College (LANG)||LANG PHIL 1102 (3)|
|Simon Fraser University (SFU)||SFU PHIL 110 (3)|
|Thompson Rivers University (TRU)||TRU PHIL 2220 (3)|
|Trinity Western University (TWU)||TWU PHIL 103 (3)|
|University of British Columbia - Okanagan (UBCO)||UBCO PHIL 125 (3)|
|University of British Columbia - Vancouver (UBCV)||UBCV PHIL 125 (3)|
|University of Northern BC (UNBC)||UNBC PHIL 2XX (3)|
|University of the Fraser Valley (UFV)||UFV PHIL 100 (3) or UFV PHIL 300 (3)|
|University of Victoria (UVIC)||UVIC PHIL 2XX (1.5)|
|Vancouver Island University (VIU)||VIU PHIL 2nd (3)|