Displaying: 1-10 of 691 documents

0.07 sec

1. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 1 > Issue: 1
José M. Méndez Systems with the converse Ackermann property
abstract | view |  rights & permissions
A system S has the “converse Ackermann property” (C.A.P.) if (A -> B) -> C is unprovable in S whenever C is a propositional variable. In this paper we define the fragments with the C.A.P. of some well-know propositional systems in the spectrum between the minimal and classical logic. In the first part we succesively study the implicative and positive fragments and the full calculi. In the second, we prove by a matrix method that each one of the systems has the C.A.P. Thus, we think the problem proposed in Anderson & Belnap (1975) § 8.12 has been solved.
2. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 1 > Issue: 1
Jesús María Goñi Zabala Lógica en euskera
3. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 1 > Issue: 1
Logica, Informatica, Diritto (Florencia)
4. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 1 > Issue: 2
Lorenzo Peña Note of 2d. Frege Conference
5. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 1 > Issue: 2
Ubiratan D’Ambrosio A Methodology for Ethnoscience: the Need for Alternative Epistemologies
abstract | view |  rights & permissions
In this paper it is assumed a broad conceptualization of Science which allows far looking into common practices which are apparently unstructured forms of knowledge. This result from a concept of culture which is the result of an hierarchization of behavior. In this theoretical framewark the concept of ethnoscience is analysed.
6. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 1 > Issue: 2
José M. Sanchez-Ron Physics and Philosophy: Action at a Distance in 20th Century Physics
abstract | view |  rights & permissions
In this paper I review the different opinions held by scientists and philosophers as regards the status of the action-at-a-distance concept within relativistic physics. It is shown that in spite of the fact that the prevailing opinion has been that special relativity precludes actions at a distance, some important physicists have continued employing that concept throughout the present century. The key to understand that “anomalous” behaviour lies, in fact, in the relationships existent between quantum and classical physics (“inverse” principle of correspondence).
7. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 1 > Issue: 2
Lorenzo Peña Filosofia della logica
8. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 1 > Issue: 3
Nuevas revistas: ARGUMENTATION; JOURNAL OF LOGIC PROGRAMMING
9. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 1 > Issue: 3
Symposium on Symbolic and Algebraic Computation
10. Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 1 > Issue: 3
Libros recibidos