RESUMENPresentamos la contribución de Th. Tymoczko a la filosofía de la matemática y analizamos y evaluamos las demostraciones asistidas por ordenador y los razonamientos no rigurosos en la matemática experimental, con particular referencia al Teorema de los Cuatro Colores.PALABRAS CLAVETYMOCZKO – CUASI-EMPIRISMO – MATEMÁTICA EXPERIMENTAL – RAZONAMIENTO NO RIGUROSO – DEMOSTRACIONES ASISTIDAS POR ORDENADORABSTRACTWe present Th. Tymoczko’s contribution to the philosophy of mathematics, and we analyze and evaluate the computer-assisted proofs and the non-rigorous reasonings in the experimental mathematics, particularly (...) in reference to the Four-Colour Theorem.KEYWORDTYMOCZKO – QUASI-EMPIRICISM – EXPERIMENTAL MATHEMATICS – NON-RIGOROUS REASONING – COMPUTER-ASSISTED PROOF. (shrink)

RESUMENRealizamos un acercamiento al razonamiento explicativo mediante estructuras modales. Usamos el formalismo bien conocido de los marcos de Kripke, pero asociamos a cada mundo, no una interpretación, sino una lógica. De este modo, definimos operadores que nos permiten expresar distintas modificaciones que puede sufrir una teoría, concretamente ampliaciones y contracciones. Mostramos cómo los tratamientos lógicos tradicionales del razonamiento abductivo pueden ser comprendidos desde nuestra propuesta.PALABRAS CLAVERAZONAMIENTO ABDUCTIVO, LÓGICAS NO CLÁSICAS, LÓGICA MODAL, MODELOS DE KRIPKE, EXPLICACIÓN CIENTÍFICA.ABSTRACTWe propose an (...) approach to explanatory reasoning through modal structures. We use the wellknown formalism of Kripke frames, but associated with each world, there is not an interpretation but a logic. Then, we define operators that allow us to express different modifications of a theory, specially expansions and contractions. We show that traditional logical treatments of abductive reasoning can be understood from our proposal.KEYWORDSABDUCTIVE REASONING, NON-CLASSICAL LOGICS, MODAL LOGIC, KRIPKE FRAMES, SCIENTIFIC EXPLANATION. (shrink)

RESUMENPresentamos la contribución de Th. Tymoczko a la filosofía de la matemática y analizamos y evaluamos las demostraciones asistidas por ordenador y los razonamientos no rigurosos en la matemática experimental, con particular referencia al Teorema de los Cuatro Colores.PALABRAS CLAVETYMOCZKO – CUASI-EMPIRISMO – MATEMÁTICA EXPERIMENTAL – RAZONAMIENTO NO RIGUROSO – DEMOSTRACIONES ASISTIDAS POR ORDENADORABSTRACTWe present Th. Tymoczko’s contribution to the philosophy of mathematics, and we analyze and evaluate the computer-assisted proofs and the non-rigorous reasonings in the experimental mathematics, particularly (...) in reference to the Four-Colour Theorem.KEYWORDTYMOCZKO – QUASI-EMPIRICISM – EXPERIMENTAL MATHEMATICS – NON-RIGOROUS REASONING – COMPUTER-ASSISTED PROOF. (shrink)

En este artículo hacemos un estudio analítico de la teoría del razonamiento defectible (o no monótono) atendiendo tanto a cuestiones de orden epistémico como metodológico. El razonamiento defectible es un tipo de razonamiento que está basado sobre la construcción de argumentos no lineales. Esto es, a lo largo de un proceso de razonamiento la introducción de nuevos supuestos en los argumentos puede llegar a retractar las conclusiones inferidas. Además, el razonamiento del sentido común que trabaja (...) con deducciones es bidireccional, en el sentido que no sólo opera desde las premisas a la conclusión (hacia adelante), sino también desde la conclusión a las premisas (hacia atrás). Los sistemas de razonamiento que combinan ambos tipos de razonamiento se dice que son dirigidos a intereses. Que un agente esté interesado en conocer el status de una proposición determinada exige que éste sea capaz de discernir entre razonamiento teórico (razonamiento acerca de qué creencias poseer) y razonamiento práctico (razonamiento acerca de qué acciones llevar a cabo). Una cuestión en la modelización del razonamiento ordinario es establecer una distinción entre teorías de la justificación y teorías de la garantía. Aquellas proposiciones que estén soportadas por algún argumento no derrotado en algún estadio de la computación para una situación epistémica concreta, se dirá que están justificadas, sin estar necesariamente garantizadas. Las proposiciones garantizadas son aquellas que deberían estar justificadas `a largo plazo', en el caso de que el sistema de razonamiento fuera capaz de llevar a cabo todo el razonamiento relevante posible. Sin embargo, veremos que una vez que una proposición resulte estar justificada, es razonable aceptarla provisionalmente y actuar sobre ella. (shrink)

Resumen En el presente estudio se aborda la descripción de la semántica de los marcadores evidenciales por lo visto y se ve que en el marco de la teoría de la relevancia (TR). Tomando como punto de partida el análisis que Albelda, M. (2018). ¿Atenuación del compromiso del hablante?: El caso de los evidenciales por lo visto y se ve que. Rilce, 34.3, 1179–1214. traza de ambos evidenciales en un corpus oral, se realizó un estudio tanto cuantitativo como cualitativo de (...) los patrones y el rango de interpretaciones de cada expresión en una muestra de géneros escritos formales procedentes del Corpus de Referencia del Español Actual (CREA). Los resultados cuantitativos mostraron algunas diferencias con respecto a los obtenidos por Albelda, M. (2018). ¿Atenuación del compromiso del hablante?: El caso de los evidenciales por lo visto y se ve que. Rilce, 34.3, 1179–1214: por lo visto es principalmente inferencial y, en menor medida, reportativo en la escritura formal. En contraste con los géneros orales, tiende a introducir inferencias genéricas, y en ocasiones también precede conjeturas. Se alinea con el parámetro de la objetividad, permitiendo al emisor mostrar una menor implicación hacia la evidencia, así como un mayor compromiso epistémico hacia la fiabilidad de la información. Se ve que, por el contrario, es generalmente un marcador inferencial, tanto en géneros escritos como orales. Se emplea, principalmente, para encabezar inferencias conjeturales. Con se ve que, el emisor muestra una mayor implicación y subjetivización, y un menor compromiso epistémico hacia la evidencia que se introduce en el discurso. Los diferentes patrones de comportamiento discursivo exhibidos por ambos evidenciales pueden explicarse en el marco de la teoría argumentativa del razonamiento (Mercier, H. y Sperber, D. (2011). Why do humans reason? Arguments for an Argumentative Theory. Behavioral and Brain Sciences, 34.2, 57–74; Mercier H. y Sperber, D. (2017). The Enigma of Reason. Cambridge, Mass.: Harvard University Press.). Por lo visto y se ve que tienden a introducir, respectivamente, conclusiones intuitivas y reflexivas que deben ser verificadas y aceptadas por la audiencia. Se ve que apunta, generalmente, a la activación de los mecanismos cognitivos de vigilancia epistémica y lectura de la mente, mientras que por lo visto tiende a desencadenar los procesos de vigilancia epistémica y de razonamiento. (shrink)

En este artículo examino el debate entre los intérpretes epistémicos y descriptivistas de la discusión humeana de la inducción y el razonamiento probable. Los intérpretes epistémicos consideran a Hume como concernido principalmente con cuestiones relacionadas con la autoridad y justificación epistémica de nuestros principios y creencias inductivas. Los intérpretes descriptivistas, por contra, sugieren que lo que Hume pretende es explicar cómo se producen nuestras creencias, no dictaminar si están epistémicamente justificadas. En particular, me centro en tres de estas lecturas: (...) dos de ellas epistémicas, la tercera descriptivista. La primera interpretación epistémica, la de Peter Millican, nos presenta a Hume abrazando un escepticismo respecto a la inducción; la segunda lectura epistémica, de Louis Loeb, lo presenta como un externalista no escéptico a propósito de la inducción; la lectura descriptivista, defendida por David Owen, presenta a un Hume comprometido principalmente con la tarea científica de describir los mecanismos por los que llegamos a formar nuestras creencias. En este artículo propongo una interpretación alternativa a estas interpretaciones escépticas, externalistas y descriptivistas. Argumento que, aunque estas lecturas tienen innegables puntos de apoyo y ayudan crucialmente a mejorar nuestra comprensión del pensamiento de Hume, todas ellas enfrentan problemas potencialmente insuperables. Concluyo que la mejor estrategia que nos queda abierta pasa por perseguir una explicación que no sea ni escéptica ni externalista de la posición de Hume. Parte de mi objetivo es cuestionar una asunción implícita en estas tres lecturas, a saber: que para Hume el concepto de naturaleza humana es puramente descriptivo. (shrink)

Este artículo reúne los resultados de nuestra sistematización de las magnitudes físicas y de las expresiones matemáticas de los aparatos formales de la mecánica clásica, relativista y cuántica, revelando su estructura subyacente común. La sistematización se ha realizado ordenando en tablas algunas de las magnitudes físicas y expresiones matemáticas más conocidas según sus diferentes grados de derivación, abriendo paso, de este modo, a un criterio de fundamentalidad de las leyes, principios, postulados y ecuaciones de cada aparato formal.

What is the relation between reasoning and self-knowledge? According to Shoemaker, a certain kind of reasoning requires self-knowledge: we cannot rationally revise our beliefs without knowing that we have them, in part because we cannot see that there is a problem with an inconsistent set of propositions unless we are aware of believing them. In this paper, I argue that this view is mistaken. A second account, versions of which can be found in Shoemaker and Byrne, claims that we can (...) reason our way from belief about the world to self-knowledge about such belief. While Shoemaker’s “zany argument” fails to show how such reasoning can issue in self-knowledge, Byrne’s account, which centres on the epistemic rule “If p, believe that you believe that p”, is more successful. Two interesting objections are that the epistemic rule embodies a mad inference and that it makes us form first-order beliefs, rather than revealing them. I sketch responses to both objections. ¿Qué relación existe entre el razonamiento y el autoconocimiento? Según Shoemaker, cierto tipo de razonamiento depende de un autoconocimiento: no podemos revisar nuestras creencias racionalmente sin saber que las tenemos, en parte porque no podemos ver que la inconsistencia de un conjunto de proposiciones constituye un problema a menos que estemos conscientes de creerlas. En el presente artículo argumento que esta propuesta es errónea. Una segunda posición, versiones de la cual se pueden encontrar en Shoemaker y Byrne proclama que es posible razonar desde creencias sobre el mundo hacia un autoconocimiento sobre tales creencias. Mientras el zany argument de Shoemaker no logra mostrar cómo tal razonamiento puede resultar en un autoconocimiento, la teoría de Byrne, que se centra en la regla epistémica “Si p, cree que crees que p” tiene más éxito. Dos objeciones interesantes son que la regla epistémica incorpora una inferencia insana y que nos hace formar creencias de primer orden, en lugar de revelarlas. Esbozo respuestas a ambas objeciones. (shrink)

In this paper, I reject that animal reasoning, negation in particular, necessarily involves the representation of absences, as suggested by Bermúdez (2003, 2006, 2007), since this would still work as a logical negation (unavailable for non-linguistic creatures). False belief, pretense, and communication experiments show that non-human animals (at least some primates) have difficulties representing absent entities or properties. I offer an alternative account resorting to the sub-symbolic similarity judgments proposed by Vigo & Allen (2009) and expectations: animal proto-negation takes place (...) through the incompatibility between an expected and the actual representation. Finally, I propose that the expectation paradigm be extrapolated to other experi-ments in cognitive psychology (both with pre-linguistic children and animals) in order to design fair experiments that test other minds considering their true abilities. (shrink)

Las heurísticas son procedimientos de estimación utilizados por todos nosotros al razonar en nuestra vida ordinaria.

Some authors sustain that historical research is an effect of a specific historiographical context (Jenkins, 1991; González de Oleaga, 2009). An approach to the historiographical debate between constructivism and recontructivism is presented in this paper. Two theses are here defended. The first one affirms that the above mentioned debate is deeply related to epistemological questions (study of mental representations, different conceptions about historical reasoning functions, historical reasoning, cognitive bias, and informal falacies). The second thesis affirms that each historiographical conception can (...) be understood as the effect of assuming a specific perspective about these epistemic questions. As an evidence of this, some connections between historiography and epistemology will be analysed through the analogy between the reconstructivism vs. constructivism debate, and the epistemological debate detectivism vs. constitutivism (Finkelstein, 2003). (shrink)

La idea de razonamiento basado en modelos, RBM, es hoy un tema central en lógica, fi losofía de las ciencias y ciencia cognitiva. No obstante ello, su naturaleza inferencial es aún problemática. En este artículo se aborda dicho problema en dos instancias: primero, se identifi ca y aclara la idea precisa de modelo que está involucrada en RBM y, segundo, se propone y desarrolla la tesis de que su naturaleza inferencial posee la siguiente cuádruple raíz, que lo diferencia del (...) formato enunciativo standard basado en proposiciones y reglas: representación icónica del modelo, idea de manipulación de modelos, conservación estructural en la conclusión y acceso directo. (shrink)

El silogismo práctico o razonamiento de la acción (EN VI, 12, 1144ª 31, “oigar sillogismoi tvn praktvn”) es presentado por muchos estudiososde la obra aristotélica como un esquema de explicación, que intenta darcuenta del movimiento que realiza el alma humana desde el apetito o deseopuro hasta la acción concreta. El punto de vista que aquí se argumentapuede ser presentado en dos tesis articuladas: 1) el razonamiento prácticono es un silogismo, comprende muchos más aspectos que son irreductiblesa la estructura (...) formal de un silogismo perfecto; 2) el silogismo práctico sebasa sobre todo en razonamientos retórico-dialécticos, bien sea un entimema,un paradigma, o un epiquerema; es un proceso discursivo de deliberacióncon silogismos imperfectos o cadenas de silogismos probables que orientanla deliberación a manera de sorites e inducciones retóricas. No se trata deuna demostración sobre cosas que son necesariamente y no pueden ser deotra forma, sino que se trata de lo posible y contingente, aquello que puedeo no puede ser, puesto que sólo se delibera sobre lo posible y esto se hacecon opiniones probables. Corresponde entonces a la retórica y la dialécticarazonar con este tipo de premisas. La regla de conducta en un silogismo práctico utiliza como premisa una opinión generalmente aceptada (a manerade hipótesis o conjetura), cuya aplicación al caso particular es contingente ysu resultado, la acción, también lo es, ya que puede ser o no realizada. Laacción como consecuencia del razonamiento desborda el marco lógico formaldel silogismo. (shrink)

Al acercarnos al razonamiento médico debemos tener en cuenta no sólo el razonamiento clínico, sino también el razonamiento del médico en el ámbito de las investigaciones biomédicas. Además, el razonamiento clínico involucra no sólo el diagnostico, sino también la terapia, la monitorización y aspectos más generales de la investigación médica como procesos fundamentales. En todos estos casos tenemos esquemas inferenciales que pasan de la introducción de hipótesis abductivas, a la predicción deductiva de las consecuencias y la (...) comprobación inductiva mediante pruebas empíricas. Sin embargo, no siempre estos esquemas de razonamiento siguen este orden, sino que a veces las abducciones son seguidas de otras abducciones. En este artículo, proponemos un análisis del razonamiento médico basado en el modelo Gabbay y Woods de la abducción y el modelo Select and Test de Magnani para dar cuenta del uso de las hipótesis abductivas. Concluimos con una discusión de la introducción de las hipótesis en relación con el debate sobre las evidencias estadístico-probabilísticas y mecanicista en las ciencias biomédicas, y la tesis abogada por Russo y Williamson sobre su complementariedad. Nos diferenciamos de ellos en que consideramos los mecanismos como hipótesis abductivas que sirven para guiar la experimentación. (shrink)

Primeiramente, oferecemos uma apresentação teórica da representação do pensamento prático, começando pela distinção entre silogismo dialético e silogismo demonstrativo. Fazemos referência à crítica de Toulmin contra o dedutivismo dominante de seu tempo. Em seguida, fornecemos argumentos para apoiar a relevância heurística do modelo de Toulmin para entender a discussão sobre a inclusão da lógica padrão na representação do pensamento comum. Afirmamos que o projeto analítico toulmaniano permite entender, com clareza metódica, a derrotabilidade dos argumentos do senso comum por meio da (...) investigação da noção modal de probabilidade na linguagem comum. First, we offer theoretical resemblance of the representation of practical reasoning, beginning with the distinction between demonstrative and dialectical syllogism. We make reference to the Toulmin’s critique against to the dominant deductivism in his time. Then we give arguments to sustain the heuristic relevance of Toulmin’s model to understand the discussion about the inclusion of default logics in the representation of ordinary reasoning. We assert that the Toulminian analytic design allows to understand, with methodical clarity, the defeasibility of common sense arguments by means of the investigation of the modal notion of probability in ordinary language. (shrink)

Discuto dos aspectos del reciente libro de Atocha Aliseda sobre el razonamiento abductivo. El primero tiene que ver con la clasificación de la abducción propuesta por Aliseda respecto al tipo de lógica que le subyace. El segundo se refiere al mecanismo de búsqueda de hipótesis abductivas que nos ofrece Aliseda.

Hay doble pulsión en el centro de la discusión del razonamiento deductivo. Una conduce aparentemente a la abstracción y dominios arbitrarios, mientras que la otra conduce a la concreción y la dependencia del contenido. El objetivo de esta investigación es diseñar, aplicar y validar un instrumento de evaluación que nos permita corroborar si el razonamiento deductivo maneja reglas lógicas o contenidos. La muestra de estudio se compuso de 80 participantes (edad 18-77 años). El test consta de 60 ítems (...) categorizados en: formalidad, integrabilidad, complejidad y modalidad. Los resultados ponen de manifiesto la fiabilidad del test de razonamiento deductivo con un alpha de Cronbach. 775 y con un índice de validación. 850 para el índice de inteligencia no verbal (INV) del RIAS. Cómo conclusión inferimos que el razonador deductivo no dispone de un cuerpo preciso de reglas generales deductivas, sino que usa colecciones de reglas heurísticas cada vez menos abstractas. (shrink)

In this lecture, delivered on 23 November 1903 at the Lowell Institute in Boston, Peirce refu - tes “a ma lady” that has bro ken out in science: the idea then in vogue that rationality rests on a fee - ling of logicality, and that it is futile to try to find an objective distinction between goo..

En reseña de:Schum, David, Los fundamentos probatorios del razonamiento probabilístico, traducción y edición a cargo de Orión Vargas, Xpress Estudio Gráfico y Digital, 2016, 665 páginas.

En este breve comentario, discuto dos aspectos, en mi opinión esenciales, del reciente libro de Atocha Aliseda sobre el razonamiento abductivo (Abductive Reasoning). El primero tiene que ver con la clasificación de la abducción propuesta por Aliseda respecto al tipo de lógica que le subyace. Sobre esto, considero que la mejor opción sería tal vez excluir la abducción de tal clasificación. El segundo se refiere al mecanismo de búsqueda de hipótesis abductivas que nos ofrece Aliseda (el método computacional de (...) los árboles semánti-cos extendidos). Sugiero que queda por establecerse la realidad psicológica de tal mecanismo.I discuss, in this brief commentary, two relevant aspects of Atocha Aliseda’s recent book on abductive reasoning (Abduc-tive Reasoning). The first has to do with Aliseda’s proposed classification of abduction with respect to the sort of logic under-lying it. I contend that perhaps the best option is to exclude abduction from this classification. The second aspect concerns the search mechanism for abductive hypotheses offered by Aliseda (the computational method of extended semantic tableaux). I suggest that its psychological reality has yet to be established. (shrink)

The aim of this paper is to ofter a general view of the development of the issue about judicial reasoning and argumentation in Europe. I start with a mention to the methodological problem in law, and after that I expose the main models about the so called “legal argumentation theories”. Thirdly, I bring out some general thesis about judicial reasoning, and finally I propose some critical reflections about those theories.

The aim of this paper is to provide a theoretical model of judicial reasoning that satisfactorily integrates the partial explanations offered by three differ- ent theoretical research paradigms: Philosophy of Law, Legal Epistemology, and Artificial Intelligence and Law.The model emerges from the application of knowledge elicitation and knowledge representation methods. The model employs the theory of neural networks as a theoretical metaphor in order to generate its explanations and its visual representations.The epistemological status of the model is of a constructivist (...) stripe. It is in line with contemporary research tendencies within cognitive psychology that propose that judicial reasoning may be better understood if we assume a coherentist and a connectionist approach.Resumen:El objetivo de este ensayo es presentar un modelo teórico del razona- miento judicial que pueda integrar de manera satisfactoria las explicaciones parciales ofrecidas en tres distintos paradigmas de investigación teórica: la filosofía del derecho, la epistemología jurídica y la inteligencia artificial aplicada al derecho.Este modelo surge de la aplicación de algunos métodos de elicitación y representación del conocimiento. Y emplea la teoría de las redes neurales como una metáfora teórica a fin de generar sus propias explicaciones y representaciones visuales.El estatus epistemológico del modelo es de corte constructivista, y se encuentra en la línea de las tendencias de investigación contemporánea dentro de la psicología cognitiva, la cual plantea que el razonamiento judicial puede ser entendido de mejor manera si asumimos un enfoque coherentista y conexionista. (shrink)

En este trabajo se sostiene que la teoría del derecho iberoamericana ha malinterpretado la teoría del razonamiento jurídico de Jeremy Waldron, presentándola como una teoría formalista de la adjudicación, y a Waldron como un positivista excluyente. Esto se debe a una lectura sesgada de su teoría del derecho, que se explica, a su vez, por la imagen que el constitucionalismo ha construido en torno a Waldron, como un opositor de Dworkin. Este trabajo muestra que Waldron suscribe a una teoría (...) “dworkiniana” del razonamiento jurídico, la que opera como eslabón entre su teoría de la democracia y su teoría más reciente de la dignidad humana. Ambas cuestiones han sido virtualmente ignoradas por el medio académico hispanoparlante. (shrink)

This paper addresses an important issue that has been commonly debated in moral psychology, namely the normative and metaethical implications of our differing intuitive responses to morally indistinguishable dilemmas. The prominent example of the asymmetry in our responses is that people often intuitively accept pulling a switch and deny pushing as a morally permissible way of sacrificing an innocent person to save more innocent people. Joshua Greene traces our negative responses to actions involving “up close and personal” harm back to (...) our evolutionary past and argues that this undermines the normative power of deontological judgments. I reject Greene’s argument by arguing that our theoretical moral intuitions, as opposed to concrete and mid-level ones, are independent of direct evolutionary influence because they are the product of autonomous moral reasoning. I then explain how both consequentialist and deontological theoretical intuitions, which enable us to make important moral distinctions and grasp objective moral facts, are produced by the exercise of autonomous moral reasoning and the process of cultural evolution. My conclusion will be that Greene is not justified in his claim that deontology is normatively inferior to consequentialism. (shrink)