Filosofia de les matemàtiques

De Viquipèdia
Dreceres ràpides: navegació, cerca

La filosofia de les matemàtiques és una branca de la filosofia. Segons Michael Dummett es pot considerar que hi ha quatre preguntes fonamentals sobre el contingut de la filosofia de les matemàtiques:

  1. Com sabem que les nostres teories matemàtiques són vertaderes?
  2. Sobre què són les matemàtiques? En altres paraules, si un enunciat matemàtic és vertader, què ho fa vertader? En virtut de què és vertader?
  3. Les veritats matemàtiques són vertaderes per necessitat? I, si ho són, quina és la font d'aquesta necessitat?
  4. Com és possible aplicar les veritats matemàtiques a la realitat externa? I en què consisteix aquesta aplicació? (Dummett, 1998, p. 124). També es plantegen altres qüestions com: Quin significat té referir-se a un objecte matemàtic? Quina és la naturalesa d'una proposició en matemàtiques? Quina relació hi ha entre lògica i matemàtica? Com s'explica la bellesa de les matemàtiques?

L'origen de les matemàtiques i l'empirisme matemàtic[modifica | modifica el codi]

El naixement de les matemàtiques[modifica | modifica el codi]

A les preguntes de com sabem que les proposicions matemàtiques són vertaderes i què és el que fa a una proposició matemàtica sigui vertadera podem respondre acudint a l'origen de les matemàtiques. En aquesta secció començarem fent un breu esbós de com van poder sorgir els primers conceptes i proposicions matemàtics per després explicar com aquest sorgiment podria fer plausible certa hipòtesis sobre on cal buscar els conceptes matemàtics i què fa que les proposicions matemàtiques siguin veritables.

És indubtable que les matemàtiques tenen el seu origen en les activitats de comptar i mesurar, encara que el com sigui més difícil d'establir. La millor hipòtesi de què disposem es basa en les troballes arqueològiques a Mesopotàmia (Maza 2008).

Entre el mil·lenni VIII i IV a. n. e. van existir fitxes que tenien la funció de descriure quantitats de productes, animals o qualsevol element de l'activitat econòmica. La forma de fer-ho deu haver estat additiva durant llarg temps. Així, en cas de disposar de cinc animals, es representaria aquesta quantitat per cinc fitxes, posem per cas, en forma de cilindre. Si, en canvi, es volia registrar cinc gerres d'oli, s'emprarien cinco ovoides amb una marca. D'aquesta manera, cada fitxa representaria una unitat del producte, la naturalesa ve representada per la forma de la fitxa i la quantitat presenta una representació additiva. Amb això tenim la condició necessària per a l'aparició dels nombres que és l'establiment d'una correspondència un-a-un entre els elements a comptar (animals, gerres) i els elements comptables (fitxes), però encara no tenim nombres.

Però des de molt aviat les fitxes van haver de ser transportades en algun tipus d'embolcall, siguin bosses de cuir o similars. En algun moment, la forma de transport es va simplificar embolicant aquestes fitxes en esferes buides de fang. Aquestes bombolles d'argila poden en moltes ocasions presentar signes externs. Això permet formular una hipòtesi senzilla i atractiva sobre la funcionalitat de fitxes i bombolles.

Per exemple, un agricultor i un ramader volen fer un intercanvi de productes. Un lliurarà diversos animals a canvi d'un nombre de cistells de gra. Quan arriben a l'acord difereixen el pagament a fi que alguns dels seus treballadors vagin a les terres de l'altre per recollir l'objecte de l'intercanvi. Però, d'alguna manera, ha de segellar l'acord. La forma de fer-ho serà modelar les fitxes que representin les quantitats que cadascú lliurarà i donar-l'altre embolicades en una bombolla d'argila. D'aquesta manera, els treballadors de cada un es presenten a les terres de l'altre amb la bombolla rebuda. Allà mateix es trenca i es trobaran les fitxes que representen allò que s'ha de lliurar al posseïdor de la bombolla.

Convé parar atenció a les marques realitzades en l'exterior de la bombolla i que s'han esmentat anteriorment, ja que se suposa que representen sobre la bombolla les fitxes que romanen dins de la bombolla, a manera de recordatori del que conté. Aquest seria el vincle entre les fitxes i els signes exteriors. Així, amb el temps, aquests signes van fent inútils les fitxes de l'interior de la bombolla. Sense les fitxes, les bombolles es van anar transformant donant pas a les tauletes on la representació numèrica serà plana a finals del IV mil·lenni a.n.e.

Les tauletes així inventades servien per registrar quantitats diverses del mateix producte o de productes diferents. En correspondre, per exemple, a entrades diferents pel proveïdor, o qualsevol altra circumstància, resulta adequat enregistrar també el total de la quantitat registrada. Això es feia habitualment en el revers de la tauleta. Per exemple, una tauleta que registra, en el seu anvers, cinc gerres de cervesa comprades a Fulano i quatre comprades a Sotano, en el revers estan les nou gerres agrupades. Aquest és un cas especialment simple de suma: l'únic que es fa en el revers és presentar les nou gerres agrupades. D'aquesta manera, la suma consisteix exclusivament a repetir cada un dels signes utilitzats per explicar. Però des del punt de vista aritmètic, les quantitats a sumar poden sobrepassar la simple enumeració dels seus elements, amb el que ens trobem en una situació més complexa. I aquesta és una de les raons de l'aparició dels sistemes de numeració, ja que és en aquest tipus de cas quan s'aplica el sistema de numeració vigent per reunir en un sol resultat l'acció aritmètica empresa. Això últim solia dependre del producte, de la mateixa manera que per tradició comptem els ous per dotzenes i no per desenes i per al temps utilitzem el sistema sexagesimal (una hora són seixanta minuts, cadascun dels quals són seixanta segons).

Les transaccions i comptabilitats comercials es realitzaven pesant els productes objecte de comerç (llana, cereal, estany, etc.) i taxant el seu valor en la plata corresponent, que actuava a manera de moneda no encunyada. Actuava en la triple funció sota la qual es constitueix la moneda: com a unitat de compte, com a mitjà d'intercanvi, ja que podia incloure com a part de la transacció comercial, i també com a mitjà de pagament, tal com es dedueix de nombrosos documents de venda i préstecs. Els problemes algebraics que generaven aquestes transaccions van fer que els mesopotàmics fossin capaços de resoldre sistemes d'equacions lineals de fins a tres incògnites o equacions de segon grau.

Les primeres unitats de mesura semblen haver estat les referides al pes, com és de suposar donat que s'ha dit abans. No obstant això, durant el tercer mil·lenni a.n.e. es van anar constituint unitats cada vegada més estandaritzades tant de longitud, com de superfície o volum. Això va ser impulsat pel naixement de les ciutats - estat i el creixement de les relacions comercials entre elles, així com entre el poble i la ciutat, fets que impulsaven l'establiment d'acords per a realitzar mesures comunes dels productes intercanviats.

Les unitats de mesura de superfície eren quadrats i rectangles (més secundàriament, els triangles) de determinades longituds en els seus costats. És fàcil adonar-se que "enllosar" mitjançant aquestes unitats requeria multiplicar, és a dir, sumar reiteradament. És per això que les escoles d'escribes havien de dedicar un cert temps a la pràctica de l'operació de multiplicar dues longituds al que cal unir la pràctica subsegüent en la transformació de les unitats resultants d'aquesta operació en els seus múltiples. L'objectiu bàsic en aquest aspecte consistia a expressar el resultat de la mesura amb la menor quantitat d'unitats possible, a fi que operacions posteriors oferissin menys dificultat.

En el cas d'un triangle rectangle de catet una unitat, l'àrea es pot obtenir sense més que multiplicar la meitat de la base per l'altura, és a dir, que l'àrea d'un triangle d'aquestes característiques es pren com la meitat del quadrat de la mateixa base i alçada que el triangle, una relació que pot estendre's a qualsevol altre triangle, en particular un equilàter (que, tanmateix, presenta l'inconvenient que l'alçada no és un valor immediat, però que també es pot calcular mitjançant arrels quadrades, encara que l'algorisme utilitzat pels mesopotàmics era una mica inexacte).

Els mesopotàmics coneixien el que després s'ha anomenat el teorema de Pitàgores en el sentit que usaven longituds de corda de 3, 4 i 5 unitats de llarg per formar un gran angle recte per a la construcció i per al mesurament de terrenys.

El mesurament de camps irregulars es feia trossejant el camp en quadrats, rectangles i triangles. D'altra banda, es poden utilitzar aquestes figures simples per aproximar-se a superfícies curvilínies. D'una manera semblant s'actuava amb les unitats de volum necessàries per calcular les mesures i treballs de canals i edificis.

L'empirisme matemàtic[modifica | modifica el codi]

Tot el que s'ha dit anteriorment ha intentat transmetre la millor hipòtesi sobre com es van obtenir els primers conceptes i veritats matemàtics que sens dubte són els propis de la geometria i l'aritmètica. Però també fa plausible que els conceptes matemàtics procedeixen, en certa mesura, de com és el món físic, del món que captem mitjançant el nostre sentits.

Per John Stuart Mill (1806-1873) els conceptes matemàtics procedeixen del món físic i les veritats de la matemàtica són veritats sobre el món físic, encara que d'un caràcter més general. Les veritats matemàtiques serien les veritats més generals de totes (Dummett 1998, pàg. 125-126).

Una posició que pot ser fàcilment confosa amb la de Mill és la de David Hume (1711-1776) Per a Hume, els conceptes matemàtics tenen el seu origen remot en la sensació que després és transformada per l'activitat de la ment però les veritats matemàtiques són veritats sobre les relacions entre les idees, no sobre el percebut.

En el seu Tractat de la Naturalesa Humana (Hume 1739, Llibre I, Part II), Hume manté que els nostres sentits donen lloc a les impressions que són copiades per les nostres idees, les quals són reorganitzades per la nostra activitat mental donant lloc a idees complexes. Un tipus d'idea complexa són les relacions i dins d'elles Hume destaca aquelles que depenen completament de la comparació d'idees: la semblança, els graus de qualitat i les proporcions de quantitat. D'aquestes tracten les matemàtiques que, per Hume, són bàsicament la geometria i l'aritmètica.

No obstant això, aquesta reorganització que dóna lloc a les idees complexes fa que aquestes no siguin una fidel reproducció de les impressions rebudes. Hume introdueix certa creativitat de la ment mitjançant la imaginació a l'hora de produir les idees complexes de les matemàtiques, les figures i els nombres. Tots dos s'originen a partir del inexacte de la percepció sensible (Tractat SB 45 i seg.) Mitjançant el mateix procés que condueix a que creguem en l'existència contínua dels cossos (Tractat SB 198). Per Hume, per tant, les idees matemàtiques són producte, fins a cert punt, de la nostra activitat mental. D'altra banda, Hume insisteix que les veritats matemàtiques ho són sobre les relacions entre les pròpies idees i no sobre les relacions del representat per les idees.

Però, ja René Descartes (1596-1650) havia interpretat d'una altra manera el coneixement matemàtic, assenyalant en la "Sisena meditació" de les seues Meditacions metafísiquesque "quan imagine un triangle, encara no hi ha potser una tal figura en cap lloc, fora del meu pensament, i encara que mai l'hagi hagut, no deixa per això de haver certa naturalesa, o forma, o essència d'aquesta figura, la qual és immutable i eterna, no ha estat inventada per mi i no depèn de cap manera del meu esperit, i això és patent perquè poden demostrar diverses propietats d'aquest triangle" I insisteix que " I res valdria objectar en aquest punt que potser aquesta idea del triangle hagi entrat en el meu esperit per mediació dels sentits, a causa d'haver vist jo mai cos de figura triangular, ja que jo puc formar en el meu esperit infinitat d'altres figures, de les quals no càpiga sospitar ni el més mínim que hagin estat objecte dels meus sentits, i no per això deixe de poder demostrar certes propietats que afecten a la seva naturalesa".

Descartes apunta dues característiques que fan que el saber matemàtic sigua peculiar. En primer lloc, que no pot ser producte de l'activitat de la meva ment, però tampoc, en segon lloc, producte del món físic percebut. La raó és, per al primer, el caràcter demostratiu de les matemàtiques. Per al segon, la creativitat matemàtica que supera el que el món dels sentits em pot oferir.

El caràcter axiomàtic i demostratiu de les matemàtiques. El logicisme[modifica | modifica el codi]

L'organització en elements de les matemàtiques[modifica | modifica el codi]

Com ha mostrat l'exposició anterior sobre les matemàtiques mesopotàmiques, aquestes tenien un caràcter pràctic. Això es veu confirmat pel fet que, en les tauletes conservades en els museus, no hi ha textos seguits on s'explique res i només de forma excepcional apareixen procediments generals i no exemples. Això no obstant, els problemes concrets estan organitzats en grups i ordenats començant pels més simples, als que es tracten de reduir els més complicats. De manera que implícitament hi ha una percepció abstracta i general dels procediments, encara que s'exposen mitjançant exemples numèrics, a la manera en què els manuals de llatí inclouen paradigmes concrets de declinacions i conjugacions (per exemple en llatí, rosa-rosae, amo-amas-amare). És a dir, l'important no són els valors numèrics, sinó l'esquema subjacent que exemplifiquen. Així el tret comú d'aquestes matemàtiques és que consisteixen en tècniques de còmput numèric i no en indagació teòrica sobre propietats aritmètiques, geomètriques o algebraiques. De fet, no hi ha res semblant a una demostració.

Però els antics grecs donaran a les matemàtiques la forma demostrativa (o deductiva, no cal entrar en aquesta important diferència) en la qual se'ns presenta tradicionalment (Solís y Sellés 2005, caps. 1 i 2). L'impuls definitiu d'aquesta forma de les matemàtiques s'ha de buscar, d'una banda, a l'escola eleàtica (s. VI a.n.e.) i en el seu primer representant Parmènides (s. VI a.n.e.). D'ell procedeix la primera argumentació deductiva conscient que conservem, fonamentant la seva doctrina segons la qual el canvi és una aparença. L'èmfasi en la prova dels eléates, la seva fixació per l'argument adequat, s'estendrà a tots els aspectes del saber a Grècia incloent les matemàtiques.

D'altra banda, sembla que va ser Tales de Milet (s. VII a.n.e.) és el primer que dóna alguna mena de demostració de les següents proposicions: que són iguals els angles oposats formats per dues rectes que es tallen, que donada la base d'un triangle i els seus dos angles queda determinat la resta, que l'angle inscrit en una semicircumferència és recte i el Teorema de Tales.

Per la seva banda, als seguidors de Pitàgores (s. VI a.n.e.) es deu la demostració de la irracionalitat d'arrel de 2 (és a dir, que no es pot expressar com una raó -com un nombre fraccionari- entre dos nombres naturals). I és precisament novetat absoluta el fet que el demostrat és inseparable de la prova demostrativa, a diferència de tots els altres casos exposats en que la veritat del teorema es coneixia abans d'una prova lògicament rigorosa. Els antics grecs sempre van ser conscients que ells eren els inventors d'aquesta organització demostrativa del saber matemàtic.

Els pitagòrics també tenen un important paper en la demostració de proposicions a partir d'altres preses com a principis o "elements", organitzant el corpus de coneixements deductivament. És el que ara es coneix com axiomatització, ja que a aquests elements o principis se'ls diu actualment axiomes. La primera organització en "elements" que es coneix apareix en la segona meitat del segle V a.n.e. per obra de Hipòcrates de Quios, que no obstant això no era pitagòric.

Plató introduirà la matemàtica organitzada en elements com un punt de referència per concebre el coneixement en general. En el denominat "passatge de la línia” de La República (Llibre VI, capítols XX-XXI, pàg. 509c-511e), Plató recull aquest ideal de la matemàtica que arribarà al seu cim amb l'obra fonamental de Euclides Els Elements, a cavall dels segles IV i III a.n.e.

S'entenia per "elements" les definicions, postulats i nocions comunes (vegeu Els Elements d'Euclides). I el llibre d'Euclides tractava fonamentalment de geometria. Per tant, Els Elements d'Euclides és una obra que tracta de l'organització del coneixement de la geometria en elements. A partir d'un nombre limitat de proposicions (els postulats i nocions comuns -després axiomes) es pot deduir totes les veritats sobre un àmbit de coneixement determinat, en aquest cas el concepte d'espai euclidià que estudia la geometria euclidiana.

Aristòtil, deixeble de Plató i una generació anterior a Euclides, convertirà definitivament aquesta concepció del coneixement matemàtic en el model de coneixement en general.

Tot i Els Elements d'Euclides, l'axiomatització és un procediment que va haver d'esperar a principis del segle XX per ser estudiat en profunditat en l'àmbit de la lògica formal.

El logicisme[modifica | modifica el codi]

Com una altra il·lustració de què és i com cal fer una axiomatització donarem un salt de gairebé 25 segles i acudirem a la Teoria de Conjunts. La teoria de conjunts matematitza un concepte relativament senzill d'entrada com és el de conjunt, col·lecció o classe. Pensem en aquest concepte: què és un conjunt? Podem donar sinònims: col·lecció de coses, classe de coses, reunió de coses. O podem analitzar el que indiquen en comú aquestes expressions: coses diferents, anomenades elements, que formen un tot. Però el que busca el matemàtic és l'exactitud: quan podem dir que tenim un conjunt? La resposta que van trobar els matemàtics va ser la pertinença. La Teoria de Conjunts és una definició de "conjunt" però també de "pertinença". El que caracteritza a un conjunt és que a ell li pertanyen els seus elements, o dit d'una altra manera, els elements d'un conjunt són els seus membres, els elements d'un conjunt són membres del conjunt.

Com es determina la pertinença a un conjunt? Com va determinar quines coses pertanyen a un conjunt? Totes les coses que tenen la mateixa característica o relació formen un conjunt determinat. En lògica es diria que totes el que comparteixen el mateix predicat forma un conjunt. Per exemple, el conjunt de les coses que són blanques, el conjunt dels cotxes, el conjunt dels gats, el conjunt dels nombres naturals, el conjunt de les persones que s'estimen, el conjunt dels boscos de més de 10 hectàrees, el conjunt dels conjunts que no són elements de si mateixos, etc.

L'últim conjunt esmentat té un paper fonamental en la filosofia de la matemàtica, ja que planteja l'anomenada Paradoxa de Russell, anomenada així en honor al seu descobridor Bertrand Russell (1872-1970), la qual va obligar a transformar el criteri per determinar quan tenim un conjunt.

Va ser el matemàtic Ernst Zermelo qui va proposar la correcció al concepte de conjunt que millor ha caigut entre els matemàtics i que s'anomena Axioma d'Especificació. Zermelo va proposar que forméssim conjunts a partir de conjunts ja donats. Per tant, un conjunt ja no venia donat només pel conjunt de coses que tenien en comú una propietat o una relació (un predicat, per la lògica) sinó que un conjunt ve donat de la següent manera: tenim un conjunt A, dins aquest conjunt A tenim el conjunt B de les coses que tenen aquesta propietat o relació.

El problema d'aquesta correcció és que cal garantir que hi ha conjunts prèviament donats per poder aplicar el nou criteri. Per tant, fan falta els axiomes necessaris que diuen que existeix el següent: un sol conjunt sense elements, que hi ha infinits conjunts, que es poden formar conjunts unint altres conjunts i que existeix un conjunt infinit.

A partir d'aquests elements és possible deduir gairebé totes les propietats que es consideren pròpies d'un conjunt, si s'afegeix el criteri d'identitat de conjunts que ve recollit en l'Axioma d'extensionalidad: dos conjunts són el mateix si tenen els mateixos elements. Com s'acaba de dir, amb eixos axiomes és possible deduir gairebé totes les propietats que caracteritzen un conjunt; quan es tracta de matemàtiques complicades calen altres característiques i, consegüentment, nous axiomes però no cal entrar en això.

Així doncs, des dels grecs, les matemàtiques han presentat el aspecte axiomàtic - demostratiu que les caracteritza. Recordem que Descartes feia del caràcter demostratiu de les matemàtiques la raó per separarles dels sentits, de la percepció del món físic. La deducció, com una forma de demostració, també es dóna en les ciències empíriques, però té un paper diferent. En física, per exemple, es pot començar acceptant com a conceptes bàsics els obtinguts per observacions inexactes i com els seus primers principis les generalitzacions d'aquestes observacions. Però ràpidament el físic refina els seus conceptes i fa observacions més exactes. Procedeix a construir una teoria, tan precisa com siga possible i pot així fer complexes deduccions d'aquesta. Però el propòsit científic de fer això és arribar a resultats que puguin ser posats a prova mitjançant una observació ulterior, si ocorre una refutació caldrà revisar la teoria. En canvi, en matemàtiques, l'objectiu dels raonaments deductius és establir directament la veritat de la conclusió obtinguda, establir la veritat del teorema. Imre Lakatos ha il·lustrat que un contraexemple convincent a un pretès teorema pot portar a la revisió dels axiomes d'una teoria. Però en matemàtiques, com Ludwig Wittgenstein (1889-1951) va assenyalar, és suficient que el contraexemple sigua descrit, mentre que en una teoria empírica s'ha de garantir que hi ha el contraexemple trobantlo en el món físic (Dummett 1998, p. 126).

D'aquesta manera, les matemàtiques tenen una estructura axiomàtica i deductiva que les fa peculiars: les proposicions matemàtiques o veritats matemàtiques són teoremes, la qual cosa vol dir que han estat deduïdes. Les premisses últimes de la deducció en les teories matemàtiques són els axiomes. Aquests, com ja hem vist, no han estat deduïts, per això es diuen "axiomes" i no "teoremes". Però què dir llavors de la veritat dels axiomes?

Hi ha una concepció de les matemàtiques que ha volgut fer de la deducció el tret diferenciador exclusiu de les matemàtiques. Es tracta del logicisme. Els seus representants més importants van ser Gottlob Frege (1848-1925) i B. Russell i els seus orígens es poden rastrejar en Leibniz. B. Russell va escriure juntament amb Alfred North Whitehead (1861-1947) una obra fonamental en la lògica i la filosofia de la matemàtica del segle XX: Principia Mathematica.

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òpies 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'ella. 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[modifica | modifica el codi]

A la pregunta per la veritat dels axiomes de les matemàtiques, hem respost en primera instància amb l'empirisme i després amb el logicisme. L'empirisme radical de Mill fa de les veritats matemàtiques les veritats més generals sobre el món físic. El caràcter axiomàtic - deductiu de les matemàtiques sembla desmentir aquesta posició. El logicisme, en canvi, fa de les matemàtiques una part de les teories de la deducció, però s'enfronta als seus propis problemes. La postura de Hume fa de les matemàtiques uns invents conceptuals la justificació està en la seva utilitat per calcular sobre el món.

No obstant això, hi ha una doctrina més antiga que prové de Plató (s. V a.n.e.). Plató mantenia que el nostre món físic, conegut pels sentits, era una còpia imperfecta d'un altre món d'on procedeix l'ànima humana i els models de les coses del món físic, als quals denomina idees o formes (cura: no s'ha de confondre " idea "en el sentit de Plató, amb el sentit mental de “idea" -que és l'ús de Hume). La nostra ànima porta amb ella el coneixement de les idees que són oblidades en el naixement, per la qual cosa conèixer és recordar aquest coneixement que, encara que oblidat, roman en la nostra ànima. Simplificant, la doctrina de Plató és que conèixer en matemàtiques és conèixer cert tipus d'idees, per exemple els nombres o les idees que es representen mitjançant figures (de triangle, cercle, etc). Les matemàtiques serveixen per conèixer el món físic en la mesura que aquest és una còpia de les idees o formes.

Podem veure la motivació de les tesis platòniques en la geometria. Un cercle, per exemple, es defineix en geometria com una figura plana formada per punts que equidisten d'un donat. Però ningú ha vist en realitat aquesta figura ni es podrà veure mai. La forma circular exacta dels geòmetres no es troba entre els objectes sensibles. El que veiem amb freqüència són figures -un plat, una roda, la lluna plena-, objectes materials que també anomenem cercles i que resulten ser, en la forma, aproximacions al cercle definit en geometria, però no aquest cercle mateix. Plató extreu llavors la conclusió que la forma de cercle ha d'existir, no en el món físic, sinó en el món de les formes.

Hi ha hagut altres versions de platonisme. La versió dels filòsofs pertanyents al racionalisme modern clàssic (s. XVII) és tributària d'un platonisme cristianitzat. Un exemple de racionalista clàssic és el ja esmentat R. Descartes. Per a Descartes, com per als racionalistes clàssics en general, el món de les idees s'imagina com la ment de Déu i la nostra ànima és creada per aquest amb certes idees innates (aquí "idea" també té un sentit mental) que nosaltres podem trobar a la nostra ment amb el degut entrenament. Si tornem a l'exemple donat sobre els conjunts, un racionalista diria que la idea de conjunt és una idea innata, posada per Déu, i que el que fem és analitzar-la per obtenir els axiomes i d'aquí deduir teoremes.

Com a característica general, el platonisme en matemàtiques, també anomenat realisme matemàtic, sosté bàsicament dues coses: primera, que les matemàtiques són independents de la ment humana per la qual cosa els éssers humans no inventen les matemàtiques, sinó que les descobreixen; segona, que aquest descobriment no es fa mitjançant l'experiència sensible del món físic sinó mitjançant una altra forma de contacte amb els ens matemàtics.

Respecte a això últim ja hem vist els casos de Plató i el racionalisme clàssic. Al segle XX un platònic important ha estat Kurt Gödel (1906-1978). Gödel creia en una realitat matemàtica objectiva que podia ser percebuda d'una manera anàloga a la percepció sensorial però diferent d'ella.

El platonisme introdueix una forma diferent de conèixer davant de la que proporciona la nostra percepció. Aquest tipus de coneixement ha rebut el nom de coneixement a priori. Quan el coneixement de la veritat d'una proposició pot obtenir-se independent de l'experiència sensible del món físic es diu que la seva veritat és coneguda a priori, en cas contrari la veritat de la proposició es coneix a posteriori (per abreujar, es parla de proposicions a priori i proposicions a posteriori).

Per al platònic les matemàtiques són conegudes a priori. No només els teoremes es dedueixen d'axiomes, sinó que els propis axiomes no procedeixen de l'experiència sinó, en el cas de Plató, del record del món de les formes, en el cas dels racionalistes clàssics de l'anàlisi d'idees innates posades per Déu en la nostra ment i en el cas de Gödel per una mena d'intuïció que ens posa en connexió amb els ens matemàtics.

En canvi, els autors empiristes neguen que hi hagi un món objectiu diferent del que proporciona l'experiència sensible. Així Hume, que es va enfrontar al racionalisme negant les idees innates. Per tant, per l'empirisme, l'única font de coneixement objectiu és l'experiència. Per a aquests filòsofs, les matemàtiques són un instrument per tractar amb el món de l'experiència, així, per Hume, les idees matemàtiques es prenen en part de l'experiència i també, com ja s'ha assenyalat abans, de l'activitat de la ment. Però, per Hume, també les veritats matemàtiques són a priori (en la terminologia de Hume, relacions d'idees), perquè les veritats matemàtiques es formulen sobre objectes mentals, les idees complexes, que no estan en el món físic. És a dir, per a Hume les veritats de les matemàtiques són a priori perquè per saber la seva veritat no cal l'experiència sensible. Fins aquí Plató i Hume coincideixen. Pero para Hume, a diferència de Plató, els objectes matemàtics són invencions més o menys útils (ni són innats, ni entrem en contacte amb ells d'alguna manera no sensible). I això té l'efecte d'Hume és nominalista, mentre que Plató és un realista dels universals. Vegem què vol dir això.

La universalitat de les matemàtiques. Realisme i nominalisme dels universals[modifica | modifica el codi]

Establir regularitats sempre s'ha considerat un coneixement desitjable del món perquè ens permeten saber a què atenir, preveure com es comporten les coses. Exemples de regularitats són:

1. A la nit li segueix el dia, 2. Els objectes sòlids no travessen parets si no les trenquen, 3. Joan fuma; 4. Els ocells són aus que volen, 5. El teu gos mossega; 6. La velocitat mitjana d'un cos és l'espai recorregut dividit pel temps transcorregut, 7. El meu gat és afectuós; 8. La longitud de la hipotenusa d'un triangle rectangle és l'arrel quadrada de la suma dels quadrats dels catets (teorema de Pitàgores); 9. Pere i Sandra s'estimen; 10. El peix gran es menja el petit, 11. Aquesta taula de la dreta és major que aquesta altra de davant; 12. Aquest mur és alt; 13. El guix sense additius és blanc.

Les regularitats anteriors ens permeten saber que no he d'intentar sortir de l'habitació si no és per la porta, que val més no acostar-se al gos de Fulano, mentre que apropar-se a meu gat no ofereix perill, que si vaig agafar el cotxe a les tres i vaig arribar a les sis i vaig fer 300 km, la velocitat mitjana del meu cotxe va ser de 100 km / h, etc.

Les regularitats de la nostra llista, podem dividir-les en dues classes. D'una banda, tenim les regularitats que es refereixen a coses concretes (3, 5, 7, 9, 11, 12) que tècnicament es denominen particulars: a una o diverses persones (Pere i Sandra, Joan), a animals (el meu gat, el teu gos) o coses (la taula de la dreta i la taula del davant, aquest mur, etc.), de l'altra, hi ha les regularitats que fan referència a tipus de coses (1, 2, 4, 6, 8, 10, 13). En el cas d'aquestes últimes, quan diem "Els ocells volen", no parlem d'aquest o aquell ocell sinó de tots els ocells, de tot allò que és un ocell, i el mateix passa amb els dies i les nits, i els objectes sòlids i les parets. En parlar del guix pur, estem parlant de tots els trossos de guix pur. En el cas 10, no estem parlant d'un peix gran i un altre noi, sinó dels peixos grans i petits en general. Les proposicions que formulen les regularitats sobre tipus de coses es denominen proposicions universals o generals, pel que podem parlar de regularitats generals. En el cas de les primeres, les regularitats que es refereixen a coses concretes, les proposicions que les formulen es denominen singulars.

La ciència sol tenir interès en les proposicions generals o universals. Per descomptat que si hem de resoldre un problema ens interessa el problema concret. Per exemple, podem voler resoldre el problema de la mesura que ha de tenir un tauler de fusta de manera que recolzant sobre un mur ens permeta pujar a ell empenyent un carretó. Però el que la resolució sigua ràpida i senzilla dependrà de que qui ha de resoldre-la sàpiga una mica de geometria i sàpiga quina és la inclinació òptima per poder empènyer un carretó costa amunt. I saber geometria implica conèixer certes veritats generals sobre rectes, cercles, triangles, etc. que aplicarem en el cas concret que ens interessa.

Considerem ara alguns exemples de les nostres regularitats entre tipus de coses, formulades en proposicions universals, al costat d'algunes formulacions alternatives que segurament considerarem que tenen un significat equivalent:

2. Els objectes sòlids no travessen parets si no les trenquen, 2bis. Un objecte sòlid no travessa una paret si no la trenca

4. Els ocells són aus que volen; 4bis. Un ocell és un au que vola

10. El peix gran es menja el petit; 10bis. Els peixos grans es mengen els peixos petits

13. El guix sense additius és blanc; 13bis. Els trossos de guix sense additius són blancs

Anem amb alguns exemples més:

14. Un ocell és un animal; 14bis. El ocells són animals;

15. Un solter no està casat, 15bis. Els solters no estan casats

16. Ser germà d'algú és tenir el mateix pare i la mateixa mare; 16bis. Els germans tenen el mateix pare i la mateixa mare

17. El verd està acolorit; 17bis. Les superfícies verdes són acolorides

Tant els exemples 2 - 13 i 14 -1 7, com les formulacions alternatives 2bis, 4bis, etc, podem interpretar-les fàcilment com que diuen, més o menys, el mateix. No obstant això, les interpretacions poden introduir dos matisos diferents. Considerem els exemples 4 i 4bis. Quan diguem que els ocells són aus que volen o que un ocell és un au que vola, puc voler destacar que els individus que es classifiquen com ocells cal incloure'ls en el conjunt d'aquells animals que s'anomenen aus però que tenen la peculiaritat de volar, davant d'altres aus que no volen, com per exemple, els pingüins o els estruços. No obstant això, també puc voler destacar quins són els trets que fan que alguna cosa sigui un ocell o que puguem aplicar-li el nom comú ocell. Pensem que (4bis) és la resposta correcta a la pregunta Què és un ocell? per a algú que parla en català (és a dir, que coneix la llengua; pensem en un anglès que fa la pregunta anterior: li podríem contestar "a bird"). Igualment, a la pregunta Què és el guix? part de la resposta correcta és que és una espècie de pedra blanca.

Habitualment, quan fem preguntes del tipus Què és X? (Quan X és un cas de terme general) preguntem per la descripció o caracterització de les coses a les que pot aplicar el terme X. Però també podem dir que preguntem per la definició o significat del terme general X (nom comú, adjectiu o verb). Com és habitual referir-se al significat d'un terme general com concepte, llavors la definició ens proporciona el concepte d'alguna cosa: el concepte de paret, de fumar, de solidesa, d'estimar, de gat, de velocitat, de taula, de mossegar, de nit, de quadrat, etc. No són conceptes Pere, Sandra i Joan, i tampoc ho són el meu gat, ni aquest mur, ni el teu gos o aquesta taula, són persones, animals o coses concrets, és a dir, particulars.

Però llavors, es pot pensar que en alguns dels exemples anteriors formular proposicions sobre un concepte determinat en cada cas. Per exemple, si volem explicar què és ser solter direm que és algú que no està casat o si el nostre nebodet, de curta edat i fill únic, ens pregunta què vol dir que Fulanito és germà de Sotanito, li direm que Fulanito i Sotanito tenen els mateixos pare i la mare.

Però llavors, pot pensar-se que els termes generals signifiquen com els noms propis. Per a un platònic, algunes proposicions generals o universals parlen de les idees o formes. Les idees o formes són un tipus especial d'entitats, no només perquè, com s'ha vist en la secció anterior, estan en un altre món, sinó perquè les idees o formes són generals o universals. A l'entrar en contacte amb les formes, entrem en contacte amb alguna cosa que és comú a tots allò del que diem que té tal o qual forma, a tot el que se li pot aplicar un terme general (un concepte). La forma d'un ocell (la "ocellitat") és una cosa que comparteixen tots els ocells. Igualment la triangularitat és una cosa que comparteixen tots els triangles. El nostre coneixement de "ocellitat" o de la triangularitat és universal, es diu respectivament de tots els ocells i de tots els triangles. Davant de les entitats particulars (per abreujar els particulars), com aquesta injustícia o aquest triangle, hi ha les entitats universals (per abreujar els universals), la "ocellitat" o la triangularitat. En conseqüència, el platònic es compromet amb la tesi que els universals existeixen independentment dels termes generals del nostre llenguatge. Aquesta postura s'anomena realisme dels universals.

Si s'entén per concepte el significat d'un terme general, el realisme dels universals pot formular-se com la tesi segons la qual els universals existeixen independentment dels conceptes que tenim cada un en la nostra ment.

La postura contrària és la del nominalista. Un nominalista, com és el cas de Hume, nega que hi haja els universals independentment del nostre llenguatge.

I això té interessants conseqüències per a la filosofia de les matemàtiques. Recordeu el que s'ha dit abans sobre l'origen de les nostres idees matemàtiques per Hume. Els nostres sentits, segons Hume, donen lloc a les impressions que són copiades per les nostres idees, les quals són reorganitzades per la nostra activitat mental donant lloc a idees complexes. Les matemàtiques formulen proposicions sobre aquestes idees complexes.

Però, per Hume, les idees són sempre particulars. La meva idea de triangle o de cercle o de conjunt és sempre la idea d'aquest triangle, d'aquest cercle o d'aquest conjunt. La demostració matemàtica procedeix realment utilitzant una figura particular i, per tant, una idea particular, i no una idea general. Només mitjançant generalització s'arriba a la validesa universal de la demostració realitzada. I aquesta generalització, segons Hume, s'aconsegueix mitjançant el llenguatge, mitjançant els termes generals. És a dir, el rellevant aquí és que, per Hume, en operar geomètricament no fem servir termes generals, conceptes o idees generals sinó particulars. I és que Hume té una concepció visual de les idees, una idea és com un espectacle davant un espectador.

Inmanuel Kant (1724-1804) que, però, no era nominalista, es mostrarà d'acord amb Hume: els raonaments geomètrics (i els aritmètics, en la mesura que fins al segle XIX el fonament de les matemàtiques té caràcter geomètric) es basen en la consideració de casos particulars que poden ser generalitzats (Shabel 1997). La dificultat rau a donar compte d'aquesta generalització.

Necessitat en matemàtiques. Proposicions analítiques i sintètiques[modifica | modifica el codi]

Fins ara, han sorgit com a mínim tres característiques fonamentals del saber matemàtic: la matemàtica és deductiu - axiomàtica, universal ia priori. Però hi ha una altra característica rellevant. La major part dels filòsofs, com la major part de la gent, han considerat que les veritats matemàtiques tenen una manera de ser veritables que és peculiar d'alguna manera. Per exemple, posem uns bacteris en un portaobjectes, tres primer i després dos més. A continuació expliquem tots els bacteris per a comprovar si en aquest cas 3 i 2 sumen 5. Suposem que tenim 6 bacteris ¿Consideraríem això com una refutació de la proposició, o, si més no, com una prova que la proposició no s'aplica als bacteris? És clar que no. Pensarem o que ens hem equivocat o que els bacteris s'han reproduït. Per què les matemàtiques tenen aquest estatut especial? No és una bona resposta dir que no podem imaginar un univers en el qual un teorema matemàtic és fals: probablement hi ha moltes coses que no podem imaginar i que no obstant això poden ser d'una altra manera. Per donar compte d'aquesta peculiaritat de les matemàtiques es recorre al concepte de necessitat. En aquesta secció s'explicarà primer el concepte de necessitat i els seus tipus, per després introduir la distinció entre proposicions analítiques i sintètiques, finalment veurem quin tipus de necessitat han atribuït els filòsofs a les matemàtiques i amb quin tipus de proposicions, analítiques o sintètiques, han estat identificades les proposicions matemàtiques.

Ja s'ha dit que les regularitats generals són importants per al coneixement. Però la ciència i la filosofia es fixen en un tipus concret de regularitats generals: les regularitats necessàries. El sorgiment de la filosofia i la ciència està lligat a l'eliminació dels déus, esperits i entitats semblants com a origen dels fenòmens naturals i socials. Aquests, en mans dels déus, són capritxosos. Desapareguda la creença en aquells i sota la necessitat de la natura, aquests fenòmens estan subjectes a regularitats generals necessàries i es formulen mitjançant proposicions necessàriament vertaderes (proposicions necessàries per abreujar).

Són exemples de regularitats necessàries de la naturalesa (Díez i Moulines 1997, cap. 5):

19. Tots els metalls es dilaten en escalfar-se; 20. Tots els cossos carregats elèctricament amb càrregues del mateix signe es repelen amb una força proporcional al producte de les seves càrregues; 21. Ningú no pot aixecar-estirant-se els cordons de les sabates; 22. Totes les esferes d'urani tenen menys de 1m de ràdio.

Aquestes regularitats necessàries de la natura es denominen regularitats nòmiques o, també, lleis de la naturalesa. Igualment es diu que les lleis de la naturalesa són nòmicament necessàries. Aquí la paraula "necessari" significa que no pot ser canviat, que sempre és així i no pot ser d'altra manera, que no hi ha alternatives, no hi ha altres possibilitats. Observem el nostre exemple (22): "Totes les esferes d'urani tenen menys de 1m de ràdio". No pot ser d'altra manera, mai podrà haver una esfera d'urani de més d'un metre de ràdio, és una cosa permanent. Perquè quan s'acumula certa quantitat d'urani es produeix una reacció nuclear. Per això, des d'un punt de vista lògic, "és necessari que p" es defineix com "no és possible que no p", és a dir, p no pot no ser vertader. Per tant, una proposició és nòmicament necessària quan i només quan la seva negació implica una contradicció, evidentment suposant que les lleis naturals que creiem conèixer ho són.

D'altra banda, necessari s'oposa a contingent. A diferència del que és necessari, que no té alternatives, el contingent és allò que pot o no passar. Són els casos de regularitats accidentals o accidents. Per exemple, són regularitats accidentals:

23. Totes les esferes d'or tenen menys de 1m de ràdio; 24. Tots els bípedes implumes són humans; 25. Tots els corbs són negres; 26. Sempre que vaig a veure el Llevant UD, perd.

Aquesta distinció que fem entre lleis científiques i accidents és molt evident en el cas de les esferes d'or i urani, exemples (22) i (23). El que no existeixi una esfera d'or de 1m és una cosa accidental: si tinguéssim el temps, diners i paciència per reunir tot aquest or, bé podria passar que es construís aquesta esfera. Però això no podria passar amb l'esfera d'urani perquè les lleis naturals ho impedeixen: quan es reuneix una certa quantitat d'urani, aquest comença una reacció nuclear. Per tant, hi ha en les regularitats nòmiques alguna cosa que no hi ha a les regularitats accidentals. Això és el que intenta recollir el concepte de necessitat. Així, en l'exemple (25) tenim que els corbs són negres però podem pintar un blanc. Per això "és contingent que p" (p representa una proposició) es defineix com "ni és necessari que no p ni cal que p", és a dir, pot passar tant que p com que no p.

Els conceptes com necessari o contingent es denominen conceptes modals, ja que es refereixen a la manera de ser veritables les proposicions. Així, quan una proposició és necessària té una "força" especial en la seva veritat de la qual manca la proposició contingent.

Els conceptes modals, necessitat i contingència, han estat introduïts atenent a la necessitat que molts filòsofs suposen que existeix en el món físic. Però també hi ha altres nocions de la necessitat. Pel que aquí ens interessa convé tractar la necessitat conceptual.

Com s'ha assenyalat en la secció anterior, algunes proposicions es pot considerar que parlen de conceptes. Habitualment, quan fem preguntes del tipus Què és X? preguntem per la descripció o caracterització de les coses a les que pot aplicar el terme X. Però també podem dir que preguntem per la definició o significat del terme general X (nom comú, adjectiu o verb). Com és habitual referir-se al significat d'un terme general com un concepte, llavors la definició ens proporciona el concepte d'alguna cosa.

Però, recordem que, llavors, es pot pensar que en algunes proposicions universals estan establint regularitats sobre un concepte determinat. Per exemple, si volem explicar què és un solter direm que és algú que no està casat o si el nostre nebodet, de curta edat ell i fill únic, ens pregunta què vol dir que Fulanito és germà de Sotanito, li direm que Fulanito i Sotanito tenen els mateixos pare i mare.

Això permet introduir la diferència de proposicions segons la seva estructura semàntica. Segons la seva estructura semàntica les proposicions les podem classificar en analítiques i sintètiques. Una proposició analítica és la que formula el contingut d'un concepte. Recordem que anomenem concepte al significat d'un terme general. Per tant, una proposició analítica diu alguna cosa sobre el significat d'un terme general. Les sintètiques serien les altres.

Exemples de proposicions analítiques són 4 i 14 a 17. En general, valdrien totes les definicions. Són proposicions sintètiques 2, 10 i 13, així com 1, 3, 5, 6, 7, 9, 11, 12 i 13 (observeu que els exemples de proposicions sintètiques abasten tant proposicions universals com singulars).

Una proposició analítica és necessàriament vertadera: si la neguem, la proposició resultant implicarà una contradicció. Per a això, com va assenyalar Quine (W. v. O. Quine, 1908-2000), cal donar per supossada la manera com hem après l'articulació dels nostres conceptes (incloent els nostres conceptes lògics). Per exemple, no podem dir que un solter està casat perquè això és contradictori amb la definició de solter que donem per asseguda: home no casat.

Per tant, hem vist dos tipus de necessitat: la necessitat física, pròpia de les lleis de la naturalesa segons certs filòsofs i la necessitat conceptual, pròpia de les proposicions analítiques.

El neopositivisme (s. XX) va mantenir que les veritats matemàtiques són proposicions analítiques. Com antecedent històric acudien a Hume. Segons aquesta posició, les matemàtiques consisteixen en la investigació sobre el contingut de certs conceptes que nosaltres inventem. Els neopositivistes s'obliden del caràcter individual i mental de les idees complexes i se centren en l'aspecte universal del coneixement matemàtic que Hume comparteix amb la majoria dels autors.

Habitualment la posició segons la qual les proposicions matemàtiques són sobre objectes inventats per nosaltres (com les idees de Hume) o sobre conceptes i, per tant, les veritats matemàtiques s'expressen mitjançant proposicions analítiques, sol trobar l'objecció següent: si les matemàtiques ens parlen d'alguna cosa produït per la nostra ment Per què serveixen per fer càlculs sobre el món físic?

El mateix Hume fa d'aquesta dificultat un argument a l'insistir en el Tractat sobre la naturalesa humana en què la matemàtica, per exemple la Geometria, no és ciència exacta (Tractat, Llibre I, Part II, Secció IV, especialment SB 39 i ss). La forma habitual d'entendre això és que Hume s'està referint a l'aplicació de la matemàtica. Quan apliquem la matemàtica, hem de controlar els resultats que obtenim amb ella per saber si podem refiar-nos. Que de la Geometria se segueixen determinades conclusions o se suposen certes coses, per exemple els punts sense dimensions o els plans sense gruix o la infinita divisió d'una recta, no vol dir que el món de la nostra experiència s'atingua a aquests conclusions o supòsits sense més. Caldrà comprovar-ho i determinar en quina mesura això és així. Per això Hume rebutga la infinita divisibilitat de la matèria pel sol fet que se segueix com a conclusió dels supòsits de la Geometria en ser aplicada al món físic.

La resposta habitual a la pregunta de per què serveixen els productes de l'activitat humana (conceptes, idees) per fer càlculs sobre el món físic és que els conceptes matemàtics parteixen de l'experiència encara que no són exactament com és ella. Així se sol interpretar Hume, els conceptes matemàtics són producte d'un procés d'idealització del que l'experiència ens proporciona, un procés productiu, literalment, de la imaginació i una generalització. En certes condicions, aquests conceptes són un reflex encertat de la realitat, de manera que les conclusions a les quals arribem a través d'ells, ens serviran per al món de l'experiència.

En resum, s'ha considerat la necessitat física, pròpia de les lleis de la natura, i la necessitat conceptual. Una posició possible respecte a la necessitat de les proposicions matemàtiques, és a dir, que és la mateixa que les de les lleis de la naturalesa perquè els únics ens que hi ha són els ens de la natura. La necessitat de les proposicions sobre aquests ens matemàtics, la necessitat de les proposicions matemàtiques és la necessitat del món físic. Seria una forma d'empirisme matemàtic extrem que es pot observar en J. S. Mill. Però la major part dels filòsofs neguen aquesta possibilitat.

Una altra opció és afirmar que la realitat no s'esgota en el món físic. Plató pensava que hi havia un món intel·ligible que allotjava els ens matemàtics que són diferents dels ens del món físic. Aquest món també estaria dotat d'una estructura que faria poguéssim fer proposicions necessàries sobre ell. De nou, les proposicions matemàtiques serien necessàries.

L'opció de Hume és mantenir que els éssers humans construïm idees complexes. Els ens matemàtics són cert tipus d'aquestes idees complexes. Per tant, els ens matemàtics són invents nostres. La universalitat de les proposicions matemàtiques s'aconsegueix mitjançant la generalització que permet el llenguatge. I una interpretació possible, feta pels neopositivistes, és que llavors les proposicions matemàtiques són necessàries perquè són analítiques i, en conseqüència, la seva necessitat és conceptual.

La filosofia de les matemàtiques de Kant[modifica | modifica el codi]

Anteriorment ja s'han traçat dues parelles de conceptes que són fonamentals per a situar el coneixement matemàtic: analític - sintètic, a priori - a posteriori. Des del punt de vista de Hume, si fem cas a la interpretació neopositivista, ambdues parelles vénen a coincidir. No hi ha proposicions a priori que no siguin proposicions analítica. Les proposicions sintètiques són a posteriori. No obstant això, aquesta postura té una dificultat. Recordem l'estructura deductiva de les matemàtiques: els teoremes es dedueixen dels axiomes. Tot argument deductiu té la peculiaritat que si les premisses són vertaderes la veritat de la conclusió està garantida. La pregunta llavors és què es pot dir de la veritat dels axiomes. Si pensem como Hume, els axiomes s'obtindran a partir de les idees que després seran generalitzades mitjançant termes generals. Però cal recordar que les idees, encara que són obtingudes a partir de l'experiència, pateixen una transformació deguda a la imaginació. I llavors, res garanteix la seva objectivitat, perquè està clar que si les idees no són fidels còpies de la realitat, llavors les conclusions que traiem a partir d'ells tampoc ho seran.

Es pot veure a I. Kant (1724-1804) un intent d'aprendre de les lliçons de Hume però amb la garantia d'objectivitat que pretenia el racionalisme clàssic. I Kant creu que troba aquesta objectivitat, d'una banda, en les relacions espacials i temporals entre les coses i, de l'altra, en el que ell anomena categories. Aquestes relacions espacials i temporals, així com les categories són, per a Kant, una característica estructural del ment humana. Si haguéssim de jutjar a Kant en termes dels racionalistes moderns, podríem dir que aquestes relacions i categories són innates.

La filosofia de la matemàtica de Kant elabora, des del punt de vista epistemològic, la pràctica matemàtica de la seva època encara basada en la geometria d'Euclides (Shabel 1997). L'obra on es poden trobar el fonamental de la filosofia de la matemàtica de Kant és la seva Crítica de la raó pura, que a més de ser també la seva obra més important és un dels cims de la filosofia occidental moderna.

En aquesta obra, en la part "Estètica transcendental", Kant anomena intuïció a la captació d'éssers o objectes individuals: particulars o individus. Per Kant, els éssers humans només poden entrar en contacte amb individus mitjançant la sensibibilidad. Per tant, totes les nostres intuïcions són sensibles, pertanyen a l'experiència sensible, totes són intuïcions empíriques. Per exemple, veure aquest arbre, sentir la campana de l'església propera, veure aquest capoll de rosa, etc.

Però per a Kant, tota intuïció té dues parts: la forma de la intuïció i la matèria de la intuïció. La forma de la intuïció la constitueix l'espai i el temps. L'espai és el marc en el qual situem els particulars que intuïm i alhora el conjunt de les relacions espacials que guarden entre ells. Amb el temps passa una cosa semblant; en ell situem els esdeveniments. Kant assenyala que només podem representar-nos el temps espacialment, per la qual cosa el que diguem de l'espai es pot estendre al temps.

Convé precisar que l'espai i el temps ni són meres relacions, ni són coses independents. Es pot parlar de relacions espacials i temporals, però l'espai i el temps no es redueixen a elles perquè constitueixen dues totalitats: hi ha un sol espai i hi ha un sol temps. Però l'espai i el temps no poden presentar-se com dues coses independents al costat dels altres ens físics. L'espai i el temps apareixen amb les coses físiques, amb els particulars i aquests sempre apareixen en l'espai i el temps.

Les relacions espai-temporals constitueixen l'únic objectiu de cada intuïció. Si volem dir alguna cosa objectiu d'un fet de l'experiència concret, només podem parlar de les relacions que les coses mantenen en l'espai i el temps. Així, les relacions de posició, distància, grandària, el transcurs del temps, la velocitat (distància recorreguda dividida pel temps transcorregut), etc. sí que són objectives. En canvi, formen part de la matèria tots els aspectes de la intuïció que no tenen un caràcter espacial o temporal: els colors, les olors o els gustos; la matèria no pot ser objectiva. Per exemple, observem un capoll de rosa vermella bressolat suaument per la brisa. La longitud de la tija, la velocitat de l'oscil·lació, la mida del capoll són relacions concretes objectives del fet. El matís del color o l'aroma no ho són.

Per a Kant, tota intuïció té la seva forma, i la forma d'una intuïció no pot no estar i totes les intuïcions tenen la seva forma. En termes que ja coneixem: la forma de cada intuïció és necessària i universal. Com la forma de cada intuïció està constituïda pel conjunt de relacions d'espai i temps que posseeix la intuïció, llavors les relacions espaciotemporals de les intuïcions són necessàries i universals (no poden no estar i estan en totes les intuïcions), el que per a Kant és un criteri infal·lible que aquestes relacions espaciotemporals d'una intuïció són conegudes a priori, és a dir, independentment de l'experiència.

És més, per a Kant les relacions espacials i temporals no tenen el seu origen en l'experiència, no tenen res empíric, procedeixen exclusivament de la nostra ment: són, en terminologia kantiana, intuïcions pures (que no són un tipus d'intuïcions diferents de les intuïcions empíriques, sinó només la forma que té Kant de parlar de la forma d'una intuïció que és sempre empírica). Per tant, la nostra captació de les relacions d'espai i temps són intuïcions a priori ia més pures, sense res empíric. I l'objecte de les matemàtiques consisteix en tals intuïcions pures a priori: l'espai i el temps.

Però, segons Kant, no hi ha coneixement si les intuïcions no estan conceptualitzades. Només hi haurà coneixement matemàtic quan hi hagi conceptes matemàtics (recordem, un concepte és universal, la intuïció particular). Els conceptes, en Kant, són producte de l'activitat espontània del nostre enteniment. Però al seu torn, els conceptes si volen tenir caràcter objectiu, si han de servir per conèixer, han de tindre instàncies en intuïcions (aquesta és la funció del esquematisme segons Kant). En el cas de les matemàtiques, en la part formal de la intuïció, en la intuïció pura.

Tenim així intuïcions, que són sempre empíriques (encara que una part és pura), i conceptes que poden ser conceptes purs, aquí els propis de les matemàtiques (veurem que hi ha un altre tipus de conceptes purs) i uns conceptes empírics, que seran els altres.

Kant també entén que les matemàtiques es formulen axiomàticament, de manera que els teoremes es deduiran dels axiomes. I aquests són proposicions sintètiques a priori. (Kant parla de judici i no de proposició; seguirem aquest ús en endavant).

Per entendre el que això vol dir, és important destacar que Kant desfà la identificació que es podria seguir de la postura de Hume (interpretada a la manera del neopositivisme) entre analític i a priori, d'una banda, i, de l'altra, entre a posteriori i sintètic. Recordeu que la distinció a priori - a posteriori és una distinció que parla de l'origen del nostre coneixement, si prové o no de l'experiència.

Per la seva banda, la distinció entre analític i sintètic és una distinció semàntica que situa la veritat d'una proposició, respectivament, en l'articulació dels nostres conceptes o no. Recordem que Hume només admetia dos tipus de coneixements: relacions d'idees i qüestions de fet. Les relacions d'idees són a priori, és a dir, es coneixen independentment de l'experiència sensible, en concret, es coneixen analitzant les relacions que hi ha entre les idees. Així, les relacions d'idees de Hume es formularan en judicis a priori i analítics. Hume a més, pensa que un judici a priori només pot ser analític, de manera que per a ell, s'identifiquen els judicis que són analítics i els que són a priori: un judici analític serà a priori i si és a priori serà analític. Dit d'una altra manera: les úniques veritats a priori que hi ha són les veritats conceptuals que es formulen mitjançant els judicis analítics. Per la seva banda, les qüestions de fet es coneixen a posteriori, mitjançant l'experiència sensible. Com no poden ser judicis analítics, seran sintètics. Per tant, les qüestions de fet es formulen en judicis sintètics a posteriori.

Però Kant afegeix un tercer tipus de judici: els judicis sintètics a priori. En altres paraules, per a Kant, un judici a priori no ha de ser analític sempre sinó que també pot ser sintètic. I, en conseqüència, Kant distingeix entre judicis analítics (sempre a priori) i judicis sintètics que poden ser a priori ia posteriori. Dit d'una altra manera, Kant nega que només hi haja necessitat a priori de tipus conceptual. Per tant, segons Kant, hi ha judicis a priori que no parlen de conceptes sinó de particulars i com els particulars només es donen en l'experiència, Kant està dient que sabem a priori veritats sobre el món: són els judicis sintètics a priori.

En Kant, un judici sintètic sempre necessita d'una intuïció, és a dir, un ens particular.Toda intuïció té dues parts: matèria i forma. El que hagi de dir sobre la matèria es formularà mitjançant un judici sintètic a posteriori. Però tota intuïció té també una part pura, la seva forma, que és necessària i universal i, per tant, segons la doctrina de Kant, a priori. Quan ens limitem a fer judicis sobre la part pura d'una intuïció fem judicis matemàtics i aquests són sintètics a priori. Un judici sintètic a priori vertader ens diu una veritat sobre el món.

Finalment, pot semblar òbvia l'explicació de Kant de l'aplicació de les matemàtiques per al coneixement científic. En la mesura que tota intuïció té una forma i aquesta forma és l'espai i el temps, els quals són estudiats per la geometria, és clar per què podem aplicar la geometria a la realitat. Però, per Kant, el coneixement neix de la combinació d'intuïcions i conceptes. Per garantir que els nostres conceptes aplicats a la intuïció són els correctes, Kant introdueix certs conceptes purs i certs judicis sintètics a priori. Simplificant, en la part anomenada "Analítica transcendental" de la Crítica de la raó pura, Kant argumenta que en el nostre enteniment tenim coneixements que garanteixen que les nostres intuïcions es poden mesurar (són magnituds en el sentit de la física). Es tracta de conceptes purs i judicis sintètics a priori. Kant anomena a aquests conceptes categories de la quantitat i categories de la qualitat, i als judicis sintètics a priori axiomes de la intuïció i anticipacions de la percepció. Aquests judicis sintètics a priori ens diuen alguna cosa sobre el món: que té magnituds, que es pot mesurar.

La filosofia de les matemàtiques després de Kant[modifica | modifica el codi]

Com assenyala Dummett (1998, pàg. 128 i ss), malgrat la seva importància, al segle XIX la major part dels matemàtics es van moure en una direcció que xocava amb la de Kant. El segle XIX va veure un important esforç per part dels matemàtics per introduir rigor en l'Anàlisi, és a dir, la teoria dels nombres reals, racionals com 1 / 3 o irracionals com a arrel de 2 o pi. Això era necessari a causa de les antinòmies generades pels intents del segle anterior per fonamentar el càlcul en la noció de infinitèsims (nombres infinitament petits diferents de 0). Un motiu gairebé igualment fort va ser fer l'Analisi independent de nocions geomètriques que eren les que servien de base a la major part de les matemàtiques des dels grecs. El model de coneixement matemàtic seguia sent el dels Elements d'Euclides. Normalment aquest intent d'alliberar de nocions geomètriques es descrivia com alliberar l'Anàlisi del recurs a la intuïció perquè Kant, com s'ha vist, denominava "intuïció pura" a la captació de les relacions d'espai i temps que era la base de les matemàtiques.

Segons Dummett, el primer a emprendre la tasca d'alliberar a l'anàlisi de la intuïció va ser el matemàtic i filòsof txec Bernard Bolzano (1781-1848). Com a filòsof va ser una excepció per la poca influència que Kant va exercir sobre ell. Com matemàtic, estava determinat a eliminar la intuïció de l'anàlisi, i provar des axiomes tot el que pogués ser provat, no importava com d'obvi pogués semblar quan es pensava en termes geomètrics. Una raó per això va ser que el que sembla obvi intuïtivament pot no ser vertader. Si pensem en una funció contínua en un interval (incloent els punts extrems) representada per un una corba en un paper, sembla intuïtivament obvi que, en l'interval donat, qualsevol corba ha de tenir un pendent excepte en un nom finit de punts; quan, per exemple, la corba està feta de dos segments de línia recta en angle diferent, no hi ha pendent en el punt en què es troben les dues línies. No obstant això, Bolzano va obtenir el primer exemple (encara que no ho va publicar) d'una funció contínua en un interval però que no era diferenciable en cap punt de l'interval. Expressat geomètricament, això estaria representat per una corba contínua que no tingués pendent en cap lloc; naturalment, no es pot dibuixar, excepte una successió d'aproximacions a ella. No obstant això, fins i tot quan el que sembla obvi és de fet vertader, en opinió de Bolzano, segueix sent necessari deduir i fer-ho sense invocar idees alienes d'espai o temps: les matemàtiques estan interessades no només a establir veritats sinó en determinar quines veritats reposen sobre altres. Així, és obvi "per a la intuïció" que, si una corba contínua al principi d'un interval està sota l'eix X i al final de l'interval sobre l'eix X, ha de creuar l'eix X en algun punt de l'interval. En termes purament aritmètics això es converteix en el teorema del valor intermedi, amb la conseqüència que si una funció contínua tenen un valor negatiu al principi de l'interval i un valor positiu al final de l'interval, ha de tenir el valor 0 en algun lloc de l'interval. El 1817 Bolzano publicar un intent de prova d'aquest teorema, el qual, encara que no sense errors, va contribuir notablement al programa d'alliberar l'anàlisi de la seva dependència de la intuïció espacial.

Per obtenir el desitjat rigor en la teoria dels nombres reals, coneixdem ja el mètode fonamental en les matemàtiques: l'axiomatització. En el cas que ens ocupa, consistiria a aïllar els trets fonamentals dels nombres reals, en els que es poden fer descansar totes les deduccions conegudes dels teoremes sobre ells. Aquests trets fonamentals poden llavors ser suposats com axiomes i tot el que es vulga provar sobre els nombres reals està obligat a ser deduït d'ells.

Però si volem no suposar l'existència d'entitats que satisfacin els axiomes cal construir els nombres reals. Igual que passa amb el procés de axiomatització, la construcció també és present a Els Elements d'Euclides. En aquesta obra, moltes de les demostracions es formulen com a problemes que plantegen construir amb regle i compàs figures geomètriques. Aquest és l'origen d'aquesta expressió i el sentit que té en l'obra de Kant.

Així doncs, en termes actuals, l'axiomatització ens mostra quins trets ha de tenir un sistema d'entitats per qualificar com a sistema de nombres reals i, d'altra banda, dur a terme la construcció garanteix que no necessitem suposar l'existència d'un sistema que satisfaci els axiomes sinó que proporcionem aquestes entitats a partir d'altres de les que ja disposem.

Com es tracta d'un concepte que apareixerà més endavant, cal il·lustrar el concepte de construcció en sentit modern. Se seguirà aquí a Dummett (1998, p.131) en la seva explicació de la construcció dels nombres reals del matemàtic Richard Dedekind (1831-1916). Dedekind suposa que poden prendre els nombres racionals, que abasten els enters i fraccions d'enters tals com 3 / 8, com donats. La seva construcció dels nombres reals comença amb la idea que un nombre irracional (l'expressió decimal dels quals té infinites xifres, per exemple, arrel quadrada de 2) té una posició determinada respecte als racionals: tot nombre racional és o més petit o més gran que un nombre irracional. Considera llavors un "tall" en els racionals. Un tall és una partició de tots els racionals en dues classes, una inferior i una altra superior, com que cap classe és buida, tot racional pertany a una i només una de les classes, un nombre racional més petit que un element donat de la classe inferior també pertany a la classe inferior, i un més gran que un donat de la classe superior també pertany a la classe superior. Un d'aquests talls és el que divideix els racionals en tots els que són menors o iguals que 8 / 5 (la classe inferior) i tots els més grans que 8 / 5 (la classe superior). Una altra és la que els divideix en aquells l'arrel quadrada és menor que 2 (la classe inferior) i aquells l'arrel quadrada és major que 2 (la classe superior): cap està fora, ja que no hi ha cap nombre racional que sigui l'arrel quadrada de 2. És evident que un tall ha de ser d'aquests tres tipus: (1) la classe inferior té un element que és el major, però la superior no té un element que sigua el menor (el nostre primer exemple -8/5- era d'aquest tipus), (2) la classe superior té un element que és el menor, però la classe inferior no té un element que sigua el més gran; (3) la classe inferior no té un element que sigua el més gran, i la classe superior no té un element que sigua el menor (el segon exemple-arrel quadrada de 2 - era un cas d'aquest tipus). Els noms reals poden identificar-se amb les classes superiors de les talls que no tenen menor element en la classe superior (els tipus 1 i 3). En uns casos, com l'exemple de 8 / 5 (cortadura tipus 1), coincideixen amb els nombres racionals, en altres casos, com en l'exemple de l'arrel quadrada de 2 (tall tipus 3), coincideix amb un nombre irracional. Amb els nombres racionals i irracionals tenim el conjunt complet dels nombres reals.

El formalisme[modifica | modifica el codi]

Tot i que s'ha dit en la secció anterior, la influència de Kant no va desaparèixer. El formalisme és una posició en filosofia de les matemàtiques que segueix sent fidel a Kant en essència, encara que recull les pretensions de l'eliminació de la intuïció pura en el sentit d'intuïció geomètrica. El seu autor més important és David Hilbert. Un formalista hilbertià considera que el llenguatge, en concret el llenguatge matemàtic, pot reduir-se a operar espaciotemporalment amb signes. I treu com a conseqüència que els nostres conceptes matemàtics poden ser expressats, com pensava Kant, en operacions sobre les relacions d'espai i temps. No obstant això, quan Kant deia això pensava bàsicament en la geometria (construir figures i sòlids geomètrics). Quan els formalistes parlen d'operacions sobre les relacions d'espai i temps pensen en els sistemes formals.

Un sistema formal (Koerner 1968, "formalisme") és una teoria axiomatizada en què s'ha substituït el llenguatge natural per un conjunt de signes que obeeixen a regles que es redueixen a operar sobre relacions espai - temps amb els signes. Per exemple, formar oracions és construir una filera de signes amb un ordre donat. Per il·lustrar podem recórrer al sistema formal del mateix Hilbert per l'aritmètica. Recordem aquí els axiomes de l'aritmètica, és a dir, la definició del concepte de nombre natural:

  1. 0 és un nombre natural
  2. Si x és un nombre natural el successor de x és un nombre natural
  3. El 0 no és successor de cap nombre natural
  4. Per a tot x i y si els seus successors són iguals llavors x i y són iguals
  5. Donada una propietat, si 0 té aquesta propietat i si per un nombre natural qualsevol la té ell i el seu successor, llavors tot nombre natural té la propietat.

Segons Hilbert, la matèria d'estudi de la teoria elemental dels nombres és el conjunt dels signes "I", "II", "III", "IIII", "IIIII", etc. més el procés de produir aquests signes començant amb "I" i afegint cada vegada un altre traç després de l'últim traç del signe anterior. El signe inicial "I" i la regla de producció proporcionen junts els objectes de la teoria. S'utilitzen lletres minúscules per a designar xifres no especificades. Per a les operacions hi ha dos signes. El signe "=" que indica que dues xifres poden substituir mútuament i el signe "<" que indica que la xifra de l'esquerra està continguda en la de la dreta. Amb aquests signes poden definir (introduint els signes corresponents) l'addició, la sostracció, la multiplicació i la divisió i es poden expressar les seves lleis.

Per la seva banda, l'axioma 5, denominat principi de inducció matemàtica, es formalitza així: a) "I" té certa propietat, b) si quan qualsevol expressió traç posseeix la propietat llavors la posseeix la següent (la formada afegint un "I" a la inicial) llavors es veurà que la propietat la té qualsevol expressió-traç que pot produir-se. Aquí el verb "veure" no és gratuït. Se suposa que totes les operacions descrites es redueixen a operacions en l'espai i el temps.

Així, d'una banda, el formalisme és hereu de Kant. D'altra banda, el formalisme és una forma de nominalisme. Per al formalisme, com per a qualsevol nominalisme, no existeixen els conceptes correctes o incorrectes. Els conceptes ens els inventem nosaltres. Per tant, els conceptes matemàtics i les seves teories corresponents amb els seus axiomes són producte de la nostra imaginació. L'únic requisit és que no hi haja contradiccions en el concepte (expressat en el conjunt dels axiomes).

El formalisme té en contra els anomenats Teoremes d'incompletesa de Gödel formulats per Kurt Gödel el 1931. Una conseqüència d'aquests teoremes és que és impossible presentar un sistema formal per a l'aritmètica que pugui demostrar o refutar qualsevol proposició definida en el sistema sense caure en una contradicció.

Intuïcionisme[modifica | modifica el codi]

El concepte fonamental del intuïcionisme és un que ja hem anomenat: la construcció. Per a un intuicionista (Koerner 1968, "Intuïcionisme") una construcció és una entitat mental i en cap cas es poden identificar amb entitats lingüístiques. Les construccions no són oracions del llenguatge natural ni d'un llenguatge o sistema formal encara que puguin expressar-se en ells.

Es tracta d'una entitat mental tampoc, segons l'opinió dels intuïcionistes, té caràcter espacial. Aquí se separen de Kant. Kant pensava que els fenòmens mentals eren només temporals, no espacials, però pensava que la seva representació només podia ser espacial com en el cas dels fenòmens físics. En sentit intuicionista, la construcció té el sentit complementari a l'axiomatització que hem vist anteriorment però amb peculiaritats que la restringeixen.

Com il·lustració, podem considerar l'explicació intuïcionista del significat d'una operació lògica: aquesta no es fa especificant les condicions de veritat de les oracions complexes en termes de les oracions que les constitueixen. Per contra, el que es fa és especificar quan una construcció és una deducció d'una oració el signe principal és l'operació en qüestió, suposat que se sap la deducció de les oracions que la constitueixen. Per exemple, una deducció d'una conjunció "A & B" és una cosa que dedueix A i també dedueix B. Una deducció de "A o B" és una cosa que o dedueix A o dedueix B. Una deducció de "no A" és una operació de la que podem dir, aplicada a qualsevol deducció de A, conduirà a una contradicció, per tant garanteix que mai trobarem una deducció de A.

Des d'aquesta perspectiva moltes veritats lògiques de la lògica clàssica segueixen valent, però no totes. Per exemple el Principi de Tercer exclòs "A o no A" no és vàlid. Pel que s'ha dit, per poder afirmar el principi de tercer exclòs en un cas concret s'ha de tenir una deducció de A o una deducció de no A. Però com s'ha dit també es pot donar el cas que ni tinguem una deducció de A i tampoc una de no A. Podem senzillament no saber si existeix una deducció per A o per no A.

A causa d'aquesta posició, hi ha procediments de deducció que no són admissibles per a un intuicionista de manera que, en aquest cas, la matemàtica intuicionista tracta de reconstruir les matemàtiques existents amb els seus procediments restringits. La majoria dels matemàtics no estan per la tasca i creuen que aquestes restriccions no estan justificades.

De tota manera, el intuïcionisme manté una posició metafísica que mostra la seva filiació kantiana. Els matemàtics i lògics no intuïcionistes assenyalen que les afirmacions han de ser o vertaderes o falses i això suposa que hi ha una realitat objectiva que d'alguna manera produeix aquesta veritat o falsedat. Una altra cosa és que nosaltres ho sapiguem o no, però se suposa sempre que les afirmacions són o vertaderes o falses. L'intuïcionisme es nega a acceptar aquest supòsit metafísic d'una realitat que nosaltres no podem captar directament. El intuïcionisme no pot acceptar com vertader allò que no té una prova a favor per a nosaltres. No hi ha veritat independent del subjecte. Això és idealisme i l'idealisme intuïcionista és d'arrel kantiana.

Situació actual[modifica | modifica el codi]

Al llarg d'aquest article s'han presentat diverses posicions ontològiques i epistemològiques sobre les matemàtiques. Sense por a equivocar-se, es pot dir que la major part dels matemàtics són platònics, realistes matemàtics. Perquè la major part de les matemàtiques clàssiques han de suposar, per poder dur a terme, la concepció platònica. L'exemple més extrem és el de la Teoria de Conjunts (Dummett 1998, p. 173).

No obstant això, com es pot suposar pel que s'ha dit sobre les diferents versions del platonisme, aquest s'enfronta a un problema epistemològic, a un problema sobre l'explicació de l'accés als ens matemàtics. Aquesta situació se sol denominar Dilema de Benacerraf, ja que aquest autor va popularitzar el plantejament de la qüestió en aquests termes (Benacerraf 1973). D'una banda les matemàtiques necessiten ser ontològicament platòniques perquè altres concepcions tenen les seves pròpies dificultats, però el platonisme té una dificultat epistemològica fonamental: l'explicació de l'accés a les suposades entitats matemàtiques és encara més problemàtica.

Literatura[modifica | modifica el codi]

Citada
  • Benacerraf, P. (1973), "Mathematical Truth" en Hart, W. D. (ed.): The Philosophy of Mathematics. Oxford: Oxford University Press, 1996.
  • Descartes, R. (1641), Meditaciones metafísicas, Editorial Alfaguara, versió de Vidal Peña, 1977.
  • Díez, J. A i Moulines, C. U. (1997), Fundamentos de Filosofía de la Ciencia, Editorial Ariel, 1999.
  • Dummett, M. (1998), "The Philosophy of Mathematics" en Grayling, A. C. (ed.)Philosophy 2: Further Through The Subject, Oxford University Press, 1998.
  • Hume, D. (1739), Tratado de la naturaleza humana, Editorial Tecnos, versió de Félix Duque (1977), 1988, (SB es refereix a l'edició Selby-Biggem).
  • Kant, I. (1781), Crítica de la razón pura, versió de Pedro Ribas (1978), Editorial Alfaguara, 1983.
  • Körner, S. (1968), Introducción a la filosofía de la matemática, Editorial Siglo XXI, 1968.
  • Lorenzo, J. de (1992), Kant y la matemática. El uso constructivo de la razón pura, Editorial Tecnos, 1992.
  • Maza Gómez, C. (2008), Matemáticas en la antigüedad.
  • Shabel, L. (1997), Mathematics in Kant's Critical Philosophy. Reflections on Mathematical Practice, London: Routledge, 2003.
  • Solís, C. i Sellés, M. (2005), Historia de la ciencia, Editorial Espasa, 2005.


A nivell introductori
Portal

Portal: Filosofia