In times of crisis, one of the areas heavily affected has been food, as a direct consequence of the damage caused to family farming and therefore to Food and Nutrition Security (SAN). Climate change, in turn, causes widespread crises, which, due to their impact on humanity, and above all, on SAN, provide complex humanitarian crises, worsening hunger. The military conflict imposes difficulties in access to food and production. This study aimed to critically describe the panorama of climate change and armed (...) conflicts in Africa, relating them to the pandemic of COVID-19 as a factor of aggravating the situation of food insecurity in African countries. A literature review study was carried out in various databases, journals and portals for this purpose, with emphasis on Google Scholar, CAPES and governmental portals. The results point to climate change, as being multicausal, and constitute a risk factor for agriculture and SAN, in African countries, characterized by the destruction of crops and the reduction of food availability. Armed conflicts makes difficult to produce and distribute food, especially for people who’s affected. (shrink)

Motor Imagery reproduces cognitive operations associated with the actual motor preparation and execution. Postural recordings during MI reflect somatic motor commands targeting peripheral effectors involved in balance control. However, how these relate to the actual motor expertise and may vary along with the MI modality remains debated. In the present experiment, two groups of expert and non-expert gymnasts underwent stabilometric assessments while performing physically and mentally a balance skill. We implemented psychometric measures of MI ability, while stabilometric variables were calculated (...) from the center of pressure oscillations. Psychometric evaluations revealed greater MI ability in experts, specifically for the visual modality. Experts exhibited reduced surface COP oscillations in the antero-posterior axis compared to non-experts during the balance skill. Experts further exhibited reduced length of COP displacement in the antero-posterior axis and as a function of the displacement area during visual and kinesthetic MI compared to the control condition. Predictive relationships were found between the stabilometric correlates of visual MI and physical practice of the balance skill, as well as between the stabilometric correlates of kinesthetic MI and the training experience in experts. Present results provide original stabilometric insights into the relationships between MI and expertise level. While data support the incomplete inhibition of postural commands during MI, whether postural responses during MI of various modalities mirror the level of motor expertise remains unclear. (shrink)

O principal objetivo deste artigo é acompanhar o diálogo dos filósofos György Lukács e Carlos Nelson Coutinho acerca do legado literário de Franz Kafka. O núcleo de nossos esforços consiste na análise da tentativa de superação da abordagem lukacsiana por parte de Coutinho. Na realização dessa tarefa, conferimos atenção às dicas oferecidas pelo mestre húngaro ao discípulo baiano quanto aos limites de sua própria leitura de Kafka.

This paper is a defence of Lacan’s ontological interpretation of Freud’s theory of drive or instinct as being compatible with certain aspects in the way which Freud deals with the problem of drive or instinct in his own theory. According to Lacan, a negative ontology is the necessary compliment to Freud’s own considerations.

Este artigo analisa o conceito de fetichismo no interior da filosofia da música adorniana, a fim de mostrar como ele visa dar conta de uma ampla crítica aos processos de racionalização do material musical na modernidade ocidental. Para que o teor da crítica seja medido de maneira correta, devemos perceber como, no conceito adorniano de "fetichismo", convergem deliberadamente motivos de suas tradições de crítica ao fetichismo: a marxista e a psicanalítica. Tal estratégia nos permitirá compreender a razão pela qual o (...) conceito de mimesis é resgatado enquanto dispositivo de crítica ao fetichismo. (shrink)

The increasing application of artificial intelligence (AI) to healthcare raises both hope and ethical concerns. Some advanced machine learning methods provide accurate clinical predictions at the expense of a significant lack of explainability. Alex John London has defended that accuracy is a more important value than explainability in AI medicine. In this article, we locate the trade-off between accurate performance and explainable algorithms in the context of distributive justice. We acknowledge that accuracy is cardinal from outcome-oriented justice because it helps (...) to maximize patients’ benefits and optimizes limited resources. However, we claim that the opaqueness of the algorithmic black box and its absence of explainability threatens core commitments of procedural fairness such as accountability, avoidance of bias, and transparency. To illustrate this, we discuss liver transplantation as a case of critical medical resources in which the lack of explainability in AI-based allocation algorithms is procedurally unfair. Finally, we provide a number of ethical recommendations for when considering the use of unexplainable algorithms in the distribution of health-related resources. (shrink)

We present a new functional interpretation, based on a novel assignment of formulas. In contrast with Gödel’s functional “Dialectica” interpretation, the new interpretation does not care for precise witnesses of existential statements, but only for bounds for them. New principles are supported by our interpretation, including the FAN theorem, weak König’s lemma and the lesser limited principle of omniscience. Conspicuous among these principles are also refutations of some laws of classical logic. Notwithstanding, we end up discussing some applications of the (...) new interpretation to theories of classical arithmetic and analysis. (shrink)

It is well known that Frege's system in the Grundgesetze der Arithmetik is formally inconsistent. Frege's instantiation rule for the second-order universal quantifier makes his system, except for minor differences, full (i.e., with unrestricted comprehension) second-order logic, augmented by an abstraction operator that abides to Frege's basic law V. A few years ago, Richard Heck proved the consistency of the fragment of Frege's theory obtained by restricting the comprehension schema to predicative formulae. He further conjectured that the more encompassing Δ₁¹-comprehension (...) schema would already be inconsistent. In the present paper, we show that this is not the case. (shrink)

We construct a weak second-order theory of arithmetic which includes Weak König's Lemma (WKL) for trees defined by bounded formulae. The provably total functions (with Σ b 1 -graphs) of this theory are the polynomial time computable functions. It is shown that the first-order strength of this version of WKL is exactly that of the scheme of collection for bounded formulae.

This research investigated the metacognitive underpinnings of moral judgment. Participants in two studies were asked to provide quick intuitive responses to moral dilemmas and to indicate their fee...

In this paper, we intend to offer an interpretation about the explanation of the (relative) idea of pure substance in general on John Locke’s philosophy, from Thomas Reid’s notion of ‘natural suggestion’. To achieve this aim, after contextualizing Locke’s notion of pure substance in general and distinguishing it from the idea of particular substance (section 1), we explicit that Locke’s words about the source of the idea of the former in the mind (either empirical or rational) are ambiguous and inconclusive (...) (section 2). Then, we argue that the parallels between this idea and that of ‘relation’, as well as of ‘power’ do not assist in that answer, due to some problems we identify on them (section 3). Finally, we argue that the Reidian explanation for the source of the idea of ‘mind’, from the notion of ‘natural suggestion’ allows us to i) avoid those problems and ii) inasmuch as, according to this interpretation, the idea of pure substance in general would have an empirical source, Lockian empiricism would remain intact (section 4). (shrink)

In “Judy Benjamin is a Sleeping Beauty” (2010) Bovens recognises a certain similarity between the Sleeping Beauty (SB) and the Judy Benjamin (JB). But he does not recognise the dissimilarity between underlying protocols (as spelled out in Shafer (1985). Protocols are expressed in conditional probability tables that spell out the probability of coming to learn various propositions conditional on the actual state of the world. The principle of total evidence requires that we not update on the content of the proposition (...) learned but rather on the fact that we learn the proposition in question. Now attention to protocols drives a wedge between the SB and the JB. We have shown that the solution to a close variant of the SB which involves a clear protocol is P*(Heads) = 1/3 and since Beauty’s has precisely the same information at her disposal in the original SB at the time that she is asked to state her credence for Heads, the same solution should hold. The solution to the JB, on the other hand, is dependent on Judy’s probability distribution over protocols. One reasonable protocol yields P(Red) = 1/2, but Judy could also defend alternative values or a range of values in the interval [1/3, 1/2] depending on her probability distribution over protocols. (shrink)

It has been known for six years that the restriction of Girard's polymorphic system $\text{\bfseries\upshape F}$ to atomic universal instantiations interprets the full fragment of the intuitionistic propositional calculus. We firstly observe that Tait's method of “convertibility” applies quite naturally to the proof of strong normalization of the restricted Girard system. We then show that each $\beta$-reduction step of the full intuitionistic propositional calculus translates into one or more $\beta\eta$-reduction steps in the restricted Girard system. As a consequence, we obtain (...) a novel and perspicuous proof of the strong normalization property for the full intuitionistic propositional calculus. It is noticed that this novel proof bestows a crucial role to $\eta$-conversions. (shrink)

Intellectual humility (IH) is often conceived as the recognition of, and appropriate response to, your own intellectual limitations. As far as we are aware, only a handful of studies look at interventions to increase IH – e.g. through journalling – and no study so far explores the extent to which having high or low IH can be predicted. This paper uses machine learning and natural language processing techniques to develop a predictive model for IH and identify top terms and features (...) that indicate degrees of IH. We trained our classifier on the dataset from an existing psychological study on IH, where participants were asked to journal their experiences with handling social conflicts over 30 days. We used Logistic Regression (LR) to train a classifier and the Linguistic Inquiry and Word Count (LIWC) dictionaries for feature selection, picking out a range of word categories relevant to interpersonal relationships. Our results show that people who differ on IH do in fact systematically express themselves in different ways, including through expression of emotions (i.e., positive, negative, and specifically anger, anxiety, sadness, as well as the use of swear words), use of pronouns (i.e., first person, second person, and third person) and time orientation (i.e., past, present, and future tenses). We discuss the importance of these findings for IH and the value of using such techniques for similar psychological studies, as well as some ethical concerns and limitations with the use of such semi-automated classifications. (shrink)

Este artigo busca encontrar na teoria crítica da racionalidade moderna de Jürgen Habermas (1929-) elementos de uma paideia. O primeiro tópico lança o substrato epistemológico sobre a existência das racionalidades estratégica e comunicativa. O segundo, afirma que o desengate entre o sistema e o mundo da vida, e a colonização deste por aquele, causam as patologias modernas e colaboram para a formulação de pedagogias coordenadas pela ação estratégica. O terceiro, propõe que o reacoplamento do sistema ao mundo vivido proporciona que (...) todas as dimensões da existência humana sejam orientadas pela ação comunicativa, na qual se encontram os traços de uma paideia emancipadora e revolucionária. (shrink)

In Frege’s logicism, numbers are logical objects in the sense that they are extensions of certain concepts. Frege’s logical system is inconsistent, but Richard Heck showed that its restriction to predicative quantification is consistent. This predicative fragment is, nevertheless, too weak to develop arithmetic. In this paper, I will consider an extension of Heck’s system with impredicative quantifiers. In this extended system, both predicative and impredicative quantifiers co-exist but it is only permissible to take extensions of concepts formulated in the (...) predicative fragment of the language. This system is consistent. Moreover, it proves the principle of reducibility applied to concepts true of only finitely many objects. With the aid of this form of reducibility, it is possible to develop arithmetic in a thoroughly Fregean way. (shrink)

The increasing use of digital technologies in judicial and arbitration proceedings increases the usage of digital evidence by the parties, which brings the necessity of creating patterns for adjudicators to admit and assess this new type of evidence. This paper generally addresses digital evidence focusing on the second moment in international arbitration proceedings. It also narrows the topic to hacked and leaked evidence and its admissibility in international arbitration. The literature review showed a significant amount of research devoted to the (...) evidence in arbitration. Some considered electronic evidence within one jurisdiction; others focused on certain forms of digital evidence such as electronic signatures. Papers on digital evidence in international arbitration approach arbitration rules for digital evidence but skip admissibility issues. No systemic and complex works research digital evidence in arbitration, explicitly focusing on the admissibility of hacked and leaked digital evidence from a comparative perspective. Also, no research deals with enforcing international arbitration awards relying on illegally obtained digital evidence. In these cases, there could be a possible violation of domestic public policy under the New York Convention terms (art. V, 2, b). That is why the paper aims to offer the concept of digital evidence in international arbitration, including hacked and leaked evidence, criteria of its admissibility and relevance, and design the arbitration guidelines for assessing hacked and leaked evidence. Comparative legal analysis of the international arbitration rules and national procedure law allowed us to compare the regulatory approaches to the definition of digital evidence and its admissibility worldwide. The method of legal modeling allowed designing model guidelines for arbitral tribunals to evaluate the admissibility and relevance of digital evidence, including hacked and leaked evidence. Moreover, the case study method allowed us to analyze jurisprudence and define criteria for admission of hacked and leaked evidence. We conclude that the admissibility of hacked and leaked evidence depends solely on the arbitrator’s broad discretion to assess the evidence. Nevertheless, thorough evidence analysis and a well-reasoned award are always mandatory. (shrink)

We introduce a new typed combinatory calculus with a type constructor that, to each type σ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\sigma$$\end{document}, associates the star type σ∗\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\sigma ^*$$\end{document} of the nonempty finite subsets of elements of type σ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\sigma$$\end{document}. We prove that this calculus enjoys the properties of strong normalization and confluence. With the aid of this star combinatory (...) calculus, we define a functional interpretation of first-order predicate logic and prove a corresponding soundness theorem. It is seen that each theorem of classical first-order logic is connected with certain formulas which are tautological in character. As a corollary, we reprove Herbrand’s theorem on the extraction of terms from classically provable existential statements. (shrink)

Commuting conversions were introduced in the natural deduction calculus as ad hoc devices for the purpose of guaranteeing the subformula property in normal proofs. In a well known book, Jean-Yves Girard commented harshly on these conversions, saying that ‘one tends to think that natural deduction should be modified to correct such atrocities.’ We present an embedding of the intuitionistic predicate calculus into a second-order predicative system for which there is no need for commuting conversions. Furthermore, we show that the redex (...) and the conversum of a commuting conversion of the original calculus translate into equivalent derivations by means of a series of bidirectional applications of standard conversions. (shrink)

We study an alternative embedding of IPC into atomic system F whose translation of proofs is based, not on instantiation overflow, but instead on the admissibility of the elimination rules for disjunction and absurdity. As compared to the embedding based on instantiation overflow, the alternative embedding works equally well at the levels of provability and preservation of proof identity, but it produces shorter derivations and shorter simulations of reduction sequences. Lambda-terms are employed in the technical development so that the algorithmic (...) content is made explicit, both for the alternative and the original embeddings. The investigation of preservation of proof-reduction steps by the alternative embedding enables the analysis of generation of “administrative” redexes. These are the key, on the one hand, to understand the difference between the two embeddings; on the other hand, to understand whether the final word on the embedding of IPC into atomic system F has been said. (shrink)

Neurath’s scientific utopianism is the proposal that the social sciences should engage in the elaboration, development, and comparison of counterfactual scenarios, the ‘utopias’. Such scenarios can be understood as centerpieces of scientific thought experiments, that is, in exercises of imagination that not only promote conceptual revision, but also stimulate creativity to deal with experienced problems, as utopias are efforts to imagine what the future could look like. Moreover, utopian thought experiments can offer scientific knowledge to inform political debates and decisions, (...) contributing to the shaping of society. This essay reconstructs a historical event as an example of Neurath’s utopianist methodology. In the late 1970s and early 1980s, a scientific and political commission appointed by the Western German Parliament devised and compared four scenarios for future energetic-economic policies. Conclusions of the commission informed political decisions that put Western (later reunified) Germany in a route towards becoming a green industrial power. A fundamental part of the commission’s work involved an appeal to imagination, allowing for the characterization under Neurath’s methodology. (shrink)

We define a notion of realizability, based on a new assignment of formulas, which does not care for precise witnesses of existential statements, but only for bounds for them. The novel form of realizability supports a very general form of the FAN theorem, refutes Markov's principle but meshes well with some classical principles, including the lesser limited principle of omniscience and weak König's lemma. We discuss some applications, as well as some previous results in the literature.

The sense of shared values is a specific aspect of human sociality. It originates from reciprocal social exchanges that include imitation, and empathy, but also negotiation from which meanings, values and norms are eventually constructed with others. Research suggests that this process starts from birth via imitation and mirroring processes that are important foundations of sociality providing a basic sense of social connectedness and mutual acknowledgment with others. From the second month, mirroring, imitative and other contagious responses are bypassed. Neonatal (...) imitation gives way to first signs of reciprocation (primary intersubjectivity), and joint attention in reference to objects (secondary intersubjectivity). We review this development and propose a third level of intersubjectivity, that is the emergence of values that are jointly represented and negotiated with others, as well as the development of an ethical stance accompanying emerging theories of mind from about 4 years of age. We propose that tertiary intersubjectivity is an ontogenetically new process of value negotiation and mutual recognition that are the cardinal trademarks of human sociality. (shrink)

Resumo Este artigo apresenta um referencial pragmatista para compreender o estatuto epistêmico da valoração que é produzida na reflexão acerca das consequências sociais de propostas científicas e tecnológicas. O problema é posto, seguindo-se as considerações de Bertrand Russell sobre o impacto da ciência na sociedade. Russell argumenta que a valoração de arranjos sociais fica fora dos limites do conhecimento, porque valorações não podem ser verdadeiras ou falsas, em sentido correspondencial. Isso leva o pensamento social a um impasse, pois não se (...) pode saber que dado arranjo social seria indesejável ou inadequado. Este texto esboça uma alternativa, a partir dos trabalhos sobre valoração de Clarence Irving Lewis, tomados em continuidade com a teoria da investigação de John Dewey. Esse referencial alternativo assume noções epistêmicas de verdade e justificação, o que permite que valorações possam ser concebidas em contextos de investigação e, assim, como objetos de conhecimento.This article presents a pragmatist framework to understand the epistemic status of valuations produced upon reflection on social consequences of scientific and technological proposals. The problem is set following Bertrand Russell’s considerations on the impact of science on society. Russell argues that valuating social arrangements falls beyond the limits of knowledge, because valuations cannot be true or false in the sense of correspondence. This leads social thought to a deadlock, since one cannot know that a given social arrangement would be undesirable or inadequate. This article sketches an alternative from Clarence Irving Lewis’s works on valuation taken in continuity with John Dewey’s theory of inquiry. This alternative framework assumes epistemic notions of truth and justification, allowing that valuations can be construed in contexts of inquiry and thus as objects of knowledge. (shrink)

An ordering (≤K) on maximal almost disjoint (MAD) families closely related to destructibility of MAD families by forcing is introduced and studied. It is shown that the order has antichains of size.

Este ensaio visa refletir sobre as questões de tradução levantadas por Jacques Derrida (1987), questões essas que não chegam a formalizar uma teoria da tradução, mas têm elas o ato de traduzir o original como veredas a ser percorridas por um sujeito endividado, ou seja, o tradutor. No dizer de Derrida, “a tarefa do tradutor indica a lei e a missão outorgada pelo outro a que o tradutor deve responder”. Neste sentido, entendemos aqui a tradução como um ato de diálogo, (...) de negociação, uma vez que a língua, nesta perspectiva, é aquilo que não se deixa possuir. Com isso, os problemas da tradução são - de um lado - o problema da língua, de sua natureza heterogênea, fugidia; e, do outro, do modelo tradicional de tradução que se apoia na concepção de língua como algo homogêneo em que a diversidade, o diferente são vistos como pecado, como transgressão da linguagem (adâmica). (shrink)

Two questions frame this response to Amin’s article ‘The Remainders of Race’. It first introduces an epistemological question that recognizes the impossibility of separating ontology and epistemology in modern thought and asks why contemporary studies of racial subjugation so infrequently consider the concept of race’s onto-epistemological function. The second, methodological, question necessarily follows. Acknowledging that ‘the what of race’ cannot be separated from the ‘how of race’ makes it crucial to ask why the former is no longer considered in most (...) analyses of the latter. There follows a mapping of the context of emergence of political-symbolic strategies that carve out racial difference and cultural difference as human (moral) attributes. The article shows that, rather than an extraneous notion or a referent of a natural (god-given) human attribute, the concept of race is the modern ethico-political device that refigures the workings of scientific universality in political and ethical texts. What this does is to enable the argument that, instead of manifestations of human ‘sorting’ instincts, the operatives (juridical, economic and symbolic) of raciality proliferating in the global present consist of biopolitical architectures, mechanisms and procedures designed and assembled with the main tools of racial power/knowledge, namely racial and cultural difference. (shrink)

This theoretical essay gathers reflections from three publications by Jürgen Habermas from the 1960s that can contribute to the study of the public communication of science. We use these ideas to create a graphical representation that summarizes a desirable dynamic for practice while considering information flows that pass through politicized universities, the social life-world and the context of political decisions. This essay considers the inclusion of the public in the scientific agenda and in policy decisions related to that agenda. A (...) concept of public communication of dialogical science—now widely advocated but still difficult to operationalize—is present in the German philosopher’s thinking in books published more than 50 years ago. (shrink)

In the course of ten short sections, we comment on Gödel's seminal dialectica paper of fifty years ago and its aftermath. We start by suggesting that Gödel's use of functionals of finite type is yet another instance of the realistic attitude of Gödel towards mathematics, in tune with his defense of the postulation of ever increasing higher types in foundational studies. We also make some observations concerning Gödel's recasting of intuitionistic arithmetic via the dialectica interpretation, discuss the extra principles that (...) the interpretation validates and comment on extensionality and higher order equality. The latter sections focus on the role of majorizability considerations within the dialectica and related interpretations for extracting computational information from ordinary proofs in mathematics. (shrink)

During the last few decades, the historical turn within the tradition of the analytic tradition has experienced growing enthusiasm concerning the procedure of rational reconstruction, whose validity or importance, despite its paradigmatic examples in Frege and Russell, has not always enjoyed a consensus. Among the analytic philosophers who are the frontrunners of this movement, Robert Brandom is one of a kind: his work on Hegel as well as on German Idealism has been increasing interest in, as well as awareness of, (...) Hegel´s possible contributions to some current problems in that tradition, and connecting Hegel scholars to current questions. Thus, this work aims to explore Brandom´s methodology of rational reconstruction, as well as his dialogue with history of Philosophy, mainly exposed in his Tales of the mighty dead (2002). As we will see, Brandom´s distinction between a de dicto and a de re approach intends to present a way of identifying and analyzing a given philosopher´s theoretical (hidden) commitments that can be useful to improve the quality of the dialogue with past philosophers. From such methodological exposition, I to turn to Kierkegaard in order to make explicit some of his ontological commitments and presenting Brandom’s approach as a valuable tool for doing history of philosophy. (shrink)

In this article we study applications of the bounded functional interpretation to theories of feasible arithmetic and analysis. The main results show that the novel interpretation is sound for considerable generalizations of weak König’s Lemma, even in the presence of very weak induction. Moreover, when this is combined with Cook and Urquhart’s variant of the functional interpretation, one obtains effective versions of conservation results regarding weak König’s Lemma which have been so far only obtained non-constructively.

"Meaning, the complex phenomenon of individuation and the definition of identity are the core theme of this work. Grounded on a theoretical framework that gives particular emphasis to the semiotic process common to all forms of cognition, human cognitionis conceived here as specific of organisms that, in the course of their interactions, produce symbolic forms, defining the specific physical, social and cultural environments in which they evolve. Individuation, inherent to that semiotic process, is complex and double-sided. It involves, on one (...) hand, the definition of semantic identities and their acknowledgment as world objects naming; on the other hand, it comprehends the specific lexical and morphosyntactic strategies different languages have found todesignate particular entities referring. The definition of world objects and its symbolic translation presents variations from language to language. In the second part of the book, we define what we have called a 'structure-motivated ontology' to represent how this symbolic translation is accomplished in English and European Portuguese. Plus, we try to show how the nature of this symbolic translation affects structural realisation, namely the individuation of reference and the construal of 'one-off referring' expressions."--Publisher's description. (shrink)

Neurath’s approach to the problem of the unity of science is different from conceptions we may call traditional, to know, those that consider that what unites in one single concept the diverse sciences is the adoption of a method, or those that defend that this is carried through by certain characteristics which can be found in the body of knowledge considered scientific. Neurath’s stance also diverges from the standpoint that there is no unifying factor for science, that is, the view (...) that the different sciences are only classified under such concept because of the historical origin of such activities. Neurath’s proposal is to consider science as an attitude, a posture in relation to the problems of the world, the scientific world-conception. This text presents such approach in connection to the aspect of social transformation that can be found in Neurath’s thought. This is done following a comprehension of the ideas of the Vienna Circle, seeking to understand a continuity among the ideas of the members of such group, especially Neurath and Carnap. The present text aims, as well, at recovering the Neurathian idea that we can use a philosophical approach to science to struggle against the problems of the world. (shrink)