Biblioteca Instituto Técnico Superior Comunitario

Un aperitivo lógico, 17 / Lógica formal: Introducción al lenguaje de la lógica, 17 / Cerca y Acerca de la lógica, 25 / Paradoja, 25 / Lógica Informal, 29 / Negación, 29 / Curiosidades rompecabezas, 30 / Test, 30 / Todo de una vez: el que avisa no es traidor, 33 / Lógica formal: panorámica, 33 / Verdad y falsedad, 33 / La estructura lógica: la clave del razonamiento, 42 / Cerca y Acerca de lógica, 45 / Una paradoja y W. S. Gilbert, 45 / Un artículo periodístico, 47 / Las paradojas y la Piscología, 48 / El título de la sección autoreferenciandose, 50 / Lógica informal, 56 / Cómo discutir, 56 / Cómo refutar, 61 / Exámenes tipo test: lectura eficaz, 65 / Curiosidades y rompecabezas, 71 / The Digestor" Digest, pág. 1, 72 / Aviso de examen I, 72 / Cabezas parlantes, 73 / Lógica proposicional, lenguajes formales y argumentos informales, 75 / Lógica formal: lógica proposicional, 75 / Lenguajes formales: Proposicional, 75 / Lenguajes formales: variaciones sobre Proposicional, 79 / Tablas de verdad, 83 / Teoría lógica proposicional, 89 / Algunas tautologías e implicaciones básicas, 92 / Cerca y acerca de la lógica, 97 / Como como como, 97 / Lenguajes artificiales y naturales, 98 / Reglas de reescritura y autómatas finitos, 102 / Media media media 106 / Lógica informal, 107 / Las conclusiones, 107 / Enunciados de apoyo a la conclusión, 112 / La relevancia, 116 / Las premisas, 120 / Cathy desayuna, 124 / Curiosidades y rompecabezas, 125 / The Digestor"s Digest, pág. 2, 125 / Aviso de examen II, 125 / Un rompecabezas no lógico , 125 / Crucigramas autoreferidos, 127 / Argumentos válidos, argumentos convincentes y lógica punk, 131 / Lógica formal: argumentos válidos, 131 / Estructuras argumentales validas, 131 / Formalizar para validar, 134 / Un atajo para validar argumentos, 137 / Formalización del castellano utilizando los escasos recursos de Proposicional, 139 / Cerca y acerca de la lógica, 148 / Miniac, 148 / Conjuntos, 150 / Conjuntos, 150 / Circuitos lógicos, 156 / Bertrand I, 158 / Lógica informal, 159 / La crítica de argumentos, 159 / Como escribir argumentos, 162 / Un buen párrafo, 165 / Cathy va a la guerra, 169 / Curiosidades y rompecabezas, 170 / The Digestor"s Digest, Pág. 3, 170 / Aviso de examen III, 170 / Reunión familiar, 171 / Lógica punk, 173 / Predicados, programas y lógica antigua, 175 / Lógica formal: la lógica de predicados, 175 / Lenguajes de predicados, 175 / Variaciones sobre el tema de los lenguajes de predicados, 180 / De la lógica proposicional a la lógica de predicados, 183 / La interpretación de la lógica de predicados con estructuras , 186 / Teoría de la lógica de predicados, 191 / Las leyes lógicas: fórmulas válidas e implicaciones básicas, 194 / Formulación en la lógica de predicados, 198 / Polacos y noruegos, 207 / Cerca y Acerca de la lógica, 208 / Juegos, 208 / BASIC, 211 / En binario, 215 / TRIVIAL, 218 / Algoritmo, 220 / El castor afanoso, 222 / Lógica informal, 224 / Silogismos, 224 / Falacias, 227 / Lógica rabínica, 232 / Cathy cuestiona a Dios, 235 / Curiosidades y rompecabezas, 236 / The Digestor"s Digest, Pág. 4 / Aviso de examen IV, 237 / El juego de la lógica, 237 / Los sorites de Lewis Carroll, 241 / Deducción, infinitud y un corte de pelo, 247 / Lógica formal: deducciones, 247 / Las conectivas principales, 247 / La deducción, 249 / Razonamiento hipotético: deducción a partir de supuestos, 256 / Demostración de validez, 261 / Demostración de invalidez, 267 / Formalizar para validar el lógica de predicados, 272 / Ceca y Acerca de la lógica, 274 / En el infierno con Raymond Smullyan, 274 / No hay escapatoria (segura), 277 / Tareas infinitas, 281 / Infinitud: en potencia y en acto, 284 / Demostración por contradicción, 286 / Lógica informal, 289 / Anita Hill y Arlen Specter, 289 / Busch, Clinton y Perot, 292 / La aventura de los danzarines, 297 / Lógica comercial I, 298 / Curiosidades y rompecabezas, 299 / The Digetor"s Digest, pág. 5 , 299 / Aviso de examen V, 300 / El problema de la barbería, 301 / La clase de Inglés, 303 / Sofisticación simbólica, inducción y lógica de los negocios, 307 / Lógica formal: algo de sofisticación simbólica, 307 / Cuantificadores y aritmética, 307 / Funciones, 310 / La teoría de las descripciones de Russell, 315 / Cerca y Acerca de la lógica, 321 / Las medidas de la incertidumbre, 321 / La ley de Bayes y Sherlock Holmes, 324 / Lógica Inductiva, 327 / Programación lógica, 331 / Lógica informal, 338 / Los formularios de Hacienda , 338 / La aduana canadiense, 348 / El té lógico, 349 / Lógica comercial II, 360 / Curiosidades y rompecabezas, 361 / The Digestor"s Digest, pág. 6, 361 / Aviso de examen VI, 361 / "lo que la tortuga dijo de Aquiles", de Lewis Carroll, 363 / La otra cara, 366 / Completitud, Incredibidad, los debates y una cena, 367 / Lógica formal: Completitud, 367 / Geometría, 367 / El teorema de completitud, 372 / Axiomatización y álgebra de Boole, 377 / Cerca y Acerca de la Lógica, 383 / Creencias y conocimientos, 383 / La Ley del tercero excluido, 387 / Del rompecabezas a la paradoja, 392 / Lógica informal, 400 / Mas sobre Busch, Clinton y Perot, 400 / Debates presidenciales, 405 / Debates parlamentarios, 408 / Lógica comercial III, 411 / Curiosidades y rompecabezas, 411 / The Digestor"s Digest, pág. 7, 411 / Aviso de examen VII, 412 / Los puntos de Peano, 412 / Charles Dana Gibson, 413 / La reunión familiar II: las mujeres, 413 / Paradoja, imposibilidad y la ley, 417 / Lógica formal: profundizando en la lógica, 417 / ¿De dónde vienen los números?, 417 / La paradoja del montón de arena, 425 / La paradoja de Russell y la equivocación de Frege, 434 / Cerca y Acerca de la lógica, 439 / La vida, 439 / El hiperjuego, 445 / El castor afanoso no es computable, 446 / La imposibilidad, 448 / Lógica informal, 450 / Quayle, Gore y Stockdale, 450 / Exámenes tipo test: razonamiento lógico, 454 / Exámenes tipo test: reglas y disputas, 467 / Curiosidades y rompecabezas, 474 / The Digestor"s Digest, pág. 8, 474 / Aviso de examen VIII, 474 / Sobre la notación polaca, 475 / La fantástica aventura de Tom y Jim, 476 / Últimas palabras, 477 / Notas, referencias bibliográficas , pistas y algunas respuestas, 479 / Un aperitivo lógico, 479 / Todo de una vez: el que avisa no es traidor, 485 / Lógica proposicional, lenguajes formales y argumentos informales, 490 / Argumentos válidos, argumentos convincentes y lógica punk, 505 / Predicados, programas y lógica antigua, 516 / Deducción, infinitud y un corte de pelo, 534 / Sofisticación simbólica, inducción y lógica de los negocios, 550 / Completitud, incredibilidad, los debates y una cena, 562 / Paradoja, imposibilidad y la ley, 572.

Razón, dulce razón es un libro de introducción a la lógica moderna como ningún otro. En él se encuentran los fundamentos básicos de la lógica formal e informal claramente descritos. Pero el texto va mucho más allá: sitúa al estudiante en el mundo real, donde la disciplina de la lógica inyecta sustancia y sentido a toda forma humana de discurso. Todo desde rompecabezas, paradojas y demostraciones matemáticas hasta extractos de debates, reglamentaciones gubernamentales y tebeos, se utilizan para mostrar cómo la lógica es empleada habitualmente por filósofos, matemáticos, publicistas, informáticos, políticos y todo tipo de especialistas y profesionales en general.

Sweet reason. A field guide to modern logic.