Program :

Baccalaureate in Philosophy

Semester :


Credits :


Teacher :

Dr Kuttikadan John Lindo


Notion, nature and characteristics of Symbolic logic are discussed at the outset, after treating its history of development. Various truth-functions are introduced as the preparation for the determination of the validity of arguments through truth-table construction. Formal proof of validity is also studied with the rules of inference and replacements. Propositional logic presents also the various forms of statements like tautology, contradiction and contingency. This course focuses also on Predicate Logic with quantification rules. Symbolization of ordinary statements and arguments is introduced with a view to the determination of the validity of arguments in general.


  1. Lee, H.N., Symbolic Logic (1962)
  2. Howson, C., Logic with Trees: An Introduction to Symbolic Logic (1997)
  3. Sanguineti, J.J., Logic (1992)
  4. Copi, I.M., Introduction to Logic (1986)
  5. Copi, I.M., Symbolic Logic (1979)
  6. Lemmon, E.J., Beginning Logic (1965), CRC Press, London and New York 1998.