Abstract

Questo contributo si propone di presentare alcuni dei risultati conseguiti nelle ricerche di semantica formale, non tanto per il loro intrinseco interesse dal punto di vista dello studio delle proprietà della facoltà di linguaggio, quanto soprattutto per la loro rilevanza ai fini di una precisa collocazione degli studi sul significato nell'ambito delle indagini scientifiche sulle lingue umane. Fra tali risultati è il caso di menzionare: (a) il fatto che la semantica non riguarda la relazione fra linguaggio e mondo; (b) l'irriducibilità del significato alla sintassi logica; (c) la centralità delle nozioni "insiemistiche" tarskiane rispetto alle condizioni di verifica empirica degli enunciati; (d) il fatto che il linguaggio umano non è una logica, ovvero un sistema concepito per il trattamento formale della nozione di inferenza.