Resultats de la cerca

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…

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…

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…