Filosofia de les matemàtiques: diferència entre les revisions

Contingut suprimit Contingut afegit
m Robot inserta {{Commonscat}} que enllaça amb commons:category:Philosophy of mathematics
m Corregit: les pròpies teories > les mateixes teories
Línia 91:
Els lògics, com la major part dels estudiosos de la matemàtica, pensen que la inferència dels teoremes a partir dels axiomes en matemàtiques es pot fer per mera deducció. Les deduccions són raonaments en els quals, llevat que qüestionem les regles lògiques d'acord amb les quals procedeix la deducció, només podem qüestionar la conclusió si qüestionem les premisses; dit d'una altra manera, si les premisses són vertaderes, la veritat de la conclusió està garantida.
 
Els logicistes pensen que és possible deduir les matemàtiques només de les pròpiesmateixes teories que formulen les regles de la deducció, de tal manera que les matemàtiques només serien una complicació de la lògica, però no diferent d'aquesta. Però la [[paradoxa de Russell]] va tirar per terra aquesta concepció. Els axiomes als quals cal acudir per resoldre-la, en opinió de la majoria dels lògics i matemàtics, no es poden considerar com a part de la lògica. Per tant, se sol pensar que el logicisme no aconsegueix demostrar que totes les matemàtiques es dedueixen de les teories lògiques.
 
== Platonisme. Coneixement ''a priori'' i coneixement ''a posteriori'' ==