Le strutture logiche presenti in una lingua naturale come l’italiano o l’inglese sono l’imprescindibile supporto dei nostri ragionamenti e delle nostre inferenze logiche. Se tali strutture logiche sono tutt’altro che nitide, esse ci consentono comportamenti sorprendentemente efficienti: non a caso esistono strumenti formali, come la logica e il controllo sfocati (fuzzy), che proprio alle lingue naturali si ispirano, tentando di emularle. Per capir meglio in che cosa consista la logicità di una lingua naturale, in questo articolo, servendoci del rasoio di Occam, esamineremo il caso della consecutio temporum, spesso decantata come esempio emblematico di logica solida che noi abbiamo ereditato dal latino.
