Constant lògica

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

A lògica, una constant lògica és una expressió que la presència i posició determina la forma lògica d'una proposició,[1] i per extensió la validesa o invalidesa dels argument s.[1]

Dins d'un llenguatge formal amb una semàntica formal, una constant lògica és una expressió el significat no varia amb cada interpretació.

Exemples de constants lògiques[modifica | modifica el codi]

Connectives[modifica | modifica el codi]

Article principal: Connectiva lògica

Quantificadors[modifica | modifica el codi]

Article principal: quantificador

Operadors modals[modifica | modifica el codi]

Els operadors modals són constants lògiques que es caracteritzen per qualificar el valor de veritat de les proposicions. Per exemple, considereu la proposició "Anna sempre està cansada". En aquesta proposició, l'expressió "sempre" qualifica la veritat de la proposició més simple "Anna està cansada", com una veritat que se sosté en tot moment . L'expressió "sempre" és per tant un operador modal. Considerem ara el següent argument:

  1. Si Anna està cansada, llavors no estudia.
  2. Anna sempre està cansada.
  3. Per tant, Ana mai estudia.

La validesa d'aquest argument depèn no només de la connectiva "si ... llavors", sinó també del significat de les constants lògiques "sempre" i "mai". Com es mostra a continuació, l'exemple d'Ana pot canviar per un altre, i l'argument encara romandre vàlid:

  1. Si està plovent, llavors no vaig al cinema.
  2. Sempre està plovent.
  3. Per tant, mai vaig al cinema.

Però si es canvien l'ordre de les expressions "sempre" i "mai", l'argument deixa de ser vàlid:

  1. Si està plovent, llavors no vaig al cinema.
  2. Mai està plovent.
  3. Per tant, sempre vaig al cinema.

Aquest argument no és vàlid perquè la primera premissa no diu que quan no plou, vaig al cinema, sinó que quan plou, no vaig al cinema. Per tant, el que mai plogui no implica que sempre vagi al cinema. L'error és semblant al de la fal·làcia de afirmació del conseqüent.

Això sembla mostrar que els operadors modals "sempre" i "mai" són constants lògiques, i com ells hi ha molts altres. Els diferents tipus d'operadors modals s'agrupen per similituds i cada grup és estudiat per una lògica modal diferent. Per exemple, els operadors modals "sempre" i "mai" s'agrupen junts perquè qualifiquen el valor de veritat de les proposicions en relació al temps (veritables en tot moment o en cap moment, respectivament), i tots dos són estudiats per la lògica temporal. A continuació hi ha una taula amb alguns operadors modals importants i les lògiques que els estudien:

Operador modal Exemple d'ús en el llenguatge natural Símbol Lògica que ho estudia
Necessitat Cal que es faci de dia.  \Box Lògica modal
Possibilitat És possible que plogui.  \Diamond
Sempre Sempre és dilluns. Lògica temporal
Mai Mai és divendres.
Obligatorietat És obligatori que els governs ajudin els pobres.  O \, Lògica deòntica
Permissibilitat És permissible que els rics ajudin els pobres.  P \,

Criteri[modifica | modifica el codi]

Encara que els exemples de constants lògiques esmentats a l'apartat anterior desperten poca controvèrsia (especialment les connectives i els quantificadors),[1] hi ha altres casos on no està tan clar si una expressió ha de ser considerada una constant lògica o no .[1] Per exemple, hi ha debat sobre si la relació de identitat, la relació primitiva de pertinença a la teoria de conjunts, o el predicat de veritat han de ser considerats constants lògiques.[1] Per resoldre aquestes qüestions, s'han proposat diversos criteris per decidir quan una expressió és una constant lògica i quan no.[1]

Vegeu també[modifica | modifica el codi]

Referències[modifica | modifica el codi]

  1. 1,0 1,1 1,2 1,3 1,4 1,5 Vegeu la introducció deMacFarlane, John. «Logical Constants». A: Edward N. Zalta. Stanford Encyclopedia of Philosophy. Fall 2009 Edition (en anglès).