Resultats de la cerca

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…

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…

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

Els seus membres es caracteritzen per un estudi de la lògica moderna marcat per una tendència deductivista extrema i una inclinació al positivisme lògic o a l’empirisme científic En són representants destacats, juntament amb Jan Łukasiewicz i el seu deixeble Alfred Tarski , Zygmunt Zawirski 1882-1948, Lenon Chwistek 1884-1944 i Stanislaw Leśniewski 1886-1939, així com Tadeusz Kotarbiński 1886-1981, preocupat també pels problemes de la teoria del coneixement i de la metodologia de les ciències L’iniciador de l’escola fou pròpiament el vienès Kazimierz Twardowski 1866-1938, del…

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…

A part les escoles de Berlín Reichenbach i de Münster Scholz i dels independents BEMoore i Popper, el nucli més destacat fou el cercle de Viena Schlick, Carnap, Neurath, Feigl, Kraft, etc, defensor d’una filosofia —el positivisme lògic— entesa, d’una banda, com a denúncia de les pseudoproposicions metafísiques —només vàlides emotivament—, i de l’altra, com a anàlisi de les proposicions de les ciències positives —veritables en tant que empíricament “verificables"— i de les ciències matemàtiques —veritables en tant que merament formals i tautològiques— La dispersió del nucli vienès per part del…

Sovint identificable amb l'antinòmia i àdhuc amb l'aporia, la paradoxa, que té un significat més ampli que l’una i l’altra, sol ésser tipificada en l’afirmació del mentider, quan diu “ara dic mentida” si és veritat que diu mentida, és que menteix, però està dient la veritat, o sia que no està mentint i, si no és veritat que diu mentida, menteix, però no és veritat que digui mentida Les paradoxes d’aquesta mena, consistents en una autoreferència i que solen ésser típiques en les anomenades paradoxes semàntiques o lingüístiques, han estat estudiades des de sempre i hom només ha pogut trobar-ne…

Com és usual en la història de les matemàtiques, té orígens aparentment molt diferents que finalment conflueixen i permeten d’establir el que esdevé una teoria enormement potent i irrenunciable Cal remarcar-ne el problema diofàntic plantejat per David Hilbert l’any 1900, i el problema de les paraules que sorgí en el món de la topologia algèbrica Es tracta de dos problemes típics de decidibilitat és a dir, aquells en què cal disposar d’un mètode que permeti de decidir una o altra de dues opcions atesa una equació diofàntica, té solució, són equivalents dues paraules donades per endavant L’any…