Logic II

Code:

FILO028

Acronym:

LOG2

Instance: 2011/2012 - 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	135	FILO - Study Plan	1	-	6	4

Teaching language

Portuguese

Objectives

- develop their reasoning (essentially deductive reasoning) by using the key concepts of logic;
- apply the key concepts of logic to analyse philosophical theses based on arguments and understand some philosophical positions to which the results of logical questions are seen as extremely important (or, on the contrary, as irrelevant).

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.
2.1 Expressive adequacy, reliability and completeness of Propositional Logic.
2.2 Problems of conditional propositions.
2.3 Modal Logic, intuitionistic logic and fuzzy logic.
3. Predicate Logic as a formal language.
3.1 Semantics.
3.2 Intrapropositional level of logical analysis.
3.3 Natural deduction.
MAIN LITERATURE
(The literature mentioned here is available in the Central Library. Other literature references will be handed out in classes.)
BRANQUINHO, J., e MURCHO, D. (Eds.), Enciclopédia de Temos Lógico-Filosóficos, Gradiva, 2001.
FORBES, G., Modern Logic, A Text in Elementary Symbolic Logic, Oxford University Press, 1994.
GRIZE, J-B., «História. Lógica das classes e das proposições. Lógica dos predicados. Lógicas modais.», in J. Piaget (Org.), Lógica e Conhecimento Científico, vol. I, Livraria Civilização, 1980.
HODGES, W., Logic, An Introduction to Elementary Logic, Penguin, 1991.
KNEALE, W., e KNEALE, M., O desenvolvimento da lógica, Fundação Calouste Gulbenkian, 1980 (2ª ed.).
LEMMON, E. J., Beginning Logic, Chapman & Hall, 1987 (2ª ed.).
NEWTON-SMITH, W. H., Lógica: um curso introdutório, Gradiva, 1998.
OLIVEIRA, A. F. de, Lógica e aritmética, Gradiva, 1996 (2ª ed.).

Teaching methods and learning activities

Theory-practical classes: lectures on the materials addressed; applying the knowledge (in correlation with the discussion of particularly relevant examples, and solving exercises).

keywords

Humanities > Philosophy > Logic

Evaluation Type

Evaluation with final exam

Assessment Components

Description	Type	Time (hours)	Weight (%)	End date
Attendance (estimated)	Participação presencial	52,00
Final examination	Exame	3,00
	Total:	-	0,00

Amount of time allocated to each course unit

Description	Type	Time (hours)	End date
Study (Final examination)	Estudo autónomo	27
Study of contents and exercises	Estudo autónomo	80
	Total:	107,00

Eligibility for exams

According to the regulations in force.

Calculation formula of final grade

Final exam: Final exam: a 3-hour written exam, and an oral exam, whenever necessary or required. The final exam mark will be rounded to the nearest whole mark.

Examinations or Special Assignments

Not applicable

Special assessment (TE, DA, ...)

According to the regulations in force.

Classification improvement

According to the regulations in force.