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

Primera part de la lògica general que, segons Kant Crítica de la raó pura , ‘descompon totes les operacions de l’enteniment i de la raó en els seus elements i els presenta com a principis de qualsevol apreciació lògica que faci el nostre enteniment’, mentre que l' analítica transcendental és ‘la part de la lògica transcendental que tracta dels elements del coneixement pur de l’enteniment i dels principis sense els quals no pot ésser pensat cap objecte’

El càlcul és objecte de la sintaxi lògica , i opera amb esquemes formals, independentment de tota significació o contingut, per tal d’evitar les ambigüitats i les impropietats del llenguatge ordinari Consta d’un conjunt de símbols elementals, d’unes regles de formació i combinació de símbols i d’unes regles de transformació Per a ésser vàlid, el càlcul ha d’ésser consistent, complet i decidible Esbossat ja en Ramon Llull i més tard en Leibniz, aconseguí el primer desenvolupament important amb l’àlgebra de la lògica del s XIX George Boole, Ernst Schröder, i ha estat perfeccionat…

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…

Així, la lògica de la mecànica quàntica és el càlcul reticular dels subespais tancats d’un tal espai de Hilbert, on la intersecció o mínim és la intersecció conjuntista ordinària, la negació o complementari és el complement ortogonal i la unió o màxim de dos subespais és el subespai més petit que els conté tots dos s’obté un reticle que no és modular i que dóna, per tant, una lògica molt apartada de la clàssica en què el reticle és distributiu En aquesta lògica, la incoherència no implica necessàriament contradicció encara que aquesta sempre implica aquella com a reflex del principi que hi ha…