Declaração (lógica)

Em lógica uma declaração ou é (a) uma sentença declarativa significativa que é ou verdadeira ou falsa, ou (b) que é afirmada ou criada pelo uso de uma sentença declarativa. No último caso, uma declaração é distinta de uma sentença em que uma sentença é apenas uma formulação de uma declaração, ao passo que podem haver muitas outras formulações expressando a mesma declaração. O filósofo da linguagem, Peter Strawson defendeu o uso do termo “declaração” no sentido (b) em detrimento de proposição.