Bøger udgivet af College Publications

This book presents an introduction to model theory in 15 lectures. It concentrates on several key concepts: first-order definability, classification of complete types, elementary extensions, categoricity, automorphisms, and saturation; all illustrated with examples that require neither advanced alegbra nor set theory. A full proof of the compactness theorem for countable languages and its applications are given, followed by a discussion of the Ehrefeucht-Mostowski technique for constructing models admitting automorphisms. Additional topics include recursive saturation, nonstandard models of arithmetic, Abraham Robinson's model-theoretic proof of Tarski's theorem on undefinability of truth, and the proof of the Infinite Ramsey Theorem using an elementary extension of the standard model of arithmetic.

Este volumen es un homenaje al trabajo del Profesor Ángel Nepomuceno por su jubilación como Catedrático de Lógica de la Universidad de Sevilla. Los diferentes trabajos que se encuentran en este volumen han sido realizados por personas que de un modo u otro han compartido algún aspecto de su vida académica con él. La estructuración del volumen se ha realizado teniendo en cuenta tres grandes áreas en las que ha trabajado el Prof. Nepomuceno durante toda su carrera: Lógica, Conocimiento y Abducción. La primera parte está dedicada a la Lógica. En esta parte se encuentran trabajos dedicados a temas como las pruebas por diagonalización, la noción de cercanía basada en intervalos de proximidad, la lógica modal probabilística, los conceptos de completitud y consistencia, la enseñanza de la lógica, la teoría de las argumentaciones, la lógica deóntica o medidas de complejidad algorítmica basadas en máquinas de Turing. La segunda parte está dedicada al Conocimiento. En ella encontramos trabajos dedicados al origen del número, el problema de las cartas rusas, la visión de Putnam sobre el realismo, la lógica epistémica, técnicas computacionales a partir de la información en bases de datos, la concepción de Leibniz sobre la lengua alemana, Sistemas de Diálogo o la Dinámica de Sistemas. La tercera y última parte está dedicada a la Abducción. La componen trabajos en los que se estudia el razonamiento abductivo desde un análisis epistemológico y cognitivo, el diagnóstico médico-veterinario como inferencia abductiva, criterios de identificación de las líneas de mundos de Hintikka como una hipótesis epistémica abductiva, los problemas de fill-up y cutdown abductivos con el eco-cognitive model, las nociones de inducción y abducción, la imaginación en las hipótesis en ciencia y, por último, la abducción desde una perspectiva de lógica dinámica epistémica.

Edelcio G. de Souza (University of São Paulo, Brazil) is a Brazilian logician and philosopher who has researches in the domains of abstract logic, non-classical systems, philosophy of science and the foundations of mathematics. This book is in his honor with the purpose of celebrating his 60th birthday. It contains some articles connected with the above topics and other subjects in logical investigations.