Accions

Diferència entre revisions de la pàgina «Sistema axiomàtic»

De Wikisofia

(Es crea la pàgina amb «{{ConcepteWiki}} Sistema deductiu format per un grup d'enunciats anomenats axiomes que, degudament formalitzats i d...».)
 
m (bot: - per construir definicions) + per a construir definicions))
 
(8 revisions intermèdies per 2 usuaris que no es mostren)
Línia 1: Línia 1:
 
{{ConcepteWiki}}
 
{{ConcepteWiki}}
[[sistema deductiu|Sistema deductiu]] format per un grup d'enunciats anomenats [[axioma|axiomes]] que, degudament [[formalització|formalitzats]] i definits, permeten deduir, mitjançant regles d'inferència precises, el conjunt d'enunciats, anomenats [[teorema|teoremes]], que pertanyen al sistema. En l'antiguitat, van elaborar teories axiomàtiques Euclides en geometria i Arquimedes en física. La mecànica clàssica de [[Autor:Newton, Isaac|Newton]] està també formulada mitjançant axiomes. Modernament, s'ha procedit a l'axiomatització de les matemàtiques, sobretot des del s. XIX, quan, a partir d'una banda de l'aparició de diverses geometries no euclidianes -com una conseqüència, precisament, de l'estudi de la [[independència|independència]] del postulat de les paral·lela d'Euclides- i, per l'altre, de la crisi dels fonaments de la matemàtica ( veure [[matemàtiques, filosofia de les|filosofia de les matemàtiques]]), s'intenta un major rigor en la teoria matemàtica.
+
[[sistema deductiu|Sistema deductiu]] format per un grup d'enunciats anomenats [[axioma|axiomes]] que, degudament [[formalització|formalitzats]] i definits, permeten deduir, mitjançant regles d'inferència precises, el conjunt d'enunciats, anomenats [[teorema|teoremes]], que pertanyen al sistema. En l'antiguitat, van elaborar teories axiomàtiques Euclides en geometria i Arquimedes en física. La mecànica clàssica de [[Autor:Newton, Isaac|Newton]] està també formulada mitjançant axiomes. Modernament, s'ha procedit a l'axiomatització de les matemàtiques, sobretot des del s. XIX, quan, a partir d'una banda de l'aparició de diverses geometries no euclidianes –com una conseqüència, precisament, de l'estudi de la [[independència|independència]] del postulat de les paral·leles d'Euclides– i, per l'altre, de la crisi dels fonaments de la matemàtica (veg. [[matemàtiques, filosofia de les|filosofia de les matemàtiques]]), s'intenta un major rigor en la teoria matemàtica.
  
Per això, els primers sistemes axiomàtics es van aplicar a l'estudi de les matemàtiques. La matemàtica es concep des de llavors com una ciència deductiva purament [[ciències formals|formal]] i es distingeix entre la matemàtica teòrica (pròpiament, un sistema deductiu axiomatitzat) i la matemàtica aplicada (aquella de la qual és possible donar una [[interpretació|interpretació]] real al món), amb el que el seu interès no resideix tant en la veritat del seu contingut material, com en el seu aspecte deductiu. El matemàtic alemany, [[Autor:Hilbert, David|D. Hilbert]], en ''Fonaments de geometria'' (1899), axiomatiza la geometria euclidiana, i [[Autor:Peano, Giuseppe|Peano]] fa el mateix amb l'aritmètica. A Hilbert es deu, a més, l'estudi de les propietats formals dels sistemes axiomàtics, o [[axiomàtica|axiomàtica]], que estableix en la [[consistència|consistència]] interna dels axiomes i en el seu [[independència|independència]] les seves característiques fonamentals. Els axiomes d'una teoria són ''consistents'', o no- contradictoris, si permeten deduir la veritat d'un enunciat, però no la seva negació. Els axiomes són, a més, ''independents'', si cap d'elloses deduïble de la resta d'axiomes com un teorema. En cap cas s'exigeix que els axiomes siguin evidents.
+
Per això, els primers sistemes axiomàtics es van aplicar a l'estudi de les matemàtiques. La matemàtica es concep des de llavors com una ciència deductiva purament [[ciències formals|formal]] i es distingeix entre la matemàtica teòrica (pròpiament, un sistema deductiu axiomatitzat) i la matemàtica aplicada (aquella de la qual és possible donar una [[interpretació|interpretació]] real al món), amb el que el seu interès no resideix tant en la veritat del seu contingut material, com en el seu aspecte deductiu. El matemàtic alemany, [[Autor:Hilbert, David|D. Hilbert]], en ''Fonaments de geometria'' (1899), axiomatitza la geometria euclidiana, i [[Autor:Peano, Giuseppe|Peano]] fa el mateix amb l'aritmètica. A Hilbert es deu, a més, l'estudi de les propietats formals dels sistemes axiomàtics, o [[axiomàtica|axiomàtica]], que estableix en la [[consistència|consistència]] interna dels axiomes i en la seva [[independència|independència]] les seves característiques fonamentals. Els axiomes d'una teoria són ''consistents'', o no- contradictoris, si permeten deduir la veritat d'un enunciat, però no la seva negació. Els axiomes són, a més, ''independents'', si cap d'ells és deduïble de la resta d'axiomes com un teorema. En cap cas s'exigeix que els axiomes siguin evidents.
  
 
La primera qualitat és absolutament necessària per a la coherència lògica d'un sistema axiomàtic; la segona, encara que desitjable, en cas de no posseir-se significa només redundància d'axiomes.
 
La primera qualitat és absolutament necessària per a la coherència lògica d'un sistema axiomàtic; la segona, encara que desitjable, en cas de no posseir-se significa només redundància d'axiomes.
  
Els axiomes, en una teoria axiomatizada, no són més que [[símbol|símbols]]; manquen de tot contingut i en si no són ni veritables ni falsos; són només esquemes d'enunciats. Poden, no obstant això, rebre una [[interpretació|interpretació]], referint-los a un [[univers del discurs|univers]] d'objectes, i llavors passen a ser enunciats veritables o falsos. Si una interpretació fa veritable per a qualsevol cas al conjunt d'axiomes, tal interpretació és un [[modelo|model]] de la teoria. L'espai anomenat euclidià, per exemple, el de la nostra experiència sensorial, és una interpretació que fa veritable i consistent la geometria euclidiana. Aquesta parla només de símbols, punts, rectes, angles, etc., però aplicats a l'espai defineixen la seva estructura. El conjunt d'enunciats del sistema espacial és un model de la teoria axiomàtica d'[[Autor:Euclides d'Alexandria|Euclides]] ([[Recurs:Hilbert, David: axiomàtica|veure text]] ).
+
Els axiomes, en una teoria axiomatitzada, no són més que [[símbol|símbols]]; manquen de tot contingut i en si no són ni veritables ni falsos; són només esquemes d'enunciats. Poden, no obstant això, rebre una [[interpretació|interpretació]], referint-los a un [[univers del discurs|univers]] d'objectes, i llavors passen a ser enunciats veritables o falsos. Si una interpretació fa veritable per a qualsevol cas al conjunt d'axiomes, tal interpretació és un [[model|model]] de la teoria. L'espai anomenat euclidià, per exemple, el de la nostra experiència sensorial, és una interpretació que fa veritable i consistent la geometria euclidiana. Aquesta parla només de símbols, punts, rectes, angles, etc., però aplicats a l'espai defineixen la seva estructura. El conjunt d'enunciats del sistema espacial és un model de la teoria axiomàtica d'[[Autor:Euclides d'Alexandria|Euclides]] ([[Recurs:Hilbert, David: axiomàtica|veg. text]]).
  
[[Autor:Frege, Gottlob|Frege]], [[Autor:Russell, Bertrand|Russell]] i [[Autor:Whitehead, Alfred North|Whitehead]] són els constructors dels primers [#sistemaaxiomatico sistemes axiomàtics] de lògica ([[Recurs:Cita de Ruyer 1|veure exemple]]). Aquests dos últims exposen, en ''Principia Mathematica'', una axiomatització del càlcul de [[lògica|lògica d'enunciats]].
+
[[Autor:Frege, Gottlob|Frege]], [[Autor:Russell, Bertrand|Russell]] i [[Autor:Whitehead, Alfred North|Whitehead]] són els constructors dels primers [#sistemaaxiomatico sistemes axiomàtics] de lògica ([[Recurs:Cita de Ruyer 1|veg. exemple]]). Aquests dos últims exposen, en ''Principia Mathematica'', una axiomatització del càlcul de [[lògica|lògica d'enunciats]].
  
 
Un sistema axiomàtic requereix:
 
Un sistema axiomàtic requereix:
Línia 14: Línia 14:
 
0. Una '''lògica bàsica '''(subjacent a tota teoria)
 
0. Una '''lògica bàsica '''(subjacent a tota teoria)
  
1. '''Termes primitius '''(termes lògics o no, necessaris per construir definicions)
+
1. '''Termes primitius '''(termes lògics o no, necessaris per a construir definicions)
  
 
2. '''Termes definits'''
 
2. '''Termes definits'''

Revisió de 10:41, 13 oct 2017

Sistema deductiu format per un grup d'enunciats anomenats axiomes que, degudament formalitzats i definits, permeten deduir, mitjançant regles d'inferència precises, el conjunt d'enunciats, anomenats teoremes, que pertanyen al sistema. En l'antiguitat, van elaborar teories axiomàtiques Euclides en geometria i Arquimedes en física. La mecànica clàssica de Newton està també formulada mitjançant axiomes. Modernament, s'ha procedit a l'axiomatització de les matemàtiques, sobretot des del s. XIX, quan, a partir d'una banda de l'aparició de diverses geometries no euclidianes –com una conseqüència, precisament, de l'estudi de la independència del postulat de les paral·leles d'Euclides– i, per l'altre, de la crisi dels fonaments de la matemàtica (veg. filosofia de les matemàtiques), s'intenta un major rigor en la teoria matemàtica.

Per això, els primers sistemes axiomàtics es van aplicar a l'estudi de les matemàtiques. La matemàtica es concep des de llavors com una ciència deductiva purament formal i es distingeix entre la matemàtica teòrica (pròpiament, un sistema deductiu axiomatitzat) i la matemàtica aplicada (aquella de la qual és possible donar una interpretació real al món), amb el que el seu interès no resideix tant en la veritat del seu contingut material, com en el seu aspecte deductiu. El matemàtic alemany, D. Hilbert, en Fonaments de geometria (1899), axiomatitza la geometria euclidiana, i Peano fa el mateix amb l'aritmètica. A Hilbert es deu, a més, l'estudi de les propietats formals dels sistemes axiomàtics, o axiomàtica, que estableix en la consistència interna dels axiomes i en la seva independència les seves característiques fonamentals. Els axiomes d'una teoria són consistents, o no- contradictoris, si permeten deduir la veritat d'un enunciat, però no la seva negació. Els axiomes són, a més, independents, si cap d'ells és deduïble de la resta d'axiomes com un teorema. En cap cas s'exigeix que els axiomes siguin evidents.

La primera qualitat és absolutament necessària per a la coherència lògica d'un sistema axiomàtic; la segona, encara que desitjable, en cas de no posseir-se significa només redundància d'axiomes.

Els axiomes, en una teoria axiomatitzada, no són més que símbols; manquen de tot contingut i en si no són ni veritables ni falsos; són només esquemes d'enunciats. Poden, no obstant això, rebre una interpretació, referint-los a un univers d'objectes, i llavors passen a ser enunciats veritables o falsos. Si una interpretació fa veritable per a qualsevol cas al conjunt d'axiomes, tal interpretació és un model de la teoria. L'espai anomenat euclidià, per exemple, el de la nostra experiència sensorial, és una interpretació que fa veritable i consistent la geometria euclidiana. Aquesta parla només de símbols, punts, rectes, angles, etc., però aplicats a l'espai defineixen la seva estructura. El conjunt d'enunciats del sistema espacial és un model de la teoria axiomàtica d'Euclides (veg. text).

Frege, Russell i Whitehead són els constructors dels primers [#sistemaaxiomatico sistemes axiomàtics] de lògica (veg. exemple). Aquests dos últims exposen, en Principia Mathematica, una axiomatització del càlcul de lògica d'enunciats.

Un sistema axiomàtic requereix:

0. Una lògica bàsica (subjacent a tota teoria)

1. Termes primitius (termes lògics o no, necessaris per a construir definicions)

2. Termes definits

3. Axiomes o postulats del sistema

4. Regles d'inferència (per la deducció)

5. Teoremes del sistema.