• correspondence ;
  • formalism ;
  • intelligibility ;
  • Jean Ladrière ;
  • linguistic philosophy ;
  • rational principle

This article seeks to explain the correspondence between human intelligibility and that of the physical world by synthesizing the contributions of Jean Ladrière. Ladrière shows that the objectification function of formal symbolism in mathematics as an artificial language has operative power acquired through algorithm to represent physical reality. In physical theories, mathematics relates to observations through theoretic and empirical languages mutually interacting in a methodological circle, and nonmathematical anticipatory intention guides mathematical algorithmic exploration. Ladrière reasons that mathematics can make the physical world comprehensible because of the presence of a rational principle in both kinds of intelligibility.