Logica di ordine superiore e verità

Logic of higher order and truth. This paper takes into account Etchemendy’s argument which critiques classic tarskian notion of logical truth and it casts light on some doubtful aspect of his approach. The focus is the extensional inadequacy of tarskian logical truth with respect to the relationship between the concept of logical truth and higher order languages. In the end, it offers a series of philosophical reflections on Etchemendy’s challenge. Questo articolo si propone di mettere in luce alcuni tratti problematici dell’argomento con cui John Etchemendy critica la nozione tarskiana di conseguenza logica. Il punto cruciale e l’inadeguatezza estensionale della verita logica tarskiana in riferimento alla relazione tra il concetto di verita logica e i linguaggi di ordine superiore. Infine, vengono presentate alcune riflessioni filosofiche a partire dalla critica di Etchemendy.