A leitura de fontes antigas como possibilidade didatica: um exemplo a partir do Almagesto de Ptolomeu

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior

A metafísica de Isaac Newton

The general objective of this dissertation is to analyze the metaphysical aspects of "rational mechanics" of Isaac Newton, clarifying, by scientific and philosophical discourse, their main elements, with emphasis to the presence of one entity infinitely rational behind all the phenomena of nature, and to the Newton's insight as certain empiricist which, however, accepts deductions metaphysics; a philosopher-scientist. The specific objectives are detailed below: a) brief presentation of the development of modern science, since the Pre-Socratics, seeking to understand the historical conjecture that enabled the rise of Newtonian mechanics; b) presentation of the elements of scientific methodology and philosophical, aimed at comprehension of certain "Newtonian methodology", understanding how this specific methodology able to present empirical aspects, mathematics, philosophic and religious in communion; c) to understand, from the Newtonian concepts, both concerning man's role in the world as the "notional notions" of mass, space, time and movement, necessary for analysis and understanding of certain metaphysical aspects in the Newtonian physics; d) to present the Newtonian concepts related to the ether, to understand why it necessarily assumes metaphysics characteristics and mediation between the bodies; e) to present and understand the factors that lead the empiricist Newton to assume the religion in his mechanics, as well as, the existence and functions of God in nature, to object to the higher content of his metaphysics; f) to highlight the metaphysical elements of his classical mechanics, that confirm the presence of concepts like God Creator and Preserver of the natural laws; g) at last, to analyze the importance of Newton to the modern metaphysics and the legacy to philosophy of science at sec. XVII to science contemporary

Uma (re)leitura teleológica da filosofia moral em Kant : por uma necessidade de inclusão do homem na natureza

Made from the bases of metaphysics, this dissertation is related do Kant‟s moral philosophy. But the itinerary to reach the main speculation used to develop this current understanding of Kant‟s thoughts, it is nothing but an attempt to make the formal rigor more flexible, which has always been associated to Kantian ethics‟ perspectives. From the awareness of what this formalism could be, while a moral arrangement, it is how we will be able to come upon a teleological Kant. That is the fundamental element to comprehend some of the significant aspects in that ethical system, which necessarily comes through the effort to demonstrate the proximity between reason and sensibility, as well as nature and liberty. In this environment, the journey to achieve the autonomy, as the bedrock of liberty and morality, evokes the support of education in Kantian patterns, which enables a course of improvement of the human being, as an individual e, more significantly, as specie. This evolution progress, which tents to reveal the destiny of the humanity, is evolved in the relationship between necessity and finality, as a condition to make the structure of a project to humanity possible. We should mention that it is a rational, an educational and a moral project to be developed in the course of history. As a consequence, the amount of all these elements permits the development of the man‟s natural disposition as a creature that looks for self knowledge , becoming, afterward, dignified to be qualified as a human being. Finally, this study intent to figure out the necessity of the human being inclusion to nature, which happens throughout the acquirement of the individuals‟ conscience

Sistemas de lógica modal em dedução natural

Formalization of logical systems in natural deduction brings many metatheoretical advantages, which Normalization proof is always highlighted. Modal logic systems, until very recently, were not routinely formalized in natural deduction, though some formulations and Normalization proofs are known. This work is a presentation of some important known systems of modal logic in natural deduction, and some Normalization procedures for them, but it is also and mainly a presentation of a hierarchy of modal logic systems in natural deduction, from K until S5, together with an outline of a Normalization proof for the system K, which is a model for Normalization in other systems

A relação entre as noções de eleuthería e autárkeia na filosofia de Epicuro

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior