| Loxica
|
|---|
clase utilizada en la Clasificacion Decimal Universal
(es)
 , ciencies formales y rama de la filosofia
(es)
|
 |
 |
La
loxica
[1]
(terminu que remanez del
griegu clasicu
λ?γο?
logos
, y que significaba
pallabra
,
pensamientu
,
idea
,
argumentu
,
esplicacion
,
razon
o
empiezu
) ye l'estudiu de los sistemes de razonamientu correutu, esto ye, de los sistemes de razonamientu qu'un ser racional podria utilizar pa razonar. La loxica ocupase de determinar que formes d'
inferencia
y de
demostracion
son valides y cualos non, y pa facelo la nocion central qu'estudia ye la de
consecuencia loxica
.
Como
ciencia formal
, la loxica estudia y clasifica la estructura de les proposiciones y los argumentos, mesmo al travies del estudiu de sistemes formales d'
inferencia
qu'al travies del estudiu direutu del razonamientu en
llinguaxe natural
. Les temes arreyaes nestos estudios incluin les falacies, les paradoxes, la
induccion
, la causalida, el razonamientu con
probabilida
, el razonamientu con
vagueda
y
imprecision
, ente otros.
Tradicionalmente, la loxica considerose una rama de la
filosofia
. Sol nome de
dialeutica
y xunto cola
gramatica
y la
retorica
, configuraba'l
triviu
nel sistema d'estudios medievales. Dende mediaos del
sieglu XIX
, la loxica formal convirtiose nuna disciplina matematica por un doble motivu: porque s'estudio con ferramientes matematiques y porque se desendolco col enfotu d'establecer una fundamentacion pa les
matematiques
. Nesti contestu, la disciplina conociose como
loxica simbolica
o
loxica matematica
. Finalmente, el papel destacau de la loxica formal nel desendolcu de la
computabilida
, y la implementacion informatica de los sistemes de razonamientu estudiaos pola loxica (sobremanera nel marcu de la
intelixencia artificial
) fixeron que la loxica tamien pueda considerase en ciertu mou una subdisciplina de la
informatica
.
