Aunque el denominado problema de marco generó múltiples debates a finales del siglo pasado, aún es un problema fundamental para el avance en las Ciencias Cognitivas, en general, y para la Inteligencia Artificial, en particular. En este trabajo, y restringiéndonos al aspecto lógico del problema, postulamos que la discusión actual y subyacente a este aspecto gira en torno a cómo determinar lo que no cambia en términos de acciones y propiedades dentro de un sistema lógico formal. Es sobre (...) este aspecto, y en función de sus dificultades (i) definicional y (ii) resolutiva, que en este trabajo argumentaremos que el denominado “criterio temporal” no solamente puede estimarse como uno los principales requerimientos teóricos para (i) resolverlo sino también para (ii) explicitar más claramente su dificultad principal, a saber, “lo que es relevante” frente al cambio en el tiempo. De esta manera, sostenemos que el razonamiento lógico-temporal resulta necesario para construir cualquier solución íntegramente satisfactoria del aspecto lógico del problema de marco entendido como el modo en que, inmediatamente, determinamos relevancia frente al cambio. (shrink)

In this paper we argue, from an inferential approach, that the inferential role played by a model, during modeling practice, is independent of the notion of representation engaged with the chosen modeling approach. Indeed, we believe that the notion of surrogative reasoning is neither subsidiary nor founded on the notion of representation and that it will only find its foundations in logic itself. Neither the notion of representation is an inferential notion nor FIM is a type of representation-based thinking.

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)

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)

En este artículo, abordo la disputa entre normativismo y descriptivismo centrándome en el problema del arbitraje. Para esto, propongo acercar a esta disputa la discusión sobre el problema del colapso que se ha dado recientemente en el marco de la filosofía de la lógica. Mi propuesta sostiene, por un lado, que el razonamiento humano, en cuanto práctica social, es una actividad esencialmente normada y, por otro lado, que los sistemas formales que se toman de referencia en la psicología del (...) razonamiento son el resultado de diversos procesos de equilibrio reflexivo. Esto permite defender el rol normativo de los sistemas formales como estándar para el razonamiento humano. Además, sostengo que la adecuación de un sistema formal está signada por los contextos específicos de razonamiento. Así, defiendo un pluralismo normativo respecto de los sistemas formales de inferencia en el marco de los estudios empíricos sobre el razonamiento humano. (shrink)

El problema de la adopción presentado por Kripke y Padró sostiene que no es posible adoptar nuevos principios lógicos porque para hacerlo es necesario razonar previamente con ciertos principios básicos, y si ya tenemos dichos principios, la adopción no es necesaria. Siguiendo esta idea, para razonar es necesario tener la capacidad de utilizar principios básicos, por lo tanto, si un agente no los tiene, sería incapaz de realizar los razonamientos. Kripke y Padró suponen un caso limitado de razonamiento, al (...) que presuponen como primitivo. En contra de esta idea, muestro que no existen garantías de que el razonamiento tenga una estructura similar a los principios lógicos, dado que es posible llegar a las mismas conclusiones a partir de distintas formas. Argumento que no es posible justificar cuál es la forma del razonar, por lo que el razonamiento no debe ser el objeto de la lógica. A partir de esta argumentación, muestro que el problema de la adopción tiene un aspecto cierto en el que ningún principio puede ser adoptado, porque el razonamiento no tiene una estructura similar a alguna lógica. Además, sostengo que es posible utilizar distintas lógicas como modelos que guíen la comunicación de argumentos. (shrink)

En el presente texto se sostiene que las categorías de primeridad, segundidad y terceridad —y las relaciones posibles entre ellas— revelan las operaciones lógicas de relación y ley en el trabajo de Charles Sanders Peirce. Para ello, se muestra su importancia a través de paralelismos con otras triadas del filósofo norteamericano. Para dicho propósito, el texto se divide el texto en tres momentos. El primer momento consiste en exponer la operación de la triada principal: primeridad, segundidad y terceridad. En esta (...) caracterización se pondrá especial énfasis en la descripción del tratamiento de lo indeterminado hecho por las operaciones de la ley y la relación en las categorías1. En segundo lugar, se reconstruye la operación peirceana de las tricotomías en el razonamiento lógico. Finalmente, se concluye recapitulando los puntos tratados, a la vez que se sugieren las razones del carácter tríadico de las categorías en Peirce y sus supuestos. (shrink)

En el presente texto se sostiene que las categorías de primeridad, segundidad y terceridad —y las relaciones posibles entre ellas— revelan las operaciones lógicas de relación y ley en el trabajo de Charles Sanders Peirce. Para ello, se muestra su importancia a través de paralelismos con otras triadas del filósofo norteamericano. Para dicho propósito, el texto se divide el texto en tres momentos. El primer momento consiste en exponer la operación de la triada principal: primeridad, segundidad y terceridad. En esta (...) caracterización se pondrá especial énfasis en la descripción del tratamiento de lo indeterminado hecho por las operaciones de la ley y la relación en las categorías1. En segundo lugar, se reconstruye la operación peirceana de las tricotomías en el razonamiento lógico. Finalmente, se concluye recapitulando los puntos tratados, a la vez que se sugieren las razones del carácter tríadico de las categorías en Peirce y sus supuestos. (shrink)

Los sesgos cognitivos afectan negativamente la toma de decisiones en todas las esferas de la vida, incluyendo las decisiones de los jueces. La imposibilidad de eliminarlos por completo de la práctica del derecho, o incluso de controlar sus efectos, contrasta con el anhelo de que las decisiones judiciales sean el resultado exclusivo de un razonamiento lógico-jurídico correcto. Frente el efecto sistemático, recalcitrante y porfiado de los sesgos cognitivos, una posible estrategia para disminuir su efecto es enfocarse, no en (...) modificar el comportamiento de los agentes judiciales, sino en moldear su entorno para que los sesgos tengan menos oportunidades de aparecer. En particular, es más provechoso concentrar los esfuerzos en identificar aquellas reglas procesales que faciliten o limiten el efecto de los sesgos. En este ensayo propongo un diálogo fructífero entre el derecho y la psicología que puede llevar a mejorar la calidad de los sistemas judiciales. La propuesta está basada en la creación de guías de práctica judicial que puedan servir de base para la creación de protocolos procesales que limiten en la medida de lo razonable sus efectos negativos y conduzcan a mejores decisiones judiciales. (shrink)

La banalidad del mal no sólo constituye un tópico intensamente debatido en relación con el caso Eichmann, sino que también resulta de relevancia para esclarecer el fenómeno contemporáneo del mal. Desde esta perspectiva, procuramos indagar en el papel de la obediencia en esta nueva modalidad del mal, mostrando a la vez que su análisis se remonta al libro de Arendt sobre el totalitarismo, encontrando en el hombre masa devenido hombre normal durante el siglo pasado un antecedente insoslayable. Partiendo de estas (...) afinidades, examinamos la especificidad del mal configurado en torno de los hombres normales y de la banalidad del mal en particular en lo que respecta a los motivos, al rol de la iniciativa personal y al tipo de obediencia implicada. (shrink)

In what follows I seek to answer the question on whether it is possible to integrate two different lines of research on human rationality: on the one hand, some philosophical lines of research of a cognitivist nature, and, on the other, lines of research on the logical reasoning of human agents and normative criteria. My answer to such questioning will be affirmative. To defend my point, I shall proceed as follows: first, in sec. 2 I offer the antecedents and characteristics (...) of the cognitivist notion of “intelligence” that has greater acceptance today, the general theory of intelligence, also known as the g factor. Throughout sec. 3 I present the elements thanks to which it has been considered that although g factor manages to satisfactorily evaluate the phenomenon of intelligence, it ignores relevant characteristics from the perspective of what rationality has been considered to be. Then, in sec. 4, I present some notions of rationality available in literature on the philosophy of logic, and I evaluate what are the distinctive elements of each of these characterizations. In sec. 5, I defend that it is possible to improve our understanding of cognitive styles from the elements of the philosophy of logic exposed in section four. (shrink)

Con el surgimiento de las teorías del razonamiento rebatible ha sido creada una nueva clasificación de argumentos que distingue entre argumentos deductivos y argumentos derrotables. Tal distinción conlleva dos supuestos básicos: los argumentos derrotables son no monotónicos, y los deductivos no son derrotables. En este trabajo se muestran los problemas a los que conducen tales supuestos, como así también los que surgen de la definición usual de “argumento derrotable”. Para ello, se adopta la postura metodológica de distinguir entre el (...) aspecto lógico y el aspecto dialéctico del fenómeno argumentativo. Por último, se propone un criterio alternativo de clasificación de argumentos que evite los mencionados problemas. (shrink)

RESUMEN Este trabajo pretende relacionar dos debates emparentados sobre cómo la lógica y el lenguaje influyen sobre el pensamiento. Existe un eje de discusión en relación a si hay una pluralidad de lógicas o un único sistema lógico como criterio de evaluación para cualquier contexto de razonamiento. En lingüística, el debate surgido a partir de las interpretaciones fuertes y débiles de la hipótesis Sapir-Whorf ha centralizado la discusión en torno al grado de influencia o determinación del lenguaje sobre (...) el pensamiento. Desde perspectivas y marcos teórico-conceptuales diferentes, lógica y lingüística delimitan y problematizan un campo de indagación y reflexión. El artículo, desde una mirada transdisciplinar, pretende dar cuenta y postular vasos comunicantes entre estos debates atendiendo a los matices de cada enfoque, así como proponer una hipótesis propia sobre la problemática planteada. ABSTRACT This paper aims to relate two debates about how logic and language influence thought. There is an axis of discussion about whether there exists a plurality of logic or a single logical system as an evaluation criterion for any reasoning context. In linguistics, the debate arising from the strong and weak interpretations of the Sapir-Whorf hypothesis has centralized the discussion around the degree of influence or determination of language on thought. From different perspectives and theoretical-conceptual frameworks, logic, and linguistics delimit and problematize a field of inquiry and reflection. The article, from a transdisciplinary perspective, intends to account for and postulate communicating vessels between these debates, considering the nuances of each approach. It also seeks to propose its own hypothesis on the problem raised. (shrink)

Enigmatología es el término que ha sido usado para designar el estudio de los puzzles en la cultura humana. La estructura poética de los puzzles implica que quien intenta resolverlos debe literalmente imaginar escenarios que trasciendan un razonamiento lineal. En tiempo de Vico, el cartesianismo dominaba la escena académica de la época, haciendo que la vieja tradición, centrada en el estudio de la lengua y la literatura perdiera terreno frente a un énfasis puesto en la matemática, la filosofía crítica (...) y las ciencias. Los puzzles eran considerados como productos de un pensamiento lógico-racional. Pocos los consideraron como productos de una fuerza creativa más fundamental. El concepto de fantasia de Vico vino a proporcionar una poderosa estructura explicativa para comprender cualquier ingenio enigmatológico.Enigmatology is the term that has been used to designate the study of puzzles in human cultures. The poetic structure of puzzles implies that they require the solver to literally imagine scenarios in ways that transcend linear reasoning. In Vico's times, Cartesianism dominated the academic scene of the day, causing the older tradition, centered on the study of language and literature, to lose ground to an emphasis on mathematics, critical philosophy, and the sciences. Puzzles were viewed as products of rational-logical thinking. Few saw them as products of a more fundamental creative force. Vico's concept of fantasia came forward to provide a powerful explanatory framework for understanding enigmatological artifacts. (shrink)

Resumen De acuerdo con Barceló, la posibilidad de la negación pictórica constituye una prueba a favor del externismo lógico porque no depende de encontrar elementos internos en las imágenes que expresan la negación. Propongo analizar la negación pictórica en contextos de razonamiento para mostrar cómo el contenido de una imagen se determina por relaciones lógicas externas. Para ello, propongo restringir el análisis del dominio completo de relaciones lógicas externas a contextos específicos de razonamiento. Lejos de rechazar la (...) variante externista de Barceló, espero de esta forma poner a trabajar sus ideas.Since pictorial negation does not depend on internal elements, it can be conceived as an existential proof for logical externalism. This paper proposes to analyze pictorial negation in the context of reasoning by showing how external logical relations determine the content of images. I suggest for this a local externalism which narrows the analysis to specific reasoning contexts instead of the complete domain of logical relations. Far from rejecting Barceló's externalist alternative, my proposal aims to put his ideas to work. (shrink)

Este artículo presenta un enfoque del problema de la relación entre abducción y percepción en la filosofía de C. S. Peirce, tratando de mostrar la percepción y la abducción, o hipótesis, como procesos creativos capaces de introducir una novedad en el conocimiento. En primer lugar se muestra cómo cada conocimiento, incluso el lógico, está fundamentado en la experiencia de la percepción, y cómo esta presupone una continuidad cosmológica entre la mente y el mundo para poder funcionar. Sucesivamente se pone (...) en evidencia cómo la hipótesis no es nada más que aquel procedimiento que reconoce, como un relámpago, esta continuidad cosmológica de experiencia entre la mente y el mundo. Finalmente, la abducción se configura como un razonamiento que, libremente, obstruye y modifica el flujo continuo de. (shrink)

Este trabajo presenta una discusión sobre el desarrollo de la expresión corporal como uno de los medios de fomentar la desinhibición, la percepción del propio cuerpo en el espacio en que están los demás y, consecuentemente, produ-ce la motivación y promueve la creatividad. En la clase de lengua extranjera se puede lograr este desarrollo a través de juegos, danza y actividades que permitan el contacto con el otro. De esa manera, a partir de algunas cuestiones que plantea la teoría del (...) desarrollo cognitivo al tratar del estudio de procesos tales como lenguaje, percepción, memoria, razonamiento y resolución de problema, y de algunas discusiones de la teoría de las inteligencias múltiples de Gardner (1994), específica-mente acerca de la inteligencia corporal-cenestésica, se analizará cómo el trabajo con la expresión corporal puede ayudar en el desarrollo de las capacidades del estudiante y fomentar su creatividad y su proceso de adquisición y de aprendizaje en clase, concretamente, en la clase de lengua extranjera. Además de la inteligencia corporal-cenestésica, Gardner propone que cada persona tiene, por lo menos, ocho inteligencias o habilidades cognitivas más que trabajan juntas, pero como entidades autónomas que requieren interacción. El autor asume que todas las inteligencias son igualmente importantes, aunque cada sujeto presenta una inteligencia más desarrollada que otra según el escenario cultural en el que se inserta, lo que explicaría, en cierta medida, por qué las personas aprenden de diferentes maneras, es decir, de acuerdo con sus habilidades. Sin embar-go, aunque todas las inteligencias son igualmente importantes, nuestro sistema escolar suele enfatizar la inteligencia lógico-matemática y la inteligencia lingüística hasta el punto de, en algunos casos, negar la existencia de las demás. Así, se debe pensar la educación desde un punto de vista que considera las distintas formas de aprender y, en el caso específico de la enseñanza y del aprendizaje de lenguas extranjeras, se debe adoptar un “abordaje plural de la cognición” y no “unilineal” contrario al de muchos autores que trataron el desarrollo humano. (shrink)

El problema de los conflictos normativos ha constituido uno de los principales obstáculos para un tratamiento lógico-formal de los razonamientos jurídicos. Una de las recientes estrategias para abordar esta cuestión se apoya en las lógicas no-monotónicas desarrolladas en el ámbito de la Inteligencia Artificial con el fin de representar el razonamiento común. Sin embargo, un análisis en detalle nos llevará a cuestionar este enfoque.

El objetivo de este artículo es proponer una justificación lógica del proceso de razonamiento sustitutivo en la práctica del modelado en ciencia. Para ello, definimos la generación de hipótesis como la creación de un diálogo interactivo y formal entre el modelo y el sistema objetivo. Para describir esta idea desde un punto de vista lógico, nos basaremos en el enfoque pragmático de la Dialógica como marco ideal para ilustrar las interacciones lógicas.

Bazzocchi disposes the text of the Tractatus in a user-friendly manner, exactly as Wittgenstein's decimals advise. This discloses the logical form of the book by distinct reading units, linked into a fashioned hierarchical tree. The text becomes much clearer and every reader can enjoy, finally, its formal and literary qualities.

Bazzocchi disposes the text of the Tractatus in a user-friendly manner, exactly as Wittgenstein's decimals advise. This discloses the logical form of the book by distinct reading units, linked into a fashioned hierarchical tree. The text becomes much clearer and every reader can enjoy, finally, its formal and literary qualities.

Perhaps the most important work of philosophy written in the twentieth century, the Tractatus Logico-Philosophicus first appeared in 1921 and was the only philosophical work that Ludwig Wittgenstein (1889-1951) published during his lifetime. Written in short, carefully numbered paragraphs of extreme compression and brilliance, it immediately convinced many of its readers and captivated the imagination of all. Its chief influence, at first, was on the Logical Positivists of the 1920s and 30s, but many other philosophers were stimulated by its philosophy (...) of language, finding attractive, if ultimately unsatisfactory, its view that propositions were pictures of reality. Perhaps most of all, Wittgenstein himself, after his return to philosophy in the late 1920s, was fascinated by its vision of an inexpressible, crystalline world of logical relationships. The posthumous publication of other writings has, therefore, only served to reawaken interest in the Tractatus and to illuminate its more neglected aspects. David Pears and Brian McGuinness revised their translation in the light of Wittgenstein's own suggestions and comments in his correspondence with C.K. Ogden about the first translation. In addition, this edition contains the introduction by Bertrand Russell which appeared in the original English translation. (shrink)

Tractatus Logico-Philosophicus by Ludwig Wittgenstein: three parallel tree-structured editions. (1) Tree-structured arrangement of the German text, edited by David G. Stern, Joachim Schulte and Katia Saporiti. (2) Tree-structured arrangement of the English translation by Ogden and Ramsey, edited by David G. Stern. (3) Tree-structured arrangement of the English translation by Pears and McGuinness, edited by David G. Stern.

This reissue of his collection of early essays, Logico-Linguistic Papers, is published with a brand new introduction by Professor Strawson but, apart from minor ...

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)

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)

Physical dimensions like “mass”, “length”, “charge”, represented by the symbols [M], [L], [Q], are not numbers, but used as numbers to perform dimensional analysis in particular, and to write the equations of physics in general, by the physicist. The law of excluded middle falls short of explaining the contradictory meanings of the same symbols. The statements like “m tends to 0”, “r tends to 0”, “q tends to 0”, used by the physicist, are inconsistent on dimensional grounds because “m”, “r”, (...) “q” represent quantities with physical dimensions of [M], [L], [Q] respectively and “0” represents just a number—devoid of physical dimension. Consequently, due to the involvement of the statement “q tends to 0'', where q is the test charge” in the definition of electric field leads to either circular reasoning or a contradiction regarding the experimental verification of the smallest charge in the Millikan–Fletcher oil drop experiment. Considering such issues as problematic, by choice, I make an inquiry regarding the basic language in terms of which physics is written, with an aim of exploring how truthfully the verbal statements can be converted to the corresponding physico-mathematical expressions, where “physico-mathematical” signifies the involvement of physical dimensions. Such investigation necessitates an explanation by demonstration of “self inquiry”, “middle way”, “dependent origination”, “emptiness/relational existence”, which are certain terms that signify the basic tenets of Buddhism. In light of such demonstration I explain my view of “definition”; the relations among quantity, physical dimension and number; meaninglessness of “zero quantity” and the associated logico-linguistic fallacy; difference between unit and unity. Considering the importance of the notion of electric field in physics, I present a critical analysis of the definitions of electric field due to Maxwell and Jackson, along with the physico-mathematical conversions of the verbal statements. The analysis of Jackson’s definition points towards an expression of the electric field as an infinite series due to the associated “limiting process” of the test charge. However, it brings out the necessity of a postulate regarding the existence of charges, which nevertheless follows from the definition of quantity. Consequently, I explain the notion of undecidable charges that act as the middle way to resolve the contradiction regarding the Millikan–Fletcher oil drop experiment. In passing, I provide a logico-linguistic analysis, in physico-mathematical terms, of two verbal statements of Maxwell in relation to his definition of electric field, which suggests Maxwell’s conception of dependent origination of distance and charge ) and that of emptiness in the context of relative vacuum. This work is an appeal for the dissociation of the categorical disciplines of logic and physics and on the large, a fruitful merger of Eastern philosophy and Western science. Nevertheless, it remains open to how the reader relates to this work, which is the essence of emptiness. (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)

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)

En este artículo, exploro la posibilidad de aplicar los métodos y resultados de la Agregación de Juicios al problema del desacuerdo lógico. Es decir, desarrollo y evalúo maneras en que individuos que desacuerdan lógicamente pueden generar una lógica colectiva. Pruebo una versión de la paradoja discursiva, donde el voto por mayoría en un grupo de lógicos estructurales puede generar lógicas subestructurales, y luego elaboro un resultado de imposibilidad más general. Más adelante, analizo diferentes maneras de evitar la paradoja, en (...) particular aquellas que apelan a restricciones de dominio. Finalmente, analizo brevemente la aplicación de estos resultados al debate sobre paradojas semánticas. (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.

This book is meant as a part of the larger contemporary philosophical project of naturalizing logico-mathematical knowledge, and addresses the key question that motivates most of the work in this field: What is philosophically relevant about the nature of logico-mathematical knowledge in recent research in psychology and cognitive science? The question about this distinctive kind of knowledge is rooted in Plato’s dialogues, and virtually all major philosophers have expressed interest in it. The essays in this collection tackle this important philosophical (...) query from the perspective of the modern sciences of cognition, namely cognitive psychology and neuroscience. _Naturalizing Logico-Mathematical Knowledge _contributes to consolidating a new, emerging direction in the philosophy of mathematics, which, while keeping the traditional concerns of this sub-discipline in sight, aims to engage with them in a scientifically-informed manner. A subsequent aim is to signal the philosophers’ willingness to enter into a fruitful dialogue with the community of cognitive scientists and psychologists by examining their methods and interpretive strategies. (shrink)

In questo articolo si analizzano congiuntamente l'origine delle idee e il loro uso regolativo. A questo scopo si comincia considerando la connessione tra uso logico della ragione e definizione della ragione in generale come facoltà dei principi. Si considera poi come la rappresentazione di un incondizionato derivi necessariamente dall'uso logico, e come quindi questo implichi necessariamente un uso reale della ragione. Si considera poi come le varie rappresentazioni dell'incondizionato diano origine alle idee trascendentali. Infine, si considera l'uso regolativo delle idee (...) alla luce della pratica di inferire dal quale derivano. (shrink)

The Tractatus Logico-Philosophicus first appeared in 1921 and was the only philosophical work that Ludwig Wittgenstein (1889-1951) published during his lifetime. Written in short, carefully numbered paragraphs of extreme compression and brilliance, it immediately convinced many of its readers and captured the imagination of all. Its chief influence, at first, was on the Logical Positivists of the 1920s and 1930s, but many other philosophers were stimulated by its philosophy of language, finding attractive, even if ultimately unsatisfactory, its view that propositions (...) were pictures of reality. Perhaps most of all, its own author, after his return to philosophy in the late 1920s, was fascinated by its vision of an inexpressible, crystalline world of logical relationships. C.K. Ogden's translation of the Tractatus Logico-Philosophicus has a unique provenance. As revealed in Letters of C.K. Ogden (1973) and in correspondence in The Times Literary Supplement , Wittgenstein, Ramsey and Moore all worked with Ogden on the translation, which had Wittgenstein's complete approval. The very name Tractatus Logico-Philosophicus was of Ogden's devising; and there is very strong feeling among philosophers that, among the differing translations of this work, Ogden's is the definitive text - and Wittgenstein's version of the English equivalent of his Logisch-Philosophische Abhandlung. (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)

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)