Information-Theoretic Approaches to Logical Relations
- John Corcoran
- José Sagüillo
- Concha Martínez Vidal (dir. congr.)
- José L. Falguera López (dir. congr.)
- José M. Sagüillo (dir. congr.)
- Víctor M. Verdejo Aparicio (dir. congr.)
- Martín Pereira Fariña (dir. congr.)
Editorial: Servicio de Publicaciones e Intercambio Científico ; Universidad de Santiago de Compostela
ISBN: 978-84-9887-939-1
Ano de publicación: 2012
Páxinas: 11-15
Congreso: Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España. Congreso (7. 2012. Santiago de Compostela)
Tipo: Achega congreso
Resumo
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.