Clasificación por Disciplina
Nomenclatura Unesco > (11) Lógica
Nomenclatura Unesco > (11) Lógica
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.
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...
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...
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...
Jovanovic, Bojan; Brum, Raphael; Torres, Lionel
Murtagh, Fionn; Iurato, Giuseppe
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...
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.
Johnson, Alex D.; Paterson, Kyle A.; Spiteri, Jake C.; Denisov, Sergey A.; Jonusauskas, Gediminas; Tron, Arnaud,; Mcclenaghan, Nathan D.; Magri, David C.
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...
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...
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...
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.
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...
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...
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...
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.
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,...
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...