The German Tradition of Self-Cultivation (Bil dung) and its Historical Meaning. This article aims at analysing the historical meaning of the German ideal of self-cultivation (Bildung), considering its different uses and interpretations over time. Based on the historical semantics of Reinhart Koselleck and the bibliography on the subject, it reconstructs the core transformations in its semantic structure from the beginnings in the late Middle Ages to its institutionalization in the German school system in the nineteenth century. The development of the (...) ideal of Bildung in Germany is characterised by the tension between its function as means of integration through education and its function as instrument of social distinction. The reflexion on this educational ideal is presented as a counterpoint to some of the contemporary educational practices, based on the imperatives of the market and the neoliberal management of human capital. (shrink)

Trata-se da tradução de um ensaio clássico publicado por Rudolf Carnap na revista Erkenntnis. A tradução é precedida por um texto de apresentação, que situa o ensaio e sua importância no contexto da filosofia contemporânea e na obra de Carnap. No ensaio, Carnap indica as principais características que distinguem o que ele chama de nova lógica (a lógica simbólica matemática derivada das obras de Frege, Peano e Hilbert, entre outros) da lógica filosófica tradicional e explica a sua importância como novo (...) método do filosofar. (shrink)

O ficcionalismo, geralmente classificado como um tipo de nominalismo, apresenta como perspectiva precípua a tese de que os entes matemáticos são ficções. Para o ficcionalista, o discurso matemático é desprovido de conteúdo. Hartry Field, que é o principal defensor dessa concepção ontológica da matemática, contesta, em Science Without Numbers, a utilização de entes matemáticos na redação de teorias da física, alegando que a defesa mais plausível do realismo ontológico matemático é o argumento da indispensabilidade de Quine-Putnam. O ficcionalismo defendido por (...) Field nos permite, de acordo com Shapiro, classificá-lo no grupo filosofia-primeiro, ou seja, entre os filósofos que defendem que a filosofia deve ser responsável por legislar a respeito da prática matemática. Dessa forma, podemos considerar Field um revisionista epistemológico. Como se sabe, a dependência da ciência moderna em relação ao discurso matemático coloca a tese ficcionalista em xeque. Ainda assim, se partirmos dos pressupostos filosóficos da vertente formalista da filosofia da matemática, que concebe a matemática como constituída de um conjunto de regras sem significado que podem ser manipuladas de maneira puramente sintática, poderemos traçar importantes analogias entre matemática e ficção, tal como também entre metamatemática e metaficção. Para um formalista simpático à tese ficcionalista, o estatuto ontológico da matemática é semelhante ao das regras de um jogo de xadrez. (shrink)

The aim of this article is to analyze the semantic change of the German ideal of Bildung in the time of Nietzsche and the reinterpretation that the philosopher proposes of the concept. Bildung is one of the fundamental concepts of modernity in Germany, and in its classical formulation designated a moral imperative of self-improvement of the individual and humanity as a normative ideal. Nietzsche criticized the degradation of this ideal in mere general culture and the cultural philistinism of his time. (...) In its place, Nietzsche proposes a typology of cultures. He reinterprets the concept of culture as a unit of style and the idea of cultivating individuality as a new imperative of the individual who has disengaged himself from traditional morality. (shrink)

Due to its discussion of the question of non-being and its intention of grounding the philosophical discourse, Plato ́s dialogue The Sophist occupies a central position in the history of philosophy. The purpose of this article is to relate the definition method used by Plato in the dialogue (the diaeresis) with his conception of philosophical discourse. The different definitions for the sophist proposed in the dialogue are not only part of Plato's polemic against sophistry, but underpin the very Platonic conception (...) of the philosopher and philosophical discourse. While dialectics would be the method employed by the philosopher to arrive at knowledge and wisdom, sophistry would be only an imitation of true knowledge and true wisdom. (shrink)

This paper aims to discuss how the themes of individuality, freedom and education are articulated in Stirner's thought. It begins with a brief history of Stirner's reception. Next, the paper analyzes the subversion of Hegelian dialectics and the critique of Feuerbach's and Marx's atheistic humanism, which remain linked to Christian theology by deifying an abstract human essence. Then, the focus shifts to Stirnerian nominalism and its criticism of God, State, humanity and society as ideological constructs that dominate the concrete individual. (...) Finally, the paper analyzes the proposal of a new ethics and a new education, based on the singularity of the mortal and corporeal self. (shrink)

The aim of this text, derived from an investigation, is to propose a reflection on the future of the university, from the problematization of the neoliberal rationality impact on the forms of knowledge production and organization of academic life. To develop this analysis, the main transformations of the modern university since its advent with the founding of the Berlin University by Wilhelm von Humboldt, in 1810, who created the model of the research university, until the emergence of the neoliberal university (...) model. The purpose of the article is to highlight the rationalities that govern the transformation of the university over time. This historical analysis attempts to demonstrate that no model can be considered natural, absolute, inevitable, non-negotiable, and that and that the university as an institution is inhabited by a mixture of contradictory rationalities. To conclude, the Derrida's essay (2001), is used to show that the uncontested adoption of the neoliberal model can destroy the autonomy of research and teaching that until today characterized the modern university, and compromise its mission in the future. (shrink)

The goal of this essay is to evaluate the claim that it is possible to acquire inferential knowledge from false belief. In order to do so, we explain the main problem and some preliminaries notions in the first chapter. In the second chapter, we evaluate the reasons against the possibility of knowledge from falsehood. In the final chapter, we examine the reasons for the possibility of knowledge from falsehood.

O presente artigo busca pensar os limites entre Filosofia e Ciências Sociais, e que, apesar de serem conhecimentos distintos, estão muito mais imbricadas do que separadas, devido ao seu caráter reflexivo e lógico sobre os temas que intrigam a humanidade. Um problema conjunto é o próprio caráter do que fundamentaria a sociedade. Tal motivação provém de um exemplo particular, que é pensar a existência de um ente superior e anterior aos indivíduos, capaz de dar sentido à existência, mas também de (...) moldá-los, pelo seu poder coercitivo. O exercício é pensar como Plotino, no século III, chamou a existência dessa força superior de Inteligência (Noûs). E Durkheim, no final do século XIX, que marcou o início da sociologia científica, chamou-a de Sociedade. Este exercício quer demonstrar como as Ciências Sociais, tendo como referência Durkheim, utiliza da Filosofia para explicar o significado da vida em sociedade. (shrink)

O objetivo deste artigo é responder a duas objeções que podem ser feitas à explicação do anulabilismo falibilista referente à possibilidade de conhecimento inferencial originado em falsidade (KFF). A primeira objeção é que a ausência de restauradores indica a incompletude da explicação anulabilista falibilista de KFF, enquanto a segunda é que o experimento mental de KFF viola o Princípio Resistência à Verdade* (RV*) – a principal tese do anulabilismo falibilista. Na primeira seção, explicarei no que consiste o debate acerca da (...) possibilidade de conhecimento inferencial a partir de falsidade; na segunda seção, explicarei o anulabilismo falibilista, desenvolvida por de Almeida (2017); na última seção, desenvolverei os argumentos que podem ser feitos contra o anulabilismo falibilista e explicarei por que não funcionam. (shrink)

Analyzing the position of two philosophers whose views are recognizably divergent, W. O. Quine and M. Dummett, we intend to support a striking point of agreement between them: the idea that our logical principles constitute our principles about what there is, and therefore, that logic is metaphysics.

Disagreement over what exists is so fundamental that it tends to hinder or even to block dialogue among disputants. The various controversies between believers and atheists, or realists and nominalists, are only two kinds of examples. Interested in contributing to the intelligibility of the debate on ontology, in 1939 Willard van Orman Quine began a series of works which introduces the notion of ontological commitment and proposes an allegedly objective criterion to identify the exact conditions under which a theoretical discourse (...) signals an assumption of existence. I intend to present the concept of ontological commitment and the Quinean criterion, to expose and evaluate some of the many criticisms to which the criterion has subject and to situate it in the context of Quine’s philosophy. As a product of such analyses, I hope to contribute to the discussion on the application and relevance of the notion of ontological commitment. (shrink)

Este artigo propõe a adoção do método da análise de conceitos conforme apresentada por John Wilson, como metodologia pedagógica e principal conteúdo para a disciplina de filosofia no ensino médio.

Jesse Prinz (2006, 2007) claimed that emotions are necessary and sufficient for moral judgments. First of all, I clarify what this claim amounts to. The view that he labels emotionism will then be critically assessed. Prinz marshals empirical findings to defend a series of increasingly strong theses about how emotions are essential for moral judgments. I argue that the empirical support upon which his arguments are based is not only insufficient, but it even suggests otherwise, if properly interpreted. My criticism (...) is then extended to his sentimentalist theory, that accounts for how emotions are integrated into moral judgments. The central problem is that Prinz’s view fails to capture the rational aspect of moral evaluation. I make this failure explicit and defend that some version or other of neosentimentalism is a more promising route. (shrink)

Michael Tye proposed a way of understanding the content of hallucinatory experiences. Somewhat independently, Mark Johnston provided us with elements to think about the content of hallucination. In this paper, their views are compared and evaluated. Both their theories present intricate combinations of conjunctivist and disjunctivist strategies to account for perceptual content. An alternative view, which develops a radically disjunctivist account, is considered and rejected. Finally, the paper raises some metaphysical difficulties that seem to threaten any conjunctivist theory and to (...) lead the debate to a dilemma: strong disjunctivists cannot explain the subjective indistinguishability between veridical and hallucinatory experiences, whereas conjunctivists cannot explain what veridical and hallucinatory experiences have in common. This dilemma is left here as an open challenge. (shrink)

The most prominent theories of perceptual content are incapable of accounting for the phenomenal particularity of perceptual experience. This difficulty, or so I argue, springs from the absence of a series of distinctions that end up turning the problem apparently unsolvable. After briefly examining the main shortcomings of representationalism and naïve realism, I advance a proposal of my own that aims to make the trivial fact of perceptually experiencing a particular object as such philosophically unproblematic. Though I am well aware (...) of the sketchy and schematic way in which my proposal is advanced and the other alternatives are criticized, I hope this paper is still worth its ink at least insofar as it is capable of pointing to a novel and promising way out of old and resilient difficulties that have been haunting philosophers of perception. If not a fully developed theory, at least I deliver here a sketch that, or so I sell, is worth the bet. (shrink)

What is, after all, the famous method of Descartes? The brief and vague passages devoted to this subject in Descartes’ corpus have always puzzled his readers. In this paper, I investigate not only the two essays in which it is directly addressed (the Regulae ad Directionem Ingenii, and the Discours de la Méthode), but also his scientific works and correspondence. I finally advocate an interpretation that makes the best sense of his overt comments as well as of his actual scientific (...) practice. Contrary to widely accepted views, I argue that there are no substantial discontinuities in his understanding of his own method, or between his theory and practice. I claim, by contrast, that Descartes advocated a minimal method: a method that says little, but that, nonetheless, marks a revolutionary rupture with the existing forms of explanation. (shrink)

The view that perceptual experience has representational content, or the content view, has recently been criticized by the defenders of the so-called object view. Part of the dispute, I claim here, is based on a lack of grasp of the notion of content. There is, however, a core of substantial disagreement. Once the substantial core is revealed, I aim to: (1) reject the arguments raised against the content view by Campbell (2002), Travis (2004), and Brewer (2006); (2) criticize Brewer’s (2006, (...) 2007, 2008, 2011) attempts to defend the object view; (3) refine Pautz’ (2007, 2008, 2009, 2010, 2011) arguments against the object view, which mainly resort to the fact that it cannot account for the grounding role of hallucinatory experiences; (4) and finally adjudicate in favor of the content view and against the overestimation of the naïve intuition. (shrink)

This papers aims at clarifying some misunderstandings that seem to block an adequate account of de re thoughts within the Fregean framework. It is usually assumed that Fregean senses cannot be de re, or dependent upon objects. Contrary to this assumption, Gareth Evans and John McDowell have claimed that Fregean de re senses are not just possible, but in fact the most promising alternative for accounting for de re thoughts. The reasons blocking this alternative can be traced back to Russellian (...) considerations that contaminated the interpretation of Frege. This contaminated understanding is first detected in Tyler Burge’s distinction between de dicto and de re, then connected to the motivations behind David Kaplan’s notion of character, and finally found in John Searle’s descriptivist account. The difficulty in understanding de re thoughts is, roughly speaking, a side effect of the misunderstanding of the boundaries separating internal and external elements of thoughts, as well as the distinction between mental content and means of representation. (shrink)

The thesis evaluates a contemporary debate concerning the very possibility of thinking about the world. In the first chapter, McDowell's critique of Davidson is presented, focusing on the coherentism defended by the latter. The critique of the myth of the given (as it appears in Sellars and Wittgenstein), as well as the necessity of a minimal empiricism (which McDowell finds in Quine and Kant), lead to an oscillation in contemporary thinking between two equally unsatisfactory ways of understanding the empirical content (...) of thought. In the second chapter, I defend Davidson's approach, focusing on his theory of interpretation and semantic externalism, as well as on the relation between causes and reasons. In the third chapter, the debate is analyzed in more detail. I criticize the anomalous monism, the way in which the boundaries between the conceptual and the non-conceptual are understood by Davidson, as well as the naturalized Platonism defended by McDowell. This thesis is mainly negative, and it concludes by revealing problems in both positions under evaluation. (shrink)

É bem conhecida a divergência entre as posições de Gottlob Frege e Bertrand Russell com relação ao tratamento semântico dado a sentenças contendo termos singulares indefinidos, ou seja, termos singulares sem referência ou com referência ambígua, tais como ‘Papai Noel’ ou ‘o atual rei da França’ ou ‘1/0 ’ ou ‘√4’ ou ‘o autor de Principia Mathematica’. Para Frege, as sentenças da linguagem natural que contêm termos indefinidos não formam declarações e portanto não são nem verdadeiras nem falsas. Já para (...) as sentenças da matemática, Frege defende que elas precisam ser corrigidas através da convenção forçada de uma referência não ambígua. Russell, por outro lado, aceita os termos indefinidos e propõe, através de sua teoria das descrições definidas, uma maneira de avaliar as sentenças em que eles ocorrem; e Quine amplia a teoria de Russell para abranger também os nomes com problemas de referência. Na prática da matemática são comuns os termos singulares indefinidos, sem referência, tais como ‘1/0 ’, ou com referência ambígua, tais como ‘√4’. Apesar de não haver uma sistematização rigorosa desta situação entre os matemáticos, há, no entanto, um conjunto de regras convencionais que tradicionalmente costumam ser aplicadas no tratamento matemático dos termos indefinidos. Nossa proposta é tomar a convenção matemática como inspiração e modelo para apresentar uma interpretação semântica formal para as descrições definidas e os nomes e utilizá-la como um argumento que favorece a abordagem de Russell relativamente à de Frege. (shrink)

Much of the ontology made in the analytic tradition of philosophy nowadays is founded on some of Quine’s proposals. His naturalism and the binding between existence and quantification are respectively two of his very influential metaphilosophical and methodological theses. Nevertheless, many of his specific claims are quite controversial and contemporaneously have few followers. Some of them are: (a) his rejection of higher-order logic; (b) his resistance in accepting the intensionality of ontological commitments; (c) his rejection of first-order modal logic; and (...) (d) his rejection of the distinction between analytic and synthetic statements. I intend to argue that these controversial negative claims are just interconnected consequences of those much more accepted and apparently less harmful metaphilosophical and methodological theses, and that the glue linking all these consequences to its causes is the notion of extensionality. (shrink)

The purpose of this article is to support the logical incompatibility of the opposing views as a criterion for characterizing disagreements as genuinely metaphysical. That is, I intend to argue that a specific dispute is a metaphysical disagreement only when the conflicting views are governed by different logics. If correct, this criterion would not only help to separate merely verbal from genuine metaphysical debates, but it also would ground an argument against deflationism, guaranteeing the substantiality and relevance of metaphysics. I (...) intend to clarify the criterion, to present its basic foundations and commitments, to give some logical and metaphysical motivations for its adoption and some examples of its application. (shrink)

O objetivo deste texto é responder a uma objeção comum à doutrina utilitarista. Essa doutrina é comumente descrita como aquela que aceita que a ação moralmente correta é a que promove a maior felicidade possível para as pessoas envolvidas. A objeção que trabalhamos aqui nega a afirmação utilitarista de que a felicidade é o único fim da vida humana. Diferentes respostas podem ser formuladas de acordo com o modo que definimos o bem ou a felicidade. Sustentaremos que a versão da (...) lista objetiva, que não identifica felicidade com um bem particular, mas com várias coisas que podem ser desejadas como fins, é a única que pode tornar plausível a afirmação de que a felicidade é a única coisa desejável como fim. (shrink)

Parece um fato bastante trivial que quando uma teoria científica se torna obsoleta, por ter sido substituída por outra, isto não tem nenhuma consequência para os objetos técnicos compatíveis com a teoria antiga. Pretendo, neste ensaio, responder à questão bem menos óbvia de por que isto se dá. Como subproduto, apresento uma defesa da teoria da ciência de Thomas Kuhn. Para tanto, inicio mostrando como a teoria de Kuhn foi motivada por considerações sobre a história da ciência. Em seguida, defendo (...) um pressuposto sobre como se dá a relação entre ciência e tecnologia. Continuo, apresentando uma distinção entre conteúdo factual e conceitual na ciência. E. (shrink)

Artigo de divulgação científica que reflete sobre a relação entre o conhecimento científico e as teses deterministas e fatalistas.

The following paper discusses Schiller’s interpretation of the German concept of Bildung. Bildung appears to be a central term in Germany’s culture, especially (but not limited to) the educational realm. As Bildung underwent massive transformations and has been re-interpreted multiple times throughout German history, this paper will start with a definitory exercise trying to organize the dynamics surrounding the term. Secondly, a two-fold historical context – firstly regarding the wider political and social dynamics of the time and secondly, a more (...) biographical approach focusing on Schiller – will be provided. These contextualizing efforts will be succeeded by elaborations on Schiller’s concept of Herzensbildung. The paper closes with a summary of key insights and further potential endeavors. (shrink)

O presente trabalho tem por finalidade analisar, a partir do livro V da obra Ethica Nicomachea, se a justiça poderia ser tomada como um meio que irá auxiliar os cidadãos a desenvolver plenamente as suas virtudes. Buscar-se-á fundamentar que é através da justiça que os bons cidadãos seriam formados, bem como o bom caráter seria cultivado. Analisar-se-á, também, ainda que minimamente, o que Aristóteles entende de fato por justiça, de que o justo seria dar a cada um o que lhe (...) é devido, o que merece, haja vista que essa afirmação traz consigo um peso muito grande, pois nos faz indagar sobre o que seria o devido de cada indivíduo, bem como quais seriam as bases relevantes do mérito. Isto é, se o justo é dar a cada um o que lhe é devido, cabe a nós nos perguntarmos de que forma e critério seria usado na distribuição. De certa forma, ao raciocinarmos sobre justiça e direitos, consequentemente temos de raciocinar sobre a finalidade, o objetivo, o telos das atividades que circundam a vida social na Pólis. Buscar-se-á discutir sobre os temas apresentados, porém não se tem por finalidade propor medidas para pôr um fim na discussão. (shrink)

In this work, we propose a definition of logical consequence based on the relation between the quantity of information present in a particular set of formulae and a particular formula. As a starting point, we use Shannon‟s quantitative notion of information, founded on the concepts of logarithmic function and probability value. We first consider some of the basic elements of an axiomatic probability theory, and then construct a probabilistic semantics for languages of classical propositional logic. We define the quantity of (...) information for the formulae of these languages and introduce the concept of informational logical consequence, identifying some important results, among them: certain arguments that have traditionally been considered valid, such as modus ponens, are not valid from the informational perspective; the logic underlying informational logical consequence is not classical, and is at the least paraconsistent sensu lato; informational logical consequence is not a Tarskian logical consequence. (shrink)

Embora elaborada principalmente na década de 1970 a ética de Hans Jonas permanece atual e é particularmente relevante pelo uso da metafísica em um contexto pós-moderno (algo inusitado e ousado) e por sua teoria dos valores que podem ser atribuídos ao ser e ao não-ser. Pretende-se aqui apresentar as limitações que Jonas detectou nas éticas tradicionais (judaico-cristã, kantiana, por exemplo) e analisar as soluções por ele propostas (notadamente heurística do medo e futurologia comparada). Compreender também a fundamentação de tais soluções (...) (um dos maiores desafios da ética jonasiana). A pesquisa baseou-se em uma revisão bibliográfica que envolve a fonte primária, a obra de Jonas, e fontes secundárias. Constatou-se que a ética de Jonas surge da detecção de um niilismo tanto prático quanto teórico que permitiu um avanço desenfreado da técnica. É necessário então submeter a atividade humana à ética novamente. Para tanto foi utilizada uma ontologia que atribui relevância ética ao metabolismo (e não à razão). Deste modo, a ética da responsabilidade objetiva combater o niilismo e o ceticismo moral e supervisionar o progresso técnico, garantindo assim a existência de uma vida humana autêntica e de uma natureza que tem a si própria como fim. (shrink)

This paper proposes a critical analysis of the essential criteria to define the concept of the political as presented by German jurist and philosopher, Carl Schmitt. Based on the essence of the political -i.e. the friend-enemy duality-, the objective is to explore the practical implications resulting from the actual possibilities of confrontation, the key scope being the analysis of a totalitarian potential from a Schmittian´s perspective. In Schmitt´s thought, this distinction is the fundamental reason for the definition of the political. (...) Not every opponent is necessarily the enemy --the other one, the unknown- and likely to be physically destroyed and exterminated but only a public enemy (hostis). Given its indeterminate nature, the enemy may be prescribed according to the sovereign design or, in the context of Nazi Germany where Carl Schmitt lived, in accordance with the President of the Reich´s designs. A hypothetical-deductive methodology is used in this work based on bibliographical research, in particular regarding Carl Schmitt´s theoretical constructions. (shrink)

The article presents an analysis centered on the emotional lapses of artificial intelligence (AI) and the influence of these lapses on two critical aspects. Firstly, the article explores the ontological impact of emotional lapses, elucidating how they hinder AI’s capacity to develop a moral sense. The absence of a moral emotion, such as sympathy, creates a barrier for machines to grasp and ethically respond to specific situations. This raises fundamental questions about machines’ ability to act as moral agents in the (...) same manner as human beings. Additionally, the article sheds light on the practical implications within human-machine relations and their effect on human friendships. The lack of friendliness or its equivalent in interactions with machines directly impacts the quality and depth of human relations. This concerningly suggests the potential replacement or compromise of genuine interpersonal connections due to limitations in human-machine interactions. (shrink)

Raymond Carver's stories have received many labels: minimalism, K-mart fiction, low-rent tragedy, neo-realism. Paring language, plot, and characterization to the bone, Carver concentrates his stories on instances of judgment and choice. These climactic moments affect not only the characters, but also the reader, who is called to fill the gaps in the text. The gaps generally show the unrelatedness of the characters' responses to the situations in which they find themselves. Relying on formulae, concepts, and rules taken for granted as (...) common knowledge, Carver's characters make choices and judgments which reveal the displacement of their consciousness of themselves and of the world. In trying to fill the gaps, the reader finds himself/herself in the same stance of making judgments and choices, and of looking at his/her own displacement. This predicament is more poignantly conveyed in the early stories, collected in Will You Please Be Quiet, Please?, Furious Seasons, and What We Talk About When We Talk About Love, since Carver writes about people "on the other side of the tracks," that is, on the edges of the sites of power and decisions. Bartenders, wage workers, and salespeople, Carver's characters in these early stories see their lives always threatened by joblessness, bankruptcy, and homelessness. In the later stories, collected in Cathedral and Where I'm Calling From, Carver explores possibilities in conversation, storytelling, and rituals that celebrate the here and now of each occasion and allow the merging of voices and feelings that places the individual's consciousness in the world. (shrink)

We are in the information age. Nowadays, the information is a high power commodity. Your domain and handling have high economic, political, social value. However, we still know little about it. What is the information? How do we store it, retrieve it and manipulate it? Everyone have or should have equal access to information? What is the relationship between information and knowledge? How can both influence and be influenced by the action? Can they are modeled? The models can contribute to (...) your understanding? Information and knowledge can consolidate or destroy friendships? What are the most efficient means to produce, store, organize and retrieve knowledge and information? Such questions permeate the content of this book, bringing together Brazilian and foreign authors, seeking to contribute to the improvement of the understanding of each of the concepts involved and the relationships between them. This work is the result of EIICA IX, International Meeting information, knowledge and action, held between December, 2nd and 4th 2015, at the Faculty of Philosophy and Science of UNESP/ Marília. (shrink)

The main objective of this PhD Thesis is to present a method of obtaining strong normalization via natural ordinal, which is applicable to natural deduction systems and typed lambda calculus. The method includes (a) the definition of a numerical assignment that associates each derivation (or lambda term) to a natural number and (b) the proof that this assignment decreases with reductions of maximal formulas (or redex). Besides, because the numerical assignment used coincide with the length of a specific sequence of (...) reduction - the worst reduction sequence - it is the lowest upper bound on the length of reduction sequences. The main commitment of the introduced method is that it is constructive and elementary, produced only through analyzing structural and combinatorial properties of derivations and lambda terms, without appeal to any sophisticated mathematical tool. Together with the exposition of the method, it is presented a comparative study of some articles in the literature that also get strong normalization by means we can identify with the natural ordinal methods. Among them we highlight Howard[1968], which performs an ordinal analysis of Godel’s Dialectica interpretation for intuitionistic first order arithmetic. We reveal a fact about this article not noted by the author himself: a syntactic proof of strong normalization theorem for the system of typified lambda calculus λ⊃ is a consequence of its results. This would be the first strong normalization proof in the literature. (written in Portuguese). (shrink)