Cover of Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia
>> 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
Toma A and Toma B

Table of Contents

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

Browse by:



Displaying: 1-20 of 102 documents


table of contents
1. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 7 > Issue: 1/2/3

view |  rights & permissions | cited by
Bookmark and Share
presentacion
2. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 7 > Issue: 1/2/3
Miguel Sánchez-Mazas

view |  rights & permissions | cited by
Bookmark and Share
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

view |  rights & permissions | cited by
Bookmark and Share
4. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 7 > Issue: 1/2/3
Andoni Ibarra

view |  rights & permissions | cited by
Bookmark and Share
5. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 7 > Issue: 1/2/3
León Olivé

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.
Bookmark and Share
6. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 7 > Issue: 1/2/3
Jesús Mosterín

view |  rights & permissions | cited by
Bookmark and Share
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

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.
Bookmark and Share
8. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 7 > Issue: 1/2/3
José Fernández Prida

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.
Bookmark and Share
9. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 7 > Issue: 1/2/3
Tomás Gallarta Campo

view |  rights & permissions | cited by
Bookmark and Share
10. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 7 > Issue: 1/2/3
Juan Carlos Martinez

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.
Bookmark and Share
11. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 7 > Issue: 1/2/3
Eduardo Mizraji

abstract | view |  rights & permissions | cited by
In this article we describe the logical performances displayed by a context-dependent associative memory model. This model requires the existence of a network able to construct the Kroneker product of two vectors, and then to send the composed vector to a correlation distributed memory. This system of nets is capable to sustain all the operations of the classical propositional calculus. This fact implies the existence of vector logics where the logical functions are displayed by matrix operators constructed using the properties of the Kronecker product. When the basic binary matrix operators act on fuzzy inputs, a probabilistic many-valued logic emerges. The present approach implies the potential existence of alternative vector logics. We describe a vector Shefferian “Iogic”, and we comment the potentialities of multidimensional vector logics.
Bookmark and Share
12. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 7 > Issue: 1/2/3
Lorenzo Peña

abstract | view |  rights & permissions | cited by
Many-Valued logics can harbour nonclassical connectives expressing truth-nuances. The course of development of many-valued logics has given rise to paraconsistent systems wherein a sentence can be both negated and asserted just in case it is only partly true. A recently implemented family of such logics is shown to be a useful tool in coping with a number of philosophical difficulties, such as Zeno’s paradox of the arrow. This family is somehow akin to fuzzy logics initiated by Zadeh, but unlike them it contains as a tautology the principle of excluded middle.
Bookmark and Share
13. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 7 > Issue: 1/2/3
Andres Rivadulla

abstract | view |  rights & permissions | cited by
The probability calculus is very often used in the philosophy of science in order to support or to analyse epistemological points of view. The aim of this paper is to present in a summary the usual axioms of this calculus, as weIl as its most common consequences and theorems, which the philosopher of science in his arguments ressorts to.
Bookmark and Share
14. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 7 > Issue: 1/2/3
A. Sobrino

abstract | view |  rights & permissions | cited by
Este trabajo pretende examinar las coincidencias y divergencias que, en el modo de analizar lógicamente la oración, presentan las teorías de Frege y Zadeh. Este estudio previo proporcionará algunas razones para responder a la pregunta de si la teoría de Zadeh representa una ruptura o una evolución respecto al modo de análisis clásico fregeano.
Bookmark and Share
seccion iii. historia de la logica y logica hisapnica
15. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 7 > Issue: 1/2/3
Miguel Sánchez-Mazas

view |  rights & permissions | cited by
Bookmark and Share
16. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 7 > Issue: 1/2/3
Javier Echeverría

view |  rights & permissions | cited by
Bookmark and Share
17. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 7 > Issue: 1/2/3
Mary Sol de Mora Charles

view |  rights & permissions | cited by
Bookmark and Share
18. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 7 > Issue: 1/2/3
Nicolás Borrego Hernández

abstract | view |  rights & permissions | cited by
Juan Caramuel es un tratadista importante de lógica que, aunque enclavado en la escolástica tardía, ofrece muestras innovadoras de indudable interés, entre las que cabe destacer la lógica oblicua. En ella se ofrecen, por ejemplo, un timido ensayo de representacón simbólica de las proposiciones oblicuas, una regulación deI silogismo oblicuo mixto y un listado de los modos silogísticos oblicuos, tanto puros como mixtos. En este trabajo se analizan, fundamentalmente, las Reglas silogísticas establecidas para el silogismo oblicuo mixto. Juan Caramuel is a great essayist of Logic, who, though belonging to the late scholasticism, he shows signs of very important innovations, just like his oblique logic. In that logic he presents, for exampIe, a timid essay to get a symbolic representation of the oblique propositions; he presents too the rules of the oblique and mixed syllogism, and a quasifull catalogue of the oblique syllogism modes (pure as vell as mixed).In this work you can see analised, essentially, the Rules establisheh for the oblique and mixed syllogism.
Bookmark and Share
19. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 7 > Issue: 1/2/3
Eduardo de Bustos

view |  rights & permissions | cited by
Bookmark and Share
20. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 7 > Issue: 1/2/3
Julián Velarde Lombraña

view |  rights & permissions | cited by
Bookmark and Share