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-20 of 36 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
articles
14. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 29 > Issue: 2
Fernando Soler Toscano El giro dinámico en la epistemología formal: el caso del razonamiento explicativo (The Dynamic Turn in Formal Epistemology: the Case of Explanatory Reasoning)
abstract | view |  rights & permissions | cited by
We explore the possibilities that dynamic epistemic logic offers to model abductive reasoning. We show that many of the problems with formal approaches to abduction based on classical logic can be solved when considering an epistemic agent that reasons and acts.Exploramos las posibilidades que ofrece la lógica epistémica dinámica para modelar el razonamiento abductivo. Mostramos que muchos de los problemas que encuentran los tratamientos formales de la abducción basados en lógica clásica pueden ser resueltos al considerar un agente epistémico que razona y actúa.
15. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 29 > Issue: 2
Lucas Rosenblatt The Knowability Argument and the Syntactic Type-Theoretic Approach
abstract | view |  rights & permissions | cited by
Recently, there have been some attempts to block the Knowability Paradox and other modal paradoxes by adopting a type-theoretic framework in which knowledge and necessity are regarded as typed predicates. The main problem with this approach is that when these notions are simultaneously treated as predicates, a new kind of paradox appears. I claim that avoiding this paradox either by weakening the Knowability Principle or by introducing types for both predicates is rather messy and unattractive. I also consider the prospect of using the truth predicate to emulate necessity, knowledge and other modal notions. It turns out that this idea works much better.Recientemente, ha habido intentos por resolver la Paradoja de la Cognoscibilidad y otras paradojas modales por medio de la adopción de un enfoque de tipos en el cual las nociones de conocimiento y necesidad se representan utilizando predicados tipeados. El principal problema con esta propuesta es que cuando estas nociones son tratadas simultáneamente como predicados, una nueva clase de paradoja aparece. En este artículo sostengo que evitar esta paradoja debilitando el Principio de Cognoscibilidad o introduciendo tipos para ambos predicados no es una solución atractiva. También considero una propuesta alternativa, la de utilizar el predicado veritativo para emular las nociones de necesidad, conocimiento y otras nociones modales. Resulta que esta última idea funciona mucho mejor.
16. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 29 > Issue: 2
Daniele Molinini Deductive Nomological Model and Mathematics: Making Dissatisfaction more Satisfactory
abstract | view |  rights & permissions | cited by
The discussion on mathematical explanation has inherited the same sense of dissatisfaction that philosophers of science expressed, in the context of scientific explanation, towards the deductive-nomological model. This model is regarded as unable to cover cases of bona fide mathematical explanations and, furthermore, it is largely ignored in the relevant literature. Surprisingly, the reasons for this ostracism are not sufficiently manifest. In this paper I explore a possible extension of the model to the case of mathematical explanations and I claim that there are at least two reasons to judge the deductive-nomological picture of explanation as inadequate in that context.El debate sobre la explicación matemática ha heredado el mismo sentimiento de insatisfacción que los filósofos de la ciencia expresaron, en el contexto de la explicación científica, hacia el modelo nomológico deductivo. Este modelo se considera incapaz de cubrir casos de explicaciones matemáticas genuinas y, además, continúa siendo ignorado en gran medida en la literatura relevante. Sorprendentemente, las razones de este ostracismo no son suficientemente manifiestas. En este artículo exploro una posible extensión del modelo al caso de las explicaciones matemáticas y sostengo que hay por lo menos dos razones para juzgar la imagen nomológico deductiva de la explicación como inadecuada en este contexto.
17. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 29 > Issue: 2
Hyundeuk Cheon Meta-incommensurability Revisited
abstract | view |  rights & permissions | cited by
A popular rejoinder to the potential threat that incommensurability might pose to scientific realism has been the referential response: despite meaning variance, there can be referential continuity, which is sufficient for rational theory choice. This response has been charged with meta-incommensurability, according to which it begs the question by assuming a realist metaphysics. However, realists take it to be a rhetorical device that hinders productive discussion. By reconstructing the debate, this paper aims to demonstrate two things. First, there are unexpected commonalities between realists and non-realists, meaning that the charge of meta-incommensurability is more or less exaggerated. Second, meta-incommensurability, which is to be found in the ways to make sense of referential overlap at the token level, still plays a role in the realism debate.Una réplica habitual a la amenaza potencial que la inconmensurabilidad podría representar para el realismo científico ha sido la respuesta referencial: a pesar de la variación de significado puede haber continuidad referencial, lo que basta para la elección racional de teoría. A esta respuesta se la ha acusado de metainconmensurabilidad, de acuerdo con lo cual caería en petición de principio al asumir una metafísica realista. Sin embargo, los realistas consideran esta acusación un recurso retórico que impide una discusión productiva. Mediante la reconstrucción del debate, este artículo pretende demostrar dos cosas. En primer lugar, que existen inesperados puntos en común entre realistas y no realistas, lo que significa que la acusación de meta-inconmensurabilidad es en alguna medida exagerada. En segundo lugar, que la inconmensurabilidad, que se puede encontrar en las formas de dar sentido a la coincidencia referencial en el nivel del ejemplar (token), aún cumple una función en el debate sobre el realismo.
18. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 29 > Issue: 2
Mariana Córdoba, Juan Camilo Martínez Los orbitales cuánticos y la autonomía del mundo químico (Quantum Orbitals and the Autonomy of the Chemical World)
abstract | view |  rights & permissions | cited by
The analysis of the concept of orbital allows us to argue that—in opposition to a recent position in philosophy of science—it is impossible to defend the autonomy of the chemical reality in regard to physical reality, appealing to the idea that there is a conceptual rupture among a chemical interpretation and a quantuminterpretation of the concept. This is the case because there are not two different interpretations of the concept of orbital. On the contrary, the concept involved in structural chemistry and in quantum chemistry comes from quantum mechanics.El análisis del concepto de orbital permite argumentar—en oposición a una propuesta reciente en filosofía de la química—que no es posible defender la autonomía ontológica de la realidad química respecto de la física, sobre la base de una ruptura conceptual entre una interpretación química del concepto y otra propia de la mecánica cuántica. Esto es así porque no existen tales interpretaciones distintas del concepto de orbital, sino que, por el contrario, este concepto en química cuántica y en química estructural proviene de la mecánica cuántica.
state of the art
19. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 29 > Issue: 2
Julian Reiss What’s Wrong With Our Theories of Evidence?
abstract | view |  rights & permissions | cited by
This paper surveys and critically assesses existing theories of evidence with respect to four desiderata. A good theory of evidence should be both a theory of evidential support (i.e., be informative about what kinds of facts speak in favour of a hypothesis), and of warrant (i.e., be informative about how strongly a given set of facts speaks in favour of the hypothesis), it should apply to the non-ideal cases in which scientists typically find themselves, and it should be ‘descriptively adequate’, i.e., able to adequately represent typical episodes of evidentiary reasoning. The theories surveyed here—Bayesianism, hypotheticodeductivism,satisfaction theories, error statistics as well as Achinstein’s and Cartwright’s theories—are all found wanting in important respects. I finally argue that a deficiency all these theories have in common is a neglect or underplaying of the epistemic context in which the episode of evidentiary reasoning takes place.Este artículo describe y valora críticamente diversas teorías de la evidencia en relación a cuatro desiderata. Una buena teoría de la evidencia debería ser tanto una teoría sobre el apoyo evidencial [evidential support] (ser informativa sobre qué tipos de hechos hablan a favor de la hipótesis) como sobre la justificación [warrant]; debería aplicarse en las situaciones no ideales en las que normalmente se encuentran los científicos; y debería ser ‘descriptivamente adecuada’, esto es, capaz de representar correctamente episodios típicos de razonamiento evidencial. Las teorías aquí revisadas—bayesianismo, hipotético-deductivismo, teorías de la satisfacibilidad, la estadística del error, así como las propuestas de Achinstein y Cartwright—se consideran deficientes en aspectos básicos. Argumentaré que un defecto común en todas ellas es que olvidan, o minusvaloran, el contexto epistémico en el que el episodio de razonamiento evidencial tiene lugar.
book reviews
20. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 29 > Issue: 2
Mark Jary Critical Pragmatics: An Inquiry into Reference and Communication by Kepa Korta & John Perry
view |  rights & permissions | cited by