Over recent years, various semantics have been proposed for dealing with updates in the setting of logic programs. The availability of different semantics naturally raises the question of which are most adequate to model updates. A systematic approach to face this question is to identify general principles against which such semantics could be evaluated. In this paper we motivate and introduce a new such principle the refined extension principle. Such principle is complied with by the stable model semantics for (single) (...) logic programs. It turns out that none of the existing semantics for logic program updates, even though generalisations of the stable model semantics, comply with this principle. For this reason, we define a refinement of the dynamic stable model semantics for Dynamic Logic Programs that complies with the principle. (shrink)

Usually in logic, proof systems are defined having in mind proving properties like validity and semantic consequence. It seems worthwhile to address the problem of having proof systems where satisfiability is a primitive notion in the sense that a formal derivation means that a finite set of formulas is satisfiable. Moreover, it would be useful to cover within the same framework as many logics as possible. We consider Kripke semantics where the properties of the constructors are provided by valuation constraints (...) as the common ground of those logics. This includes for instance intuitionistic logic, paraconsistent Nelson’s logic ${\textsf{N4}}$, paraconsistent logic ${\textsf{imbC}}$ and modal logics among others. After specifying a logic by those valuation constraints, we show how to induce automatically and from scratch an existential proof system for that logic. The rules of the proof system are shown to be invertible. General results of soundness and completeness are proved and then applied to the logics at hand. (shrink)

We show how to obtain a probabilistic semantics and calculus for a logic presented by a valuation specification. By identifying general forms of valuation constraints we are able to accommodate a wide class of propositional based logics encompassing multi-valued logics like Łukasiewicz 3-valued logic and the Belnap–Dunn four-valued logic as well as paraconsistent logics like $${\textsf{mbC}}$$ and $${\textsf{LFI1}}$$. The probabilistic calculus is automatically generated from the valuation specification. Although not having explicit probability constructors in the language, the rules of the (...) calculus reflect the valuation constraints in a probabilistic way. Indeed the probability of the premises of each rule coincides with the probability of the conclusions. Moreover, a failed exhaustive attempt of proving a formula in this calculus means non-derivability. Nevertheless when the non-derived formula is consistent then it is possible to extract a satisfying valuation from the failed exhaustive attempt. Soundness and completeness of the calculi are established with respect to the probabilistic semantics consisting of probability spaces also induced by the valuation specification. Furthermore we prove the equivalence between the probabilistic and the valuation semantics. (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)

Therapeutic strategies capable of inducing and enhancing prosthesis embodiment are a key point for better adaptation to and acceptance of prosthetic limbs. In this study, we developed a training protocol using an EMG-based human-machine interface that was applied in the preprosthetic rehabilitation phase of people with amputation. This is a case series with the objective of evaluating the induction and enhancement of the embodiment of a virtual prosthesis. Six men and a woman with unilateral transfemoral traumatic amputation without previous use (...) of prostheses participated in the study. Participants performed a training protocol with the EMG-based HMI, composed of six sessions held twice a week, each lasting 30 mins. This system consisted of myoelectric control of the movements of a virtual prosthesis immersed in a 3D virtual environment. Additionally, vibrotactile stimuli were provided on the participant’s back corresponding to the movements performed. Embodiment was investigated from the following set of measurements: skin conductance response, crossmodal congruency effect, ability to control the virtual prosthesis, and reports before and after the training. The increase in the skin conductance response in conditions where the virtual prosthesis was threatened, recalibration of the peripersonal space perception identified by the crossmodal congruency effect, ability to control the virtual prosthesis, and participant reports consistently showed the induction and enhancement of virtual prosthesis embodiment. Therefore, this protocol using EMG-based HMI was shown to be a viable option to achieve and enhance the embodiment of a virtual prosthetic limb. (shrink)

In Brazil, the CNPq provides grants, funds and fellowships to productive scientists to support their investigations. They are ranked and categorized into four hierarchical levels ranging from PQ 1A to PQ 1D. Few studies, however, report and analyse scientific productivity in different sub-fields of Biomedical Sciences, e.g., Biochemistry, Pharmacology, Biophysics and Physiology. In fact, systematic comparisons of productivity among the PQ 1 categories within the above sub-fields are lacking in the literature. Here, the scientific productivity of 323 investigators receiving PQ (...) 1 fellowships in these sub-fields of BS was investigated. The Scopus database was used to compile the total number of articles, citations, h-index values and authorship positions in the most cited papers by researchers granted CNPq fellowships. We found that researchers from Pharmacology had the best performance for all of the parameters analysed, followed by those in Biochemistry. There was great variability in scientific productivity within the PQ 1A level in all of the sub-fields of BS, but not within the other levels. Analysis of the most cited papers of PQ 1 researchers in Pharmacology revealed that the citations of researchers in the 1C and 1D levels were associated with publications with their senior supervisors, whereas those in the 1B level were less connected with their supervisors in comparison to those in 1A. Taken together, these findings suggest that the scientific performance of PQ 1A researchers in BS is not homogenous. In our opinion, parameters such as the most cited papers without the involvement of Ph.D. and/or post-doctoral supervisors should be used to make decisions regarding any given researcher’s fellowship award level. (shrink)

Neste texto pretendemos explorar a ideia de devir a partir da novela “A metamorfose” de Franz Kafka. Pela leitura, evidenciamos a presença da animalidade na sua escrita, de maneira que nos chama a atenção a insistência em dar voz às questões emergentes da sociedade e do modo de vida, não somente animal, mas humano: A metamorfose de Gregor Samsa, que acorda numa manhã transformado em um inseto. Partimos, também, da concepção de devir para os filósofos Deleuze e Guattari enquanto estado (...) de sensação que é capaz de multiplicar as intensidades afetivas, de pensamento e expressão em um corpo. Relacionamos a docência e a problemática da existência por meio da literatura e da filosofia. Tal investigação é impulsionada por experimentações realizadas com professores, atuantes e em formação, na Oficina de escrileituras denominada Conatus, utilizando-se, dentre outras matérias, da literatura kafkiana para questionar o fazer docente e aquilo que adoece em meio ao cotidiano escolar. Diante das pequenas novelas de rádio escritas e gravadas pelos participantes, nos deparamos com a interrogação: quais são as condições para que algo seja criado na prática pedagógica? As novelas deram visibilidade, entre outras questões, aos conflitos enfrentados na profissão. Destacamos a criação intitulada “A vaca”, onde os professores acenaram suas inquietações e a desfiguração da sua imagem como uma linha de fuga da identidade depreciativa e sagrada tomada por diferentes circunstâncias e local em que se vive. Como resultado entendemos que a literatura e a filosofia mostram-se como intercessoras potentes, ao favorecem a desconstrução de significações e a abertura para pensar sobre as condições de possibilidades de outros modos de existir. Palavras-chave : Kafka. Devir-animal. Literatura. Filosofia da diferença. Escrileituras. (shrink)

Os signos e as classes dos signos estão entre os tópicos mais importantes do sistema filosófico de Charles S. Peirce. As 10, 28, e 66 classes de signos são classificações desenvolvidas especialmente a partir de 1903 e representam um grande refinamento da divisão fundamental de signos – ícone, índice, símbolo. Nossa abordagem aqui define uma estratégia de visualização das classificações dos signos, com especial atenção para as 10 e 66 classes de signos. O livro está dividido em duas partes: (i) (...) bases teóricas, (ii) diagramas para as classes de signos. Na Parte I (bases teóricas), são apresentadas introdutoriamente as noções fundamentais das categorias fenomenológicas, classes de signos, as tricotomias e diagramas, assim como implicações gerais de nossa abordagem, metodologia e aplicações. Na Parte II (diagramas para as classes de signos), são apresentados e discutidos os modelos das classes, propostos por Peirce e seus comentadores, incluindo uma introdução detalhadamente documental de nossos modelos, 10cubes e 3N3, diagramas dinâmicos para as classes de signos. (shrink)

The Paradox of Intellectual Property in Capitalism is an innovative book that comprehensively discusses and analyses intellectual property under capitalistic social conditions and relations. It not only addresses some historical developments of intellectual property but also brings to the fore the very notion of what knowledge is, knowledge creation, and knowledge production and appropriation within a Marxist framework. Nonetheless, the adopted approach pays heed to multiple fields of knowledge, providing rich discussions that facilitate the understanding of actual social totality in (...) which capitalism, knowledge production and appropriation, and the struggles of appropriation mutually reinforce each other, although not devoid of antagonisms and contradictions. In light of contemporary capitalism, the transformations that social property relations are undergoing must be scrutinised – such as those brought about by the development of digitalisation and the convergence between big pharma and tech giants. What are the conditions of intellectual property creation today? What theoretical assumptions does it make? Under what social relations is intellectual property produced? Throughout, the emphasis is not on individual cases or symptoms but on the overarching logic: the logic of capitalism as revealed in intellectual property. (shrink)

The Second Vatican Council was built within a solidly constituted tradition in the Catholic Church. All councils were held within the traditional and legal parameters of the Church. The question about the condition of possibility of a renewal Council under this tradition shows relevant. The Vatican II is the result of a negotiation between renewal and preservation. Pope John XXIII personally coordinated the construction of the legitimacy of the new event, following steps which may be rescued during the preparatory stages (...) of the great assembly. The reading of this process from sociological parameters may elucidate its plausibility within the tradition and the Church's bureaucratic organization. Pope John started ably a church renewal process, opening a new phase in the long Catholic tradition. Under his Pope condition, he knew how to seed the idea of a revamping event in the name of a divine inspiration and with the set of bishops’ participation of the Church. (shrink)

In this paper, we intend to discuss if and in what sense semiosis (meaning process, cf. C. S. Peirce) can be regarded as an "emergent" process in semiotic systems. It is not our problem here to answer when or how semiosis emerged in nature. As a prerequisite for the very formulation of these problems, we are rather interested in discussing the conditions which should be fulfilled for semiosis to be characterized as an emergent process. The first step in this work (...) is to summarize a systematic analysis of the variety of emergence theories and concepts, elaborated by Achim Stephan. Along the summary of this analysis, we pose fundamental questions that have to be answered in order to ascribe a precise meaning to the term "emergence" in the context of an understanding of semiosis. After discussing a model for explaining emergence based on Salthe's hierarchical structuralism, which considers three levels at a time in a semiotic system, we present some tentative answers to those questions. (shrink)

What is the fundamental insight behind truth-functionality ? When is a logic interpretable by way of a truth-functional semantics? To address such questions in a satisfactory way, a formal definition of truth-functionality from the point of view of abstract logics is clearly called for. As a matter of fact, such a definition has been available at least since the 70s, though to this day it still remains not very widely well-known. A clear distinction can be drawn between logics characterizable through: (...) (1) genuinely finite-valued truth-tabular semantics; (2) no finite-valued but only an infinite-valued truthtabular semantics; (3) no truth-tabular semantics at all. Any of those logics, however, can in principle be characterized through non-truth-functional valuation semantics, at least as soon as their associated consequence relations respect the usual tarskian postulates. So, paradoxical as that might seem at first, it turns out that truth-functional logics may be adequately characterized by non-truth-functional semantics . Now, what feature of a given logic would guarantee it to dwell in class (1) or in class (2), irrespective of its circumstantial semantic characterization? (shrink)

Binge-purge eating disorders (BP-ED), such as bulimia nervosa and binge eating disorder, may share some neurobiological features. Electroencephalography (EEG) is a non-invasive measurement modality that may aid in research and diagnosis of BP-ED. We conducted a systematic review of the literature on EEG findings in BP-ED, seeking to summarize and analyze the current evidence, as well as identify shortcomings and gaps to inform new perspectives for future studies. Following PRISMA Statement recommendations, the PubMed, Embase, and Web of Science databases were (...) searched using terms related to “electroencephalography” and “binge-purge” eating disorders. Of 555 articles retrieved, 15 met predefined inclusion criteria and were included for full-text analysis. Eleven studies investigated EEG by means of event-related potentials (ERP) in BP-ED individuals: 7 using eating disorder-related stimuli (i.e., food, body image) and 4 using non-eating disorder-related stimuli (i.e., facial expressions or auditory clicks). These studies found significant differences in the N200, P200, P300, and LPP components in BP-ED participants compared to controls, indicating that this population exhibits impairments in selective attention, attentional allocation/processing, and allocation of motivational or emotion-based attention. Five studies investigated EEG using frequency analysis; reporting significant differences in beta activity in fronto-temporal and occipito-temporo-parietal areas in BP-ED individuals compared to controls, revealing a dysfunctional brain network. However, the small number of studies, the heterogeneity of samples, study paradigms, stimulus types, and the lack of an adequate assessment of neuropsychological parameters are some limitations of the current literature. Although some EEG data are promising and consistent with neuroimaging and neuropsychological findings in individuals with BP-ED, future studies need to overcome current methodological shortcomings. (shrink)

Com base no entendimento de que as experiências nos cursos de graduação em psicologia constituem uma influência relevante na formação das representações dos alunos, que por sua vez guiarão seus comportamentos futuros, o presente estudo centrou- se nas percepções de futuros profissionais de psicologi..

O que é o tempo? Como ele foi vivido ao longo da história, e como ele se apresenta no mundo atual? O tempo pode ser acelerado, retardado, economizado, temido? A resposta a essas perguntas e a muitas outras é aqui oferecida ao leitor por meio de uma incrível viagem por diferentes povos, épocas e lugares, cada um com suas ideias, palavras, imagens, técnicas e sentimentos em relação a esse componente fundamental da nossa existência. Explorando uma enormidade de temas e de (...) perspectivas, com uma abrangência geográfica à escala do globo, João Paulo Pimenta traz não apenas um detalhado estudo das representações sociais do tempo, mas igualmente das múltiplas ações concretas tomadas para seu ordenamento, contagem e controle. Seus nove capítulos cruzam, a cada passo, as ciências naturais e os sistemas simbólicos e religiosos, as forças econômicas e os quadros políticos e sociais. Não menos notável é o emprego sofisticado de uma variada documentação visual, que nos convida a ampliar nosso olhar para como o tempo representa uma dimensão constitutiva essencial do que nos faz humanos. Com uma escrita clara, elegante e direta, O Livro do Tempo marcará época e ativará tanto o historiador profissional como o leitor cultivado. (shrink)

Com esse texto-experimento e como um cartógrafo, aventuramos nos espaços epensamentos erráticos, nômades, liso, de Stalker, filme do cineasta russo Andrei Tarkovski e doconto “O recado do morro” do escritor João Guimarães Rosa. De certa forma, o percurso elaboradopelas expedições, os três homens de Stalker e os cinco homens de “O recado do morro”, guardamalgumas vizinhanças que se desdobram sobre os problemas nos socius em que percorrem. O sociussobrecodifica os fluxos do desejo, buscando determiná-los, regulá-los. Ainda que sejam olharessingulares, filme (...) e literatura, avultam-lhes sensações problemáticas tendo em vista as maneirasinusitadas com que os caminhos se fazem no conto e no filme. Para esse experimento, utilizamosa geofilosofia imanente deleuzeguatarriana. (shrink)

Os dois subgêneros epistolares desenvolvidos por Antônio Vieira entre 1646 e 1696, a carta familiar e a carta negocial, reatualizam os preceitos das artes dictaminis antigas. Escritas como imitação verossímil e decorosa de fala de pessoa natural, as canas produzem a presença do corpo e voz do remetente, reativando neo-escolasticamente as técnicas da sermocinatio latina. A comunicação tratará de categorias retóricas e teológico-políticas das articulações dos dois subgêneros: a - a enunciação ou o contrato enunciativo, em que caracteres e afetos (...) constantes qualificam o remetente como tipo discreto que se dirige ao destinatário aplicando decoros específicos da pessoa e da circunstância; b - o enunciado ou a narração, em que as tópicas da invenção e as partes da disposição constituem a verossimilhança adequada ao subgênero e à matéria exposta. (shrink)

O fim do texto é a discussão histórica de práticas de representação italianas, espanholas e luso-brasileiras do século XVII hoje anacronicamente unificadas como “Barroco". Analisa modelos teológico-políticos e retóricos da agudeza que caracteriza a racionalidade de Corte dramatizada nelas, particularizando a análise com EI Díscreto, de Baltazar Gracián.

O jornal Tribuna Criciumense foi o único impresso publicado na cidade de Criciúma no período deste escrito. Fundado em 1955, ele passou por três fases. Na primeira, produziu um discurso anticomunista, mas de maneira um pouco tímida. Na segunda fase, com curta duração, o impresso passou a valorizar a ideologia comunista e, ao mesmo tempo, a defesa do presidente João Goulart. A última fase foi marcada por ataques violentos contra o comunismo, em defesa do golpe civil-militar e da ditadura implantada. (...) Analisar essas fases e como os discursos anticomunista e pró-comunismo reverberaram no jornal se configura no objetivo deste escrito. (shrink)

The Foundations of Cognitive Science is a set of thirteen new essays on key topics in this lively interdisciplinary field, by a stellar international line-up of authors. Philosophers, psychologists, and neurologists here come together to investigate such fascinating subjects as consciousness; vision; rationality; artificial life; the neural basis of language, cognition, and emotion; and the relations between mind and world, for instance our representation of numbers and space. The contributors are Ned Block, Margaret Boden, Susan Carey, Patricia Churchland, Paul Churchland, (...) Antonio Damasio, Hanna Damasio, Donald Davidson, Daniel Dennett, Ilya Farber, James Higginbotham, Christopher Peacocke, Will Peterman, Zenon Pylyshyn, John Searle. Anyone interested in the exploration of the human mind will enjoy this book. (shrink)

EUVÉ, François. Science, foi, sagesse . Faut-il parler de convergence? João Batista Libanio MUTSCHLER, Hans-Dieter. Physik und religion . Perspektiven und Grenzen eines Dialogs. João Batista Libanio RIEGER, Joerg. Remember the poor . The callenge to theology in the twenty-first century. João Batista Libanio RIBEIRO, Fernando. Os Incas . As plantas do poder e um tribunal espanhol. João Batista Libanio SOUZA, Alberto de Mello e (Org.). Dimensões da avaliação educacional . Suzana dos Santos Gomes BOFF, Leonardo. Virtudes para um outro (...) mundo possível . v. I: Hospitalidade: direito e dever de todos. BOFF, Leonardo. Virtudes para um outro mundo possível . v. II: Convivência, respeito & tolerância . Paulo Agostinho Nogueira Baptista LIBANIO, João Batista. Qual o futuro do Cristianismo? Paulo Agostinho Nogueira Baptista. (shrink)

Zones of social abandonment are emerging everywhere in Brazil’s big cities—places like Vita, where the unwanted, the mentally ill, the sick, and the homeless are left to die. This haunting, unforgettable story centers on a young woman named Catarina, increasingly paralyzed and said to be mad, living out her time at Vita. Anthropologist João Biehl leads a detective-like journey to know Catarina; to unravel the cryptic, poetic words that are part of the “dictionary” she is compiling; and to trace the (...) complex network of family, medicine, state, and economy in which her abandonment and pathology took form. As Biehl painstakingly relates Catarina’s words to a vanished world and elucidates her condition, we learn of subjectivities unmade and remade under economic pressures, pharmaceuticals as moral technologies, a public common sense that lets the unsound and unproductive die, and anthropology’s unique power to work through these juxtaposed fields. _Vita’s_ methodological innovations, bold fieldwork, and rigorous social theory make it an essential reading for anyone who is grappling with how to understand the conditions of life, thought and ethics in the contemporary world. (shrink)

Ao longo da história, a relação entre a filosofia e a política tem-se revelado espinhosa, denunciando a dificuldade em se conceptualizar sobre o que é por natureza antagónico à cristalização, porque particular e pluralista. Na esfera da opinião, o filósofo deve restringir-se a analisar, criticar, rever e aperfeiçoar os valores políticos coevos, a explicar aos seus conterrâneos o universo de acepções sociais partilhadas, consciente de que a sua concepção fundamenta uma via entre as muitas poss...