Arrow and turnstile interpolations are investigated in UCL [introduced by Sernadas et al. ], a logic that is a complete extension of classical propositional logic for reasoning about connectives that only behave as expected with a given probability. Arrow interpolation is shown to hold in general and turnstile interpolation is established under some provisos.

Fibring is recognized as one of the main mechanisms in combining logics, with great signicance in the theory and applications of mathematical logic. However, an open challenge to bring is posed by the collapsing problem: even when no symbols are shared, certain combinations of logics simply collapse to one of them, indicating that bring imposes unwanted interconnections between the given logics. Modulated bring allows a ner control of the combination, solving the collapsing problem both at the semantic and deductive levels. (...) Main properties like soundness and completeness are shown to be preserved, comparison with bring is discussed, and some important classes of examples are analyzed with respect to the collapsing problem. (shrink)

Motivated by applications in software engineering, we propose two forms of combination of logics: synchronization on formulae and synchronization on models. We start by reviewing satisfaction systems, consequence systems, one-step derivation systems and theory spaces, as well as their functorial relationships. We define the synchronization on formulae of two consequence systems and provide a categorial characterization of the construction. For illustration we consider the synchronization of linear temporal logic and equational logic. We define the synchronization on models of two satisfaction (...) systems and provide a categorial characterization of the construction. We illustrate the technique in two cases: linear temporal logic versus equational logic; and linear temporal logic versus branching temporal logic. Finally, we lift the synchronization on formulae to the category of logics over consequences systems. (shrink)

A completeness theorem is established for logics with congruence endowed with general semantics (in the style of general frames). As a corollary, completeness is shown to be preserved by fibring logics with congruence provided that congruence is retained in the resulting logic. The class of logics with equivalence is shown to be closed under fibring and to be included in the class of logics with congruence. Thus, completeness is shown to be preserved by fibring logics with equivalence and general semantics. (...) An example is provided showing that completeness is not always preserved by fibring ligics endowed with standard (non general) semantics. A categorial characterization of fibring is provided using coproducts and cocartesian liftings. (shrink)

Fibring is defined as a mechanism for combining logics with a first-order base, at both the semantic and deductive levels. A completeness theorem is established for a wide class of such logics, using a variation of the Henkin method that takes advantage of the presence of equality and inequality in the logic. As a corollary, completeness is shown to be preserved when fibring logics in that class. A modal first-order logic is obtained as a fibring where neither the Barcan formula (...) nor its converse hold. (shrink)

We introduce a general recipe for presenting non-classical logics in a modular and uniform way as labelled deduction systems. Our recipe is based on a labelling mechanism where labels are general entities that are present, in one way or another, in all logics, namely truth-values. More specifically, the main idea underlying our approach is the use of algebras of truth-values, whose operators reflect the semantics we have in mind, as the labelling algebras of our labelled deduction systems. The “truth-values as (...) labels” approach allows us to give generalized systems for multiple-valued logics within the same formalism: since we can take multiple-valued logics as meaning not only finitely or infinitely many-valued logics but also power-set logics, i.e. logics for which the denotation of a formula can be seen as a set of worlds, our recipe allows us to capture also logics such as modal, intuitionistic and relevance logics, thus providing a first step towards the fibring of these logics with many-valued ones. (shrink)

Fibring is a meta-logical constructor that applied to two logics produces a new logic whose formulas allow the mixing of symbols. Homogeneous fibring assumes that the original logics are presented in the same way . Heterogeneous fibring, allowing the original logics to have different presentations , has been an open problem. Herein, consequence systems are shown to be a good solution for heterogeneous fibring when one of the logics is presented in a semantic way and the other by a calculus (...) and also a solution for the heterogeneous fibring of calculi. The new notion of abstract proof system is shown to provide a better solution to heterogeneous fibring of calculi namely because derivations in the fibring keep the constructive nature of derivations in the original logics. Preservation of compactness and semi-decidability is investigated. (shrink)

Cut elimination is shown, in a constructive way, to hold in sequent calculi labelled with truth values for a wide class of normal modal logics, supporting global and local reasoning and allowing a general frame semantics. The complexity of cut elimination is studied in terms of the increase of logical depth of the derivations. A hyperexponential worst case bound is established. The subformula property and a similar property for the label terms are shown to be satisfied by that class of (...) modal sequent calculi. Modal logics presented by these calculi are proven to be globally and locally consistent. (shrink)

Labelled sequent calculi are provided for a wide class of normal modal systems using truth values as labels. The rules for formula constructors are common to all modal systems. For each modal system, specific rules for truth values are provided that reflect the envisaged properties of the accessibility relation. Both local and global reasoning are supported. Strong completeness is proved for a natural two-sorted algebraic semantics. As a corollary, strong completeness is also obtained over general Kripke semantics. A duality result (...) is established between the category of sober algebras and the category of general Kripke structures. A simple enrichment of the proposed sequent calculi is proved to be complete over standard Kripke structures. The calculi are shown to be analytic in a useful sense. (shrink)

Satisfaction systems and reductions between them are presented as an appropriate context for analyzing the satisfiability and the validity problems. The notion of reduction is generalized in order to cope with the meet-combination of logics. Reductions between satisfaction systems induce reductions between the respective satisfiability problems and (under mild conditions) also between their validity problems. Sufficient conditions are provided for relating satisfiability problems to validity problems. Reflection results for decidability in the presence of reductions are established. The validity problem in (...) the meet-combination is proved to be decidable whenever the validity problem for the components are decidable. Several examples are discussed, namely, involving modal and intuitionistic logics, as well as the meet-combination of modal logic and intuitionistic logic. (shrink)

The novel notion of importing logics is introduced, subsuming as special cases several kinds of asymmetric combination mechanisms, like temporalization [8, 9], modalization [7] and exogenous enrichment [13, 5, 12, 4, 1]. The graph-theoretic approach proposed in [15] is used, but formulas are identified with irreducible paths in the signature multi-graph instead of equivalence classes of such paths, facilitating proofs involving inductions on formulas. Importing is proved to be strongly conservative. Conservative results follow as corollaries for temporalization, modalization and exogenous (...) enrichment. (shrink)

A new technique is presented for proving that a consequence system enjoys Craig interpolation or Maehara interpolation based on the fact that these properties hold in another consequence system. This technique is based on the existence of a back and forth translation satisfying some properties between the consequence systems. Some examples of translations satisfying those properties are described. Namely a translation between the global/local consequence systems induced by fragments of linear logic, a Kolmogorov-Gentzen-Gödel style translation, and a new translation between (...) the global consequence systems induced by full Lambek calculus and linear logic, mixing features of a Kiriyama-Ono style translation with features of a Kolmogorov-Gentzen-Gödel style translation. These translations establish a strong relationship between the logics involved and are used to obtain new results about whether Craig interpolation and Maehara interpolation hold in that logics . (shrink)

The essential structure of proofs is proposed as the basis for a measure of complexity of formulas in FOL. The motivating idea was the recognition that distinct theorems can have the same derivation modulo some non essential details. Hence the difficulty in proving them is identical and so their complexity should be the same. We propose a notion of complexity of formulas capturing this property. With this purpose, we introduce the notions of schema calculus, schema derivation and description complexity of (...) a schema formula. Based on these concepts we prove general robustness results that relate the complexity of introducing a logical constructor with the complexity of the component schema formulas as well as the complexity of a schema formula across different schema calculi. (shrink)

Fusion is a well-known form of combining normal modal logics endowed with a Hilbert calculi and a Kripke semantics. Herein, fusion is studied over logic systems using sequent calculi labelled with truth values and with a semantics based on a two-sorted algebra allowing, in particular, the representation of general Kripke structures. A wide variety of logics, including non-classical logics like, for instance, modal logics and intuitionistic logic can be presented by logic systems of this kind. A categorical approach of fusion (...) is defined in the context of these logic systems. Preservation of soundness and completeness by fusion is studied. Soundness is preserved without further requirements, completeness is preserved under mild assumptions. (shrink)

The main objective of this paper is to define a logic for reasoning about distributed time-stamped claims. Such a logic is interesting for theoretical reasons, i.e. as a logic per se, but also because it has a number of practical applications, in particular when one needs to reason about a huge amount of pieces of evidence collected from different sources, where some of the pieces of evidence may be contradictory and some sources are considered to be more trustworthy than others. (...) We introduce the time-stamped claim logic including a sound and complete sequent calculus. In order to show how time-stamped claim logic can be used in practice, we consider a concrete cyber-attribution case study. (shrink)

We give an axiomatization of first‐order logic enriched with the almost‐everywhere quantifier over finitely additive measures. Using an adapted version of the consistency property adequate for dealing with this generalized quantifier, we show that such a logic is both strongly complete and enjoys Craig interpolation, relying on a (countable) model existence theorem. We also discuss possible extensions of these results to the almost‐everywhere quantifier over countably additive measures.

A graph-theoretic account of logics is explored based on the general notion of m-graph (that is, a graph where each edge can have a finite sequence of nodes as source). Signatures, interpretation structures and deduction systems are seen as m-graphs. After defining a category freely generated by a m-graph, formulas and expressions in general can be seen as morphisms. Moreover, derivations involving rule instantiation are also morphisms. Soundness and completeness theorems are proved. As a consequence of the generality of the (...) approach our results apply to very different logics encompassing, among others, substructural logics as well as logics with nondeterministic semantics, and subsume all logics endowed with an algebraic semantics. (shrink)

In The Grammar of Society, first published in 2006, Cristina Bicchieri examines social norms, such as fairness, cooperation, and reciprocity, in an effort to understand their nature and dynamics, the expectations that they generate, and how they evolve and change. Drawing on several intellectual traditions and methods, including those of social psychology, experimental economics and evolutionary game theory, Bicchieri provides an integrated account of how social norms emerge, why and when we follow them, and the situations where we are (...) most likely to focus on relevant norms. Examining the existence and survival of inefficient norms, she demonstrates how norms evolve in ways that depend upon the psychological dispositions of the individual and how such dispositions may impair social efficiency. By contrast, she also shows how certain psychological propensities may naturally lead individuals to evolve fairness norms that closely resemble those we follow in most modern societies. (shrink)

In Norms in the Wild, distinguished philosopher Cristina Bicchieri argues that when it comes to human behavior, social scientists place too much stress on rational deliberation. In fact, she says, many choices occur without much deliberation at all. Two people passing in a corridor automatically negotiate their shared space; cars at an intersection obey traffic signals; we choose clothing based on our instincts for what is considered appropriate. Bicchieri's theory of social norms accounts for these automatic components of coordination, (...) where individuals react automatically to cues that focus their attention on what the norm is in that situation. Social norms thus act as rules for making choices in a social world where people expect others -- often unconsciously -- to follow the same rule. Some norms enable seamless social co-operation, while others are less beneficial to human flourishing.Bicchieri is famous for her interdisciplinary work on game theory and most recently her work on social norms, and Norms in the Wild represents her latest challenge to many of the fundamental assumptions of the social sciences. Bicchieri's work has broad implications not only for understanding human behavior, but for changing it for better outcomes. People have a strongly conditioned preference for following social norms, but that also means that manipulating their expectations can cause major behavioral changes. Bicchieri has been working recently with UNICEF and other NGO's to explore the applicability of her views to issues of human rights around the world. Is it possible to change social expectations around forced marriage, genital mutilations, and public health practices like vaccinations and sanitation? If so, how? What tools might we use? This short book explores how social norms work, and how changing them - changing preferences, beliefs, and especially social expectations - can potentially improve lives all around the world. It will appeal to an unusually broad range of readers including philosophers, psychologists and others in behavioral sciences, and anyone involved in public policy or at NGOs. (shrink)

A graph-theoretic account of fibring of logics is developed, capitalizing on the interleaving characteristics of fibring at the linguistic, semantic and proof levels. Fibring of two signatures is seen as a multi-graph (m-graph) where the nodes and the m-edges include the sorts and the constructors of the signatures at hand. Fibring of two models is a multi-graph (m-graph) where the nodes and the m-edges are the values and the operations in the models, respectively. Fibring of two deductive systems is an (...) m-graph whose nodes are language expressions and the m-edges represent the inference rules of the two original systems. The sobriety of the approach is confirmed by proving that all the fibring notions are universal constructions. This graph-theoretic view is general enough to accommodate very different fibrings of propositional based logics encompassing logics with non-deterministic semantics, logics with an algebraic semantics, logics with partial semantics and substructural logics, among others. Soundness and weak completeness are proved to be preserved under very general conditions. Strong completeness is also shown to be preserved under tighter conditions. In this setting, the collapsing problem appearing in several combinations of logic systems can be avoided. (shrink)

Combined connectives arise in combined logics. In fibrings, such combined connectives are known as shared connectives and inherit the logical properties of each component. A new way of combining connectives (and other language constructors of propositional nature) is proposed by inheriting only the common logical properties of the components. A sound and complete calculus is provided for reasoning about the latter. The calculus is shown to be a conservative extension of the original calculus. Examples are provided contributing to a better (...) understanding of what are the common properties of any two constructors, say disjunction and conjunction. (shrink)

A probabilistic propositional logic, endowed with a constructor for asserting compatibility of diagonalisable and bounded observables, is presented and illustrated for reasoning about the random results of projective measurements made on a given quantum state. Simultaneous measurements are assumed to imply that the underlying observables are compatible. A sound and weakly complete axiomatisation is provided relying on the decidable first-order theory of real closed ordered fields. The proposed logic is proved to be a conservative extension of classical propositional logic.

We report the results of an experiment designed to determine the effects of psychological proximity—proxied by awareness of pain and friendship—on moral reasoning. Our study tests the hypotheses that a moral agent’s emphasis on justice decreases with proximity, while his/her emphasis on care increases. Our study further examines how personality, gender, and managerial status affect the importance of care and justice in moral reasoning. We find support for the main hypotheses. We also find that care should be split into two (...) components, one related to protection and the other to the preservation of relationships. Although gender does not affect moral reasoning directly, we find that it does so indirectly via personality, controlling for age, professional status, and professional background. We do not find a significant effect of managerial status on ethics of justice, but do find that holding a managerial position has a negative impact on ethics of care. Regarding personality, we detect significant positive effects of conscientiousness on ethics of justice and of neuroticism on ethics of care. (shrink)

The thesis of mental fragmentation has recently attracted increased attention as a way of explaining facts about mind and language. This volume provides an accessible introduction and essays on foundations and applications of fragmentation.

This book articulates a participatory conception of deliberative democracy that takes the democratic ideal of self-government seriously. It aims to improve citizens' democratic control and vindicate the value of citizens' participation against conceptions that threaten to undermine it. The book critically analyzes deep pluralist, epistocratic, and lottocratic conceptions of democracy. Their defenders propose various institutional ''shortcuts'' to help solve problems of democratic governance such as overcoming disagreements, citizens' political ignorance, or poor-quality deliberation. However, all these shortcut proposals require citizens to (...) blindly defer to actors over whose decisions they cannot exercise control. Implementing such proposals would therefore undermine democracy. Moreover, it seems naive to assume that a community can reach better outcomes 'faster' if it bypasses the beliefs and attitudes of its citizens. Unfortunately, there are no 'shortcuts' to make a community better than its members. The only road to better outcomes is the long, participatory road that is taken when citizens forge a collective will by changing one another's hearts and minds. However difficult the process of justifying political decisions to one another may be, skipping it cannot get us any closer to the democratic ideal. Starting from this conviction, the book defends a conception of democracy ''without shortcuts''. This conception sheds new light on long-standing debates about the proper scope of public reason, the role of religion in politics, and the democratic legitimacy of judicial review. It also proposes new ways to unleash the democratic potential of institutional innovations such as deliberative minipublics. (shrink)

Providing people with information is considered an important first step in encouraging them to behave sustainably as it influences their consumption beliefs, attitudes and intentions. However, too much information can also complicate these processes and negatively affect behaviour. This is exacerbated when people have accepted the need to live a more sustainable lifestyle and attempt to enact its principles. Drawing on interview data with people committed to sustainability, we identify the contentious role of knowledge in further disrupting sustainable consumption ideals. (...) Here, knowledge is more than just information; it is familiarity and expertise or how information is acted upon. We find that more knowledge represents a source of dilemma, tension and paralysis. Our data reveal a dark side to people’s knowledge, leading to a ‘self-inflicted sustainable consumption paradox’ in their attempts to lead a sustainable consumption lifestyle. Implications for policy interventions are discussed. (shrink)

Many accounts of ethnic phenomena imply that processes such as stereotyping, essentialism, ethnocentrism, and intergroup hostility stem from a unitary adaptation for reasoning about groups. This is partly justified by the phenomena’s co-occurrence in correlational studies. Here we argue that these behaviors are better modeled as functionally independent adaptations that arose in response to different selection pressures throughout human evolution. As such, different mechanisms may be triggered by different group boundaries within a single society. We illustrate this functionalist framework using (...) ethnographic work from the Quechua-Aymara language boundary in the Peruvian Altiplano. We show that different group boundaries motivate different ethnic phenomena. For example, people have strong stereotypes about socioeconomic categories, which are not cooperative units, whereas they hold fewer stereotypes about communities, which are the primary focus of cooperative activity. We also show that, despite the cross-cultural importance of ethnolinguistic boundaries, the Quechua-Aymara linguistic distinction does not strongly motivate any of these intergroup processes. (shrink)

In this paper, we aim to enhance our understanding about the processing of implicit and explicit temporal chronological relations by investigating the roles of temporal connectives and verbal tenses, separately and in interaction. In particular, we investigate how two temporal connectives (ensuiteandpuis, both meaning ‘then’) and two verbal tenses expressing past time (the simple and compound past) act as processing instructions for chronological relations in French. Theoretical studies have suggested that the simple past encodes the instruction to relate events sequentially, (...) unlike the more flexible compound past, which does not. Using an online experiment with a self-paced reading task, we show that these temporal connectives facilitate the processing of chronological relations when they are expressed with both verbal tenses, and that no significant difference is found between the two verbal tenses, nor between the two connectives. By means of an offline experiment with an evaluation task, we find, contrary to previous studies, that comprehenders prefer chronological relations to be overtly marked rather than implicitly expressed, and prefer to use the connectivepuisin particular. Furthermore, comprehenders prefer it when these relations are expressed using the compound past, rather than the simple past. Instead of using thecontinuityhypothesis (Segal et al. 1991,Murray 1997) to explain the processing of temporal relations, we conclude that a more accurate explanation considers a cluster of factors including linguistic knowledge (connectives, tenses, grammatical and lexical aspect) and world knowledge. (shrink)

L.A. Paul calls “deep” the kind of essentialism according to which the essential properties of objects are determined independently of the context. Deep essentialism opposes “shallow essentialism”, of which David Lewis is said to be a prominent advocate. Paul argues that standard forms of deep essentialism face a range of issues (mainly based on an interpretation of Quinean skepticism) that shallow essentialism does not. However, Paul claims, shallow essentialism eliminates the very heart of what motivates essentialism, so it is better (...) to be deep than shallow. Accordingly, she proposes a very sharp novel account of essentialism, which, while attempting to preserve some of the advantages of shallow essentialism over the classical forms of deep essentialism, can be deemed to be deep. In this paper, I compare Paul’s proposal for a kind of deep essentialism with Lewis’s account, as it is presented by Paul. My aim is to show that the differences between the two approaches are not as significant as Paul takes them to be, and that Paul’s account can be taken to be deeper than Lewis’s only at the cost of sacrificing the very idea at the bottom of deep essentialism. This might be taken to suggest that, if Paul is correct in asserting that shallow essentialism is better equipped to address some skeptical challenges, but it is generally preferable to be deep than shallow, then Lewis’s account should be re-evaluated, since, as shallow as it can be, it might be deeper than it looks. (shrink)

The Internet has been identified in human enhancement scholarship as a powerful cognitive enhancement technology. It offers instant access to almost any type of information, along with the ability to share that information with others. The aim of this paper is to critically assess the enhancement potential of the Internet. We argue that unconditional access to information does not lead to cognitive enhancement. The Internet is not a simple, uniform technology, either in its composition, or in its use. We will (...) look into why the Internet as an informational resource currently fails to enhance cognition. We analyze some of the phenomena that emerge from vast, continual fluxes of information–information overload, misinformation and persuasive design—and show how they could negatively impact users’ cognition. Methods for mitigating these negative impacts are then advanced: individual empowerment, better collaborative systems for sorting and categorizing information, and the use of artificial intelligence assistants that could guide users through the informational space of today’s Internet. (shrink)

This paper argues that hypocritical blame renders blame inappropriate. Someone should not express her blame if she is guilty of the same thing for which she is blaming others, in the absence of an admission of fault. In failing to blame herself for the same violations of norms she condemns in another, the hypocrite evinces important moral faults, which undermine her right to blame. The hypocrite refuses or culpably fails to admit her own mistakes, while at the same time demands (...) that others admit theirs. The paper argues that this lack of reciprocity—expecting others to take morality seriously by apologizing for their faults, without one doing the same in return—is what makes hypocritical blame unfair. (shrink)

We present five studies investigating the effects of approach and avoidance behaviours when individuals do not enact them but, instead, learn that others have performed them. In Experiment 1, when participants read that a fictitious character (model) had approached a previously unknown product, they ascribed to this model a liking for the object. In contrast, they ascribed to the model a disliking for the avoided product. In Experiment 2, this result emerged, with a smaller effect size, even when it was (...) clear that the behaviours followed specific instructions from a third party. The model had been a mere executor instead of behaving autonomously. Finally, in Experiments 3, 4, and 5, we showed, with direct and indirect measures of attitudes, that reading that the model had approached vs avoided products was sufficient to create preferences in the participant for the approached one, regardless of whether it was explained that the model was a mere executor. This research highlights the largely unexplored effects of vicarious approach/avoidance behaviours. Theoretical and practical implications and possible developments of this line of research are discussed. (shrink)

Many hypotheses have been advanced to explain the collective irrationality of COVID-19 vaccine hesitancy, such as partisanship and ideology, exposure to misinformation and conspiracy theories or the effectiveness of public messaging. This paper presents a complementary explanation to epistemic accounts of collective irrationality, focusing on the moral reasons underlying people’s decisions regarding vaccination. We argue that the moralization of COVID-19 risk mitigation measures contributed to the polarization of groups along moral values, which ultimately led to the emergence of collective irrational (...) behaviors. Collective irrationality arises from groups explicitly or implicitly endorsing values that ultimately harm both themselves and those around. The role of social media platforms in amplifying this polarization and contributing to the emergence of collective irrationality is also examined. Finally, potential strategies for addressing the moral sources of collective irrationality are discussed. (shrink)

Using samples from three diverse populations, we test evolutionary hypotheses regarding how people reason about the inheritance of various traits. First, we provide a framework for differentiat-ing the outputs of mechanisms that evolved for reasoning about variation within and between biological taxa and culturally evolved ethnic categories from a broader set of beliefs and categories that are the outputs of structured learning mechanisms. Second, we describe the results of a modified “switched-at-birth” vignette study that we administered among children and adults (...) in Puno, Yasawa, and adults in the United States. This protocol permits us to study perceptions of prenatal and social transmission pathways for various traits and to differentiate the latter into vertical versus horizontal cultural influence. These lines of evidence suggest that people use all three mechanisms to reason about the distribution of traits in the population. Participants at all three sites develop expectations that morphological traits are under prenatal influence, and that belief traits are more culturally influenced. On the other hand, each population holds culturally specific beliefs about the degree of social influence on non-morphological traits and about the degree of vertical transmission—with only participants in the United States expecting parents to have much social influence over their children. We reinterpret people's differentiation of trait transmission pathways in light of humans' evolutionary history as a cultural species. (shrink)

Vivemos nos desdobramentos daquilo que Manuel Castells (2005) nomeou de Sociedade em Rede, em cujo cerne estão as Tecnologias de Informação (TIs). Ele indicou as características-chave do novo cenário que diagnosticou, a saber, são tecnologias que agem sobre a própria informação e que também introduziram a lógica das redes; que promovem a convergência tecnológica e, por conseguinte, um sistema altamente integrado de aparatos técnicos; e que acentuadamente penetram pelos diferentes processos e âmbitos sociais. De lá para cá testemunhamos grandes e (...) rápidos saltos tecnológicos bem como o adensamento das transformações na dinâmica econômico-política organizacional e institucional e na construção das vidas humanas e não-humanas no planeta. Essas mudanças alcançaram não apenas modos informais de aprendizagem, mas também a educação formal. O objetivo desse artigo é discutir aspectos atuais da plataformização educacional presentes na educação básica brasileira, tendo como referência o ensino de Filosofia no Ensino Médio. Para tanto será desenvolvida reflexão sobre a plataformização educacional, fenômeno que diz respeito ao modelo de negócios presente na atual fase do capitalismo e que utiliza as plataformas sustentadas pela IA e também a constante extração de dados de quem transita pelas infovias do ciberespaço; sobre o que nomeamos como Escola do Cansaço, em diálogo com o conceito de Sociedade do Cansaço desenvolvido por Byung Chul Han; e sobre algumas implicações decorrentes que já se fazem presentes na administração do trabalho docente, na realização do trabalho docente e nas relações de ensino-aprendizagem. (shrink)