Capçalera
 FiloXarxa Diccionari enciclopèdic de filosofia: autors, conceptes, textos

Temes  -

El saber filosòfic El coneixement La realitat L'ésser humà L'acció humana La societat

Història -

Filosofia antiga i medieval Filosofia moderna Filosofia contemporània Mapa del web Ajuda i altres Descarregar "font grega"
Cerca continguts al web Pensament: autors, conceptes, textos, obres ...
Loading

llenguatge formal LÒG.

Resultat d’un procediment de formalització aplicat a un llenguatge, que consta de símbols i fórmules definibles sense que calgui que hagin de ser interpretades. La interpretació suposa l’assignació d’algun significat a un símbol o a una fórmula (i això ho convertiria en un llenguatge formalitzat). El conjunt de «fórmules ben formades» (fbf), això és, de les fórmules que poden construir-se segons les regles del llenguatge formal, constitueix a la vegada el contingut del llenguatge formal.

Els seus elements bàsics són:

El tipus clàssic de formalització és el del sistema axiomàtic, però, tant en la lògica d’enunciats, com en la de predicats s’utilitzen altres càlculs deductius (deducció natural).

Llenguatges i sistemes formals deixen de ser mers càlculs si reben una interpretació, passant a ser, llavors, llenguatges formalitzats.

 


Licencia de Creative Commons
Aquesta obra està sota una llicència de Creative Commons.