Definicion de logica

Solo disponible en BuenasTareas
  • Páginas : 6 (1359 palabras )
  • Descarga(s) : 0
  • Publicado : 5 de febrero de 2012
Leer documento completo
Vista previa del texto
Lógica clásica
Lógica clásica identifica una clase de lógicas formales eso se ha estudiado lo más intensivo posible y el más ampliamente utilizado. Son caracterizados por un número de características[1]; las lógicas no-clásicas son las que carecen una o más de estas características, que son:
1. Ley del centro excluido y Eliminación de la negativa doble;
2. Ley del noncontradiction;
3.Monotonicity del entailment y Idempotency del entailment;
4. Commutativity de la conjunción;
5. Dualidad de De Morgan: cada operador lógico es dual a otros.
La lógica clásica es bivalente, es decir. utiliza solamente funciones Boleano-valoradas. Y mientras que no son exigidas por las condiciones precedentes, las discusiones contemporáneas de la lógica clásica incluyen normalmente solamentepropositional y de primer orden lógicas.[2][3]
Ejemplos de lógicas clásicas
• Aristotle's Método introduce su teoría de syllogisms, que es una lógica con una forma restricta de juicios: toma una de las aserciones de cuatro formas, Todo el picosegundo es Q, Un cierto picosegundo es Q, No hay picosegundo Q, y Un cierto picosegundo no es Q. Estos juicios se encuentran si dos pares de dos operadores duales, ycada operador es la negación de otra, las relaciones que Aristotle resumió con la suya cuadrado de oposiciones. Aristotle formuló explícitamente la ley del centro excluido y la ley de la no-contradicción en justificar su sistema, aunque estos leyes no se pueden expresar como juicios dentro del marco syllogistic.
• George Boole'reformulación algebraica de la lógica, su sistema de s de Lógicaboleana;
• La lógica de primer orden encontró adentro Gottlob Frege's Begriffsschrift.
lógicas No-clásicas
• Lógica de Computability está una teoría formal semántico construida del computability, en comparación con la lógica clásica, que es una teoría formal de la verdad; integra y amplía lógicas clásicas, lineares e intuicionistas.
• Lógica confusa rechaza la ley del centro excluido y permite comovalor de verdad cualquier número verdadero entre 0 y 1.
• Lógica intuicionista rechaza la ley de la eliminación excluida de la negativa media, doble, y de los leyes de De Morgan;
• Lógica linear rechaza el idempotency del entailment también;
• Lógica modal amplía lógica clásica con no-verdad-funcional (“modal”) operadores.
• Lógica de Paraconsistent (e.g., dialetheism y lógica de laimportancia) rechaza la ley del noncontradiction;
• Lógica de la importancia, lógica linear, y lógica no-monotónica monotonicity del rechazo del entailment;
En Lógica irregular, lógica confusa: Más allá del formalismo, Susan Haack lógicas no-clásicas divididas en irregular, lógicas cuasi-irregulares, y extendidas.[3]




La lógica moderna no funciona como la de toda la vida. Cada día resulta másevidente. En la lógica de toda la vida, fabricar tu producto de determinada forma implicaba que esa, y no otra, era la manera en la que tus clientes utilizarían el producto, salvo raras excepciones protagonizadas por personas que cabía normalmente calificar como “de naturaleza extravagante”. Si un fabricante, por ejemplo, prohibía o simplemente desaconsejaba ciertos usos de su producto, lo normal eraque toda una legión de clientes bien disciplinados le hicieran caso, y evitasen tales usos para así no comprometer la integridad de su producto. O la de su garantía, último y amenazante bastión que simbolizaba el poder del fabricante: si te portas mal y haces cosas inadecuadas con mi producto, si lo estropeas te lo va a arreglar Rita, suponiendo que la encuentres y tengas la suerte de que sepa deestas cosas. Y así, durante muchos años, los consumidores decidimos “ser buenos chicos”. Los productos sólo los pueden abrir personal especializado, porque si los abrimos nosotros, quedarán marcas indelebles en los tornillos, y anularemos la garantía. Este producto se usa así y se puede combinar con este otro, pero nunca con aquel… y nosotros íbamos, y hacíamos caso, no se fuera aquello a...
tracking img