Mostrando recursos 121 - 140 de 188.662

  1. Quantitative Types for the Linear Substitution Calculus

    Kesner, Delia; Ventura, Daniel
    Part 2: Track B: Logic, Semantics, Specification and Verification

  2. Generic Partition Refinement Algorithms for Coalgebras and an Instantiation to Weighted Automata

    König, Barbara; Küpper, Sebastian
    Part 2: Track B: Logic, Semantics, Specification and Verification

  3. The Inhabitation Problem for Non-idempotent Intersection Types

    Bucciarelli, Antonio; Kesner, Delia; Ronchi Della Rocca, Simona
    Part 2: Track B: Logic, Semantics, Specification and Verification

  4. Optimization Based on Fuzzy Logic Control of Discharge Lamp-Electronic Ballast System for Water Purification

    Aissa-Bokhtache, Aicha; Zegaoui, Abdallah; Kellal, Mohamed; Boucherit, Mohamed Seghir; Belmadani, Bachir; Aillerie, Michel
    International audience

  5. Rhetoric and logic in Smith's Description of the Division of Labor

    Peaucelle, Jean-Louis
    International audience

  6. [en] THE THEORY OF COMMUNICATIVE ACTION HABERMAS AS THE FOUNDATION OF NORMATIVE VALIDITY OF COLLECTIVE LABOR NEGOTIATIONS

    JOÃO DE AMARAL FILHO
    [pt] Com a modernidade em crise, a crítica aos ideais iluministas e até da noção tradicional da razão em cheque, passou-se a buscar uma melhor compreensão da realidade, como alternativa para suprir um crescente descontentamento social em função do distanciamento entre as decisões administrativas, incluindo as judiciais, e os efetivos anseios dos cidadãos. Dentre as propostas que aliam o novo ideal democrático ao contexto do mundo da vida, o filósofo alemão Jürgen Habermas propõe uma mudança de paradigma da Razão através de uma lógica dialógica, transferindo a noção da Razão Prática para um espectro procedimental, usando como ferramenta indispensável o agir comunicativo, o discurso e o consenso entre as...

  7. Desarrollo y aplicación de un modelo de dinámica de sistemas para la gestión integral del sistema Júcar

    Rubio Martín, Adrià
    [EN] System dynamics is a methodology for the symbolic representation of complex systems by the mathematical definition of variables and their relationships. Over the past 50 years, system dynamics has been consolidated as a methodology applied to fields as diverse as economics, ecology, politics, sociology and resource management. Its application to the field of water resources has grown significantly over the last two decades. Some features of this approach are its flexibility which has allowed its application to diverse fields , transparency and the ability to integrate both quantitative and qualitative information. The aim of this work is the creation...

  8. La Verwerfung y sus destinos: el nudo trébol

    Motto, Fabricio
    El presente trabajo se enmarca en el proyecto de investigación PSI 260: La lógica y la topología a lo largo de la enseñanza de Lacan y la aplicación retroactiva a sus comienzos (2012). Esta tiene como objetivo llevar adelante un relevamiento de la lógica y la topología utilizadas y construidas por Jacques Lacan para rastrear tempranas manifestaciones hacia los comienzos de su enseñanza. En el seminario Las estructuras freudianas de las psicosis (1955-1956) nos encontramos con un acercamiento al caso Schreber centrado en la noción de Verwerfung. Allí se plantea que los destinos de esta última conllevan una diferencia fundamental...

  9. La lógica del significante: el nombre propio

    Maida Re, Madeleine
    El presente artículo es el resultado del trabajo realizado en el marco de la investigación PSI 260: “La lógica y la topología a lo largo de la enseñanza de Lacan y la aplicación retroactiva a sus comienzos” de La Facultad de Psicología de la Universidad Nacional de Rosario. Este artículo trata la articulación del nombre propio al significante. Lacan en el Seminario IX (1961) trata la discusión teórica sobre el nombre propio para dar precisiones respecto del significante. El problema de investigación es la relación entre el nombre propio y el sentido. Esta relación permite dar precisiones respecto del significante,...

  10. El totemismo

    Maida Re, Madeleine
    El presente artículo es el resultado del trabajo realizado en el marco de la investigación PSI 260: “La lógica y la topología a lo largo de la enseñanza de Lacan y la aplicación retroactiva a sus comienzos” de La Facultad de Psicología de la Universidad Nacional de Rosario. Este artículo trata sobre la neurosis y el mito del padre de la horda desarrollado por Sigmund Freud en Tótem y tabú (1913). Este mito explica el origen de la neurosis y del padre en la estructura. La teoría y la clínica del psicoanálisis encuentran su fundamento en el complejo de Edipo....

  11. Una reconstrucción crítica del aspecto negativo de la teoría del derecho en Hans Kelsen

    Wilenmann, Javier
    El presente artículo presenta una reconstrucción crítica de la obra de Hans Kelsen. Una interpretación adecuada de la teoría de Kelsen permite distinguir en ella dos estadios: i) un primer estadio lógico constituido por la formulación de un programa científico alrededor de su teoría de la validez y de la estructura de la norma, y un segundo estadio consistente en la realización de ese programa, el que puede ser dividido a su vez en dos fases, a saber: ii) una fase de realización negativa a través de la generación de una crítica radical a las concepciones tradicionales de la ciencia...

  12. La lógica de implicación normativa de von Wright y la paradoja de Chisholm

    Maranhão, Juliano
    En sus últimos trabajos sobre lógica deóntica von Wright reinterpreta sus teoremas y derivaciones como meros patrones de racionalidad legislativa, sin compromiso con la existencia de las normas derivadas. Esta propuesta utiliza una cuasi-semántica, sin recurso a valores de verdad, que siguiendo a Hansen (1999) llamaremos lógica de implicación normativa (LIN). En LIN von Wright rescata al sistema estándar y sugiere que las normas condicionales podrían ser representadas por una implicación material dentro del alcance del operador deóntico sin caer en conocidas paradojas, en especial la paradoja de Chisholm (obligaciones contrarias al deber). En este artículo confronto LIN con la...

  13. Las acciones como transformaciones de estado en G. H. von Wright

    Hilpinen, Risto
    G. H. von Wright desarrolló, en varias publicaciones, lógicas deónticas de la acción en las que analizó las acciones como transformaciones del estado del mundo. Este trabajo es una discusión del modelo de transformación de estado de von Wright y las variantes desarrolladas por otros filósofos.

  14. Reminiscencias de Georg Henrik von Wright

    Bulygin, Eugenio
    En este texto se describen algunos recuerdos y anécdotas de los encuentros del autor con G. H. von Wright y de sus discusiones e intercambios sobre lógica y filosofía.

  15. ¿Lógica sin verdad?

    Wright, Georg Henrik von
    En este trabajo se discute la posibilidad misma de una lógica de las normas, al carecer estas de valor de verdad o falsedad. La tesis de fondo es que las nociones de consecuencia y contradicción lógica en términos de valores de verdad resulta persuasiva, pero es demasiado estrecha. Por ello, el trabajo intenta brindar una caracterización de las nociones de consecuencia y contradicción lógica que muestre tanto el modo en el que ellas dependen de la noción de verdad, como asimismo el modo en el que puede decirse que la trascienden.

  16. G. H. von Wright y la lógica sin verdad

    González Lagier, Daniel; Navarro, Pablo Eugenio
    En este breve texto se describe el contexto en el que von Wright escribió el artículo «¿Lógica sin verdad?» y algunas de las circunstancias de la versión que a continuación se publica.

  17. Extending SMTCoq, a Certified Checker for SMT (Extended Abstract)

    Ekici, Burak; Katz, Guy; Keller, Chantal; Mebsout, Alain; Reynolds, Andrew,; Tinelli, Cesare
    International audience

  18. A Certified Compiler for Verifiable Computing

    Fournet, Cédric; Keller, Chantal; Laporte, Vincent
    International audience

  19. Quantum Observables for Binary, Multi-Valued and Fuzzy Logic : Eigenlogic

    Toffano, Zeno; Dubois, François
    International audience

  20. Extending Nunchaku to Dependent Type Theory

    Cruanes, Simon; Blanchette, Jasmin,
    International audience

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.