- Docente: Giovanna Corsi
- Credits: 6
- SSD: M-FIL/02
- Language: Italian
- Teaching Mode: Traditional lectures
- Campus: Bologna
-
Corso:
Second cycle degree programme (LM) in
Mathematics (cod. 8208)
Also valid for First cycle degree programme (L) in Philosophy (cod. 0957)
Second cycle degree programme (LM) in Mathematics (cod. 8208)
Learning outcomes
Students will get to know about extensions of propositional and
first order logic: in the first part, modal logics viewed as
extensions of the propositional classical logic and in the second
part some first order theories together with some of their
metatheoretical properties.
Course contents
Syllabus:
1. Syllogismus
2. Syntax and semantics of propositinal logic
3. Formalisation in propositional logic
4. Sets,
relations and arguments
5. The
syntax of predicate logic
6: The
Semantics of Predicate Logic
7: Natural
Deduction
8:
Formalisation in Predicate Logic
9:
Identity and Definite Descriptions
10: Some metatheorems
Readings/Bibliography
TESTO DI BASE: Dario Palladino, Corso di Logica, Carocci, 2003.
ELEARNING:
https://elearning-cds.unibo.it/course/view.php?id=2682 [https://elearning-cds.unibo.it/]
cercare il corso di Logica (2014-15) ed eseguire il LOGIN con le credenziali di Ateneo: nome.cognome@studio.unibo.it
Cliccando su "Corso" accedete a Le basi della logica on-line. E' in fase di revisione poiché su nuova piattaforma.
DISPENSE:
Introduzione alla logica di W.V.O Quine (1958) [http://campus.unibo.it/196459/]
Introduzione al corso di logica da GAMUT [http://campus.unibo.it/39411/]
Appunti sul sillogismo.pdf [http://campus.unibo.it/155930/]
Sintassi e semantica dei linguaggi del primordine [http://campus.unibo.it/171412/]
Tarski's world I [http://campus.unibo.it/159931/]
Tarski's world II [https://campus.unibo.it/159932/1/Tarski-world-II.pdf]
Linguaggi del primo ordine. [https://campus.unibo.it/171317/1/7.%20Linguaggi%20del%20primo%20ordine.pdf]
Semantica [https://campus.unibo.it/171410/1/9.%20Semantica.pdf]
Deduzione naturale. [http://campus.unibo.it/167933/]
Esempi di derivazioni proposizionali. [http://campus.unibo.it/171316/]
Esempi di derivazioni predicative. [http://campus.unibo.it/163962/]
Induzione. [http://campus.unibo.it/166311/]
Il linguaggio della teoria degli insiemi. [http://campus.unibo.it/170969/]
Altre dispense verranno messe on line durante il corso
ESERCIZI:
Formalizzazioni con soluzioni 1 [http://campus.unibo.it/168689/]
Formalizzazioni con soluzioni 2 [http://campus.unibo.it/168777/]
Formalizzazioni con soluzioni 3 [http://campus.unibo.it/168691/]
Teaching methods
Lectures ex cathedra and tutorials
Assessment methods
Written examination
Teaching tools
Standard tools: black-board and chalk, overhead projector, front
projector for slides.
Links to further information
https://elearning-cds.unibo.it/course/index.php?categoryid=83
Office hours
See the website of Giovanna Corsi