Resultats de la cerca
Es mostren 2 resultats
Paul Isaak Bernays
Lògica
Matemàtiques
Matemàtic i lògic suís.
Coautor amb D Hilbert dels Grundlagen der Mathematik 1934-39 En teoria de conjunts formulà un sistema axiomàtic, sobre la base del de von Newmann, que fou posteriorment estudiat per K Gödel sistema de von Neumann-Bernays-Gödel , i que distingia entre classes i conjunts Axiomatic Set Theory , 1958
semàntica
Lògica
Part de la lògica, que correspon més exactament a l’àmbit del que hom anomena metalògica i que estudia els sistemes lògics des del punt de vista de les seves possibles interpretacions, principalment la interpretació normal, o pensada en elaborar el sistema, si és que una tal interpretació existeix.
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…