Declaració (lògica)
sentència declarativa que és verdadera o falsa / From Wikipedia, the free encyclopedia
En lògica, una declaració[1] és (a) una oració declarativa significativa que pot ser vertadera o falsa, o (b) el que és afirmat o fet per l'ús d'una oració declarativa. En aquest últim cas, una declaració és diferent d'una frase perquè la sentència és només una formulació d'una declaració, mentre que hi pot haver moltes altres formulacions que expressen la mateixa declaració.
Peter Strawson, filòsof del llenguatge, va defensar l'ús del terme «declaració» en el sentit de (b) en preferència a «proposició». Strawson va utilitzar el terme «declaració» perquè dues oracions declaratives fan la mateixa declaració si diuen el mateix de la mateixa cosa. Així, el terme «declaració» pot referir-se a una frase o alguna cosa feta (expressada) per una frase. En ambdós casos, són suposats portadors de la veritat.