Resultats de la cerca

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

Hom en diu trivalent, tetravalent, etc , segons que siguin tres, quatre, etc , els valors que hi siguin admesos d’altra banda, si aquest nombre de valors és finit, hom parla de lògica finitament polivalent i de lògica infinitament polivalent, si el dit nombre de valors és infinit La lògica polivalent, pròpia del s XX bé que hom en cerca antecedents en Aristòtil i en Guillem d’Occam, amb relació al problema dels futurs i futuribles, s’oposa al principi tradicional del non datur tertium i és típicament exemplificable en l’acceptació que, per exemple, una proporció pot ésser “no veritable i…

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…

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 1923 Entre aquells que…

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…

També dita teoria dels models , la semàntica dels llenguatges formals ha d’ésser distingida de la semàntica lingüística o semàntica dels llenguatges naturals Bé que l’estudi sistemàtic de la semàntica lògica és posterior a l’estudi dels problemes sintàctics teoria de la deducció formal en els sistemes axiomàtics i és obra sobretot de Tarski i de Carnap, algunes nocions semàntiques són tan antigues com la mateixa lògica Aristòtil distingia ja entre forma i contingut, i usava contraexemples per a demostrar que certes formes sillogístiques no eren vàlides els estoics caracteritzaren…

Hereva de la tradició empirista i nominalista —d’Occam a Russell, passant sobretot per Hume— i de la filosofia d’Ernst Mach, fou iniciada per Hans Hahn 1880-1934 i Otto Neurath , entre altres, i establerta definitivament amb l’arribada a Viena de Moritz Schlick , el 1922, i de Rudolf Carnap , el 1926 s’hi incorporaren també aviat científics de les més diverses especialitats KGödel i HKelsen, KMenger, Rvon Mises, ESchrödinger, ESilzel i hi acudiren a formar-se destacades figures nord-americanes Wvan Quine, ENagel i CWMorris Herbet Feigl 1902 difongué l’expressió “positivisme lògic” com a…