Resultats de la cerca
Es mostren 4 resultats
demostració
Lògica
Matemàtiques
Derivació d’un enunciat, mitjançant l’aplicació d’unes determinades regles lògiques, a partir d’uns altres enunciats, dits premisses de la demostració.
Qualsevol cadena de demostracions ha d’arrencar d’un conjunt finit de premisses no demostrables, els axiomes Aquest conjunt és anomenat el sistema dels axiomes de la teoria deductiva, i els enunciats que són demostrats a partir dels axiomes s’anomenen teoremes Identificada, en la teoria platònica, amb la definició, Aristòtil la considerà com un procés superior, adreçat a extreure, mitjançant el sillogisme, una conclusió a partir d’unes premisses certes L’escolàstica s’adherí a l’esquema aristotèlic i n'elaborà una classificació propter quid , ad…
postulat
Lògica
Proposició fonamental d’un sistema deductiu que ni és evident ni pot ésser demostrada.
Tradicionalment el postulat era contraposat a l'axioma, pel fet de no ésser evident ni universalment acceptat, i al teorema, pel fet de no ésser demostrable Actualment, tanmateix, hom assimila el postulat a l’axioma, per tal com pot ésser posada en qüestió la idea d’evidència Més que no el seu caràcter apriorístic, el que hom entén avui com a propi del postulat és la posició primària que aquest ocupa en un sistema formal El sistema de postulats d’una teoria ha d’ésser elegit de tal manera que totes les proposicions de la teoria puguin ésser deduïdes per una cadena de raonaments d’aquells…
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…
teorema de Gödel
Lògica
Matemàtiques
Teorema segons el qual, si una teoria T és no contradictòria i si els axiomes de l’aritmètica són teoremes de T, aleshores T no és categòrica (dit d’una altra manera, existeixen relacions indeterminables en T).
D’aquí es desprèn que una teoria que contingui l’aritmètica és no contradictòria