While most philosophers, including Frege, Alfred Tarski and Rudolf Carnap, have been more or less skeptical about formalizing natural languages, many of them developed formal languages for use in the sciences or formalized parts of natural language for investigation.
Αν και οι πιο πολλοί φιλόσοφοι, όπως ο Γκότλομπ Φρέγκε, ο Άλφρεντ Τάρσκι και ο Rudolf Carnap, έχουν υπάρξει σκεπτικοί όσον αφορά την τυποποίηση των φυσικών γλωσσών, πολλοί από αυτούς ανέπτυξαν τυπικές γλώσσες για επιστημονική χρήση ή τυποποίησαν τμήματα της φυσικής γλώσσας για ερευνητικούς σκοπούς.