We study a modal language for negative operators—an intuitionistic-like negation and its paraconsistent dual—added to (bounded) distributive lattices. For each non-classical negation an extra operator is hereby adjoined in order to allow for standard logical inferences to be opportunely restored. We present abstract characterizations and exhibit the main properties of each kind of negative modality, as well as of the associated connectives that express consistency and determinedness at the object-language level. Appropriate sequent-style proof systems and adequate kripke semantics are also (...) introduced, characterizing the minimal normal logic and a few other basic logics containing such negative modalities and their companions. (shrink)

Purpose The purpose of this study is to demonstrate the applicability of Multi-Criteria Decision Analysis (MCDA) through a systematic approach using M-Macbeth to present alternatives for mitigating high-impact instances of disinformation in a community and measure the attractiveness of the options. Design/methodology/approach The recent advent of Fake News (FN) and disinformation poses a significant threat to a community, organisation or individual, contributing to the erosion of public trust in institutions and democracy. This is aggravated should the authors consider the multiplicity (...) of FN and, thus, the multitude of risk and their impact on the community. This research proposes tackling FN as a digital risk by applying an MCDA to select the appropriate countermeasures for Law Enforcement Agencies to tackle disinformation and FN crimes. Findings Results indicate that to mitigate risk effectively, prioritising risk using adequate strategies and appropriate courses of action is crucial. Originality/value Nevertheless, the contributions of this research work allowed us to comprehend the best option to mitigate the risk of FN and provide a realistic approach to support Law Enforcement in decision analysis. (shrink)

O presente artigo busca traçar um estudo político-filosófico e se dedica a articular as nuances do conceito arendtiano de ação, sobre o entendimento do agir humano dentro do espaço público. Observar as nuances e a imprevisibilidade pela qual a ação humana é expressa frente à convivência entre iguais e diferentes no espaço público é enxergar a forma com a qual as singularidades humanas e o fenômeno da revelação das identidades se tornam evidentes. Dessa maneira, o objetivo geral do presente trabalho (...) se perfaz em analisar como a dimensão política do conceito arendtiano de ação está ligada à busca da liberdade do indivíduo no espaço público. Dessa forma, busca-se entender as interações interpessoais em meio a pluralidade humana e a procura pela liberdade frente ao mundo das aparências. (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)

Este artigo objetiva expor e analisar os diferentes sentidos do conceito de verdade delineados por Edmund Husserl na 6ª _Investigação Lógica_. Inicialmente, aborda-se a concepção tradicional de verdade enquanto correspondência em seus aspectos mais fundamentais. A seguir, examina-se como essa ideia de adequação, reinterpretada fenomenologicamente a partir da estrutura intencional do preenchimento, orienta a reflexão husserliana ao conceito de evidência e, por sua vez, como essa análise conduz à tematização do conceito de verdade, uma vez que Husserl define a verdade (...) como o correlato objetivo da evidência. Com isso, chega-se ao núcleo da investigação: procede-se com a caracterização e discussão dos quatro sentidos de verdade elencados por Husserl no parágrafo 39 da 6ª _Investigação Lógica._ Por fim, são apontados alguns aspectos gerais que articulam esses quatro sentidos, com ênfase especial na primazia do sentido de verdade enquanto “ser verdadeiro” em relação aos demais sentidos fenomenológicos apresentados do conceito. (shrink)

After the publication of Hart's Concept of Law, Dworkin published his article “The Model of Rules,” dividing positivism into two varieties: inclusive and exclusive. Many theorists involved in this debate have characterized Hart's position as inclusivist, which we reject in this article. We argue that Hart, in the postscript to The Concept of Law, conceded a point to Dworkin in accepting that inclusive positivism would imply the existence of objective moral standing, adopting a more “neutral” position—compatible with inclusive and exclusive (...) positivism—and consequently distancing himself from the incorporation thesis, which is paramount to inclusive positivism. (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)

O texto pretende discutir a maneira como Foucault trabalha o problema da constituição do sujeito do cuidado de si – tema que tomou conta de seus últimos livros, cursos, entrevistas e conferências. A problematização deste sujeito e das “técnicas de si” que o constitui surgem na obra do autor a partir do momento em que Foucault reorienta as suas pesquisas sobre as relações de poder ao final dos anos 70, dando início às investigações sobre as formas de governar. Procura-se mostrar (...) que o deslocamento operado pelo autor passa necessariamente por uma problematização das condições de possibilidade a partir das quais as relações de poder, em sua modalidade de “ações sobre ações”, tornam-se possíveis. A liberdade como condição de possibilidade das relações de poder surge na obra de Foucault ao mesmo tempo em que a investigação sobre as “técnicas de si” descortinam a formação de sujeitos éticos. (shrink)

O conceito de pluralidade humana presente, de acordo com Arendt, na filosofia de Sócrates e essencial à política, foi negado radicalmente por Platão dando inicio, assim, a tradição hostil á política. Assim, a proposta deste artigo é apresentar os argumentos utilizados por Arendt para descrever como se deu essa negação.

A lista de dez categorias apresentada por Aristóteles no capítulo 4 das Categorias gerou, desde cedo, sérios problemas aos intérpretes. Em primeiro lugar, não é claro qual o objetivo e o âmbito desta lista. Trata-se de uma tentativa de estabelecer os gêneros mais gerais de palavras, de coisas, de conceitos, de todos eles? Em segundo lugar, Aristóteles enumera as categorias, mas não apresenta qualquer justificação para o seu número e completude. Esta lacuna conduziu os intérpretes a forjar diversas tentativas de (...) resolver estes dois problemas. Na escolástica medieval de língua latina, quer por razões didáticas, quer por razões teóricas, a receção destes problemas tomou a forma de uma discussão acerca de uma via divisiva ou sufficientia que demonstrasse a completude da lista aristotélica. Evidentemente, para que essa via divisiva seja consequente, é necessário antes estabelecer qual o âmbito da lista. É intenção do presente artigo apresentar um dos primeiros textos do século XIII no qual estes problemas são discutidos: Rationes super Praedicamenta Aristotelis de Nicolau de Paris (m. 1263), importante magister artium da Universidade de Paris no segundo quartel do século XIII, autor de uma das primeiras sufficientiae neste contexto escolástico, fonte imprescindível para compreender a origem e a evolução deste tipo de resposta ao problema da completude da lista de categorias. (shrink)

The use of transcranial Electrical Stimulation in the modulation of cognitive brain functions to improve neuropsychiatric conditions has extensively increased over the decades. tES techniques have also raised new challenges associated with study design, stimulation protocol, functional specificity, and dose-response relationship. In this paper, we addressed challenges through the emerging methodology to investigate the dose-response relationship of High Definition-transcranial Direct Current Stimulation, identifying the role of negative valence in tinnitus perception. In light of the neurofunctional testable framework and tES application, (...) hypotheses were formulated to measure clinical and surrogate endpoints. We posited that conscious pairing adequately pleasant stimuli with tinnitus perception results in correction of the loudness misperception and would be reinforced by concurrent active HD-tDCS on the left Dorsolateral Prefrontal Cortex. The dose-response relationship between HD-tDCS specificity and the loudness perception is also modeled. We conducted a double-blind, randomized crossover pilot study with six recruited tinnitus patients. Accrued data was utilized to design a well-controlled adaptive seamless Bayesian dose-response study. The sample size and optimum interims were anticipated for adaptive decision-making about efficacy, safety, and single session dose parameters. Furthermore, preliminary pilot study results were sufficient to show a significant difference within the longitudinally detected self-report tinnitus loudness between before and under positive emotion induction. This study demonstrated a research methodology used to improve emotion regulation in tinnitus patients. In the projected method, positive emotion induction is essential for promoting functional targeting under HD-tDCS anatomical specificity to indicate the efficacy and facilitate the dose-finding process. The continuous updating of prior knowledge about efficacy and dose during the exploratory stage adapts the anticipated dose-response model. Consequently, the effective dose range to make superiority neuromodulation in correcting loudness misperception of tinnitus will be redefined. Highly effective dose adapts the study to a standard randomized trial and transforms it into the confirmatory stage in which active HD-tDCS protocol is compared with a sham trial. Establishing the HD-tDCS intervention protocols relying on this novel method provides reliable evidence for regulatory agencies to approve or reject the efficacy and safety. Furthermore, this paper supports a technical report for designing multimodality data-driven complementary investigations in emotion regulation, including EEG-driven neuro markers, Stroop-driven attention biases, and neuroimaging-driven brain network dynamics. (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)

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)

The present study aimed at describing the research activities executed by researchers on organizational and work psychology in the state of Santa Catarina. The considered aspects were the psychological phenomena investigated by researchers, the types of procedures and instruments employed with great..

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)

An overcomplete logic is a logic that ‘ceases to make the difference’: According to such a logic, all inferences hold independently of the nature of the statements involved. A negation-inconsistent logic is a logic having at least one model that satisfies both some statement and its negation. A negation-incomplete logic has at least one model according to which neither some statement nor its negation are satisfied. Paraconsistent logics are negation-inconsistent yet non-overcomplete; paracomplete logics are negation-incomplete yet non-overcomplete. A paranormal logic (...) is simply a logic that is both paraconsistent and paracomplete. -/- Despite being perfectly consistent and complete with respect to classical negation, nearly every normal modal logic, in its ordinary language and interpretation, admits to some latent paranormality: It is paracomplete with respect to a negation defined as an impossibility operator, and paraconsistent with respect to a negation defined as non-necessity. In fact, as it will be shown here, even in languages without a primitive classical negation, normal modal logics can often be alternatively characterized directly by way of their paranormal negations and related operators. So, instead of talking about ‘necessity’, ‘possibility’, and so on, modal logics could be seen just as devices tailored for the study of (modal) negation. This paper shows how and to what extent this alternative characterization of modal logics can be realized. (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)

Philosophers and social scientists of diverse orientations have suggested that the pragmatics of semiosis is germane to a dynamic account of meaning as process. Semiosis, the central focus of C. S. Peirce's pragmatic philosophy, may hold a key to perennial problems regarding meaning. Indeed, Peirce's thought should be deemed seminal when placed within the cognitive sciences, especially with respect to his concept of the sign. According to Peirce's pragmatic model, semiosis is a triadic, time-bound, context-sensitive, interpreter-dependent, materially extended dynamic process. (...) Semiosis involves inter-relatedness and inter-action between signs, their objects, acts and events in the world, and the semiotic agents who are in the process of making and taking them. (shrink)

This paper consists in an analysis of two explanatory models of human behaviour which play a prominent role in the contemporary literature on human action. The first model - the causalist - aims at explaining action in terms of causes and general laws. The second model - the intentionalist - explains human action in terms of intentions and practical syllogism. The difficulties of both models are presented and in the last part of the essay we propose one alternative model, based (...) on the notion of retroduction.O trabalho consiste numa análise de dois modelos explicativos do comportamento humano considerados fundamentais na literatura contemporânea sobre teoria da ação. O primeiro modelo, o causalista, tenta explicar as ações em termos de causas e leis gerais. O segundo explica a ação em termos de intenções e silogismos práticos. As dificuldades e problemas de ambos modelos são apresentadas e na última parte do ensaio propomos um modelo alternativo baseado na noção de retrodução. (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)

How to model meaning processes (semiosis) in artificial semiotic systems? Once all computer simulation becomes tantamount to theoretical simulation, involving epistemological metaphors of world versions, the selection and choice of models will dramatically compromise the nature of all work involving simulation. According to the pragmatic Peircean based approach, semiosis is an interpreter-dependent process that cannot be dissociated from the notion of a situated (and actively distributed) communicational agent. Our approach centers on the consideration of relevant properties and aspects of Peirce’s (...) pragmatic concept of semiotics. Upon developing this approach, we have no pretensions of our being able to present an exhaustive analysis of the differences between Peirce and other theoretical positions. Nevertheless, our contribution will serve to demonstrate how theorists contribute toward revealing certain fundamental ‘semiotic constraints’ that will be of interest and importance. (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)