Lógica

In this chapter, the author presents an overview of the main contents to be covered by a Formal Logic course for Philosophy undergraduates. It includes the following sections: (1) Logic: what follows from what? (2) Logic for philosophers; (3) Propositional logic; (4) Predicate logic; (5) The theory of identity; (6) Soundness and completeness; (7) Propositional modal logic; (8) Bibliography

Programación lógica

Treballs Finals de Grau d'Enginyeria Informàtica, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2015, Director: Juan Carols Martínez AlonsoThis text aims to collect the research work done in a very specific field of programming, logic programming. Therefore, I have focused my work on the study of first-order logic and specific language for this paradigm: Prolog. Dr. Peña Marí wrote in bis book "De Euclides a Java", about the history of algorithmics: «This story begins almost at very same time that the history of mankind... ». But this study does not go that far. Since the purpose of the work is programming -or rather, a part of it-, we must move forward in time a bit... The aim of this work is to expand the knowledge received in the course of "Logica i llenguatges, Grade Computer Engineering" at UB. In previous editions more study material was dealt with, so that the course had to be divided in two different matters. My work has consisted on studying all materials that are no longer a topic within the course, extending them when necessary, namely the study of Prolog language. I want to start my presentation by putting, both in historical and scientific context, everything connected with what I'm going to talk about in this work. In this introductory chapter I will try to provide you with some historical details. I will cite the most basic, necessary elements that make possible programming, the programmable machines. I will give a context to our programming paradigm, that is, logic programming. In chapter 2 I will explain the first-order logic, in full detail. I will review the basic and most characteristic predicate language concepts, interpretations in these languages and some logical equivalences. At the end we'll see the unification algorithm and the method of resolution specifics for languages with declarative paradigm, and more specifically, the logical one. In chapter 3 we will see the programming language Prolog. We will see its relationship with the declarative and logic languages, its evolution throughout history, the way we use it, its basic elements, and how it makes it possible to unify terms. We'll see the way lists are dealt with, arithmetic expressions are used, cut is used, etc. We will finish in chapter 4 with a few solved exercises to exemplify all the the information in this work, either related to predicate logic, or to fundamentals of Prolog

A lógica do capital e a lógica hegemônica

This article aims at establishing a dialogue between the theory of hegemony of Ernesto Laclau and the categorial interpretation of Marx by Moishe Postone. First, I will show that the hegemonic logic of Laclau appears logically constituted by the dynamic of capital as Postone studies it. Second, I will defend the relevance of the hegemonic conception of politics, no longer as an originary social ontology, but as a limited (yet partially effective) social logic characteristic of capitalist society.Este artigo estabelece um diálogo entre a teoria da hegemonia de Ernesto Laclau e a interpretação de Marx por Moishe Postone. Mostrarei, em primeiro lugar, que a lógica hegemônica de Laclau aparece constituída pela dinâmica do capital como estudado por Postone. Em seguida, defenderei a relevância da concepção hegemônica de política, não mais como uma ontologia social originária, mas como uma lógica social limitada (mas parcialmente eficaz) característica da sociedade capitalista.Fil: Martín, Facundo Nahuel. Centro de Investigaciones Filosóficas. Instituto de Filosofía "Ezequiel de Olaso". - Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Filosofía "Ezequiel de Olaso"; Argentin

Fantasía con lógica

Postprint (author's final draft

Lógica na escola

Anais do 35º Seminário de Extensão Universitária da Região Sul - Área temática: EducaçãoNo ano de 2017 o Instituto Federal de Educação Ciência e Tecnologia do Rio Grande do Sul – Campus Caxias do Sul iniciou uma parceria com a Escola Municipal de Ensino Fundamental Angelina Sassi Comandulli, dando início ao projeto Lógica na Escola que tem como proposta a elaboração de atividades de lógica que são aplicadas quinzenalmente durante um período de vinte minutos em turmas de 1o ao 9o ano do Ensino Fundamental, com o objetivo principal de melhorar os índices na área de Matemática da Prova Brasil dos alunos de Ensino Fundamental da escola municipal. O projeto é recente e ainda está em desenvolvimento, porém os resultados obtidos até o momento segundo a diretora da escola são positivos, tendo uma boa aceitação por parte dos alunos. Este projeto além de auxiliar a escola a melhorar os índices da Prova Brasil em Matemática, também possui o intuito de incentivar os alunos a desenvolver o gosto pela Matemática e também mostrar aos professores a importância de aplicar atividades que utilizem a lógica em suas aulas, estimulando o raciocínio lógico de seus aluno

Lógica aplicada al razonamiento del derecho

154 p.Los campos de interrelación entre la lógica y el derecho estriban en disciplinas como la lógica jurídica, la lógica de normas, la lógica de proposiciones normativas, la lógica deóntica y la lógica de los sistemas jurídicos. De ahí que el análisis lógico del derecho como sistema normativo se equipare a la versión analítica de la teoría jurídica. En esta obra, los autores, a manera de contraformalismo y al tomar como punto de partida los casos límite en la aplicación de la lógica deóntica, exponen, con sumo detalle, lo que han denominado conceptuadores operativos en el orden del derecho. Por lo tanto, los concepturadores que se presentan en esta obra son: indecidibilidad, fisurabilidad, autoridad normativa e imperativos contrarios al deber.Prólogo Introducción Capítulo 1. Subsunción y aplicación en el derecho Enunciados de subsunción e indecidibilidad Resumen Introducción Sistemas jurídicos indecidibles a partir de su formalización La recepción de Alchourrón y Bulygin frente a la Teoría de la acción de Von Wright Noción de caso El universo de casos Categoría de los casos: casos genéricos y casos individuales Sobre algunos modos de pensar en la ciencia jurídica: deducción e interpretación Alexy: tres modelos de interpretación jurídica El sistema jurídico indecidible Metateoría de lenguajes formales Teoría de modelos para la interpretación de un lenguaje El método efectivo y los conjuntos decidibles Sistema jurídico e indecidibilidad Indecidibilidad, subsunción y discrecionalidad judicial La tesis de la indeterminación y el problema de las lagunas Vaguedades, ambigüedades e imprecisiones Completitud y determinación normativa Conclusiones Referencias Capítulo 2. Lógica, derecho y política Una aproximación lógica al concepto de autoridad normativa Introducción Autoridades políticas, autoridad efectiva y legítima Pretensiones de la autoridad política Autoridad y lógica La autoridad según Caracciolo Autoridad y normas Autoridad legítima y coordinación Libertad y autoridad normativa Justificación teórica de la permisión desde la autoridad El caso de Rex Conclusiones Referencias Capítulo 3. Derecho, lógica y sistemas Contrafácticos e imperativos contrarios a deber Introducción El lenguaje apofántico proposicional La distinción entre enunciado y proposición Variables y términos de enlace La problemática aplicación de la lógica al derecho La aproximación kelseniana El dilema de Jörgensen El metalenguaje lógico de las normas Las lógicas modales Primeros sistemas normativos deónticos La lógica de la satisfacción normativa La solución al problema de insatisfactibilidad de los corpus Referencias Capítulo 4. Operatividad lógica de los sistemas maestros Resumen Introducción El sistema maestro Inexcusabilidad Justificación Legalidad Completitud Consistencia La estructura lógica de los sistemas maestros: un lenguaje ideal ¿Cómo opera el sistema maestro? La lógica del caso concreto Postura no reduccionista que considera la lógica deóntica como una extensión de la lógica proposicional Definición del conjunto modelo μ* en “O” (Obligatoriedad) y “P” (Permisión) Postura no reduccionista que considera a la lógica deóntica una extensión de la lógica modal alética Postura reduccionista (R) La obligatoriedad y el sistema DM El Sistema K1 Conclusiones Referencias Capítulo 5. Epílogo a la segunda edición. Lógica tolerante, tercero incluido y permiso débil La incorporación del tercero incluido a la lógica deóntica La intensidad de los permisos Referencias2a edició

Operatividad lógica de los sistemas maestros

35 p.En el presente capítulo se plantearán las características de los sistemas jurídicos maestros, su aplicabilidad interna y externa, e inclusive se hará alusión a su operatividad lógica sistémica, pero lo más interesante del mismo es que rescata una de las ideas del gran iusfilósofo Carlos Alchourrón, y la dota de un contenido aparentemente formalizado y formalizable que facilita su estudio lógico-sistémico. Por ende, al terminar el mismo, se hará una especie de caracterización de una lógica del caso concreto.Resumen Introducción El sistema maestro Inexcusabilidad Justificación Legalidad Completitud Consistencia La estructura lógica de los sistemas maestros: un lenguaje ideal ¿Cómo opera el sistema maestro? La lógica del caso concreto Postura no reduccionista que considera la lógica deóntica como una extensión de la lógica proposicional Definición del conjunto modelo μ* en “O” (Obligatoriedad) y “P” (Permisión) Postura no reduccionista que considera a la lógica deóntica una extensión de la lógica modal alética Postura reduccionista (R) La obligatoriedad y el sistema DM El Sistema K1 Conclusiones Referencias2a edició

Lógica dialógica y argumentación

Es cada vez más frecuente que en los libros de texto de Filosofía I, destinados a primero de bachillerato, el estudio de la lógica formal sea complementado incluso sustituido por un capítulo de la llamada lógica informal. Dicho capítulo adopta generalmente este esquema: se denuncia la escasa utilidad de la lógica formal en el análisis de argumentaciones reales, se proponen ejemplos de buenas argumentaciones, se introduce alguna distinción superficial como aquélla que media entre argumentaciones paralelas y convergentes, se denuncian supuestas falacias, y se articula finalmente un alegato en favor de la lógica informal en tanto habilidad más propia del ciudadano consciente y responsable que ejerce su derecho a deliberar en público, ante la administración, ante los medios de comunicación o ante los tribunales. Dejaremos de lado esta última vertiente ideológica. Lo que haremos a continuación será defender que la lógica informal, si la entendemos como una ciencia general del diálogo argumentativo, es un campo perfectamente compatible con la lógica formal. De hecho, como apunta Johan van Benthem, la tendencia de la lógica formal actual consiste en estudiar el modo en que diferentes agentes intercambian información unos con otros, anuncian públicamente algo, modifican sus creencias a través de la interacción, desconfían unos de otros, guardan secretos, etc. Reflexionaremos sobre didáctica de la lógica, pero lo haremos a un cierto nivel de abstracción. Con esto quiero decir que no aspiro a proporcionar una especie de unidad didáctica lista para ser aplicada en la enseñanza elemental de la lógica. Lo que hago es más bien iniciar una discusión en torno al modo en que puede enseñarse formalmente la lógica informal, con qué propósito y sobre todo con qué medios. En el primer apartado delimito qué dimensión de la lógica informal me parece más interesante y mejor conectada con la lógica formal. Se trata de la dimensión dialéctica. En los demás apartados discutiré de qué modo se puede materializar esa conexión entre la lógica del diálogo y la lógica formal

Angioni, L. (2014) (ed.). Lógica e Ciência em Aristóteles. Campinas, Ed. Phi.

BERRÓN, Manuel (2017). Reseña: Angioni, Lucas (2014) (ed.). Lógica e Ciência em Aristóteles. Campinas, Ed. Phi.BERRÓN, Manuel (2017). Reseña: Angioni, Lucas (2014) (ed.). Lógica e Ciência em Aristóteles. Campinas, Ed. Phi.BERRÓN, Manuel (2017). Reseña: Angioni, Lucas (2014) (ed.). Lógica e Ciência em Aristóteles. Campinas, Ed. Phi.BERRÓN, Manuel (2017). Reseña: Angioni, Lucas (2014) (ed.). Lógica e Ciência em Aristóteles. Campinas, Ed. Phi.BERRÓN, Manuel (2017). Reseña: Angioni, Lucas (2014) (ed.). Lógica e Ciência em Aristóteles. Campinas, Ed. Phi