Logic

Code:

CINF022

Acronym:

LOG_CI

Keywords
Classification	Keyword
OFICIAL	Philosophy

Instance: 2014/2015 - 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	52	Plano Oficial a partir de 2008/2009	1	-	6	56	162

Teaching language

Portuguese

Objectives

The aim of this subject is to encourage students (1) to develop skills in deductive reasoning by means of natural language and (2) 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.

Learning outcomes and competences

Students should be able to strictly implement notions such as: argument, premise and conclusion; proposition, truth conditions and truth value; ambiguity; valid and invalid argument; deductive and inductive argument; inductively valid and inductively invalid argument; counterexample for an argument; correct (sound) and incorrect (unsound) argument; counter-argument; logical form; valid and invalid argument form; logical consequence; formal system (calculus) and formal language; logical analysis; fundamental logical notion (in a formal language).
Students should also be able to implement thoughtfully some of the formal methods of Propositional Logic and Predicate Logic, considering the formalization and study of single propositions in connection with different methods to test the validity of arguments.

Working method

Presencial

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

Not applicable.

Program

1. Introduction to the study of logic.
1.1 Arguments: validity and soundness of an argument (deductive).
1.2 Propositions: truth conditions and truth values.
1.3 Logical analysis: logical form of propositions and arguments.
1.4 Classical and modern (symbolic or mathematical) logic.
1.5 An introduction to (intuitive) set theory.
2. Propositional Logic.
2.1 The operations of negation, conjunction, disjunction, (material) conditional and (material) biconditional.
2.2 Propositional logical analysis.
2.3 Validity tests: circumstance surveyors, 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 arity, 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 Introduction of the deductive aspects of Predicate Logic.

Mandatory literature

Newton-Smith, W. H.; Lógica. ISBN: 972-662-609-9
Oliveira, Augusto Franco de; Lógica e aritmética. ISBN: 972-662-504-1
Piaget, Jean, 1896-1980 300; Lógica e conhecimento científico (Grize, J.-B., “História. Lógica das classes e das proposições. Lógica dos predicados. Lógicas modais.”)

Complementary Bibliography

Beall, Jc; Logic: the basics, Routledge, 2010
Detlefsen, Michael; Logic from A to Z. ISBN: 0-415-21375-4
Forbes, Graeme; Modern logic. ISBN: 0-19-508029-7
Hodges, Wilfrid; Logic. ISBN: 0-14-013636-3
Hofstadter, Douglas R., 1945- 210; Gõdel, Escher, Bach. ISBN: 972-662-709-5
Kneale, William; O desenvolvimento da lógica. ISBN: 972-31-0532-2
Lemmon, E. J; Beginning logic. ISBN: 0-412-38090-0
Lipschutz, Seymour; Teoria dos conjuntos
Nidditch, P. H; The^development of mathematical logic. ISBN: 1-85506-582-7
Tymoczko, T., Henle, J.; Sweet Reason: a field guide to Modern Logic, Springer, 2000
Walton, D, Reed, C., Macagno, F.; Argumentation Schemes, Cambridge Univ. Press, 2008

Teaching methods and learning activities

Lectures with frequently use of active learning methodologies. Classroom discussion of cases and examples particularly relevant and/or complicated; realization of practical exercises with analysis and comparison of the results obtained. 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

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	102,00
Frequência das aulas	60,00
Total:	162,00

Eligibility for exams

According to FLUP regulation.

Calculation formula of final grade

Evaluation by 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. 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 FLUP regulation.

Classification improvement

According to FLUP regulation.