Appellate Court Modifications Extraction consists of, given an Appellate Court decision, identifying the proposed modifications by the upper Court of the lower Court judge’s decision. In this work, we propose a system to extract Appellate Court Modifications for Portuguese. Information extraction for legal texts has been previously addressed using different techniques and for several languages. Our proposal differs from previous work in two ways: our corpus is composed of Brazilian Appellate Court decisions, in which we look for a set of (...) modifications provided by the Court; and to automatically extract the modifications, we use a traditional Machine Learning approach and a Deep Learning approach, both as alternative solutions and as a combined solution. We tackle the Appellate Court Modifications Extraction task, experimenting with a wide variety of methods. In order to train and evaluate the system, we have built the KauaneJunior corpus, using public data disclosed by the Appellate State Court of Rio de Janeiro jurisprudence database. Our best method, which is a Bidirectional Long Short-Term Memory network combined with Conditional Random Fields, obtained an \ score of 94.79%. (shrink)

Neste trabalho apresentamos os resultados de uma pesquisa desenvolvida por uma aluna de graduação durante a realização de seu estágio docência. O objetivo da pesquisa foi investigar a relação entre trabalho e ensino de matemática em uma escola do campo na região sudeste do estado do Pará, na região norte do Brasil. A metodologia utilizada foi de inspiração etnográfica e os dados foram registrados no caderno de campo da pesquisadora. Também constitui material de análise as produções dos alunos e as (...) observações realizadas em sala de aula. Ao longo do texto apresentamos o contexto de realização da pesquisa, listando, de maneira breve, as principais características do curso de graduação no qual a pesquisadora está matriculada, bem como o contexto geográfico da comunidade onde está localizada a escola no qual a pesquisa foi realizada. Em seguida apresentamos nossa compreensão de duas noções centrais para nossa análise: conhecimento e trabalho. A primeira é tomada de um referencial teórico produzido no interior da Educação Matemática brasileira, conhecido como Modelo dos Campos Semânticos e a segunda é assumida em consonância com um referencial teórico marxista. Após o referencial teórico apresentamos a metodologia da pesquisa, destacando de modo geral as atividades que foram realizadas no estágio docência que se configurou como locus da produção dos dados da pesquisa. Nas análises, apresentamos as compreensões elaboradas pela pesquisadora a partir da articulação do referencial teórico com as atividades desenvolvidas durante o estágio. Colocamos em evidência que a compreensão de trabalho apresentada pelos alunos da escola investigada leva em consideração apenas o aspecto financeiro de algumas atividades realizadas por eles em seu dia a dia. Essa compreensão é colocada em contraste com a definição de trabalho apresentada pelos referenciais teóricos adotados. Por fim, tecemos algumas considerações sobre o uso de categorias tomadas da vida cotidiana nos processos de ensino e aprendizagem de Matemática. Apontamos que essa perspectiva teórica abre a possibilidade de uma ação didática que coloca em evidência a não centralidade da Matemática nos processos de produção de conhecimento, bem como viabiliza a utilização de outras categorias no processo de produção de conhecimento de modo não hierárquico em relação à ciência ocidental. (shrink)

A proposição deste trabalho é relatar uma vivência de reflexão filosófica, em específico na perspectiva de um olhar sobre o trabalho com textos, em particular nas séries iniciais do Ensino Fundamental, na escola campo Centro de Ensino Fundamental 06 de Sobradinho-DF.

Bottom of the Pyramid organizations are the ones that develop a set of capabilities that contribute to create short- and long-term sustainability values inside and outside the boundaries of BoP ecosystems. Capabilities have an important role in BoP organizations’ strategies that aim to solve BoP issues. Notwithstanding its developments, BoP research still lacks theoretical contributions for the analysis of organizations. We suggest special attention to the need of advancing knowledge on capabilities of BoP organizations because this field is scattered and (...) fragmented, misinterpreted, and still underdeveloped in the literature. We oriented our research formulating and seeking answers to our main question on what are the capabilities needed to enable organizations to create sustainability values in BoP ecosystems? We conducted an integrative review of BoP research for the period from 1998 to 2019, and we found 22 key capabilities of BoP organizations. We organized the capabilities into four major categories including BoP Responsible Consumption, BoP Responsible Business Model, BoP Responsible Management, and BoP Responsible Innovation. We advanced propositions and discussions regarding the capabilities and major categories’ popularity, interdependence and combination, short- and long-term temporal functions, sustainability roles, and effectiveness to address BoP issues. Our article organizes the field of capabilities of BoP organizations; advances contributions and implications for management, organizations, and policymaking; and opens fruitful avenues for future research. (shrink)

The development of educational technologies is enhancing a distinctive feature of learning environments: the learner’s personalized environment. However, the current literature in e-learning seems to neglect an important discussion: will individuals and organizations face an enhancement concerning ethical dilemmas due to this evolution? To promote this discussion, this paper builds on a consideration of e-learning definition and its ethical dilemmas, and human-centred learning concept and its dimensions, to examine the implications of integrating social and cultural contexts. By examining the evolution (...) of e-learning management systems the argument progresses to a discussion of the relationships between pedagogy and ethics. By framing evidence at different scales, the authors critically reflect on the ethical dilemmas embedded in e-learning systems. The discussion concludes with advocating the adoption of an extension of “three P” mode of pedagogy to become the “P3E” model: personalization, participation, productivity, lecturer’s ethics, learner’s ethics, and organizational ethics. (shrink)

Automated neuropsychiatric batteries have been used in research and clinical practice, including for chronic diseases, such as Systemic Lupus Erythematosus. The Pediatric Automated Neuropsychological Assessment Metrics battery, originally developed for use in American-English speaking individuals, allows tracking of cognitive functions. It can be applied to people over 9 years old. The aim of this study was to translate and present initial validation data from the Ped-ANAM into Brazilian-Portuguese. We translated the battery according to Beaton’s guidelines. Psychometric properties were tested, internal (...) consistency was analyzed by Cronbach’s alpha coefficient, test-retest reliability by the intraclass correlation coefficient. Further, we measured the test execution speed at both times as a temporal stability. Principal component analysis was used for structural validity. Evidence of construct validity was assessed through assessment of the relationships with the Wechsler Intelligence Scales. All participants prior to the start of study related activities signed an informed consent form approved by the local ethics committee. A sample of 230 individuals [mean of age: 23 years; 65% females] was included; a subset of 51 individuals [mean of age: 18 years, 59% female] completed the Ped-ANAM twice to assess test-retest reliability, and another subset of 54 individuals [mean of age: 20.4 years; 67% female] completed the Wechsler Intelligence Scales for Children and Adult for assessment of the Ped-ANAM’s construct validity. Our results suggest that the internal consistency of the Ped-ANAM and its subtest test-retest reliability were excellent. There was no clustering in the Principal Components Analysis, suggestive of non-grouping of the evaluated variables. Construct validity assessment to the Wechsler Scales showed expected ranges of low to strong correlations. We concluded that, based on the results of this study, a cross-culturally validated Brazilian-Portuguese version of the Ped-ANAM has been developed and it is a reliable tool for the screening cognitive function. (shrink)

The topic of divine providence is back on the theological agenda. Even a cursory review of the recent debates will reveal an increasing interest in this issue. A closer look at the literature of the last five or so decades indicates, however, that there is a considerable disagreement about the conceptualisation of providence and, consequently, how to approach the topic best. What does ‘providence’ in the theological context actually mean, and are there models available to help understand and appropriate the (...) thus conceived doctrine of providence? (shrink)

Esta análise objetiva entender se existe reconhecimento às conjugalidades/parentalidades LGBTQIA+ pelo conceito de família da Política Nacional de Assistência Social e se há subsídios satisfatórios para abonar proteção estatal as genealogias e/ou pessoas LGBTQIA+ por meio dos benefícios, serviços, planos, programas e projetos da Norma Operacional Básica de 2005. Com a análise documental da referida legislação, evidenciou-se que o conceito de família ainda não superou o modelo patriarcal, inserido no sistema capitalista de minimalismo das políticas públicas.

Nesse trabalho será analisado o tratamento teórico apresentado por Hannah Arendt sobre o tema da desobediência civil em sua obra Crises da República, traçando um paralelo com as práticas do Movimento dos Trabalhadores Rurais Sem-Terra no que tange à legitimidade dos seus atos de desobediência civil. Sob esse enfoque a luta pelo acesso a terra se apresenta como uma possibilidade de que seus integrantes integrem-se em comunidade fundando um espaço público e desenvolvendo sua capacidade de ação política, característica essencial da (...) vida humana. (shrink)

SummaryFrom 1996 to 2006, Nepal experienced a substantial fertility decline, with the total fertility rate dropping from 4.6 to 3.1 births per woman. This study examines the associations between progress towards universal primary and secondary schooling and fertility decline in rural Nepal. Several hypotheses regarding mechanisms through which education affects current fertility behaviour are tested, including: the school environment during women's childhood; current availability of schools; knowledge of educational costs; and women's own educational attainment. Data for the analysis come from (...) the 2003–04 Nepal Living Standards Survey, a nationally representative random sample of households, which includes detailed data on fertility, household expenditure, educational attainment, demographic characteristics and the use of social services. Census and administrative data are also used to construct district-level gross enrolment ratios for primary and secondary schools during the women's childhood. Discrete dependent variable modelling techniques are used to estimate the effects of the following variables on the probability of women giving birth in a given year: district-level gross enrolment ratios for primary and secondary schools during women's childhood; having had a child previously in school; women's own educational level; current school availability; and other covariates. Separate models are estimated for the overall sample of rural women of reproductive age, and for parity-specific sub-samples. The results suggest that district-level gross enrolment ratios for secondary schools and, in some instances, having had a previous child enrolled in school are significant determinants of fertility in rural areas. These results are highly independent of women's own educational levels. Overall, the results suggest that, in the rural Nepal context, mass schooling influences the fertility transition through both community- and household-level pathways. (shrink)

IntroductionElements mark the reality of reading the female body in symbolic constructions and social symbols in the exercise of their reproductive health. The study aims to identify elements that characterize the female condition while analyzing the reproductive health of Brazilian and French women.Materials and MethodsA qualitative, multicenter, international study was conducted in Brazil and in France between 2016 and 2019. Data were produced through the use of semi-structured scripts. Focus group discussions and individual interviews were conducted with women who gave (...) birth, hetero-female couples who lived the experience of gestation and birth of a baby, and professionals of maternal and childcare services or members of the associations concerned with the health of mothers and babies. It was guided by the theoretical-methodological framework of institutional analysis in line with the French Institutional Socioclinics.ResultsSexual and reproductive health in the realities researched in Brazil and France are sometimes close and sometimes far apart. In what involves the Brazilian health system, abortion is criminalized and often performed illegally. Furthermore, pregnancy, childbirth, and the postpartum period are highly medicalized. In addition, childbirth is not assured as an experience for a woman and her family. This aspect is confirmed by high numbers of cesarean sections performed or by maternal and infant mortality indicators. The French health system prioritizes vaginal deliveries and seems to assure more autonomy to women, but at the same time, it is worn out by the logic of profit, the efficiency of actions, and the rationalization of practices. In association with these, there are other intrinsic elements in the functioning of the institution that delineates the format of each country: notion of women's rights, violence against women, and discussion regarding the oppression markers of race, gender, sexuality, and social class.ConclusionsBoth countries reveal aspects related to the social role of women's bodies. The established logic reflects in the decision to have children, motherhood, women's autonomy over their own bodies, and in the core values linked to the termination of pregnancy and the professional practices developed in prenatal care, childbirth, and postpartum. (shrink)

Philosophy Compass, Volume 17, Issue 4, April 2022.

An argument is epistemically self-defeating when either the truth of an argument’s conclusion or belief in an argument’s conclusion defeats one’s justification to believe at least one of that argument’s premises. Some extant defenses of the evidentiary value of intuition have invoked considerations of epistemic self-defeat in their defense. I argue that there is one kind of argument against intuition, an unreliability argument, which, even if epistemically self-defeating, can still imply that we are not justified in thinking intuition has evidentiary (...) value. (shrink)

Simone Weil (1909-1943) was a defining figure of the twentieth century; a philosopher, Christian, resistance fighter, anarchist, feminist, labor activist and teacher. She was described by T. S. Eliot as "a woman of genius, of a kind of genius akin to that of the saints," and by Albert Camus as "the only great spirit of our time." Originally published posthumously in two volumes, these newly reissued notebooks, are among the very few unedited personal writings of Weil's that still survive (...) today. Containing her thoughts on art, love, science, God and the meaning of life, they give context and meaning to Weil's famous works, revealing a unique philosophy in development and offering a rare private glimpse of her singular personality. (shrink)

Particle indistinguishability has always been considered a purely quantum mechanical concept. In parallel, indistinguishable particles have been thought to be entities that are not properly speaking objects at all. I argue, to the contrary, that the concept can equally be applied to classical particles, and that in either case particles may (with certain exceptions) be counted as objects even though they are indistinguishable. The exceptions are elementary bosons (for example photons).

The relationship of part to whole is one of the most fundamental there is; this is the first and only full-length study of this concept. This book shows that mereology, the formal theory of part and whole, is essential to ontology. Peter Simons surveys and criticizes previous theories, especially the standard extensional view, and proposes a more adequate account which encompasses both temporal and modal considerations in detail. 'Parts could easily be the standard book on mereology for the next twenty (...) or thirty years.' Timothy Williamson, Grazer Philosophische Studien. (shrink)

I explain why, from the perspective of knowledge-centric anti-luck epistemology, objective act consequentialist theories of ethics imply skepticism about the moral status of our prospective actions and also tend to be self-defeating, undermining the justification of consequentialist theories themselves. For according to knowledge-centric anti-luck epistemology there are modal anti-luck demands on both knowledge and justification, and it turns out that our beliefs about the moral status of our prospective actions are almost never able to satisfy these demands if objective act (...) consequentialism is true. This kind of applied moral skepticism introduces problematic limits on our ability to use objective act consequentialism’s explanatory power as evidence for its truth. This is, in part, a product of higher-order defeat as I explain in the final section. There is, however, a silver lining for objective act consequentialists. For there is at least one type of objective act consequentialism, prior existence consequentialism, that is poised to avoid at least some of the epistemic problems discussed in this paper. (shrink)

The distinction between propositional and doxastic justification has been of undisputed theoretical importance in a wide range of contemporary epistemological debates. Yet there are a host of intimately related issues that have rarely been discussed in connection with this distinction. For instance, the distinction not only applies to an individual’s beliefs, but also to group beliefs and to various other attitudes that both groups and individuals can take: credence, commitment, suspension, faith, and hope. Moreover, discussions of propositional and doxastic justification (...) have rarely focused on broader meta-epistemological issues, and yet meta-epistemological positions can have important implications for first-order views about this distinction. This volume addresses these and other issues by bringing together 16 essays that advance the state-of-the-art thinking on propositional and doxastic justification and explore how such thinking shapes and is shaped by a range of issues previously neglected in contemporary epistemology. (shrink)

We demonstrate that the quantum-mechanical description of composite physical systems of an arbitrary number of similar fermions in all their admissible states, mixed or pure, for all finite-dimensional Hilbert spaces, is not in conflict with Leibniz's Principle of the Identity of Indiscernibles (PII). We discern the fermions by means of physically meaningful, permutation-invariant categorical relations, i.e. relations independent of the quantum-mechanical probabilities. If, indeed, probabilistic relations are permitted as well, we argue that similar bosons can also be discerned in all (...) their admissible states; but their categorical discernibility turns out to be a state-dependent matter. In all demonstrated cases of discernibility, the fermions and the bosons are discerned (i) with only minimal assumptions on the interpretation of quantum mechanics; (ii) without appealing to metaphysical notions, such as Scotusian haecceitas, Lockean substrata, Postian transcendental individuality or Adamsian primitive thisness; and (iii) without revising the general framework of classical elementary predicate logic and standard set theory, thus without revising standard mathematics. This confutes: (a) the currently dominant view that, provided (i) and (ii), the quantum-mechanical description of such composite physical systems always conflicts with PII; and (b) that if PII can be saved at all, the only way to do it is by adopting one or other of the thick metaphysical notions mentioned above. Among the most general and influential arguments for the currently dominant view are those due to Schrodinger, Margenau, Cortes, Dalla Chiara, Di Francia, Redhead, French, Teller, Butterfield, Giuntini, Mittelstaedt, Castellani, Krause and Huggett. We review them succinctly and critically as well as related arguments by van Fraassen and Massimi. (shrink)

Gravity and Grace was the first ever publication by the remarkable thinker and activist, Simone Weil. In it Gustave Thibon, the priest to whom she had entrusted her notebooks before her untimely death, compiled in one remarkable volume a compendium of her writings that have become a source of spiritual guidance and wisdom for countless individuals.

I show that frequentism, as an explanation of probability in classical statistical mechanics, can be extended in a natural way to a decoherent quantum history space, the analogue of a classical phase space. The result is a form of finite frequentism, in which Gibbs’ concept of an infinite ensemble of gases is replaced by the quantum state expressed as a superposition of a finite number of decohering microstates. It is a form of finite and actual frequentism (as opposed to hypothetical (...) frequentism) insofar as all the microstates exist, in keeping with the decoherence-based Everett interpretation, and some versions of pilot-wave theory. (shrink)

The central claim of this article is that post-truth requires a political and socio-economical perspective, rather than a moral or epistemological one. The article consists of two parts. The first part offers a critical examination of the dominant analyses of post-truth in terms of shifting standards of the origin and the evaluation of facts. Moreover, the claim that postmodernism is the cause of post-truth is examined and refuted. In the second part an alternative perspective is developed, centring around the notion (...) of gatekeepers. Rather than linking post-truth to bullshit and postmodernism, it should be understood as a symptom of a contemporary shift in the gatekeepers of truth and knowledge. Knowledge and truth are always mediated in society through the hands of gatekeeping institutions such as journalism or science. Post-truth is a symptom of a broader transformation of the gatekeeping institutions of our current society. It therefore requires a political philosophy of these institutional shifts and the new risks they involve. (shrink)

This article aims to offer a fresh analysis of two passages in the extensive necromancy episode in Lucan's Bellum Ciuile: the ritual to reanimate the dead soldier's corpse (6.667–73), and the surgical procedure Erichtho then proceeds to undertake (6.750–7), resembling the practice of a vivisection. The study will focus mostly on the strong connection of magic to medical traditions in antiquity, with a commentary on, and analysis of, these verses through the lenses of medical vocabulary, themes and motifs. It ultimately (...) concludes that Lucan was familiar with the language and characteristics of the medical tradition, enriched his report with them, and was playing with his audience's knowledge of the same. (shrink)

Into wrestling with that question, Simone Weil put the very substance of her mind and temperament.

Knowledge-First Theories of Justification Knowledge-first theories of justification are theories of justification that give knowledge priority when it comes to explaining when and why someone has justification for an attitude or an action. The emphasis of this article is on knowledge-first theories of justification for belief. As it turns out, there are a number of … Continue reading Knowledge-First Theories of Justification →.

"What is required if men and women are to feel at home in society and are to recover their vitality? Into wrestling with that question, Simone Weil put the very substance of her mind and temperament. The apparently solid edifices of our prepossessions fall down before her onslaught like ninepins, and she is as fertile and forthright in her positive suggestions . . . she can be relied upon to toss aside the superficial and to come to grips with (...) the essential and the profound." -- Time Literary Supplement. (shrink)

This article has two tasks: to investigate the notions of space, time and causality in Schopenhauer’s theory of knowledge and, subsequently, to carry out a comparative study of the results obtained with the epistemological considerations between the first and second phase of Nietzsche’s thought. It is understood that conclusions concerning the world as representation had an echo in the first digressions of the author of The Birth of Tragedy on the conceptions of space, time and causality. However, the departures begin (...) to be perceived still in the first years of the 1870s. It is chosen to call the reflections on knowledge until On Truth and Lie in an Extra-Moral Sense, considering, besides the unsystematicity of the Nietzschean approaches, the maturation of the epistemological investigations in Human, All Too Human. It is discussed how the naturalistic aspects of the second phase of Nietzsche’s intellectual activity find implications in his conceptions of space, time and, above all, causality. It is emphasized, however, that it is not the intention of this work to argue that Nietzsche’s epistemology is originally derived from Schopenhauer or that it depends exclusively on the notions studied here. (shrink)

This is a very short introduction to ethics. It divides into three parts: first, introducing and discussing reasons for skepticism about ethics; second introducing themes of birth, death, happiness, desire and freedom to show how deeply our lives are interwoven with ethics; third, introducing attempts to found ethics, due to Aristotle, Kant, and the contractarian tradition.

One Stoic response to the skeptical indistinguishability argument is that it fails to account for expertise: the Stoics allow that while two similar objects create indistinguishable appearances in the amateur, this is not true of the expert, whose appearances succeed in discriminating the pair. This paper re-examines the motivations for this Stoic response, and argues that it reveals the Stoic claim that, in generating a kataleptic appearance, the perceiver’s mind is active, insofar as it applies concepts matching the perceptual stimulus. (...) I argue that this claim is reflected in the Stoic definition of the kataleptic appearance, and that it respects their more general account of mental representation. I further suggest that, in attributing some activity to the mind in creating each kataleptic appearance, and in claiming that the expert’s mind allows her to form more kataleptic appearances than the amateur, the Stoics draw inspiration from the wax tablet model in Plato’s Theaetetus (190e–196d), where Socrates distinguishes the wise from the ignorant on the basis of how well they match sensory input with its appropriate mental ‘seal’ (σφραγίς). (shrink)

This is a book about the religious life of the Greeks from the eighth century BC to the fifth century AD, looked at in the context of a variety of different cities and periods. Simon Price does not describe some abstract and self-contained system of religion or myths but examines local practices and ideas in the light of general Greek ideas, relating them for example, to gender roles and to cultural and political life (including Attic tragedy and the trial of (...) Socrates). He also lays emphasis on the reactions to Greek religions of ancient thinkers - Greek, Roman, Jewish and Christian. The evidence drawn on is of all kinds: literary texts, which are translated throughout; inscriptions, including an appendix of newly translated Greek inscriptions; and archaeology, which is highlighted in the numerous illustrations. (shrink)

When a belief is self-fulfilling, having it guarantees its truth. When a belief is self-defeating, having it guarantees its falsity. These are the cases of “self-impacting” beliefs to be examined below. Scenarios of self-defeating beliefs can yield apparently dilemmatic situations in which we seem to lack sufficient reason to have any belief whatsoever. Scenarios of self-fulfilling beliefs can yield apparently dilemmatic situations in which we seem to lack reason to have any one belief over another. Both scenarios have been used (...) independently to challenge Evidentialism, on which what we may rationally believe is all and only what fits our current evidence. Here we tie the two scenarios together and explore what a knowledge-sensitive evidentialist approach to one implies for the other. (shrink)

In this article I argue that characterizations of anger as a hostile emotion may be mistaken. My project is empirically informed and is partly descriptive, partly diagnostic. It is descriptive in that I am concerned with what anger is, and how it tends to manifest, rather than with what anger should be or how moral anger is manifested. The orthodox view on anger takes it to be, descriptively, an emotion that aims for retribution. This view fits well with anger being (...) a hostile emotion, as retribution is punitive. I will argue that a different view of anger deserves our attention. On this alternative view, anger aims for recognition of harms done, rather than for the punishment of those who have committed them. I argue that we have reason to favour a strong view that excludes retribution from anger’s main aims. In addition, I offer a diagnosis of the reasons that led the retributive view of anger to become, and remain, orthodoxy. This diagnosis provides indirect reason to give my descriptive proposal serious consideration, for it highlights that the orthodox view has dominated folk and philosophical conceptions of anger for reasons that do not speak in favour of the view’s veracity. The view that anger is a hostile emotion will therefore emerge as in need of serious scrutiny. (shrink)

[Significantly updated in Chapter 6 of Awareness and the Substructure of Knowledge] In order for a reason to justify an action or attitude it must be one that is possessed by an agent. Knowledge-centric views of possession ground our possession of reasons, at least partially, either in our knowledge of them or in our being in a position to know them. On virtually all accounts, knowing P is some kind of non-accidental true belief that P. This entails that knowing P (...) is a kind of non-accidental true representation that P. I outline a novel theory of the epistemic requirement on possession in terms of this more general state of non-accidental true representation. It is just as well placed to explain the motivations behind knowledge-centric views of possession, and it is also better placed to explain the extent of the reasons we possess in certain cases of deductive belief-updates and cases involving environmental luck. I conclude with three reflections. First, I indicate how my arguments generate a dilemma for Errol Lord’s view that possessing reasons is just a matter of being in a position to manifest one’s knowledge how to use them. Second, I explain how my view can simultaneously manage cases of environmental luck without falling prey to lottery cases. Finally, I sketch the direction for a further range of counterexamples to knowledge-centric theories of possession. (shrink)

In his book Chateaubriand points out some differences between the mathematical and the formal notions of proof. I argue here that the contrast between both cannot be exaggerated, and that the latter fails to represent essential aspects of the former. I also sketch a view of the nature of mathematics that can accommodate one particular feature of mathematical proofs the formal notion, by its very nature, cannot: their freedom.Em seu livro, Chateaubriand aponta algumas diferenças entre a noção formal e a (...) noção matemática de demonstração. Eu argumento que o contraste entre ambas não pode ser maior, e que aquela é incapaz de capturar alguns aspectos essenciais desta. Eu apresento também um esboço de uma teoria sobre a natureza da matemática capaz de acomodar um aspecto particular das demonstrações matemáticas que a noção formal, pela sua própria natureza, não pode: a liberdade que por direto cabe àquelas. (shrink)

Philosophy Compass, Volume 17, Issue 6, June 2022.