Philosophers debate about which logical system, if any, is the One True Logic. This involves a disagreement concerning the sufficient conditions that may single out the correct logic among various candidates. This paper discusses whether there are necessary conditions for the correct logic; that is, I discuss whether there are features such that if a logic is correct, then it has those features, although having them might not be sufficient to single out the correct logic. Traditional rationalist arguments suggest that (...) the necessary conditions of thought are necessary and sufficient conditions singling out the correct logical and mathematical theories. In the contemporary debate, Chalmers advocates a view along this line. Jago, analogously, suggests that the necessary conditions for thought—or, as he calls them, our basic epistemic expectations—single out a family of logical and mathematical theories. Warren and Williamson, on the other hand, argue that there are no necessary conditions of thought. I argue that there are necessary conditions for thought, and these are necessary but not sufficient conditions to be the correct logic; indeed, these are features that all logics—correct or incorrect—share. No view we can understand is ruled out by the necessary conditions for thought, but we cannot understand quite any view. Human linguistic and conceptual abilities are genetically constrained, and these constraints are our best guide to the boundaries of logic. Arguing for this, I tackle two dogmas of modern rationalism: namely, the view that the biological constraints of human cognition have no bearing on the boundaries of the epistemic space, and the view that the boundaries of thought coincide with the boundaries of language. (shrink)

Cet article se demande si un dialogue entre la civilisation chinoise et Leo Strauss est possible et à quelles conditions. Il décrit le contexte d’introduction de Strauss en Chine, en se concentrant sur Liu Xiaofeng, l’un des straussiens les plus influents de la Chine contemporaine. L’analyse de son interprétation de la critique straussienne de la modernité occidentale fait ressortir deux distorsions fondamentales : là où Strauss considérait l’« enseignement tyrannique » comme quelque chose de théorique, Liu en fait un plan (...) d’action politique ; au lieu de reconnaître la modernité des bases idéologiques de l’État fondé par Mao Zedong, il les interprète au crible de la tradition. Cette double déformation contredit l’intention de Strauss en tant que philosophe zététique et socratique. (shrink)

This article is concerned with an exploration of a family of systems—called immune logics—that arise from certain dualizations of the well-known family of infectious logics. The distinctive feature of the semantic of infectious logics is the presence of a certain “infectious” semantic value, by which two different though equivalent things are meant. On the one hand, it is meant that these values are zero elements for all the operations in the underlying algebraic structure. On the other hand, it is meant (...) that these values behave in a value-in-value-out fashion for all the operations in the underlying algebraic structure. Thus, in a rather informal manner, we will refer to immune logics as those systems whose underlying semantics count with a certain “immune” semantic value behaving in a way that is somewhat dual to that of the infectious values. In a more formal manner, carrying out this dualization will prove to be not as straightforward as one could imagine, since the two characterizations of infectiousness discussed above lead to two different outcomes when one tries to conduct them. We explore these alternatives and provide technical results regarding them, and the various logical systems defined using such semantics. (shrink)

Nesse artigo temos como objetivo analisar a representação do conceito de liberdade na primeira temporada da série “Merli”, veiculada no canal de streaming Netflix. Nela, pretendemos verificar como o professor de Filosofia Merli Bergeron trabalha conceitos libertários e suscita reflexões críticas em seus alunos sobre os padrões de convívio socialmente impostos pelas instituições primárias e secundárias. Ao mesmo tempo, pretendemos abordar a personalidade do professor, discutindo sobre o convívio que ele mantém com os colegas de trabalho e seus alunos, assim (...) como em sua vida particular, para visualizarmos se, de fato, ele pratica aquilo que discursa aos estudantes durante suas aulas. Haverá um foco maior na relação dele com o aluno Ivan Basco, que sofre com agorafobia e recebe aulas particulares de Merli para superar sua situação de isolamento. Em um primeiro momento, com caráter introdutório, iremos discutir sobre a importância da discussão de liberdade na contemporaneidade. A seguir, exporemos conceitos formulados por diversos pensadores acerca do que é a liberdade e sua importância para a emancipação humana. A partir disso, serão abordadas informações básicas sobre a produção da série, como os diretores, veiculadores e atores envolvidos para, por fim, executarmos a análise dos capítulos do seriado e apresentarmos nossas considerações finais. Diversos teóricos pertinentes a esse trabalho serão utilizados na revisão bibliográfica. Como metodologias de análise fílmica usaremos, para verificação estrutural do filme, a metodologia de análise fílmica de Manuela Penafria e, para visualização das formas simbólicas, a Hermenêutica de Profundidade, proposta por John Thompson em “Ideologia e Cultura Moderna”. (shrink)

On the classical understanding, an agent is fully excused for an action if and only if performing this action was a case of faultless wrongdoing. A major motivation for this view is the apparent existence of paradigmatic types of excusing considerations, affecting fault but not wrongness. I show that three such considerations, ignorance, duress and compulsion, can be shown to have direct bearing on the permissibility of actions. The appeal to distinctly identifiable excusing considerations thus does not stand up to (...) closer scrutiny, undermining the classical view and giving us reason to seek alternative ways of drawing the justification/excuse distinction. (shrink)

Our aim is to provide a sequent calculus whose external consequence relation coincides with the three-valued paracomplete logic `of nonsense' introduced by Dmitry Bochvar and, independently, presented as the weak Kleene logic K3W by Stephen C. Kleene. The main features of this calculus are (i) that it is non-reflexive, i.e., Identity is not included as an explicit rule (although a restricted form of it with premises is derivable); (ii) that it includes rules where no variable-inclusion conditions are attached; and (iii) (...) that it is hybrid, insofar as it includes both left and right operational introduction as well as elimination rules. (shrink)

In this article, our aim is to take a step towards a full understanding of the notion of paraconsistency in the context of metainferential logics. Following the work initiated by Barrio et al. [2018], we will consider a metainferential logic to be paraconsistent whenever the metainferential version of Explosion is invalid. However, our contribution consists in modifying the definition of meta-Explosion by extending the standard framework and introducing a negation for inferences and metainferences. From this new perspective, Tarskian paraconsistent logics (...) such as LP will not turn out to be metainferentially paraconsistent, in contrast to, for instance, non-transitive logics like ST. Finally, we will end up by defining a logic which is metainferentially paraconsistent at every level, and discussing whether this logic is uniform through translations. (shrink)

This paper is a general introduction to Positive Logic, where only what we call h-inductive sentences are under consideration, allowing the extension to homomorphisms of model-theoric notions which are classically associated to embeddings; in particular, the existentially closed models, that were primitively defined by Abraham Robinson, become here positively closed models. It accounts for recent results in this domain, and is oriented towards the positivisation of Jonsson theories.

Given the replication crisis in cognitive science, it is important to consider what researchers need to do in order to report results that are reliable. We consider three changes in current practice that have the potential to deliver more realistic and robust claims. First, the planned experiment should be divided into two stages, an exploratory stage and a confirmatory stage. This clear separation allows the researcher to check whether any results found in the exploratory stage are robust. The second change (...) is to carry out adequately powered studies. We show that this is imperative if we want to obtain realistic estimates of effects in psycholinguistics. The third change is to use Bayesian data-analytic methods rather than frequentist ones; the Bayesian framework allows us to focus on the best estimates we can obtain of the effect, rather than rejecting a strawman null. As a case study, we investigate number interference effects in German. Number feature interference is predicted by cue-based retrieval models of sentence processing, but it has shown inconsistent results. We show that by implementing the three changes mentioned, suggestive evidence emerges that is consistent with the predicted number interference effects. (shrink)

First Published in 1999. Routledge is an imprint of Taylor & Francis, an informa company.

Given a three-valued definition of validity, which choice of three-valued truth tables for the connectives can ensure that the resulting logic coincides exactly with classical logic? We give an answer to this question for the five monotonic consequence relations $st$, $ss$, $tt$, $ss\cap tt$, and $ts$, when the connectives are negation, conjunction, and disjunction. For $ts$ and $ss\cap tt$ the answer is trivial (no scheme works), and for $ss$ and $tt$ it is straightforward (they are the collapsible schemes, in which (...) the middle value acts like one of the classical values). For $st$, the schemes in question are the Boolean normal schemes that are either monotonic or collapsible. (shrink)

There is a wealth of evidence showing that increasing the distance between an argument and its head leads to more processing effort, namely, locality effects; these are usually associated with constraints in working memory (DLT: Gibson, 2000 ; activation-based model: Lewis and Vasishth, 2005 ). In SOV languages, however, the opposite effect has been found: antilocality (see discussion in Levy et al., 2013 ). Antilocality effects can be explained by the expectation-based approach as proposed by Levy ( 2008 ) or (...) by the activation-based model of sentence processing as proposed by Lewis and Vasishth ( 2005 ). We report an eye-tracking and a self-paced reading study with sentences in Spanish together with measures of individual differences to examine the distinction between expectation- and memory-based accounts, and within memory-based accounts the further distinction between DLT and the activation-based model. The experiments show that (i) antilocality effects as predicted by the expectation account appear only for high-capacity readers; (ii) increasing dependency length by interposing material that modifies the head of the dependency (the verb) produces stronger facilitation than increasing dependency length with material that does not modify the head; this is in agreement with the activation-based model but not with the expectation account; and (iii) a possible outcome of memory load on low-capacity readers is the increase in regressive saccades (locality effects as predicted by memory-based accounts) or, surprisingly, a speedup in the self-paced reading task; the latter consistent with good-enough parsing (Ferreira et al., 2002 ). In sum, the study suggests that individual differences in working memory capacity play a role in dependency resolution, and that some of the aspects of dependency resolution can be best explained with the activation-based model together with a prediction component. (shrink)

Este trabalho objetivou analisar a formação dos pesquisadores da Gestão do Conhecimento, essencialmente os da Ciência da Informação no Brasil, a partir do estabelecimento de relações de concentração e dispersão das formações dos pesquisadores. Para tanto, foram considerados artigos indexados na Base de Dados Referenciais de Artigos de Periódicos em Ciência da Informação nos últimos cinco anos e verificação dos currículos lattes dos pesquisadores. A metodologia adotada foi de caráter quali-quantitativo, por meio de pesquisa tipo bibliográfica, exploratória e descritiva. Concluiu (...) que a Gestão do Conhecimento é uma área que engloba diversas áreas do conhecimento e formações multifacetadas entre os pesquisadores, e que no Brasil, no âmbito da Ciência da Informação, verifica-se maior número de produções científicas voltadas para a temática, na área de Ciências Sociais Aplicadas. Acredita-se que a investigação pode contribuir para a identificação de tendências e relacionamentos entre outros domínios do saber, a partir do estabelecimento de relações de concentração e dispersão das formações dos pesquisadores de Gestão do Conhecimento. (shrink)

The history of philosophy risks a self-opacity whereby we overestimate or underestimate our proximity to prior modes of thinking. This risk is relevant to assessing Hegel’s appropriation by McDowell and Priest. McDowell enlists Hegel for a quietist answer to the problem with assuming that concepts and reality belong to different orders, viz., how concepts are answerable to the world. If we accept Hegel’s absolute idealist view that the conceptual is boundless, this problem allegedly dissolves. Priest enlists Hegel for a dialetheist (...) answer to the problem with assuming that truth and falsity are mutually exclusive, viz., how certain sentences are both true and false. If we accept Hegel’s dialectical view that certain contradictions are necessary, this problem allegedly dissolves. For both McDowell and Priest, we find a true friend in Hegel. I argue that McDowell’s and Priest’s appropriations of Hegel overestimate Hegel’s affinity with quietism and dialetheism. McDowell reads Hegel as a quietist who silences metaphysical claims and the skeptical questions they raise against commonsense, but neglects Hegel’s adaptation of ancient skepticism against commonsense. Priest reads Hegel as a dialetheist who subordinates formal logic to dialectical logic by affirming the truth of certain contradictions, but neglects Hegel’s commitment to resolving contradictions for the sake of truth qua whole. I diagnose their misreadings in terms of what Hegel regards as the three moments of logic and argue that while McDowell jumps to its third moment, Priest stalls at its second moment. According to Hegel’s Encyclopedia Logic, logic has three “moments”: the abstractive moment of the understanding, which “stops short” at fixed categories; the negative moment of dialectic, which discovers the “genuine nature” of the categories, viz., that each “passes over, of itself, into its opposite”; and the positive moment of speculation, which grasps the “unity” of categories through the “dissolution” of their inner opposition. Hegel warns that if these moments are “kept separate from each other […] they are not considered in their truth”. I suggest that quietist and dialetheist readings of Hegel fail to consider truthfully the unified moments of his logic. In his quietist critique of metaphysics, McDowell enlists Hegel to dissolve the problem with assuming the duality of concept and reality. But McDowell helps himself directly to the third moment of logic, where the unity of the categories, and hence the boundlessness of the conceptual, would be fully articulated. Since he arrives at the third moment prematurely, ignoring its prior moments, he obscures its truth (§1). In his dialetheist critique of formal logic, Priest enlists Hegel to dissolve the problem with assuming the duality of truth and falsity. But Priest restricts himself gratuitously to the second moment of logic, where contradictions within the categories are not yet resolved. Since he stalls at the second moment, severed from its final moment, he obscures its truth (§2). I argue we can extricate Hegel from quietist and dialetheist misreadings only if we grasp the truth of the three moments of logic. (shrink)

Although rapidity of fading has been long identified as one of the crucial design features of language, little is known about its effects on the design of communication systems. To investigate such effects, we performed an experiment in which pairs of participants developed novel communication systems using media that had different degrees of rapidity of fading. The results of the experiment suggest that rapidity of fading does not affect the pace with which communication systems emerge or the communicative effi cacy (...) of the emerged systems. However, rapidity of fading seems to affect the design of these systems. In particular, communication systems implemented in the more rapidly fading medium exhibited a higher degree of combinatorial reuse of their forms than systems implemented in the medium that faded more slowly. These results suggest that the design of language might be constrained by subtle relations the presence of which can be ascertained only through direct experimental manipulation. Human communication systems crafted today in the laboratory can provide new insights into the design of natural languages. (shrink)

The metaverse is the extension of this virtual world in which our avatars and other holograms will socialize. Should we speak of incarnation when it is virtual beings that represent us rather than physical bodies?

BackgroundCancer diagnosis and treatment represent a real upheaval both for the patient and for his or her life partner. Adjustment to cancer has been widely studied at the individual level, however, there is little in the literature about the experiences of the couple as an entity. This is especially true with regard to a population facing advanced cancer. This systematic review aimed to make an inventory of 1) the current knowledge relating to the experience of the patient-partner dyad when confronted (...) with advanced cancer, and 2) the psychosocial interventions specifically centered on this dyad.MethodThis review was conducted using the Cochrane methodology. The eligibility criteria for the literature review were: one of the members of the dyad being treated for advanced cancer, dyad composed of the patient and his/her life partner. Databases from PubMed, PsycArticle, PsycInfo, Psychology and Behavioral Sciences Collection and Scopus were investigated. A thematic content analysis on the basis of admitted articles made it possible to respond to each of our research objectives.ResultsThree hundred eighty-nine citations were found. Twenty were admitted to the systematic review of the literature. It highlighted the following experiences of the advanced cancer patient-life partner dyad: uncertainty about the future, disjointed time, intrusion into the couple's intimacy, attachment style and caregiving within the couple, couple's adjustment to cancer symptomatology, the couple's supportive care needs, role changes, nature of communication within the couple, anticipation of the coming death, and the meanings and beliefs around death. This review also describes the range of couple therapies used in the context of advanced cancer: emotionally focused-couple therapy, existential therapy, art therapy, support therapy and couple communication and intimacy promotion. These therapies seem to have individual beneficial effects for both the patient and his or her life partner as well as improving marital functioning.ConclusionsThese results clearly highlight that consideration of the couple and communication within the couple during care are fundamental to dyadic adjustment to advanced cancer. Further studies are needed to better understand the couple's experience in order to adapt the management of the couple facing advanced cancer. (shrink)

This paper presents a recent formalization of a Henkin-style completeness proof for the propositional modal logic S5 using the Lean theorem prover. The proof formalized is close to that of Hughes and Cresswell, but the system, based on a different choice of axioms, is better described as a Mendelson system augmented with axiom schemes for K, T, S4, and B, and the necessitation rule as a rule of inference. The language has the false and implication as the only primitive logical (...) connectives and necessity as the only primitive modal operator. The full source code is available online and has been typechecked with Lean 3.4.2. (shrink)

En los últimos años se ha propuesto una importante cantidad de métodos estadísticos demográficos. La gran mayoría han sido desarrollados con la finalidad de pronosticar las componentes demográficas y/o medidas derivadas a partir de la suposición de un modelo subyacente. El presente trabajo pretende realizar un ejercicio comparativo integral a través de la estimación y pronóstico de la fecundidad a partir de tres propuestas —métodos clásicos de pronóstico, tales como los modelos ARIMA y los suavizados exponenciales, modelos para datos funcionales (...) (MDF) y modelos jerárquicos bayesianos (MJB)—, como un primer paso hacia el estudio de las proyecciones de población derivadas de cada una de ellas, empleando datos de la Argentina. El ejercicio tiene como horizonte final la estimación de la mortalidad y la fecundidad a través de los tres métodos mencionados para luego integrarlos en proyecciones de población. (shrink)

According to the mythical-religious literature time is determined by the eternal nature of divinity or origin of all things. From this adagio, theological literature is provoked and studies on the eternal nature of divinity suggest that if the universe was created the image of its creator the first must also be eternal. Therefore the question arises: how to shape that which by nature is formless, infinite, namely eternity? To answer this question the following paper develops a brief history about the (...) Judeo-Christian tradition on the problem of time and its relationship with eternity and also tries to prepare at the end one logical answer to the question about the form of eternity. (shrink)

In 1948, Bertrand Russell and Frederick Copleston entertained us with a radiophonic debate, on the BBC, concerning the rational proofs of God’s existence. This debate is primarily a product of Authors’ mindset. In this sense, every argument on each side presupposes a universal reason from which human intellect can grasp a certain degree of truth. Therefore, we would expect that the debate 75 years old to be outdated. Or maybe, Russell’s agnostic position could, at first sight, seem to be more (...) aligned with a contemporary post-modern mindset than Copleston’s theism. However, we disagree with the aforementioned thesis. We will not argue that Copleston won the debate by means of reason alone. We will rather show that both positions emerge from different ontologies. And these ones are intertwined with specific narratives and its respective ways of life. For that matter, the Russell-Copleston debate substantiates the thesis of Radical Orthodoxy. Deep down, John Milbank’s “ontology of peace,” as opposed to the Nietzschean nihilism, emerges from this debate. In this sense, while Copleston’s argumentation grounds this narrative on an ontology of peace, Russell tends to follow in a nihilism capable of destroying the communion between different persons. In this sense, the debate is still up to date. (shrink)

As coleções paleontológicas representam uma herança natural e cultural, que deve ser salvaguardada em acervos institucionais. Dentre elas, destaca-se a Coleção de Paleovertebrados do Departamento de Geologia e Paleontologia do Museu Nacional (DGP-MN), que sofreu uma considerável perda, em decorrência do incêndio sofrido por este museu em 2018. Uma forma de recuperar as informações históricas e científicas desta coleção está em seu registro iconográfico. Nesse contexto, o presente trabalho inventaria e ilustra o acervo, que ficou conhecido no Departamento de Geologia (...) e Paleontologia do Museu Nacional como “Coleção Cope”. Trata-se de uma centena de vertebrados fósseis que foram enviados, sob a forma de empréstimo, ao paleontólogo norte-americano Edward Drinker Cope (1840-1897), no final do século XIX, para identificação e descrição. Grande parte desta coleção foi obtida durante a construção da Estrada de Ferro da Bahia ao São Francisco, inaugurada em 1860. A implementação e consequente ampliação da rede ferroviária no Brasil, no final do século XIX, trouxe não só crescimento econômico, como possibilitou a formação de muitas coleções paleontológicas, uma vez que os cortes abertos nos terrenos para a construção das estradas de ferro revelaram o registro fossilífero, como é o caso da “Coleção Cope”. Se esta não mais existe fisicamente, ao menos a listagem e o registro iconográfico aqui apresentados poderão revalidá-la para a paleontologia brasileira. (shrink)

Barzykowski and Moulin's model proposes that déjà vu and involuntary autobiographical memories are the result of a continuously active memory system that tracks the novelty of situations. Déjà vu would only have episodic content and concern interpretation of prior experiences. We argue that these aspects of the model would gain to be clarified and explored further and we suggest possible directions.

In the broadest sense of the term, “Thomism” refers to a set of ideas and principles, both in philosophy and theology that can be considered as derivations or representations of the thought of Thomas Aquinas. However, Thomism should not be considered as a mere conceptual body. It also represents a certain view and way of doing philosophy and theology. Alasdair MacIntyre, in his book Three Rival Versions of Moral Enquiry, argues that the Thomistic approach provides a coherent and skillful point (...) of view for dealing creatively and critically with opposing views, contrasting this approach with the encyclopedic and the genealogical approaches. The former imposes a single worldview, enclosing knowledge and “truth” in a monolithic structure of “progress,” while the latter, following Nietzsche, devalues and relativizes knowledge, reducing it to a multiplicity of perspectives, each with its own claims to truth, leading to incommensurability and the consequent subjugation of “truth” to the law of the strongest. On the other hand, Thomists have adopted, from the end of the thirteenth century to the present day, different styles and ways of thinking while maintaining dialogue with their “predecessors” and at the same time with their contemporaries, that is, Thomists are capable of what MacIntyre called the “rationality of tradition”. (shrink)

The article addresses the question of how should scientific peers revise their beliefs (if at all) upon recognized disagreement. After presenting the basics of peer disagreement in sections 1 and 2, we focus, in section 3, on a concrete case of scientific disagreement, to wit, the dispute over the evidential status of randomized control trials in medical practice. The examination of this case motivates the idea that some scientific disagreements permit a steadfast reaction. In section 4, we support this conclusion (...) by providing a normative argument in the same direction; if we are correct, typical reasons for conciliation are absent in this kind of scientific disagreements. (shrink)

Célébrer les anniversaires successifs de Dante peut apparaître comme un exercice académique dépourvu d’intérêt philosophique. Mais cette inscription de l’œuvre dans une succession de retours permet de rappeler la fonction de la circularité dans une construction mentale qui progresse depuis la conscience explicite de son incapacité à se constituer en cercle ( Vita nuova XII, 4), jusqu’à la célébration ultime de l’amour comme cercle accompli ( Par. XXXIII,143). En suivant cette voie d’inspiration géométrique et symbolique, il devient possible de se (...) placer dans les pas de ceux qui ont célébré Dante en ses anniversaires, d’abord Victor Hugo et Saint-John Perse, pour tenter de prolonger leur effort de synthèse en un dialogue avec l’« éternel retour » selon Nietzsche et « La métamorphose des dieux » selon André Malraux. (shrink)

Mesmo diante do violento processo de desterritorialização vivido pelas inúmeras comunidades africanas no contexto da dominação colonial europeia, práticas e saberes ancestrais foram ressignificados e reelaborados de forma a impregnar o tecido social das culturas negras das Américas. Nesta perspectiva, este artigo insere-se em um conjunto de reflexões que visam exaltar a importância da preservação de memórias afrodiaspóricas no Brasil. Para tanto, particulariza-se um território negro no município de São Paulo, o bairro da Casa Verde na zona norte da cidade. (...) Com base na História oral e na pesquisa de campo, o objetivo central da presente pesquisa é sugerir possíveis traduções acerca da presença e permanência de ancestralidades negro-africanas na urbe paulistana a partir das narrativas compartilhadas e dos trabalhos de memória de Lucinda de Oliveira Marcelino. A colaboradora/narradora é filha de uma das fundadoras da Irmandade de São Benedito da Casa Verde, inaugurada em 1941. O acesso às memórias reconstruídas de Dona Lucinda permitem sinalizar a presença de práticas ancestrais marcadas por cosmovisões herdadas e protagonizadas por mulheres. Tais concepções constroem identidades afirmadas que singularizam as experiências negras na metrópole, expressando valores civilizacionais e extraocidentais comunitários fundamentais à humanidade. Palavras-chave: Casa Verde; Protagonismos femininos; Irmandades negras; Práticas ancestrais; Territórios afrodiaspóricos. (shrink)

El presente artículo presenta las grandes líneas de la hermenéutica agustiniana de Is 10,23 LXX en sermones ad populum de Agustín de Hipona. En su predicación aparece este locus exegético de la Patrística que se remonta a autores como Ireneo de Lyon y Orígenes de Alejandría. Brevemente veremos cómo aparece la mención y exégesis del texto de Isaías a lo largo de la producción agustiniana, para luego detenernos en la utilización del texto por parte de Agustín en contexto homilético. Nociones (...) de retórica clásica y elementos teológicos mostrarán la finalidad y la riqueza de la ratio interpretandi agustiniana. (shrink)

O presente trabalho pretende dar forma à ideia de cisheteronormatividade, a partir de conceitos de teóricos de gênero e sexualidade que apresentam a normatividade como heteronormatividade e cisnormatividade ou cissexismo, convertendo tais conceitos, até então distintos, em conjunto delimitado e único, que oprime e marginaliza sujeitos inadequados à cisheteronorma. Corroborando tal pressuposto - da cisheteronorma como força única e não separadamente como heteronormatividade e cissexismo - será feita uma leitura cruzada com o conceito de “instituições totais”, instituições disciplinares que têm (...) como principal objetivo a modelagem da subjetividade dos indivíduos que nela vivem, comparando ações de violência (que se supõem corretivas) contra a comunidade LGBT com ações de reforço e punições presentes nas instituições totais caracterizadas por Goffman na obra Manicômios, prisões e conventos (1961). Dessa forma, a sociedade pode ser globalmente compreendida como uma instituição total que tem como objetivo a modelagem da subjetividade dos corpos para que estes naturalizem identidades cisgêneras e heterossexuais, através de esquemas de reforços e punições bem delimitados, tais quais as instituições estudadas por Goffman. (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)

This article proposes a way of doing type theory informally, assuming a cubical style of reasoning. It can thus be viewed as a first step toward a cubical alternative to the program of informalization of type theory carried out in the homotopy type theory book for dependent type theory augmented with axioms for univalence and higher inductive types. We adopt a cartesian cubical type theory proposed by Angiuli, Brunerie, Coquand, Favonia, Harper, and Licata as the implicit foundation, confining our presentation (...) to elementary results such as function extensionality, the derivation of weak connections and path induction, the groupoid structure of types, and the Eckmman–Hilton duality. (shrink)