Mostrando recursos 81 - 100 de 189.549

  1. “A exceção e a regra”: fragmentos de uma reflexão jurídico-literária

    Pereira Ribeiro, Iara
    This study analyzes the play The Exception and the Rule, written in 1929/1930 by the German playwright Bertolt Brecht. The play talks about the trial of a rich merchant who, during a business trip through the desert, killed a man who served as a coolie. The text allows the approach of the similarities between staging and judging, keeping in mind that both are characterized by orality and publicity; and criticizing the logic inversion of the use of the rule and the exception, which makes the exception the rule.

  2. Registro civil y secularización. Comparación entre Ecuador y Francia

    Hautebert, Joël
    El estudio de la creación del Registro Civil y de sus relaciones con los sacramentos de la Iglesia nos conduce al corazón de varias problemáticas jurídicas y político/religiosas de gran importancia. La comparación entre las historias recientes respectivas de Francia y Ecuador, dos países de tradición católica de distintos continentes, ofrece un interesante ángulo de análisis de estos problemas. Las numerosas observaciones de Mons. Juan Larrea Holguín sobre el tema de las relaciones entre el sacramento de matrimonio (y el bautismo) y las obligaciones civiles (registro civil) pueden aplicarse en gran parte para Francia. La precisa comprensión de las instituciones...

  3. O Papel da (nano) ciência e da (nano) tecnologia nas políticas agrícolas brasileiras: revisitando argumentos históricos

    Santos Junior, Jorge Luiz dos; Santos, Wander Luiz Pereira dos
    This paper aims to discuss the Brazilian scientific and technological development since public policies set up focusing on those related to agriculture. Therefore, we analyze the role played by agriculture in the Brazilian development process by providing specific and pre-determined function within the both industrialization logic and called autochthonous technology. On a critical perspective, the article shows the changes in the agriculture that came from the wider use of nanotechnologies, revealing how this process moves from a sustainable development perspective due it re-strengthens agribusiness as well penalizes family farming. Revealing the mistakes of these policies, the paper proposes new approaches to be pursued by the State in order to reach a fairy...

  4. Interações entre valores e atividade científica e sua aplicação ao contexto dos campos sulinos

    Reis, Claudio Ricardo Martins dos
    Na primeira metade de século XX, tanto os empiristas lógicos quanto os racionalistas popperianos sustentaram que os juízos científicos corretos derivavam de sua conformação a certas regras: indutivas, dedutivas, hipotético-dedutivas ou formalizáveis segundo o cálculo de probabilidades. No entanto, após a emergência de novos trabalhos, como os de Thomas Kuhn, houve um amplo desenvolvimento de abordagens que analisam a inferência científica com base em valores, em vez de regras estabelecidas a priori. A estratégia proposta por Kuhn considera a prática científica e sua história um elemento importante para uma compreensão adequada da racionalidade da ciência. Sua abordagem envolve a consideração...

  5. Logic circuits design based on MRAM: from single tomulti-states cells storage

    Jovanovic, Bojan; Brum, Raphael; Torres, Lionel
    International audience

  6. Human behaviour, benign or malevolent: understanding the human psyche, performing therapy, based on affective mentalization and Matte-Blanco's bi-logic

    Murtagh, Fionn; Iurato, Giuseppe
    International audience

  7. Immanent Reasoning or Equality in Action A Dialogical Study

    Rahman, Shahid; Clerbout, Nicolas; klev, ansten; Conaughey, Zoe,; Redmond, Juan
    PREFACEProf. Göran Sundholm of Leiden University inspired the group of Logic at Lille and Valparaíso to start a fundamental review of the dialogical conception of logic by linking it to constructive type logic. One of Sundholm's insights was that inference can be seen as involving an implicit interlocutor. This led to several investigations aimed at exploring the consequences of joining winning strategies to the proof-theoretical conception of meaning. The leading idea is, roughly, that while introduction rules lay down the conditions under which a winning strategy for the Proponent may be built, the elimination rules lay down those elements of...

  8. Games and Strategies as Event Structures

    Castellan, Simon; Clairambault, Pierre; Rideau, Silvain; Winskel, Glynn
    In 2011, Rideau and Winskel introduced concurrent games and strategies as event structures, generalizing prior work on causal formulations of games. In this paper we give a detailed, self-contained and slightly-updated account of the results of Rideau and Winskel: a notion of pre-strategy based on event structures; a characterisation of those pre-strategies (deemed strategies) which are preserved by composition with a copycat strategy; and the construction of a bicategory of these strategies. Furthermore, we prove that the corresponding category has a compact closed structure, and hence forms the basis for the semantics of concurrent higher-order computation.

  9. Water-soluble naphthalimide-based 'Pourbaix sensors': pH and redox-activated fluorescent AND logic gates based on photoinduced electron transfer

    Johnson, Alex D.; Paterson, Kyle A.; Spiteri, Jake C.; Denisov, Sergey A.; Jonusauskas, Gediminas; Tron, Arnaud,; Mcclenaghan, Nathan D.; Magri, David C.
    International audience

  10. $rec.titulo

    Leventis, Thomas

  11. Concurrent Hyland-Ong games

    Castellan, Simon; Clairambault, Pierre; Winskel, Glynn
    We build a cartesian closed category, called CHO, based on event structures. It allows an interpretation of higher-order stateful concurrent programs that is refined and precise: on the one hand it is conservative with respect to standard Hyland-Ong games when interpreting purely functional programs as innocent strategies, while on the other hand it is much more expressive. The interpretation of programs constructs compositionally a representation of their execution that exhibits causal dependencies and remembers the points of non-deterministic branching.The construction is in two stages. First, we build a compact closed category TCG. It is a variant of Rideau and Winskel's...

  12. Concurrent constraint programming and linear logic

    Soliman, Sylvain
    In this thesis, we study the close links between linear logic and on current constraint programming, from the angle of semantics and more precisely of program verification.We refine the observables that can be characterized in linear logic and extend existing results to obtain a more precise and more general semantics. These results are only based on a more faithful translationfrom agents into logic formulae and on an enrichment of the theory. We also present an original method to get program proofs, based on the provability semantics of linear logic: phase semantics. This gives us a tool for verification, enjoying lots...

  13. The cellular and synaptic architecture of the mechanosensory dorsal horn

    Abraira, Victoria E.; Kuehn, Emily D.; Chirila, Anda M.; Springel, Mark W.; Toliver, Alexis A.; Zimmerman, Amanda L.; Orefice, Lauren L.; Boyle, Kieran A.; Bai, Ling; Song, Bryan J.; Bashista, Karleena A.; O'Neill, Thomas G.; Zhou, Justin; Tsan, Connie; Hoynoski, Jessica; Rutlin, Michael; Kus, Laura; Niederkofler, Vera; Watanabe, Masahiko; Dymecki, Susan M.; Nelson, Sacha B.; Heintz, Nathaniel; Hughes, David I.; Ginty, David D.
    The deep dorsal horn is a poorly characterized spinal cord region implicated in processing low-threshold mechanoreceptor (LTMR) information. We report an array of mouse genetic tools for defining neuronal components and functions of the dorsal horn LTMR-recipient zone (LTMR-RZ), a role for LTMR-RZ processing in tactile perception, and the basic logic of LTMR-RZ organization. We found an unexpectedly high degree of neuronal diversity in the LTMR-RZ: seven excitatory and four inhibitory subtypes of interneurons exhibiting unique morphological, physiological, and synaptic properties. Remarkably, LTMRs form synapses on between four and 11 LTMR-RZ interneuron subtypes, while each LTMR-RZ interneuron subtype samples inputs...

  14. Ramsey Algebras and Formal Orderly Terms

    Teh, Wen Chean
    Hindman’s theorem says that every finite coloring of the natural numbers has a monochromatic set of finite sums. A Ramsey algebra is a structure that satisfies an analogue of Hindman’s theorem. In this paper, we present the basic notions of Ramsey algebras by using terminology from mathematical logic. We also present some results regarding classification of Ramsey algebras.

  15. Models as Universes

    Halimi, Brice
    Kreisel’s set-theoretic problem is the problem as to whether any logical consequence of ZFC is ensured to be true. Kreisel and Boolos both proposed an answer, taking truth to mean truth in the background set-theoretic universe. This article advocates another answer, which lies at the level of models of set theory, so that truth remains the usual semantic notion. The article is divided into three parts. It first analyzes Kreisel’s set-theoretic problem and proposes one way in which any model of set theory can be compared to a background universe and shown to contain internal models. It then defines logical...

  16. Locally Finite Reducts of Heyting Algebras and Canonical Formulas

    Bezhanishvili, Guram; Bezhanishvili, Nick
    The variety of Heyting algebras has two well-behaved locally finite reducts, the variety of bounded distributive lattices and the variety of implicative semilattices. The variety of bounded distributive lattices is generated by the $\to$ -free reducts of Heyting algebras, while the variety of implicative semilattices is generated by the $\vee$ -free reducts. Each of these reducts gives rise to canonical formulas that generalize Jankov formulas and provide an axiomatization of all superintuitionistic logics (si-logics for short). ¶ The $\vee$ -free reducts of Heyting algebras give rise to the $(\wedge,\to)$ -canonical formulas that we studied in an earlier work. Here we introduce the...

  17. Disarming a Paradox of Validity

    Field, Hartry
    Any theory of truth must find a way around Curry’s paradox, and there are well-known ways to do so. This paper concerns an apparently analogous paradox, about validity rather than truth, which JC Beall and Julien Murzi (“Two flavors of Curry’s paradox”) call the v-Curry. They argue that there are reasons to want a common solution to it and the standard Curry paradox, and that this rules out the solutions to the latter offered by most “naive truth theorists.” To this end they recommend a radical solution to both paradoxes, involving a substructural logic, in particular, one without structural contraction. ¶ In...

  18. Layered graph logic as an assertion language for access control policy models

    Pym, D; Collinson, M; McDonald, K
    We describe a uniform logical framework, based on a bunched logic that combines classical additives and very weak multiplicatives, for reasoning compositionally about access control policy models. We show how our approach takes account of the underlying system architecture, and so provides a way to identify and reason about how vulnerabilities may arise (and be removed) as a result of the architecture of the system. We consider, using frame rules, how local properties of access control policies are maintained as the system architecture evolves.

  19. Smart design rules for smart grids: analysing local smart grid development through an empirico-legal institutional lens

    Lammers, Imke; Heldeweg, Michiel A.
    Background This article entails an innovative approach to smart grid technology implementation, as it connects governance research with legal analysis. We apply the empirico-legal ‘ILTIAD framework’, which combines Elinor Ostrom’s Institutional Analysis and Development (IAD) framework with institutional legal theory (ILT), to an empirical case study of a local smart grid project. Methods Empirical data were collected in an exploratory, descriptive example study of a single case, focusing on the Action Situation and interactions towards establishing a local Smart Grid. The case was chosen because of its complexity, following the ‘logic of intensity sampling’. Data triangulation took place combining participatory observation, semi-structured interviews,...

  20. El cine argumental español durante la dictadura de Primo de Rivera: 1923-1930

    Medrano Coll, Francisco Javier
    La época de la dictadura del general Primo de Rivera no ha sido aún suficientemente estudiada especialmente en el terreno cinematográfico. Sólo en estos últimos años se ha detectado un mayor interés por analizar más a fondo su naturaleza y características. Uno de los objetivos del trabajo es comprobar si el cine del momento es o no un reflejo de la sociedad española y por otra parte, si ese mismo cine tiene la capacidad de modelar esa sociedad. Por otro lado, también se intentará comprobar si se usaba como herramienta para transmitir contenidos ideológicos. Para conseguir esos objetivos, se acomete el...

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.