Diferència entre les revisions de "Llògica"
m Text reemplaça - ']]''' a ']] ''' |
m Text reemplaça - 'la im' a 'l'im' |
||
| Llínea 5: | Llínea 5: | ||
Tradicionalment, la llògica s'ha considerat una branca de la [[filosofia]]. Baix el nom de [[dialèctica]] i juntament en la [[gramàtica]] i la [[retòrica]], configurava el [[trivi]] en el sistema d'estudis mijevals. Des de mitat del [[segle XIX]], la llògica formal s'ha convertit en una disciplina matemàtica per un doble motiu: perqué s'ha estudiat en ferramentes matemàtiques i perqué s'ha desenrollat en la intenció d'establir una fonamentació per a les [[matemàtiques]]. En este context, la disciplina s'ha conegut com a [[llògica simbòlica]] o [[llògica matemàtica]]. | Tradicionalment, la llògica s'ha considerat una branca de la [[filosofia]]. Baix el nom de [[dialèctica]] i juntament en la [[gramàtica]] i la [[retòrica]], configurava el [[trivi]] en el sistema d'estudis mijevals. Des de mitat del [[segle XIX]], la llògica formal s'ha convertit en una disciplina matemàtica per un doble motiu: perqué s'ha estudiat en ferramentes matemàtiques i perqué s'ha desenrollat en la intenció d'establir una fonamentació per a les [[matemàtiques]]. En este context, la disciplina s'ha conegut com a [[llògica simbòlica]] o [[llògica matemàtica]]. | ||
Finalment, el paper destacat de la llògica formal en el desenroll de la [[computabilitat]], i | Finalment, el paper destacat de la llògica formal en el desenroll de la [[computabilitat]], i l'implementació informàtica dels sistemes de raonament estudiats per la llògica (sobretot en el marc de la [[inteligència artificial]]) han fet que la llògica també es puga considerar en certa manera una subdisciplina de l'[[informàtica]]. | ||
== Bibliografia == | == Bibliografia == | ||