Prolegomena to a Semantic Theory for Natural Languages Based on Recursive Artihmetic

In questa tesi si indaga la possibilità di impiegare una versione dell’aritmetica (primitiva) ricorsiva allo scopo di costruire le rappresentazioni semantiche degli enunciati delle lin- gue naturali. L’idea deriva dal fatto che un sistema formale di questo tipo si differenzia sotto diversi aspetti significativi dai formalismi tradizionalmente impiegati in semantica formale, basati sulla logica predicativa classica. In particolare, nel caso dell’aritmetica ricorsiva, i quantificatori non sono termini primitivi del linguaggio, ma vengono defini- ti come specifiche funzioni ricorsive; inoltre, essi non possono esservi definiti in modo analogo a come vengono classicamente concepiti, ossia come quantificatori “illimitati”, il cui dominio non è necessariamente finito. Nell’aritmetica ricorsiva è possibile, tuttavia, esprimere l’equivalente di asserzioni generali, che riguardano cioè un qualunque individuo arbitrariamente scelto, mediante l’uso di variabili libere; crucialmente, queste variabili non stabiliscono rapporti di portata con altri termini del linguaggio, e la loro interpre- tazione è per gran parte assimilabile a quella dei quantificatori universali tradizionali con portata ampia. Alla luce di questo fatto, si sostiene che diversi fenomeni linguistici, attestati in lingue appartenenti a famiglie diverse, possono essere spiegati in modo parti- colarmente naturale assumendo che gli elementi lessicali e le strutture sintattiche che vi sono coinvolti siano correlati alla presenza di tali variabili libere con valore generico nella forma logica dell’enunciato. In particolare, vengono analizzati gli indefiniti generici, i condizionali e le frasi abituali, nella loro interazione con la negazione e, nei primi due casi, con i sintagmi nominali quantificati; in connessione con questi aspetti, viene toccato il problema della struttura interna degli indefiniti negativi; infine, in termini di variabili generiche viene offerta una possibile analisi del fenomeno del Neg-Raising. Molte delle proposte avanzate sviluppano idee già apparse nella letteratura, in Löbner (2000, 2013) e, soprattutto, in Goodstein (1951, 1957) e Hornstein (1984). Alcuni apparenti proble- mi della teoria delineata vengono spiegati facendo appello a uno specifico trattamento delle frasi incassate motivato indipendentemente. Si suggerisce quindi che i fenomeni analizzati, considerati nel loro complesso, confermino la validità del progetto iniziale, lasciando intravvedere nuovi potenziali scenari per un fecondo scambio tra filosofia della matematica e semantica linguistica.