Resultats de la cerca

Professor a Greifswald, fou un dels principals representants de l’anomenada filosofia de la immanència Centrat en el problema gnoseològic, desenvolupà més els seus aspectes idealistes i sensacionalistes que no pas les seves implicacions cientificoneutralistes És autor d' Erkenntnistheoretische Logik ‘Lògica gnoseològica’, 1878, Grundrisss der Erkenntnistheorie und Logik ‘Esbós de la teoria del coneixement i de la lògica’, 1894 i Die immanente Philosophie 1897

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

Treballà especialment en el camp de la resolució de les equacions diofàntiques, en el de l’estudi axiomàtic dels enters naturals i en el de la caracterització dels automorfismes de les àlgebres simples En lògica, contribuí al desenvolupament de la teoria intuïcionista

Fou professor a Torí 1890 S'especialitzà en lògica matemàtica i creà la lògica simbòlica Contribuí també a la geometria no euclidiana, al càlcul geomètric, i féu una exposició rigorosa de l’aritmètica, de la geometria projectiva, del càlcul infinitesimal i del vectorial Publicà Calcolo geometrico 1888, I principi de geometria logicamenti esposti 1889, etc Fundà també la Rivista di Matematica Inventà un llenguatge artificial internacional, la interlingua , amb vocabulari del francès, llatí, anglès i alemany

Presenta influències de l’empirisme anglès de Hume, de la metodologia de les ciències empíriques desenvolupades per Helmholtz, Boltzmann i Einstein, i de la lògica simbòlica de Frege Bertrand Russell fou el primer a reunir aquestes tendències, les quals es concretaren en l’Unity of Science Movement, que tenia com a òrgan de propagació “Erkenntnis” 1930, actual “Journal of Unified Science” Aquest moviment propugna la unitat de la ciència, la necessitat de comprovació de les hipòtesis i el desenvolupament d’una estructura lògica, sobretot de la física i de la matemàtica

És autor de nombrosos teoremes sobre la consistència, completesa i decidibilitat de certes teories matemàtiques, com ara la teoria dels conjunts Segons Gödel, la lògica matemàtica és una ciència anterior a les altres, i conté les idees i els principis en què es basen totes les ciències Bé que hom el pot considerar un dels grans representants del logicisme, tendència que vol fonamentar la validesa de la matemàtica en la lògica, cal observar en ell certes influències de l' intuïcionisme

Es doctorà el 1932 a Harvard, on desenvolupà també la seva carrera docent 1936-78 Les seves aportacions se centraren en la lògica matemàtica, l’epistemologia i la filosofia de la ciència Aplicà les tècniques de la lògica als camps de la semàntica i de l’ontologia i propugnà un empirisme antidogmàtic a fi de comprendre l’estructura efectiva de les teories científiques És autor de nombrosos articles i assaigs, i de llibres com New Foundations for Mathematical Logic 1936, Methods of Logic 1950, From a Logical Point of View 1953, Word and Object 1960, Philosophy of Logic 1970, The…

S'anomena seqüència progressiva l’ordre lògic dels elements de la frase subjecte + verb + complements directe + indirecte + circumstancial i seqüència regressiva , l’ordre alterat dels elements de la frase, relativament al seu ordre lògic, per anticipació d’alguns d’ells respecte a un altre

Introduí un mètode per a controlar les fórmules de la lògica seqüencial mitjançant les taules de veritat És conegut pel fet d’haver proposat el 1920 els sis temes lògics polivalents, especialment trivalents, amb independència de Łukasiewicz Establí també una teoria general de les proposicions elementals 1922, i estudià els problemes dels grups de mots en el llenguatge, amb independència dels resultats obtinguts per Markov

Fou professor a les universitats de Toronto, Jesuralem, Los Angeles i Yale Fou creador de l’anàlisi no estàndard i de la teoria de models Els seus treballs són recollits a Non-Standard Analysis 1966-74