Resultats de la cerca

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…

La negació és de pes 1 la conjunció és de pes 2

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…

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…

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…

Pertanyent al cercle de Varsòvia i professor de la Universitat d’aquesta ciutat, emigrà als EUA, on fou professor a Berkeley Especialitzat en problemes sintàctics i semàntics, elaborà una lògica polivalent i féu importants aportacions a la teoria de la mesura i a la metamatemàtica A més dels seus nombrosos articles, cal destacar O logice matematycznej i metodzie dedukcyjnej ‘Introducció a la lògica i a la metodologia de les ciències deductives’, 1936, Undecidable Theories ‘Teories indecidibles’, 1953, en collaboració amb AMostowsky i RMRobinson, Logic semantics, Mathematics 1956 i Ordinal…

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

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

Membre del Cercle de Varsòvia, elaborà una lògica trivalent i, ensems amb Tarski, una lògica polivalent amb un nombre infinit de valors, alhora que estudià la història de la lògica, com és ara la dels estoics i la sillogística aristotèlica Escriví Über den Satz des Wiederspruchs bei Aristoteles ‘El principi de contradicció en Aristòtil’, 1910, Elements de lògica matemàtica 1929 i Observacions filosòfiques sobre els sistemes polivalents del càlcul proposicional 1930

Hom en diu sovint també enunciat , bé que a vegades aquest terme és pres en un sentit neutral, del qual el terme judici reflecteix l’aspecte subjectiu i el terme proposició expressa l’aspecte objectiu La diferenciació entre judici i proposició, necessària en l’ordre lògic, pot ésser omesa en l’ordre epistemològic, com és ara el cas de Kant Entre les diverses divisions que hom n'ha establert cal destacar la corresponent a la distinció entre proposició simple també anomenada categòrica, predicativa o enunciativa , en què un concepte s’uneix a un altre mitjançant la còpula, i…