Logic I

Code:

FILO027

Acronym:

LOG1

Instance: 2014/2015 - 1S

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	81	FILO - Study Plan	1	-	6	4

Teaching language

Portuguese

Objectives

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

Learning outcomes and competences

Strict application of the following key concepts of logic: 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 of logic).

Working method

Presencial

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

Not applicable.

Program

1. Arguments.
1.1 The idea of truth preservation and the notion of validity of an argument in general.
1.2 Some issues on the analysis and intuitive evaluation of particular arguments.
2. The study of movements of thought of an inferential nature in Logic.
2.1 Deductive arguments (valid or invalid) and inductive arguments.
2.2 Correct and incorrect (deductive) arguments and persuasive (deductive) arguments.
2.3 The analysis and intuitive evaluation of arguments and logic research in the strict sense.
3. Logical form or structure of arguments and the notion of logical consequence.
3.1 Logical analysis and decisions about validity.
3.2 Formal systems and formal languages.
4. Interpropositional and intrapropositional levels of logical analysis in First-Order Logic with Identity.
4.1 Basic notions and symbols of Propositional Logic.
4.2 Basic notions and symbols of Predicate Logic.

Mandatory literature

Deano, Alfredo; Introducción a la lógica formal. ISBN: 84-206-2987-1
Forbes, Graeme; Modern logic. ISBN: 0-19-508029-7
Guttenplan, Samuel; The^languages of logic. ISBN: 1-55786-988-X
Haack, Susan, 1945-; Philosophy of logics. ISBN: 0-521-29329-4
Hodges, Wilfrid; Logic. ISBN: 0-14-013636-3
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

Complementary Bibliography

Beall, Jc; Logic - the basics, Routledge, 2010. ISBN: 978-0-415-77499-4
Dowek, Gilles; La^logique. ISBN: 2-08-035414-0
Govier, Trudy; Problems in argument analysis and evaluation. ISBN: 90-6765-341-1
Hofstadter, Douglas R., 1945- 210; Gõdel, Escher, Bach. ISBN: 972-662-709-5
Hughes, R. I. G 340; A^philosophical companion to first-order logic. ISBN: 0-87220-181-3

Comments from the literature

Notes on the study of the works in the compulsory reading list will be provided during the classes.

Teaching methods and learning activities

Theoretical-practical classes, consisting of lectures (in connection with the analysis of relevant book excerpts from the compulsory reading list) and application of acquired knowledge (in connection with the discussion of particularly important examples and exercise solving).

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 minimum duration of 2 hours, 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.

Internship work/project

Not applicable.

Special assessment (TE, DA, ...)

According to the regulations in force.

Classification improvement

According to the regulations in force.