Explore the vast range of titles available.

This article aims to present a Free Dialogic Logic [FDL] as a general framework for hypothesis generation in the practice of modelling in science. Our proposal is based on the idea that the inferential function that models fulfil during the modelling process (surrogate reasoning) should be carried out without ontological commitments. The starting point to achieve our objective is that the scientific consideration of models without a target is a symptom that, on the one hand, the Applicability of Logic should be considered among the conditions of adequacy that should take into account all modeling process and, on the other, that the inferential apparatus at the base of the surrogate reasoning process must be rid of realistic assumptions that lead to erroneous conclusions. In this sense, we propose as an alternative an ontologically neutral inferential system in the perspective of dialogical pragmatism. El presente artículo tiene como objetivo presentar una Lógica Dialógica Libre [FDL] como marco general para la generación de hipótesis en la práctica de la modelización en ciencia. Nuestra propuesta parte de la idea de que la función inferencial que cumplen los modelos durante el proceso de modelización (razonamiento subrogativo) debe realizarse sin compromisos ontológicos. El punto de partida para lograr nuestro objetivo es que la consideración de modelos sin objetivo (targetless models) es síntoma de que, por un lado, la Aplicabilidad de la Lógica debe ser considerada entre las condiciones de adecuación que debe tener en cuenta todo proceso de modelación y, por otro lado, que el aparato inferencial en la base del proceso de razonamiento subrogativo debe deshacerse de suposiciones realistas que conducen a conclusiones erróneas. En este sentido, proponemos como alternativa un sistema inferencial ontológicamente neutro en la perspectiva del pragmatismo dialógico.

El objetivo principal de nuestro artículo es realizar un análisis crítico de la noción de representación como fundamento de la generación de hipótesis en la modelización científica. En efecto, mostraremos las inconsistencias que genera este modo de fundamentar la generación de hipótesis en algunos de los más representativos enfoques sobre la representación científica. Dependiendo del enfoque y la definición de representación considerada, mostramos que estas inconsistencias van desde el uso de recursos no lógicos hasta cierta circularidad en las definiciones. La idea que subyace a toda está crítica es que surrogative reasoning debe encontrar sus fundamentos en la lógica misma.

Recent work on the development of a dialogical approach to the logic of fiction stresses the notion of existence as choice. Moreover, this approach to existence has been combined with the notion of ontological dependence as deployed by A. Thomasson's artifactual theory of fiction. In order to implement such a combination within the dialogical frame several predicates of ontological dependence have been defined. However, the definition of such predicates seems to lean on a model-theoretic semantics for modal logic after all. The main aim of the present paper is to set a dialogical frame for the study of fictions in the context of the dialogical approach of CTT recently developed by S. Rahman and N. Clerbout where a fully-interpreted language is unfolded. We will herewith develop the idea that in such a setting fictional entities are understood as hypothetical objects, that is, objects (functions) the existence of which is dependent upon one or more hypotheses that restrict the scope of choices available. We will finish the paper by suggesting that this provides both a natural and genuinely dialogical way to understand R. Frigg's take on scientific models as fictions and a new perspective on Thomasson's notion of generic ontological dependence.

This paper explores our proposal’s conceptual depth and implications for the hypothesis generation as conditional. To do so, we will contrast it mainly with reading passages from one of the paradigmatic presentations of hypothesis generation: the work of C.S. Peirce. Indeed, in his work, the notion of hypothesis gains a relevant place from a logical point of view. In particular, we will focus on (i) showing that “hypothesis” in Peirce can hardly be identified with just a section of the rule that subsumes the surprising case and (ii) we will show that the proposed hypotheses generation as conditionals allows for a complementary and enlightening reading of his idea of abduction.

Mediante un estudio dialógico de la noción de igualdad definicional de la teoría constructiva de tipos (TCT), se mostrará que tal igualdad, que en la TCT provee el criterio de identidad asociado a un tipo, puede comprenderse, desde el punto de vista lúdico, como resultado de una forma específica de interacción dialógica regida por la regla formal, más conocida recientemente como la regla socrática, que prescribe el uso de jugadas de espejo (copy-cat moves). Esto se ilustrará con el desarrollo dialógico de las partes esenciales de la demostración del axioma de elección de Per Martin-Löf, quien basó su prueba en la igualdad definicional entre la función que prueba el antecedente y la función que ocurre en el consecuente.

Recent literature on dialogical logic discusses the case of tonk and the notion harmony in the context of a rule-based theory of meaning. Now, since the publications of those papers, a dialogical version of constructive type theory (CTT) has been developed. The aim of the present paper is to show that, from the dialogical point of view, the harmony of the CTT-rules is the consequence of a more fundamental level of meaning characterized by the independence of players. We hope that the following paper will contribute to a better understanding of the dialogical notion of meaning. La bibliografía reciente sobre lógica dialógica, estudia el caso de tonk y la noción de armonía en el contexto de una teoría del significado basado en reglas. Ahora bien, desde la publicación de tales textos, la teoría dialógica ha sido vinculada con la Teoría Constructiva de Tipos (CTT). El objetivo principal del presente artículo es mostrar que, desde un punto de vista dialógico, la armonía de las reglas de la CTT es consecuencia de un nivel más fundamental de significado caracterizado por la independencia de los jugadores. Esperamos que el presente trabajo contribuya a una mejor comprensión de la noción dialógica de significado.

El objetivo principal de nuestro artículo es realizar un análisis crítico de la noción de representación como fundamento de la generación de hipótesis en la modelización científica. En efecto, mostraremos las inconsistencias que genera este modo de fundamentar la generación de hipótesis en algunos de los más representativos enfoques sobre la representación científica. Dependiendo del enfoque y la definición de representación considerada, mostramos que estas inconsistencias van desde el uso de recursos no lógicos hasta cierta circularidad en las definiciones. La idea que subyace a toda está crítica es que surrogative reasoning debe encontrar sus fundamentos en la lógica misma.

The main aim of the present paper is to show, by means of a dialogical study, that the notion of judgemental equality of Constructive Type Theory (CTT), which in this theory furnishes the criterion of identity of a type, can be understood from the game-theoretical point of view as the result of a specific form of dialogical interaction governed by the development rule known as formal rule or (more re- cently) Socratic rule, which prescribes the use of copy-cat moves. It will be shown, as an example, how to develop the core of a winning strategy for Per Martin-Löf’s demonstration of the Axiom of Choice, who based his proof in the judgemental equality between the function in the antecedent and the function occurring in the consequent of the axiom.