Information-Theoretic Approaches to Logical Relations

• Autores: John Corcoran, José Miguel Sagüillo Fernández-Vega
• Localización: VII Conference of the Spanish Society for Logic, Methodology and Philosophy of Science: Santiago de Compostela, Spain, 18-20 July 2012 / Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España (aut.), Concepción Martínez Vidal (dir. congr.), José L. Falguera López (dir. congr.), José Miguel Sagüillo Fernández-Vega (dir. congr.), Víctor Martín Verdejo Aparicio (dir. congr.), Martín Pereira Fariña (dir. congr.), 2012, ISBN 978-84-9887-939-1, págs. 11-15
• Idioma: inglés
• Enlaces
  • Texto Completo Libro
• Resumen

  • This paper discusses the traditional logical relations holding or not between “corners” of squares of oppositions, between members of postulate sets, and more generally between one given proposition and another. In the last half of the 1900s, following the stunning successes of logicians such as Alfred Tarski and David Hilbert, such relations were often treated model-theoretically or proof-theoretically. We approach the subject from an information-theoretic perspective which is entirely compatible with other perspectives and which in fact complements and clarifies them. Logicians sympathetic to information-theoretic approaches include many of the giants of the last half of the 1800s: George Boole, Augustus De Morgan, Charles Peirce, Stanley Jevons, and others who worked in logic before model theory and proof theory were developed. Ideally, practice precedes and grounds theory. Ideally, theory explains and justifies practice.