In this paper I will introduce a problem for at least those Humeans who believe that the future is open. More particularly, I will argue that the following aspect of scientific practice cannot be explained by openfuture-Humeanism: There is a distinction between states that we cannot bring about (which are representedin scientific models as nomologically impossible) and states that we merely happen not to bring about. Open-future-Humeanism has no convincing account of this distinction. Therefore it fails to explain why we cannot bring about certain states of affairs, it cannot explain what I call the “recalcitrance of nature”. En este artículo presento un problema, al menos para aquellos humeanos que creen que el futuro está abierto. Argumentaré, en particular, que el siguiente aspecto de la práctica científica no puede ser explicado por la tesis humeana del futuro abierto: la distinción entre estados que no podemos provocar (representados en los modelos científicos como nomológicamente imposibles) y estados que simplemente no podemos generar. Dicha tesis no puede ofrecer un tratamiento convincente de esta distinción. Por ello fracasa al explicar por qué no podemos provocar ciertos estados de cosas; no puede explicar, pues, lo que denomino “la obstinación de la naturaleza”.

The goal of this paper is to present Yabloesque versions of Grelling’s and Zwicker’s paradoxes concerning the notions of “heterological” and “hypergame” respectively. We will offer counterparts of these paradoxes that do not seem to involve self-reference or vicious circularity.El objetivo de este artículo es ofrecer versiones de las paradojas de Grelling (sobre el predicado “heterológico”) y de Zwicker (sobre el hiperjuego) inspiradas en la paradoja de Yablo. Nuestras versiones de estas paradojas no parecen involucrar ni autorreferencia ni circularidad viciosa.

In the literature on scientific explanation, there is a classical distinction between explanations of particular facts and explanations of laws. This paper is about explanations of laws, more specifically about microexplanations of laws in physics. We investigate whether providing unificatory information has a surplus value in micro-explanations of physical laws. Unificatory information is information that provides ontological unification in the sense defined by Uskali Mäki. We argue that providing unificatory information may lead to explanations with more explanatory power (we use Jim Woodward’s concept of explanatory power for that) and that it may lead to more strongly supported explanations.En la literatura sobre explicación científica hay una distinción clásica entre explicaciones de hechos particulares y explicaciones de leyes. El presente artículo trata de las explicaciones de las leyes, más en concreto, de las microexplicaciones de las leyes en la física. Analizamos si proporcionar información unificadora posee un valor adicional en las microexplicaciones de las leyes físicas. La información unificadora es información que proporciona unificación ontológica en el sentido definido por Uskali Mäki. Argumentamos que proporcionar información unificadora puede llevar a explicaciones con mayor poder explicativo (aquí empleamos el concepto de poder explicativo de Jim Woodward), y también a explicaciones más firmemente apoyadas.

In this paper I investigate unification as a virtue of explanation. In the first part of the paper (sec. 1-2) I give a brief exposition of the unification account of Schurz and Lambert (1994) and Schurz (1999). I illustrate the advantages of this account in comparison to the older unification accounts of Friedman (1974) and Kitcher (1981). In the second part (sec. 3) I discuss several comments and objections to the Schurz-Lambert account that were raised by Weber and van Dyck (2002), Gijsbers (2007) and de Regt (2005). In the third and final part (sec. 4), I argue that explanation should be understood as a prototype concept which contains nomic expectability, causality and unification as prototypical virtues of explanations, although none of these virtues provides a sufficient and necessary "defining condition" of explanation.El artículo analiza la unificación como virtud explicativa. En su primera parte hago una breve exposición del enfoque de la unificación de Schurz y Lambert (1994) y Schurz (1999). Ilustro las ventajas de este planteamiento sobre otros anteriores, como Friedman (1974) y Kitcher (1981). En la segunda parte (secc. 3)discuto varios comentarios y objeciones al enfoque Schurz-Lambert planteados por Weber y van Dyck (2002), Gijsbers (2007) y de Regt (2005). En la tercera y última parte (secc. 4) argumento que la explicación debería entenderse como un concepto prototipo que contiene la esperabilidad nómica, la causalidad y launificación como virtudes prototípicas de las explicaciones, aunque ninguna de estas virtudes ofrece una condición “definitoria”, suficiente y necesaria, de la explicación.

There are philosophers who deny that causal relations actually exist in nature, arguing that they are merely a product of our perspective as beings capable of intentional actions. In this paper I briefly explain this thesis and consider that it needs to be complemented with a basic non-causal ontological perspective whichcan account for phenomena taken as causal; I then describe what seems to be a good candidate for such an ontology and finally conclude, however, that it cannot dispense with the concept of causation and that therefore is not the kind of ontology that anti-realism about causal relations requires.Hay filósofos que niegan la existencia de relaciones causales en la naturaleza argumentando que no son sino producto de nuestra perspectiva como seres capaces de acciones intencionales. En este artículo expongo brevemente esta tesis y sostengo que debe contar con el complemento de una ontología no causal básica que dé razón de los fenómenos que se consideran causales. Luego describo lo que parece ser una buena candidata para tal ontología y concluyo que, sin embargo, ésta no puede prescindir del concepto de causalidad y que, por tanto, no es el tipo de ontología que necesita la mencionada tesis antirrealista respecto a la causalidad.

The goal of this paper is to outline and defend an empiricist metaphysics of laws of nature. The key empiricist idea is that there are regularities without regularity-enforcers. Differently put, there are natural laws without law-makers of a distinct metaphysical kind. This outline relies on the concept of a ‘natural pattern’ and more significantly on the existence of a network of natural patterns in nature. The relation between a regularity and a pattern will be analysed in terms of mereology. Here is the road map. In section 2, I briefly discuss the relation between empiricism and metaphysics, aiming to show that an empiricist metaphysics is possible. In section 3, I offer arguments against stronger metaphysical views of laws. Then, in section 4, I motivate nomic objectivism. In section 5, I address the question ‘what is a regularity?’ and develop a novel answer to it, based on the notion of a pattern. In section 6, I analyse the notion of pattern and in section 7 I raise the question: ‘what is a law of nature?’, the answer to which is: a law of nature is a regularity that is characterised by the unity of a natural pattern.El objetivo de este artículo es plantear y defender una metafísica empirista sobre las leyes de la naturaleza. La idea empirista clave es que hay regularidades sin que se requiera la existencia de algo que haga que se mantengan como tales (regularity-enforcers). Dicho de otro modo, hay leyes naturales sin que lo que produce la ley (law-maker) pertenezca a una categoría metafísica diferente. Este plan se apoya en el concepto de “esquema natural” (natural pattern) y en la existencia de una red de esquemas naturales en la naturaleza. La relación entre una regularidad y un esquema se analizará en términos mereológicos. Explico la ruta que seguiré. En la sección 2 discuto brevemente la relación entre empirismo y metafísica con objeto de mostrar que una metafísica empirista es posible. En la sección 3 doy argumentos contra concepciones de las leyes más metafísicas. Después, en la sección 4, apoyo el objetivismo nómico. En la 5 abordo la pregunta ‘¿qué es una regularidad?’ y desarrollo una respuesta novedosa, basada en la noción de esquema. En la sección 6 analizo la noción de esquema y en la 7 planteo la cuestión ‘¿qué es una ley de la naturaleza?’, cuya respuesta es: una ley de la naturaleza es una regularidad que se caracteriza por la unidad de un esquema natural.

Recent interest in the idea that there can be scientific understanding without explanation lends new relevance to Duhem's notion of natural classification. According to Duhem, a classification that is natural teaches us something about nature without being explanatory. However, his conception of naturalnessleaves much to be desired from the point of view of contemporary discussions. In this paper, I argue that we can measure the naturalness of classification by using an amended version of the notion of unification as defined by Schurz and Lambert. If this thesis is correct, it leads to a better conceptual understanding ofscientific understanding, and also gives the nascent literature on this topic some much-needed precision.El reciente interés en la idea de que puede haber comprensión científica sin explicación renueva la relevancia de la noción de clasificación natural propuesta por Pierre Duhem. Según este autor, una clasificación que es natural nos enseña algo sobre la naturaleza sin ser explicativa. Sin embargo, su concepción de “naturalidad” deja bastante que desear desde la perspectiva de las discusiones contemporáneas. En el artículo razono que podemos medir la naturalidad de una clasificación mediante una versión retocada de la noción de unificación, tal como es definida por Schurz y Lambert. Si dicha tesis es correcta, se logra un mejor entendimiento de la comprensión científica; y también se gana, para la naciente literatura sobre este tópico, una precisión sumamente deseable.

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.

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.

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.

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.

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.

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.

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.

A foreign juridicial databank inquiry gives to difficulties not only with the linguistic problem of the translation but also with the comparison of the different law systems. So, it’s necessary to create a device able to resolve the collation of different juridicial systems specially when the files data retrieval is realised by a foreign user. These interfaces use specific connexion which allow an efficient documentary research and protect the integrity and the specificity of each national law systems.

Two fundamental paradigms are in conflict. Expert systems are the creation of the artificial intelligence paradigm which presumes that an objective reality can be understood and controlled by an individual expert intelligence that can be replaced by machinery. The alternative paradigm assumes that reality is the subjective product of human beings striving to collaborate through shared norms and experiences, a process that can be assisted by but never replaced by computers. The first paradigm is appropriate in the domains of natural science and mathematics but dangerous in social sciencet business and, especially, the law. Expert systems are constructed on the basis of a number of metaphysical assumptions that are invalid in the legal domain. These assumptions are assimilated through a number ofcommonplace metaphors that guide the thoughts of the majority of people entering the computing field who are usually trained in first paradigm subjects such as mathematics and the natural science. This inappropriate paradigm hinders our progress in the field of computers and law. We need to adopt a socially orientated view of tbe nature of reality, of language, of meaning, of intelligence, and of reasoning. It will be easier then to build computer systems to facilitate social interactions in the legal domain and easier to understand why boxes that try to imitate legal expertise are intrinsically fraudulent.