La quantification dans la logique moderne

Dégager les processus exacts qui sont à l'œuvre derrière l'acte apparemment simple de quantifier, tel fut et demeure aujourd'hui un des défis majeurs de la logique moderne et de la philosophie du langage. Trop souvent considérée comme achevée dès la Begriffsschrift de G. Frege, la théorie de la quantification est, de fait, le fruit d'une maturation progressive et multiple dans laquelle s'inscrivirent des auteurs tels que C. S. Peirce, E. Schröder, B. Russell, T. Skolem, D. Hilbert ou encore S. Lesniewski et A. Tarski. Cette anthologie vise à fournir un accès direct et cohérent à la richesse des sources historiques, ainsi qu'à l'ouverture qui caractérise les travaux contemporains sur la quantification. Mesurer la fertilité de la logique dans les interrogations du philosophe, du linguiste, de l'épistémologue, c'est là un de ses buts marqués. S'adressant tant aux chercheurs confirmés qu'aux étudiants désireux d'approfondir leurs réflexions en logique, cet ouvrage éclaire une thématique charnière de la pensée moderne.