Already a subscriber? - Login here
Not yet a subscriber? - Subscribe here

Browse by:



Displaying: 1-20 of 71 documents


editorial
1. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 10 > Issue: 3
Diez años con Miguel Sánchez-Mazas
view |  rights & permissions | cited by
in memoriam
2. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 10 > Issue: 3
Víctor Sanchez de Zavala In memoriam Miguel Sánchez-Mazas
view |  rights & permissions | cited by
3. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 10 > Issue: 3
Javier Echeverria A la memoria de Miguel Sánchez-Mazas
view |  rights & permissions | cited by
4. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 10 > Issue: 3
Amedeo G. Conte Filosofía de la validez deóntica: una ecuación de tres incógnitas
view |  rights & permissions | cited by
5. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 10 > Issue: 3
Juan José Goiriena de Gandarias Homenaje al Profesor D. Miguel Sánchez-Mazas
view |  rights & permissions | cited by
seccion monografica
6. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 10 > Issue: 3
José Miguel Sagüillo Presentación
view |  rights & permissions | cited by
7. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 10 > Issue: 3
John Corcoran Information Recovery Problems
abstract | view |  rights & permissions | cited by
An information recovery problem is the problem of constructing a proposition containing the information dropped in going from a given premise to a given conclusion that folIows. The proposition(s) to beconstructed can be required to satisfy other conditions as well, e.g. being independent of the conclusion, or being “informationally unconnected” with the conclusion, or some other condition dictated by the context. This paper discusses various types of such problems, it presents techniques and principles useful in solving them, and it develops algorithmic methods for certain classes of such problems. The results are then applied to classical number theory, in particular, to questions concerning possible refinements of the 1931 Gödel Axiom Set, e.g. whether any of its axioms can be analyzed into “informational atoms”. Two propositions are “informationally unconnected” [with each other] if no informative (nontautological) consequence of one also follows from the other. A proposition is an “informational atom” if it is informative but no information can be dropped from it without rendering it uninformative (tautological). Presentation, employment, and investigation of these two new concepts are prominent features of this paper.
8. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 10 > Issue: 3
Luis Vega Demostraciones clásicas
abstract | view |  rights & permissions | cited by
Let’s agree in calling “classical demonstration” a deduction that enables us to know the rational necessity that something is the case and cannot be otherwise. I propose to take seriously actual instances of this notion, e.g. some mathematical proofs, and explore certain discoursive and epistemic implications of their existence. Then I will look at questions about characterizing, rigorizing and acknowledging this kind of conclusive proof. Finally, some remarks on the meaning of Provability Logic in this context will be made.
9. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 10 > Issue: 3
José Miguel Sagüillo Validez y semantica representacional
view |  rights & permissions | cited by
estudios
10. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 10 > Issue: 3
Víctor Sanchez de Zavala Towards a less simple but sounder (psychologieal) Pragmatics III
abstract | view |  rights & permissions | cited by
Before processual analyses of the activities of Iinguistic emission and reception are performed, a modicum of elaboration of the notions and technical devices previously suggested is necessary. First, theoretical resources previously developed are revised in two different fashions: some require to be elaborated in higher detail, while in other cases what is needed is to remove, at least in part, some restrictions initially laid down for simplification purposes. Then some notional clarifications and new specific distinctions a.nd notions are suggested for the study of emission, since the fact that this kind of linguistic performance is all but ignored in traditional (psychological) Pragmatics calls for an attempt to dispel some confusions originating in such a virtual neglect, and, on the other hand, for creation of a suitable array of such theoretical tools.
11. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 10 > Issue: 3
Agustín Arrieta Comentarios sobre la relación entre la programación logica y las lógicas no monótonas
abstract | view |  rights & permissions | cited by
My purpose in this paper is to show the evolution of the relationship between nonmonotonic logic and logic programming. I think that there are two periods in the evolution of this relationship. The first one isthe point of contact between these two fields that had been developed independently. In the second period, as I will show, the motivation to propose three-valued nonmonotonic logic comes from the study of the relationship between these two fields, and not from the study of nonmonotonic logic itself.
12. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 10 > Issue: 3
Carlos G. Gonzalez Sobre el Agregado de Axiomas a ZF
view |  rights & permissions | cited by
libros y revistas
13. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 10 > Issue: 3
Jesús Mosterín Los límites de la ciencia
view |  rights & permissions | cited by
14. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 10 > Issue: 3
Fernando Broncano How Free Are You?: The Deterministic Problem
view |  rights & permissions | cited by
15. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 10 > Issue: 3
José Antonio Méndez Sanz, José Antonio López Cerezo Thinking through Technology: The Path between Engineering and Philosophy
view |  rights & permissions | cited by
16. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 10 > Issue: 3
Bernardino Orio de Miguel Razón y legitimidad en Leibniz
view |  rights & permissions | cited by
17. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 10 > Issue: 3
Francisco J. Fernández Leibniz e la Res Bibliothecaria: Bibliografie, historiae literariae e cataloghi nella biblioteca privata leibniziana
view |  rights & permissions | cited by
18. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 10 > Issue: 3
Juan Carlos López San Joaquín Languages of the Mind: Essays on Mental Representation
view |  rights & permissions | cited by
19. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 10 > Issue: 3
LIBROS RECIBIDOS
view |  rights & permissions | cited by
proximos reuniones
20. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 10 > Issue: 3
Proximas reuniones
view |  rights & permissions | cited by