Declaració (lògica)

De Viquipèdia
Dreceres ràpides: navegació, cerca

En lògica una declaració[1] és (a) una oració declarativa significativa que pot ser vertadera o falsa, o (b) el què és afirmat o fet per l'ús d'una oració declarativa. En aquest últim cas, una declaració és diferent d'una frase en que 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ó» a ser tal que dues oracions declaratives fan la mateixa declaració si diuen igual 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.

Exemples[modifica | modifica el codi]

Exemples de frases que són (o fan) declaracions:

  • «Sòcrates és un home.»
  • «Un triangle té tres costats.»
  • «París és la capital d'Espanya.»

Les dues primeres (fan declaracions que) són verdaderes, la tercera és (o fa una declaració que és) falsa.

Exemples de frases que no són (o no fan) declaracions:

  • «Qui ets tu?»
  • «Corre!»
  • «Verdor passeja.»
  • «Vaig tenir un grunch però l'albergínia enllà.»
  • «El rei de França és savi.»
  • «Pegàs existeix.»

Els dos primers exemples no són oracions declaratives i per tant no són (o no fan) declaracions. La tercera i quarta són oracions declaratives, però, a la manca de significat, no són ni veritables ni falses, de manera que no ho són (o no fan) declaracions. Els exemples de cinquè i sisè són una frase declarativa significativa que Russell va considerar com falsa, però Stawson va declarar ser ni una cosa ni l'altra, ja que no van fer cap declaració.[2]

Declaració com una entitat abstracta[modifica | modifica el codi]

En alguns tractaments, «declaració» s'introdueix amb la finalitat de distingir una frase del seu contingut informatiu. Una declaració es considera com el contingut d'informació d'una sentència que conté informació. Així, una frase es relaciona amb la declaració que porta com un numeral al nombre que o representa. Les declaracions són entitats abstractes,lògiques, mentre que les oracions són gramaticals.[3]

Referències[modifica | modifica el codi]

  1. «Statement» (en anglès). Garth Kemerling, 09-08-2002. [Consulta: 20-03-2011].
  2. Anthony Harrison-Barbet. «Philosophy of Language and Logic» (en anglès). PhiloSophos.com. [Consulta: 20-03-2011].
  3. David L. Rouse. «A Practical Introduction To Formal Logic» (pdf) (en anglès). [Consulta: 20-03-2011].

Vegeu també[modifica | modifica el codi]

Enllaços externs[modifica | modifica el codi]