BIRLA INSTITUTE OF TECHNOLOGY AND SCIENCE, Pilani Pilani Campus Instruction Division

SECOND SEMESTER, 2012-2013 Course Handout (Part II) Date: 8.1.2013 In addition to part I (General course Handout for all courses appended to the time table) this portion gives further specific details regarding the course. Course No.: PHIL C221 Course title: Symbolic Logic Instructor-in-charge: KUMAR NEERAJ SACHDEV Scope and Objective: A study of the propositional and quantification logic to understand and use the basic symbolic procedures to analyze the nature and assess the status of deductive arguments Text Book: Copi, Irving M., Symbolic Logic, 5th Edition, Pearson Education, 1979 (Indian Reprint, 2006) Reference Books: R1. Carney, J.D, Introduction to Symbolic Logic, Englewood Cliffs, N.J., 1970 R2. Copi, Irving M, Introduction to Logic, Pearson Education, 13th Edition, 2009 Course Plan: Lecture Learning Objectives No. 1 2 3 4 Topics to be covered Reference Chap/Sec. (Book) R2, Ch. 1 R2, Ch. 1

To understand the nature of logical Introduction to Logic reasoning Introducing the major vocabulary of Key Concepts the subject

7-8

To see how the premisses support the Representing the Structure R2, Ch.1 conclusion. of Arguments Analyzing the relation between truth, Truth, Validity and Text Book, Ch. 1 validity and soundness to understand Soundness the nature of arguments clearly. R2, Ch.5 To understand the basis of division Categorical Propositions: between categorical propositions in Quantity, Quality and traditional logic. Distribution To understand the different ways in Traditional Square of R2, Ch.5 which the propositions are related to Opposition: Relations of each other and the different Opposition opposition relations R2, Ch.6 To understand the nature of Categorical Syllogisms: categorical syllogism and the Major, Minor and Middle

Please Consider Your Environmental Responsibilities Do Not Print Unless Necessary

BIRLA INSTITUTE OF TECHNOLOGY AND SCIENCE, Pilani Pilani Campus Instruction Division

Validity of relevance of major, minor and middle terms; terms. To understand rules and Syllogisms - Rules and Fallacies. examine fallacies. 9-10 Understanding how to represent and Venn Diagrams check the validity of arguments by means of Venn diagrams To analyze the value of symbolic Symbolic logic and understand its different Introduction concerns. R2, Ch. 6

11

Logic: Text Book, Ch. 1

12

13

14

15

16 17-18

19

20

21

Recognizing the value of sentential Sentential Connectives connectives in forming compound statements out of simple statements. To see how to symbolically represent Symbolizing Natural natural language so that the logical Language features could be easily located. Containing To understand the nature of the Arguments arguments, which are composed of Compound Statements compound statements, as their validity depends heavily on the different ways the compound statements are related to each other. Analyzing the important role of truth Role of truth-functional functional connectives like connectives conjunction, disjunction, implication etc. in determining the truth-value of propositions. To construct truth tables of different Truth-tables truth functional connectives. Validity and How to check the validity of Testing arguments mechanically using truth Invalidity by Truth tables tables. To identify the formal features of Argument Forms arguments so that checking validity will be easier. To locate the formal nature of Statement Forms different type of statement and to classify them into three groups: tautologies, contradictories and contingent. To see how to check whether a Testing the Status of statement is a tautology or Statement Forms by Truthcontradictory or contingent by means tables of truth tables.

Text Book, Ch.2

Text Book, Ch.2

Text Book, Ch.2

Text Book, Ch.2

Text Book, Ch.2 Text Book, Ch.2

Text Book, Ch.2

Text Book, Ch.2

Text Book, Ch.2

Please Consider Your Environmental Responsibilities Do Not Print Unless Necessary

BIRLA INSTITUTE OF TECHNOLOGY AND SCIENCE, Pilani Pilani Campus Instruction Division

22-23

24-26

27

28 29

30-31

32-33

To check the validity of arguments Formal Proof of Validity: with the help of a set of elementary Rules of Inference argument forms that can be applied to check validity mechanically. To apply a set of logical equivalences Rules of Replacement in the process of arriving at the validity of arguments. How to prove certain arguments Proving Invalidity invalid without using truth tables and not employing the formal proof. Understanding the use of conditional Conditional Proof proof to prove validity of arguments To employ the reductio ad absurdum Indirect Proof method to assess validity of arguments Truth table A method, which employs insights Shorter Technique from truth table technique and reductio ad absurdum to check validity and the status of statements. Understanding how to symbolize Quantification theory with statements that involve existential or Translation Quantifiers universal quantifiers.

Text Book, Ch. 3

Text Book, Ch. 3

Text Book, Ch. 3

Text Book, Ch. 3 Text Book, Ch. 3

Text Book, Ch. 3

Text Book, Ch. 4

The nature and function of the Universal Quantifier and Existential Quantifier quantifiers are examined Square of 35 A modern square of opposition is Modern Opposition constructed using quantifiers 36 To assess the validity of arguments Quantification Rules that involves propositions with quantifiers. 37 To prove the validity of arguments by Proving Validity using the quantification rules. 38 Proving the invalidity of certain Proving Invalidity arguments by assigning truth-values. 39 To understand how to symbolize the Symbolizing Relations statements which involve relations. of Binary 40 To check the attributes of relational Attributes Relations statements. Evaluation Scheme: 34 EC No. 1 Evaluation Component Mid Semester Test Duration 90 Minutes Weightage 30

Text Book, Ch. 4 Text Book, Ch. 4 Text Book, Ch. 4

Text Book, Ch. 4 Text Book, Ch. 4 Text Book, Ch.5 Text Book, Ch.5

Date, Time & Venue

1/3 11:00 - 12:30 PM

Remarks CB

Please Consider Your Environmental Responsibilities Do Not Print Unless Necessary

BIRLA INSTITUTE OF TECHNOLOGY AND SCIENCE, Pilani Pilani Campus Instruction Division

Quiz / Report / Assignment 30 To be announced OB 10/5 AN Comprehensive 3 Hours 40 CB Examination Chamber Consultation Hour: To be announced in the class. Notices: Notices, if any, concerning the course will be displayed on the Department of Humanistic Studies notice board. Makeup Policy: Make-up components will be allowed provided there would be documentary proof to support the case. Instructor-in-charge PHIL C221

2 3

Please Consider Your Environmental Responsibilities Do Not Print Unless Necessary