Logic

Code:

CINF022

Acronym:

LOG_CI

Keywords
Classification	Keyword
OFICIAL	Philosophy

Instance: 2011/2012 - 1S

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

Cycles of Study/Courses

Acronym	No. of Students	Study Plan	Curricular Years	Credits UCN	Credits ECTS	Contact hours	Total Time
CINF	64	Plano Oficial a partir de 2008/2009	1	-	6	56	162

Teaching language

Portuguese

Objectives

The aim of this subject is to encourage students to develop skills in deductive reasoning used in natural language and master some of the key concepts of contemporary logic, in order to subsequently apply it in the structuring of indexation languages, in the analysis of information systems and in information retrieval.

Program

1. Introduction to the study of logic.
1.1 Arguments - validity and correction of an argument (deductive).
1.2 Propositions - conditions of truth conditions and conditions of value.
1.3 Logic analysis - logic form of propositions and arguments.
1.4 Classical and modern logic (symbolic or mathematical).
2. Propositional logic.
2.1 The operations of negation, conjunction, disjunction, conditional (material) and bi-conditional (material).
2.2 Propositional logical analysis.
2.3 Validity tests: circumstance examiners, logical implications and invalidatory interpretations.
2.4 Introduction to the deductive aspects of Propositional Logic.
3. Predicate Logic.
3.1 Reference and predication: constants, variables, predicates and predicate variability, conditions, substitution and identity.
3.2 Existential quantification and universal quantification operations.
3.3 The intrapropositional level of logical analysis: logical semantics and interpretations.
3.4 Logic of classes.
3.5 Introduction of the deductive aspects of Predicate Logic.

Teaching methods and learning activities

Lectures on the topics addressed, comments on essential excerpts from the works mentioned above in the main bibliography, and the discussion of relevant examples. Practical classes will be reserved for resolving more or less typical exercises. Students are encouraged to participate in the discussion of examples and to resolve the exercises.

keywords

Humanities > Philosophy > Logic
Physical sciences > Mathematics > Mathematical logic

Evaluation Type

Distributed 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

Calculation formula of final grade

Continuous assessment (cf. Teaching methods) and final exam: 2.30-hour written test, and an oral, if necessary or requested. The exam mark will be rounded to the nearest whole mark.

Examinations or Special Assignments

Intermediate tests to check or consolidate knowledge - depending on the pace of classes.

Special assessment (TE, DA, ...)

According to FLUP regulation

Classification improvement

According to FLUP regulation