In this article, we reassess two of Mises’ core methodological claims. The first claim is that action is necessarily rational. The second claim is that all human minds share a logical structure. Neither claim can be unreservedly accepted but, we argue, both contain truth: Mises’ reflections remain important contributions to our understanding of action and the mind, hence to economics.

Abordamos aqui a influência do método de Condillac sobre a história da química. Partindo da confessada dívida de Lavoisier com o abade, propomo-nos a avaliar o aporte que o método condillaquiano terá para a filosofia natural da segunda metade do XVIII, colocando-a primeiramente na perspectiva da onda newtoniana que contaminou progressivamente as ciências a partir do fim do XVII. Mostramos então como o método de Newton, via alquimia, é capaz de inserir aspectos alheios ao mecanicismo estrito nas discussões, o que (...) garantirá à química legitimidade para se valer de conceitos como atrações e afinidades. Mais tarde, ao constituir e sistematizar um método geral de conhecimento marcado pelo modelo newtoniano, Condillac legará aos naturalistas meios para ordenar proficuamente novas regiões de conhecimento. Quando adequadamente adaptado por Lavoisier aos problemas químicos, este método promoverá a “revolução” da química, ou seu estabelecimento definitivo como ciência positiva. (shrink)

This paper introduces the logic of evidence and truth \ as an extension of the Belnap–Dunn four-valued logic \. \ is a slightly modified version of the logic \, presented in Carnielli and Rodrigues. While \ is equipped only with a classicality operator \, \ is equipped with a non-classicality operator \ as well, dual to \. Both \ and \ are logics of formal inconsistency and undeterminedness in which the operator \ recovers classical logic for propositions in its scope. (...) Evidence is a notion weaker than truth in the sense that there may be evidence for a proposition \ even if \ is not true. As well as \, \ is able to express preservation of evidence and preservation of truth. The primary aim of this paper is to propose a probabilistic semantics for \ where statements \\) and \\) express, respectively, the amount of evidence available for \ and the degree to which the evidence for \ is expected to behave classically—or non-classically for \ \). A probabilistic scenario is paracomplete when \ + P 1\), and in both cases, \ < 1\). If \ = 1\), or \ = 0\), classical probability is recovered for \. The proposition \, a theorem of \, partitions what we call the information space, and thus allows us to obtain some new versions of known results of standard probability theory. (shrink)

The aim of this text is to reply to criticisms of the logics of evidence and truth and the epistemic approach to paraconsistency advanced by Barrio [2018], and Lo Guercio and Szmuc [2018]. We also clarify the notion of evidence that underlies the intended interpretation of these logics and is a central point of Barrio’s and Lo Guercio & Szmuc’s criticisms.

Scientific heritage can be found in every teaching and research institution, large or small, from universities to museums, from hospitals to secondary schools, from scientific societies to research laboratories. It is generally dispersed and vulnerable. Typically, these institutions lack the awareness, internal procedures, policies, or qualified staff to provide for its selection, preservation, and accessibility. Moreover, legislation that protects cultural heritage does not generally apply to the heritage of science. In this paper we analyse the main problems that make scientific (...) heritage preservation so difficult to address. We discuss the concept and present existing preservation tools, including recent surveys, legislation, policies, and innovative institutional approaches. We briefly analyse two recent initiatives for the preservation of scientific heritage, at the Universities of Lisbon and Cambridge. (shrink)

The main aim of this paper is to introduce first-order versions of logics of evidence and truth, together with corresponding sound and complete Kripke semantics with variable and constant domains. According to the intuitive interpretation proposed here, these logics intend to represent possibly inconsistent and incomplete information bases over time. The paper also discusses the connections between Belnap-Dunn’s and da Costa’s approaches to paraconsistency, and argues that the logics of evidence and truth combine them in a very natural way.

The aim of this paper is to present and analyze the truthmaker monism , a result according to which any truthmaker makes true any true proposition. Truthmaker monism depends on the characterization of the truthmaking relation in terms of strict implication, the principle of excluded middle and the so called disjunction thesis. I will restrict the discussion to a theory of truthmakers of empirical truths and I will argue that, in the scope of such a theory, the problem does not (...) lie in the use of strict implication neither in the excluded middle but, rather, in the disjunction thesis, that must be rejected. (shrink)

In this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non-contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order to philosophically justify (...) paraconsistency there is no need to endorse dialetheism, the thesis that there are true contradictions. Furthermore, we show that mbC, a logic of formal inconsistency based on classical logic, may be enhanced in order to express the basic ideas of an intuitive interpretation of contradictions as conflicting evidence. (shrink)

O artigo apresenta uma visão panorâmica dos documentos da Conferência dos Bispos latino-americanos, realizada em Medellín, no ano de 1968. Inicialmente, distingue o Medellín histórico do Medellín simbólico. A seguir, recorda como Assembleia foi bem preparada e se realizou de forma participativa. Então, demonstra a relação de continuidade com o Vaticano II. De outro lado, Medellín não foi uma mera aplicação do Concílio, mas sim uma recepção criativa. No núcleo do artigo, demonstra-se como o método VER-JULGAR-AGIR foi utilizado nos vários (...) documentos de Medellín, alocados em três eixos: promoção humana, evangelização e crescimento da fé, Igreja visível e suas estruturas. Por fim, ele se detém em dois documentos: Pobreza na Igreja e Liturgia. Encerra-se com algumas conclusões abertas, de caráter pastoral. (shrink)

The book Paraconsistent Logic: Consistency, Contradiction and Negation by Walter Carnielli and Marcelo Coniglio is the most thorough study of Logics of Formal Inconsistency...

Foreword : Consistency, Contradiction, and Consequence.

The purpose of this paper is to present a paraconsistent formal system and a corresponding intended interpretation according to which true contradictions are not tolerated. Contradictions are, instead, epistemically understood as conflicting evidence, where evidence for a proposition A is understood as reasons for believing that A is true. The paper defines a paraconsistent and paracomplete natural deduction system, called the Basic Logic of Evidence, and extends it to the Logic of Evidence and Truth. The latter is a logic of (...) formal inconsistency and undeterminedness that is able to express not only preservation of evidence but also preservation of truth. LETj is anti-dialetheist in the sense that, according to the intuitive interpretation proposed here, its consequence relation is trivial in the presence of any true contradiction. Adequate semantics and a decision method are presented for both BLE and LETj, as well as some technical results that fit the intended interpretation. (shrink)

A discussão por mudanças na educação brasileira é tema recorrente desde a “descoberta” do Brasil. Com o advento da pandemia do novo Coronavírus, percebeu-se, por exemplo, a intensificação da tentativa de regulamentar o homeschooling no Brasil como um modal educacional, justificando, assim, a necessidade de discussão a respeito de uma propositiva de educação escolar domiciliar. Nesse viés, o presente estudo teve por objetivo compreender os elementos constitutivos do homeschooling no Brasil. Com base em pressupostos críticos e fazendo uso de estudo (...) bibliográfico e análise documental, o corpus teórico utilizado foi de Lubienski (2007), Roldão (2007), Saviani (2003; 2008), entre outros, tendo como referência o levantamento nas bases de dados ANPEd, CAPES e BDTD. Como recorte temporal no período 2019-2021, concluiu-se que o ensino domiciliar seria um retrocesso para a educação brasileira, aumentando a desigualdade social outrora existente, além de acarretar perdas irreparáveis para os estudantes. (shrink)

Desde seu início a pedagogia de Paulo Freire se alimenta das suas leituras de base, convergências e conexões com outros pensadores das ciências humanas/sociais e da educação. A partir dos ideais do catolicismo progressista e do nacionalismo-desenvolvimentista das décadas de 1950 e 1960 – presentes em suas obras Educação e atualidade brasileira e Educação como prática da liberdade –, do progressismo marxista – presente de maneira crescente em Pedagogia do oprimido, Ação Cultural para a liberdade e outros escritos, Educação e (...) mudança –, passando pelos “escritos africanos”, entre outros, até seu declarado “pós-modernismo progressista” – presente em Pedagogia da esperança –, muitos pensadores influenciaram Freire, em menor ou maior grau. Se Karl Jaspers, Maritain e Lima Vaz et al., assim como os ideólogos do ISEB e John Dewey, entre outros, marcaram suas ideias expostas inicialmente e até a metade dos anos 1960, Hegel e o marxismo “superestrutural” marcam a continuidade desenvolvida em Pedagogia do oprimido. De lá para cá, esta base foi misturada com as convergências e conexões de ideias que vão de Piaget a Gramsci, chegando às possibilidades de complementos, parcerias, extensões temáticas e reinvenções conceituais. Apesar do legado de Paulo Freire resultar dessas leituras, convergências e conexões, seu pensamento-ação nunca se deixou dominar/enjaular por nenhuma escola ou tendência ideológica. Ao contrário, reconhecendo a necessidade fundante de diálogos teóricos permanentes e tecendo uma obra sequiosa de complementações, construiu um pensamento original e crítico que marcou a pedagogia da segunda metade do século XX e, a nosso ver, demonstra uma prospecção atual vigorosa. Portanto, neste trabalho buscamos compreender as bases e as conexões do pensamento político-pedagógico de Paulo Freire, explicitadas ao longo do seu discurso e colocadas nos seus principais livros publicados no Brasil, percorrendo um itinerário de referências bibliográficas, aproximadamente cronológico, de sua produção escrita. (shrink)

Neste trabalho, nosso objetivo foi expor a relevância das bases teórico-metodológicas da história da educação do tempo presente e desta para a pesquisa histórico-educacional. Partimos dos alicerces da história do tempo presente, destacando alguns conceitos construtores desse campo oriundos de autores como Rémond, Bédarida e Chartier, entre outros. A seguir, trabalhamos os avanços e os desafios enfrentados pelos pesquisadores desse campo. As fontes disponíveis para as pesquisa da história da educação do tempo presente foram destacadas, argumentando que a abundância delas (...) e a proximidade do pesquisador em relação ao tempo da sua ação não facilitam a pesquisa e não diminuem sua necessária rigorosidade. Os alicerces da história do tempo presente, os desafios, os avanços, suas fontes abundantes e sua aplicação rigorosa constroem uma nova epistemologia para a história da educação, marcada pelas incertezas que referenciam a centralidade da problematização na pesquisa histórica. Toda essa argumentação é reforçada pela idéia originária de que a educação, como uma prática social, exige de seus pesquisadores a consecução dos depoimentos orais, das informações e de todos os tipos de documentação oriundas dos sujeitos que a fizeram/fazem. Dans ce travail, nous avons eu pour objectif de montrer et de défendre l’importance de l’histoire de l’éducation du temps présent pour la recherche historico-éducative. Nous avons pris comme point de départ les fondements de l’histoire du temps présent, en soulignant quelques concepts constructeurs de ce champ créés par des auteurs tels que Rémond, Bédarida et Chartier, entre autres. Ensuite, nous avons analysé les avancements et les enjeux affrontés par les chercheurs de ce domaine. Les sources disponibles pour les recherches sur l’histoire de l’éducation du temps présent ont été mises en relief, en considérant le fait que leur abondance et la proximité du chercheur par rapport au moment de son action ne facilitent pas son travail ni en diminuent la rigueur nécessaire. Les fondements de l’histoire du temps présent, les enjeux, les avancements, ses sources abondantes et son application rigoureuse construisent une nouvelle épistémologie pour l’histoire de l’éducation marquée par les incertitudes qui fondent la centralité de la problématisation dans la recherche historique. Toute cette argumentation est renforcée par l’idée originaire selon laquelle l’éducation, en tant que pratique sociale, exige de ses chercheurs la consécution des témoignages oraux, des informations ainsi que de toute sorte de documents provenant des sujets qui l’ont faite/la font. (shrink)

The main aim of this paper is to introduce the logics of evidence and truth $$LET_{K}^+$$ and $$LET_{F}^+$$ together with sound, complete, and decidable six-valued deterministic semantics for them. These logics extend the logics $$LET_{K}$$ and $$LET_{F}^-$$ with rules of propagation of classicality, which are inferences that express how the classicality operator $${\circ }$$ is transmitted from less complex to more complex sentences, and vice-versa. The six-valued semantics here proposed extends the 4 values of Belnap-Dunn logic with 2 more values (...) that intend to represent (positive and negative) reliable information. A six-valued non-deterministic semantics for $$LET_{K}$$ is obtained by means of Nmatrices based on swap structures, and the six-valued semantics for $$LET_{K}^+$$ is then obtained by imposing restrictions on the semantics of $$LET_{K}$$. These restrictions correspond exactly to the rules of propagation of classicality that extend $$LET_{K}$$. The logic $$LET_{F}^+$$ is obtained as the implication-free fragment of $$LET_{K}^+$$. We also show that the 6 values of $$LET_{K}^+$$ and $$LET_{F}^+$$ define a lattice structure that extends the lattice L4 defined by the Belnap-Dunn four-valued logic with the 2 additional values mentioned above, intuitively interpreted as positive and negative reliable information. Finally, we also show that $$LET_{K}^+$$ is Blok-Pigozzi algebraizable and that its implication-free fragment $$LET_{F}^+$$ coincides with the degree-preserving logic of the involutive Stone algebras. (shrink)

Contributed papers presented at a seminar organized by Indian Institute of Advanced Study, Shimla and Dept. of Philosophy, Goa University.

Expressions of nationalisms, identity-based conflicts and violent (de)territorializations are increasingly frequent and widespread throughout the world, related very often to the dynamics of human mobilities and geopolitical reconfigurations. They embody a complexity which, in this article, will serve a theoretical critique of the present and the equation of transformations in the processes of production of social relations, structures of social living and subjectivity. Contemporary socio-political conflicts are thus aligned with questions about the possibility of collective endeavours and its conditions of (...) applicability - in contexts of dispersion, conflict, and inequality - as preventive or mitigatory efforts for potential disasters. (shrink)

I analyze the deimopolitical functioning of cisgender-straight-bolsonarist masculinity as a norm of recognition characterized not only by the fear of penetrating the anus, but essentially marked by the fear of having an anus. I seek to analyze the production of fear of the existence of the anus as an intrinsic element in the fabrication of supposed social threats in cisgender-straight-bolsonarism. Through a topographic metaphorization that locates/means the excluded as the anus of the social, the “enemy” appears as a mark of (...) the anal memory, reminding that the anus exists. If it exists, it can be penetrated. In this way, the existence of the anus organizes the differential distribution of humanity in this regime, as the minimum condition of being a human being is that of being a man, that is, not having an anus. This condition is reaffirmed by other markers of absence: not having a vagina, not having black skin, not belonging to ethnic and religious minorities... Cisgender-straight-bolsonarism behaves like an anatomical engineering in which the anus works as a catalyst for a masculinist reaction. The dermal tube is then reformatted in this regime. With this, I try to show that the fear of the existence of the anus is a central element of subjective enunciation and fascist recognition in this community. (shrink)

This work seeks to understand the dominant socio-political view of Church authority in the context of history, and to articulate a vision of non-political authority in the Church drawn from spiritual anthropology rather than from political theories.

In a context of rapid technological innovation and expensive new products, the paper calls for the generation of real-world data to inform decision-making and an international discussion on the affordability of new medicines, particularly for low- and middle-income countries. Without these, the challenges of health judicialization will continue to grow.

A ficção corresponde a um estilo de escrita que sustenta a construção de narrativas capazes de arrancar o escritor de si mesmo em um sentido de, por meio do experimento da própria linguagem, constituir-se esteticamente. Quando observamos as obras de Nietzsche, percebemos que há uma pluralidade de estilos literários, compostos, frequentemente, por aforismos que demandam outro performático: a escrita hiperbólica. Por meio da escrita artística, Nietzsche cria um mundo compreendido como vontade de poder em que dá a si mesmo como (...) personagem dentre outros tipos psicológicos. Já na filosofia de Foucault o traço marcante de suas obras é o tom histórico com o qual aborda seus temas. Porém, como o próprio afirma em algumas entrevistas, não escreve outra coisa que não sejam ficções, seleciona e organiza enunciados históricos criando diversos cenários, sujeitos e objetos de seu discurso. Este estilo presente em ambos entra em contato com o exterior provocando um reposicionamento do leitor, que é afetado promovendo, como efeito de subjetivação, um reposicionamento político de insubmissão de não querer mais ser governado dessa forma. (shrink)

Tradução do opúsculo "A Natureza em si Mesma".