UNIFIER LA FORME LOGIQUE ET LE NIVEAU FL

Abstract

Selon Chomsky, le niveau FL est le niveau final des transformations syntaxiques et l'input consommé par le module sémantique de l'esprit. En tant que tel, il est le fruit de procédures de transformations quasi automatisées. En philosophie et en logique, une forme logique est le fruit d'une formalisation, par un logicien, des phrases du langage selon les standards de rigueur de la logique. Cet article vise à montrer que la théorie des quantificateurs généralisés permet d’unifier ces deux programmes de recherche et qu’une identification de la forme logique et du niveau FL jette un nouvel éclairage sur des discussions philosophiques comme celles concernant la nature de la logique.