Lògica
ciència formal que estudia els principis de la demostració i de la inferència vàlida / From Wikipedia, the free encyclopedia
La lògica és l'estudi dels sistemes de raonament que un ésser racional podria utilitzar per raonar. La lògica s'ocupa de determinar quines formes d'inferència i de demostració són vàlides i quines no, i per tal de fer-ho la noció central que estudia és la de conseqüència lògica. Tradicionalment, la lògica s'ha considerat una branca de la filosofia.
Per a altres significats, vegeu «Lògica (desambiguació)». |
Com a ciència formal, la lògica estudia i classifica l'estructura de les proposicions i els arguments, tant a través de l'estudi de sistemes formals d'inferència com a través de l'estudi directe del raonament en llenguatge natural. Els temes involucrats en aquests estudis inclouen les fal·làcies, les paradoxes, la inducció, la causalitat, el raonament amb probabilitat, el raonament amb vaguetat i imprecisió, entre altres.
Antigament, configurava el Trivium en el sistema d'estudis medievals sota el nom de dialèctica i juntament amb la gramàtica i la retòrica. Des de mitjans del segle xix, la lògica formal ha esdevingut, a més d'una disciplina filosòfica, una disciplina matemàtica (la lògica matemàtica) que s'ha estudiat amb eines matemàtiques i amb la intenció d'establir una fonamentació per a les matemàtiques. En aquest context, la disciplina s'ha conegut també com a lògica simbòlica. Finalment, la lògica formal s'utilitza en la programació d'algorismes a la informàtica, en el desenvolupament de la computabilitat i l'automàtica, incloent la domòtica, la intel·ligència artificial i les smart cities, per exemple.