Filosofía de la Lógica

Este texto presenta, y en cierta medida analiza, ambigüedades existentes en textos de lógica y filosofía de la lógica (como la interpretación de los llamados principios, postulados, leyes o verdades lógicas, la coexistencia de la tesis de que toda relación presupone  la existencia de al menos dos relata y la de que una cosa puede relacionarse consigo misma, o la llamada "paradoja del mentiroso") bajo el supuesto de que, dado  que la lógica no es anterior a la semántica, un análisis semántico puede mostrar no solo que tal polisemia sugiere que ni la disciplina ni las teorías lógicas son tan rigurosas como se ha afirmado, sino también que varias  afirmaciones de esas disciplinas carecen de sentido.

La lógica de la Edad Media se presenta a los lógicos contemporáneos, filósofos medievalistas,  historiadores y filósofos de la lógica, como un campo tan fascinante como de difícil acceso. Parece difícil para casi cualquier investigador encontrar la punta del ovillo que conduzca a una presentación ordenada e inteligible de la lógica medieval. Este libro pretende solucionar este problema y presenta de manera ordenada y autocontenida los desarrollos lógicos de la parte técnicamente más evolucionada de la lógica de la Edad Media: el siglo XIV. A diferencia de otras presentaciones no evade los hechos históricos y culturales que conforman el panorama de la época ni las cuestiones filosóficas detrás de los desarrollos lógicos, a fin de entender cabalmente las cuestiones técnicas.
Los primeros tres capítulos se abocan a cuestiones generales, históricas y a la genealogía de los tópicos más importantes. El cuarto capítulo está dedicado a la presentación sintáctica del lenguaje de la lógica medieval. El quinto y el sexto a la metateoría de esta lógica. El séptimo explora y presenta la semántica de esta lógica. Los dos últimos nos brindan una reconstrucción racional en términos del lenguaje simbólico contemporáneo de la lógica de finales del siglo XIV.

El texto se ocupa de la influencia que ejerció el proyecto Leibniciano sobre una Characteristica universalis en los creadores de la lógica contemporánea. En particular, muestra que dicho proyecto se encuentra presente no solo en quienes cultivaron lo que Jan van Heijenoort denominó la concepción de la lógica como lenguaje, sino también en aquellos que cultivaban el enfoque de la lógica como cálculo.

Resúmenes de las XIV Jornadas Rolando Chuaqui Kettlun. Celebradas el 4, 5 y 6 de diciembre del 2013 en Concepción.

Índice:
CONFERENCIAS
- La Presencia de los Teoremas de Completud en la Obra de Leon Henkin / María Manzano (p.3)
- Interpretación informacional de la mecánica cuántica: ¿qué se entiende por información? / Olimpia Lombardi (p.4)

PONENCIAS
- El estatuto epistemológico de los instrumentos científicos / Francisco Covarrubias Villa y Ma. Guadalupe Cruz Navarro (p.6)
- ¿Cúmulos o sustratos? La estructura de los objetos particulares / José Tomás Alvarado Marambio (p.8)
- Racionalidad y engaño: porqué el egoísmo racional no nos hace morales / Alejandro Rosas Lopez (p.11)
- Justificación epistémica, contextos y prácticas / Eduardo Fuentes Caro (p.13)
- De la economía política a la ciencia económica: tres tensiones en el cambio de objeto de estudio de los fenómenos económicos / Daniel Jesús Durán Sandoval (p.15)
- Uma aplicação dos números transreais à Física / Walter Gomide (p.18)
- Gráficos Existenciales como Razonamiento Estructural / Javier Legris (p.21)
- Enunciados necesarios a posteriori, necesidad débil y racionalismo / Rafael Felipe Miranda Rojas (p.23)
- La idea de singularidad: Un ejemplo de transferencia epistemológica / Patricio Espinoza Cárcamo (p.26)
- La Filosofía para Niños como programa de desarrollo de habilidades del pensamiento científico / Carolina Arredondo Ramírez (p.28)
- Tiempo, cambio y el problema de congelar relojes / Rolando Núñez Pradenas (p.31)
- Individualismo psicológico; La unidad de análisis como presupuesto teórico / Pablo Contreras Kallens (p.33)
- Por una lógica dialógica de la ficción en la perspectiva artefactual / Juan Redmond (p.35)
- Problemas de ontología y causalidad en la física contemporánea / Wilfredo Quezada Pulido y Luis Pavez (p.37)
- Silogismos con términos indefinidos / Manuel Correia (p.39)

COMUNICACIONES
- El Círculo de Viena y Kurt Gödel: un acercamiento a su filosofía / Pablo Pérez Ayala (p.41)
- Dualismo Ontológico y Monismo Perceptivo: Consecuencias epistemológicas de las neurociencias / Nolberto Stoyan Salinas Vucina (p.44)
- Sistemas de Representaciones Implícitas en la Epistemología Profesional Docente de Profesores de Ciencias Experimentales / Alejandro Andrés Rocha Narváez y Ainoa Marzabal Blancafort (p.47)
- O Experimento e a Divulgação Científica: O Caso do anfiteatro da Royal Institution of Great Britain do século XIX / João Batista Alves dos Reis y
Ivoni de Freitas-Reis (p.49)
- Sobre el “Efecto de Gettier” y la Prueba Judicial: una repercusión epistemológica / Robert Calabria Díaz (p.51)
- Empatía y Otras Mentes: dos estrategias para el problema social de la mente ajena / Rodolfo Esteban Tapia León y Rodrigo González F (p.54)
- La válida presencia del creacionismo en el estudio dentro de las ciencias biológicas / Cristian Placencia Yáñez (p.56)
- Filosofía, Psicología y el Origen Evolutivo de las Capacidades Cognitivas / Victorino Javier Pérez Díaz (p.58)
- Relaciones entre Fleck y el post-empirismo / Elizabeth Padilla (p.60)
- Explicación científica y simulaciones computacionales / Juan Manuel Durán y Manuel Barrantes (p.62)
- Sobre indiscernibilidade dos idênticos segundo Willard Van Orman Quine / Kênio Angelo Dantas Freitas Estrela (p.64)
- Hacia un método de decisión para la Lógica de Predicados Monádicos de Primer Orden / Horacio Héctor Mercau y Andrés Hebrard (p.65)
- Scientia generalis en Leibniz: ¿ars demostrandi o ars inveniendi? / Javier Kasahara Barrientos (p.67)
- El Aspecto Normativo de las Leyes Fundamentales de la Matemática en el A System of Logic de John Stuart Mill / Ana Pía León Miranda (p.68)
- Lógica molecular difusa: concepto y aplicaciones en biología celular / Marco Lillo Unglaube, Andres Canales-Johnson y Claudio Fuentes Bravo (p.70)
- Ciencias de Diseño y racionalización de la acción / Rodrigo Antonio Lagos Vargas (p.71)
- La función biológica de la conciencia fenomenal
Nicolás Alarcón Zambrano. Universidad Andrés Bello / Ramiro Frick (p.73)
- Propiedades Emergentes en Ciencias Cognitivas Corporeizadas / Rodrigo Lagos y Ramiro Frick (p.74)
- A crítica ao holismo confirmacional de Quine em Penelope Maddy / Ronaldo Pimentel (p.75)
- El criterio de existencia relativa de B. Latour como una posible solución a los problemas ontológicos que plantea la historicidad del conocimiento científico / Federico Ricalde Sánchez (p.76)
- Evolución de los criterios para la clasificación de los elementos químicos. Perspectivas ontológicas y epistemológicas / Carlos Vergne y María Eugenia Márquez (p.77)
- Experimentos Mentales, Comprensión y la Tesis de la Pluralidad Lógica / Felipe Morales Carbonell (p.79)
- Dios y las probabilidades de un Universo finamente ajustado. ¿Por qué el Argumento del diseño no funciona? / Ramiro Frick y Leopordo Soto (p.80)
- Comprendiendo la selección natural, para entender la naturalización de la ética / Luis Adolfo Espinosa Soto (p.82)
- El problema de la variación semántica y la discusión entre composicionalistas y pragmatistas. Una alternativa al proposicionalismo semántico / Alfonso José Pizarro Ramírez (p.83)
- Los modelos científicos como artefactos cognitivos / Nora Schwartz (p.85)
- Los métodos matemático y trascendental: comentario sobre la matemática kantiana desde la interpretación de Jakko Hintikka / David Rojas Lizama (p.86)
- Información, creencia e inferencias default / Lautaro Elias Quiroga Aguilar (p.88)
- Epistemología Cognitivista desde R. Giere / Carlos Arturo Hernández (p.90)
-

Estoy muy honrado de participar en este homenaje de SADAF al cincuentenario de la publicación de Formas lógicas, realidad y significado de Thomas Moro Simpson. La razón de mi título es que voy a presentar brevemente una concepción abstracta de formas lógicas como propiedades universalmente aplicables. Esta es una concepción ontológica y metafísica, no lingüística. Los lenguajes formales e informales representan simbólicamente algunas formas lógicas, pero ningún lenguaje puede representar completamente todas las formas lógicas.

La lógica matemática es matemática en cuanto que usa herramientas matemáticas. En este sentido, la lógica matemática es matemática en el mismo sentido que lo es, digamos, la mecánica newtoniana. En ambos casos, el método es matemático, pero las ciencias mismas no lo son, pues su objeto de estudio pertenece a una realidad objetiva e independiente. En particular, las herramientas matemáticas que usa la lógica simbólica contemporánea --tanto en su simbolismo como en su cálculo-- se crearon originalmente para el desarrollo algebraico de la geometría, y luego fueron adaptadas al resto de las matemáticas y la lógica. A estas herramientas se les llama formales, pues permiten el cálculo con formas generales.

El presente artículo expone la filosofía de Albert Lautman (1908-1944)
señalando sus puntos de vista centrales, explicándolos brevemente, y mostrando cómo estos se relacionan entre sí en un todo. Esta exposición es distinta de las que se encuentran en la literatura dedicada al autor por su afán de sistematicidad. El objetivo es ofrecer una presentación lo más clara posible de la filosofía lautmaniana para introducir en ella a quien aún no la conozca y para clarificarla un poco más a quien ya le es familiar.

En este capítulo trato de mostrar las ventajas de abandonar la idea tradicional de que los componentes y operadores lógicos de una proposición están contenidos en ella como partes. En una disyunción, por ejemplo, ni los disyuntos ni la operación lógica de disyunción son partes de la proposición en ningún sentido sustancial. Decir que P, Q y la operación de disyunción son los componentes de PvQ debe entenderse mejor como diciendo que P, Q y la operación de disyunción determinan univocamente a la proposición PvQ, no más. Dadas dos proposiciones P y Q, existe una única proposición que es la disyunción de P y Q (y por eso la simbolizamos con la fórmula PvQ). Esto significa que una proposición P es una disyunción si y sólo sí tiene disyuntos, es decir si existen un conjunto de proposiciones (comúnmente un par) G tales que P es su disyunción. En terminos de condiciones de verdad esto significa que basta con que una o más de las proposiciones en G sea verdadera para que P sea verdadera, y vice versa, si P es verdadera, por lo menos una de las proposiciones en G es verdadera también.
Entre las ventajas que tiene adoptar esta perspectiva, está el poder explicar porqué la inferencia deductiva formal es productiva en vez de trivial. Si la forma lógica no está determinada por las partes de una proposición, entonces no es necesario para aprehender cualquier proposición, aprehender antes su forma lógica. Por el contrario, saber cuál es la forma lógica de una proposición requiere relacionar y comparar una proposición con otras. Continuando con el ejemplo anterior, sabemos que P es una disyunción, no porque ser una disyunción es parte de P, sino porque nos damos cuenta de que está así relacionada con otras proposiciones que, por ello, llamamos sus disyuntos.

Resúmenes de las XV Jornadas Rolando Chuaqui Kettlun. Celebradas el 15, 16 y 17 de octubre del 2014 en la Facultad de Matemáticas de la Pontificia Universidad de Católica de Chile

Indice del documento

CONFERENCIAS:
- Lógica y Probabilidad en Representacion de Conocimiento / Leopoldo Bertossi (p.3)

- Quasi-Truth, Evidence, and Scientific Reasoning / Otavio Bueno (p.4)

PONENCIAS:
- Equivalencia empírica e infradeterminación de la selección de teorías: ¿cuál es el verdadero problema?/ Pablo Thomas Acuña Luongo (p.6)

- El concepto de la existencia / José Tomás Alvarado (p.8)

- Verdad como identidad / Sebastián Briceño (p.10)

- La emergencia explicada como articulación / Santiago Castillo Ramírez (p.11)

- La subordinación de la lógica categórica a la lógica proposicional / Manuel Correia (p.13)

- La noción de autoorganzación en Ilya prigogine / Ronald Durán Allimant (p.14)

- De una ficción ontológica del precio natural a una ficción matemática del cálculo del placer y el dolor/ Daniel Jesús Durán Sandoval (p.15)

- La retórica de los genes: un análisis histórico-conceptual / Maurizio Esposito (p.17)

- La dinámica del matemático entre estudio, exploración de ideas y presentación de sus resultados / Norma B. Goethe (p.19)

- Identidad fingida: ¿Un tipo de hecho institucional? / Rodrigo González (p.19).

- Localidad de los procesos causales en teoría general de la relatividad / Manuel Jesús Herrera Aros (p.21)

- El problema de la inducción. Disquisiciones en torno al problema de la inducción en A system of logic de John Stuart Mill / Ana Pía León Miranda (p.22)

- La defensa filosófica del primer modelo cosmológico relativista, estático de Einstein de 1917 versus el modelo cosmológico relativista en expansión de Friedmann (1923) hasta 1931 / Oscar Ignacio León Salinas (p.24)

- El problema de la existencia de los objetos de ficción en la semántica de la lógica de predicados modal / Luis Urtubey (p.25)

- El criterio ontológico de la biología evolutiva / Rodrigo Medel (p.27)

- Cadenas causales cerradas en la física cuántica / Rolando Nuñez (p.29)

- Causalidad y espectralidad: examinando la difusión de lo causal en el mundo / Wilfredo quezada y Luis Pavez (p.30)

- Simetrías, cantidades observadas y prioridad ontológica / Diego Romero Maltrana (p.32)

- Complejidad biológica y ontogénesis / Davide Vecchi Guglielmini (p.34)

COMUNICACIONES:
- Una nueva perspectiva de la explicación historiográfica tras el monismo metodológico de Hempel / Fabrizzio Alberto Abarzúa Victoriano (p.37)

- Prácticas reduccionistas en la neurociencia: el caso de las bases moleculares de la memoria / Nicolás Vlado Acuña Luongo (p.37)

-  La selección natural y sus distintas interpretaciones / Carlos Andrés Alarcón Celedón (p.39)

- Sujeto de experiencias, modelo no posesivo del Yo y experiencias sin sujeto/ Angelo Briones Belmar (p.40)

- El flagelo Bacteriano: una "manufactura inteligente" a medias / Lucio Raúl Cañete Arratia (p.41)

- Causación y experiencias visuales / Ignacio Antonio Carvacho Díaz y Alfredo Sebastián Muñoz Alarcón (p.42).

- La definición matemática de dictadura: un vistazo introductorio a la teoría de elección social, y a su significado filosófico / Juan Castillo (p.43)

- Sobre los fundamentos metafísicos y trascendentales del movimiento en Kant / Diego Colomés (p.44)

- Ontología como metodología en la práctica Científica / Pablo Contreras Kallens (p.45)

- La cara criminal: Lombroso y las nuevas investigaciones sobre los rasgos del crimen  / Abigail Nieves Delgado (p.46).

- “Problemas com a traduçao radical  e adquisição da linguagem a partir da filosofía de Willard Van Orman Quine / Kênio  Estrela (p.47)

- Emergencia del lenguaje natural prescindieno de lenguaje de pensamiento / Claudio Guerrero (p.48).

- El juicio y proposición en Franz Brentano y Gottlob Frege / Rodrigo López (p.49)

- El rol del experimento mental en el "abuso" de lo necesario a posteriori / Rafael Miranda (p.51)

- Imágenes mentales, causalidad física y pseudoprocesos / Alfredo Sebastián Muñoz Alarcón y Wilfredo Quezada Pulido (p.53)

- El uso en la forma: principios cognitivos y expresividad elocutiva / Claudia Muñoz (p.54)

- Una defensa del principio de credulidad fenomenológica / David Muñoz (p.55)

- Explicación causal mecánica: reduccionismo, emergencia e intervención / Joao Muñoz Sepúlveda (p.56)

- Modelos y representación en ciencias sociales / Griselda Noemí Ríos (p.57).

- La Construcción de modelos cientíicos a partir de objetos-eje Físicos en la enseñanza de las ciencias: Un Aporte a la formación de docentes de EGB / Alejandro Andrés Rocha Narváez (p.58)

- Un análisis filosófico de la evidencia experimental de las partículas subatómicas / Ignacio Rojas (p.60).

- La causación como concepto sintático / Luis Saavedra (p.61)

- ¿Epifenomenalismo en Donald Davidson? / Christian Donoso (p.61)

- La Base semiótica del conocimiento en Leibniz / Marcelo Yujra Flores (p.62)

Los estudios empíricos provenientes del ámbito de la psicología cognitiva han mostrado que el razonamiento humano no se guía por las prescripciones de la lógica. Por el contrario, estos estudios advierten que el razonamiento humano se apoya en la construcción de modelos mentales de baja demanda computacional y que existen ciertos patrones de procesamiento, denominados sesgos cognitivos, que están directamente vinculados a los típicos errores de razonamiento. El objetivo de este trabajo consiste en analizar de qué manera estas características del razonamiento humano están vinculadas con la aprehensión del concepto de consecuencia lógica. Para esto, realizamos un estudio exploratorio en un grupo de estudiantes  universitarios de un curso introductorio de lógica de primer orden, a fin de observar si existe alguna relación entre el uso de lenguajes formales y la evaluación de argumentos. Encontramos que existe una correlación significativa entre el uso de lenguajes formales, por un lado, y de métodos sintácticos, por otro, y la capacidad para establecer la validez de un argumento. Estos resultados apoyarían la hipótesis de que los métodos y lenguajes formales constituyen una herramienta indispensable para la enseñanza de la lógica. Si bien las propuestas pedagógicas más cercanas al razonamiento intuitivo pueden ser útiles en una primera aproximación a conceptos centrales en lógica, nuestro estudio advierte algunas consecuencias negativas de estas propuestas didácticas que estarían vinculadas a la activación de algunos sesgos de razonamiento.

En las presentes líneas pienso hacer algunas reflexiones sobre uno de los últimos artículos de Jaakko Hintikka sobre la naturaleza de la Lógica. Dicho artículo titulado “¿Qué es la lógica?”  co-escrito con Gabriel Sandu, aparece traducido al español en el texto Filosofía de la Lógica coordinado por María José Frápolli en el año 2007. Si bien a primera vista se trata de un escrito introductorio a la lógica desde coordenadas filosóficas más que formales, en el aparecen tesis e ideas que el mismo Hintikka defendió a lo largo de su obra, en especial, aquellas ideas sobre la naturaleza de la inferencia o el tipo de lógica que debe ser la lógica. Para ser más preciso, mis comentarios giraran en torno a los primeros apartados de dicho artículo.

In this paper, I try to find a way of dissolving the tension existing between logical pluralism and the normative status of logic. To do this, on the one hand, regarding the normative status of logic, I defend an externalist perspective of normativity as long as logic has a normative role for social practices of rational interaction. On the other hand, regarding the nature of logic, I argue that logic is the result of a process of reflective equilibrium; logical laws are obtained from a process of mutual adjustment and adaptation with argumentative practices. Therefore, different processes of reflective equilibrium give rise to different logical systems. I show that this externalist characterization of the normativity of logic in conjunction with the thesis of reflective equilibrium enables to defend a version of logical pluralism that doesn't enter into conflict with the normativity.

El objetivo de esta obra es triple: i) presentar al lector las traducciones al castellano de los textos más relevantes de las distintas teorías de la verdad desarrolladas en el siglo XX y principios del siglo XXI; ii) exponerlas de manera organizada en siete grupos bien definidos: teorías de la correspondencia, pro-oracionales, fenomenológicas, hermenéuticas, coherenciales, pragmatistas e intersubjetivas; iii) poner de relieve mediante dicha división la idea de que la verdad es un concepto multifacético y que, por tanto, una adecuada aproximación a su problemática ha de incluir las diversas perspectivas que comprende. Palabras clave: correspondentismo, pro-oracionalismo, fenomenología, hermenéutica, pragmatismo, intersubjetivismo.

Resumen En este trabajo muestro, brevemente, las concepciones de Franz Brentano (1838-1917) y Gottlob Frege (1848-1925) acer-ca del juicio, respecto a su visión acerca de aquello que se pueda establecer como la unidad mínima del conocimiento. Sus ideas son muy importantes para lo que inaugurarán ambos filósofos para el siglo XX, por la fuerza y la recepción de sus ideas: el psicologismo y fenomenología (Brentano), y el logicismo (Frege).

El presente articulo intenta responder algunos de los mas importantes interrogantes sobre la logica deontica, puesto que ha habido profundos malentendidos con respecto a su naturaleza y a la forma en que se diferencia de otros tipos de logica. Algunos de los problemas que se han abordado en este trabajo son: ?que entendemos cuando hablamos de logica deontica? ?Cual es su objeto de estudio? ?Es lo mismo que la logica juridica? ?Es mas deseable definir tal disciplina simplemente como logica del deber ser? ?Existe alguna diferencia entre normas y proposiciones normativas? Las respuestas a estos interrogantes permitiran arribar una nocion mas nitida de logica deontica y esclareceran su peculiar jurisdiccion conceptual.

En este trabajo me propongo indagar y explicitar el sistema de lógica deóntica esbozado por Georg Henrik von Wright en 1951. Esto es: analizar cuáles son sus presupuestos básicos; examinar si se trata de una lógica derivada de otras lógicas o si, por el contrario, se trata de una lógica totalmente novedosa e inédita para la época; explicitar cuáles son sus operadores, sus variables y sus conectivas, es decir, su nomenclatura; y finalmente, se observará cuáles son sus principios y leyes fundamentales. Asimismo, se examinará el problema principal que, según creemos, motivó el desarrollo de este sistema y, por último, se expondrán los caracteres generales de dicho sistema y se lo ubicará en la clasificación de lógicas no clásicas propuesta por Susan Haack en su obra Lógica divergente.

Una interpretación particularmente influyente de la teoría de la implicación lógica de Bertrand Russell y Clarence I. Lewis es la propuesta por Quine en su artículo “Reply to Professor Marcus”. Allí Quine sostiene que la lógica modal de Lewis nació en pecado: el pecado de confundir uso con mención, ya que cuando se afirma que una oración implica lógicamente a otra, estas oraciones no están siendo usadas sino mencionadas. Según la interpretación de Quine, Clarence I. Lewis persistió en el error de Russell, que consistió en confundir la implicación material con la implicación lógica, y confundió la implicación estricta con la implicación lógica. Estos ‘pecados’ de Russell y Lewis pueden entenderse mejor si se tiene en cuenta que tanto Lewis como Russell sostienen que los axiomas y los teoremas en un cálculo lógico se usan de dos maneras: (a) como premisas a partir de las cuales se obtienen nuevos teoremas, y (b) como reglas de inferencia mediante las cuales se obtienen nuevos teoremas. En efecto, estos autores suscriben la teoría del doble uso de los principios lógicos que parece originarse en la obra de Peano y que ha sido casi completamente ignorada en la literatura acerca de la historia de la lógica.

A particularly influential interpretation of Bertrand Russell’s and Clarence I. Lewis’s theory of logical implication is the one proposed by Quine in his article "Reply to Professor Marcus". In that article Quine argues that Lewis's modal logic was born in sin: the sin of confusing use with mention, since when it is stated that a sentence logically implies another sentence, these sentences are not being used but mentioned. According to Quine's interpretation, Clarence I. Lewis persisted in Russell's error, which consisted in confusing material implication with  logical implication, and confused strict implication with logical implication. These 'sins' of Russell and Lewis can be better understood if we take into account that both logicians argue that the axioms and theorems in a logical calculus are used in two ways: (a) as premises from which new theorems are obtained, and (b) as rules of inference by which new theorems are obtained. In fact, these authors subscribe to the theory of the double use of logical principles that seems to originate in Peano's work and that has been almost completely ignored in the literature about the history of logic.

Resumen: Una de las funciones que se atribuye a los formalismos lógicos en contextos filosóficos consiste en volver transparente la (in)validez de argumentos del lenguaje natural. Esta aplicación de la lógica matemática a la evaluación de argumentos del lenguaje natural involucra un proceso de formalización, i.e. la asignación de fórmulas de los lenguajes de la lógica a las oraciones que componen esos argumentos. Algunas de las teorías de la formalización pretenden proporcionar criterios para determinar si una fórmula lógica es una formalización adecuada de una oración del lenguaje natural y conciben la justificación de una formalización mediante estos criterios como un proceso que involucra un equilibrio reflexivo entre juicios intuitivos de (in)validez y reglas lógicas. En este trabajo examinaremos los argumentos que se han presentado en la literatura para sostener que esta teoría de la formalización lógica resulta insatisfactoria porque genera una paradoja de la justificación. Palabras clave: formalización de argumentos; forma lógica; equilibrio reflexivo; validez formal e informal; justificación de las formalizaciones  XI°Jornadas de Investigación en Filosofía Facultad de Humanidades y Ciencias de la Educación-UNLP Ensenada, 8 a 11 de agosto de 2017

This paper adapts Grim´s Cantorian argument against the existence of the set of all truths in order to show that there is no set of all —deductive; valid; sound— arguments.
Este trabajo adapta el argumento cantoriano de Grim en contra de la existencia del conjunto de todas las verdades con la finalidad de mostrar que no existe el conjunto de todos los argumentos —deductivos; válidos; sólidos—.

Las Redes de Expectativas Marlo combinan los principios de la inferencia lógica y de la probabilidad matemática para generar un modelo en el que las conclusiones de los razonamientos pueden ser verdaderas, falsas, probables o inciertas en distinto grado. Se pretende representar la maya teórica y comunicable de expectativas con la que los sistemas cognitivos codifican la experiencia a fin de anticipar presencias o ausencias a partir de las presencias o ausencias de objetos relacionados. Se organizan en árboles bayesianos con nodos objeto, nodos OR cualitativos y nodos AND cuantitativos que transmiten la activación a sus asociados y sirven como antecedentes en los esquemas de acción del sistema, aunque las redes tejen conjuntos en los que no siempre es posible distinguir entre activación de receptores y de expectativas. Los conectores lógicos comunican lo que es razonable esperar eliminando posibilidades de una red cuya complejidad depende del número de conceptos en juego y del número de divisiones que hagamos en ellos. Así, podemos juzgar un estímulo desde nada a totalmente ajustado a un criterio y aunque categorías dicotómicas son económicas cognitivamente, no siempre son rentables.

Este trabajo es una versión previa del texto aparecido como capitulo de libro en Metodología de la investigación jurídica. Propuestas contemporáneas, Editado por Guillermo Lariguet.

El objeto del presente artículo es presentar una nueva perspectiva acerca de la relación entre lógica formal y razonamiento jurídico. La idea de este nuevo papel para la lógica, es prácticamente desconocido en el ámbito del derecho. Expresada de manera negativa, la novedad consiste en no utilizar la lógica-como se ha hecho hasta ahora-ni como una herramienta para el análisis conceptual, ni como un mecanismo normativo para evaluar la calidad de los argumentos, ni como la depositaria de los elementos para indagar la arquitectura de los sistemas normativos. De manera positiva, digamos que, desde esta nueva perspectiva, la lógica pretenderá una representación del razonamiento de los actores de un proceso judicial, justificando sus sentencias en un contexto dinámico determinado por los hechos. En otras palabras, proponemos un enfoque lógico centrado en los actores y los hechos y que permita describir distintos tipos de razonamientos prácticos a partir de alguna representación de los mismos. Es menester, a fin de situarse en esta concepción de la lógica, volver a ideas pre-fregeanas respecto de la misión, naturaleza y objetivos de la disciplina, pero ayudados por desarrollos técnicos contemporáneos. Desde este enfoque, la misión de la lógica es modelar como razonan los humanos en situaciones concretas más que ser la guardiana de la corrección de razonamientos ideales. Los resultados pretenden echar luz sobre la manera en que se procede epistémicamente cuando se razona jurídicamente, representado esto en una lógica para los razonamientos prácticos, una lógica que pueda ser una herramienta adecuada tanto para quienes opinan que en derecho se razona mediante reglas, como para quienes sostienen que se razona fundado en los hechos y la experiencia. Un camino que pueda dar a la lógica el alcance suficiente como para superara la Tesis de la Insuficiencia (Moreso, et. al., 1992, p. 247). Se trata de un artículo sobre la lógica y sus funciones-un artículo de filosofía de la lógica-no un artículo de lógica. Esto y razones de espacio nos llevan a evitar cuestiones formales que pueden ser zanjadas apelando a la bibliografía.

Se muestra la utilidad de la aplicación de la lógica paraconsistente en tecnología. Ella tiene como consecuencia una valoración de la semántica de la lógica empleada y, como consecuencia, pueden valorearse cuestiones propias de la filosofía de la lógica, como el problema del vínculo entre las necesidades lógicas para la inteligencia artificial a diferencia de su uso para modelar la inferencia humana. La noción de consc¿ecuencia lógica también puede ser repensada.

Las Redes de Expectativas Marlo combinan los principios de la inferencia lógica y de la probabilidad matemática para generar un modelo en el que las conclusiones de los razonamientos pueden ser verdaderas, falsas, probables o inciertas en distinto grado. Se pretende representar la maya teórica y comunicable de expectativas con la que los sistemas cognitivos codifican la experiencia a fin de anticipar presencias o ausencias a partir de las presencias o ausencias de objetos relacionados.

Se organizan en árboles bayesianos con nodos objeto, nodos OR  cualitativos y nodos AND cuantitativos que transmiten la activación a sus asociados y sirven como antecedentes en los esquemas de acción del sistema, aunque las redes tejen conjuntos en los que no siempre es posible distinguir entre activación de receptores y de expectativas.

Los conectores lógicos comunican lo que es razonable esperar eliminando posibilidades de una red cuya complejidad depende del número de conceptos en juego y del número de divisiones que hagamos en ellos. Así, podemos juzgar un estímulo desde nada a totalmente ajustado a un criterio y aunque categorías dicotómicas son económicas cognitivamente, no siempre son rentables.