There is a broad debate in contemporary philosophy of logic on the informativeness of proofs. In this context, informative proofs are demonstrations whose premises do not include the content of the conclusion. D’Agostino and Floridi (Synthese 167(2):271–315, 2009) claimed that proofs are informative if they use _virtual information_. In their terminology, this is the data carried by _dischargeable hypotheses_, assumptions entertained during proof and eliminated before concluding. Although these authors capture several cases of informative demonstrations, they do not explain the (...) nature of virtual information. Why does the use of dischargeable hypotheses increase the informativeness of a demonstration? Following a Kantian inspiration, D’Agostino and Floridi claim that virtual information adds a synthetic feature to our proofs. However, this appeal to Kantianism is misleading: for Kant, mathematics is synthetic because it requires the construction of concepts in pure intuition. On the other hand, the entertainment of provisional hypotheses does not seem to involve the construction of figures in (transcendental) imagination. Exploring a _dialogical_ characterization of logic, I suggest that virtual information results from the dynamics between a reasoner and her audience. When a reasoner provisionally assumes _P_, she enacts potential interlocutors who commit to _P_. Thus, “virtual information” denotes the content of some assumptions of the possible audience of a demonstration. This process of departing from one’s original premises to embrace the suppositions of other people is informative, but it is not synthetic: in this way, the reasoner does not entertain intuitions but only needs to reason through the conceptual content of other people’s premises. (shrink)

Logical omniscience states that the knowledge set of ordinary rational agents is closed for its logical consequences. Although epistemic logicians in general judge this principle unrealistic, there is no consensus on how it should be restrained. The challenge is conceptual: we must find adequate criteria for separating obvious logical consequences from non-obvious ones. Non-classical game-theoretic semantics has been employed in this discussion with relative success. On the one hand, with urn semantics [15], an expressive fragment of classical game semantics that (...) weakens the dependence relations between quantifiers occurring in a formula, we can formalize, for a broad array of examples, epistemic scenarios in which an individual ignores the validity of some first-order sentence. On the other hand, urn semantics offers a disproportionate restriction of logical omniscience. Therefore, an improvement of this system is needed to obtain a better solution of the problem. In this paper, I argue that our linguistic competence in using quantifiers requires a sort of basic hypothetical logical knowledge that can be formulated as follows: when inquiring after the truth-value of ∀xφ, an individual might be unaware of all substitutional instances this sentence accepts, but at least she must know that, if an element a is given, then ∀xφ holds only if φ is true. This thesis accepts game-theoretic formalization in terms of a refinement of urn semantics. I maintain that the system so obtained affords an improved solution of the logical omniscience problem. To do this, I characterize first-order theoremhood in US+. As a consequence of this result, we will see that the ideal reasoner depicted by US+ only knows the validity of first-order formulas whose Herbrand witnesses can be trivially found, a fact that provides strong evidence that our refinement of urn semantics captures a relevant sense of logical obviousness. (shrink)

In this article, I review the new book by C. D. Novaes, The Dialogical Roots of Deduction: Historical, Cognitive, and Philosophical Perspectives on Reasoning. I reconstruct the main themes and arguments presented in the work and critically assess its results.

This paper reconstructs Venn’s algebraic logic and identifies some of the philosophical notions concerning the nature of symbolic knowledge underlying his work. We show that Venn, in facing philosophical problems associated with his algebraic logic, needs to articulate the symbolic knowledge notions of ecthetic function and of surrogative function. The paper explains those notions based on the systematization of the functions of symbolic knowledge that we find in the recent philosophical literature. This paper also situates Venn’s work within the 19th (...) Century efforts towards a symbolization of logic, and, through an analysis of a historical case, clarifies the notions of ecthetic function and of surrogative function. (shrink)

In current philosophy of information, different authors have been supporting the veridicality thesis (VT). According to this thesis, an epistemically-oriented concept of information must have truth as one of its necessary conditions. Two challenges can be raised against VT. First, some philosophers object that veridicalists erroneously ignore the informativeness of false messages. Secondly, it is not clear whether VT can adequately explain the information considered in hypothetical reasoning. In this sense, logical diagrams offer an interesting case of analysis: by manipulating (...) a logical diagram we can verify that a certain conclusion follows from a set of premises, but it cannot help us to determine the actual truth-value of a given set of propositions. Focusing on the latter challenge, in this paper I claim that logical diagrams set out potential counterexamples to VT and, consequently, pose a real challenge to this thesis. First, a veridicalist analysis of logical diagrams requires the assumption of metatheoretical properties which are not satisfied by some logical systems (and, consequently, are not satisfied by some systems of logical diagrams). So, VT does not fit well as a general framework for a theory of logical diagrammatic information. Secondly, based on semantic inferentialism, one can propose a normative interpretation of the inferential content of logical diagrams not exposed to the problems faced by VT. Moreover, there are several reasons to believe that veridicalism cannot accommodate such a normative interpretation. In other words, normativism represents a real (though still underexplored) alternative to veridicality. Due to these reasons, I conclude that, until further research, we should adopt a more parsimonious standpoint and say that logical diagrams provide inferential information simply. (shrink)

Introduction: The potential therapeutic efficacy of real-time fMRI Neurofeedback has received increasing attention in a variety of psychological and neurological disorders and as a tool to probe cognition. Despite its growing popularity, the success rate varies significantly, and the underlying neural mechanisms are still a matter of debate. The question whether an individually tailored framework positively influences neurofeedback success remains largely unexplored.Methods: To address this question, participants were trained to modulate the activity of a target brain region, the visual motion (...) area hMT+/V5, based on the performance of three imagery tasks with increasing complexity: imagery of a static dot, imagery of a moving dot with two and with four opposite directions. Participants received auditory feedback in the form of vocalizations with either negative, neutral or positive valence. The modulation thresholds were defined for each participant according to the maximum BOLD signal change of their target region during the localizer run.Results: We found that 4 out of 10 participants were able to modulate brain activity in this region-of-interest during neurofeedback training. This rate of success is consistent with the neurofeedback literature. Whole-brain analysis revealed the recruitment of specific cortical regions involved in cognitive control, reward monitoring, and feedback processing during neurofeedback training. Individually tailored feedback thresholds did not correlate with the success level. We found region-dependent neuromodulation profiles associated with task complexity and feedback valence.Discussion: Findings support the strategic role of task complexity and feedback valence on the modulation of the network nodes involved in monitoring and feedback control, key variables in neurofeedback frameworks optimization. Considering the elaborate design, the small sample size here tested impairs external validity in comparison to our previous studies. Future work will address this limitation. Ultimately, our results contribute to the discussion of individually tailored solutions, and justify further investigation concerning volitional control over brain activity. (shrink)

This research qualitatively investigated four treatments for addiction in Brazil that use ibogaine as the main tool in the process. Ibogaine is a substance derived from an African plant, Tabernanthe iboga, traditionally used in its region of origin and which leads to intense sensations during its acute effects and also different experiences of oneself and the surrounding world in the period after its use. It’s considered a non‐typical psychedelic. We visited the clinics and interviewed professionals and patients of these places. (...) In this article, we focus on how ibogaine is used for addiction and depression treatment and how its effect is understood. There is variation in patient screening and preparation, how the ibogaine is determined, and the care practices proposed after the treatment. These variations seem to be influenced by the context where ibogaine is inserted and their practices. We identified three different contexts that influence ibogaine use in Brazil: the market of addiction treatment clinics, the Brazilian urban religious use of ayahuasca, and the medical context of ibogaine use developed by Howard Lotsof. (shrink)

We prove that the minimal Logic of Formal Inconsistency $\mathsf{QmbC}$ validates a weaker version of Fraïssé’s theorem. LFIs are paraconsistent logics that relativize the Principle of Explosion only to consistent formulas. Now, despite the recent interest in LFIs, their model-theoretic properties are still not fully understood. Our aim in this paper is to investigate the situation. Our interest in FT has to do with its fruitfulness; the preservation of FT indicates that a number of other classical semantic properties can be (...) also salvaged in LFIs. Further, given that FT depends on truth-functionality, whether full FT holds for $\mathsf{QmbC}$ becomes a challenging question. (shrink)

Automatized scalable healthcare support solutions allow real-time 24/7 health monitoring of patients, prioritizing medical treatment according to health conditions, reducing medical appointments in clinics and hospitals, and enabling easy exchange of information among healthcare professionals. With recent health safety guidelines due to the COVID-19 pandemic, protecting the elderly has become imperative. However, state-of-the-art health wearable device platforms present limitations in hardware, parameter estimation algorithms, and software architecture. This paper proposes a complete framework for health systems composed of multi-sensor wearable health (...) devices, high-resolution parameter estimation, and real-time monitoring applications. The framework is appropriate for real-time monitoring of elderly patients' health without physical contact with healthcare professionals, maintaining safety standards. The hardware includes sensors for monitoring steps, pulse oximetry, heart rate, and temperature using low-power wireless communication. In terms of parameter estimation, the embedded circuit uses high-resolution signal processing algorithms that result in an improved measure of the HR. The proposed high-resolution signal processing-based approach outperforms state-of-the-art HR estimation measurements using the photoplethysmography sensor. (shrink)

We aimed to characterize the age of onset of training, age at menarche, menstrual periodicity, and performance perception during the menstrual cycle and examined the impact of these reproductive variables on body composition, morphology, and body weight satisfaction in Brazilian elite futsal players. The study consisted of 115 female Brazilian elite futsal players from the top national teams. Data were collected during the twentieth Women’s Brazil Futsal Cup. Players were interviewed and self-reported their age of onset of training, age at (...) menarche, menstrual periodicity, and the menstrual period, where they performed best. We also asked for what they considered to be their ideal body weight as well as information related to their training. Subsequently, anthropometric measurements were performed to estimate the body composition and determine morphological characteristics. Fifty-nine players were postmenarche-trained and 52 were premenarche-trained. Eighteen, 65, and 28 were classified as early, normal, and late menarche, respectively. Only 11 and 1 had irregular menstrual cycles and were amenorrheic, respectively. Seventy-three, 23, and 9 reported that their game performance was the best at the follicular phase, menses, and luteal phase of the menstrual cycle, respectively. No associations between the four reproductive-related variables were found. Postmenarche-trained players had significant lower age at menarche and higher percentage body fat. The somatotype profile registered lower ectomorphy rate for the postmenarche-trained participants after controlling for covariates. Early menarche group presented higher sum of six skinfold thickness and endomorphy rate compared to normal and late menarche groups. No differences were found when menstrual periodicity groups and best performance groups were compared, except for higher femur width in the regular menstrual cycle group compared to the irregular one. The association between body weight satisfaction and the four reproductive-related variables were not observed. Premenarche-trained Brazilian elite futsal players had the menarche later than the postmenarche-trained athletes. Most of the participants had menarche age classified as “normal,” presented “regular” menstrual cycles and perceived to perform better during the follicular phase of the menstrual cycle. (shrink)

Este artigo tem por objetivo realizar uma leitura do livro Infância, de Graciliano Ramos, a partir de conceitos cunhados pelo filósofo Gilles Deleuze. Desse modo, será discutida a escrita memorialista de Graciliano em confluência com a concepção deleuziana de impessoalidade na literatura, culminando na hipótese de que o escritor realiza em Infância, por meio de sua divisão entre menino-protagonista e adulto-narrador, aquilo que Deleuze chama de devir-criança.Palavras-chave: Graciliano Ramos. Gilles Deleuze. Memória. Devir.

Dans le cadre de ses activités, l’Institut de Recherches Sociologiques et Anthropologiques de l’université Paul-Valéry a organisé un séminaire sur les temporalités sociales qui s’est tenu le 21 avril 2016, à Montpellier.Voici le compte rendu de cette journée. Comme le rappelle Jean-Bruno Renard dans sa présentation, l’IRSA est l’un des laboratoires partenaires de Temporalités. Cette équipe soutient en effet la revue depuis l’origine, poursuivant ainsi ce qu’elle avait déjà fait dans les année...

The chapter shows how the recognition of reflexivity of emotions is crucial for understanding the role of emotions in reasoning because it highlights the regulatory role of emotion in emotional experience. The chapter begins by showing that to attain a conception of rationality that incorporates feelings, emotions, and sentiments as parts of the reasoning processes requires capturing the emotional landscape in all its complexity, and that integrating the role of meta-emotions is a contribution in that direction. Then introducing the notion (...) of meta-emotions and showing how emotional reflexivity modifies the nature of our emotional world, it is shown how emotions also have a regulatory mechanism that can either be maladaptive or at the center of emotional health. In addition, because meta-emotions provide a test for the more general assumptions of theories of emotions, the chapter ends by showing how adopting a Situated Approach to Emotions is well-suited for explaining the refinement and complexity of emotion regulation. The final reflection of the chapter explains why adopting such theoretical frame of work makes it possible to use the term situation in a technical manner, which then reveals that emotions sometimes are described as causes while other times as reasons in connection to their regulative mechanisms. (shrink)

In this chapter we use methods of corpus linguistics to investigate the ways in which mathematicians describe their work as explanatory in their research papers. We analyse use of the words explain/explanation (and various related words and expressions) in a large corpus of texts containing research papers in mathematics and in physical sciences, comparing this with their use in corpora of general, day-to-day English. We find that although mathematicians do use this family of words, such use is considerably less prevalent (...) in mathematics papers than in physics papers or in general English. Furthermore, we find that the proportion with which mathematicians use expressions related to ‘explaining why’ and ‘explaining how’ is significantly different to the equivalent proportion in physics and in general English. We discuss possible accounts for these differences. (shrink)

From the book: What is to be done with political ecology? Nothing. What is to be done? Political ecology!

Resenha do novo livro de Israel Finkelstein, publicado em inglês em 2013. Israel Finkelstein apresenta nova visão acerca do reino do Norte Israel, apontando a compilação e redação final das narrativas bíblicas pelos judaítas, depois da queda do reino do Norte Israel. É uma bela obra que resume o desenvolvimento das pesquisas arqueológicas do autor.

A RELEVÂNCIA DO PRÉVIO ESGOTAMENTO DAS INSTÂNCIAS DESPORTIVAS E AS SANÇÕES AO SEU DESCUMPRIMENTO.

This article discusses the importance of metaemotions (emotions about emotions), showing their undeniable existence and how they are a critical and essential part of emotion life. The article begins by placing reflexivity of emotions within the general reflexivity of human beings. Then, the article presents the literature on metaemotion, showing some of the problems that surround them, which ultimately will lead to ask if the concept of metaemotion is really necessary. The second part of the article argues for the usefulness (...) of the concept, pointing out its role in establishing distinctions among emotional states as well as further clarifying the nature of emotion, and concludes on pointing out some of the directions for future research on metaemotions. (shrink)

A summation of the work of one of the most influential and provocative interpreters of science, it aims at saving what is good and valuable in modernity and ...

Ce livre résume une recherche que l'auteur a menée pendant de très longues années, et qu'il a voulu exposer comme élargissement de l'œuvre de William James, fondateur de la philosophie et de la psychologie américaines.

I argue against the interpretation of propositions as intentions and proof-objects as fulfillments proposed by Heyting and defended by Tieszen and van Atten. The idea is already a frequent target of criticisms regarding the incompatibility of Brouwer’s and Husserl’s positions, mainly by Rosado Haddock and Hill. I raise a stronger objection in this paper. My claim is that even if we grant that the incompatibility can be properly dealt with, as van Atten believes it can, two fundamental issues indicate that (...) the interpretation is unsustainable regardless: (1) it is hard to determine, without appealing to propositional intentions on pain of circularity, what intention a proof-object should be understood as a fulfillment of; (2) due to a difficult fulfillment dilemma, it is unclear, at best, what the object of an intention corresponding to a proposition is. (shrink)

Throughout his career, Schelling assigns knowledge of the absolute first principle of philosophy to intellectual intuition. Schelling's doctrine of intellectual intuition raises two important questions for interpreters. First, given that his doctrine undergoes several changes before and after his identity philosophy, to what extent can he be said to “hold onto” the same “sense” of it by the 1830s, as he claims? Second, given that his doctrine of intellectual intuition restricts absolute idealism to what he calls a “science of reason”, (...) which he says cannot prove the absolute’s existence, what other doctrine does he require in order to prove this? I will answer these questions by tracing the shifts in Schelling’s doctrine of intellectual intuition from the 1790s to the 1830s and drawing out its evolving methodological role within his science of intelligibility. (shrink)

Este libro quiere desarrollar un pensamiento que, poniéndose del lado de las víctimas y rechazando la salida nihilista, abogue por la construcción del futuro sobre la herencia de la racionalidad griega y del cristianismo, sin renunciar tampoco a lo que pueda ser heredado de lo mejor de la tradición ilustrada, convencido de que sólo un nuevo encuentro entre fe y razón puede devolver al hombre la confianza en sí mismo.

This paper argues that we should solve paradoxes for propositions (such as the Russell–Myhill paradox) in essentially the same way that we solve Russellian paradoxes for sets. That is, the standard, iterative approach to sets is extended to include properties, and then the resulting hierarchy of sets and properties is used to construct propositions. Propositions on this account are structured in the sense of mirroring the sentences that express them, and they would seem to serve the needs of philosophers of (...) language and metaphysicians who rely on such propositions. The resulting account has limitations, comparable to those faced by the iterative approach to sets, but it is argued to be in important ways preferable to others that have been proposed. (shrink)

Este libro recoge una veintena de estudios que, desde el punto de vista de la teoría social abordan aspectos variados de la Globalización, el Riesgo y la Reflexividad, considerados como los retos fundamentales con los que ha de enfrentarse la sociología actual.

É possível constatar, mesmo em uma leitura superficial, que Kant tem o propósito de empreender em seu opúsculo de 1795, À Paz Perpétua, uma defesa dos princípios normativos do direito em todas as esferas da vida pública. Isso se evidencia na tentativa de desenvolver uma teoria da paz erigida sobre uma teoria tríplice do direito público, dividida nos âmbitos do direito estatal, das gentes e cosmopolita. Mas, se a questão é, por um lado, adequar os princípios puros da doutrina do (...) direito à teoria da paz, por outro, o problema com o qual Kant tem de lidar é essencialmente histórico. Não se trata apenas de justificar, em um contexto abrangente, a normatividade dos princípios do direito, mas também de demonstrar a sua aplicabilidade. Por conseguinte, em seu empreendimento, Kant encontra-se diante do desafio de demonstrar a inconsistência da “expressão corrente”, com a qual teve que lidar antes, que diz que “isto pode ser correto na teoria, mas nada vale na prática”. Tal preocupação pode ser observada direta e indiretamente, em várias passagens, no decorrer do texto, explicitando-se ,sobretudo, na discussão apresentada no Suplemento Primeiro no qual a questão suscitada pelo problema da teoria e prática, acerca das condições de possibilidade de realização do ideal da paz, é discutida no contexto de sua filosofia da história e também no Apêndice I, no qual, através de uma reflexão sobre o consenso entre moral e política, o que se põe em questão é a possibilidade da concordância entre teoria e prática no contexto da filosofia e da prática política. Ocupar-me-ei nesse texto apenas em tratar da questão sob esse segundo aspecto, tentando destacar que a estratégia kantiana para superar o problema da teoria e prática, no âmbito da filosofia política, depende do desenvolvimento de uma “renovada” doutrina da prudência. Como observa Castillo1, “[p]ara provar que a teoria jurídica da paz se aplica na teoria e na prática ao mesmo tempo”, Kant “deve fazer um exame crítico do conceito de prudência do Estado”2 . Esta análise deve nos permitir concluir, em primeiro lugar, que, bem diferente da visão antes difundida de que a filosofia política de Kant é expressão de um moralismo “que é certamente sincero, mas basicamente ingênuo”3, o objetivo de Kant, na verdade, nunca foi o de se afastar da realidade concreta da política em nome de um ideal abstrato de virtude política. Sua preocupação foi, em vez disso, a de ajustar os co. (shrink)

El pluralismo ontológico depende estrechamente de la doctrina de las relaciones externas. Los términos son singularidades materiales y las relaciones son singularidades virtuales, no menos reales que las primeras y que responden a una lógica propia. En su «empirismo trascendental» Deleuze retoma de modo implícito la discusión tradicional acerca de las relaciones (Bradley, Russell, Whitehead y James), aunque reconduciéndola hacia la ontología de lo virtual que actúa en el plano de inmanencia. Si nuestro análisis es correcto, la ontología misma podría (...) ser definida como una ecología de las relaciones externas que se establecen entre los diversos planos de organización (especies, individuaciones, actualidades) y el plano de inmanencia (medio ecológico o virtual). (shrink)

O que se pretende neste artigo é mostrar antes de tudo que revoluçáo galilena é fruto de uma mudança de mentalidade, de visáo de mundo, decorrente da própria crise por que passava o paradigma aristotélico . Um bom exemplo desta mudança e das dificuldades de livrar-se dos quadros tradicionais do pensamento filosofico é o matematismo(universo de precisáo) e a crença galileana em orbitas circulares, respectivamente. Com efeito, como poderá Galileu ser um dos fundadores da fisica moderna, se esta é fundamentada (...) no principio de inércia e na preponderancia da reta em relaçáo ao circulo? A resposta é a presentada a partir da analise do racíonio de Galileu no tocante a ideia de movimento. (shrink)

My aim in this paper is twofold: I will try to clarify what the conditions developed in EN I a discipline or an argument must meet to be assumed as precise are, and, then, try to present evidence that the exam of akrasia in EN VII 3 meets these conditions. In the first part of this paper, I will select passages in which such conditions are displayed, and also distinguish between practical precision and theoretical precision. In the second part, where (...) the analysis of the senses of having but not using knowledge in EN VII 3 is carried on, I will claim that Aristotle’s objective is reaching the adequate statement of the explanandum that will be the subject of causal enquiry of akrasia. My concluding remarks will claim that the conditions displayed in this paper’s first part are met by Aristotelian procedure in EN VII 3. (shrink)