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
|
|
|