Resultats de la cerca
Es mostren 3 resultats
Bertrand Arthur William Russell
Lògica
Filosofia
Filòsof, lògic i pacifista britànic.
De família noble li fou, a més, concedit el títol de sir , estudià matemàtiques, física i ciències humanes a Cambridge La seva primera obra important, Principia Mathematica 3 volums, 1910-13, en collaboració amb Alfred North Whitehead , donà resposta, amb la teoria dels tipus , a la greu crisi de fonaments que afectava la teoria de conjunts, i alhora obrí un nou camp a la lògica formal, situant-la en el lloc fonamental entre les ciències que avui ocupa La filosofia russelliana, en contínua evolució en el curs de la llarga vida de l’autor, és coneguda amb el nom d’ atomisme lògic i conté…
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…
George Boole
Lògica
Matemàtiques
Matemàtic i lògic anglès.
Autodidacte, s’introduí en matemàtica mitjançant l’estudi de les obres de Lagrange i les de Laplace, i el 1849 obtingué una càtedra al Queen's College de Corcaigh Féu importants treballs en anàlisi matemàtica i contribuí a la fixació del llavors naixent concepte d’invariància Però la seva aportació més important fou l’inici de la lògica simbòlica És autor de The Mathematical Analysis of Logic 1847, The Calculus of Logic 1848 i de la seva obra mestra, An Investigation into the Laws of Thought, on which are Founded the Mathematical Theories of Logic and Probabilities 1854 El seu treball, que…