Lecture1 - Lecture 1: Introduction to PHIL 151 Phil 151 is...

Info iconThis preview shows pages 1–5. Sign up to view the full content.

View Full Document Right Arrow Icon
Lecture 1: Introduction to PHIL 151 Phil 151 is an introduction to the concepts and techniques used in the mathematical analysis of deductive reasoning. The main pre-mathematical notion being analyzed: The idea that a conclusion follows logically from a set of premises.
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Example - All are . - is a . - Therefore, is . The inference is correct no matter what ‘man’, ‘mortal’ and ‘Socrates’ mean. It depends only on the form of the sentences in which these words appear. Premises Conclusion
Background image of page 2
Example - All are . - is a . - Therefore, is . The inference is correct no matter what ‘man’, ‘mortal’ and ‘Socrates’ mean. It depends only on the form of the sentences in which these words appear. Premises Conclusion
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Specifying logical form: Propositional and Predicate Logic The first step in a mathematical analysis of logical reasoning is the definition of an abstract, mathematical notion of sentence that makes this form clear and explicit. The definition specifies an underlying logical form for sentences. The first definition of this kind that you will see will be for propositional logic . Roughly the first half of the course consists in the development of mathematical logic from this definition. You will then be introduced to the corresponding definition for predicate logic (also called first order logic). In terms of the more complicated notion of sentence it provides, we will follow the same general path we followed in developing propositional logic.
Background image of page 4
Image of page 5
This is the end of the preview. Sign up to access the rest of the document.

This document was uploaded on 02/08/2011.

Page1 / 16

Lecture1 - Lecture 1: Introduction to PHIL 151 Phil 151 is...

This preview shows document pages 1 - 5. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online