Cover of Theoria: An International Journal for Theory, History and Foundations of Science
>> Go to Current Issue

Theoria: An International Journal for Theory, History and Foundations of Science

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-20 of 102 documents


table of contents
1. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 7 > Issue: 1/2/3
Table of Contents: Table of contents explains issue layout
view |  rights & permissions | cited by
presentacion
2. Theoria: An International Journal for Theory, History and Foundations of Science: 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: An International Journal for Theory, History and Foundations of Science: Volume > 7 > Issue: 1/2/3
Carlos París Mi visión deI filosofar
view |  rights & permissions | cited by
4. Theoria: An International Journal for Theory, History and Foundations of Science: 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: An International Journal for Theory, History and Foundations of Science: 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: An International Journal for Theory, History and Foundations of Science: 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: An International Journal for Theory, History and Foundations of Science: 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: An International Journal for Theory, History and Foundations of Science: 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: An International Journal for Theory, History and Foundations of Science: 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: An International Journal for Theory, History and Foundations of Science: 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.
11. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 7 > Issue: 1/2/3
Eduardo Mizraji Lógicas vectoriales: Una aproximación a las bases neurales deI pensamiento lógico
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.
12. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 7 > Issue: 1/2/3
Lorenzo Peña Algunas aplicaciones filosóficas de las lógicas multivalentes
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.
13. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 7 > Issue: 1/2/3
Andres Rivadulla Cálculo axiomático de la probabilidad lógica
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.
14. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 7 > Issue: 1/2/3
A. Sobrino Frege, Zadeh y la lógica de la oración: ¿ruptura o evolución?
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.
seccion iii. historia de la logica y logica hisapnica
15. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 7 > Issue: 1/2/3
Miguel Sánchez-Mazas Concepto y número: Invariantes numéricos y juicios de existencia en la perspectiva intensional de Leibniz
view |  rights & permissions | cited by
16. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 7 > Issue: 1/2/3
Javier Echeverría Comentario a la ponencia «Concepto y número: Invariantes numéricas y juicios de existencia en la perspectiva intensional de Leibniz» presentada por Miguel Sánchez-Mazas
view |  rights & permissions | cited by
17. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 7 > Issue: 1/2/3
Mary Sol de Mora Charles Identidad y pluralidad en Leibniz
view |  rights & permissions | cited by
18. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 7 > Issue: 1/2/3
Nicolás Borrego Hernández La lógica oblicua de Juan Caramuel
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.
19. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 7 > Issue: 1/2/3
Eduardo de Bustos La evolución de la lógica y la filosofía deI lenguaje en la filosofía española despues de Ortega y Gasset
view |  rights & permissions | cited by
20. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 7 > Issue: 1/2/3
Julián Velarde Lombraña Panorama de la Lógica en España
view |  rights & permissions | cited by