Um estudo sobre a concepção de paradoxo segundo o pensamento de Augustus de Morgan

This work aims to analyze the concept of "paradox" posed in the work of The Budget Paradox (1872) of mathematical and logical English Augustus De Morgan (1806-1871). Here it is important to note that a large part of this book consists of re-prints of a series of writings by the author in journal Athenaeum, where its performance as auditor of literature. The tests refer to some scientific work produced between the years 1489 and 1866 and the rules of selection for the composition of the work is, basically, the methodological aspects used in the completion or disclosed by such scholars. The concept of paradox is presented in two distinct moments. At first, we found a study of definitions for the term in a philosophical approach, characterizing it as something that requires further investigation; which was complemented with the classic examples of a scientific context. In the second, we present a concept advocated by De Morgan and, under this perspective, that he conceptualized the "paradox" is directly related to the non-usual methods employed in the formulation of new scientific theories. In this study some of these scientific concepts are detailed, where, through the redemption history, engaging in issues of our study Mathematics, Physics, of Logic, among others. Possession of the preliminary analysis and comparison with the design of De Morgan, it became possible to diagnose some limitations in the conceptualization suggested by the author. Further, evidenced, in front of the cases, the nonlinearity of the process of production of knowledge and hence the progress of science

Educação científica no contexto pós-ontológico: por uma concepção plural de conhecimento e educação

The development of this work arises from the research of sociological and philosophical characters contemplating also other approaches which aims to answer the followingquestions: what is the responsibility of science teaching for the image one has about science? ; which scientific education should be designed for nowadays? . After considering the assumptions brought along by rationalism and the criticisms to the illuminist model proposed by sociology and philosophy of science, as well by the biology of the knowing process, going through discussions concerning post-modernity issues, one is given to understand that the image of science has become the central point of discussion in the last hundred years, including what concerns the area of science teaching, and that practically none of those discussions really reached natural science classes indeed. We adopt the term postontological to characterize the recent proposals on philosophy and sociology, because we evaluate that this term allows a better identification of the scientific realism crisis, which supports the existence of an ontological domain which science, and only science, is able to understand. One notices that the general public is not aware of those discussions, mainly if they are science teachers and students. So we believe that discussing the logic in which science is structured, the new understandings concerning the scientific undertaking, especially those of an externalist character, and the relationship between science and society, all of this contributes to build up a science teaching which contemplates a reflective contribution, besides allowing the inclusion of the study of other epistemologies in the educational practice. We argue that a revisionist posture seems to be the most appropriate for the contemporary scientific education, contemplating, besides the teaching of the usual science contents, discussions on the issues involving that knowledge, as well as respecting epistemologies alternative to the modern Western scientific one, in order one can work on the perception of local knowledge generated from other epistemological bases. We describe here practical activities we did involving teachers (short-term courses) and high-school students in an inland school in the Rio Grande do Norte state, in Brazil, as a way to demonstrate the possibility of interventions which can take those conceptions, discussions and changes to the classroom

Razão: origem, crise e respostas contemporâneas

The philosophical discussion has been present throughout the whole history of reason, for philosophy and reason have been always closely linked. In the following work, Reason, origin, crises and contemporary answers I go into the history of the rational and demonstrative thought, focusing on how rationality can be thought about in contemporary philosophy. To answer this question I discuss the principle of philosophy, the mythical period and the thoughts of Heraclito , Parmenides , Plato and Aristotle in relation to reason and rationality. Also discussed is the medieval period and the philosophical use of logic and the criticism of Aristotle s thoughts, especially focusing on the criticism of Hegel and Luckasiewicz of the non contradiction principle. Lastly I discuss the development of reason in present day philosophy, mainly how modern logics could be putting at stake Aristotle s model of reason

Interpretação e análise do problema da indução sob uma visão fundamentada em teorias de conjuntos e teoria de probabilidades

The following work is to interpret and analyze the problem of induction under a vision founded on set theory and probability theory as a basis for solution of its negative philosophical implications related to the systems of inductive logic in general. Due to the importance of the problem and the relatively recent developments in these fields of knowledge (early 20th century), as well as the visible relations between them and the process of inductive inference, it has been opened a field of relatively unexplored and promising possibilities. The key point of the study consists in modeling the information acquisition process using concepts of set theory, followed by a treatment using probability theory. Throughout the study it was identified as a major obstacle to the probabilistic justification, both: the problem of defining the concept of probability and that of rationality, as well as the subtle connection between the two. This finding called for a greater care in choosing the criterion of rationality to be considered in order to facilitate the treatment of the problem through such specific situations, but without losing their original characteristics so that the conclusions can be extended to classic cases such as the question about the continuity of the sunrise

Deciding difference logic in a Nelson-Oppen combination framework

O método de combinação de Nelson-Oppen permite que vários procedimentos de decisão, cada um projetado para uma teoria específica, possam ser combinados para inferir sobre teorias mais abrangentes, através do princípio de propagação de igualdades. Provadores de teorema baseados neste modelo são beneficiados por sua característica modular e podem evoluir mais facilmente, incrementalmente. Difference logic é uma subteoria da aritmética linear. Ela é formada por constraints do tipo x − y ≤ c, onde x e y são variáveis e c é uma constante. Difference logic é muito comum em vários problemas, como circuitos digitais, agendamento, sistemas temporais, etc. e se apresenta predominante em vários outros casos. Difference logic ainda se caracteriza por ser modelada usando teoria dos grafos. Isto permite que vários algoritmos eficientes e conhecidos da teoria de grafos possam ser utilizados. Um procedimento de decisão para difference logic é capaz de induzir sobre milhares de constraints. Um procedimento de decisão para a teoria de difference logic tem como objetivo principal informar se um conjunto de constraints de difference logic é satisfatível (as variáveis podem assumir valores que tornam o conjunto consistente) ou não. Além disso, para funcionar em um modelo de combinação baseado em Nelson-Oppen, o procedimento de decisão precisa ter outras funcionalidades, como geração de igualdade de variáveis, prova de inconsistência, premissas, etc. Este trabalho apresenta um procedimento de decisão para a teoria de difference logic dentro de uma arquitetura baseada no método de combinação de Nelson-Oppen. O trabalho foi realizado integrando-se ao provador haRVey, de onde foi possível observar o seu funcionamento. Detalhes de implementação e testes experimentais são relatados