Prof. Josep Mª Rosanas
e-mail: [email protected]
Office: S609
Phone: 4392
Assistant: Pilar Pallàs
Email: [email protected]
Oficce:T-500 Phone: 5143
1st Year MRM 2017
1st Term
Introduction to Logic
Introduction
This is a short, 6 session course intended to help students to
rigorous logical reasoning
Objectives
Familiarizing students with the basic structure of logical
reasoning, formal analysis and inference in a structured way.
Learning Outcomes
1) Students should be aware that some modes of reasoning are
incorrect even though they may seem intuitively right.
2) Students should be able to see what a logical proof is and
how logical inference is important for relevant research
3) Students should be able to detect possible logical
fallacies in their own reasoning or in the reasoning of
the others
Competences
CG1 Being able to do deductive reasoning, i.e., to logically
infer the consequences of some basic principles that are at the
starting point of any science
CG2 Being able to find logical consequences of statements that
do not fit with observed facts (and therefore falsifying them)
or do fit and therefore are accepted provisionally.
CE1 Being able to apply the logical inference rules in a
consistent way to develop a science
CE2 Being able to detect inconsistencies or contradictions,
which imply renouncing to either one of the two contradictory
statements
CE3: Use appropriate tools and techniques for problem solving,
correction contrasting and decision validation.
Content
Prof. Josep Mª Rosanas
e-mail: [email protected]
Office: S609
Phone: 4392
Assistant: Pilar Pallàs
Email: [email protected]
Oficce:T-500 Phone: 5143
1st Year MRM 2017
1st Term
The course has 6 sessions, based on Chapters 3 to 6 of the book
“Logic”, by Robert Baum.
Prof. Josep Mª Rosanas
e-mail: [email protected]
Office: S609
Phone: 4392
Assistant: Pilar Pallàs
Email: [email protected]
Oficce:T-500 Phone: 5143
1st Year MRM 2017
1st Term
Methodology
Classes will consist of lectures, discussions and exercises.
Students will present in every class their solutions to the
exercises.
Evaluation
On the basis of class participation and the exercises solved
in class.
Course Outline & Bibliography
SESI
ON
1
2
3
4
5
6
DESCRIPCION
Introduction. Logical
reasoning
Introduction to classical
Logic. Statements.
Contradiction, contrariety,
subcontrariety,
subimplication,
superimplication
Representation of
categorical statements by
Venn diagrams.
Reasoning by syllogisms.
Proofs by counterexamples
and proofs by Venn diagrams
Propositional Logic. Truth
tables. Compound
propositions and logical
operators. Basic axioms of
modern logic. The necessity
of the principle of nocontradiction.
Arguments and proofs.
Logical “shortcuts” to
avoid tedious, complex
truth-tables: inference
CASO/ACTIVIDAD
Lecture on the bases for
correct inference and the
foundations of knowledge.
Role of Logic and of
empirical observations.
Baum, Chapter 3, and do
Exercises 3-3
Baum, Chapter 3, and do
Exercises 3-8
Baum, Chapter 4, and do
Exercises 4-6
Baum, Chapter 5, and do
Exercises 5-9
Baum, Chapter 6, and do
Exercises 6-23
Prof. Josep Mª Rosanas
e-mail: [email protected]
Office: S609
Phone: 4392
Assistant: Pilar Pallàs
Email: [email protected]
Oficce:T-500 Phone: 5143
1st Year MRM 2017
1st Term
rules.
Ending comments: from the
algorithmic ideal to
Gödel’s incompleteness.
Prof. Josep Mª Rosanas
e-mail: [email protected]
Office: S609
Phone: 4392
Assistant: Pilar Pallàs
Email: [email protected]
Oficce:T-500 Phone: 5143
1st Year MRM 2017
1st Term
Bibliography
Cole Kleene, Stephen, 2002, Mathematical Logic, Dover Books.
Copi, Irving, Cohen, Carl and McMahon, 2010. Introduction to Logic (14th edition), Pearson.
Quine, W.V., Mathematical Logic, Revised Edition, Harvard U.P.
Smullyan, Raymond, 2011. What is the name of this book?, Dover Books.