Warning: Table './church/sessions' is marked as crashed and last (automatic?) repair failed query: SELECT sid FROM sessions WHERE sid = 'mtlf1rphpofj9hntoiadmcg8b2' in /var/www/church/includes/database.mysql.inc on line 121
Lezioni per la ricerca in logica | Gruppo di Logica e Geometria della Cognizione
Home

Lezioni per la ricerca in logica

Docente:
V. Michele Abrusci
Inizio:
04/03/2009
Fine:
15/05/2009
Dove:
Aula 16 (ore 16-18). Facoltà di Lettere e Filosofia - Università Roma Tre, Via Ostiense 234
Descrizione

Introduzione critica alla logica lineare e ai suoi sviluppi
Lezioni di sintesi: 6, 13 e 20 marzo 2009.

Esposizione critica della teoria della dimostrazione del ‘900
Lezioni di sintesi: 27 marzo, 3 e 17 aprile 2009.

Le branche della logica nel XXI secolo
Lezioni di sintesi: 8 e 15 maggio 2009.
Lezioni:

04/03/2009 - 16:00
Aula 16
V.M. Abrusci
Introduzione critica alla logica lineare e ai suoi sviluppi: la geometria nella logica (I parte)

05/03/2009 - 16:00
Aula 16
V.M. Abrusci
Introduzione critica alla logica lineare e ai suoi sviluppi: la geometria nella logica (II parte)

06/03/2009 - 16:00
Aula 16
V.M. Abrusci
Introduzione critica alla logica lineare e ai suoi sviluppi: la geometria nella logica (sintesi)

11/03/2009 - 16:00
Aula 16
V.M. Abrusci
Introduzione critica alla logica lineare e ai suoi sviluppi: il “positivo” e il “negativo” nella logica (I parte)

12/03/2009 - 16:00
Aula 16
V.M. Abrusci
Introduzione critica alla logica lineare e ai suoi sviluppi: il “positivo” e il “negativo” nella logica (II parte)

13/03/2009 - 16:00
Aula 16
V.M. Abrusci
Introduzione critica alla logica lineare e ai suoi sviluppi: il “positivo” e il “negativo” nella logica (sintesi)

18/03/2009 - 16:00
Aula 16
V.M. Abrusci
Introduzione critica alla logica lineare e ai suoi sviluppi: la “sintassi” e la “semantica” nella logica (I parte)

19/03/2009 - 16:00
Aula 16
V.M. Abrusci
Introduzione critica alla logica lineare e ai suoi sviluppi: la “sintassi” e la “semantica” nella logica (II parte)

20/03/2009 - 16:00
Aula 16
V.M. Abrusci
Introduzione critica alla logica lineare e ai suoi sviluppi: la “sintassi” e la “semantica” nella logica (sintesi)

25/03/2009 - 16:00
Aula 16
V.M. Abrusci
Esposizione critica della teoria della dimostrazione del ‘900: la “teoria della dimostrazione” di Hilbert (I parte)

26/03/2009 - 16:00
Aula 16
V.M. Abrusci
Esposizione critica della teoria della dimostrazione del ‘900: la “teoria della dimostrazione” di Hilbert (II parte)

27/03/2009 - 16:00
Aula 16
V.M. Abrusci
Esposizione critica della teoria della dimostrazione del ‘900: la “teoria della dimostrazione” di Hilbert (sintesi)

01/04/2009 - 16:00
Aula 16
V.M. Abrusci
Esposizione critica della teoria della dimostrazione del ‘900: da Gentzen alla omega-logica: la “logica dei numeri naturali” (I parte)

02/04/2009 - 16:00
Aula 16
V.M. Abrusci
Esposizione critica della teoria della dimostrazione del ‘900: da Gentzen alla omega-logica: la “logica dei numeri naturali” (II parte)

03/04/2009 - 16:00
Aula 16
V.M. Abrusci
Esposizione critica della teoria della dimostrazione del ‘900: da Gentzen alla omega-logica: la “logica dei numeri naturali” (sintesi)

08/04/2009 - 16:00
Aula 16
V.M. Abrusci
Esposizione critica della teoria della dimostrazione del ‘900: i dilatatori e la beta-logica: la “logica dei numeri ordinali” (I parte)

09/04/2009 - 16:00
Aula 16
V.M. Abrusci
Esposizione critica della teoria della dimostrazione del ‘900: i dilatatori e la beta-logica: la “logica dei numeri ordinali” (II parte)

17/04/2009 - 16:00
Aula 16
V.M. Abrusci
Esposizione critica della teoria della dimostrazione del ‘900: i dilatatori e la beta-logica: la “logica dei numeri ordinali” (sintesi)

06/05/2009 - 16:00
Aula 16
V.M. Abrusci
Le branche della logica nel XXI secolo: la crisi della ripartizione della logica (I parte)

07/05/2009 - 16:00
Aula 16
V.M. Abrusci
Le branche della logica nel XXI secolo: la crisi della ripartizione della logica (II parte)

08/05/2009 - 16:00
Aula 16
V.M. Abrusci
Le branche della logica nel XXI secolo: la crisi della ripartizione della logica (sintesi)

13/05/2009 - 16:00
Aula 16
V.M. Abrusci
Le branche della logica nel XXI secolo: dove andiamo (I parte)

14/05/2009 - 16:00
Aula 16
V.M. Abrusci
Le branche della logica nel XXI secolo: dove andiamo (II parte)

15/05/2009 - 16:00
Aula 16
V.M. Abrusci
Le branche della logica nel XXI secolo: dove andiamo (sintesi)

Warning: Can't find file: 'watchdog' (errno: 2) query: INSERT INTO watchdog (uid, type, message, severity, link, location, referer, hostname, timestamp) VALUES (0, 'php', 'Table './church/sessions' is marked as crashed and last (automatic?) repair failed\nquery: SELECT sid FROM sessions WHERE sid = 'mtlf1rphpofj9hntoiadmcg8b2' in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/node/293', '', '18.207.255.67', 1728522705) in /var/www/church/includes/database.mysql.inc on line 121