La logica del secondo ordine e la prova ontologica di Gödel

Nel mio lavoro ho deciso di dedicare il primo capitolo all'evoluzione della prova ontologica nella storia della filosofia e della logica e all'analisi, da un punto di vista logico, della prova di Gödel. Nella prima sezione, quindi, ho riportato l'argomentazione di Anselmo d'Aosta, il primo a proporre una prova ontologica, e a seguire quelle di Scoto, Spinoza, Leibniz e Russell, evidenziando dove opportuno le critiche ad esse apportate. Nella seconda sezione ho ripercorso le tappe della prova ontologica di Gödel e ho riportato e analizzato alcuni dei passaggi logici tratti da uno dei suoi taccuini. Nel secondo capitolo ne ho analizzato in particolare la logica del secondo ordine. Inoltre ho dedicato la prima sezione a un breve richiamo di logica modale S5. Ho infine brevemente trattato un caso particolare della logica del secondo ordine, vale a dire la logica del secondo ordine debole.

Il sillogismo e il “Gioco della Logica” di L. Carroll

La tesi è suddivisa in due capitoli. Nel primo capitolo è data una definizione di sillogismo, la sua classificazione nelle 4 figure e la sua interpretazione mediante il calcolo delle classi. Inoltre è spiegato il calcolo predicativo monadico ed è dimostrata la sua decidibilità. Nel secondo capitolo è illustrato il “Gioco della Logica” di L. Carroll descrivendo le regole del gioco e riportando diversi esempi. Inoltre è evidenziata una discrepanza nell'interpretazione del quantificatore universale tra la logica di Carroll e la logica moderna.

Errori nelle dimostrazioni: tra logica ed esperienza didattica

Il lavoro nasce dall'esigenza di comprendere quali sono gli ostacoli concettuali e metodologici che gli studenti della scuola secondaria di secondo grado incontrano nello studio delle dimostrazioni. Tale lavoro è in parte dedicato alla descrizione, mediante la proposizione di ragionamenti scorretti, delle tipologie più diffuse di errori commessi nel condurre una dimostrazione, partendo dall'esplicitazione dei requisiti necessari della stessa in contesto logico. La realizzazione di un’esperienza didattica rivolta a studenti delle classi seconde, ha permesso di concretizzare le ipotesi avanzate durante la fase descrittiva. In particolare ha favorito l’individuazione di ulteriori spunti di riflessione su come condurre lo studio delle dimostrazioni e ha messo in evidenza come un’analisi che prescinde dal piano epistemologico risulta fuorviante e inappropriata.

Italianismi nel linguaggio politico albanese

Con il presente lavoro si è svolta una ricerca sugli italianismi nella lingua albanese, più precisamente nel linguaggio politico. Una volta individuati gli italianismi all'interno di interviste, si è proceduto alla redazione di un glossario.

Le problematiche di genere nel linguaggio amministrativo e politico: un confronto tra l'italiano e il tedesco

Si dice ministra, ministro o la ministro? Avvocata o avvocatessa? Un'analisi attraverso le indicazioni dei linguisti e un corpus di giornali e telegiornali per capire la situazione attuale e possibili future tendenze.

Tradurre Leïla Sebbar. Meticciato e identità nella scrittura autobiografica dell'esilio

Il lavoro a partire dalla traduzione del romanzo autobiografico Je ne parle pas la langue de mon père dell’autrice francese di origine algerina Leïla Sebbar, si propone di riflettere sul rapporto tra esilio e meticciato culturale e sulla relazione che questi intrattengono con la traduzione. Il primo capitolo vuole fornire un’introduzione al tema della migrazione nella letteratura postcoloniale in quanto luogo privilegiato per la costruzione di paradigmi identitari, con particolare riferimento alle letterature francofone, al caso maghrebino e algerino. In questo ambito un’attenzione speciale è dedicata alle scritture femminili e a come la prospettiva di genere arricchisca il panorama letterario migrante di inedita sensibilità e complessità. La seconda sezione si focalizza sull’opera di Leïla Sebbar e sulla peculiare posizione che l’autrice occupa nel contesto francofono contemporaneo per terminare con un’analisi puntuale della pluralità delle istanze di Je ne parle pas la langue de mon père in quanto significanti delle tematiche dell’esilio e del meticciato. In particolare viene presa in considerazione la natura ibrida del genere testuale e l’apporto lessicale e sintattico della lingua arabo-berbera come elemento stilistico e identitario. Il terzo capitolo presenta una personale proposta di traduzione italiana del testo, nella prospettiva di una pubblicazione all’interno di un reale scenario editoriale. Basandomi sulle problematiche incontrate in sede traduttiva, ho cercato di definire il ruolo del traduttore e di valutare l’adeguatezza degli strumenti di cui dispone, tanto all’interno del testo quanto nell’apparato paratestuale, al momento di veicolare lingue terze e mondi altri. Una parentesi è dedicata all’esame dei limiti legati alla ricezione di un testo di questo tipo nel mondo editoriale italiano. Infine, la personale esperienza traduttiva viene raffrontata con alcuni contributi all’interno del dibattito contemporaneo sulla traduzione della letteratura postcoloniale.

Elaborazione del linguaggio naturale nell'IA e tecnologie moderne: Sentiment Analysis come caso di studio.

L'informatica e le sue tecnologie nella società moderna si riassumono spesso in un assioma fuorviante: essa, infatti, è comunemente legata al concetto che ciò che le tecnologie ci offrono può essere accessibile da tutti e sfruttato, all'interno della propria quotidianità, in modi più o meno semplici. Anche se quello appena descritto è un obiettivo fondamentale del mondo high-tech, occorre chiarire subito una questione: l'informatica non è semplicemente tutto ciò che le tecnologie ci offrono, perchè questo pensiero sommario fa presagire ad un'informatica "generalizzante"; l'informatica invece si divide tra molteplici ambiti, toccando diversi mondi inter-disciplinari. L'importanza di queste tecnologie nella società moderna deve spingerci a porre domande, riflessioni sul perchè l'informatica, in tutte le sue sfaccettature, negli ultimi decenni, ha portato una vera e propria rivoluzione nelle nostre vite, nelle nostre abitudini, e non di meno importanza, nel nostro contesto lavorativo e aziendale, e non ha alcuna intenzione (per fortuna) di fermare le proprie possibilità di sviluppo. In questo trattato ci occuperemo di definire una particolare tecnica moderna relativa a una parte di quel mondo complesso che viene definito come "Intelligenza Artificiale". L'intelligenza Artificiale (IA) è una scienza che si è sviluppata proprio con il progresso tecnologico e dei suoi potenti strumenti, che non sono solo informatici, ma soprattutto teorico-matematici (probabilistici) e anche inerenti l'ambito Elettronico-TLC (basti pensare alla Robotica): ecco l'interdisciplinarità. Concetto che è fondamentale per poi affrontare il nocciolo del percorso presentato nel secondo capitolo del documento proposto: i due approcci possibili, semantico e probabilistico, verso l'elaborazione del linguaggio naturale(NLP), branca fondamentale di IA. Per quanto darò un buono spazio nella tesi a come le tecniche di NLP semantiche e statistiche si siano sviluppate nel tempo, verrà prestata attenzione soprattutto ai concetti fondamentali di questi ambiti, perché, come già detto sopra, anche se è fondamentale farsi delle basi e conoscere l'evoluzione di queste tecnologie nel tempo, l'obiettivo è quello a un certo punto di staccarsi e studiare il livello tecnologico moderno inerenti a questo mondo, con uno sguardo anche al domani: in questo caso, la Sentiment Analysis (capitolo 3). Sentiment Analysis (SA) è una tecnica di NLP che si sta definendo proprio ai giorni nostri, tecnica che si è sviluppata soprattutto in relazione all'esplosione del fenomeno Social Network, che viviamo e "tocchiamo" costantemente. L'approfondimento centrale della tesi verterà sulla presentazione di alcuni esempi moderni e modelli di SA che riguardano entrambi gli approcci (statistico e semantico), con particolare attenzione a modelli di SA che sono stati proposti per Twitter in questi ultimi anni, valutando quali sono gli scenari che propone questa tecnica moderna, e a quali conseguenze contestuali (e non) potrebbe portare questa particolare tecnica.

L'aspetto geometrico delle identità algebriche: un esperimento nell'insegnamento della matematica

Un esperimento nell'insegnamento della matematica condotto attraverso l'aspetto geometrico delle identità algebriche.

Tecnologie per la costruzione di piattaforme distribuite basate sul linguaggio di programmazione Scala

Questo elaborato tratta alcuni dei più noti framework di programmazione avanzata per la costruzione di piattaforme distribuite che utilizzano il linguaggio di programmazione avanzata Scala come fulcro principale per realizzare i propri protocolli. Le tecnologie analizzate saranno Finagle, Akka, Kafka e Storm. Per ciascuna di esse sarà presente una sezione di introduzione, documentazione e un esempio di codice. L’obiettivo dell’elaborato è l’analisi approfondita delle tecnologie sopraelencate per comprendere a fondo le tecniche di programmazione che le rendono uniche nel loro genere. Questo percorso fornisce una chiave di lettura obiettiva e chiara di ciascuna tecnologia, sarà cura del lettore proseguire nello studio individuale della specifica tecnica che ritiene essere più efficace o interessante. Alla fine della tesi è presente un aperto dibattito in cui le quattro tecnologie vengono messe a confronto e giudicate in base alle loro caratteristiche. Inoltre vengono ipotizzate realtà in cui si possa trovare collaborazione tra i vari framework ed, infine, è presente una mia personale opinione basata sulla mia esperienza in merito.

La realtà nella lingua e la lingua nella realtà - un esempio del potere descrittivo e produttivo del linguaggio nelle opere di Woolf e Calvino

La mia tesi si propone di analizzare la capacità della lingua, in particolare quella letteraria, di rappresentare la realtà delle cose. Questa analisi, introdotta da un capitolo esplicativo delle principali teorie sul processo di significazione della lingua, verrà condotta in particolare sull'opera di Virginia Woolf, riferimento per la lingua inglese, e Italo Calvino per la lingua italiana. L'elaborato volgerà poi alla conclusione evidenziando la capacità della lingua di essere non soltanto descrittiva ma anche produttiva, riportando una relazione interattiva con lo stato di cose del mondo.

Il linguaggio giuridico dell'atto notarile: proposta di traduzione di una procura dallo spagnolo all'italiano con strumenti di traduzione assistita

El objetivo de este trabajo es investigar el lenguaje jurídico de las actas notariales y presentar la traducción de un poder del español al italiano mediante el uso de programas de traducción asistida. La finalidad del presente estudio es la de proporcionar un análisis del género textual del acta notarial en clave contrastiva, es decir, teniendo en cuenta el derecho italiano y el español, y delinear las fases del proceso traductivo que el traductor jurídico tiene que llevar a cabo. El trabajo consta de seis capítulos. El Capítulo I se centra en el análisis del lenguaje jurídico con sus características léxicas, sintácticas y textuales. Se describen también algunos conceptos básicos de derecho privado que son necesarios para entender y traducir actas notariales. El Capítulo II se focaliza en la traducción jurídica analizando las fases, las dificultades y las estrategias que caracterizan el proceso traductivo de un texto jurídico y las fuentes de documentación útiles para llevarlo a cabo. El Capítulo III trata del género textual del acta notarial y de la individuación de la macroestructura que está a la base de este tipo de documento. En el Capítulo IV se ilustran los programas de traducción asistida y los recursos creados para realizar la traducción del acta notarial objeto de este trabajo: corpora, termbase y memorias de traducción. El Capítulo V presenta un análisis del texto origen con la individuación de las características del lenguaje jurídico español y la propuesta de traducción del documento. El Capítulo VI consiste en un comentario de las diferentes fases del trabajo, junto a una reflexión sobre las principales dificultades de traducción y las estrategias empleadas para solucionarlas. Por último, se proporciona la evaluación de la traducción por parte de un experto del dominio jurídico, los resultados obtenidos y los cambios realizados en la traducción.

Deployment automatico di applicazioni specificate in linguaggio ABS

Da quando è iniziata l'era del Cloud Computing molte cose sono cambiate, ora è possibile ottenere un server in tempo reale e usare strumenti automatizzati per installarvi applicazioni. In questa tesi verrà descritto lo strumento MODDE (Model-Driven Deployment Engine), usato per il deployment automatico, partendo dal linguaggio ABS. ABS è un linguaggio a oggetti che permette di descrivere le classi in una maniera astratta. Ogni componente dichiarato in questo linguaggio ha dei valori e delle dipendenze. Poi si procede alla descrizione del linguaggio di specifica DDLang, col quale vengono espressi tutti i vincoli e le configurazioni finali. In seguito viene spiegata l’architettura di MODDE. Esso usa degli script che integrano i tool Zephyrus e Metis e crea un main ABS dai tre file passati in input, che serve per effettuare l’allocazione delle macchine in un Cloud. Inoltre verranno introdotti i due sotto-strumenti usati da MODDE: Zephyrus e Metis. Il primo si occupa di scegliere quali servizi installare tenendo conto di tutte le loro dipendenze, cercando di ottimizzare il risultato. Il secondo gestisce l’ordine con cui installarli tenendo conto dei loro stati interni e delle dipendenze. Con la collaborazione di questi componenti si ottiene una installazione automatica piuttosto efficace. Infine dopo aver spiegato il funzionamento di MODDE viene spiegato come integrarlo in un servizio web per renderlo disponibile agli utenti. Esso viene installato su un server HTTP Apache all’interno di un container di Docker.

Introduzione alla logica e alla matematica intuizioniste

L'elaborato propone un'introduzione alla matematica intuizionista e alla sua formalizzazione. Dopo aver inquadrato storicamente il movimento e averne tratteggiato il pensiero, si approfondiscono la sintassi e la semantica ad esso associate grazie ai lavori di Heyting e Kripke, si confronta la teoria con quella classica, e si indica il legame tra la logica intuizionista e quella modale. Il capitolo conclusivo è dedicato alla costruzione dei numeri naturali e reali, con particolare attenzione alle conseguenze metodologiche del pensiero intuizionista, ai concetti originali e alle nozioni più fini in cui si suddividono alcune nozioni fondamentali della matematica tradizionale.

L'ultima propaganda. Proposta di sottotitolaggio del notiziario "1. Mai 1989" e del documentario "Berlin - Hauptstadt der DDR"

Dal 1949 al 1989 la Germania dovette fare i conti con le conseguenze della 2^ guerra mondiale e della guerra fredda, che portarono alla spaccatura ideologica e geografica del paese. La Repubblica Democratica Tedesca, costruita su modello del socialismo dell’Urss, era guidata dal partito della SED, che esercitò il proprio predominio sociale, politico ed economico sulla popolazione e sull’opinione pubblica, servendosi di mezzi sottili di influenza e di controllo e, non da ultimo, del linguaggio. Il progetto di questa tesi si basa sull’analisi e il sottotitolaggio di un notiziario del telegiornale della Germania Est, Aktuelle Kamera, e di un documentario prodotto dalla DEFA, l’impresa tedesco-orientale addetta alla produzione di film, con l’obiettivo di approfondire lo studio della propaganda degli ultimi anni di vita della RDT, che, grazie al controllo di tutti i mezzi di comunicazione, indottrinava i cittadini a una visione socialista del mondo e giustificava le scelte del governo. Attraverso il filtro cinematografico si possono delineare le caratteristiche della società tedesca orientale, che, pur sotto l’influenza sovietica, presentava una propria identità e cultura. Nel primo capitolo di questo elaborato verrà presentato il quadro storico di riferimento, ripercorrendo le tappe salienti che portarono alla formazione delle due Germanie e l’evoluzione sociale e politica della RDT; nel secondo capitolo ci si concentrerà sul sistema della propaganda creato dal regime con particolare attenzione al ruolo delle istituzioni, dei media e degli intellettuali. Inoltre si farà accenno all’opera di censura, al delicato mondo del consenso/dissenso e al Ministero della Sicurezza di Stato. Infine, nel terzo e ultimo capitolo verranno presentati i due documenti sottotitolati (il notiziario “1. Mai 1989” e il documentario “Berlin – die Hauptstadt der DDR”) e, basandosi su esempi concreti, verranno analizzate le strategie traduttive messe in atto durante la fase di traduzione.

Il linguaggio della medicina: proposta di traduzione dall'italiano all'inglese del libro "Osteopatia come Medicina di Terreno"

This thesis is aimed at providing a translation from Italian into English of some chapters taken from Osteopatia come Medicina di Terreno (Osteopathy as Ground Medicine), written by Dr. Mauro Fornari D.O.M.R.O.I., Dr. Alberto Garoli MD Ac, MD Ay, MD Tcm, Dr. Lara Gozzi D.O.M.R.O.I., Professor Stefano Guizzardi MD Ph.D., Dr. Andrea Martini D.O.M.R.O.I., and Dr. Stefano Matassoni D.O.M.R.O.I., published in 2014 by Piccin Nuova Libraria publishing house. The main reason behind this choice is a personal interest in technical-scientific translation, especially in medical translation. Furthermore, this translation has been personally requested by one of the authors of the book, Dr. Mauro Fornari, in order to export the new and functional osteopathic method to assess the patient, that is discussed in this book. The dissertation consists of four chapters. Chapter one illustrates an analysis of specialized languages from a stylistic, textual, lexical and morphosyntactic point of view. Chapter two contains an analysis of the main features of medical language, both in Italian and English. Chapter three is focused on corpus linguistics and the use of corpora in specialized translation, it includes a brief introduction to the Osteopathic practice, and contains the translation of chapters 4-5-6-7 of Osteopatia come Medicina di Terreno. And finally, chapter four contains an analysis of the problems found during the translation process, and a proposal for their resolution.