>> Go to Current Issue

Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia

Teoría, historia y fundamentos de las cientias formales; Teoría, historia y fundamentos de las cientias naturales, humanas y sociales

Volume 7, Issue 1/2/3, Octubre 1992
Toma A and Toma B

Table of Contents

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

Browse by:


  • Issue: 1/2/3

Displaying: 1-10 of 102 documents


table of contents
1. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 7 > Issue: 1/2/3
Table of Contents: Table of contents explains issue layout
view |  rights & permissions | cited by
presentacion
2. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 7 > Issue: 1/2/3
Miguel Sánchez-Mazas THEORIA, 1952-1992: Hoy como ayer. Tiempo de razón, tiempo de analisis, tiempo de crítica, tiempo de creación, tiempo de libertad
view |  rights & permissions | cited by
seccion i. filosofia y racionalidad
3. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 7 > Issue: 1/2/3
Carlos París Mi visión deI filosofar
view |  rights & permissions | cited by
4. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 7 > Issue: 1/2/3
Andoni Ibarra Carácter y función de la filosofía: Entrevista a C.U. Moulines
view |  rights & permissions | cited by
5. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 7 > Issue: 1/2/3
León Olivé Racionalidad y progreso deI desarrollo científico: una controversia metametodológica
abstract | view |  rights & permissions | cited by
This paper focuses on the conceptual relationship between rationality and progress as applied to scientific development. The concept of methodology is used in the sense of a model of scientific change. It is argued, as against e.g. recent discussion by Larry Laudan, that progress implies rationality. The notion of rationality useful for this conception of scientific development includes instrumental rationality, butalso the idea of rational paradigm-shift, which is analysed in terms of changes of conceptual frameworks. The key idea is the posibility of a rational reconstruction of series of conceptual frameworks, where the shift from one framework to its successor may be reconstructed as rational in the sense of there being reasons in the successor for accepting the change, and thus the whole series being rational.
6. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 7 > Issue: 1/2/3
Jesús Mosterín Epítome sobre racionalidad
view |  rights & permissions | cited by
seccion ii. logica formal
7. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 7 > Issue: 1/2/3
Juan B. Climent Vidal, Jesús Alcolea Banegas Instituciones y heterogeindad
abstract | view |  rights & permissions | cited by
The paper presents and discusses an example, namely a version of heterogeneous frrst-order logic and uses the classical theorem of Herbrand-Schmidt-Wang about the reduction of heterogeneous first-order logic to homogeneous first-order logic, in order to obtain two transformations between heterogeneous and homogeneous frrst-order logic which are different from the institution morphisms defined by Goguen and Burstall. Moreover, by considering a type of 2-cell among institution morphisms it is obtained a 2-category and also a 2-functor from this to another 2-category.
8. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 7 > Issue: 1/2/3
José Fernández Prida Un teorema de multirecursión
abstract | view |  rights & permissions | cited by
A very general multi-recursion theorem is proved, particular cases of which are the Kleene’s fixed point theorem and the Smullyan’s double recursion theorem.
9. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 7 > Issue: 1/2/3
Tomás Gallarta Campo Aplicación de la teoría de niveles a las estructuras lógicas
view |  rights & permissions | cited by
10. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 7 > Issue: 1/2/3
Juan Carlos Martinez Productos de Lt-tipos para especies T3
abstract | view |  rights & permissions | cited by
It is a wel known fact that the finite products of Hintikka-Fraissé types for sentences of quantifier rank n give rise to the set of atoms of a finite boolean algebra. In this paper we consider the class of (Lww)t-types introduced in [4], which caracterizes in a pure topological way the (Lww)t-equivalence for T3 spaces. We define for every nonempty family <ai>I of n-types a product xInai in such a way that if <Ai>I is a family of T3 spaces, XIAi denotes its product with the box topology and (ai)1ε XIAi we have that if the n-type of ai is ai (i ε I), then the n-type of (ai)I is xInai. We then prove that, for every n ≥ 1, it is possible to define a lineal order <n on the set of satisfiable n-types such that, for every nonempty family <αi>nI of satisfiable n-types and every J c I, we have xJαj ≤nxlnαi. We also prove that these results for Ziegler’s typescan be generalized, if we consider the class of (Lω1ω)t-types introduced in [6], which permits to characterize the (Lω1ω)t-equivalence for a wide class of T3 spaces.