2250 Lecture : 1- IntroductoryLecture.pdf
Document Summary
This is a course in basic formal logic. The fundamental logical concepts i will be introducing you to are: throughout this course: outline the course, sentence, argument, same sentence, contradictory sentence, derivability. A number of remaining fundamental concepts fall into one or other of two groups: Concepts based on derivability theorem and antitheorem interderivability contradiction. Concepts based on contradiction deductive validity and logical entailment logical truth, falsity, and indeterminacy logical equivalence logical inconsistency: the subject. Formal logic is the study of one component of good reasoning. When we reason, we start off with a collection of claims that we take to be true, called premises, and we draw conclusions from those premises. These conclusions can be added to our premises and used to draw yet further conclusions. If our premises are true, and we use good reasoning, we will arrive at true or at least probably true conclusions.