Resultats de la cerca
Es mostren 2 resultats
Cesare Burali-Forti
Lògica
Filosofia
Lògic italià.
Féu conèixer els treballs de Giuseppe Peano , del qual fou collaborador Ideà l’antinòmia o paradoxa que duu el seu nom 1897, segons la qual la collecció dels ordinals no és un conjunt , i que Georg Cantor estudià posteriorment
càlcul lògic
Lògica
Sistema de signes no interpretats, en el qual els enunciats són tractats algorísmicament ( algorisme
) i les formacions i les operacions s’efectuen d’acord amb unes regles explícites.
El càlcul és objecte de la sintaxi lògica , i opera amb esquemes formals, independentment de tota significació o contingut, per tal d’evitar les ambigüitats i les impropietats del llenguatge ordinari Consta d’un conjunt de símbols elementals, d’unes regles de formació i combinació de símbols i d’unes regles de transformació Per a ésser vàlid, el càlcul ha d’ésser consistent, complet i decidible Esbossat ja en Ramon Llull i més tard en Leibniz, aconseguí el primer desenvolupament important amb l’àlgebra de la lògica del s XIX George Boole, Ernst Schröder, i ha estat perfeccionat per la lògica…