This course is not active. Please contact Department Chair for more information.
- 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.
No prerequisite courses.
No corequisite courses.
No equivalent courses.
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.
|Institution||Transfer Details||Effective Dates|
|Capilano University (CAPU)||CAPU PHIL 110 (3)||2004/09/01 to 2015/04/30|
|Kwantlen Polytechnic University (KPU)||KPU PHIL 1150 (3)||2004/09/01 to 2015/04/30|
|Langara College (LANG)||LANG PHIL 1102 (3)||2012/01/01 to 2015/04/30|
|Simon Fraser University (SFU)||SFU PHIL 110 (3)||2004/09/01 to 2015/04/30|
|Thompson Rivers University (TRU)||TRU PHIL 240 (3)||2004/09/01 to 2010/08/31|
|Thompson Rivers University (TRU)||TRU PHIL 2400 (3)||2010/09/01 to 2015/04/30|
|Trinity Western University (TWU)||TWU PHIL 103 (3)||2004/09/01 to 2015/04/30|
|University of British Columbia - Okanagan (UBCO)||UBCO PHIL 125 (3)||2005/05/01 to 2015/04/30|
|University of British Columbia - Vancouver (UBCV)||UBCV PHIL 125 (3)||2004/09/01 to 2015/04/30|
|University of Northern BC (UNBC)||UNBC PHIL 2XX (3)||2004/09/01 to 2015/04/30|
|University of the Fraser Valley (UFV)||UFV PHIL 100 (3)||2004/09/01 to 2015/04/30|
|University of Victoria (UVIC)||UVIC PHIL 2XX (1.5)||2004/09/01 to 2015/04/30|
|Vancouver Island University (VIU)||VIU PHIL 2nd (3)||2004/09/01 to 2015/04/30|