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)

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)

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)

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)

We review Ferreirós and Lassalle Casanave's recently published book "El árbol de los números". The book is a result of the Brazilian-Spanish conference "Sobre la elucidación del concepto de número: cognición, lógica y práctica matemática" hosted in Sevilla in 2013, and collects new papers on History and Philosophy of Mathematics as well as Mathematical Practice. These papers present results of investigations in Cognitive Sciences, Logic and Epistemology of mathematical certainty.

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...

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)

The combination of increased availability of large amounts of fine-grained human behavioral data and advances in machine learning is presiding over a growing reliance on algorithms to address complex societal problems. Algorithmic decision-making processes might lead to more objective and thus potentially fairer decisions than those made by humans who may be influenced by greed, prejudice, fatigue, or hunger. However, algorithmic decision-making has been criticized for its potential to enhance discrimination, information and power asymmetry, and opacity. In this paper, we (...) provide an overview of available technical solutions to enhance fairness, accountability, and transparency in algorithmic decision-making. We also highlight the criticality and urgency to engage multi-disciplinary teams of researchers, practitioners, policy-makers, and citizens to co-develop, deploy, and evaluate in the real-world algorithmic decision-making processes designed to maximize fairness and transparency. In doing so, we describe the Open Algortihms project as a step towards realizing the vision of a world where data and algorithms are used as lenses and levers in support of democracy and development. (shrink)

In this book Bruno Latour brings together these different approaches to provide a lively and challenging analysis of science, demonstrating how social context..

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)

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 ...

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!

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.

In this paper, I analyse EE I 6, where Aristotle presented a famous methodological digression. Many interpreters have taken this chapter as advocating a dialectical procedure of enquiry. My claim is that Aristotle does not keep a dialectical attitude towards endoxa or phainomena in this chapter. In order to accomplish my goal, I shall show that EE I 6 does not provide enough evidence for the dialectical construal of it, and that this construal, in turn, hangs on some assumptions brought (...) out from other Aristotelian works (EN and Top.), which do not provide good evidence as well. By the analysis of these assumptions, I intend to show that Aristotle is not carrying out any sort of dialectic, especially dialectic conceived as conceptual analysis seeking the salvage of phainomena or endoxa. (shrink)

"Vi amo e vi sorrido da dove io sia": ricordo di Jacques Derida -- La cenere ci aspetta -- Il tono e la firma, l'eredità di Jacques Derida.

The purpose of this paper is an attempt to delimitate what the dialectical syllogism looks like in Aristotle’s Topics. Aristotle never gave an example of a dialectical syllogism, but we have some clues spread over books I and VIII of the Topics which make it possible to understand at least what within a dialectical debate is a dialectical syllogism. The interpretation advanced here distinguishes the logical order of the dialectical argumentation from the order of the debate. This distinction enables us (...) to have a better understand of what is and how the dialectical syllogism is identified in the debate. In addition, we can solve some interpretative difficulties other interpretations could not solve, and have a more solid grasp of how endoxa are used in a dialectical debate. (shrink)

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)

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.

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.

Short historical and cultural sketch of France’s decisive years during the Second World War, between occupation and resistance, re f racted by the prism of the Sartrean figure of the engagé intellectual, which was born out of this conjuncture of sharp political crisis. This sketch, however, is extracted out of my analysis of the int e r nal organization of what seems to be, at first sig ht, Sartre’s most d i s e ng a ged work, one that was (...) cons e c rated by tradition as a cons t e l l a t ion of ideas shining on the sky of ‘pure’ philosophy – ‘Being and Nothingness’. (shrink)

resumo Parte de um percurso em que tratamos de expor a estrutura filosófica L’Être et lê Néant , o presente estudo procura mostrar que essa obra é o ponto fundamental de transição onde se dá, no pensamento sartriano, a metamorfose de uma teoria do tempo como destino trágico numa teoria do tempo como “salvação”. Completa-se, aqui, o processo de radicalização de Heidegger efetivado por Sartre: do pessimismo próprio do Dasein, que caminha impotente e solitário para a morte, passamos ao otimismo (...) resultante da “descoberta” de uma temporalidade que “cura”. Na tentativa de compreender o sentido e a função dessa nova figura da temporalidade, desmontamos o mecanismo do curto-circuito especulativo que inverte, em EN, o sinal do “Tempo do Mundo” heideggeriano. Tal desmontagem levou-nos a surpreender o fio filosófico do livro entrelaçado numa trama históricoliterária. Ao examinar os termos desse reencontro da elaboração filosófica com a matéria viva da história, circunscrevendo uma zona em que estruturas díspares se interpenetram, terminamos por identificar o “conteúdo de experiência” cifrado no movimento especulativo dos conceitos desse que é considerado o mais “abstrato” tratado de Metafísica dos Tempos Modernos. Pretendendo apenas descrever as estruturas universais da realidade humana , Sartre dá com o cerne de uma conjuntura histórica precisa: não a matéria bruta, é claro, mas sua reconstrução política e literária, talhada nos moldes da Resistência e transposta para a forma filosófica de EN. palavras-chave Sartre – tempo – metafísica – política – literature. (shrink)