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 formalitzat LÒG.

Llenguatge o càlcul formal que rep una interpretació. Interpretar un càlcul o un llenguatge formal és donar significat als seus símbols. Un model d’una fórmula és aquella interpretació que la fa vertadera; un model d’un sistema formal és aquella interpretació que fa vertaders tots els seus teoremes.

 


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