Resultats de la cerca

En l’esquema logístic, doncs, hom prescindeix de la representació tradicional de proposició segons la qual aquesta consta d’un subjecte i un predicat units per la còpula ‘és’, que no és reconeguda sinó com una de les moltes formes possibles de proposició, i hom estableix, en canvi, que en les proposicions dividides per l’atomisme lògic en atòmiques i compostes un predicat és afirmat d’un argument Representacions quantificacionals de proposicions atòmiques són, per exemple, ‘Fx', on ‘x’ substitueix ‘Pere’, ‘F’ substitueix ‘corre’ o ‘és bo’, etc, i ‘Fx,y' o ‘Fx' segons que F substitueixi ‘…

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

En lògica el problema del tractament formal dels predicats vagues ‘calb’, ‘roig’, ‘gran’, etc s’enfronta a l’aparició de paradoxes com la que resulta d’aplicar-hi un sorites per exemple ‘un home amb un cabell és calb doncs un que en tingui 2,3,,10 000, és calb’, fenomen ja analitzat pels grecs D’ençà de l’aparició de la lògica formal moderna, la posició dels lògics ha estat generalment la de considerar la vaguetat com una característica exclusiva sovint com un “defecte” del llenguatge, inabordable i irrellevant per a la lògica matemàtica clàssica Russell…

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…

Primera part de la lògica general que, segons Kant Crítica de la raó pura , ‘descompon totes les operacions de l’enteniment i de la raó en els seus elements i els presenta com a principis de qualsevol apreciació lògica que faci el nostre enteniment’, mentre que l' analítica transcendental és ‘la part de la lògica transcendental que tracta dels elements del coneixement pur de l’enteniment i dels principis sense els quals no pot ésser pensat cap objecte’

Estudiós de la lògica matemàtica i professor a Breslau 1917-19, a Kiel i, des del 1928, a Münster, hi fundà el que ha esdevingut un dels principals centres d’investigació lògica Oposat al vitalisme i a l’irracionalisme, proposà una metafísica fonamentada en la lògica per tal com aquesta té en compte les qüestions d’ordre ontològic i és l’única capaç de desenvolupar una metafísica científica mathesis universalis que investigui els mons possibles La seva obra ha estat reunida a Mathesis Universalis 1961

Estudià a Madrid, on es doctorà en filosofia i en dret El 1914 fou nomenat professor auxiliar de filosofia a la Universitat de Múrcia, el 1916 guanyà la càtedra de lògica d’aquella universitat i el 1923 obtingué la de psicologia de Barcelona A partir d’aleshores desenvolupà una gran tasca com a professor de filosofia i de psicologia mèdica, tant a la universitat com en diverses institucions, així com també sobre temes de pedagogia i de lògica Publicà un gran nombre de llibres i d’articles i fou collaborador assidu del Diario de Barcelona Fou membre de la Reial…