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

Browse by:



Displaying: 1-10 of 32 documents


editorial
1. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 4 > Issue: 2
Miguel Sánchez-Mazas Internacional y transpeninsular
view |  rights & permissions | cited by
estudios
2. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 4 > Issue: 2
C. Ulises Moulines ¿Hay una filosofía de la ciencia en el último Wittgenstein?
view |  rights & permissions | cited by
3. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 4 > Issue: 2
Josep Pla i Carrera Alfred Tarski i la teoria de conjunts
abstract | view |  rights & permissions | cited by
The work on set theory made by A. Tarski in the years 1924-1950 is very interesting, but little know.We develope partial questions in set theory in the moment that A. Tarski intervenes and his contributionsand also influences.The principals aims in this development are:1. The axiom of choice [A.C.] and his equivalents;2. the general continuum hypothesis [G.C.H.] and the A.C.;3. the dual trichotomy principle;4. the inaccessible cardinals and his relation with the A.C. and the G.C.H.;5. the notion of finite set and his relation with the A.C and the G.C.H.;6. the almost disjoint set and their relation with the G.C.H.;and finally,7. the results in Berkeley.
4. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 4 > Issue: 2
Juao Luis Castro, Enric Trillas Sobre preórdenes y operadores de consecuencias de Tarski.
view |  rights & permissions | cited by
5. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 4 > Issue: 2
Marcelo Dascal, Jerzy Wroblewski Transparency and Doubt: Understanding and Interpretation in Pragmatics and in Law
view |  rights & permissions | cited by
6. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 4 > Issue: 2
John R. Welch Apuntes sobre el pensamiento matemático de Ramón Llull
view |  rights & permissions | cited by
7. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 4 > Issue: 2
Gérold Stahl Categorías aristotélicas y categorías intensionales
abstract | view |  rights & permissions | cited by
Did Aristotle, with his categories, classify only expressions or also something extralinguistic? In the second case his classification seems to be not exclusive, at least if the usual universes of discourse are considered. However, if we use certain enlarged universes, which may have more than one individual for each individual of the usual universes, we may construct exclusive general classifications that approach the aristotelian categories. The latter ones should then be considered second order classes that classify classes of (extralinguistic) individuals. If the individuals are taken from one of the indicated enlarged universes, we can obtain the exclusivity that we do not have for the usual universes.
8. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 4 > Issue: 2
Julián Pacho García La “parte pura” de las ciencias de la naturaleza: Observaciones sobre el fundamentalismo kantiano
abstract | view |  rights & permissions | cited by
Kant claims that natural sciences require a “pure part” ,(reiner Teil), which has to be formulated a priori by philisophy. This pure part, is enunciated by Kant in his Metaphysische Anfangsgründen der Naturwissenschaften in relation to Netwon’s Pincipia, whose steps is closely follows. This Kantian Work also represents an instance of classical “foundation” by philosophy in the particular sciences.In this paper the particularities of Kant’s foundation in Newton’s physics come under close scrutiny, and his huge speculative effort on this issue is shown to be equivocant in content, inconsistent in form and probably useless.
9. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 4 > Issue: 2
Miguel Sánchez-Mazas Une méthode arithmétique de décision pour le système modal S5 par des invariants numériques de ses classes d’équivalence
abstract | view |  rights & permissions | cited by
Il s’agit d’une methode qui permet d’associer à chaque formule bien formée du système S5 de logique modale un nombre naturel invariant pour toutes les formules qui appartiennent a la même classe d’equivalence que la première.En particulier, étant donné que la méthode associe à toutes les tautologies du système le nombre o et a toutes les contradictions du système un certain nombre Φ, il suffit de calculer le nombre qui, en vertu des associations fondamentales, reste associé à n’importe quelle formule pour décider si cette dernière est tautologique, contradictoire ou contingente.Les relations logiques reliant deux formules du systeme -par exemple, des implications, des incompatibilités, des oppositions contradictaires, etc.- sont révéciés par un simpIe examen oculaire des nombres assoc iés aux formules données et une rapide vérification manuelle ou informatique fondée sur la comparaison des chiffres du même rang de ces nombres, écrits en hexadécimal.Finalement, l’analyse de la composition binaire du nombre associé a une formule donnée permet d’obtenir l’expression de la première sous sa forme normale conjonctive.La méthode décrite constitue donc une nouvelle méthode arithmétique de décision pour le système modal indiqué.
libros y revistas
10. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 4 > Issue: 2
Luis Vega Historia de la lógica
view |  rights & permissions | cited by