Vés al contingut

Forma lògica

De la Viquipèdia, l'enciclopèdia lliure

La forma lògica d'una proposició és la representació del seu contingut i sintaxi usant les eines de la lògica, en particular el simbolisme del càlcul proposicional i el càlcul de predicats. Oracions diferents poden ser representacions de la mateixa proposició, per exemple:

  • Maria estima Joan
  • Joan és estimat per Maria

Aquestes dues oracions, encara que gràfica o fonèticament són diferents, expressen la mateixa proposició i tenen la mateixa forma lògica. Aquesta manera lògica pot ser representada unívocament a través d'un llenguatge formal, a diferència del que passa amb un llenguatge natural.

Bibliografia

[modifica]
  • Richard Mark Sainsbury. Logical forms: an introduction to philosophical logic. Wiley-Blackwell, 2001. ISBN 978-0-631-21679-7.  (anglès)
  • Gerhard Preyer, Georg Peter. Logical form and language. Clarendon Press, 2002. ISBN 978-0-19-924555-0.  (anglès)