Abordagens (etno)filosóficas no e do direito -- Criminologia, direito penal e direito internacional humanitário -- Educação em direitos humanos e fundamentais -- Hermanêutica jurídica e sistemas teóricos do conhecimento no direito -- Gênero na transversalidade no direito : epistemologias da marginalização do 'outro' não hegemônico.

Artificial intelligence has been adopted in a wide range of domains. This shows the imperative need to contribute to making citizens insightful actors in debates and decisions involving the adoption of AI mechanisms. Currently, existing approaches to the teaching of basic AI concepts through programming treat machine intelligence as an external element/module. After being trained, that external module is coupled to the main application. Combining block-based programming and WiSARD weightless artificial neural networks, this article presents the conceptualization and design of (...) a new methodology, AI from concrete to abstract, to endow general people with a minimum understanding of what AI means. The main strategy adopted was to include AI training and classification primitives as blocks that compose an otherwise conventional computer program. This way, the programmer can use these blocks as he/she uses other programming constructs. In order to achieve this purpose, we also propose BlockWiSARD, a block-based programming environment designed to promote the demystification of artificial intelligence via practical activities related to the development of learning machines, as well as through the observation of their learning process. As a beneficial side effect of BlockWiSARD, the difference between a program capable of learning from data and a conventional computer program becomes more evident. In addition, the simplicity of the WiSARD weightless artificial neural network model enables easy visualization and understanding of training and classification tasks internal realization. (shrink)

Carnival was brought to the New World by Spanish and Portuguese colonizers, and it has been preserved there up to our day, although in the meantime it has almost disappeared from the countries where it originated. One asks oneself if Carnival has kept its original characteristics over the years, or if it instead has been transformed, and if so, how. The ethnological and cultural variety present in Latin America leads us to think that there must have been an evolution over (...) the years, and that Carnival should show some signs of acculturation. It is the examination of these two points that will be the subject of our study. (shrink)

Rio de Janeiro, the opening of the carnival. On the Friday evening preceding Mardi Gras, the mayor of Rio hands over the keys to the city to King Momo, sovereign of the carnival. Immediately the samba breaks out in the brightly lit streets of the city. Newspapers, magazines and television feature big headlines describing the event and glorifying the holiday kingdom. They all report that the city is being shaken by winds of madness, that licence and inversions of every variety (...) are rampant, that the leveling of individuals and the abolition of social distances illustrate the resolutions of conflicts in a collective dream of joy and happiness…. (shrink)

Taxonomies of living things and the methods used to produce them changed little with the institutionalization of evolutionary thinking in biology. Instead, the relationships expressed in existing taxonomies were merely reinterpreted as the result of evolution, and evolutionary concepts were developed to justify existing methods. I argue that the delay of the Darwinian Revolution in biological taxonomy has resulted partly from a failure to distinguish between two fundamentally different ways of ordering identified by Griffiths : classification and systematization. Classification consists (...) of ordering entities into classes, groups defined by the attributes of their members; in contrast, systematization consists of ordering entities into systems, more inclusive entities whose existence depends on some natural process through which their parts are related. Evolutionary, or phylogenetic, systematics takes evolutionary descent to be the natural process of interest in biological taxonomy. I outline a general framework for a truly phylogenetic systematics and examine some of its consequences. (shrink)

Terms loaded with informational connotations are often employed to refer to genes and their dynamics. Indeed, genes are usually perceived by biologists as basically ‘the carriers of hereditary information.’ Nevertheless, a number of researchers consider such talk as inadequate and ‘just metaphorical,’ thus expressing a skepticism about the use of the term ‘information’ and its derivatives in biology as a natural science. First, because the meaning of that term in biology is not as precise as it is, for instance, in (...) the mathematical theory of communication. Second, because it seems to refer to a purported semantic property of genes without theoretically clarifying if any genuinely intrinsic semantics is involved. Biosemiotics, a field that attempts to analyze biological systems as semiotic systems, makes it possible to advance in the understanding of the concept of information in biology. From the perspective of Peircean biosemiotics, we develop here an account of genes as signs, including a detailed analysis of two fundamental processes in the genetic information system (transcription and protein synthesis) that have not been made so far in this field of research. Furthermore, we propose here an account of information based on Peircean semiotics and apply it to our analysis of transcription and protein synthesis. (shrink)

An examination of the post-Darwinian history of biological taxonomy reveals an implicit assumption that the definitions of taxon names consist of lists of organismal traits. That assumption represents a failure to grant the concept of evolution a central role in taxonomy, and it causes conflicts between traditional methods of defining taxon names and evolutionary concepts of taxa. Phylogenetic definitions of taxon names (de Queiroz and Gauthier 1990) grant the concept of common ancestry a central role in the definitions of (...) taxon names and thus constitute an important step in the development of phylogenetic taxonomy. By treating phylogenetic relationships rather than organismal traits as necessary and sufficient properties, phylogenetic definitions remove conflicts between the definitions of taxon names and evolutionary concepts of taxa. The general method of definition represented by phylogenetic definitions of clade names can be applied to the names of other kinds of composite wholes, including populations and biological species. That the names of individuals (composite wholes) can be defined in terms of necessary and sufficient properties provides the foundation for a synthesis of seemingly incompatible positions held by contemporary individualists and essentialists concerning the nature of taxa and the definitions of taxon names. (shrink)

At least three different issues are commonly referred to by the term “the species problem”: one concerns the necessary properties of species, a second the processes responsible for the existence of species, and a third methods for inferring species limits. Solutions have recently been proposed to the first two problems, which are conceptual in nature (the third is methodological). The first equates species with metapopulation lineages and proposes that existence as a separately evolving metapopulation lineage be considered the only necessary (...) property of species. The second views the species category as a cluster concept and proposes that no single process or set of processes be considered necessary for the existence of species. Although these two solutions have been portrayed as being in conflict, they are, in fact, highly compatible. Moreover, the proposals in question clarify the problem concerning methods for inferring the limits of species, which has for a long time been confused with the problem concerning the necessary properties of species. Together these proposals provide the opportunity for biology to move beyond debates about the definition of the species category and focus on estimating the boundaries and numbers of species as well as studying the diverse processes involved in their origin and persistence. BioEssays 27:1263–1269, 2005. © 2005 Wiley Periodicals, Inc. (shrink)

Mimicry and deception are two important issues in studies about animal communication. The reliability of animal signs and the problem of the benefits of deceiving in sign exchanges are interesting topics in the evolution of communication. In this paper, we intend to contribute to an understanding of deception by studying the case of aggressive signal mimicry in fireflies, investigated by James Lloyd. Firefly femmes fatales are specialized in mimicking the mating signals of other species of fireflies with the purpose of (...) attracting responding males to become their prey. These aggressive mimics are a major factor in the survival and reproduction of both prey and predator. It is a case of deception through active falsification of information that leads to efficient predation by femmes fatales fireflies and triggered evolutionary processes in their preys’ communicative behaviors. There are even nested coevolutionary interactions between these fireflies, leading to a remarkable system of deceptive and counterdeceptive signaling behaviors. We develop here a semiotic model of firefly deception and also consider ideas advanced by Lloyd about the evolution of communication, acknowledging that deception can be part of the explanation of why communication evolves towards increasing complexity. Increasingly complex sign exchanges between fireflies evolve in an extremely slow pace. Even if deceptive maneuvers are played out time and time again between particular firefly individuals, the evolution of the next level of complexity—and thus the next utterance in the dialogue between species—is likely to take an immense amount of generations. (shrink)

Ernst Mayr played a central role in the establishment of the general concept of species as metapopulation lineages, and he is the author of one of the most popular of the numerous alternative definitions of the species category. Reconciliation of incompatible species definitions and the development of a unified species concept require rejecting the interpretation of various contingent properties of metapopulation lineages, including intrinsic reproductive isolation in Mayr's definition, as necessary properties of species. On the other hand, the general concept (...) of species as metapopulation lineages advocated by Mayr forms the foundation of this reconciliation, which follows from a corollary of that concept also advocated by Mayr: the proposition that the species is a fundamental category of biological organization. Although the general metapopulation lineage species concept and Mayr's popular species definition are commonly confused under the name "the biological species concept," they are more or less clearly distinguished in Mayr's early writings on the subject. Virtually all modern concepts and definitions of the species category, not only those that require intrinsic reproductive isolation, are to be considered biological according to the criterion proposed by Mayr. Definitions of the species category that identify a particular contingent property of metapopulation lineages (including intrinsic reproductive isolation) as a necessary property of species reduce the number of metapopulation lineages that are to be recognized taxonomically as species, but they cause conflicts among alternative species definitions and compromise the status of the species as a basic category of biological organization. (shrink)

The main purpose of this work is to provide a semiotic ontology for redescription of active cognitive externalism, recently developed by the paradigm 4E (embodied, embedded, enactive, extended cognition). In our approach, distributed cognitive systems (DCSs) are described as semiosis, signs in action. We explored the relationship between semiosis and cognition, as conceived by C. S. Peirce, in association with the notion of distributed cognitive system (DCS). We introduce Peircean externalist approach with an emphasis on the notion of temporal distribution (...) of semiosis, and describe DCSs, and their elements, as “sign in action”. To develop this argument, we describe an example of DCS -- verbal-musical improvisation of repente, repentismo, or viola singing. It is a phenomenon of verbal-musical improvisation that takes the form of a challenge in versified oral poetry. We describe the phenomenon as the embodiment of the formal structure of a cognitive task and an inferential process. This embodiment corresponds to a semiotization of the repente performances as DCSs. The temporally distributed tendency of repentismo organizes the DCS as a system that performs metasemiotic experiments on the action of signs. (shrink)

SummaryLooking at proof theory as an attempt to ‘code’ the general pattern of the logical steps of a mathematical proof, the question of what kind of rules can make the meaning of a logical connective completely explicit does not seem to have been answered satisfactorily. The lambda calculus seems to have been more coherent simply because the use of ‘λ’ together with its projection 'apply' is specified by what can be called a 'reduction' rule: β‐conversion. We attempt to analyse the (...) role of proof rules, making use of a set of formal rules designed to capture both the notions of proof theory and those of the lambda‐calculus: Martin‐Löf's Intuitionistic Type Theory.RésuméSi on considère la théorie de la démonstration comme une tentative de ‘codifier’ les pas logiques d'une démonstration mathématique, on se rendra compte qu'on n'a pas répondu de façon satisfaisante à la question suivante: quelles sont les règies qui rendent complètement explicite le sens d'un connecteur logique? Le lambda‐calcul a été apparemment plus cohérent, tout simplement parce que l'utilisation du‘λ’ avec sa projection 'apply' est spécifiée par une regie de 'réduction': β‐conversion. Nous essayons d'analyser le rôle des règies de démonstration, en utilisant un système formel de règies conçu pour englober à la fois les notions de la théorie de la démonstration et celles du lambda‐calcul: la Théorie Intuitionniste des Types de Martin‐Löf.ZusammenfassungWenn man Beweistheorie als einen Versuch, ein allgemeines Muster der logischen Schritte in einem mathematischen Beweis zu kodifizieren, betrachtet, so scheint die Frage nach der Art von Regeln , die die Bedeutung von logischen Operatoren vollständig beschreiben, nicht zufriedenstellend beantwortet. Der Lambda‐Kalkül erscheint, kohärenter, einfach deshalb weil der Gebrauch von ‘λ’ zusammen mit dessen Projektion 'apply' durch Regeln bestimmt wird, die man 'Reduktions'‐Regeln nennen kann: β‐Konversion. Wir versuchen, die Rolle von Beweisregeln zu analysieren, indem wir ein Regelsystem verwenden, das sowohl die Begriffe der Beweistheorie als auch diejenigen des Lambda‐Kalküls erfasst, nämlich die Martin‐Löfsche Typentheorie. (shrink)

In this paper, we intend to discuss how, according to Peirce’s semiotics, gestures can be conceptualized and described as diagrams. We are not concerned with answering when, why or how gestures emerged as semiotic motor activities. As a prerequisite for the very formulation of these problems, we are rather interested in discussing the theoretical conditions which should be fulflled for gestures to be characterized as iconic processes - and more specifcally as diagrammatic processes. The frst step is to summarize a (...) systematic analysis of the variety of iconic signs, elaborated by Peirce, followed by his typology of hypoicons in order to describe the hypoiconic class of diagrams. After that, we present some tentative answers to the question of how to describe gestures as diagrammatic signs. (shrink)

O objetivo deste artigo é demonstrar, a partir do pensamento de Marx, como o lucro comercial e a renda fundiária – dois componentes do mais-valor que, juntamente com o salário, correspondem aos rendimentos da fórmula trinitária – pressupõem a exploração do trabalho ou o intercâmbio desigual que mantém o processo de acumulação capitalista. As remunerações do comerciante e do proprietário fundiário, muito embora apareçam na superfície da economia moderna dissociadas do seu fundamento real, como se fossem autônomas e sem qualquer (...) nexo com a espoliação que garante a autovalorização do capital, representam apenas quotas do trabalho excedente obtido na esfera da produção. (shrink)

One takes advantage of some basic properties of every homotopic \(\lambda\)-model (e.g. extensional Kan complex) to explore the higher \(\beta\eta\)-conversions, which would correspond to proofs of equality between terms of a theory of equality of any extensional Kan complex. Besides, Identity types based on computational paths are adapted to a type-free theory with higher \(\lambda\)-terms, whose equality rules would be contained in the theory of any \(\lambda\)-homotopic model.

This paper explores Victoria Welby's fundamental assumption of meaning process (“semiosis” sensu Peirce) as translation, and some implications for the development of a general model of intersemiotic translation.

We explore Peirce’s pragmatic conception of sign action, as a distributed and emergent view of cognition and exemplify with the emergence of classical ballet. In our approach, semiosis is a temporally distributed process in which a regular tendency towards certain future outcomes emerges out of a history of sign actions. Semiosis self-organizes in time, in a process that continuously entails the production of more signs. Emergence is a ubiquitous condition in this process: the translation of signs into signs cannot be (...) inferred from the properties of the components of a semiotic triad alone, but has to take into account a complex interaction between a micro-semiotic and macro-semiotic level of description. This interaction can be understood as an interplay of potentialities and tendencies, or upward constitutive determinative relations and downward selective determinative relations. According to this view, emergence is a central defining condition of processes of meaning. Ballet is a sign in action. The emergence of classical ballet is a self-regulatory process, in which a system of different kinds of cognitive artifacts (musical, bodily/motor, spatial/architectonic) and agents obtained a stable semiotic relation throughout many phases of development between the 16th and the 19th Century. One case is the development of the verticality of dance in classical ballet as a semiotic relation connecting proscenium arch stages, dancing bodies, and audiences. This development is micro-semiotically determined by the spatial constraints of the proscenium arch stage, and macro-semiotically determined by a historical construction of the dancing body as a sign within a network of semiotic chains, such as the intersemiotic regulation of body of the dancer by principles coming from painting. This is not only the emergence of actual meaning, but also the emergence of an open-ended field of potential and general meanings, an autonomous tendency of development. To say that ballet, as sign action, emerges, is to say that cognitive artifacts such as dancer’s bodies, stages and audience’s point of view, musical compositions, costumes, all sorts of supporting institutions, etc, constitute a niche for sign action, interacting according to tendencies of development that didn’t exist before. (shrink)

The intention here is that of giving a formal underpinning to the idea of ‘meaning-is-use’ which, even if based on proofs, it is rather different from proof-theoretic semantics as in the Dummett–Prawitz tradition. Instead, it is based on the idea that the meaning of logical constants are given by the explanation of immediate consequences, which in formalistic terms means the effect of elimination rules on the result of introduction rules, i.e. the so-called reduction rules. For that we suggest an extension (...) to the Curry– Howard interpretation which draws on the idea of labelled deduction, and brings back Frege’s device of variable-abstraction to operate on the labels (i.e., proof-terms) alongside formulas of predicate logic. (shrink)

We are concerned with showing how ‘labelled’ Natural Deduction presentation systems based on an extension of the so-called Curry-Howard functional interpretation can help us understand and generalise most of the deduction calculi designed to deal with the logical notion of existential quantification. We present the labelling mechanism for ‘’ using what we call ‘ɛ-terms’, which have the form of ‘a’) in a dual form to the ‘Ax.f’ terms of in the sense that the ‘witness’ is chosen at the time of (...) assertion/introduction.With the intention of demonstrating the generality of our framework, we provide a brief comparison with some other calculi of existentials, including the model-theoretic interpretations of Skolem and Herbrand, indicating the way in which some of the classical results on prenex normal forms can be extended to a wide range of logics. The essential ingredient is to look at the conceptual framework of labelled natural deduction as an attempted reconstruction of Frege's functional calculus where the devices of the Begriffsschrift work separately from, yet in harmony with, those of the Grundgesetze 1. (shrink)

Further to the connections between meaning and use, it seems useful to consider the consequences one is allowed to draw from a proposition as something directly related to its meaning/use. And indeed, Wittgenstein's references to the connections between meaning and the consequences, as well as between use and consequences are sometimes as explicit as his celebrated ‘definition’ of meaning as use given in the Investigations. Here we attempt to collect some of these references, discussing how an intuitive basis for the (...) construction of a more convincing proof-theoretic semantics for the mathematical language can arise out of this connection meaning/use/ consequences. (shrink)

Rio de Janeiro, the opening of the carnival. On the Friday evening preceding Mardi Gras, the mayor of Rio hands over the keys to the city to King Momo, sovereign of the carnival. Immediately the samba breaks out in the brightly lit streets of the city. Newspapers, magazines and television feature big headlines describing the event and glorifying the holiday kingdom. They all report that the city is being shaken by winds of madness, that licence and inversions of every variety (...) are rampant, that the leveling of individuals and the abolition of social distances illustrate the resolutions of conflicts in a collective dream of joy and happiness…. (shrink)

The skin can be described as a niche structured by semiotic artefacts (tattoos) that work as symbolic–indexical devices (dicisigns). New biocompatible technologies responsive to organic and environmental variations change the role of the skin as a semiotic niche. New devices are transforming the skin into a niche of interactive interfaces. In this article we introduce a variety of techno-scientific artefacts, which are readily available, and their main characteristics. We are interested in the recent proliferation of devices based on biotechnologies that (...) can be coupled to the body, especially epithelial (superficial or invasive), and how they change what we know as ‘embodied communication’. (shrink)

O presente trabalho tem o objetivo de conectar a teoria criada por Pierre Bourdieu sobre a violência simbólica e o texto de Audre Lorde, The use of anger: women responding to racism do seu livro Sister Outsider; demonstrando a importância do debate sobre a relação entre dominante e dominado a partir do viés racial, tema abordado por ambos autores em seus textos. Com este fito, pretendemos diferenciar os resultados objetivos do ódio, raiva e culpa, bem como o modo que as (...) agressões invisíveis repercutem na vida do oprimido. Tendo como foco o racismo na vida da “mulher de cor” que ainda nos dias de hoje, em uma pirâmide social, se encontram em desvantagem quanto aos demais indivíduos. Faz parte dos objetivos também trazer à tona a reação do oprimido como consequência natural dos séculos de silenciamento, privação e desumanização, analisando os mecanismos institucionais para pacificação social. (shrink)

As a celebration of theTractatus100th anniversary it might be worth revisiting its relation to the later writings. From the former to the latter, David Pears recalls that “everyone is aware of the holistic character of Wittgenstein’s later philosophy, but it is not so well known that it was already beginning to establish itself in theTractatus” (The False Prison, 1987). From the latter to the former, Stephen Hilmy’s (The Later Wittgenstein, 1987) extensive study of theNachlasshas helped removing classical misconceptions such as (...) Hintikka’s claim that “Wittgenstein in thePhilosophical Investigationsalmost completely gave up the calculus analogy.” Hilmy points out that even in theInvestigationsone finds the use of the calculus/game paradigm to the understanding of language, such as “in operating with the word” (Part I, §559) and “it plays a different part in the calculus”. Hilmy also quotes from a late (1946) unpublished manuscript (MS 130) “this sentence has use in the calculus of language”, which seems to be compatible with “asking whether and how a proposition can be verified is only a particular way of asking ‘How do you mean?’” Central in this back and forth there is an aspect which seems to deserve attention in the discussion of a semantics for the language of mathematics which might be based on (normalisation of) proofs and/or Hintikka/Lorenzen game-dialogue: the explication of consequences. Such a discussion is substantially supported by the use of the open and searchableThe Wittgenstein Archives at the University of Bergen. These findings are framed within the discussion of the meaning of logical constants in the context of natural deduction style rules of inference. (shrink)

Journal Name: Semiotica Issue: Ahead of print.

This article aims to present a discussion about childhood from the issues raised by the short film entitled Alma, directed, produced and scripted by the filmmaker André Morais. In the work, we experience a day in the life of a girl who lives with her grandmother and who, throughout the plot, weaves questions about her own existence, the senses of life and the dimensions of the relationships we establish with each other. It is discussed in this article, therefore, the power (...) of cinema and childhood as dimensions that invite a dialogue capable of converging art and life, also revitalizing the field of science, from the reflections that are dear to the dynamics of human experience. What conceptions of childhood are presented in the production? In what ways does the chosen approach broaden the discussion about childhood and cinema as potencies? To what extent do the questions raised by the child connect their childhood experience to the experiences of those who watch it on screen? In order to mobilize the discussion, the text is organized from scenes, which characterize the sequence of events that give meaning to what the film wants to express. In the first, the central theme is presented; in the second, the questions for which the short awakens us throughout the narrative; and in the third, it seeks to expand the possibilities of reading, rather than closing them. These scenes support the discussions brought here through Walter Benjamin, Mikhail Bakhtin, Antoine de Saint-Exupéry, Aristotle and Hannah Arendt. (shrink)