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

Browse by:



Displaying: 1-20 of 71 documents


estudios
1. 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.
2. 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
3. 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
4. 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
5. 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
6. 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
7. 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
8. 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
9. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 10 > Issue: 3
LIBROS RECIBIDOS
view |  rights & permissions | cited by
proximos reuniones
10. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 10 > Issue: 3
Proximas reuniones
view |  rights & permissions | cited by
noticias
11. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 10 > Issue: 3
Noticias de la SLMFCE (Sociedad de Lógica, Metodología y Filosofia de la Ciencia en España)
view |  rights & permissions | cited by
informacion
12. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 10 > Issue: 3
Boletín de suscripción
view |  rights & permissions | cited by
13. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 10 > Issue: 3
Instrucciones técnicas para la preparacion de los trabajos / Technical instructions for preparation of manuscripts
view |  rights & permissions | cited by
editorial
14. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 10 > Issue: 2
Miguel Sanchez-Mazas Colaboración
view |  rights & permissions | cited by
seccion monografica
15. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 10 > Issue: 2
Luis Fariñas del Cerro, Antonio Frias Delgado Razonamiento no monótono: un breve panorama
view |  rights & permissions | cited by
16. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 10 > Issue: 2
Luis Fariñas del Cerro, Antonio Frias Delgado Condicionales y no monotonía
view |  rights & permissions | cited by
17. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 10 > Issue: 2
Philippe Besnard Systèmes d’inférence non monotone
view |  rights & permissions | cited by
18. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 10 > Issue: 2
Dov M. Gabbay A General Theory of Structured Consequence Relations
abstract | view |  rights & permissions | cited by
There are several areas in logic where the monotonicity of the consequence relation fails to hold. Roughly these are the traditional non-monotonic systems arising in Artificial Intelligence (such as defeasible logics, circumscription, defaults, ete), numerical non-monotonic systems (probabilistic systems, fuzzy logics, belief functions), resource logics (also called substructural logics such as relevance logic, linear logic, Lambek calculus), and the logic of theory change (also called belief revision, see Alchourron, Gärdenfors, Makinson [2224]). We are seeking a common axiomatic and semantical approach to the notion of consequence whieh can be specialised to any of the above areas. This paper introduces the notions of structured consequence relation, shift operators and structural connectives, and shows an intrinsic connection between the above areas.
estudios
19. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 10 > Issue: 2
Víctor Sanchez de Zavala Towards a less simple but sounder (psychological) Pragmatics II
abstract | view |  rights & permissions | cited by
This paper addresses first the appticability of the main notions included in the general notion meant item, meant partial situation (MPST), meant activity (MACT), and implicitly meant background situation (IMBST) -that of meant agent will be only mentioned in an aside-, plus the notion meaning activity (MNGACT). It will be shown that, when coupled to other notions, such as ‘ontological status’ of IMBST relative to the focussed (part of) current situation (FCST), as well as to the matching ‘ontological’ properties of the meant items above, they allow to set up unified and apparently successful methods to explore important and debated pragmatic issues. Then their usefulness for research in the domain traditionally accorded to speech-act theory is put to (a preliminary) test; and finally the general processual sketch of linguistic activity advanced in the last Sections of P.I is carefully gauged as to its prospects regarding actual implementation of more specific processual sketches of both emission and reception linguistic activities.
20. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 10 > Issue: 2
Cristina Lafont Dilemas en torno a la verdad
abstract | view |  rights & permissions | cited by
This article argues for an intermediate standpoint concerning the theory of truth which finds an equilibrium between realist an epistemic conceptions of truth. At the same time it is accepted that truth is a notion with an ultimate realist sense, but it is made clear that this intuitive sense does only have a non-trivial (i.e. non-“disquotational”), reading if the function of “truth” is seen from within the epistemic framework of our practices of belief-formation (i.e. of confirmation and revision). Following the realist line one can reconstruct the unconditional validity attributed to the intuitive concept of truth out of its internal relation with the concept of “reality”; this in turn makes clear that the epistemic strategy of extracting this uncoditionality from an emphatic concept of perfect, infallible knowledge is more than weak. This is because only preserving the decisive function of truth as a corrective, as a fallibilist reserve (incompatible therefore with any concept of “infallible” knowledge) one can see how truth relates to cognitive learning processes. On the other hand, the strategy of this paper shows thus how this is possible avoiding the bad alternative of metaphysical realism and relativism.