Resultats de la cerca
Es mostren 4 resultats
Jan Łukasiewicz
Lògica
Filosofia
Lògic polonès.
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
Alfred Tarski
Lògica
Matemàtiques
Lògic i matemàtic polonès naturalitzat nord-americà.
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…
Emil Post
Lògica
Matemàtiques
Matemàtic i lògic nord-americà, d’origen polonès.
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
lògica
Lògica
Ciència que estudia sistemàticament els enunciats vàlids o formalment veritables (entenent que un enunciat és formalment veritable si són veritables tots els enunciats que tenen el mateix esquema lògic) o que tracta de la relació de conseqüència entre enunciats.
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…