In this chapter, we offer a reconstruction of the evolution of Leibniz’s thought concerning the problem of the infinite divisibility of bodies, the tension between actuality, unassignability, and syncategorematicity, and the closely related question of the possibility of infinitesimal quantities, both in physics and in mathematics.Some scholars have argued that syncategorematicity is a mature acquisition, to which Leibniz resorts to solve the question of his infinitesimals – namely the idea that infinitesimals are just signs for Archimedean exhaustions, and their unassignability (...) is a nominalist maneuver. On the contrary, we show that syncategorematicity, as a traditional idea of classical scholasticism, is a feature of young Leibniz’s thinking, from which he moves away in order to solve the same problem, as he gains mathematical knowledge.We have divided Leibniz’s path toward his mature view of infinitesimals into five phases, which are especially significant for reconstructing the entire evolution. In our reconstruction, an important role is played by Leibniz’s text De Quadratura Arithmetica. Based on this and other texts, we dispute the thesis that fictionality coincides with syncategorematicity, and that unassignability can be bypassed. (In this chapter, we employ “syncategorematic” as a shorthand for “eventually identifiable with a procedure of exhaustion” and, as a consequence, “involving only assignable quantities.” We also identify syncategorematicity with potentiality, as suggested by some part of the scholastics, and in Sect. 2.2, we show that the two characterizations are equivalent, provided that “potentiality” is intended in the correct way: namely as in the unending iterative procedures of Greek mathematics.) On the contrary, we maintain that unassignability, as incompatible with the principle of harmony, is the ultimate reason for the fictionality of infinitesimals. (shrink)

Innovation in medieval studies is the creative ability to go back to sources. Digging, exploring, and connecting material pieces of evidence, facts, and individuals uncover new knowledge. One of the most significant sources for the medieval textual production is the university. Understanding the writings stemming from different faculties of medieval universities requires skills, curiosity, and tools. Among such instruments, the statutes of universities help researchers not only to decipher the organization of the academic institutions and interpret the rules that apply (...) to scholars and to their professors, but also to decode how and why texts were produced. The faculty of theology represents the highest level where education led during the Middle Ages and delivers the highest degree such as the master in theology. All over Europe, such faculties become the impetus that drives the intelligentsia to produce a textual heritage that today generates inspiration for magisterial carriers. Among them, Professor Maarten Hoenen is one to praise today. Taking as a point of departure a recent publication of Maarten Hoenen, 1 I will propose to investigate the relation between the statute of universities and of intellectual practices within medieval academia-more precisely, how a researcher should dig for complementary sources when the main documentation depicting an intellectual practice, such as the protestatio and gratiarum actio, is missing. I do not intend to be exhaustive, but simply to focus on how we should understand these two actions, protestatio and gratiarum actio, in connection with the Sentences commentaries. 2 The paradox is that we have traces of these two practices in the surviving manuscripts stemming from the university, but we do not always have a description of these actions in their statutes. Protestatio represents an oath that bachelors take at the beginning of an academic exercise, and the gratiarum actio is the final paragraph that closes the same exercise by thanks addressed to the public. The span of time I will focus on is between the fourteenth and fifteenth centuries, since this is the period from which some testimonies survived that today help to better clarify how these actions were performed in medieval academia. It is also the period of naissance of the new faculties of theology all around Europe, as it is the case with Bologna, Vienna, Cracow, or Prague. They all embraced the model disseminated in Paris and Oxford on reading on the Sentences of Peter Lombard to obtain the degree of doctor in theology, and they contribute to building tradition, and therefore to produce sources for us today. (shrink)

This text, commissioned by the OSUN Global Observatory of Academic Freedom, discusses how the concept of academic freedom is codified in Colombian Law and regulations of public and private higher education institutions. It also explores common conceptions of academic freedom among Colombian scholars, as well as commonly observed threats to it.

Ethical leadership matters in the context of organizational change due to the need for followers to trust the integrity of their leaders. Yet, there have been no studies investigating ethical leadership and organizational change. To fill this gap, we introduce a model of the moderating role of involvement in change. Organizational change and involvement in change are proposed as context-level moderators in the relationships of ethical leadership and work-related attitudes and performance. We employ a sample of 199 supervisor–subordinate pairs from (...) a wide variety of organizations. Results support a three-way interaction (ethical leadership, organizational change, and involvement in change) for performance and OCBs. Our results have important implications for organizational change since ethical leadership appears to complement follower involvement when change is happening. (shrink)

Through cultural transmission, repeated learning by new individuals transforms cultural information, which tends to become increasingly compressible . Existing diffusion chain studies include in their design two processes that could be responsible for this tendency: learning and reproducing . This paper manipulates the presence of learning in a simple iterated drawing design experiment. We find that learning seems to be the causal factor behind the increase in compressibility observed in the transmitted information, while reproducing is a source of random heritable (...) innovations. Only a theory invoking these two aspects of cultural learning will be able to explain human culture's fundamental balance between stability and innovation. (shrink)

This book throws new light on the way in which the Internet impacts on democracy. Based on Jürgen Habermas' discourse-theoretical reconstruction of democracy, it examines one of the world's largest, most diverse but also most unequal democracies, Brazil, in terms of the broad social and legal effects the internet has had. Focusing on the Brazilian constitutional evolution, the book examines how the Internet might impact on the legitimacy of a democratic order and if, and how, it might yield opportunities for (...) democratic empowerment. The book also assesses the ways in which law, as an institution and a system, reacts to the changes and challenges brought about by the Internet: the ways in which law may retain its strength as an integrative force, avoiding a 'virtual' legitimacy crisis. (shrink)

As a neonatal neurologist, I serve families facing tragic decisions in which they must balance trade-offs between death and life with profound disability. I often find myself in complex discussions about future outcome, in which families sort through in real-time what information they value most in making such a choice. Will he laugh? Will he be in pain? Will he know how much he’s loved? In this month’s feature article, Brick et al share the results of an online survey aimed (...) at assessing public views on when a life is not worth living, in an effort to inform ongoing legal and clinical debates about withdrawal of life-sustaining treatment for children. These findings raise important questions about how we define and measure outcomes that matter to parents as they make these tragic decisions. It is challenging to interpret these findings in the absence of context of how decision-making for infants occurs in real-time. The nature of this study and its objective required that cases be substantially simplified. As the authors acknowledge, the prognoses and function of the children involved in these cases were often deeply contested. Prognostic uncertainty is common for children with significant …. (shrink)

This paper examines folk theories of algorithmic recommendations on Spotify in order to make visible the cultural specificities of data assemblages in the global South. The study was conducted in Costa Rica and draws on triangulated data from 30 interviews, 4 focus groups with 22 users, and the study of “rich pictures” made by individuals to graphically represent their understanding of algorithmic recommendations. We found two main folk theories: one that personifies Spotify and another one that envisions it as a (...) system full of resources. Whereas the first theory emphasizes local conceptions of social relations to make sense of algorithms, the second one stresses the role of algorithms in providing a global experience of music and technology. We analyze why people espouse either one of these theories and how these theories provide users with resources to enact different modalities of power and resistance in relation to recommendation algorithms. We argue that folk theories thus offer a productive way to broaden understanding of what agency means in relation to algorithms. (shrink)

Blockchain is an open digital ledger technology that has the capability of significantly altering the way that people operations operate in organizations. This research takes a first step in proposing several ways in which the blockchain technology can be used to improve current organizational practices, while also considering the ethical implications. Specifically, the paper examines the role that blockchain technology plays in three primary areas of people operations: entry to the organization, intraorganizational processes, and exit. In each section, the paper (...) reviews the ethical implications from the lenses of virtue ethics, utilitarianism, deontology and contractarianism. The paper concludes that in whole the implementation of blockchain technology in people operations processes can create a more ethical work environment. However, careful implementation is necessary and requires extensive examination of ethical implications in advance. (shrink)

There is growing interest in the role of new urban agriculture models to increase local food production capacity in cities of the Global North. Urban rooftop greenhouses and hydroponics are examples of such models receiving increasing attention as a technological approach to year-round local food production in cities. Yet, little research has addressed the unintended consequences of new modes of urban farming and food distribution, such as increased competition with existing peri-urban and rural farmers. We examine how small-scale farmers perceive (...) and have responded to a recently established rooftop greenhouse and online marketplace enterprise in Montréal, Canada. Drawing on interviews with key informants and small-scale farmers, we find that peri-urban and rural producers have been affected in three key ways that represent tensions, adaptations, and synergies arising from this new urban agriculture and food distribution enterprise. First, many farmers are concerned about increased competition and value conflation with the ideals of community supported agriculture and organic farming. Second, some farmers have adapted by developing novel marketing strategies and working with local bridge organizations to collectively market their produce to urban consumers. Third, a few farmers have decided to wholesale their produce to this new enterprise, allowing them to specialize production and avoid marketing their produce directly to urban consumers. Our study suggests that the emergence of a new form of alternative food network in Montréal has created both positive and negative disruptions for existing small-scale producers. Advocates for the expansion of new urban food production and distribution models should therefore give greater consideration to the effects on other actors in the local food system. (shrink)

Given that mitigating climate change is a large-scale global issue, what obligations do individuals have to lower their personal carbon emissions? I survey recent suggestions by Walter Sinnott-Armstrong and Dale Jamieson and offer models for thinking about their respective approaches. I then present a third model based on the notion of structural violence. While the three models are not mutually incompatible, each one suggests a different focus for mitigating climate change. In the end, I agree with Sinnott-Armstrong that people have (...) limited moral obligations to directly lower personal emissions, but I offer different reasons for this conclusion, namely that the structural arrangements of our lives place a limit on how much individuals can restrict their own emissions. Thus, individuals should focus their efforts on changing the systems instead (e.g., the design of cities, laws and regulation, etc.), which will lead to lower emissions on a larger scale. (shrink)

We investigate the emergence of iconicity, specifically a bouba-kiki effect in miniature artificial languages under different functional constraints: when the languages are reproduced and when they are used communicatively. We ran transmission chains of participant dyads who played an interactive communicative game and individual participants who played a matched learning game. An analysis of the languages over six generations in an iterated learning experiment revealed that in the Communication condition, but not in the Reproduction condition, words for spiky shapes tend (...) to be rated by naive judges as more spiky than the words for round shapes. This suggests that iconicity may not only be the outcome of innovations introduced by individuals, but, crucially, the result of interlocutor negotiation of new communicative conventions. We interpret our results as an illustration of cultural evolution by random mutation and selection. (shrink)

This essay examines how early moderns used birth horoscopes (genitures) to assess the compatibility of prospective spouses before marriage. Astrologers could probe the horoscope of an individual to investigate his or her present and future physical and moral qualities or compare charts to reveal the personal compatibility of a couple and help establish the best time to consummate their marriage. These practices aimed at ensuring a fruitful marriage and the harmony and happiness of the couple and their families. Focusing on (...) a few key examples, the essay outlines both the astrological theories and the social politics that propelled astrological matching, suggesting that its appeal lay in the promise of informed choice while also preserving free will. Finally, the author suggests ways in which astrological practices and the use of vast amounts of astronomical data share affinities with data-driven matching in our own time. (shrink)

Significant scientific and technological advances in intensive care have been made. However, patients in the intensive care unit may experience discomfort, loss of control, and surreal experiences. This has generated relevant debates about how to humanize the intensive care units and whether humanization is necessary at all. This paper aimed to explore how humanizing intensive care is described in the literature. A scoping review was performed. Studies published between 01.01.1999 and 02.03.2020 were identified in the CINAHL, Embase, PubMed, and Scopus (...) databases. After removing 185 duplicates, 363 papers were screened by title and abstract. Full-text screening of 116 papers led to the inclusion of 68 papers in the review based on the inclusion criteria; these papers mentioned humanizing or dehumanizing intensive care in the title or abstract. Humanizing care was defined as holistic care, as a general attitude of professionals toward patients and relatives and an organizational ideal encompassing all subjects of the healthcare system. Technology was considered an integral component of intensive care that must be balanced with caring for the patient as a whole and autonomous person. This holistic view of patients and relatives could ameliorate the negative effects of technology. There were geographical differences and the large number of studies from Spain and Brazil reflect the growing interest in humanizing intensive care in these particular countries. In conclusion, a more holistic approach with a greater emphasis on the individual patient, relatives, and social context is the foundation for humanizing intensive care, as reflected in the attitudes of nurses and other healthcare professionals. Demands for mastering technology may dominate nurses’ attention toward patients and relatives; therefore, humanized intensive care requires a holistic attitude from health professionals and organizations toward patients and relatives. Healthcare organizations, society, and regulatory frameworks demanding humanized intensive care may enforce humanized intensive care. (shrink)

O texto que ora apresentamos é o conteúdo de uma Palestra proferida em Agosto de 2011, em Lisboa, e discute alguns pareceres de Hegel sobre o ensino da filosofia na Universidade, e especilamente nos Liceus. Nosso objetivo é discorrer sobre as três fundamentais “lições” que se pode inferir das meditações hegelianas acerca do ensino da filosofia, a saber: 1) o professor tem que pensar; 2) a filosofia (e o filosofar) não é tão-somente um mero formalismo; 3) a dialéctica se configura (...) como textura, conteúdo, do real e como ocupação nuclear de uma penetração pensante do ser. Primeiramente, nossa argumentação evidencia que, para Hegel, o professor tem que pensar porque este ato é uma exigência fundante do seu trabalho docente de formação. No segundo momento, demonstramos que Hegel se posiciona contrário à tese que afirma o formalismo na contraposição filosofia versus filosofar. Em terceiro lugar, expomos que, para Hegel, o ensino e a aprendizagem devem se ocupar, necessariamente, da dialéctica, na medida em que esta não é um mero instrumento da técnica pedagógica, mas porque ela é constitutiva do pensar e da manifestação do ser no mundo. (shrink)

We examine change across U.S. cohorts born between 1920 and 2000 in their probability of having had sex with same-sex partners in the last year and since age 18. Using data from the 1988–2018 General Social Surveys, we explore how trends differ by gender, race, and class background. We find steep increases across birth cohorts in the proportion of women who have had sex with both men and women since age 18, whereas increases for men are less steep. We suggest (...) that the trends reflect an increasingly accepting social climate, and that women’s steeper trend is rooted in a long-term asymmetry in gender change, in which nonconformity to gender norms is more acceptable for women than men. We also find evidence that, among men, the increase in having had sex with both men and women was steeper for black than for white men, and for men of lower socioeconomic status; we speculate that the rise of mass incarceration among less privileged men may have influenced this trend. (shrink)

Este artigo tem como objetivo principal investigar a relação existente entre a percepção da felicidade dos brasileiros, sua satisfação com a vida e a satisfação com o regime democrático no período de 2017 a 2020. Nossa hipótese de trabalho postula que o declínio da felicidade e da satisfação com a vida, de uma forma geral, guarda relação de associação com a satisfação com a democracia e suas instituições. Assim, o artigo sugere que felicidade e democracia no Brasil são duas variáveis (...) associadas que ajudam a explicar em parte as fragilidades de nosso regime democrático e devem ser foco de atenção de nossas políticas públicas. A base empírica deste artigo é a sétima onda da Pesquisa Mundial de Valores (WVS, 2017-2020), por meio de pesquisa quantitativa, tipo survey, que utilizaremos para demonstrar nosso argumento. (shrink)

Nietzsche apresenta, no decorrer de sua obra, um persistente interesse pelo problema da linguagem, abordando sua origem terrena e sua dimensão demasiado humana, sua ligação ao âmbito instintivo de uma espécie animal e seu caráter artificial e plástico. O objetivo deste artigo é sugerir que tal tema relaciona-se à tentativa nietzschiana de superação da metafísica, em duas frentes. Negativamente, no reconhecimento dos limites da linguagem e da influência de certas seduções gramaticais em nossas concepções do que seria a estrutura fundamental (...) do mundo. Positivamente, na elaboração de uma sintomatologia e de sua arte do estilo, elementos importantes de sua crítica da cultura e postura filosófica. Pretendemos, assim, indicar que a tematização e uso nietzschiano da linguagem possui papel central na elaboração de sua tarefa filosófica de intervenção cultural. (shrink)

The ethics of autonomous vehicles has received a great amount of attention in recent years, specifically in regard to their decisional policies in accident situations in which human harm is a likely consequence. Starting from the assumption that human harm is unavoidable, many authors have developed differing accounts of what morality requires in these situations. In this article, a strategy for AV decision-making is proposed, the Ethical Valence Theory, which paints AV decision-making as a type of claim mitigation: different road (...) users hold different moral claims on the vehicle’s behavior, and the vehicle must mitigate these claims as it makes decisions about its environment. Using the context of autonomous vehicles, the harm produced by an action and the uncertainties connected to it are quantified and accounted for through deliberation, resulting in an ethical implementation coherent with reality. The goal of this approach is not to define how moral theory requires vehicles to behave, but rather to provide a computational approach that is flexible enough to accommodate a number of ‘moral positions’ concerning what morality demands and what road users may expect, offering an evaluation tool for the social acceptability of an autonomous vehicle’s ethical decision making. (shrink)

Compreender a violência na sociedade contemporânea requer o mapeamento dos fatores geradores de atos violentos bem como sua prevenção por meio de políticas públicas e de processos educacionais. Este artigo traz algumas reflexões sobre a racionalidade comunicativa e a violência escolar no contexto da crescente exclusão social e a crise de horizontes utópicos para a construção da educação e da formação de sujeitos de direitos. A abordagem metodológica está ancorada na perspectiva da análise de conteúdo de Laurence Bardin (2016), do (...) documento ‘Violência escolar e bullying: relatório sobre a situação mundial’, publicado pela Organização das Nações Unidas para a Educação, a Ciência e a Cultura (UNESCO). São analisadas as pretensões de validade das informações e dos dados considerados relevantes por meio da elaboração de dois eixos principais para analisar a violência escolar apresentada no relatório: a) definições e amparos legais; b) impactos e principais desafios sobre a violência escolar e o bullying. Nessa perspectiva, recorreremos à Racionalidade Comunicativa, ponto central da Teoria do Agir Comunicativo, de Jürgen Habermas, para refletir sobre os achados e saber quais as bases consideradas relevantes para se construir uma educação para a paz alicerçada no diálogo e no entendimento. (shrink)

Apresentaremos as possíveis aplicações pedagógicas das suas reflexões, como a utilização da imprecisão científica de Heisenberg e da concepção de técnica em Heidegger, a partir da análise histórico-filosófica dos seus escritos, tomando-os como fundamentação a necessária e significativa melhoria da educação técnico-científica.

El artículo tiene como finalidad puntualizar elementos que deben ser tomados en cuenta en la formación infantil para mejorar la calidad educativa. Logra que sus recuerdos perduren de forma positiva y que propician una adecuada calidad de vida. Se abordan conceptos de infancia, dimensiones de relación, principios metodológicos y experiencias de aprendizaje.

Primeiramente fazemos uma breve discussão sobre a concepção defendida por Gramsci acerca do que caracteriza um intelectual, bem como sua função social nas distintas formações sociais, como desdobramento de tal reflexão do autor sardo, apresentamos sua conhecida distinção, operada no “Caderno 12”, entre os „intelectuais tradicionais‟ e os „intelectuais orgânicos‟ destacando sua práxis social. Por fim, valendo-nos dos escritos do autor no “Caderno 13”, ressaltamos a importância do intelectual orgânico na constituição do partido revolucionário.First we give a brief discussion about (...) the concept advocated by Gramsci about what characterizes an intellectual as well as its social function in different social formations, as a consequence of such a reflection of the author Sardinian, presented his famous distinction, operated in the "Notebook 12" between the 'traditional intellectuals' and 'organic intellectuals' highlighting its social praxis. Finally, drawing upon the writings of the author in "Notebook 13", highlight the importance of the organic intellectual in the constitution of the revolutionary party. (shrink)

We generalize a previous result about dynamically consistent menu preferences to the case where preferences are not necessarily complete. We show that, as it is the case when preferences are complete, a subjective state space version of dynamic consistency is linked to a comparative theory of preference for flexibility. In words, an objective signal is interpreted as an event in the agent’s subjective state space and the agent acts in a dynamically consistent way after that if and only if we (...) can attribute all the differences between the agent’s preferences before and after the signal to the fact that the agent values flexibility more before the signal than after. (shrink)

We present the system SUBSEXPL used for simulating and comparing explicit substitutions calculi. The system allows the manipulation of expressions of the λ-calculus and of three different styles of explicit substitutions: the λσ, the λse and the suspension calculus. A variation of the suspension calculus, which allows for combination of steps of β-contraction is included too. Implementations of the η-reduction are provided for each style. Other explicit substitutions calculi can be easily incorporated into the system due to its modular structure. (...) The uses of the system include: the visualization of the contractions of the λ-calculus in de Bruijn notation, and of guided one-step reductions as well as normalization via each of the associated substitution calculi. Many useful facilities are included: reductions can be easily recorded as text files, LATEX outputs can be generated and several examples for dealing with arithmetic operations and computational operators such as conditionals and repetitions in the λ-calculus are available. The system can be executed over Emacs using the x-symbol mode in such a way that λ-terms and terms of the explicit substitutions calculi are represented in its natural syntax avoiding the necessity of repeatedly generating LATEX outputs. The system has been of great help for systematically comparing explicit substitutions calculi, as well as for understanding properties of explicit substitutions such as the Preservation of Strong Normalization. In addition, it has been used for teaching basic properties of the λ-calculus such as: computational adequacy, the usefulness of de Bruijn's notation and of making explicit substitutions in real implementations. (shrink)

This article proposes a reflection on the persistence of Nazi jurisdictional models in contemporary legal theory, briefly comparing the work of authors such as Wolf, Larenz, Schmitt, Dworkin and Alexy. It aims to demonstrate the authoritarian and radically undemocratic character of certain theoretical constructions used in adjudication, particularly in Brazil. For this purpose, three representative judicial decisions from 2016 are analyzed, highlighting typical structural features of Nazi legal theory which remain accepted by current legal theory, such as the disregard for (...) legality, the personification of the community as judge and the appeal to social values which are taken as self-evident. (shrink)

This paper provides an exploratory comparative assessment of the institutional pressures influencing corporate social responsibility in a developed country, UK, vs. a developing country, Brazil, based on a survey of different actors. Information on sustainability concerns, organizational strategies and mechanisms of pressure was collected through interviews with environmental regulatory agencies, financial institutions, media and non-governmental organizations. Our results confirm that the more advanced awareness and CSR responsiveness in the UK is a consequence of a predominance of coercive and normative forces (...) on the organizational field. The institutional forces tend to build a Brazilian organizational field that is relational based and risk intensive. The findings lend support to the view that CSR responses are unlikely to be easily transformed into uniform standardized practices across the globe. This paper contributes to a collective understanding of the organizational field and a common template for CSR in the context of developed and developing countries. (shrink)

This article seeks to explore the theoretical contributions of Axel Honneth, particularly in his works, The Struggle for Recognition and Reification, aiming at diving deep into the debate on the contemporary ideological expressions and their incidence in the process of subjective constitution in teenage years. This particular interest springs from the need to interweave the concepts of reification, forgetfulness and recognition within a fruitful theoretical field in order to interpret a project work called Hip-Hop: cultures and identities, developed with teenagers (...) in a public school in the city of São Paulo, Brazil. From our point of view, the concepts of reification and forgetfulness are fundamental to identify how the conservative ideological expressions are present in the imaginary of adolescents in the contemporary world. Although rereading the concepts of reification and forgetfulness, as proposed by the author, is regarded as essential for understanding the ideological expressions that are based on and guided by consumption. However, even though we acknowledge Honneth's efforts toward moving forward with the concept of reification, it is crucial to emphasize the mediation concept Lukács explored in his work, History and Class Consciousness, so as to elucidate how the forgetfulness of the primary recognition relations is processed. (shrink)

Mapeando brevemente alguns eventos desencadeados pelo período denominado, por alguns cientistas, como Antropoceno, este estudo busca estabelecer um observatório deste período através da ótica do campo das artes, do cinema e da filosofia. Pretende-se compreender como práticas artísticas podem ser concebidas de forma a sublinhar as incoerências referentes à intervenção humana no sistema e na atmosfera terrestre. Para tal, este estudo recruta trabalhos de artistas como Alice Miceli, Andrei Tarkovsky e Jacob Kirkegaard, em suas potencialidades de prevenção, educação e crítica (...) em relação a distintas implicações relacionadas ao desastre nuclear de Chernobyl. Assim, é compreendida a possibilidade de trabalhos de arte em atuar como revisita histórica e análise geo-histórica, bem como meios de potencializar críticas às injustiças provocadas pelo Antropoceno.Palavras-chave: Arte contemporânea; Antropoceno; Energia nuclear; Justiça Climática. (shrink)

Considering the basic assumption that the modern Law and State theory does not only bear similarities, but also draws true epistemological parallels to theconstructions of Theology, Hans Kelsen intends to lay bare the ideological meaning that lies at the very core of the traditional dualism which constitutes Law and State into autonomous entities. Taking into account Kelsen´s original perceptions – which are seconded by more recent contributions from Claude Lefort and Hans Lindahl’s political and symbolic concepts and from Carl Schmitt’s (...) notions on political theology – our intention is now to demonstrate the highly conservative role played by the duality of the Law/State structure, whose aim is to remove, from under the sway of legal control, a considerable part of the State’s actions.Herebelow, therefore, we will analyse the very legitimacy of the so-called “Public Law,” which seems to point to a trend towards shunning the legal power regulation. Finally, based on the functional method pioneered by Ernst Cassirer, legal institutions such as “collective will” and “public interest” will be problematised, in order to ascertain whether they contain theological, conservative and authoritarian traits incompatible with the conceptual and substantial unity intrinsic to the Rule of Law. (shrink)

O objetivo deste artigo é discutir a noção humiana de "crença", frequentemente vita como adendo "psicológico" à correta doutrina epistemológica do autor. Tenta-se sugerir que são partilha das obsessões da epistemologia contemporânea.

O artigo visa discutir o papel que a obra de John Rawls possui para o projeto teórico de Rainer Forst. Trata-se de acompanharas principaisleituras que Forst realiza sobre esse autor e discutir algumas consequências que podem ser delas depreendidas para seu modelo crítico. Assim, em primeiro lugar, discute-se a tentativa de Forst em aproximar os critérios de reciprocidade e universalidade, de seu princípio de justificação, à teoria de Rawls, ao mesmo tempo em que acusa Rawls de que sua configuração da (...) posição original atribui conteúdos substantivos aos princípios de justiça, que, na verdade, só poderiam ser concebidos comoum princípio fundamental de justificação (I). Em seguida, observa-se a leitura que Forst realiza sobre o debate entre Habermas e Rawls, a fim de extrair uma alternativa a ambos. Novamente Forst faz um movimento de aproximação e crítica a Rawls (II). Em um terceiro momento, examina-se outra tentativa de aproximação e superação à obra de Rawls, mas dessa vezatravés da distinção entre duas imagens da justiça(III). Por fim, o artigo apresenta duas interpretações gerais sobe essas leituras: que existem certas constantes nos argumentos que unem e que pretendem superar Rawls; e que contém possíveis problemas,com consequências que ocasionam certos entraves para sua teoriaem sua pretensão de ser crítica. (shrink)

Orphan drug policy often gives ‘special treatment’ to rare diseases, by giving additional priority or making exceptions to specific drugs, based on the rarity of the conditions they aim to treat. This essay argues that the goal of orphan drug policy should be to make prevalence irrelevant to funding decisions. It aims to demonstrate that it is severity, not prevalence, which drives our judgments that important claims are being overlooked when treatments for severe rare diseases are not funded. It shows (...) that prioritising severity avoids problems caused by prioritising rarity, and that it is compatible with a range of normative frameworks. The implications of a severity-based view for drug development are then derived. The severity-based view also accounts for what is wrong with how the current system of drug development unfairly neglects common diseases that burden the developing world. Lastly, the implications of a severity-based view for current orphan drug policies are discussed. There are no data in this work. (shrink)

Lean is a new open source theorem prover being developed at Microsoft Research and Carnegie Mellon University, with a small trusted kernel based on dependent type theory. It aims to bridge the gap between interactive and automated theorem proving, by situating automated tools and methods in a framework that supports user interaction and the construction of fully specified axiomatic proofs. Lean is an ongoing and long-term effort, but it already provides many useful components, integrated development environments, and a rich API (...) which can be used to embed it into other systems. It is currently being used to formalize category theory, homotopy type theory, and abstract algebra. We describe the project goals, system architecture, and main features, and we discuss applications and continuing work. (shrink)

Formal verification involves the use of logical and computational methods to establish claims that are expressed in precise mathematical terms. These can include ordinary mathematical theorems, as well as claims that pieces of hardware or software, network protocols, and mechanical and hybrid systems meet their specifications. In practice, there is not a sharp distinction between verifying a piece of mathematics and verifying the correctness of a system: formal verification requires describing hardware and software systems in mathematical terms, at which point (...) establishing claims as to their correctness becomes a form of theorem proving. Conversely, the proof of a mathematical theorem may require a lengthy computation, in which case verifying the truth of the theorem requires verifying that the computation does what it is supposed to do. The gold standard for supporting a mathematical claim is to provide a proof, and twentieth-century developments in logic show most if not all conventional proof methods can be reduced to a small set of axioms and rules in any of a number of foundational systems. With this reduction, there are two ways that a computer can help establish a claim: it can help find a proof in the first place, and it can help verify that a purported proof is correct. Automated theorem proving focuses on the “finding” aspect. Resolution theorem provers, tableau theorem provers, fast satisfiability solvers, and so on provide means of establishing the validity of formulas in propositional and first-order logic. Other systems provide search procedures and decision procedures for specific languages and domains, such as linear or nonlinear expressions over the integers or the real numbers. Architectures like SMT combine domain-general search methods with domain-specific procedures. Computer algebra systems and specialized mathematical software packages provide means of carrying out mathematical computations, establishing mathematical bounds, or finding mathematical objects. A calculation can be viewed as a proof as well, and these systems, too, help establish mathematical claims. Automated reasoning systems strive for power and efficiency, often at the expense of guaranteed soundness. Such systems can have bugs, and it can be difficult to ensure that the results they deliver are correct. In contrast, interactive theorem proving focuses on the “verification” aspect of theorem proving, requiring that every claim is supported by a proof in a suitable axiomatic foundation. This sets a very high standard: every rule of inference and every step of a calculation has to be justified by appealing to prior definitions and theorems, all the way down to basic axioms and rules. In fact, most such systems provide fully elaborated “proof objects” that can be communicated to other systems and checked independently. Constructing such proofs typically requires much more input and interaction from users, but it allows us to obtain deeper and more complex proofs. The Lean Theorem Prover aims to bridge the gap between interactive and automated theorem proving, by situating automated tools and methods in a framework that supports user interaction and the construction of fully specified axiomatic proofs. The goal is to support both mathematical reasoning and reasoning about complex systems, and to verify claims in both domains. (shrink)