Text2 ■ ╧ Text3 ═ 6 Text4 <P1><DROPCAP>L</DROPCAP>A LÓGICA, establecida por <HOT TARGET=304>Aristóteles</HOT> hace 2.000 años, estudia los patrones genéricos del razonamiento, sin hacer referencia a los significados ni contextos particulares. Si un objeto debe ser verde o azul, y no es azul, la lógica nos lleva a la <HOT TARGET=1048>conclusión</HOT> de que debe ser verde. El razonamiento lógico, a partir de las <HOT TARGET=2646>premisas</HOT> (enunciados iniciales), no puede revelar qué significa <Q><I>verde</I> </Q>o <Q><I>azul </I></Q><I></I>, ni por qué un objeto no puede ser ambas cosas. Los enunciados lógicos se pueden formalizar utilizando el <HOT TARGET=411>álgebra de Boole</HOT> o el <HOT TARGET=624>cálculo proposicional</HOT>. El desarrollo de la lógica durante el siglo XX ha hecho revisar las nociones tradicionales del razonamiento.</P1><CAPH_L>A través del espejo . . .</CAPH_L><CAP_L>Según Tweedledee, un personaje creado por el escritor Lewis Carroll, <Q>Si fue así, podría ser; y si fuera así, sería; pero como no lo es, no lo es. Es lógico.</Q></CAP_L><CAPH_L>. . . hacia el micromundo</CAPH_L><CAP_L>Los circuitos de ordenador contienen millones de puertas lógicas conectadas entre sí. Cada una de ellas es un interruptor lógico.</CAP_L><TITLE>¿Qué es la lógica?</TITLE>
