- Docente: Giovanna Corsi
- Credits: 6
- SSD: M-FIL/02
- Language: Italian
- Teaching Mode: Traditional lectures
- Campus: Bologna
-
Corso:
Second cycle degree programme (LM) in
Italian Studies, European Literary Cultures, Linguistics (cod. 9220)
Also valid for First cycle degree programme (L) in Philosophy (cod. 0957)
First cycle degree programme (L) in Philosophy (cod. 9216)
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
6: The Semantics of Predicate Logic
7: Natural Deduction
8: Formalisation in Predicate Logic
9: Identity and Definite Descriptions
10: Some metatheorems
Readings/Bibliography
MANUAL: 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.
LECTURE NOTES:
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/]
Notes on 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
EXERCISES:
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.
Office hours
See the website of Giovanna Corsi