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

Browse by:



Displaying: 1-20 of 23 documents


editorial
1. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 10 > Issue: 3
Diez años con Miguel Sánchez-Mazas
view |  rights & permissions | cited by
in memoriam
2. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 10 > Issue: 3
Víctor Sanchez de Zavala In memoriam Miguel Sánchez-Mazas
view |  rights & permissions | cited by
3. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 10 > Issue: 3
Javier Echeverria A la memoria de Miguel Sánchez-Mazas
view |  rights & permissions | cited by
4. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: 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. Revista de Teoría, Historia y Fundamentos de la Ciencia: 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. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 10 > Issue: 3
José Miguel Sagüillo Presentación
view |  rights & permissions | cited by
7. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: 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. Revista de Teoría, Historia y Fundamentos de la Ciencia: 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. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 10 > Issue: 3
José Miguel Sagüillo Validez y semantica representacional
view |  rights & permissions | cited by
estudios
10. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: 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. Revista de Teoría, Historia y Fundamentos de la Ciencia: 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. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 10 > Issue: 3
Carlos G. Gonzalez Sobre el Agregado de Axiomas a ZF
view |  rights & permissions | cited by
libros y revistas
13. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 10 > Issue: 3
Jesús Mosterín Los límites de la ciencia
view |  rights & permissions | cited by
14. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 10 > Issue: 3
Fernando Broncano How Free Are You?: The Deterministic Problem
view |  rights & permissions | cited by
15. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: 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. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 10 > Issue: 3
Bernardino Orio de Miguel Razón y legitimidad en Leibniz
view |  rights & permissions | cited by
17. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: 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. Revista de Teoría, Historia y Fundamentos de la Ciencia: 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. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 10 > Issue: 3
LIBROS RECIBIDOS
view |  rights & permissions | cited by
proximos reuniones
20. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 10 > Issue: 3
Proximas reuniones
view |  rights & permissions | cited by