Peter Damian’s letter 119 De divina omnipotentia is characterized by two main issues: the dilemma about the God’s capacity to restore virginity to a woman and the question about the possibility of undoing the past. Despite the interweaving between these topics, they have to be distinguished in several respects. Aim of the paper will be, firstly, to isolate the two questions, starting with their textual loci; secondly, to focus on the dilemma about the divine capacity to undoing the past, showing (...) that the key of Peter Damian’s argument is the concept of eternity as an epistemic principle, that allows him to define the omnipotence, in the case of the action on temporal necessity, as a sort of second level property of God; finally, to compare the Damian’s solution with some contemporary theories, developed during the debate on omnipotence in the second half of the 20th century, in order to find continuity and discontinuity factors that can help to better understand the coherence and effectiveness of medieval and contemporary arguments. (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)

All’interno del dibattito che anima la filosofia temporale esistono numerose correnti di pensiero su quale posizione si debba adottare riguardo al problema del valore di verità delle proposizioni sul futuro. Nella prima parte dell’articolo verrà tracciato il quadro generale della discussione mediante una ricostruzione storica delle varie argomentazioni – da Aristotele e Diodoro Crono a Prior – e verranno analizzate le posizioni che si sono sviluppate, a partire da queste, nell’età contemporanea. Nella seconda parte invece tenterò di mostrare come (...) la competizione fra la teoria del futuro vero e il sistema ockhamista di Prior non si basi su due differenti concetti di contingenza, ma sulla mancata distinzione, all’interno del sistema ockhamista, di due significati di ‘determinato’ e sulla conseguente confusione che investe il concetto di necessità. Una volta recuperata tale distinzione la teoria ockhamista può essere riformulata e le due diverse posizioni si rivelano essere, semplicemente, teorie sulla determinatezza degli stati futuri. / A large number of schools of thought enliven the philosophical debate on how we can manage the truth-values of propositions about the future. In the first part of this paper I’ll draw an overall view of the discussion, proposing an historical reconstruction of the arguments – from Aristotle and Diodoro Crono to Prior – that will give us the instruments to understand the current state of the debate. After that, in the second part, I’ll argue that the discussion between theory of the true future and Prior’s ockhamist theory is not based on two different concepts of contingency, but instead on the lack of distinction between two different meanings of ‘determined’ inside the ockhamist system. Recovering this distinction is the first step to understand that the real competition between the two systems is not about contingency, but only about the determination of the future. (shrink)

Il problema apparentemente insolubile di una giustificazione non circolare dell’induzione diverrebbe più abbordabile se invece di chiederci solo cosa ci assicura che un fenomeno osservato si riprodurrà in modo uguale in un numero potenzialmente infinito di casi futuri, ci chiedessimo anche come si spiega che esso si sia manifestato fin qui in modo identico e senza eccezioni in un numero di casi finito ma assai alto. E’ questa l’idea della giustificazione abduttiva dell’induzione, avanzata in forme diverse da Armstrong, Foster e (...) BonJour: serie talmente regolari di fenomeni sono da un punto di vista logico talmente improbabili che se il mondo fosse puramente casuale (se cioè gli eventi si presentassero con frequenza proporzionale alla loro probabilità logica) esse non potrebbero verificarsi se non per una coincidenza miracolosa. Pertanto, tali regolarità si spiegano solo assumendo che siano prodotte da meccanismi o necessità nomiche; ma se questo è il caso, è corretto concludere che tali regolarità persisteranno anche in futuro senza eccezioni, e dunque le inferenze induttive su di esse sono giustificate. Anche Kornblith argomenta dall’effettivo successo delle inferenze induttive all’esistenza di regolarità oggettive in natura; mentre Sankey parte dall’ uniformità della natura per giustificare l’induzione. Congiungendo le due argomentazioni, dunque, si ottiene di nuovo una giustificazione dell’induzione in base all’argomento del “se non è un miracolo …”. Un ostacolo su questa via è specificare in che senso la natura sia uniforme (dato che ovviamente non lo è in ogni suo aspetto) e di quali regolarità possiamo aspettarci che persistano senza eccezione anche in futuro (dato che evidentemente non tutte lo fanno: l’acqua non bolle sempre a 100°, la pressione non è sempre funzione della temperatura, e così via). Entrano qui in gioco le conoscenze di sfondo e la ripetizione delle osservazioni in condizioni diverse, che ci mostrano quali circostanze siano rilevanti al verificarsi del fenomeno dato. In tal modo, le nostre descrizioni delle regolarità naturali convergono su descrizioni che specificano sia le condizioni individualmente necessarie e congiuntamente sufficienti, sia tutti gli argomenti delle funzioni che costituiscono tali regolarità. Ciò consente di formulare i principi di Uniformità della Natura e di Induzione in modo non generico (e dunque, a seconda della formulazione, vuoto o eccessivo), ma circostanziato: così essi asseriscono, rispettivamente, che la natura è uniforme negli aspetti evidenziati dalle descrizioni su cui convergiamo grazie alle osservazioni ripetute, e che solo queste descrizioni possono essere induttivamente generalizzate. Ciò consente anche di risolvere enigmi alla Goodman, quali: poiché le osservazioni ci hanno mostrato (solo) il verificarsi di una data regolarità fino al momento presente t, come possiamo presumere che essa si verificherà anche dopo t? La risposta è che osservazioni e conoscenza di sfondo non ci dicono che vi sia alcun limite temporale tra le condizioni necessarie della regolarità data. (shrink)

La tradición filosófica de los enfoques morales se basa predominantemente en conceptos y teorías metafísicas y teológicas. Entre los conceptos tradicionales de la ética, el más destacado es la Teoría del Mandato Divino (DCT). Según TCD, Dios da fundamentos morales a la humanidad desde su creación ya a través de revelaciones. Así, la moral y la divinidad serían inseparables de la civilización más remota. Estos conceptos se sumergen en un marco teológico y son mayoritariamente aceptados por la mayoría de los (...) seguidores de las tres tradiciones Abrahámicas: judaísmo, cristianismo e islam, que abarcan la mayor parte de la población humana. Teniendo como fundamento la fe y la Revelación, las Teorías del Mandato Divino no están estrictamente sujetas a ningún tipo de demostración. Los opositores a la concepción moral del Mandato Divino, basados en la imposibilidad de demostrar sus supuestos metafísicos y religiosos, han intentado durante muchos siglos desvalorizar su importancia. Apoyan el argumento de que la teoría no muestra evidencia material y coherencia lógica y, por ello, no puede ser tenida en cuenta para fines científicos o filosóficos. Es solo una creencia y como tal debe entenderse. Además de estas posiciones extremas, muchos otros conceptos atacan las teorías del Mandato Divino, de una forma u otra, en parte o en su totalidad. Muchos filósofos y científicos sociales, desde la filosofía griega clásica hasta la actualidad, por ejemplo, sostienen que la moralidad es solo una construcción y, por lo tanto, culturalmente relativa y culturalmente determinada. Sin embargo, esto trae a colación muchas otras discusiones y plantea el desafío de determinar cuál es el sentido de la cultura, qué elementos de la cultura son moralmente determinantes y, finalmente, cuáles son los límites de esta relatividad. Los deterministas morales, por su parte, afirman que todo lo relacionado con el comportamiento humano, incluida la moralidad, está determinado en sus causas, ya que no existe el libre albedrío. Más recientemente, los pensadores modernos han argumentado que existe una ciencia rigurosa de la moralidad. Sin embargo, el método científico por sí solo, a pesar de explicar varios hechos y evidencias, no puede aclarar todo el contenido y significado de la ética. La comprensión moral requiere una visión más amplia y un acuerdo entre los filósofos, lo que nunca lograron. Todas estas preguntas tienen muchas configuraciones diferentes, dependiendo de cada línea filosófica, e inician análisis complejos y debates interminables, ya que muchos de ellos son recíprocamente conflictivos. Independientemente de la validez de alguno o todos los elementos de esta discusión y de su significado como universo filosófico de este trabajo, el objetivo de nuestro estudio es demostrar y justificar la existencia y el significado de los arquetipos morales prehistóricos que surgen directamente de principios fundamentales, necesita esfuerzos sociales y de supervivencia. Estos arquetipos son la definición del fundamento esencial de la ética, su agregación al inconsciente colectivo y su correspondiente organización lógica y transmisión a las etapas evolutivas del genoma humano y a las distintas relaciones espacio-temporales, independientemente de cualquier experiencia contemporánea de los individuos. El sistema definido por estos arquetipos compone un modelo social humano evolutivo. (shrink)

En mi opinión, un comportamientoi es una expresión de nuestra psicología evolucionada y tan íntimamente relacionada con la religión, la moral y la ética, si uno sabe cómo mirarlos. -/- A muchos les resultará extraño que dedique poco tiempo a discutir los temas comunes a la mayoría de las discusiones de la religión, pero en mi opinión es esencial entender primero las generalidades del comportamiento y esto requiere una buena comprensión de la biología y la psicología que son en su (...) mayoría notables por su ausencia en obras sobre religión, política, historia, moral y ética, etc. En mi opinión, la mayoría de estos esfuerzos no tienen ninguna comprensión en absoluto del funcionamiento del Sistema 2, las funciones corticales lentas del cerebro que pueden equipararse al comportamiento linguístico o a la mente, y que yo llamo la Psicología Descriptiva del Pensamiento de Orden Superior y que considero como el pro vince de la filosofía en el sentido estrecho. -/- Es mi afirmación que la tabla de intencionalidad (racionalidad, mente, pensamiento, lenguaje, personalidad, etc.) que presenta prominentemente aquí describe más o menos con precisión, o al menos sirve como heurística para, cómo pensamos y nos comportamos, y por lo tanto no abarca meramente filosofía y psicología, pero todo lo demás (religión, historia, literatura, matemáticas, política, etc.). Tenga en cuenta especialmente que la intencionalidad y racionalidad como yo (junto con Searle, Wittgenstein y otros) lo veo, incluye tanto el Sistema 2 deliberativo consciente como las acciones o reflejos automatizados inconscientes del Sistema 1. -/- Esta colección de artículos fue escrita en los últimos 10 años y revisada para ponerlos al día (2019). Todos los artículos son sobre el comportamiento humano (como todos los artículos de cualquier persona sobre cualquier cosa), y así sobre las limitaciones de tener una ascendencia de mono reciente (8 millones de años o mucho menos dependiendo del punto de vista) y palabras y hechos manifiestos en el marco de nuestra psicología innata como se presenta en la tabla de intencionalidad. Como dice el famoso evolucionista Richard Leakey, es fundamental tener en cuenta no que evolucionamos de simios, sino que en todas las maneras importantes, somos simios. Si a todos se les diera una comprensión real de esto (es decir, de la ecología humana y la psicología para darles un cierto control sobre sí mismos), tal vez la civilización tendría una oportunidad. Como las cosas son, sin embargo, los líderes de la sociedad no tienen más comprensión de las cosas que sus electores y por lo tanto el colapso en la anarquía es inevitable es a pesar de los puntos de vista casi universales de que la religión, la política o la tecnología pueden salvarnos. Vea mi Delirios Utópicos Suicidas en los Siglo 21 5ª Ed (2019), para una exposición detallada de este punto de vista. -/- Es fundamental entender por qué nos comportamos como lo hacemos y por eso empiezo con una breve revisión de la estructura lógica de la racionalidad, que proporciona cierta heurística para la descripción del lenguaje (mente, racionalidad, personalidad) y da algunas sugerencias sobre cómo esto se relaciona con la evolución del comportamiento social. Esto se centra en los dos escritores que he encontrado los más importantes en este sentido, Ludwig Wittgenstein y John Searle, cuyas ideas combino y extiendo dentro del marco de sistema dual (dos sistemas de pensamiento) que ha demostrado ser tan útil en el pensamiento reciente y investigación de razonamiento. Como observo, en mi opinión existe esencialmente una superposición completa entre la filosofía, en el sentido estricto de las preguntas perdurables que conciernen a la disciplina académica, y la psicología descriptiva del pensamiento de orden superior (comportamiento). Una vez que uno ha comprendido la idea de Wittgenstein de que sólo existe la cuestión de cómo se va a jugar el juego de idiomas, se determinan las condiciones de satisfacción (lo que hace que una declaración sea verdadera o satisfecha, etc.) y que es el final de la discusión. Sin neurofisiología, sin metafísica, sin posmodernismo, sin teología. -/- Junto con muchos, lo veo como la cuestión religiosa o moral básica de nuestros tiempos que Estados Unidos y el mundo están en proceso de colapso por el crecimiento excesivo de la población, la mayor parte de ella durante el siglo pasado, y ahora todo, debido a la gente del tercer mundo. El consumo de recursos y la adición de 3.000 millones más alrededor de 2100 colapsarán la civilización industrial y provocarán hambre, enfermedades, violencia y guerra a una escala asombrosa. La tierra pierde al menos el 1% de su suelo superior cada año, por lo que a medida que se acerca a 2100, la mayor parte de su capacidad de cultivo de alimentos desaparecerá. Miles de millones morirán y la guerra nuclear es muy segura. En Estados Unidos, esto está siendo enormemente acelerado por la inmigración masiva y la reproducción de inmigrantes, combinado con los abusos que hacen posible la democracia. La depravada naturaleza humana convierte inexorablemente el sueño de la democracia y la diversidad en una pesadilla del crimen y la pobreza. China seguirá abrumando a Estados Unidos y al mundo, mientras mantenga la dictadura que limita el egoísmo y permite la planificación a largo plazo. La causa fundamental del colapso es la incapacidad de nuestra psicología innata para adaptarse al mundo moderno, lo que lleva a las personas a tratar a personas no relacionadas como si tuvieran intereses comunes (lo que sugiero puede ser considerado como un no reconocido -- pero el más común y más grave -- problema psicológico -- Trastorno de Fitness Inclusivo). Esto, además de la ignorancia de la biología básica y la psicología, conduce a los delirios de ingeniería social de los parcialmente educados que controlan las sociedades democráticas. Pocos entienden que si ayudas a una persona, dañas a otra persona, no hay almuerzo gratis y cada artículo que alguien consume destruye la tierra más allá de la reparación. En consecuencia, las políticas sociales en todas partes son insostenibles y una a una todas las sociedades sin estrictos controles sobre el egoísmo se derrumbarán en anarquía o dictadura. Sin cambios dramáticos e inmediatos, no hay esperanza de evitar el colapso de Estados Unidos, o cualquier país que siga un sistema democrático, especialmente ahora que los Neomarxistas del Tercer Mundo Supremacistas están tomando el control de los EE.UU. y otros Democracias occidentales, y ayudar a los Siete Sociópatas que dirigen China a tener éxito en su plan para eliminar la paz y la libertad y la religión en todo el mundo. De ahí mi ensayos finales. Por supuesto, es un punto de vista fácilmente defendible que los investigadores de Inteligencia Artificial (también conocido como Estupidez Artificial o Sociopatía Artificial) son aún más malvados que los demócratas y el PCC, y hago breves comentarios al respecto también. -/- Varios artículos tocan The One Big Happy Family Delusion, es decir, que estamos genéticamente seleccionados para cooperar con todos, y que los eufóricos ideales de Democracia, Diversidad, Igualdad y Religión nos llevarán a la utopía, si sólo manejamos las cosas correctamente (la posibilidad de la política). Una vez más, el Principio de No Almuerzo Libre debe advertirnos que no puede ser verdad, y vemos a lo largo de la historia y en todo el mundo contemporáneo, que sin estrictos controles, egoísmo y estupidez ganar la ventaja y pronto destruir cualquier nación que abraza estos Delirios. Además, la mente del mono descuenta el futuro, por lo que cooperamos en la venta de la herencia de nuestros descendientes para las comodidades temporales, exacerbando en gran medida los problemas. -/- Describo versiones de este engaño (es decir, que somos básicamente "amistosos" si se nos da una oportunidad) como aparece en algunos libros recientes sobre sociología/biología/economía. Incluso el excelente "Behave" (2017) de Sapolsky abraza la política izquenta y la selección de grupos y da espacio a una discusión sobre si los seres humanos son innatamente violentos. Termino con dos ensayossobre la gran tragedia que se está desarrollando en Estados Unidos y el mundo, que puede ser visto como un resultado directo de nuestra psicología evolucionada manifestada como las maquinaciones inexorables del Sistema 1. Nuestra psicología, eminentemente adaptativa y eugenógena en las llanuras de Africa desde hace unos 6 millones de años, cuando nos dividimos de los chimpancés, hasta hace unos 50.000 años, cuando muchos de nuestros antepasados abandonaron Africa (es decir, en el EEE o el Entorno de la Adaptación Evolutiva), es ahora la maladaptiveización y la disgenicidad y la fuente de nuestros delirios utópicos suicidas. Así, como todas las discusiones de comportamiento (teología, filosofía, psicología, sociología, biología, antropología, política, derecho, literatura, historia, economía, estrategias de fútbol, reuniones de negocios, etc.), este libro trata sobre la evolutiva estrategias, genes egoístas y fitness inclusivo (selección de parentescos, selección natural), aunque por supuesto pocos entienden esto, independientemente de si son académicos o campesinos, ateos o fundamentalistas. (shrink)

L'ontologia temporale è la riflessione sullo statuto ontologico delle entità meramente passate o future. In questo contributo intendo chiarire il significato di questa questione, presentare le principali opzioni teoriche che si delineano rispetto ad essa e, concentrandomi sulle due principali teorie contendenti, B-eternismo e presentismo, illustrare gli argomenti più rilevanti formulati a favore dell'una e dell'altra.

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)

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)

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)

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.

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)

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)

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)

“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)

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».

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)

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)

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)

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)

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)

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)

This work studies some problems connected to the role of negation in logic, treating the positive fragments of propositional calculus in order to deal with two main questions: the proof of the completeness theorems in systems lacking negation, and the puzzle raised by positive paradoxes like the well-known argument of Haskel Curry. We study the constructive com- pleteness method proposed by Leon Henkin for classical fragments endowed with implication, and advance some reasons explaining what makes difficult to extend this constructive (...) method to non-classical fragments equipped with weaker implications (that avoid Curry's objection). This is the case, for example, of Jan Lukasiewicz's n-valued logics and Wilhelm Ackermann's logic of restricted implication. Besides such problems, both Henkin's method and the triviality phenomenon enable us to propose a new positive tableau proof system which uses only positive meta-linguistic resources, and to mo- tivate a new discussion concerning the role of negation in logic proposing the concept of paratriviality. In this way, some relations between positive reasoning and infinity, the possibilities to obtain a ¯first-order positive logic as well as the philosophical connection between truth and meaning are dis- cussed from a conceptual point of view. (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)

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)

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)

Há alguns anos atrás, algumas pessoas acreditavam que a tese de que a existência não é um predicado, uma tese defendida por autoridades como Gottlob Frege e Bertrand Russell, era um dos traços distintivos da chamada filosofia analítica. Que uma tal crença é afinal falsa pode ser tomado como mais um sinal da vitalidade e do anti-dogmatismo que caracterizam em geral a tradição analítica; e o mesmo se aplica a quaisquer outras crenças do género, que comprometam esta tradição com teses (...) filosóficas substantivas. O meu propósito neste ensaio é duplo. Por um lado, descrevo o estado actual da questão relativamente ao venerável tópico da existência, caracterizando e examinando as principais teorias disponíveis. Por outro, argumento a favor de um ponto de vista específico sobre o tópico. Esse ponto de vista consiste na conjunção das seguintes três teses: (F) Não há objectos não-existentes; (H*) A existência é um predicado; e (H**) As afirmações de existência não são uniformes quanto à forma lógica, tendo por vezes a forma de quantificações existenciais e por vezes a forma de predicações monádicas de primeira ordem. (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)

Es mi afirmación que la tabla de intencionalidad (racionalidad, mente, pensamiento, lenguaje, personalidad, etc.) que presenta prominentemente aquí describe más o menos con precisión, o al menos sirve como heurística para, cómo pensamos y nos comportamos, y por lo tanto no abarca simplemente filosofía y psicología, sino todo lo demás (historia, literatura, matemáticas, política, etc.). Tenga en cuenta especialmente que la intencionalidad y racionalidad como yo (junto con Searle, Wittgenstein y otros) lo veo, incluye tanto el Sistema Linguístico deliberativo consciente (...) 2 como las acciones o reflejos inconscientes automatizados del Sistema 1 automatizado. Proporciono una encuesta crítica de algunos de los principales hallazgos de dos de los estudiantes más eminentes del comportamiento de los tiempos modernos, Ludwig Wittgenstein y John Searle, sobre la estructura lógica de la intencionalidad (mente, lenguaje, comportamiento), tomando como punto de partida El descubrimiento fundamental de Wittgenstein -que todos los problemas verdaderamente "filosóficos" son los mismos —confusiones sobre cómo usar el lenguaje en un contexto particular, y por lo tanto todas las soluciones son iguales— mirando cómo se puede utilizar el lenguaje en el contexto en cuestión para que su verdad condiciones (Condiciones de Satisfacción o COS) son claras. El problema básico es que se puede decir cualquier cosa, pero no se puede significar (indicar COS claro para) cualquier expresión arbitraria y significado sólo es posible en un contexto muy específico. Analizo varios escritos por y sobre ellos desde la perspectiva moderna de los dos sistemas de pensamiento (popularizados como 'pensar rápido, pensar lento'), empleando una nueva tabla de intencionalidad y nueva nomenclatura de sistemas duales. Demuestro que esta es una heurística poderosa para describir el comportamiento. Por lo tanto, todo comportamiento está íntimamente conectado si uno toma el punto de vista correcto. La Ilusión Fenomenológica (olvido a nuestro Sistema automatizado 1) es universal y se extiende no sólo a lo largo de la filosofía, sino a lo largo de la vida. Estoy seguro de que Chomsky, Obama, Zuckerberg y el Papa serían incrédulos si se les dijera que sufren del mismo problema que Hegel, Husserl y Heidegger, (o que difieren sólo en grado de los adictos a las drogas y el sexo en estar motivados por la estimulación de su cortices frontales por la entrega de dopamina (y más de 100 otros productos químicos) a través del tegmentum ventral y el núcleo accumbens), pero es claramente cierto. Mientras que los fenomenólogos sólo desperdiciaron mucho el tiempo de la gente, están desperdiciando la tierra y el futuro de sus descendientes. (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)

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)

Reseña sobre Lógicas de Mundos de Badiou.

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

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)

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)

É minha afirmação que a tabela da intencionalidade (racionalidade, mente, pensamento, linguagem, personalidade etc.) que apresenta proeminentemente aqui descreve mais ou menos precisamente, ou pelo menos serve como um heurista para, como pensamos e nos comportamos, e por isso engloba não meramente filosofia e psicologia, mas tudo o resto (história, literatura, matemática, política etc.). Note especialmente que a intencionalidade e a racionalidade como eu (juntamente com Searle, Wittgenstein e outros) a vêem, inclui tanto ações ou reflexos automatizados inconscientes do Sistema (...) 1. Eu forneço uma pesquisa crítica de algumas das principais descobertas de dois dos mais eminentes alunos de comportamento dos tempos modernos, Ludwig Wittgenstein e John Searle, sobre a estrutura lógica da intencionalidade (mente, linguagem, comportamento), tendo como ponto de partida a descoberta fundamental de Wittgenstein – que todos os problemas verdadeiramente 'filosóficos' são os mesmos — confusões sobre como usar a linguagem em um contexto específico, e por isso todas as soluções são as mesmas — olhando como a linguagem pode ser usada no contexto em questão para que suas condições de verdade sejam (Condições de Satisfação ou COS) são claras. O problema básico é que se pode dizer qualquer coisa, mas não se pode significar (COS claro do Estado para) qualquer expressão arbitrária e significado só é possível em um contexto muito específico. Analiso vários escritos por e sobre eles da perspectiva moderna dos dois sistemas de pensamento (popularizados como "pensando rápido, pensando devagar"), empregando uma nova tabela de intencionalidade e nova nomenclatura de sistemas duplos. Eu mostro que este é um heurista poderoso para descrever o comportamento. Assim, todo o comportamento está intimamente conectado se tomar o ponto de vista correto. A Ilusão fenomenológica (esquecimento ao nosso Sistema 1 automatizado) é universal e se estende não apenas ao longo da filosofia, mas ao longo da vida. Tenho certeza que Chomsky, Obama, Zuckerberg e o Papa seriam incrédulos se fossem informados de que sofrem do mesmo problema que Hegel, Husserl e Heidegger, (ou que diferem apenas em grau de viciados em drogas e sexo em serem motivados pela estimulação de seus cortices frontais pela entrega de dopamina (e mais de 100 outros produtos químicos) através do tegmentum ventral e do núcleo accumbens), mas é claramente verdadeiro. Enquanto os fenomenologistas só perderam muito tempo de muitas pessoas, eles estão desperdiçando a terra e o futuro de seus descendentes. (shrink)

The Question of Truth in Kant’s Transcendental Logic [English] In the third section of the “Introduction” to transcendental logic, Kant dedicates a couple of paragraphs to the subject of truth (KrV B82-83). Based on this passage, Kant’s com¬mentators have justified various and sometimes contradictory interpretations of the Kantian notion of truth. However, few have analyzed the passage in its own context, that is, as part of the strategy to introduce the idea of transcendental logic. In this work, I intend to (...) take a position in this regard. I will try to show that this passage does not subscribe to the distinction between general and transcendental logic, but between analytic and dialectic logic. [Español] En la tercera sección de la “Introducción” a la lógica trascendental, Kant dedica un par de párrafos al tema de la verdad (KrV B82-83). Basándose en este pasaje, los comentaristas de Kant han justificado diversas y a veces contradictorias interpretaciones de la noción kantiana de verdad. Sin embargo, pocos han analizado el pasaje en su propio contexto, es decir, como parte de la estrategia para introducir la idea de una lógica trascendental. En este trabajo se pretende tomar postura a este respecto. Se intentará mostrar que este pasaje no abona a la distinción entre lógica general y lógica trascendental, sino entre analítica y dialéctica. (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)

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)

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)

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)

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)

The logical form of a discourse—such as a proposition, a set of propositions, an argument, or an argumentation—is obtained by abstracting from the subject-matter of its content terms or by regarding the content terms as mere place-holders or blanks in a form. In a logically perfect language the logical form of a proposition, a set of propositions, an argument, or an argumentation is determined by the grammatical form of the sentence, the set of sentences, the argument-text, or the argumentation-text expressing (...) it. Two such discourse-texts are said to have the same grammatical form, in this sense, if a uniform one-one substitution of content words transforms the one exactly into the other. The sentence ‘Abe properly respects every agent who respects himself’ may be regarded as having the same grammatical form as the sentence ‘Ben generously assists every patient who assists himself’. (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.

Livro-texto de introdução à lógica, com (mais do que) pitadas de filosofia da lógica, produzido como uma versão revista e ampliada do livro Forallx: Calgary. Trata-se da versão de 13 de outubro de 2022. Comentários, críticas, correções e sugestões são muito bem-vindos.

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)

The aim of this paper is to show how the invention of imaginary logic by Nikolaj A. Vasil’ev, forerunner of various logical and metaphysical theories appeared in the 20th century, is grounded on a revaluation of Aristotelian ontology. I shall introduce the reason why Aristotle believes that the study of the principle of contradiction is part of ontology (§ 2); I shall explain why Vasil’ev considers the law of contradiction an empirical law, and not a logical one (§ 3.1). I (...) will show his conception of contradiction (§ 3.2) and I will discuss how he believes that it’s possible to renounce this law; (§ 3.3). I shall then explain the fundamental features of imaginary logic (§ 4.1 and § 4.2); and, finally I shall claim how, in spite of a convergence from the logical point of view (§ 5.1), the incompatibility of the two authors takes place on an ontological level (§ 5.2). In order to do so, I shall implement the analysis of the Aristotelian syllogistic conducted by the Polish logician and philosopher Jan Łukasiewicz, together with a crucial distinction between two concepts: the one of ‘law’ and the one of ‘principle’. -/- . (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)