Resultats de la cerca

Professor de la Universitat de Pennsilvània 1941, fou el creador de la lògica combinatòria en sistematitzar la teoria esbossada per Schönfinkel durant el segon decenni del s XX L’estudi de les aplicacions d’aquests nous conceptes i l’extensió de llur camp d’acció constitueixen el material de Combinatory Logic 1958, escrita en collaboració amb Robert Feys Treballà també en els camps de la metalògica i la fonamentació de les matemàtiques, adscrit en tot a l’escola formalista

Fou professor de matemàtiques a l’University College de Londres 1828-66, excepte durant el període 1831-36, i el primer president de la London Mathematical Society, fundada l’any 1866 En un dels seus primers treballs, Elements of Arithmetic 1831, tractà, des del punt de vista filosòfic, dels conceptes de nombre i magnitud Les seves contribucions més importants són en el camp de la lògica simbòlica, i, juntament amb Boole, pot ésser considerat l’impulsor d’aquest nou corrent durant la primera meitat del s XIX En són remarcables, també, els treballs que fan referència a la fonamentació…

A més, però, de la lògica pròpiament dita, actualment hom inclou sota el títol de lògica les investigacions metalògiques, les quals comprenen la teoria de la deducció o estudi de les propietats dels conjunts d’axiomes i la semàntica formal D’altra banda, no tot el que ha figurat històricament sota el nom de lògica —com és ara la hegeliana— entra avui dins l’àmbit d’aquesta, ni totes les investigacions pròpiament lògiques han estat consignades com a tals Malgrat aquesta dificultat, existeix una unitat bàsica de temàtica, separable de la filosofia, que permet de considerar la lògica com una…