Resultats de la cerca

En teoria de conjunts, lleis donades per les igualtats i on les barreres indiquen els conjunts complementaris Les lleis de De Morgan se satisfan en tota Boole, àlgebra de

Professor de les universitats de Manchester i Londres Establí la teoria de la utilitat marginal del valor, basada en la satisfacció de les necessitats de l’home amb un mínim esforç maximització de la satisfacció Desenvolupà la lògica combinatòria a partir de l’àlgebra de Boole La seva obra comprèn, entre altres, Theory of Political Economy 1871, The Principles of Science 1874 i Investigations in Currency and Finances recull, 1884

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…

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…

Simbòlicament, la inclusió de classes és definida com A ⊂B = df x x ∈A ⊃x ∈B, i la de relacions com R ⊂S = dfxyxRy ⊃xSy

Bé que en Aristòtil és una entre les diverses categories, la relació fou desenvolupada entre els escolàstics de manera que abraçava ja un camp molt més ampli de modalitats i subdivisions i en aquesta línia ha estat definitiva, contemporàniament, l’aportació d’E von Hartmann, el qual fa de la relació una categoria talment fonamental Urkategorie que inclou totes les altres categories És important, així mateix, la distinció tradicional entre la simple relació lògica , establerta només per la ment, i la relació pròpiament ontològica, o relació real , en el si de la qual l’escolàstica distingí…

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…