In this note, we review paradoxes like Russell’s, the Liar, and Curry’s in the context of intuitionistic logic. One may observe that one cannot blame the underlying logic for the paradoxes, but has to take into account the particular concept formations. For proof-theoretic semantics, however, this comes with the challenge to block some forms of direct axiomatizations of the Liar. A proper answer to this challenge might be given by Schroeder-Heister’s definitional freedom.

Diagonalization is a transversal theme in Logic. In this work, it is shown that there exists a common origin of several diagonalization phenomena — paradoxes and Löb's Theorem. That common origin comprises a common reasoning and a common logical structure. We analyse the common structure from a philosophical point-of-view and we draw some conclusions.

We study the decidability of k-provability in \—the relation ‘being provable in \ with at most k steps’—and the decidability of the proof-skeleton problem—the problem of deciding if a given formula has a proof that has a given skeleton. The decidability of k-provability for the usual Hilbert-style formalisation of \ is still an open problem, but it is known that the proof-skeleton problem is undecidable for that theory. Using new methods, we present a characterisation of some numbers k for which (...) k-provability is decidable, and we present a characterisation of some proof-skeletons for which one can decide whether a formula has a proof whose skeleton is the considered one. These characterisations are natural and parameterised by unification algorithms. (shrink)

Kreisel’s conjecture is the statement: if, for all$n\in \mathbb {N}$,$\mathop {\text {PA}} \nolimits \vdash _{k \text { steps}} \varphi (\overline {n})$, then$\mathop {\text {PA}} \nolimits \vdash \forall x.\varphi (x)$. For a theory of arithmeticT, given a recursive functionh,$T \vdash _{\leq h} \varphi $holds if there is a proof of$\varphi $inTwhose code is at most$h(\#\varphi )$. This notion depends on the underlying coding.${P}^h_T(x)$is a predicate for$\vdash _{\leq h}$inT. It is shown that there exist a sentence$\varphi $and a total recursive functionhsuch that$T\vdash (...) _{\leq h}\mathop {\text {Pr}} \nolimits _T(\ulcorner \mathop {\text {Pr}} \nolimits _T(\ulcorner \varphi \urcorner )\rightarrow \varphi \urcorner )$, but, where$\mathop {\text {Pr}} \nolimits _T$stands for the standard provability predicate inT. This statement is related to a conjecture by Montagna. Also variants and weakenings of Kreisel’s conjecture are studied. By the use of reflexion principles, one can obtain a theory$T^h_\Gamma $that extendsTsuch that a version of Kreisel’s conjecture holds: given a recursive functionhand$\varphi (x)$a$\Gamma $-formula (where$\Gamma $is an arbitrarily fixed class of formulas) such that, for all$n\in \mathbb {N}$,$T\vdash _{\leq h} \varphi (\overline {n})$, then$T^h_\Gamma \vdash \forall x.\varphi (x)$. Derivability conditions are studied for a theory to satisfy the following implication: if, then$T\vdash \forall x.\varphi (x)$. This corresponds to an arithmetization of Kreisel’s conjecture. It is shown that, for certain theories, there exists a functionhsuch that$\vdash _{k \text { steps}}\ \subseteq\ \vdash _{\leq h}$. (shrink)

The COVID-19 outbreak required diverse strategies, such as social distancing and self-isolation, to avoid a healthcare system crisis. However, these measures have been associated with the onset or increase of anxiety and depression symptoms in the population. Music listening was previously shown to regulate emotion, consequently reducing depression symptoms. Since previous studies with Brazilian samples have already shown a high prevalence of depressive symptoms during the first confinement period, the aim of this study was threefold: (i) to compare groups with (...) severe depression symptoms and no depression in what concerns to demographic and socio-economic factors as well as symptoms of anxiety and resilience levels, (ii) to explore changes in music listening daily routine during the confinement measures by both groups (no depression and severe depression), and (iii) to investigate which were the main factors influencing both two groups to music listening during the COVID-19 pandemic. This cross-sectional study included 494 Brazilian respondents aged 18 years and above. Our online survey comprised demographics, socio-economic, and COVID-19 related questionnaires, with questions regarding music listening used during social distancing measures on which the participants rated how much each of the 41 potential reasons for listening to music changed in importance compared to the situation before the pandemic and also the evaluation of anxiety, depression, and resilience levels. The respondents with severe depression were younger and showed higher levels of anxiety symptoms and lower resilience level. Furthermore, they were increasingly likely to listen to music to feel emotionally better with the situation, to feel comfort, to forget problems, to be energetic, to decrease sad feelings, to relax, to cheer up, to forget concerns, to express feelings, to reduce anxiety, to remember better times, to relieve boredom, to mentally stimulate themselves, and to ward off stressful thoughts compared to the participants with no depression. The exploratory factor analysis (FA) identified four types of music listening functions during social distancing measures: negative mood management, cognitive functioning, positive mood management, and physical involvement, in which the participants with severe depression revealed significant differences compared to non-depressed participants for the negative mood management factor, which shows the importance of music listening to regulate their negative emotions. As a conclusion, we can argue that most of our respondents used music listening to cope with and regulate their moods during confinement, especially those who presented with severe depression symptoms. (shrink)

Como entender o “idealismo alemão”? Propõe-se aqui, a partir do choque entrealgumas posições sobre a filosofia kantiana (sobretudo em Schopenhauer e em Schelling),antes do que uma resposta, articular alguns problemas em torno do “idealismo alemão”,procurando pensar, assim, tanto a ambigüidade deste recorte como operador heurísticoquanto a abertura possível para um campo de questões sobre a atividade filosófica e o seu(não) fundamento.

Je me propose d'examiner les paragraphes 18 et 19 de la deuxième partie des Prolégomènes. Bien que ces deux paragraphes ne constituent pas l'intégralité de la déduction transcendantale des Prolégomènes, ils ont une fonction essentielle dans la mesure où ils exposent l’argument entier in nuce. Ces deux sections établissent de façon claire que la doctrine de l'idéalisme critique, présentée dans la première partie des Prolégomènes comme un idéalisme qui ne supprime pas « l'existence de la chose qui apparaît », joue (...) un rôle indispensable dans la déduction transcendantale, qui est présentée dans la deuxième partie à partir de la distinction entre jugement de perception et jugement d'expérience. (shrink)

Como entender o “idealismo alemão”? Propõe-se aqui, a partir do choque entrealgumas posições sobre a filosofia kantiana (sobretudo em Schopenhauer e em Schelling),antes do que uma resposta, articular alguns problemas em torno do “idealismo alemão”,procurando pensar, assim, tanto a ambigüidade deste recorte como operador heurísticoquanto a abertura possível para um campo de questões sobre a atividade filosófica e o seu(não) fundamento.

A filosofia crítica apoia-se na noção de representação, de ponta a ponta, como fundamento de sua investigação. Essa noção, contudo, acaba por tornar-se um problema na Dedução Transcendental da Crítica da razão pura, ponto de partida de pelo menos duas tradições distintas de apropriação da filosofia kantiana: a epistemologia e o idealism absoluto. Para compreender os momentos estruturais do problema representação, tal como se apresenta na Dedução Transcendental, recuamos para duas etapas da trajetória kantiana, de algum modo pressupostas pela primeira (...) Crítica: a Reflexão 1676 e a carta de Kant a Herz, de 21 fevereiro de 1772. A determinação da estrutura geral do problema permitirá, por fim, aferir os compromissos teóricos que assumem cada uma das duas tradições de leituras da Dedução Transcendental. (shrink)

O presente trabalho tem como tema a influência das mudanças climáticas nos conflitos do Sudão, em especial em Darfur. Desde a conquista da independência, em 1956, o Sudão teve de lidar com disputas tanto na região Sul (que culminou com a separação do Sudão do Sul, em 2011), quanto em Darfur, resultando em um conflito aberto em 2003. Nos últimos dois decênios, as mudanças climáticas passaram a ser consideradas crescentemente como potenciais fatores de exacerbação dessas tensões locais. Diante disso, busca-se (...) responder à seguinte questão: quais são as implicações das mudanças climáticas para o panorama securitário do Sudão, particularmente em Darfur? Em termos teóricos, o artigo adota a perspectiva crítica de segurança, com a finalidade de compreender o caráter multidimensional das fontes não tradicionais de ameaça à segurança do país, como a ameaça climática. Em termos metodológicos, fez-se uso de uma abordagem qualitativa e hermenêutica, com a análise de relatórios de órgãos da ONU, de documentos do governo sudanês e de outras obras. Embora os fenômenos climáticos tenham contribuído para a exacerbação da instabilidade no Sudão e das disputas em Darfur, conclui-se que sua influência ocorreu de forma indireta, em conjugação com outras dimensões sociais, econômicas e políticas. Entende-se, porém, que a inclusão dos aspectos climáticos seria uma ferramenta importante para se reduzir a instabilidade local. (shrink)

A Educação Continuada de professores é reconhecida como indispensável e fundamental para a qualificação dos processos de ensino e aprendizagem. Para tanto, neste estudo, levaremos em consideração alguns aspectos dessa temática. Em primeiro lugar, precisamos ter conhecimento das diretrizes que tratam da Educação Continuada de professores, ou seja, compreender de onde viemos e qual é a proposta das legislações nacional e internacional. Em segundo lugar, explanaremos e discutiremos conceitos teóricos que tratam da temática, em especial a visão de Gert Biesta, (...) o importante filósofo da educação. Finalmente, com base nos dois itens citados, entrelaçaremos considerações e indagações para uma Educação Continuada que possa fazer diferença no cotidiano dos professores. Portanto, o principal foco desta pesquisa é analisar, criticamente, essa educação dos professores, à luz das concepções propostas por Gert Biesta. Palavras-chave: Educação Continuada. Professores. Diálogo. Gert Biesta. (shrink)

Com este trabalho, buscamos refletir e problematizar, numa perspectiva bakhtiniana, e tendo como foco um estudo de caso, como se dá o letramento em língua inglesa, a partir da análise de textos escritos por meio de diários crítico-reflexivos dialogados entre o professor e um licenciando de primeiro período de um Curso de Letras. O diário crítico-reflexivo dialogado é concebido como uma forma de interação verbal entre o professor formador e o professor em-formação, elaborado por este ao final de cada aula. (...) O conteúdo deste diário se refere a uma descrição interpretativa em que o professor em-formação vai descrever, interpretar e relacionar como está vivendo o processo de interação verbal em seus estudos em língua inglesa. Nesse sentido, abordamos noções da arquitetura bakhtiniana, as quais hipotetizamos serem fundadoras desta prática pedagógica em estudo, discutimos analiticamente como o diário crítico-reflexivo, como prática de letramento, pode incidir na formação do (futuro) professor de língua inglesa e, finalmente, relacionamos o referencial teórico bakhtiniano com esta prática dialógica de linguagem traduzida em aspectos metodológicos da/na formação do professor de línguas na universidade. (shrink)

O desenvolvimento tecnológico promoveu o aumento de produção e compartilhamento de conteúdo em plataformas digitais, sendo difícil gerenciar o acesso adequado a informações. O presente artigo tem como objetivo discutir os efeitos do direito ao esquecimento no ambiente digital, considerando o processo de desindexação como estratégia para operacionalizar a efetividade desse direito. Tomando como referências arcabouços teóricos-conceituais acerca da complexidade compósita da informação e de antinomias entre a dignidade da pessoa humana e a liberdade de expressão e o direito à (...) informação, oriundos, respectivamente, da Ciência da Informação e do Direito, analisam-se e discutem-se algumas decisões jurisprudenciais e posicionamentos doutrinários no cenário brasileiro. O direito ao esquecimento está cercado de ambivalências e desafios de ordens normativa, tecnológica e cultural, num compartilhamento de informações em níveis sem precedentes que interferem negativamente na sua efetivação no ambiente digital. (shrink)

Este artigo visa apresentar o estudo das relações de identidade no Cristianismo Antigo a partir da recepção de Elementos do Helenismo Religioso. Estas confluências, advindas anteriormente das relações com o Judaísmo da Diáspora, no Egito Ptolomaico (LXX – séc. IV a.C), são consolidadas com a formação geopolítica e religiosa da Expansão do Cristianismo na Ásia Menor, durante o IIo século. Através da exposição de ‘The Religious Context of Early Christianity’ (KLAUS, 2000) abordaremos as vicissitudes da Religião Helênica em mutação entre (...) a Filosofia da Felicidade e o Retorno do Divino Absoluto no Gnosticismo. Em diálogo com um tradicional estudo sobre a ‘atmosfera’ antiga nas relações entre a Gnose antiga, o Judaísmo e o Cristianismo (MINNERATH, 1973) serão traçadas as vias expostas pela obra de Klauck. No dizer do autor, trata-se de empreender um percurso que nos permita descortinar o ‘inteiro horizonte’ (KLAUS, 2000. p. 6) do Gnosticismo. (shrink)

Portugal ranks fourth among countries with the highest rate of overweight population, considering that 67.6% of the Portuguese population over the age of 15 is overweight or obese. To our knowledge, limited studies have investigated students’ attitudes toward physical education in Portugal. Such research is necessary because it can provide valuable insights for policy and application in the curriculum development for physical education, which may eventually increase participation in physical and sports activities. This study analyzed students’ attitudes toward physical education (...) (PE) according to sociodemographic variables, including grade level, socioeconomic status, and gender, and their participation in extracurricular sports activities and respective PE grades. The sample comprised 476 high school students (from the 7th, 8th, and 9th-grade levels) from five public schools located in Portugal. The Students’ Attitudes toward Physical Education Questionnaire was adapted and validated for use with Portuguese students as a two-factor model. Findings show that students generally have a moderately positive attitude toward PE. However, students’ positive attitudes tend to decrease throughout high school, which is particularly significant in the 9th grade. Furthermore, students’ attitudes are influenced by gender, extracurricular sports practice, and grades. These findings may help stakeholders reflect on how to frame PE in a more meaningful way to create a solid foundation for maintaining an active lifestyle throughout life. Implications for further research and practice are discussed. (shrink)

The rapidly increasing number of cases of Zika virus and limited understanding of its congenital sequelae (e.g., microcephaly) led to stories of fear and uncertainty across social media and other mass communication networks. In this study, we used techniques generic to netnography, a form of ethnography, using Internet‐based computer‐mediated communications as a source of data to understand the experience and perceptions of families with infants diagnosed with Zika‐related microcephaly. We screened 27 YouTube™ videos published online between October 2015 and July (...) 2016, during which the Zika epidemic started, peaked, and declined. We identified three themes: (a) experiencing the news of a diagnosis of Zika‐associated microcephaly; (b) experiencing feelings and expectations of the ‘imperfect’ child; and (c) seeking to understand microcephaly to care for the child. We found that families experienced distressing feelings of shock, sadness, hopelessness, and pain, while dealing with emerging and sometimes conflicting information being transmitted by news outlets, uncertainty about the child's health, and healthcare providers’ lack of clarity to guide the family members. The ‘unknown’ factor of ZIKA was an additional stressful factor in the experience of the families. (shrink)

O presente trabalho reflete sobre a significativa e desigual morte de jovens negros no País. Para tanto, a produção traz uma discussão sobre o teórico martinicano Frantz Fanon que, com suas ideias sobre racismo e colonialismo, nos ajuda a reconhecer o racismo brasileiro e a condição em que vivem os jovens negros do Brasil. Apesar de Fanon afirmar que suas considerações se referem apenas ao momento histórico em que escreve e aos estudos de colonialismo, acreditamos ser fácil fazer um paralelo (...) entre sua obra e o momento histórico brasileiro quanto à morte de jovens negros. Analisamos as três formas de violência trazidas pelo teórico: psicológica, estrutural, e física, dentro das quais vivem e morrem tais jovens. Buscamos, ainda, refletir sobre a construção das identidades e juventudes negras para compreender, onde e de que forma, estão inseridas na sociedade brasileira. Para tanto, acreditamos ser necessário analisar de que modo se dá o racismo brasileiro e conhecer o que denominamos de falso mito da igualdade racial, contra o qual lutamos constantemente, em busca de reconhecimento do problema, para que possamos buscar soluções. O trabalho aborda a Lei n. 10.639/2003 que versa sobre a obrigatoriedade de se trabalhar na escola a cultura africana e afro-brasileira. Consideramos a lei uma importante política pública na promoção de igualdade racial, através da valorização da cultura vinda do continente africano. Acreditamos que a implementação efetiva dessa lei apoia a construção de identidades negro-positivas tanto para negros quanto para não negros e que essa valorização das identidades serve como importante ferramenta na luta contra a significativa morte de jovens negros no País. (shrink)

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)

Physiological responses in futsal have not been studied together with temporal information about the players’ stay on the court. The aim of this study was to compare heart rate and blood lactate concentration responses between 1-H and 2-H considering the time of permanency of the players on the court at each substitution in a futsal match. HR was recorded during entire match and [La−] was analyzed after each substitution of seven players. %HRmean and [La−] mean did not differ between 1-H (...) and 2-H. Time in intensity zones of 50–100 %HRmax differed only in 60–70 %HRmax. HR coefficient of variation throughout the match was low and among the four outfield players on the court. Substitutions, time of permanence on the court, ratio between time in- and out-ratio on the court also were similar between 1-H and 2-H. Balancing the number of substitutions, and the In:Outcourt ratio of players in both halves of the match, playing lower time at 1-H, ~8 min for each participation in the match, made it possible to maintain intensity of the match in 2-H similar to the 1H. These results are a good guidance to coaches and for application in future studies. (shrink)

Neste artigo aponta-se para uma importante contribuição que o Pacto Nacional pelo Fortalecimento do Ensino Médio introduz no campo da educação, quer dizer, a possibilidade de constituição do professor-improvisador, tão defendido por Ilan Gur-Ze’ev. Como resultado desta pesquisa empírica com análise qualitativa de dados mostra-se que, sem o apoio de tais ações, a oportunidade de os indivíduos expandirem suas capacidades críticas é reduzida, comprometendo o potencial para o surgimento e/ou revelação desse professor improvisador, crítico e encorajador da crítica. Ainda: busca-se (...) destacar a importância desse tipo de ação no que concerne à valorização e à melhoria da escola pública. Palavras-chave: Formação de professores. Educação Continuada. Ilan Gur-Ze’ev. (shrink)

Neste trabalho apresentamos uma experiência de estágio realizada em uma escola indígena Kyikatêjê, na região norte do Brasil e analisamos aspectos dessa experiência a partir dos conceitos de autoridade e espaço comunicativo transcultural. Para tanto, descrevemos de modo breve o contexto no qual a pesquisa de estágio ocorreu, destacando os objetivos do estágio, o período de realização e os professores envolvidos. Nesse relato, situamos o ponto de interesse que motivou a escrita do presente trabalho. Indicado nosso objeto de estudos, apresentamos (...) duas seções teóricas que caracterizam a perspectiva com a qual trabalhamos. Na primeira, expomos o conceito de autoridade, entendida a partir do Modelo dos Campos Semânticos. Apresentamos como esse conceito está relacionado à justificação utilizada na produção de conhecimento. Ao fazer isso, afirmamos que nosso interesse se dirige aos aspectos epistemológicos da experiência realizada. Na sessão seguinte, apresentamos o conceito de espaço comunicativo transcultural, como sendo aquelas situações de interação onde duas ou mais culturas se encontram e que a alteridade do espaço constituído nesse encontro, possibilita o compartilhamento de legitimidades entre elas. Após apresentar os conceitos teóricos é apresentada a experiência de estágio de modo a colocar em evidência a relação entre o estagiário, os professores e os alunos e não os conteúdos trabalhos. Na última seção essa experiência de estágio é analisada à luz dos conceitos apresentados. Apontamos na conclusão que o comportamento dos alunos advém de legitimidades constituídas na cultura da qual fazem parte, mas esse comportamento não indica necessariamente uma abertura para o processo de aprendizagem. Apontamos, também, que a criação de um espaço comunicativo que mobiliza as legitimidades da cultura Kyikatêjê na aula de Matemática, privilegiando os modos de produzir conhecimento dessa cultura, oportunizou uma mudança no processo de produção de conhecimento dos alunos. (shrink)

In this essay, we discuss the relationship between education, human education and ethics in the context of orthodox neoliberalism, as well as some challenges presented to educational policy in Brazil. It is characterized as an exploratory study of a theoretical nature and is part of a set of three research projects at the doctoral level, carried out at a university in southern Brazil from 2017 to 2020. By contextualizing the current moment of neoliberalism in the country and presenting some foundations (...) of a human and ethical formation, we point to the current challenges present for the consolidation of an educational policy whose horizon is full human formation. The studies show that educational policy from the perspective of human formation today needs to guarantee conditions that articulate, within the school, access to scientific knowledge, creativity and self-organization of the subjects of the pedagogical process in its entirety. Keywords: Education. Human formation. Ethics. Neoliberalism. Education policy. (shrink)

Este artigo disserta, sob o ponto de vista dos estudos de ‘exegese bíblica’, sobre um antigo e intrincado conceito que foi transmitido ao Cristianismo Primitivo, no primeiro século cristão, pela tradição hebraica, através da famosa tradução da “Septuaginta”, no IV século a.C. no Egito Ptolomaico, onde vivia e rezava uma grande Comunidade Judaico-Helenista. A Verdade’ constituiu-se um conceito-chave para as experiências religiosas desde o Mito até as mais sofisticadas pretensões de revelação divina, como o Judaísmo, o Cristianismo e o Islamismo. (...) Enfocamos aqui, em particular, a proximidade semântica destes ambientes helenizados na ‘Ásia Menor’ com a terminologia utilizada nos textos das Tradições de S.Paulo e, especialmente de S.João (Evangelho e Cartas), que relacionam Cristo, Espírito e Igreja ao âmbito da ‘verdade’. (shrink)

In this article we aim to provide insights about the challenges stakeholders in Portugal and across the globe may face throughout the Coronavirus Disease 2019 pandemic to reorganize coach training programs and suggest strategies to help coaches learn. Such reflection may help stakeholders across socio-cultural contexts consider the consequences of the changes made to coach training programs, the rationale for these decisions and the need to acknowledge existent challenges such as lower course completion rates, pressures to deliver the curriculum and (...) dilemmatic decisions about course format. Furthermore, we also suggest pathways for stakeholders to develop strategies that consider contextual variables and contribute to meaningful learning. Based on the Portuguese context, several issues are discussed. (shrink)

Nowadays, football goalkeepers play an important role in the team's organization, namely, considering the offensive and defensive processes. The purpose of our investigation focuses on the notational and T-pattern analysis of the offensive and defensive actions of elite young football GKs. The participating GKs presented 8 years of experience in the specific position, were internationally selected for the national team of Portugal, and competed in the national U-17 championship of Portugal. Thirty football matches were observed. The observational sample consisted of (...) defensive actions and offensive actions. Two observational instruments were used to codify the actions: the observation system of defensive technical-tactical actions of GKs and the observation system of offensive technical-tactical actions of GKs. Both instruments underwent a validation process, and inter- and intra-observer reliability was tested. The codification of the actions was performed with the LINCE program, and later the data were exported to Microsoft Excel and THEME 5.0. The notational data were analyzed in SPSS, and T-pattern detection analysis was performed in THEME 5.0. The predominant actions of young observed GKs were fundamentally goal defense and participation in the team's offensive process construction through actions performed with the foot and hand. The analysis of T-patterns allowed to identify T-pattern actions in the defensive actions of goal defense and exit of the goal, as well as related to the defensive set pieces. In the offensive process, the analysis of T-patterns reinforced the participation of the GK in the team's first phase of construction and in the execution of goal kicks and actions that start as a result of the actions of the opponent. The GK's defensive actions are mostly focused on the objective of goal defense and offensive actions with the hands and feet are important for their participation in positional attack construction. Our study contributes to a better knowledge of the GK's actions in the competition and is relevant to be considered by the specific position coaches in the training process organization. (shrink)