Narrow search


By category:

By publication type:

By language:

By journals:

By document type:


Displaying: 21-40 of 901 documents

0.062 sec

21. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 10 > Issue: 2
Instrucciones técnicas para la preparación de los trabajos / Technical instructions for preparation of manuscripts
22. 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
23. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 10 > Issue: 3
José Miguel Sagüillo Validez y semantica representacional
24. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 10 > Issue: 3
Luis Vega Demostraciones clásicas
abstract | view |  rights & permissions
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.
25. 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
26. 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
27. 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
28. 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
29. 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)
30. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 10 > Issue: 3
Proximas reuniones
31. 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
32. 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
33. 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
34. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 10 > Issue: 3
Fernando Broncano How Free Are You?: The Deterministic Problem
35. 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
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.
36. 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
37. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 10 > Issue: 3
José Miguel Sagüillo Presentación
38. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 10 > Issue: 3
Diez años con Miguel Sánchez-Mazas
39. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 10 > Issue: 3
LIBROS RECIBIDOS
40. 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