O propósito deste trabalho é analisar a estrutura e discutir a aplicação da(s) lógica(s) deôntica(s) na representação de normas jurídicas. Após uma apresentação desta(s) lógic(s) e, em particular, do sistema de von Wright e da SDL (Standard Deontic Logic), veremos as dificuldades de se aplicar uma lógica à análise do direito positivo: as regras da lógica devem permitir realizar sobre as normas formalizadas somente os tipos de inferência e operaçôes lógicas intuitivamente feitas pelos juristas, ou seja, a (...) reconstrução lógica do direito positivo não se trata de uma tarefa de criação do direito, mas uma tarefa de representação daquilo que o conceito de direito usual reconhece como tal. Para ilustrar estas dificuldades, abordaremos as propostas de Carlos Alchourrón em artigo de 1975, “Condicionalidad y la representación de las normas jurídicas”. (shrink)

Este trabajo tiene por objeto analizar la noción de ciencia jurídica de los profesores Carlos E. Alchourrón y Eugenio Bulygin. Ésta parte del presupuesto de que la ciencia jurídica no está autorizada a crear nuevo Derecho, sino que sólo puede aspirar legítimamente a representarlo de alguna manera. Eso no significa que la suya sea una actividad meramente especulativa, en el sentido etimológico del término. Esto es, la ciencia jurídica no se limita a reflejar, como en un espejo, (...) el Derecho tal y como se nos presenta empíricamente, sino que confiere a éste un importante valor añadido a través de su sistematización. La primera parte de este trabajo está dedicada a exponer el modelo científico propuesto por los mencionados autores. En la segunda parte se presta especial atención a la cuestión de la separación entre descripción y prescripción en la actividad de la ciencia jurídica. Por último, en la tercera parte se cuestiona la utilidad del modelo propuesto sobre la base de los postulados teóricos de que se le hace partir, a lo que se suman ciertas dificultades metodológicas. (shrink)

No capítulo 1, “Do escudo de Aquiles à capa do Batman: o heroísmo togado e seus riscos à democracia”, discutimos a ascensão do protagonismo político no Poder Judiciário a partir da categoria antropológica do herói, expondo a delicada relação entre heroísmo e instituições democráticas. Para isso, traçamos um breve histórico do heroísmo e suas características, apresentando, posteriormente, uma analogia entre elas e a atuação do Ministro Joaquim Barbosa no curso da Ação Penal nº 470 do STF (Caso Mensalão). Tecemos também (...) alguns apontamentos sobre o Estado Democrático de Direito, a função do Poder Judiciário e os riscos que a propagação de escândalos públicos e a flexibilização de regras e princípios jurídicos podem trazer às instituições do Estado Democrático de Direito. O tema de fundo dessa análise é a relação simbiótica entre a violência e a produção mítica de heróis, segundo a teoria de Girard. No capítulo 2, “Satã: a violência na fundação da cultura”, analisamos a obra “Vejo Satã cair como um relâmpago”, de René Girard, apresentando sua teoria (mimética) e seu estudo antropológico da Bíblia e dos Evangelhos. O intuito é demonstrar a possibilidade de interpretar racionalmente dados antes percebidos como sobrenaturais, explorando, com Girard, as contribuições da revelação judaico-cristãs para a relação entre o homem, a violência e a organização político-religiosa do mundo antigo. O principal tema exposto na resenha é o da violência fundadora, base da cultura e da sociedade, que Girard identifica na figura bíblica de Satã. Mais do que mero símbolo religioso, Satã é a representação de um mecanismo de pacificação deflagrado em situações de crise social. Seu modus operandi consiste na reunião da sociedade contra um inimigo comum, um bode expiatório contra o qual levantam-se falsas acusações que sustentam sua perseguição e assassinato. Consideramos esse tema fundamental para a moderna e contemporânea compreensão dos processos de perseguição e vitimização político-social. A revelação cristã é a entrada em cena, no campo histórico, de um pensamento que se coloca francamente ao lado da vítima acusada pela comunidade. As ideologias penais da proteção do débil, os direitos individuais e os direitos humanos são efeitos políticos e jurídico do triunfo da cruz sobre a cultura satânica do assassínio de bodes expiatórios. No capítulo 3, “A violência no Direito: confissão e produção de bodes expiatórios”, aplicamos a teoria mimética para compreender o instituto jurídico da confissão do ponto de vista antropológico. Com base no Livro de Jó, investigamos a origem religiosa da extração forçada de confissões e demonstramos sua íntima relação com os rituais religiosos praticados na antiguidade, que usavam da assunção de culpa como um instrumento para legitimar a violência contra seus bodes expiatórios. Com isso, pretendemos apontar para a necessidade de mitigação do valor probatório da assunção de culpa no contexto de um Estado Democrático de Direito. Incorporada às intuições jurídicas, a confissão deve ser tomada como instrumento laico e totalmente desvinculado das práticas expiatórias que lhe deram origem. No capítulo 4, “Direito penal e preocupação pelas vítimas: a renovação dos princípios de ofensividade e proteção de bens jurídicos após a experiência do totalitarismo", analisamos o surgimento e desenvolvimento da ideia de crime como ofensa a bens jurídicos. Trata-se de um ensaio de história das ideias jurídicas em que traçamos a evolução histórica das ideias de ofensividade e proteção de bens jurídicos, desde sua gênese na experiência liberal e iluminista, passando por seu enfraquecimento durante o Direito Penal nacional-socialista, até culminar em seu ressurgimento e renovação nos dias atuais. O intuito desta análise é situar o princípio da ofensividade, enquanto garantia assegurada nas Constituições do Pós-guerra, no quadro histórico da moderna preocupação pelas vítimas, efeito cultural da religião cristã que discutimos no capítulo 2 (“Satã: a violência na fundação da cultura”). Por fim, no quinto e último capítulo, “O Direito após a revelação do mecanismo vitimário”, procuramos rematar a temática do Direito no quadro da antropologia de Girard, explorando o papel desempenhado pela revelação cristã do mecanismo expiatório na cultura ocidental, especialmente no que diz respeito à formação de uma ética de proteção das vítimas, eixo fundamental dos Direitos Humanos. Por isso, demonstramos como o Direito Penal, no ocidente, está dividido entre o sacrifício e o perdão. Resultado da lógica do cristianismo sacrificial, o moderno Direito constitui-se na forma híbrida de um Katéchon: ou seja, como racionalização do mecanismo vitimário, re-direcionado, por meio das instituições jurídicas e políticas, contra atos de perseguição de minorias e vulneráveis . (shrink)

Aunque el derecho probatorio y el derecho procesal se han dedicado desde siempre al estudio de los problemas relacionados con las pruebas y el establecimiento de los hechos en los procesos judiciales, el énfasis ha estado siempre en el aspecto formal, doctrinal y procedimental en detrimento de los fundamentos filosóficos y teóricos. Durante los últimos años ha habido un intento sostenido de explorar estos fundamentos combinando no sólo las herramientas tradicionales proporcionadas por la lógica, la gramática y la retórica, (...) sino también los avances hechos en ciencias como la estadística y la probabilidad, la medicina y la psicología forenses, la psicología de la percepción, la epistemología y la filosofía de la ciencia. El presente libro reúne las contribuciones de destacados juristas y filósofos latinoamericanos a esta nueva perspectiva interdisciplinaria, conocida como epistemología jurídica. El libro está dividido en tres grandes temas: la primera parte explora los problemas epistemológicos del conocimiento de los hechos en los procesos judiciales; la segunda se enfoca en el problema de los estándares de prueba; y la sección final discute el testimonio de los expertos. En su conjunto el libro ofrece un panorama tanto de los problemas centrales de la epistemología jurídica, como del estado del arte de la disciplina. (shrink)

La doctrina establecida por la Corte Suprema de Justicia de la Argentina en relación a los crímenes de lesa humanidad cometidos durante la última dictadura militar, expresamente declaraba la obligación del Estado de investigar y juzgar a los responsables de su comisión. La Corte no sólo caracterizó dichos delitos, sino que también estableció que no eran susceptibles de amnistía, indulto, ni prescripción. Pero, en el año 2017 dictó el fallo “Muiña” donde, por voto mayoritario, decidió otorgarle el beneficio del “2 (...) por 1” a un condenado por dichos delitos. La consecuencia fue su inmediata libertad por el vencimiento de la condena. La respuesta de la sociedad fue clara. Con diversas manifestaciones, la sociedad civil, las instituciones y las personalidades públicas se declararon en contra de la sentencia. Más aún, del voto de los mismos jueces se observan expresiones que denotan un gran pesar a la hora de tomar la decisión. Más precisamente, sostenían estar ante un dilema. En este trabajo, lejos de realizar un análisis de la interpretación jurídica que se efectuó en la sentencia, se propone trabajar sobre el concepto de dilema y la posibilidad de aplicación en el presente caso. La finalidad concreta es indagar si se está ante un dilema y en su caso si los jueces utilizan este concepto como un arma argumentativa para lograr adhesión o compasión de la opinión pública. En este sentido, se comenzará relatando el marco jurídico del fallo, donde se describirá la historia judicial de Muiña y los argumentos dados por el voto mayoritario y el minoritario de la Corte. Luego, se realizará un análisis del concepto de dilema, para reconstruirlo sobre la base de dos grandes posturas: Una lógica conceptual y otra fenomenológica. Posteriormente, se realizará un examen de la dimensión institucional del derecho y la moralidad judicial, para - finalmente - poder intentar responder si se está efectivamente ante un dilema. (shrink)

Aunque el derecho probatorio y el derecho procesal se han dedicado desde siempre al estudio de los problemas relacionados con las pruebas y el establecimiento de los hechos en los procesos judiciales, el énfasis ha estado siempre en el aspecto formal, doctrinal y procedimental en detrimento de los fundamentos filosóficos y teóricos. Durante los últimos años ha habido un intento sostenido de explorar estos fundamentos combinando no sólo las herramientas tradicionales proporcionadas por la lógica, la gramática y la retórica, (...) sino también los avances hechos en ciencias como la estadística y la probabilidad, la medicina y la psicología forenses, la psicología de la percepción, la epistemología y la filosofía de la ciencia. El presente libro reúne las contribuciones de destacados juristas y filósofos latinoamericanos a esta nueva perspectiva interdisciplinaria, conocida como epistemología jurídica. El libro está dividido en tres grandes temas: la primera parte explora los problemas epistemológicos del conocimiento de los hechos en los procesos judiciales; la segunda se enfoca en el problema de los estándares de prueba; y la sección final discute el testimonio de los expertos. En su conjunto el libro ofrece un panorama tanto de los problemas centrales de la epistemología jurídica, como del estado del arte de la disciplina. (shrink)

En este capítulo ofrecemos una introducción sistemática e histórica a la lógica, disciplina que contribuyó en gran medida a la producción del conocimiento en general y a la formación del pensamiento científico en particular. La primera sección contiene la introducción sistemática: primero, presentamos las distintas disciplinas que forman parte de la lógica en el sentido amplio del término; luego, identificamos a la lógica en sentido canónico o estricto como el estudio la validez; por último, explicamos en qué (...) sentido la validez es una propiedad formal. La segunda sección contiene la introducción histórica; nos detenemos, en particular, a estudiar dos hitos: el nacimiento de la lógica como disciplina con Aristóteles, y la intervención de Gottlob Frege, a quien se debe, en gran parte, el surgimiento de la lógica tal como la conocemos. Finalmente, damos un breve comentario del estado actual de la disciplina. (shrink)

In this paper we discuss the notions of adequacy and truth functionality in quantum logic from the point of view of a non-deterministic semantics. We give a characterization of the degree of non-functionality which is compatible with the propositional structure of quantum theory, showing that having truth-functional connectives, together with some assumptions regarding the relation of logical consequence, commits us to the adequacy of the interpretation sets of these connectives. An advantage of our proof is that it is independent of (...) the number of truth values involved, generalizing previous works. We also show the failure of the adequacy of every Nmatrix that is a model of the non-distributive lattice of quantum propositions. En este trabajo discutimos las nociones de adecuación y veritativo-funcionalidad en la lógica cuántica, desde el punto de vista de una semántica no determinista. Damos una caracterización del grado de no-funcionalidad compatible con la estructura proposicional de la teoría cuántica, mostrando que tener conectivos veritativo-funcionales, junto con algunos presupuestos relativos a la relación de consecuencia lógica, nos compromete con la adecuación de los conjuntos de interpretación de estos conectivos. Un punto ventajoso de nuestra prueba es que se independiza de la cantidad de valores de verdad involucrados, generalizando trabajos previos. Probamos también que falla la adecuación de cualquier Nmatriz que sirva como modelo para el retículo no distributivo de proposiciones cuánticas. (shrink)

By elaborating on the results presented in Lógica cuántica, Nmatrices y adecuación I, here we discuss the notions of adequacy and truth functionality in quantum logic from the point of view of a non-deterministic semantics based on Nmatrices. We present a proof of the impossibility of providing a functional semantics for the quantum lattice. An advantage of our proof is that it is independent of the number of truth values involved, generalizing previous works. Due to the impossibility of defining (...) adequate interpreting sets for the conjunction and disjunction (as was shown in our previous work), it follows that a homomorphism between the lattice of quantum projections and a Boolean algebra of n-elements cannot exist. (shrink)

Discuto la tesi di Micheletti secondo la quale ogni spiegazione fattuale presuppone premesse di ordine superiore rispetto alla spiegazione (M.Micheletti, “Radical Divine Alterity and the God-World Relationship”). Nella prima sezione del testo introdurrò la tesi, muovendo dalla analisi di alcuni esempi di spiegazione, ed elencherò le ragioni che (apparentemente) richiedono la postulazione di higher-degree propositions per rendere conto di factual propositions. Nella seconda sezione regimenterò logicamente la tesi di Micheletti. Nella terza sezione discuterò la validità della logica della spiegazione così (...) introdotta, con un’attenzione particolare alla analisi semantica della nozione di spiegazione, allo statuto modale delle ragioni che costituiscono una spiegazione, e all’approccio grammaticale alle higher order propositions. Nella quarta e ultima sezione avanzerò brevissime considerazioni conclusive. (shrink)

Un libro de texto de lógica, argumentación y razonamiento probabilístico que he estado escribiendo durante los últimos años. Lo he usado para clases en bachillerato, licenciatura y posgrado. Está incompleto todavía, pero las primeras tres partes (argumentación, lógica proposicional, y cuantificación) están completas a un 85%, aproximadamente. Si lo usas, me ayudarías mucho mandándome comentarios, críticas y cualquier sugerencia.

El artículo da noticia del marco de la discusión contemporánea acerca del lenguaje en el ámbito angloamericano, con el objetivo de lograr una mejor comprensión del trabajo en torno al lenguaje que viene desarrollándose en los últimos años. Se ofrece un breve panorama histórico de la filosofía del lenguaje de la primera mitad del siglo XX que se centró particularmente en la lógica y de describe la transformación pragmatista de la filosofía del lenguaje acaecida en las últimas décadas, para (...) finalmente desvelar algunas de las claves que —a juicio del autor— resultan decisivas para una cabal comprensión del lenguaje jurídico. (shrink)

En este artículo presentamos una posible vía para interpretar las nociones de posibilidad y necesidad desarrolladas en el seno de la lógica megárico-estoica como operadores modales aléticos. Se introducirá la semántica megárico-estoica como trasfondo metafísico de las definiciones de necesidad y posibilidad y se ofrecerán argumentos para abandonar las interpretaciones predominantes que incluyen variables temporales ad hoc. Tras proponer la lectura de las definiciones diodóricas desde una semántica modal relacional se señalará una serie de temas que merecen ser revisitados (...) desde esta óptica. (shrink)

La lógica es para Husserl una ciencia de la ciencia, una ciencia de lo que todas las ciencias tienen en común respecto de sus modos de validación. De este modo, la lógica trata por un lado con leyes universales relacionadas con la verdad, la deducción, la verificación y la falsación; y, por otro lado, con leyes relacionadas con la teoría como tal, y con lo que produce la unidad teorética. Ambos tipos de leyes se refieren por una parte (...) a las proposiciones de una teoría y por otra parte al dominio de objetos al que esas proposiciones se refieren. Este ensayo presenta una perspectiva sistemática del punto de vista husserliano sobre estos temas tal como él lo expone en sus Investigaciones Lógicas. Se muestra la manera en que su teoría de los significados lingüísticos en tanto especies de actos mentales, su ontología formal de la parte, el todo y la dependencia, su teoría de las categorías significativas, y su teoría de la intuición categorial combinada con su teoría de la ciencia conforman un todo singular. Finalmente, este trabajo explora la forma en que las ideas de Husserl sobre estos temas pueden ser reactivadas para resolver problemas en la filosofía del lenguaje, la lógica y la matemática de un modo que haga justicia al rol de la actividad mental en cada uno de estos dominios, evitando al mismo tiempo caer en los problemas del psicologismo. (shrink)

Con una metodología analítico-sintética, el propósito del presente artículo es ofrecer un fundamento teórico sobre la legitimidad de los actos y las decisiones morales. Por consiguiente, se resolverá la siguiente cuestión: ¿cuál es la función ética del derecho, en el marco del ejercicio de una conciencia y consciencia construidas por agentes morales? Se concluye que la coacción legítima debe fundarse en la protección universal de toda persona y en el sometimiento a objeciones por parte de los ciudadanos, con el propósito (...) de revisar la legitimidad y legalidad de las normas jurídicas. (shrink)

Karl Popper presenta al realismo como su posición acerca del conocimiento, distinguiéndola del instrumentalismo y del esencialismo. Ataca del primero la consideración meramente instrumental de las teorías científicas. Del segundo, critica que sostenga la posibilidad de establecer la verdad definitiva de las teorías, y que éstas describen esencias. El instrumentalismo coincide con Popper en que no hay conocimiento de esencias a través de las teorías científicas, pero de ello infiere que las teorías son meros instrumentos. Popper señala que el carácter (...) meramente instrumental de las teorías las vuelve irrefutables. Porque un instrumento de predicción no puede ser refutado (cf. Popper (1972a, p. 149)). Además, el instrumentalismo no puede explicar el interés del científico por la verdad. Su esencialismo modificado, toma del esencialismo que “el científico aspira a una verdadera descripción del mundo o de algunos de sus aspectos, y a una explicación verdadera de los hechos observables” (Popper, 1972a, p. 150). Pero agrega que no es posible saber con certeza si sus hallazgos son verdaderos. Resaltar el carácter conjetural de las teorías científicas no implica disminuir la aspiración del científico a describir algo real. (shrink)

Intervistati sul valore di questo testo, gli autori hanno dichiarato: «o questa affermazione è falsa, oppure questo è il miglior eserciziario di logica che sia mai stato scritto». Se la loro affermazione vi risulta poco comprensibile, ma avete intenzione di capirci qualcosa di più, questo eserciziario può fare al caso vostro! È uno strumento che integra ed estende un comune manuale di logica – ma che non si sostituisce ad esso, mancando la parte teorica –, ed è pensato per coloro (...) che hanno intrapreso lo studio della logica per la prima volta e desiderano farne pratica. Il testo si rivolge principalmente agli studenti universitari che seguono un corso base di logica, ma anche a chi sta tentando di barcamenarsi con questa disciplina al di fuori dell’ambiente accademico. Se sarete disposti a mettervi in gioco e a spremervi un po’ le meningi, scoprirete che o l’affermazione degli autori è falsa o questo è davvero il miglior eserciziario di logica che sia mai stato scritto! (shrink)

El “Derecho” o “derecho”, como quiera que se escriba su grafía, en forma constante o inconstante, en un mismo texto, o en distintos textos, y por la razón que fuere que se escoja la mayúscula o la minúscula para designarlo, es un objeto muy complejo, y por eso mismo susceptible de ser investigado. Comencemos por un dato de biografía académica. Es el siguiente: desde hace algunos años, en el curso de posgrado de metodología de la investigación jurídica que doy (...) en la Facultad de Derecho y Ciencias Sociales de la Universidad Nacional de Córdoba, Argentina, no me canso de insistir en dos temas a los estudiantes. Primero, en que los futuros investigadores del Derecho deben obsesionarse por desentrañar “problemas”. Problemas relevantes, dados sus aspectos teóricos y/o prácticos. Segundo, que los pasos metodológicos que conducen a revelar, justificar y tratar dichos problemas, mediante la formulación de un marco teórico, de unos objetivos y de una metodología propiamente dicha, son diversos y el investigador debe tomar la decisión vital (no solo intelectual) de “elegir” uno de ellos. Diversos debido a la pluralidad epistemológica de concepciones sobre el Derecho, objeto de las pesquisas. Diversos, además, por la pluralidad de instrumentos, categorías y conceptos; en una palabra, diversidad de métodos que se pueden emplear para investigar el Derecho. (shrink)

Quiere Leibniz construir un cálculo lógico de un nuevo género, un cálculo formal que aporte rigor en los procedimientos demostrativos. A tal efecto considera necesaria una ampliación de la lógica tradicional. Frente a la organización apodíctica de Aristóteles, busca un nuevo método científico que no proceda sólo deductivamente desde una certeza expresada mediante axiomas, sino según una lógica heurística, y por lo tanto no clásica, que incluya un conjunto de procedimientos no silogísticos para inventar o producir nuevos conocimientos. (...) Su idea de una Ciencia General, es una planificación modular que consta de una multiplicidad de proyectos, cada uno de los cuales puede actuar separadamente, aunque en vistas a un único fin: su aplicación a la ciencia para aumentar el bienestar social de la humanidad. (shrink)

Collective volume with papers by alumni and students from the Campinas Aristotle Group.

“Identità” qui si intende nel senso già precisato da Aristotele di “identità numerica”, che si ha “quando i nomi sono parecchi, ma la cosa è una sola” e, non nel senso di “identità specifica”, che si ha invece “quando gli oggetti, pur essendo parecchi, non rivelano differenze quanto alla specie”.1 In questo articolo intendo fornire al lettore indicazioni introduttive (non certo esaustive) sul posto che la nozione di identità numerica occupa nella logica contemporanea e nell’area di riflessione filosofica del Novecento (...) più strettamente legata alla logica, la filosofia analitica. Nella terza parte proporrò qualche spunto per un’indagine originale. (shrink)

Hay una profundidad en la letra, entre las letras, que solo la lectura es capaz de enunciar. Enunciación que evoca la pregunta por la violencia de la palabra misma, su ambición de significar. La letra, en cambio, es un acontecer sutil. No hay escritor ni lector que pueda estrecharla, reducirla, asfixiar su siempre prosódica pulsión. Hay otros signos que la letra codicia -dice Jabes- signos borrados que el gesto reproduce en lo que nombra. El presente trabajo pretende interrogar la tradición (...) de la interpretación jurídica occidental emprendiendo la tarea de una restauración: la de la lectura midrashica como modo otro de interpretación. Como advierte Legendre, el armazón lógico de nuestros sistemas jurídicos sostenido sobre un derecho romano canónico como su representación histórica se instituyó sobre la marca de un silencio: la represión de cualquier sistema de interpretación disonante, juzgados como contrarios a la Razón por la tradición del derecho romano cristianizado. ¿Cómo leer esta censura? He ahí la pregunta fundamental que porta la institución. (shrink)

La siguiente ponencia-taller tiene por finalidad explicar cómo podría aplicarse el Método de George Polya para resolver problemas (matemáticos) en el contexto de la Lógica Matemática, especialmente en la lógica Matemática elemental (la lógica de primer orden con identidad). Es una propuesta pedagógica experimental (además de las ya existentes) que tal vez pueda ser útil para la enseñanza de la lógica matemática en ciencias o en humanidades. Dicha ponencia se presentó (vía web) con motivo de la (...) celebración del Día Mundial de Lógica 2022 en dos ocasiones: En la Universidad Central de Venezuela (Venezuela) y en la Universidad Mayor de San Andrés (Logic & Analytics Group - La Paz y La Sociedad Científica de Filosofía de la UMSA, Bolivia). Es un proyecto pedagógico en construcción. (shrink)

En este trabajo presentaré una forma de evitar los problemas más recurrentes en cierta versión del pluralismo lógico, aquella que defiende que incluso considerando un lenguaje fijo existen múltiples sistemas lógicos legítimos. Para ello, será necesario considerar los puntos de partida del programa pluralista y explicitar los problemas que de ellos surgen, principalmente el Desafío de Quine y el Problema del Colapso. Luego, propondré una modificación respecto de lo que se entiende por consecuencia lógica, para poder considerar una familia (...) de sistemas lógicos, las lógicas mixtas, que abarcan tanto a las lógicas puras como a las impuras. Finalmente, mostraré que con una interpretación razonable del formalismo se puede eludir aquellos problemas a la vez que se respeta el espíritu del programa pluralista. (shrink)

Per Husserl, come per Bolzano, la logica e una dottrina della sdenza. Husserl prende pero piu sul serio l'idea che le teorie scientifiche siano costituite dagli atti mentali di soggetti conoscenti. Quella che segue e un' esposizione della concezione husserliana della logica e della scienza, fondata appunto sugli atti; essa approdera a una delineazione dell'idea husserliana di «ontologia formale».

In this fragment of Opuscula Logica it is displayed an arithmetical treatment of the aristotelic syllogisms upon the previous interpretations of Christine Ladd-Franklin and Jean Piaget. For the first time, the whole deductive corpus for each syllogism is presented in the two innovative modalities first proposed by Hugo Padilla Chacón. A. The Projection method (all the possible expressions that can be deduced through the conditional from a logical expression) and B. The Retrojection method (all the possible valid antecedents or premises (...) conjunction for an expression proposed as a conclusion). The results are numerically expressed, with their equivalents in the propositional language of bivalent logic. (shrink)

Este trabalho aduz a contribuição de Pedro Hispano, nas suas obras Summulae Logicales e Syncategoreumata, ao desenvolvimento dos temas da Logica Modernorum, como as propriedades dos termos e os elementos sincategoremáticos. Considera-se, aqui, que as investigações acerca de tais propriedades são uma marca que diferencia a Lógica (Dialética) do século XIII daquela desenvolvida anteriormente. No século XIII, com todo o Organon de Aristóteles conhecido, o filósofo medieval ocupou-se da escrita de manuais para serem usados nas universidades, como os de Guilherme (...) de Shyreswood, Lamberto de Auxerres e Pedro Hispano, nos quais se discorria tanto os temas de logica vetus e logica nova, bem como se desenvolviam reflexões modernas, não mais sobre os silogismos, mas agora sobre cada termo constituinte da proposição. Os termos de uma proposição são o sujeito e o predicado (o nome e o verbo), são as palavras que, mesmo se tomadas fora de um contexto proposicional têm significação, têm um sentido para quem estiver familiarizado com a linguagem empregada no discurso. As propriedades dos termos aduzidas por Pedro Hispano na Summulae Logicales são a significação (significatio), a suposição (suppositio) a relação (relatio), a ampliação (ampliatio), a apelação (appelatio), a restrição (restrictio) e a distribuição (distributio). Ocupamo-nos dessas propriedades no segundo capítulo deste trabalho. Antes, no primeira capítulo, discorremos sobre os seis tratados cujos temas pertencem à logica antiquorum e que oferecem uma propedêutica necessária ao estudo da lógica. Por fim, no terceiro capítulo, expomos a importância da obra Syncategoreumata, que fornece o estudo dos demais componentes das proposições e argumentos. (shrink)

This paper examines two alleged limitations in the use of formal languages: on the one hand, the trade-offs between expressive and inferential power, and on the other, the phenomenon of system imprisonment. After reconceptualizing the issue, we consider the role played by modality in the understanding of certain aspects of mathematical structures and argue for its centrality.

Los profundos niveles de asimetría, inequidad y exclusión que exhibe nuestra contemporaneidad, las deportaciones masivas de refugiados, la criminalización de la indocumentación demandan más que nunca la necesidad de impulsar nuevos modos de pensar el derecho; modos que permitan forjar un derecho inclusivo, dialógico, abierto y participativo. Llevar adelante esta tarea supone, ante todo, repensar los presupuestos filosóficos sobre los que el pensamiento jurídico se asienta. Resulta así imprescindible deconstruir ciertas categorías medulares en la conformación de la Teoría Jurídica. (...) Esto es, comprender cómo estas se constituyeron a fin de poder reconstruirlas de otro modo. El presente trabajo pretende esbozar diez contribuciones iusfilosóficas que posibiliten estos desarrollos. (shrink)

El objetivo de este artículo es presentar dos tópicos de Lógica matemática y sus fundamentos: El primer tópico es una actualización de la demostración de Alonzo Church del Teorema de completitud de Gödel para la Lógica de primer orden, la cual aparece en su texto "Introduction to Mathematical Logic" (1956) y usa el procedimientos efectivos de Forma normal prenexa y Forma normal de Skolem; y el segundo tópico es una demostración de que la propiedad de partición (tipo Ramsey) (...) del espacio topológico de Baire llamada "Propiedad de partición polarizada" es falsa en el Modelo Básico de Cohen. (shrink)

Se examinan las motivaciones teóricas, los lineamientos generales y las principales variantes de dos modos complementarios de entender la naturaleza de la lógica. El primero centrado en logros técnicos alcanzados desde fines del siglo XIX, y el segundo vinculado con la reflexión clásica sobre la naturaleza de los principios de la actividad de la razón. Se pone énfasis en la importancia del vínculo constitutivo entre las reglas y leyes lógicas y la estructura del lenguaje, en particular de aquél que (...) subyace cuando el habla se orienta por pretensiones cognoscitivas. (shrink)

Este artículo busca responder a la siguiente pregunta: ¿Qué tipo de relación sostiene la Ciencia de la lógica con la tradición metafísica? Hay en ello un doble motivo de reflexión: por un lado, se trata de distinguir los sentidos de la crítica y los de la transformación científica de la metafísica tanto en Kant como en Hegel, y, por otro lado, de concebir el inicio [Anfang] y el principio [Prinzip] de la Lógica como dos modos de relación que (...) permitirían hacer tal distinción aunque únicamente de manera introductoria. El inicio de esta Lógica es así el primer fin de un círculo que vuelve a abrirse; anverso del límite, o estudio lógico de reverso fenomenológico; unidad de un carácter genitivo doble ‒de la Ciencia de la conciencia y del Concepto de la Ciencia‒, que hace del saber puro el fin del inicio fenomenológico, y al mismo tiempo el inicio de su propia exposición. Inicio inmanente al desarrollo de la Ciencia y que es por lo tanto un momento de saber-puro-ser. Es, dicho en breve, el inicio de una Lógica pura, objetiva y subjetiva, ya liberada de la oposición en sí/concepto, y que al ser el desarrollo del pensar objetivo se constituye en el “sistema de la razón pura”. (shrink)

In this paper, we examine two conceptions of the application of logic and assess their comparative merits. The first is a platonist monist conception that characterizes the logical consequence relation as an abstract relation among propositions. We argue that this proposal, which insists on logic’s topic neutrality, accommodates very well the objectivity of logic. From this perspective, there are no constraints on particular topics. As a result, we have the universality that allows us to go through a wide scope of (...) contexts where logic is applied. In contrast, a non-platonist pluralist conception is examined, and it characterizes the variety of logical consequence relations as concrete, context-dependent in particular cases, and topic-dependent. As will become clear, this conception is particularly well suited to make room for the applications of logic. We conclude that, in order to solve the ontological debate about logic, we need to go beyond its applications. (shrink)

Trata-se da tradução de um ensaio clássico publicado por Rudolf Carnap na revista Erkenntnis. A tradução é precedida por um texto de apresentação, que situa o ensaio e sua importância no contexto da filosofia contemporânea e na obra de Carnap. No ensaio, Carnap indica as principais características que distinguem o que ele chama de nova lógica (a lógica simbólica matemática derivada das obras de Frege, Peano e Hilbert, entre outros) da lógica filosófica tradicional e explica a sua (...) importância como novo método do filosofar. (shrink)

El psicoanálisis surgió, hacia fines del siglo XIX, como una teoría científica que pretende explicar el aparato psíquico y como una forma de psicoterapia que es una aplicación de ella. Desde entonces, su metapsicología y sus técnicas de intervención han cambiado mucho, sobre todo como consecuencia del contraste permanente con la evidencia clínica. En muchos casos, sin embargo, su epistemología y su filosofía de la mente siguen siendo deudoras de los presupuestos teóricos con los que nació. Eso es doblemente negativo. (...) Por una parte, porque esa epistemología decimonónica suele estar comprometida con formas de fisicalismo y reductivismo que son por lo menos discutibles y que tienen consecuencias respecto de su concepción de lo mental. De otro lado, porque no facilita su integración con la filosofía de la mente actual. En este texto me propongo reseñar y comentar algunas tesis del libro de Carlos Caorsi, con el objetivo de mostrar la necesidad de mayor diálogo entre psicoanálisis y filosofía de la mente, concentrándome sobre todo en la ontología de lo mental que pudo haber presupuesto Freud y en la tesis de Caorsi sobre los sistemas lógicos que subyacerían a los sistemas psíquicos de la primera tópica freudiana. (shrink)

Al centro della riflessione della filosofia e delle scienze sociali, il concetto di cultura ha assunto uno spettro di significati difficilmente riassumibile in una definizione che non sia multidimensionale. Numerose sono le province di significato in cui tale concetto ricorre riflessivamente portando in primo piano ordini di realtà e punti di vista analitici differenziati. Oltre all’identità multiforme le analisi della cultura presentano sul piano storico un contesto di genesi prettamente moderno la cui rilevanza è crescente. Accanto alla coltivazione dello “spirito”, (...) come erudizione e raffinatezza personale, saranno le scienze storiche e l’antropologia, tra l’inizio e la fine dell’‘800, a dischiudere la nuova conoscenza verso quella “tela di ragno” di rappresentazioni, costumi e disposizioni di cui gli esseri umani sono, al contempo, artefici e prodotto. Il presente volume sistematizza le complesse riflessioni di Jürgen Habermas sulle forme di sapere “implicite” ed “esplicite” alla base dei processi di comprensione e di apprendimento: il linguaggio simbolico e grammaticale, il senso comune, le immagini del mondo (la mitologia, le religioni e la metafisica), le sfere di valore specialistiche (le scienze e le tecniche, le morali e il diritto, l’estetica e le arti), i loro prodotti e le procedure, ma anche le competenze cognitive, sociali ed espressive necessarie per “maneggiare” tali argomenti. Si tratta di una ricostruzione che, all’interno di un “programma di ricerca” che Habermas recupera dai classici del pensiero sociologico, lascia emergere la riproduzione culturale come una sfera analiticamente distinta della società ma interdipendente con i processi di integrazione sociale e di socializzazione. (shrink)

El presente trabajo es un ensayo sobre lo que, en los últimos años, se ha empezado a llamar "lógica filosófica". La lógica filosófica se origina como consecuencia del progresivo rigor formal de la lógica tradicional. Este rigor ha conducido, en contra de lo que se esperaba, a problemas de significado filosófico fundamental y de profundidad abismal. Son muchos los problemas que interesan a la lógica filosófica, pero, en opinión del autor, el más importante apenas ha sido (...) abordado. Este problema es la relación entre la lógica y la razón. La tradición siempre ha considerado la lógica como una disciplina preeminentemente racional, que se constituye sobre estructuras fundamentales del pensamiento racional. Ahora bien, si se intenta saber cuáles son estas estructuras, se encuentra un grave problema: en los últimos años han proliferado nuevos sistemas de lógica, algunos de los cuales parecen no tener ninguna relación entre sí y con la lógica clásica. Esto da la impresión de que no tiene mucho sentido hablar de "razón humana", es decir, de una facultad que funciona mediante principios necesarios y universales organizados en un sistema unitario. La única manera de abordar este problema es comenzar con un análisis de los sistemas lógicos que difieren del modelo clásico (como, por ejemplo, las lógicas polivalentes y paraconsistentes). A estos sistemas el autor los denomina "lógicas heterodoxas". Una vez analizado el significado y las características de estas lógicas, es posible ver si realmente expresan el hecho de que la razón no puede ser concebida como un sistema de principios o si esta creencia es sólo una consecuencia de un enfoque superficial. La opinión del autor es que, a pesar de la multiplicidad de sistemas lógicos heterodoxos, es posible encontrar un criterio de unidad en el cumplimiento común de ciertas condiciones necesarias de logicidad y la posesión común de algunas condiciones suficientes. La razón no funciona, por supuesto, como creían los clásicos, pero su funcionamiento está determinado por un complejo invariable de principios necesarios y universales. Este funcionamiento es más flexible que el concebido por la lógica tradicional; la razón humana puede prescindir de algunos principios clásicos, pero no de todos, y, por el contrario, puede encontrar nuevos principios basados en evidencias que no habían sido previamente analizadas lógicamente. Pero en ambos casos, siempre presupone un complejo invariable de principios. (shrink)

Este artículo presenta el modo de relación de la totalidad de lo condicionado y lo incondicionado en la lógica transcendental de Kant. Para ello el argumento reconstruye los elementos que abren el tratamiento de la dialéctica transcendental en la "Crítica de la razón pura", es decir, la apariencia ilusoria y las Ideas de la razón. Este modo de leer la doctrina de las síntesis transcendentales de lo condicionado y lo incondicionado exhibe la tesis de la complementariedad diferenciada entre ambas (...) regiones, dando a cada una su derecho, lugar y misión. (shrink)

In der klassischen Logik von Aristoteles bis Wolff findet sich eine durchgängige Parallelität von logischen (einschließlich grammatikalischen und psychologischen) und ontologischen Gebilden. Der Logiker beschäftigt sich mit Subjekt und Prädikat, aber gleichzeitig auch z.B. mit Substanz und Akzidenz als Entitäten in der Welt. Nach Kant begann für die Logik eine Phase, in der diese ontologische oder objektbezogene Seite verloren ging. Gegen Ende des 19. Jahrhunderts beginnt man dann aber wieder über die ontologischen Korrelate des Denkens und des Urteilens zu sprechen. (...) Wir zeigen, dass diese Wiederbelebung der alten Logik mit der Einführung des Terminus ‘Sachverhalt’ in die Sprache der Philosophie verbunden ist. (shrink)

Luiz Henrique Lopes dos Santos, em seu texto sobre "Leibniz e a questão dos futuros contingentes”, argumenta em favor de seu diagnóstico segundo o qual, no fundo, a principal diferença entre as doutrinas de Espinosa e Leibniz reside no fato de que o primeiro, diferentemente do segundo, não sabia lógica. Este texto procura objetar à sua posição, respondendo às críticas do autor à posição de Espinosa quanto à liberdade divina. Procurarei mostrar que, sob o aspecto preciso da articulação aí (...) estabelecida entre a distinção vontade/entendimento e a questão dos possíveis jamais realizados, ela não poderia estar disponível para a metafísica de Espinosa, não por ele ter ignorado um princípio básico da lógica modal, como alega o autor, mas porque ele compreende diferentemente o estatuto ontológico da unidade das coisas individuais e, portanto, dos agentes humanos. (shrink)

Se presenta una visión de la epistemología como lógica del pensar y se la lleva a una elaboración de la práctica clínica como una lógica del padecimiento psíquico. Esto basado en los planteamientos de Deleuze y Guattari. Para ello se toma como punto de partida la noción de los movimientos aberrantes que, leyendo la obra de Deleuze, elaboró David Lapoujade entendiéndolos como movimientos que se producen en la relación entre distintos términos heterogéneos, pero manteniendo su heterogeneidad. Esto es (...) vinculado con la invitación que hace el mismo Lapoujade a entender la obra deleuzeana como el desarrollo de lógicas irracionales, intentando pensar desde ahí una lógica de la locura y del padecimiento mental con base en, a su vez, una lógica de las obras literarias de Proust y Kafka, tal como las leen los mismos Deleuze y Guattari. En relación con ello destacamos, por un lado, cierta lógica de conjuntos abiertos y no totalizables que estos últimos autores encuentran en la obra de Proust y, por otro lado, una lógica de la contigüidad que encuentran en la obra de Kafka. Al mismo tiempo, se establecen puntos en común entre estas dos lecturas a propósito de lo esquizoide como algo que excede a la significación del discurso, así como a la normatividad de la conducta. Asimismo, en distintos puntos del escrito se extraerán las implicaciones que estos modos de pensar tienen para una práctica clínica en relación con modos de existencia subjetivos que se escapan a lo que está establecido en el campo social. De esa manera, ponemos en conjunción una aproximación epistemológica con una política. (shrink)

Neste artigo discutimos alguns aspectos da lógica nos dias atuais. O propósito central é mostrar a evolução dessa disciplina. Começamos com uma breve introdução onde especificamos o que queremos dizer com o termo “lógica”. A seguir, exporemos e discutiremos o que consideramos ser algumas das principais áreas de investigação da lógica atual. Concluímos o artigo com algumas observações sobre lógicas não clássicas e seus impactos sobre a filosofia. Ao final do texto se encontram mais detalhes que apontam (...) para um aprofundamento e uma ampliação das questões aqui tratadas. (shrink)

Neste trabalho, é apresentada uma investigação do que poderia ser chamado de formalização lógica do processo de mudança de teorias devido a anomalias. Por anomalia entende-se um fato observado que faz parte do escopo explanatório de uma teoria, mas que vai de encontro à previsão da mesma. Uma abordagem clássica para restaurar o poder explicativo de uma teoria ameaçada por uma anomalia é a postulação de hipóteses novas e provisórias que, em conjunto com as demais hipóteses auxiliares originais, sejam (...) capazes de resolver a anomalia. Após chegar à algumas conclusões sobre a estrutura de tal processo, propomos um framework lógico multimodal e não-monotônico capaz de representar alguns aspectos-chave dessa faceta importante da dinâmica de teorias científicas. Devido à necessidade de acomodar hipóteses provisórias incompatíveis, esse framework incorpora uma forma fraca de paraconsistência. Como um estudo de caso, analisamos o comportamento anômalo do planeta Urano que ameaçou a mecânica celeste Newtoniana por mais de meio século e ensejou a descoberta do planeta Netuno. -/- In this work, an investigation of what could be called the logical formalization of the theory change process due to anomalies is presented. An anomaly is understood as an observed fact that is part of the explanatory scope of a theory, but that goes against its prediction. A classic approach to restoring the explanatory power of a theory threatened by an anomaly is to postulate new and provisional hypotheses that, together with the other original auxiliary hypotheses, are capable of resolving the anomaly. After reaching some conclusions about the structure of such a process, we propose a multimodal and non-monotonic logical framework capable of representing some key aspects of this important facet of the dynamics of scientific theories. Due to the need to accommodate incompatible provisional hypotheses, this framework incorporates a weak form of paraconsistency. As a case study, we analyze the anomalous behavior of the planet Uranus that threatened Newtonian celestial mechanics for more than half a century and prompted the discovery of the planet Neptune. (shrink)

En el presente trabajo se muestra cómo la colonialidad cultural surge, se desarrolla y se mantiene como derivación, parte y premisa de la lógica del capital. En tanto lógica cultural nacida con el capitalismo y mantenida hasta hoy, la colonialidad estuvo asociada, primero, a la acumulación originaria del capital y, después, a su reproducción ampliada. El trabajo también indaga en las relaciones entre colonialidad, por una parte, y poder, colonialismo y eurocentrismo, por otra.

In the fifth version of our reply article [26] to Imamura's critique, we recall that Neutrosophic Non-Standard Logic was never used by the neutrosophic community in any application, that the quarter-century old (1995-1998) neutrosophic operators criticized by Imamura were never used as they were improved soon after, but omits to talk about their development, and that in real-world applications we need to convert/approximate the hyperreals, monads and bi-nads of Non-Standard Analysis to tiny intervals with the desired precision; otherwise they would (...) be inapplicable. We pointed out several errors and false statements by Imamura [21] regarding the inf/sup of nonstandard subsets, also Imamura's "rigorous definition of neutrosophic logic" is incorrect, as is his definition of nonstandard unit interval, and we showed that there is no total order in Neutrosophic Computing and Machine Learning , Vol. 23, 2022 Florentin Smarandache, Definición mejorada de la lógica neutrosófica no estándar e introducción a los hiperreales neutrosóficos (Quinta versión) 2 the set of hyperreals (due to the recently introduced Neutrosophic Hyperreals which are indeterminate), so the Transfer Principle from R to R* is questionable. After his critique, several reply posts on non-standard theoretical neutrosophy followed in 2018-2022. As such, I extended the Nonstandard Analysis by adding the right-closed left monad, the left-closed right monad, the punctured binad (which we introduced in 1998), and the nonpunctured binad - all in order to close the newly extended nonstandard space (R*) under nonstandard addition, nonstandard subtraction, nonstandard multiplication, nonstandard division, and nonstandard power operations [23, 24]. Improved definitions of the Nonstandard Unitary Interval and Nonstandard Neutrosophic Logic are presented, along with Nonstandard Neutrosophic Operators. (shrink)

A Inseparabilidade entre Lógica e a Ética. Philósophos. 18 (2013) 245–259. Portuguese translation by Décio Krause and Pedro Merlussi: The Inseparability of Logic and Ethics, Free Inquiry, Spring 1989, 37–40. This essay takes logic and ethics in broad senses: logic as the science of evidence; ethics as the science of justice. One of its main conclusions is that neither science can be fruitfully pursued without the virtues fostered by the other: logic is pointless without fairness and compassion; ethics is (...) pointless without rigor and objectivity. The logician’s advice to be dispassionate is in resonance and harmony with the ethicist’s advice to be compassionate. (shrink)

In this paper we intend to offer a first approach to the incorporation of certain formal tools in the elucidation of some issues discussed in epistemological contexts. The aim is not to offer an exhaustive resolution of these problems but merely to point out the usefulness of modal semantics when applied to different fields. Here we will show how a series of skeptical arguments eventually involve a modal (counterfactual) structure, which we will try to generalise into a useful scheme. -/- (...) . (shrink)

En este trabajo matemático-filosófico se estudian cuatro tópicos de la Lógica matemática: El método de construcción de modelos llamado Ultraproductos, la Propiedad de Interpolación de Craig, las Álgebras booleanas y los Órdenes parciales separativos. El objetivo principal del mismo es analizar la importancia que tienen dichos tópicos para el estudio de los fundamentos de la matemática, desde el punto de vista del platonismo matemático. Para cumplir con tal objetivo se trabajará en el ámbito de la Matemática, de la Metamatemática (...) y de la Filosofía de la matemática. El desarrollo de la investigación arrojó como resultado que tales tópicos son muy importantes para el estudio de los fundamentos de la matemática, desde el punto de vista del platonismo matemático, y en el trabajo se explica detalladamente con abundantes ejemplos el porqué (al final de cada sección y al final del mismo). (shrink)