This book aims to lay bare the logical foundations of tractable reasoning. It draws on Marvin Minsky's seminal work on frames, which has been highly influential in computer science and, to a lesser extent, in cognitive science. Only very few people have explored ideas about frames in logic, which is why the investigation in this book breaks new ground. The apparent intractability of dynamic, inferential reasoning is an unsolved problem in both cognitive science and logic-oriented artificial intelligence. By means of (...) a logical investigation of frames and frame concepts, Andreas devises a novel logic of tractable reasoning, called frame logic. Moreover, he devises a novel belief revision scheme, which is tractable for frame logic. These tractability results shed new light on our logical and cognitive means to carry out dynamic, inferential reasoning. Modularity remains central for tractability, and so the author sets forth a logical variant of the massive modularity hypothesis in cognitive science. (shrink)

Históricamente, en los principales análisis filosóficos sobre el concepto de ‘verdad’ estuvo implícita lo que hoy se conoce como la teoría correspondentista de la verdad, la cual puede ser trazada desde Aristóteles hasta Immanuel Kant. A principios del siglo XIX, los detractores de la teoría correspondentista de la verdad comenzaron a argumentar, entre otras cosas, que esta postura es oscura, demasiado estrecha y autocomplaciente o argumentativamente circular. No obstante, en el ámbito científico algunos defensores de ciertas posturas realistas de la (...) ciencia han considerado que la verdad es la meta cognoscitva más importante de la actividad científica. Este estudio se realizó para establecer la plausibilidad de este argumento realista. Mediante el análisis de la validez de algunos argumentos de tipo ontológico, semántico y epistémico propuestos por algunos defensores de distintas versiones del llamado ‘Realismo Científico’, con los que se intenta relacionar el éxito empírico y predictivo de las mejores teorías científicas con la verdad, se muestra que, desde un punto de vista lógico, parece difícil confirmar que tales teorías nos proporcionen conocimiento confiable del mundo natural. Se sugiere que los científicos no son agentes confirmadores; sino agentes probabilísticos, esto es, agentes que buscan calcular la probabilidad con la que un hacedor de verdad convierte en verdadero a un portador de verdad con el que la ciencia comunica sus resultados. (shrink)

In this paper, we aim to explore connections between a Carnapian semantics of theoretical terms and an eliminative structuralist approach in the philosophy of mathematics. Specifically, we will interpret the language of Peano arithmetic by applying the modal semantics of theoretical terms introduced in Andreas (Synthese 174(3):367–383, 2010). We will thereby show that the application to Peano arithmetic yields a formal semantics of universal structuralism, i.e., the view that ordinary mathematical statements in arithmetic express general claims about all admissible interpretations (...) of the Peano axioms. Moreover, we compare this application with the modal structuralism by Hellman (Mathematics without numbers: towards a modal-structural interpretation. Oxford University Press: Oxford, 1989), arguing that it provides us with an easier epistemology of statements in arithmetic. (shrink)