Laurea magistrale in Logica
University of Amsterdam / ILLC
Sono attualmente iscritto al Master of Logic dell’Università di Amsterdam / ILLC. Ho completato i corsi richiesti in un anno accademico; la tesi è in corso.
In sintesi
- Fase attuale
- Tesi in corso; titolo non ancora conseguito
- Corsi
- Corsi richiesti completati in un anno accademico
- Ricerca
- Strutturalismo scientifico, rappresentazione scientifica e traduzioni tra teorie
Tesi
Mechanising Structuralism: Structural Languages and Theory Translation in Isabelle/HOL
Titolo di lavoro. La ricerca filosofica è in buona parte sviluppata. La formalizzazione in Isabelle/HOL è in una fase iniziale: sto approfondendo sintassi e semantica e ho predisposto una prima struttura di lavoro.
Registro degli esami
Data del documento: 13 settembre 2025
Scorri in orizzontale per vedere tutti i dettagli dei corsi.
| Corso | ECTS | Voto | Stato nel documento |
|---|---|---|---|
| Dynamic Epistemic Logic | 6 | 8.0 | Superato |
| Proof Theory | 6 | 7.0 | Superato |
| Logic, Language and Computation | 3 | Superato | Superato |
| Philosophy of Cognition | 6 | 6.9 | Superato |
| Philosophy of Logic | 6 | 7.5 | Superato |
| Meaning, Reference and Modality | 6 | 8.5 | Superato |
| Mathematical Proof Methods for Logic | 6 | 8.5 | Superato |
| Knowledge Representation and Reasoning | 6 | 7.5 | Superato |
| Philosophy of Science | 6 | 9.0 | Superato |
| Structures for Semantics | 6 | 7.1 | Superato |
| Seminar Mathematical Logic | 3 | Superato | Superato |
| Progetto di ricerca | |||
| Research Project Master of Logic 3 | 6 | Superato | Superato |
| Corsi | |||
| Philosophy of Mathematics | 6 | 7.3 | Superato |
| Topology, Logic and Learning | 6 | 8.0 | Superato |
| Introduction to Modal Logic | 6 | 7.0 | Superato |
Questo estratto del portale riporta 84 ECTS, compresi 6 ECTS per un progetto di ricerca. Non è un certificato ufficiale aggiornato né rappresenta il totale attuale del percorso. Un distinto certificato ufficiale del 3 dicembre 2024 riporta 18 ECTS. Simone ha confermato separatamente il completamento attuale degli esami a ottobre 2026.
Riscontri e documenti
Certificato ufficiale storico degli esami del Master of Logic
Scarica la copia pubblica (PDF)
Lavori precedenti
Appunti storici e materiali dei corsi
- Horreum: appunti e materiali di studio precedenti Materiali storici e pianificazione degli studi. Lo stato attuale del titolo è indicato nella parte iniziale di questa pagina.