Cover of Theoria: An International Journal for Theory, History and Foundations of Science
Already a subscriber? - Login here
Not yet a subscriber? - Subscribe here

Browse by:



Displaying: 1-13 of 13 documents


articles
1. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 29 > Issue: 3
James Trafford Expanding the Universe of Universal Logic
abstract | view |  rights & permissions | cited by
In (Béziau 2001), Béziau provides a means by which Gentzen’s sequent calculus can be combined with the general semantic theory of bivaluations. In doing so, according to Béziau, it is possible to construe the abstract "core" of logics in general, where logical syntax and semantics are "two sides of the same coin". Thecentral suggestion there is that, by way of a modification of the notion of maximal consistency, it is possible to prove the soundness and completeness for any normal logic (without invoking the role of classical negation in the completeness proof). However, the reduction to bivaluation may be a side effect of the architecture of ordinary sequents, which is both overly restrictive, and entails certain expressive restrictions over the language. This paper provides an expansion of Béziau’s completeness results for logics, by showing that there is a natural extension of that line of thinking to n-sided sequent constructions. Through analogical techniques to Béziau’s construction, it is possible, in this setting, to construct abstract soundness and completeness results for n-valued logics.En (Béziau 2001), Béziau ofrece un recurso para combinar el cálculo de secuentes de Gentzen con la teoría semántica general de bivaluaciones. Al hacer esto, según Béziau, es posible construir el “núcleo” abstracto de la lógica en general, donde sintaxis y semántica son las dos caras de una misma moneda. La sugerencia clave es que, mediante una modificación de la noción de consistencia máxima, es posible probar la corrección y completud de cualquier lógica normal (sin invocar la función de la negación clásica en la prueba de completud). Sin embargo, la reducción a bivaluaciones puede ser un efecto colateral de la arquitectura de los secuentes ordinarios, que es abiertamente restrictiva y entraña determinadas restricciones expresivas sobre el lenguaje. Este artículo ofrece una expansión de los resultados de completud de Béziau para la lógica, mostrando que existe una extensión natural de esta línea de pensamiento a construcciones de secuentes de n lados. Mediante técnicas análogas a la construcción de Béziau, en este marco es posible construir resultados abstractos decorrección y completud para la lógica n-valuada.
2. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 29 > Issue: 3
Joachim Frans, Laszlo Kosolosky Mathematical Proofs in Practice: Revisiting the reliability of published mathematical proofs
abstract | view |  rights & permissions | cited by
Mathematics seems to have a special status when compared to other areas of human knowledge. This special status is linked with the role of proof. Mathematicians often believe that this type of argumentation leaves no room for errors and unclarity. Philosophers of mathematics have differentiated between absolutist and fallibilist views on mathematical knowledge, and argued that these views are related to whether one looks at mathematics-in-the-making or finished mathematics. In this paper we take a closer look at mathematical practice, more precisely at the publication process in mathematics. We argue that the apparent view that mathematical literature, given the special status of mathematics, is highly reliable is too naive. We will discuss several problems in the publication process that threaten this view, and give several suggestions on how this could be countered.Las matemáticas parecen tener un estatuto especial cuando se las compara con otras áreas del conocimiento humano. Este estatuto especial está conectado con el papel de la demostración. Los matemáticos creen con frecuencia que este tipo de argumentos no deja margen para el error o la falta de claridad. Los filósofos de la matemática han distinguido entre una concepción absolutista y una falibilista del conocimiento matemático, argumentando que estas concepciones están relacionadas con una consideración de las matemáticas-en-proceso o en tanto que matemáticas ya hechas. En este artículo examinamos más de cerca la práctica matemática, más en concreto el proceso de publicación en matemáticas. Argumentaremos que la idea preconcebida de que la literatura matemática, dado el estatuto especial de las matemáticas, es altamente fiable, es demasiado ingenua. Discutiremos algunos problemas del proceso de edición que amenazan esta visión y haremos algunas sugerencias sobre cómo enfrentarlos.
3. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 29 > Issue: 3
Francisco José Soler Gil, Manuel Alfonseca About the Infinite Repetition of Histories in Space
view |  rights & permissions | cited by
4. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 29 > Issue: 3
Santiago Ginnobili La inconmensurabilidad empírica entre la teoría de la selección natural darwiniana y el diseño inteligente de la teología natural(The Empirical Incommensurability between the Darwinian Theory of Natural Selection and the Inteligent Design of Natural Theology)
abstract | view |  rights & permissions | cited by
Suele señalarse la fuerte influencia que la teología natural tuvo sobre Darwin en su conceptualización del fenómeno de la adaptación. La teoría de la selección natural explicaría el mismo fenómeno que los teólogos naturales querían explicar: la adaptación. Recientemente ha sido señalado, sin embargo, que la forma darwiniana de conceptualizar la adaptación es novedosa. Las adaptaciones de la teología natural presupondrían la idea de que los organismos existen para la realización y manutención del equilibrio natural establecido por el creador. El punto de este trabajo discutir esta cuestión, asumiendo el marco del estructuralismo metateórico.The strong influence that natural theology had over Darwin’s conceptualization of the adaptation phenomenon is frequently noted. The natural selection theory would explain the same phenomenon that the natural theologist intended to explain: the adaptation. Recently has been claimed, on the contrary, that the Darwinian way of conceptualizing adaptation is new. The concept of adaptation from natural theology presupposes the idea that organisms exist for realization and support of the natural equilibrium stated by the creator. In this work I will discuss this point, assuming the metatheoretical structuralism frame.
5. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 29 > Issue: 3
Constanza Alexandra Rendón, Guillermo Folguera Evo-devo como disciplina integradora: la temporalidad de los procesos biológicos como estrategia de análisis (Evo-Devo as an Integrative Discipline: the temporality of biological processes as a strategy of analysis)
abstract | view |  rights & permissions | cited by
El objetivo del presente trabajo es indagar la naturaleza integradora de la biología evolutiva del desarrollo (evo-devo). En particular analizamos las características temporales de los procesos estudiados por diferentes programas de investigación de evo-devo y las comparamos con aquellas propias de los procesos macroevolutivos, microevolutivos y del desarrollo de los organismos. Encontramos que en los principales programas de investigación de evo-devo se recuperan principalmente características propias de los fenómenos macroevolutivos (planteándose cierta continuidad entre tales fenómenos y los cambios genéticomoleculares y organísmicos), mientras que en la sub-área de eco-evo-devo (biología evolutiva ecológica del desarrollo) se recuperan principalmente características propias de la microevolución.The aim of this study is to investigate the integrative nature of evolutionary developmental biology (evodevo). We particularly analyzed the temporal characteristics of the processes studied by different research programs of evo-devo and we compared them with those of macroevolution, microevolution and developmentalprocesses of organisms. We found that in the major research programs of evo-devo, macroevolutionary phenomena characteristics are mainly recovered (assuming some continuity between such phenomena and molecular-genetic and organismic changes), while in the sub-area of eco-evo-devo (ecological evolutionary developmental biology) microevolutionary characteristics are mainly recovered.
6. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 29 > Issue: 3
Hernán Pringe Cassirer and Bohr on Intuitive and Symbolic Knowledge in Quantum Physics
abstract | view |  rights & permissions | cited by
This paper compares Cassirer’s and Bohr’s views on symbolic knowledge in quantum physics. Although both of them consider quantum physics as symbolic knowledge, for Cassirer this amounts to a complete renunciation to intuition in quantum physics, while according to Bohr only spatio-temporal images mayprovide the mathematical formalism of the theory with physical reference. We show the Kantian roots of Bohr’s position and we claim that his Kantian concept of symbol enables Bohr to account for the sensible content of quantum theory as well as for its systematic relation to classical physics.En este artículo se comparan las concepciones de Cassirer y Bohr del conocimiento simbólico de la física cuántica. Aunque ambos consideran a la física cuántica un conocimiento simbólico, para Cassirer esto conlleva una renuncia total a la intuición en física cuántica, mientras que para Bohr sólo las imágenesespacio-temporales pueden proporcionar al formalismo matemático de la teoría una referencia física. Mostraremos las raíces kantianas de la posición de Bohr y afirmaremos que esta noción kantiana de símbolo permite a Bohr explicar el contenido sensible de la teoría cuántica, así como su relación sistemáticacon la física clásica.
book reviews
7. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 29 > Issue: 3
Pnina Geraldine Abir-Am Miguel García-Sancho. Biology, Computing, and the History of Molecular Sequencing; From Proteins to DNA, 1945-2000
view |  rights & permissions | cited by
8. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 29 > Issue: 3
Javier González de Prado Manuel García-Carpintero & Max Kölbel, eds. The Continuum Companion to the Philosophy of Language
view |  rights & permissions | cited by
9. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 29 > Issue: 3
Tobies Grimaltos José L. Zalabardo. Scepticism and Reliable Belief
view |  rights & permissions | cited by
10. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 29 > Issue: 3
Annalisa Coliva Jordi Fernández. Transparent Minds. A Study of Self-Knowledge
view |  rights & permissions | cited by
11. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 29 > Issue: 3
Paula Olmos Huberto Marraud. ¿Es lógic@? Análisis y evaluación de argumentos; Luis Vega Reñón. La fauna de las falacias; Eduardo de Bustos Guadaño. Metáfora y argumentación: Teoría y práctica
view |  rights & permissions | cited by
12. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 29 > Issue: 3
Summary
view |  rights & permissions | cited by
13. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 29 > Issue: 3
Contents of Volume 29
view |  rights & permissions | cited by