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.
f
Filosofia