Resultats de la cerca

Fou professor a la Universitat d’Amsterdam 1912-55 i un dels fundadors de la topologia moderna Els seus treballs bàsics es desenvoluparen en els camps de l’epistemologia i de la fonamentació de les matemàtiques Fou el principal representant de l' escola matemàtica intuïcionista , que s’oposa a les escoles axiomàtiques, de David Hilbert, i logicista, iniciada per Gottlieb Frege i continuada per Giuseppe Peano i Bertrand Russell Brouwer construí una certa noció de conjunt i la definició de continuïtat a partir del nombre zero La postura intuïcionista es nega a acceptar l’existència de l’infinit…

Professor a Berlín des del 1926, fou destacat representant de l’anomenat Grup de Berlín, neopositivista i vinculat al cercle de Viena, i des del 1930 dirigí, amb R Carnap, la revista Erkenntnis des del 1933 professà a Istanbul i des del 1938 a la Universitat de Califòrnia, on es traslladà fugint dels nazis Seguidor, bé que moderat, dels desenvolupaments de l’empirisme lògic, l’empirisme científic i el moviment per a la ciència unificada, és autor de moltes obres sobre la nova imatge física del món i les seves implicacions filosòfiques, entre les quals es destaquen…

En la tradició escolàstica, d’acord amb l’axioma que el pensar és consegüent a l’ésser, constituí en primer principi ontològic és impossible que una cosa sigui i no sigui al mateix temps i sota el mateix aspecteEn la lògica moderna hom l’entén com el teorema del càlcul proposicional no pot ésser cert alhora A i no A ~A~A La tradició del principi lògic i metafísic parteix de la filosofia de la immutabilitat de l’ésser de Parmènides i, amb preponderància de l’un o l’altre sentit, ha estat constant al llarg de la història Modernament, tant Hegel en sentit idealista com Feuerbach i…

Entre els exemples de circuits ASIC hi ha els xips per a controlar una joguina, els accessos entre memòria i una CPU, una rentadora d’una marca determinada, etc Hi ha dues tècniques de disseny ASIC full custom , en què el client proposa el problema que ha de resoldre el disseny electrònic i el fabricant d’ASIC fa tot el disseny, tant la simulació com el layout , i semicustom , en què el fabricant fa servir i defineix la situació i el contingut d’unes celles estàndard que tenen algunes funcions lògiques predefinides Aquí el client simula el disseny lògic amb programes que…

Professor a les universitats de Toronto, Princeton, John Hopkins Baltimore i Mèxic Situat en el corrent de l’evolucionisme filosòfic, treballà sobretot en el camp de la psicologia, de l’epistemologia i de la metafísica Trobà dues maneres de comprendre la realitat la agenètica, que hom aplica a la mecànica, i la genètica, aplicada a la vida i a la cultura Com que no pot existir una completa dualitat de mètodes, cal sobreposar-hi una concepció unitària que, segons ell, és d’índole estètica Juntament amb Mc Keen Cattell, fundà la “Psychological Review” 1894-1909 En sociologia intentà de…

La manera més freqüent de representar els nombres naturals és el sistema de numeració decimal, i el conjunt dels nombres naturals acostuma a ésser representat amb la lletra ℕ En la concepció dels nombres naturals, i també de les altres menes de nombres, hom pot donar prioritat a l’aspecte intuïtiu o a l’aspecte lògic Des del punt de vista intuïtiu, un nombre natural és una qualitat dels conjunts equipotents així, la classe de tots els conjunts equipotents amb el conjunt { X o Δ} és el nombre tres L’operació “unió de conjunts sense elements comuns” engendra l’operació de “sumar…

Els casos més habituals d’assercions són les precondicions propietats que cal que compleixin les dades per a poder executar un fragment de codi determinat, les postcondicions propietats que compleixen les dades un cop s’ha executat un segment de codi determinat, els invariants de les iteracions propietats que compleixen les dades en pas de la iteració i els invariants de la representació propietats que compleix la representació de les dades, independentment del valor exacte que contingui Les assercions permeten entendre el comportament d’un programa, i raonar sobre la seva validesa per tant,…

Segons Aristòtil, la modalitat, o mode com S i P s’uneixen en el judici, pot ésser de quatre tipus de possibilitat , d' impossibilitat , de contingència i de necessitat La similitud entre possibilitat i contingència contingent és allò que alhora pot donar-se i no donar-se, i àdhuc entre impossibilitat i necessitat necessari és allò que no pot no donar-se, ha estat factor determinant del fet que la lògica postaristotèlica hagi cregut necessari de corregir la taula d’Aristòtil, insistint en un ulterior estudi de la modalitat de possibilitat Més radical fou la postura de Kant en establir la…

Com a doctrina fou iniciat per Ch S Peirce, membre, juntament amb W James, del Metaphysical Club de Boston 1872-74 La collaboració d’ambdós i de F C S Schiller en la revista Leonardo 1903-07 féu cristallitzar l’anomenat pragmatisme italià M Calderoni, el jove G Papini i G Vailatti Bé que Peirce intentà de distingir la seva doctrina pragmatisme lògic de les modalitats que aquesta adoptà en James pragmatisme ètic i religiós i Schiller pragmatisme anomenat humanista, amb importants dosis d’irracionalitat i voluntarisme, tanmateix les dues darreres variants no foren sinó aplicació de…

Fundada per Manuel Garrido que en fou director i Fernando Montero, aplegà des de l’inici els membres del denominat “cercle de València” i representants d’altres grups de tendències semblants de l’àmbit de parla castellana de dins i fora de l’Estat espanyol Tingué també la collaboració de filòsofs nord-americans i europeus Entre les seves activitats cal destacar la difusió de la lògica matemàtica, la filosofia analítica, la metodologia de les ciències físiques i socials, etc La revista editava un volum l’any integrat per quatre números ordinaris d’aparició trimestral i un d’extraordinari amb…