Capçalera
 FiloXarxa Diccionari enciclopèdic de filosofia: autors, conceptes, textos

Temes  -

El saber filosòfic El coneixement La realitat L'ésser humà L'acció humana La societat

Història -

Filosofia antiga i medieval Filosofia moderna Filosofia contemporània Mapa del web Ajuda i altres Descarregar "font grega"
Cerca continguts al web Pensament: autors, conceptes, textos, obres ...
Loading

sistema deductiu LÒG.

Cos de coneixement organitzat per un conjunt d’enunciats ordenats de forma tal que uns puguin demostrar-se a partir d’altres. Atès que no és possible fer regressions a l’infinit per poder deduir tots els enunciats, és necessari partir de axiomes o supòsits inicials i de termes definits. Un sistema deductiu ideal està compost pel mínim conjunt d’axiomes i termes, suficients per poder definir i deduir qualsevol enunciat pertinent al sistema.

El sistema deductiu més antic i clàssic és la geometria d'Euclides (ca. 300 aC), presentada a la seva obra Elements, en 13 llibres, que segueix l’estructura axiomàtica de la ciència, tal com l’entenia Aristòtil. Distingeix entre axiomes i teoremes. Aquells són els enunciats matemàtics «vàlids» abans de tot raonament; aquests són els enunciats deduïts dels axiomes mitjançant demostració. Els axiomes es consideren, en Euclides i en la teoria axiomàtica tradicional, vertaders i evidents. Als axiomes o postulats se’ls anomena també primers principis i, en aquest cas, es distingeix entre definicions, axiomes i postulats. La moderna teoria axiomàtica no exigeix la veritat i evidència dels axiomes, o el que és el mateix, l’evidència i la veritat del punt de partida del coneixement, sinó que insisteix en altres característiques, com la independència o la completud. El que es demostra o dedueix és un teorema: el que se suposa sense demostració és un axioma. La solidesa d’un sistema deductiu descansa en aquest en què es recolza el concepte lògic de validesa. Igual que en els arguments, en un sistema deductiu el que importa no és el punt de partida sinó la manera com s’argumenta.

Els sistemes deductius es divideixen en sistemes axiomàtics i sistemes de deducció natural.

 


Licencia de Creative Commons
Aquesta obra està sota una llicència de Creative Commons.