esplicazióne

sf. [sec. XVI; dal latino explicatío-ōnis, propr. svolgimento].

1) Spiegazione di un argomento; commento puntuale ed esauriente di un testo.

2) Svolgimento, esercizio. § Nella logica formale, procedimento che consente di sostituire espressioni (explicandum) il cui significato è vago e impreciso (per esempio verità, causa, numero, ecc.) con altre di significato esattamente determinato (explicatum), tale da precisare in modo rigoroso i limiti e le modalità di impiego di dette espressioni (per esempio, la definizione semantica di verità di Tarski). L'uso sistematico di questo procedimento è stato sviluppato soprattutto a opera degli empiristi logici e in particolare da R. Carnap, che lo definisce una rappresentazione nella forma di un concetto esattamente definito di ciò che abbiamo in mente in forma vaga.