Logic and Language

Code:

CL016

Acronym:

LOGLIN

Instance: 2017/2018 - 1S

Active?	Yes
Responsible unit:	Department of Portuguese and Romance Studies
Course/CS Responsible:	Bachelor in Language Sciences

Cycles of Study/Courses

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

Teaching language

Portuguese

Objectives

1. To acquire some formal basic tools allowing a better understanding of some fundamental linguistic relations; 2. To relate logics and linguistics in order to make several aspects of the languages more clear; 3. To show how some logic systems provide rigorous tools to study languages. 

Learning outcomes and competences

The students should have acquired the following competences: 1. Basic knowledge of propositional logic and predicate logic; 2. Hability to do exercises and solve problems in the relation natural language / logics.

Working method

Presencial

Program

I General Matters 1. Logics, language and meaning 2. Logics and Linguistics before XX century 3. Logics and Linguistics in XX century 4. Denotation, Truth and Meaning 5. Arguments and Inferences

II Proposition: Logics and Linguistics 1. Proposition, Sentence and Utterance 2. Connectors 3. Truth Tables

III Predicates and Arguments 1. Designators and Predicates 2. Types of predicates. Predicates and arguments 3. Atomic sentences 4. Quantifying and quantifiers 5. Names and definite descriptions

IV Language besides Logics 1. Meaning and use 2. Contexts: indices, discourse and presupposition

Mandatory literature

BACH, E; Informal Lectures on Formal Semantics, N. Iorque, State University of New York Press., 1989
CANN, R.; Formal Semantics. An Introduction, Cambridge, Cambridge University Pr, 1993
Cann, Ronnie; Semantics. ISBN: 978-0-521-52566-4
CHIERCHIA, G. e S. McCONNELL-GINET; Meaning and Grammar, Cambridge Mass., The MIT Press,2ªed., 2000
GAMUT, L.T.F; Logic, Language, and Meaning, vol 1, Chicago, The University of Chicago Press., 1991
HURLEY, P.J; A Concise Introduction to Logic, Thomson, 2005
KNEALE, W. e M. KNEALE; The Development of Logic, Oxford, Clarendon Press.Trad portuguesa: O Desenvolvimento da Lógica, 1980, Lisboa, Fundação Calouste Gulbenkian, 2ª ed., 1961
PARTEE, B. H., A. ter MEULEN, e R. WALL; Mathematical Methods in Linguistics, Dordrecht, Kluwer Academic Press, 1990

Teaching methods and learning activities

Some classes will consist of theoretical presentations on the program topics and others will have practical exercises.

Software

sala com projetor

keywords

Humanities > Philosophy > Logic
Humanities > language sciences > Linguistics

Evaluation Type

Distributed evaluation with final exam

Assessment Components

Designation	Weight (%)
Participação presencial	10,00
Teste	90,00
Total:	100,00

Amount of time allocated to each course unit

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

Eligibility for exams

75% presence in the classes, except in the cases admited by law.

Calculation formula of final grade

1st test: 50% 2nd test: 50%

In special cases that the students only do final exam: 100%

Examinations or Special Assignments

Not applicable.

Special assessment (TE, DA, ...)

Not applicable

Classification improvement

According to FLUP regulations.