Resultats de la cerca
Es mostren 3 resultats
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…
nombre
Matemàtiques
Resultat de comptar les coses que formen un agregat (dos, tres, quatre, etc., i també un, o sia, la unitat) o qualsevol dels ens abstractes que resulten de generalitzar aquest concepte.
El concepte de nombre ha anat evolucionant al llarg de la història així, al principi anava enllaçat amb el simple ús de xifres o guarismes per a comptar sistemes de numeració Els nombres 1, 2, 3, 4, etc, ja eren usats en les antigues cultures babilònica, egípcia, xinesa la qual coneixia els negatius i índia la qual introduí el zero Aquest ús de xifres no implicava, però, cap concepte abstracte de nombre A l’antiga Grècia els pitagòrics consideraren que el nombre era una estructura determinada, immanent a totes les coses això generà la numerologia grega o mística, basada en les propietats…
postulats d’Euclides
Matemàtiques
Conjunt de cinc principis axiomàtics exposats per Euclides en l’obra Elements, en els quals fonamentà la seva geometria.
Són els següents donats dos punts qualssevol, hom pot traçar una recta que els uneix tota línia recta finita es pot prolongar indefinidament donat un punt qualsevol, hom pot traçar una circumferència amb radi arbitrari i centre en el punt esmentat tots els angles rectes són iguals entre ells i, finalment, donada una recta i un punt exterior, hom només pot traçar per aquest una recta parallela a la recta donada