A Bioética, que podemos qualificar, sem a menor dúvida, como uma ciência jovem - embora cheia de vigor, dinamismo e em plena expansão - se ocupa, desde as multifacetadas óticas das grandes perguntas que se formula a cada dia, o homem moderno, em torno da vida. Neste livro, os autores tratam de alguns aspectos conceituais que, às vezes, são obliterados no discurso bioético. Por exemplo, quais as relações que se interpõem entre Bioética e Direito, começando por delimitar cada uma destas (...) disciplinas. (shrink)

Desde seu início, em 2020, a pandemia da Covid-19 acarretou diversos desafios no cotidiano. No campo da educação não foi diferente, pois os educadores precisaram repensar concepções mais amplas da formação continuada. Nesse contexto, o estudo procura analisar os desafios e as possibilidades para a formação continuada de profissionais da educação na perspectiva da autorreflexão colaborativo-crítica. Para isso, fundamenta-se na teoria de Jürgen Habermas por meio de duas concepções: a racionalidade comunicativa e a mediação teoria e práxis. Nesse processo, tomamos (...) os argumentos dos profissionais participantes de grupo de estudo-reflexão a partir de suas demandas, dos processos de aprendizagem e das ações de mudanças. Ações e análises dialogam e sustentam-se entre os referenciais teórico-metodológicos embasando os processos, contemplando a aplicação da espiral autorreflexiva de observação, planejamento, ação e reflexão e o delineamento e teorização das funções mediadoras na relação teoria e prática, quais sejam: elaboração/formação dos teoremas críticos; organização dos processos de conscientização e aprendizagem; e a condução da luta política, seleção das estratégias apropriadas e solução de questões táticas, sendo essas categorias o modo como se organizaram os dados. Como resultados observamos novas possibilidades para formação continuada abarcando mais formandos e ampliando a colaboração entre pesquisadores, além da intenção dos formandos/cursistas de mudar ou transformar suas práticas em ações efetivas em seus lócus de atuação. (shrink)

Luke Ong, Carlos Areces, Santiago Figueira and Ruy de Queiroz The Bulletin of Symbolic Logic, Volume 19, Issue 3, Page 425-426, September 2013.

BackgroundPreprint usage is growing rapidly in the life sciences; however, questions remain on the relative quality of preprints when compared to published articles. An objective dimension of quality that is readily measurable is completeness of reporting, as transparency can improve the reader’s ability to independently interpret data and reproduce findings.MethodsIn this observational study, we initially compared independent samples of articles published in bioRxiv and in PubMed-indexed journals in 2016 using a quality of reporting questionnaire. After that, we performed paired comparisons (...) between preprints from bioRxiv to their own peer-reviewed versions in journals.ResultsPeer-reviewed articles had, on average, higher quality of reporting than preprints, although the difference was small, with absolute differences of 5.0% [95% CI 1.4, 8.6] and 4.7% [95% CI 2.4, 7.0] of reported items in the independent samples and paired sample comparison, respectively. There were larger differences favoring peer-reviewed articles in subjective ratings of how clearly titles and abstracts presented the main findings and how easy it was to locate relevant reporting information. Changes in reporting from preprints to peer-reviewed versions did not correlate with the impact factor of the publication venue or with the time lag from bioRxiv to journal publication.ConclusionsOur results suggest that, on average, publication in a peer-reviewed journal is associated with improvement in quality of reporting. They also show that quality of reporting in preprints in the life sciences is within a similar range as that of peer-reviewed articles, albeit slightly lower on average, supporting the idea that preprints should be considered valid scientific contributions. (shrink)

Toma-se como objetivo tecer considerações acerca do conceito de autorreflexão e emancipação, entrelaçando-o à pesquisa-ação, por meio do diálogo entre Jürgen Habermas, Theodor W. Adorno, Wilfred Carr e Stephen Kemmis. Os conceitos de autorreflexão e emancipação surgem na Escola de Frankfurt através de Adorno e são incorporados por Habermas, que dá outro sentido a eles. Carr e Kemmis, ao refletirem sobre a pesquisa-ação emancipatória na educação, tomam Habermas como alicerce e constituem o conceito de autorreflexão crítica. A partir das considerações (...) dos autores, o artigo reflete acerca da autorreflexão incorporada na metodologia da pesquisa-ação, principalmente no tocante à formação continuada de profissionais da educação. À luz dos pressupostos habermasianos, defendem-se os conceitos de autorreflexão e emancipação pela via da ação comunicativa, na qual o paradigma da consciência é transposto para o paradigma da linguagem. Compreende-se que para Adorno a autorreflexão está atrelada diretamente à liberdade, ao pensamento crítico e à autonomia, que guiam o indivíduo para a emancipação. Enquanto para Habermas, a autorreflexão vincula-se à linguagem e à comunicação, entre dois ou mais sujeitos, que os guiam para a emancipação. Carr e Kemmis inspirados na espiral cíclica proposta por Lewin e na autorreflexão de Habermas, vão defender a espiral autorreflexiva na pesquisa-ação. Diante disso, entende-se que os problemas da educação têm na racionalidade comunicativa perspectivas de mudanças sólidas, especialmente pela via de processos formativos. (shrink)

Um pouco como sucedeu com Portugal, Hoje de José Gil, esta edição de As Farpas surgiu num contexto do espaço mediático português muito marcado por um momentâneo extre­mar das suas características mais venais, o que, se teve algum proveito em termos de vendas, contribuiu também para que a recepção imediata desta edição reproduzisse acriticamente os tropos e os topos do costume sobre Eça (Ramalho é como se nem estivesse lá...). Sem lamen­tação nem indignação, não custa compreender que, além das...

Objective of the study: To analyze the costs and profits of sugarcane production regarding the cultural practices of sugarcane suppliers. Methodology/approach: This study positions itself in this gap by comparatively analyzing 6 types of cultural practices: unraveling, windrowing, application of correctives, herbicides, insecticides and fertilizers, with the option of two systems Fixed rate (TF) and Variable rate (TV). Originality/Relevance: Brazil is a world reference in sugarcane production, with the State of São Paulo being the largest Brazilian producer. However, for sugarcane (...) suppliers to maintain this activity there is a need to reduce production costs and increase profitability/ha. However, there is a theoretical-practical gap in the financial assessment (costs and profits) of different cultural practices inherent to sugarcane production. Main results: The results demonstrated that the costs of cultural practices represent more than 30% of the total sugarcane production costs. The TF system proved to be more cost-efficient in the following operations: correctives, herbicides and insecticides. In the application of fertilizers, the TV system, in broadcast mode, had the best result. Finally, the profit/ton was R$1.70, demonstrating a very low profit margin/ha given the risk of the activity. Theoretical/methodological contributions: The sample for this research comprised 55 sugarcane suppliers from the State of São Paulo, whose data were obtained through a survey. The comparative analysis was based on the difference in costs of cultural practices and the estimation of the level of certainty (profit/costs), analyzed through the cumulative frequency carried out through the Monte Carlo Simulation (SMC). (shrink)

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)

This paper extends earlier work by its authors on formal aspects of the processes of contracting a theory to eliminate a proposition and revising a theory to introduce a proposition. In the course of the earlier work, Gardenfors developed general postulates of a more or less equational nature for such processes, whilst Alchourron and Makinson studied the particular case of contraction functions that are maximal, in the sense of yielding a maximal subset of the theory (or alternatively, of one of (...) its axiomatic bases), that fails to imply the proposition being eliminated. In the present paper, the authors study a broader class, including contraction functions that may be less than maximal. Specifically, they investigate "partial meet contraction functions", which are defined to yield the intersection of some nonempty family of maximal subsets of the theory that fail to imply the proposition being eliminated. Basic properties of these functions are established: it is shown in particular that they satisfy the Gardenfors postulates, and moreover that they are sufficiently general to provide a representation theorem for those postulates. Some special classes of partial meet contraction functions, notably those that are "relational" and "transitively relational", are studied in detail, and their connections with certain "supplementary postulates" of Gardenfors investigated, with a further representation theorem established. (shrink)

One of the world's most renowned theoretical physicists, Carlo Rovelli has entranced millions of readers with his singular perspective on the cosmos. In Helgoland, Rovelli examines the enduring enigma of quantum theory. The quantum world Rovelli describes is as beautiful as it is unnerving. Helgoland is a treeless island in the North Sea where the 21-year-old Werner Heisenberg first developed quantum theory, setting off a century of scientific revolution. Full of alarming ideas (ghost waves, distant objects that seem to be (...) magically connected, cats that appear both dead and alive), quantum physics has led to countless discoveries and technological advancements. Today our understanding of the world is based on this theory, yet it is still profoundly mysterious. As scientists and philosophers continue to fiercly debate the theory's meaning, Rovelli argues that its most unsettling contradictions can be explained by seeing the world as fundamentally made of relationships, not substances. We and everything around us exist only in our interactions with one another. This bold idea suggests new directions for understanding the structure of reality and even the nature of consciousness. Rovelli makes learning about quantum mechanics an almost psychedelic experience. Shifting our perspective once again, he takes us on a riveting journey through the universe so we can better understand our place in it. (shrink)

After presenting Kripke’s criticism to Frege’s ideas on context dependence of thoughts, I present two recent attempts of considering cognitive aspects of context dependent expressions inside a truth conditional pragmatics or semantics: Recanati’s non-descriptive modes of presentation (MOPs) and Kaplan’s ways of having in mind (WHIMs). After analysing the two attempts and verifying which answers they should give to the problem discussed by Kripke, I suggest a possible interpretation of these attempts: to insert a procedural or algorithmic level in semantic (...) representations of indexicals. That a function may be computed by different procedures might suggest new possibilities of integrating contextual cognitive aspects in model theoretic semantic. (shrink)

Minding Time: A Philosophical and Theoretical Approach to the Psychology of Time offers an innovative philosophical account of the most fundamental kinds of time representation.

In this article, Carlos Pereda introduces the concept of “colonial reason” and explores how philosophical practices and modes of thought are entwined with colonial political structures of exploitation, exclusion, and oppression. Pereda argues that philosophy in Latin America risks perpetuating and reinforcing the colonial gesture, either by turning to the European centers of thought (thus pursuing debates that always take place elsewhere) or by isolating itself and idealising the “own.” According to Pereda, both approaches fail to dismantle colonial violence (...) within philosophy. In his alternative approach, Pereda outlines principles and methodological criteria for the decolonisation of reason and philosophy. He emphasises the importance of methodological prudence that discerns between innocent, paralysing, and strategic uses of identity expressions and advocates for modes of reading and argumentation that conceive philosophy as an inclusive and ongoing dialogue. In Pereda’s terminology, this entails fostering “permeable reason” that manifests itself through “nomadic thinking,” a form of thinking that is capable of questioning itself and being questioned. (shrink)

Effective vaccines for COVID‐19 are already available to humankind. In Peru, 86 million doses were administered to cover the demand for 33 million Peruvian people. Hence, vaccination has been prioritized in groups: health personnel, subjects with pre‐existing health conditions and those over 65 years of age. However, given the social problems and the public health situation in Peru, this work defends that the priority of vaccination should be focused on the population living in extreme poverty. The method used was an (...) ethical argumentation on the distribution of scarce antiSARS‐CoV2 vaccine in Peru. This argument is based on the analysis of the Peruvian population living in extreme poverty, which presents different layers of vulnerability, and that, in the face of an eventual SARS‐CoV2 infection, these would be exacerbated one after the other, through a cascade effect. This scenario would give rise to new vulnerabilities to those already existing, causing greater damage. Vaccination efforts on this key population would give them the opportunity to continue to find ways to bring food to their homes, significantly reducing the risk of contagion in their environment and mitigating the devastating effect of the local diseases to which they are already exposed. Four objections related to this argument are raised with their corresponding responses. Priority access to the vaccine would significantly reduce the humanitarian harm to people living in extreme poverty, prevailing the principles of justice and equity. (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)

La humanidad ya dispone de vacunas eficaces contra el COVID‐19. En Perú se administraron 86 millones de dosis para cubrir la demanda de 33 millones de peruanos. Para ello, se ha priorizado la vacunación en grupos clave: personal de salud, sujetos con condiciones de salud preexistentes y mayores de 65 años. Sin embargo, dada la problemática social y la situación de la salud pública en Perú, este trabajo defiende que la prioridad de la vacunación debe centrarse en la población que (...) vive en extrema pobreza. El método utilizado fue una argumentación ética sobre la distribución de la vacuna contra el COVID‐19 en Perú. Esta argumentación se basa en el análisis de la población peruana que vive en extrema pobreza, la cual presenta diferentes estratos de vulnerabilidad, y que, ante una eventual infección por SARS‐CoV‐2, se irían agravando uno tras otro, a través de un efecto en cascada. Este escenario daría lugar a nuevas vulnerabilidades de las ya existentes, causando mayores daños. Los esfuerzos de vacunación en esta población clave les brindaría oportunidad de seguir encontrando formas de llevar alimentos a sus hogares, reduciendo significativamente el riesgo de contagio en su entorno y mitigando el efecto devastador de las enfermedades locales a las que ya está expuesta. Se plantean cuatro objeciones relacionadas con este argumento, con sus correspondientes respuestas. El acceso prioritario a la vacuna reduciría significativamente el daño a las personas que viven en la extrema pobreza, haciendo prevalecer los principios de justicia y equidad. (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)

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)

- la prima parte dà una presentazione sommaria dei principali paradigmi di filosofia del linguaggio, mostrando alcune connessioni tra i principali autori di riferimento. Dovrebbe contenere il minimo indispensabile per avere una panoramica delle tematiche della filosofia del linguaggio e addentrarsi negli argomenti in modo più approfondito. La conoscenza dei contenuti di questa parte è un prerequisito per l’esame.

Many of the computing systems programmed using Machine Learning are opaque: it is difficult to know why they do what they do or how they work. Explainable Artificial Intelligence aims to develop analytic techniques that render opaque computing systems transparent, but lacks a normative framework with which to evaluate these techniques’ explanatory successes. The aim of the present discussion is to develop such a framework, paying particular attention to different stakeholders’ distinct explanatory requirements. Building on an analysis of “opacity” from (...) philosophy of science, this framework is modeled after accounts of explanation in cognitive science. The framework distinguishes between the explanation-seeking questions that are likely to be asked by different stakeholders, and specifies the general ways in which these questions should be answered so as to allow these stakeholders to perform their roles in the Machine Learning ecosystem. By applying the normative framework to recently developed techniques such as input heatmapping, feature-detector visualization, and diagnostic classification, it is possible to determine whether and to what extent techniques from Explainable Artificial Intelligence can be used to render opaque computing systems transparent and, thus, whether they can be used to solve the Black Box Problem. (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.