Public decisions concerning large projects with detrimental environmental or heritage impacts involve value conflicts which stem from the diverse interests and variety of ways of evaluating the costs and benefits of such projects. They are also framed by institutionalised procedures and practices which favour certain concerns to the detriment of others. This paper aims to contribute towards a better understanding of how these procedures and practices, namely decision support tools such as the Environmental Impact Assessment (EIA), tend to shape public (...) decision-making processes in particular ways. It draws on a study of the public controversy surrounding the Foz Tua dam in Portugal, with a focus on the values upheld by the different parties in the controversy and their interplay in the production of justifications, specifically the actors’ positions on values and value conflicts and the restrictions posed by institutionalised public decision-making procedures on the expression and consideration of certain values. (shrink)

In this paper we study a reducibility that has been introduced by Klaus Weihrauch or, more precisely, a natural extension for multi-valued functions on represented spaces. We call the corresponding equivalence classes Weihrauch degrees and we show that the corresponding partial order induces a lower semi-lattice. It turns out that parallelization is a closure operator for this semi-lattice and that the parallelized Weihrauch degrees even form a lattice into which the Medvedev lattice and the Turing degrees can be embedded. The (...) importance of Weihrauch degrees is based on the fact that multi-valued functions on represented spaces can be considered as realizers of mathematical theorems in a very natural way and studying the Weihrauch reductions between theorems in this sense means to ask which theorems can be transformed continuously or computably into each other. As crucial corner points of this classification scheme the limited principle of omniscience LPO, the lesser limited principle of omniscience LLPO and their parallelizations are studied. It is proved that parallelized LLPO is equivalent to Weak Kőnig's Lemma and hence to the Hahn—Banach Theorem in this new and very strong sense. We call a multi-valued function weakly computable if it is reducible to the Weihrauch degree of parallelized LLPO and we present a new proof, based on a computational version of Kleene's ternary logic, that the class of weakly computable operations is closed under composition. Moreover, weakly computable operations on computable metric spaces are characterized as operations that admit upper semi-computable compact-valued selectors and it is proved that any single-valued weakly computable operation is already computable in the ordinary sense. (shrink)

The investigation of computational properties of discontinuous functions is an important concern in computable analysis. One method to deal with this subject is to consider effective variants of Borel measurable functions. We introduce such a notion of Borel computability for single-valued as well as for multi-valued functions by a direct effectivization of the classical definition. On Baire space the finite levels of the resulting hierarchy of functions can be characterized using a notion of reducibility for functions and corresponding complete functions. (...) We use this classification and an effective version of a Selection Theorem of Bhattacharya-Srivastava in order to prove a generalization of the Representation Theorem of Kreitz-Weihrauch for Borel measurable functions on computable metric spaces: such functions are Borel measurable on a certain finite level, if and only if they admit a realizer on Baire space of the same quality. This Representation Theorem enables us to introduce a realizer reducibility for functions on metric spaces and we can extend the completeness result to this reducibility. Besides being very useful by itself, this reducibility leads to a new and effective proof of the Banach-Hausdorff-Lebesgue Theorem which connects Borel measurable functions with the Baire functions. Hence, for certain metric spaces the class of Borel computable functions on a certain level is exactly the class of functions which can be expressed as a limit of a pointwise convergent and computable sequence of functions of the next lower level. (shrink)

In view of the posthumous Nietzschean writings, written between the years 1872 and 73, the scope of this paper is to investigate the place and function of philosopher in culture. We will analyze to what extent Nietzsche thought the nature of philosophical framework and the complex relation that philosophy establishes with science and with art. Regarding its edifying purposes, philosophy departs from the aims of science, which is the production of pure knowledge, and goes towards the uplifting goal of art.

In a previous work, we have shown that the null result of the Michelson–Morley experiment in vacuum is deeply connected with the notion of time. The same is true for the postulate of constancy of the two-way speed of light in vacuum in all frames independently of the state of motion of the emitting body. The argumentation formerly given is very general and has to be true not only within Special Relativity and its “equivalence” of all inertial frames, but as (...) well as in Lorentz-Poincaré scenario of a preferred reference frame. This paper is the second of a trilogy intending to revisit the foundations of Special Relativity, and addresses the question of the constancy of the one-way speed of light and of the differences and similarities between both scenarios. Although they manifestly differ in philosophy, it is debated why and how the assumption of a “special system of reference experimentally inaccessible” is indeed compatible with Einstein’s Special Relativity, as beautifully outlined and discussed by Bell [Speakable and Unspeakable in Quantum Mechanics (Cambridge University Press, Cambridge, 1988)]. This rather trivial statement is still astonishing nowadays to a big majority of scientists. The purpose of this work is to bring such assertion into perspective, widening the somewhat narrow view of Special Relativity often presented in textbooks and scientific papers. (shrink)

We prove that the Weihrauch lattice can be transformed into a Brouwer algebra by the consecutive application of two closure operators in the appropriate order: first completion and then parallelization. The closure operator of completion is a new closure operator that we introduce. It transforms any problem into a total problem on the completion of the respective types, where we allow any value outside of the original domain of the problem. This closure operator is of interest by itself, as it (...) generates a total version of Weihrauch reducibility that is defined like the usual version of Weihrauch reducibility, but in terms of total realizers. From a logical perspective completion can be seen as a way to make problems independent of their premises. Alongside with the completion operator and total Weihrauch reducibility we need to study precomplete representations that are required to describe these concepts. In order to show that the parallelized total Weihrauch lattice forms a Brouwer algebra, we introduce a new multiplicative version of an implication. While the parallelized total Weihrauch lattice forms a Brouwer algebra with this implication, the total Weihrauch lattice fails to be a model of intuitionistic linear logic in two different ways. In order to pinpoint the algebraic reasons for this failure, we introduce the concept of a Weihrauch algebra that allows us to formulate the failure in precise and neat terms. Finally, we show that the Medvedev Brouwer algebra can be embedded into our Brouwer algebra, which also implies that the theory of our Brouwer algebra is Jankov logic. (shrink)

The classical Hahn–Banach Theorem states that any linear bounded functional defined on a linear subspace of a normed space admits a norm-preserving linear bounded extension to the whole space. The constructive and computational content of this theorem has been studied by Bishop, Bridges, Metakides, Nerode, Shore, Kalantari Downey, Ishihara and others and it is known that the theorem does not admit a general computable version. We prove a new computable version of this theorem without unrolling the classical proof of the (...) theorem itself. More precisely, we study computability properties of the uniform extension operator which maps each functional and subspace to the set of corresponding extensions. It turns out that this operator is upper semi-computable in a well-defined sense. By applying a computable version of the Banach–Alaoglu Theorem we can show that computing a Hahn–Banach extension cannot be harder than finding a zero in a compact metric space. This allows us to conclude that the Hahn–Banach extension operator is ${\bf {\Sigma^{0}_{2}}}$ -computable while it is easy to see that it is not lower semi-computable in general. Moreover, we can derive computable versions of the Hahn–Banach Theorem for those functionals and subspaces which admit unique extensions. (shrink)

We systematically study the completion of choice problems in the Weihrauch lattice. Choice problems play a pivotal rôle in Weihrauch complexity. For one, they can be used as landmarks that characterize important equivalences classes in the Weihrauch lattice. On the other hand, choice problems also characterize several natural classes of computable problems, such as finite mind change computable problems, non-deterministically computable problems, Las Vegas computable problems and effectively Borel measurable functions. The closure operator of completion generates the concept of total (...) Weihrauch reducibility, which is a variant of Weihrauch reducibility with total realizers. Logically speaking, the completion of a problem is a version of the problem that is independent of its premise. Hence, studying the completion of choice problems allows us to study simultaneously choice problems in the total Weihrauch lattice, as well as the question which choice problems can be made independent of their premises in the usual Weihrauch lattice. The outcome shows that many important choice problems that are related to compact spaces are complete, whereas choice problems for unbounded spaces or closed sets of positive measure are typically not complete. (shrink)

Normative theories of argumentation tend to assume that logical and dialectical rules suffice to ensure the rationality of argumentative discourse. Yet, in everyday debates people use arguments that seem valid in light of such rules but nonetheless biased and tendentious. This article seeks to show that the rationality of argumentation can only be fully promoted if we take into account its ethical dimension. To substantiate this claim, I review some of the empirical evidence indicating that people’s inferential reasoning is systematically (...) affected by a variety of biases and heuristics. Insofar as these cognitive illusions are typically unintentional, it appears that arguers may be biased despite their well-intended efforts to follow the rules of critical argumentation. Nevertheless, I argue that people remain responsible for the rationality of their arguments, given that there are a number of measures that they can (and ought to) take to avoid such distortions. I highlight the importance of argumentational virtues and critical thinking to rational debates, and describe a set of indirect strategies of “argumentative self-control”. (shrink)

In this paper we study a new approach to classify mathematical theorems according to their computational content. Basically, we are asking the question which theorems can be continuously or computably transferred into each other? For this purpose theorems are considered via their realizers which are operations with certain input and output data. The technical tool to express continuous or computable relations between such operations is Weihrauch reducibility and the partially ordered degree structure induced by it. We have identified certain choice (...) principles such as co-finite choice, discrete choice, interval choice, compact choice and closed choice, which are cornerstones among Weihrauch degrees and it turns out that certain core theorems in analysis can be classified naturally in this structure. In particular, we study theorems such as the Intermediate Value Theorem, the Baire Category Theorem, the Banach Inverse Mapping Theorem, the Closed Graph Theorem and the Uniform Boundedness Theorem. We also explore how existing classifications of the Hahn—Banach Theorem and Weak Kőnig's Lemma fit into this picture. Well-known omniscience principles from constructive mathematics such as LPO and LLPO can also naturally be considered as Weihrauch degrees and they play an important role in our classification. Based on this we compare the results of our classification with existing classifications in constructive and reverse mathematics and we claim that in a certain sense our classification is finer and sheds some new light on the computational content of the respective theorems. Our classification scheme does not require any particular logical framework or axiomatic setting, but it can be carried out in the framework of classical mathematics using tools of topology, computability theory and computable analysis. We develop a number of separation techniques based on a new parallelization principle, on certain invariance properties of Weihrauch reducibility, on the Low Basis Theorem of Jockusch and Soare and based on the Baire Category Theorem. Finally, we present a number of metatheorems that allow to derive upper bounds for the classification of the Weihrauch degree of many theorems and we discuss the Brouwer Fixed Point Theorem as an example. (shrink)

O foco deste trabalho repousa sobre um certo caminho histórico percorrido pela ciência, como um todo, no sentido desta se despir de qualquer revestimento metafísico e que teve como marco incontornável a criação, em 1929, do Círculo de Viena. Abordamos algumas tendências e limitações desse movimento e argumentamos que o metafísico terá sempre um espaço no seio mais íntimo da reflexão científica. Este trabalho foi realizado no âmbito da disciplina de Filosofia das Ciências I, parte do curso de Filosofia da (...) Faculdade de Letras da Universidade do Porto, Portugal. (shrink)

In this article I argue that most biases in argumentation and decision-making can and should be counteracted. Although biases can prove beneficial in certain contexts, I contend that they are generally maladaptive and need correction. Yet critical thinking alone seems insufficient to mitigate biases in everyday contexts. I develop a contextualist approach, according to which cognitive debiasing strategies need to be supplemented by extra-psychic devices that rely on social and environmental constraints in order to promote rational reasoning. Finally, I examine (...) several examples of contextual debiasing strategies and show how they can contribute to enhance critical thinking at a cognitive level. (shrink)

Neste trabalho abordamos a obra de Francis Bacon e as suas contribuições para a Filosofia da Ciência, incluindo a sua proposta de método científico e o seu posicionamento crítico face à anterior versão aristotélica e a influência que o pensamento baconiano exerceu na promoção de um novo quadro filosófico para o desenvolvimento científico na modernidade. Este trabalho foi realizado no âmbito da disciplina de Filosofia das Ciências I, parte do curso de Filosofia da Faculdade de Letras da Universidade do Porto, (...) Portugal. (shrink)

Matthias Schröder has asked the question whether there is a weakest discontinuous problem in the topological version of the Weihrauch lattice. Such a problem can be considered as the weakest unsolvable problem. We introduce the discontinuity problem, and we show that it is reducible exactly to the effectively discontinuous problems, defined in a suitable way. However, in which sense this answers Schröder’s question sensitively depends on the axiomatic framework that is chosen, and it is a positive answer if we work (...) in Zermelo–Fraenkel set theory with dependent choice and the axiom of determinacy $\mathsf {AD}$. On the other hand, using the full axiom of choice, one can construct problems which are discontinuous, but not effectively so. Hence, the exact situation at the bottom of the Weihrauch lattice sensitively depends on the axiomatic setting that we choose. We prove our result using a variant of Wadge games for mathematical problems. While the existence of a winning strategy for Player II characterizes continuity of the problem (as already shown by Nobrega and Pauly), the existence of a winning strategy for Player I characterizes effective discontinuity of the problem. By Weihrauch determinacy we understand the condition that every problem is either continuous or effectively discontinuous. This notion of determinacy is a fairly strong notion, as it is not only implied by the axiom of determinacy $\mathsf {AD}$, but it also implies Wadge determinacy. We close with a brief discussion of generalized notions of productivity. (shrink)

This article first points out that attempts to establish the fo u ndations of an existent ial psycho a nalysis are always pre s e nt in Sartre’s philosophy. After pre s e nt i ng philosophies that are inc o r p o rated and re c reated in the process of giving shape to the project of existent ial psycho a nalysis, it gives examples of how this psycho a nalysis should be. At end, the article suggests in (...) what way Sartre’s criticism to Fre ud ian psycho a nalysis can today ins p i re cont e m p o rary Brazilian psychoanalytical thinking. (shrink)

Neste breve ensaio, exploramos alguns caminhos de uma controvérsia milenar em torno do estatuto dos entes matemáticos e apresentamos alguns argumentos a favor de uma posição platonista, aproximadamente clássica, sobre o tema. Este trabalho foi realizado no âmbito da disciplina de Filosofia das Ciências II, parte do curso de Filosofia da Faculdade de Letras da Universidade do Porto, Portugal.

Neste trabalho nos ocupamos centralmente em compreender a proposta ética de Hans Jonas e como ele apresenta o Princípio Responsabilidade como uma categoria ética a ser norteadora das ações humanas. Apresentamos um breve histórico do desenvolvimento da Filosofia da Tecnologia enquanto uma disciplina filosófica específica e, então, discutimos as principais considerações de Jonas sobre a necessidade de uma ética inteiramente nova que tome a técnica como objeto e a proposta que este apresente de uma ética do futuro pautada na responsabi (...) lidade enquanto princípio. (shrink)

Neste trabalho abordamos as contribuições de Larry Laudan para a questão do progresso científico. O modelo proposto, baseado na eficácia das teorias na resolução de problemas, serve de ponto de partida para uma breve reflexão sobre a influência contemporânea que as dificuldades de visão do mundo exercem sobre o desenvolvimento das ciências. Este trabalho foi realizado no âmbito da disciplina de Filosofia das Ciências II, parte do curso de Filosofia da Faculdade de Letras da Universidade do Porto, Portugal.

We study the uniform computational content of different versions of the Baire category theorem in the Weihrauch lattice. The Baire category theorem can be seen as a pigeonhole principle that states that a complete metric space cannot be decomposed into countably many nowhere dense pieces. The Baire category theorem is an illuminating example of a theorem that can be used to demonstrate that one classical theorem can have several different computational interpretations. For one, we distinguish two different logical versions of (...) the theorem, where one can be seen as the contrapositive form of the other one. The first version aims to find an uncovered point in the space, given a sequence of nowhere dense closed sets. The second version aims to find the index of a closed set that is somewhere dense, given a sequence of closed sets that cover the space. Even though the two statements behind these versions are equivalent to each other in classical logic, they are not equivalent in intuitionistic logic, and likewise, they exhibit different computational behavior in the Weihrauch lattice. Besides this logical distinction, we also consider different ways in which the sequence of closed sets is “given.” Essentially, we can distinguish between positive and negative information on closed sets. We discuss all four resulting versions of the Baire category theorem. Somewhat surprisingly, it turns out that the difference in providing the input information can also be expressed with the jump operation. Finally, we also relate the Baire category theorem to notions of genericity and computably comeager sets. (shrink)

In this article I argue that most biases in argumentation and decision-making can and should be counteracted. Although biases can prove beneficial in certain contexts, I contend that they are generally maladaptive and need correction. Yet critical thinking alone seems insufficient to mitigate biases in everyday contexts. I develop a contextualist approach, according to which cognitive debiasing strategies need to be supplemented by extra-psychic devices that rely on social and environmental constraints in order to promote rational reasoning. Finally, I examine (...) several examples of contextual debiasing strategies and show how they can contribute to enhance critical thinking at a cognitive level. (shrink)

Review & Reply. Review of Gonçalves, R.T. (tr.) Lucrécio. Sobre a Natureza das Coisas(2021).

Este artigo parte do entendimento de que a cientificidade na pedagogia exigiu desta área do conhecimento suprimir a experiência como elemento vital da formação do homem, enquanto elevava a comprovação e regularidade do experimento ao patamar de destaque nos seus processos. A partir desta consideração, pretende-se tratar da transformação do conceito de experiência no campo educativo. Inicialmente, abordam-se as questões relacionadas à terminologia e significação do conceito “experiência” e sua possível transformação em “experimento”, e os desdobramentos dessa transição no campo (...) pedagógico. Na sequência, analisa-se a transformação do valor da experiência que passa a ser reconhecida enquanto experimento científico aplicado à pedagogia. Para tanto, apresenta-se, a partir da leitura da literatura educacional especializada, sobretudo os manuais dedicados à formação de professores, como é abordada a temática da Pedagogia Científica, ou seja, a construção dos discursos acerca da modernização da educação por meio de obras que apresentaram expressiva circulação no Brasil durante século XX. Dentre os resultados foi possível apreender o estabelecimento de uma pedagogia do experimento, ou, em outros termos, uma biopsicopedagogia como modelo estruturante do campo teórico da pedagogia com repercussão na formação de professores, e na predominância da problemática do ensino e da aprendizagem, ou seja, a intervenção metodológica em detrimento da formação integral do homem. Por fim, chega-se à conclusão de que se está, de um lado, diante dos impeditivos de realização da experiência e, de outro lado, diante de uma demanda, cada vez mais presente, de romper com o modelo pedagógico da modernidade, rumo aos novos desafios da educação de um homem que não se deixa mais ser, simplesmente, formado. Palavras-chave: Experiência. Experimento. Educação. Pedagogia. (shrink)

We study the computational content of the Brouwer Fixed Point Theorem in the Weihrauch lattice. Connected choice is the operation that finds a point in a non-empty connected closed set given by negative information. One of our main results is that for any fixed dimension the Brouwer Fixed Point Theorem of that dimension is computably equivalent to connected choice of the Euclidean unit cube of the same dimension. Another main result is that connected choice is complete for dimension greater than (...) or equal to two in the sense that it is computably equivalent to Weak Kőnig’s Lemma. While we can present two independent proofs for dimension three and upward that are either based on a simple geometric construction or a combinatorial argument, the proof for dimension two is based on a more involved inverse limit construction. The connected choice operation in dimension one is known to be equivalent to the Intermediate Value Theorem; we prove that this problem is not idempotent in contrast to the case of dimension two and upward. We also prove that Lipschitz continuity with Lipschitz constants strictly larger than one does not simplify finding fixed points. Finally, we prove that finding a connectedness component of a closed subset of the Euclidean unit cube of any dimension greater than or equal to one is equivalent to Weak Kőnig’s Lemma. In order to describe these results, we introduce a representation of closed subsets of the unit cube by trees of rational complexes. (shrink)

A cultura ocidental, desde a sua marca grega, viu a instância do ser humano reduzida á condição de cidadão. O período medieval tentou inverter essa tendência, constituindo indice dessa alteração discussão polarizada no tópico Intelecto Universal/Intelecto Individual que ocupou lugar fundamental entre as questões desenvolvidas na Universidade Medieval, tornando-se mesmo a referênda privilegiada da actividade desta, senão até a sua razão de ser. È a incidencia no Intelecto Individual que caracteriza o humanismo cristão. Ao esbater-se essa questáo, na modernidade, o (...) modelo do Intelecto Universal passou novamente a comandar a nacionalidade da cultura ocidental,circunscrita esfera á esfera da cidadania, dominada pela política, sendo a Universidade um instrumento desta, limitando-se a preparar especialistas para o funcionamento da engrenagem citadina. A recuperação da Universidade passa pelo regresso a dimensão ampla e profunda do ser humano, cuja dimensão universal não é garantida pela cidadania. /// The greek influence on the western culture has led the human being to be reduced to his condition of citizen. The medieval period tried to revert this tendency by centering the discussion on the double aspect Universal Intelect/Individual Intelect. This discussion turned out to be the fundamental one among the quaestiones analysed at the Medieval University, becoming the main reference of its activity, and even the reason of its existence. It is precisely the incidence on the Individual Intelect that characterizes the Christian humanism. As this theme subsided with modernity, it was the paradigm based on the Universal Intelect that came to influence again the rationality of western culture. This rationality is limited to the domain of citizenship and therefore dominated by politics, which has in the University its instrument aimed at training specialists that make the civic machinery work. The revival of the University pressuposes the return to the deep and wide dimension of human being, whose universal nature is not guaranteed by citizenship. (shrink)

In this paper, I argue that ordinary cases of self-deception and akrasia derive from the phenomenon of motivated irrationality. According to the ‘motivational’ account, self-deception is typically induced by the influence that desires and emotions exert upon our cognitive faculties, and thereby upon the process of belief formation. Crucially, I show that this hypothesis is consistent with the empirical research carried out by social psychologists, and that it avoids a number of paradoxes that undermine the ‘intentionalist’ account. But motivated irrationality (...) also seems to account for most cases of akrasia, insofar as desires are equally liable to affect the evaluative judgments through which we assess feasible options. This analysis thus set the premises for a unified account of irrationality. (shrink)

Os processos de integração regional em curso hoje na América Latina têm sido marcados por uma lógica territorial que tem concebido grandes áreas do espaço geográfico latino-americano como “vazios demográficos” ou “terras disponíveis”. Essa forma de conceber o espaço geográfico latino-americano remonta ao legado colonial que atravessa a formação sócio-espacial da região e a própria posição que o continente americano ocupou no processo de formação do sistema-mundo moderno-colonial, a partir de 1492. Este artigo tem por objetivo problematizar os processos de (...) integração física em curso atualmente no continente, especificamente a Iniciativa para Integração da Infra-estrutura Regional Sul-Americana (IIRSA), buscando evidenciar a reprodução da lógica da colonialidade do poder e do saber constituintes de seu modelo de desenvolvimento regional. (shrink)

O presente artigo trata da geografia da violência urbana na cidade do Rio de Janeiro. Mostra como a ação do Estado está permeada por ignorâncias acerca das lógicas de experiências espaciais com que se organizam e operam as classes populares trabalhadoras do Rio de Janeiro. O objetivo é estimular uma discussão que impulsione as análises para além dos discursos estigmatizadores com relação à população favelada. A metodologia adotada assemelha-se às sinuosidades dos becos e vielas, visto que optamos em nos entranhar (...) empiricamente na concretude do espaço favelado e, também, nas re-leituras das narrativas marginalizadas, dos compositores que há décadas oferecem pistas para que possamos esboçar um mapeamento das lógicas de sociabilidades e das experiências de espaço dessa população. Assim, podemos afirmar – ainda que hipoteticamente – que os mecanismos convencionais de análises e os instrumentos metodológicos fundamentados no distanciamento dos seus “objetos” são insuficientes para uma mínima compreensão do que se passa nos cotidianos de opressão e resistências das classes populares. O máximo que se tem alcançado historicamente, tanto com as pesquisas quantitativas acerca do tema quanto com os apelos midiáticos, é a forte influência na construção de discursos universalistas que naturalizam a criminalização dos citadinos mais pobres e as suas lógicas de integração-sobrevivência nas cidades. (shrink)