Resultats de la cerca
Es mostren 1 resultats
formalització
Filosofia
Procés en virtut del qual hom especifica, mitjançant un metallenguatge , l’estructura d’un llenguatge.
Són formalitzables tant el llenguatge ordinari o cadascun dels seus aspectes l’esportiu, el social, el literari, etc com el filosòfic, el científic, el matemàtic, el lògic, etc La formalització exigeix que hom enumeri tots els signes no definits del llenguatge escollit, especifiqui les condicions en què una fórmula concreta pertany a aquest llenguatge i presenti tant els axiomes usats com a premisses com les regles d’inferència acceptades per fer deduccions en el tal llenguatge