Logic II

Code:

FILO028

Acronym:

LOG2

Instance: 2017/2018 - 2S

Active?	Yes
Responsible unit:	Department of Philosophy
Course/CS Responsible:	Bachelor in Philosophy

Cycles of Study/Courses

Acronym	No. of Students	Study Plan	Curricular Years	Credits UCN	Credits ECTS	Contact hours	Total Time
FILO	96	FILO - Study Plan	1	-	6	4

Teaching language

Portuguese

Objectives

The aim of this subject is to encourage students to develop skills in deductive reasoning and master the formal methods of modern logic in order to apply them
- in the analysis of philosophical theses based on arguments, and
- in understanding some philosophical positions for which the results of logical investigations are considered important (or, alternatively, irrelevant).

Learning outcomes and competences

Strict and weighted application of some of the formal methods availabrle in Propositional Logic and Predicate Logic, considering the formalization and study of single propositions, and the existence of different ways of testing the validity of arguments.

Working method

Presencial

Pre-requirements (prior knowledge) and co-requirements (common knowledge)

Not applicable.

Program

1. Propositional Logic as a formal language.
1.1 Semantics.
1.2 Interpropositional level of logical analysis.
1.3 Natural deduction.
2. Introduction to metalogic and some themes of history and philosophy of logic: expressive adequacy, soundness and completeness; problems with conditional propositions; the idea of modal, intuitionistic and fuzzy logics.
3. Predicate Logic as a formal language.
3.1 Semantics.
3.2 Intrapropositional level of logical analysis.
3.3 Natural deduction.

Mandatory literature

Forbes, Graeme; Modern logic. ISBN: 0-19-508029-7
Guttenplan, Samuel; The^languages of logic. ISBN: 1-55786-988-X
Hodges, Wilfrid; Logic. ISBN: 0-14-013636-3
Kneale, William; O desenvolvimento da lógica. ISBN: 972-31-0532-2
Lemmon, E. J; Beginning logic. ISBN: 0-412-38090-0
Newton-Smith, W. H.; Lógica. ISBN: 972-662-609-9
Priest, Graham; Lógica. ISBN: 972-759-425-5
Oliveira, Augusto Franco de; Lógica e aritmética. ISBN: 972-662-504-1

Complementary Bibliography

Beall, Jc; Logic - the basics, Routledge, 2010. ISBN: 978-0-415-77499-4
Haack, Susan, 1945-; Deviant logic, fuzzy logic. ISBN: 0-226-31134-1
Hughes, R. I. G 340; A^philosophical companion to first-order logic. ISBN: 0-87220-181-3
Tymoczko, T., Henle, J.; Sweet reason - a field guide to modern logic, Springer, 2000. ISBN: 0-387-98930-7

Teaching methods and learning activities

Theoretical-practical classes. Lectures on the topics adressed and knowledge applications; classroom discussion of cases and examples particularly relevant and/or complicated; problem solving with analysis and/or comparison of the results obtained. Students are encouraged to participate in the discussion of examples and to resolve the exercises.

keywords

Humanities > Philosophy > Logic

Evaluation Type

Evaluation with final exam

Assessment Components

Designation	Weight (%)
Exame	100,00
Total:	100,00

Amount of time allocated to each course unit

Designation	Time (hours)
Estudo autónomo	110,00
Frequência das aulas	52,00
Total:	162,00

Eligibility for exams

According to the regulations in force.

Calculation formula of final grade

Final exam: a written test, with a duration of 3 hours, and an oral exam, whenever necessary or required. The final exam mark will be rounded to the nearest whole mark. (With intermediate tests to check or consolidate knowledge, according to the pace of classes.)

Examinations or Special Assignments

Not applicable.

Internship work/project

Not applicable.

Special assessment (TE, DA, ...)

According to the regulations in force.

Classification improvement

According to the regulations in force.