Vinici Barrientos Carlos | Por no extinguirnos / AUTÓMATES
Probamos por la lógica, pero descubrimos por la intuición.
Henri Poincaré
Género de lógica
Con frecuencia se distingue entre 2 campos de la lógica: la lógica formal y la lógica informal.
- La lógica formal. Atiende al lenguaje formal, esto es, a la manera de expresar sus contenidos. Los utiliza de manera rigurosa, sin ambigüedades, de manera que se logre investigar el paseo deductivo desde la validez de sus formas (de ahí el nombre).
- La lógica informal. Estudia sus razonamientos a posteriori, distinguiendo las formas válidas y también inválidas desde la información dada, sin arreglar su forma lógica o lenguaje formal. Esta variación brotó en la época del siglo XX como especialidad en la filosofía.
¿Cuál es el desarrollo lógico de la investigación?
La lógica, básica para el procedimiento científico, supone el razonamiento inductivo y deductivo. La investigación científica da un procedimiento que deja contrastar, sistemáticamente, nuestras ideas, pálpitos o hipótesis, y validar la prueba sobre la verdad del en el caso de que se trate.
¿Qué ofrece Popper para detectar la ciencia?
¿Para qué exactamente sirve la Lógica?
Si bien todo lo mencionado logre ofrecer la impresión de que la Lógica es bastante abstracta para tener apps prácticas, esto no es de esta manera.
La Lógica está, por servirnos de un ejemplo, en la base del desempeño de los ordenadores. En un pc, los valores reales y falsos son representados por el paso de corrientes de diferentes escenarios de voltaje en un transistor. De esta manera en que un operador lógico (o conectiva) toma valores enserio y nos devuelve otro, es viable crear gadgets (llamados puertas lógicas) que toman corrientes eléctricas y nos devuelven otra, representando de esta manera distintas operaciones lógicas como la negación y la disyunción. Si a los valores reales y falsos los sustituimos por 1 y 0, entonces tenemos la posibilidad de representar números en el sistema binario con asistencia de las puertas lógicas y combinarlas con ingenio de manera a efectuar operaciones aritméticas con ellos. Hay formas ingeniosas de representar artículo con el sistema binario, y los conocidos latches (gadgets que forman la base de la memoria de un computador) son asimismo esencialmente composiciones de puertas lógicas complejas. El pensador y lógico C.S. Peirce fue el primero en ofrecer estas ideas, que fueron después llevadas a la práctica en el siglo XX por Claude Shannon.
