We study some metamathematical properties of various classicaland paraconsistent logical systems. In particular, we discuss the concept ofa k-transform of a formula and consider some of its applications.

We study some metamathematical properties of various classicaland paraconsistent logical systems. In particular, we discuss the concept ofa k-transform of a formula and consider some of its applications.

Normal 0 21 false false false PT-BR X-NONE X-NONE MicrosoftInternetExplorer4 O estudo tem caráter qualitativo e busca em referenciais teóricos . C ontempla uma reflexão aberta a respeito do alvorecer da razão na modernidade, que lança o ser humano ao centro do universo . Ao fazê-lo, fragmenta a formação do ethos, vórtice que alcança a contemporaneidade. Na sequência traz suportes teóricos, com base, principalmente nas concepções de Agamben, Bauman,Vaz, entre outros, acerca da ainda possibilidade formativas de construção da comunidade humana. (...) Apesar dos numerosos e diversos conhecimentos produzidos, na atualidade, crescem as dificuldades de compreensão da condição humana e do significado dos fazeres humanos. A aposta na subjetividade como uma essência, marca da metafísica, também pos em questão a identidade pessoal . A contemporaneidade ampla e complexa clama por contextos educacionais capazes de dinamizar bases ontológicas com diferentes bases conceptuais e vivenciais. Dessa forma a problemática orientadora da reflexão é: como constituiu-se a formação do ethos contemporâneo e, quais são os desafios à educação? Como resultados destacamos que a racionalidade técnico-científica gerou despreocupação com a vivência de valores éticos voltados ao bem comum; a individualização fomentou a descrença em políticas democráticas e ceifou a esperança na formação de um ethos contemporâneo solidário. Concluimos que existe uma necessidade urgente de repensar a constituição ontológica do ser humano, como pressuposto imprescindível na reconstituição da relação entre o EU/TU ou EU/HUMANIDADE; a compreensão do Outro requer aceitar a pluralidade de perspectivas de novas vivências e formas relacionais; educar é vivenciar laços de sensibilidade social para construir comunidades nas quais a amizade seja o esteio político. Palavras-chaves: Educação. Ética. Comunidade. Amizade THE FORMATION OF CONTEMPORARY ETHOS: CHALLENGES TO EDUCATION: The study is qualitative and search for theoretical frameworks. Contemplates an open reflexion about the dawn of reason in modernity, which throws the human to the center of the universe . fragments forming the ethos vortex that reaches the contemporary. Following brings theoretical supports, based mainly on the concepts of Agamben, Bauman, Vaz, among others, about the possibility of building further training of the human community. Despite numerous and diverse knowledge produced, in actuality, there are growing difficulties in understanding the human condition and the meaning of human doings. The focus on subjectivity as an essence, brand of metaphysics, also calls into question the personal identity. The broad and complex contemporary calls for educational contexts capable of stimulating ontological bases with different conceptual and experiential bases. Thus the problem of guiding reflection is: how was the formation of the contemporary ethos and what are the challenges for education? The results highlight that the scientific-technical rationality generated unconcern with the experience of ethical values ​​directed to the common good; individualization fostered disbelief in democratic politics and claimed the hope of forming a contemporary ethos supportive. We conclude that there is an urgent need to rethink the ontological constitution of the human being as an indispensable prerequisite to rebuild the relationship between I / YOU or I / HUMANITY; understanding of the Other requires accepting the plurality of perspectives and experiences of new relational forms; educate social ties is experiencing sensitivity to build communities in which friendship is political mainstay . Keywords: Education. Ethics. Community. Friendship. (shrink)

An introduction to the model-theoretic approach in the philosophy of science is given and it is argued that this program is further enhanced by the introduction of partial structures. It is then shown that this leads to a natural and intuitive account of both "iconic" and mathematical models and of the role of the former in science itself.

O presente trabalho objetiva discutir as possíveis contribuições da Hermenêutica Filosófica de Gadamer para a pesquisa em Psicologia. Nessa direção, parte da problematização do modo como o conhecimento é produzido na Psicologia, com realce para a insuficiência do horizonte técnico-científico para aproximar-se dos fenômenos humanos. Recorre à Hermenêutica Filosófica de Gadamer na busca do desvelamento de outras possibilidades para tal fazer. Para tanto, parte da compreensão da hermenêutica, não na função de método, mas compreendida como condição humana originária. Aborda inicialmente (...) o reconhecimento da influência de Heidegger para o desenvolvimento da Hermenêutica Filosófica de Gadamer e, em seguida, tece uma possível articulação entre o horizonte aberto por Gadamer e a pesquisa em Psicologia, enfocando as compreensões do filósofo acerca da compreensão, do jogo e do diálogo. Por fim, ressalta as contribuições abertas pela Hermenêutica Filosófica para descortinar “direcionamentos” inspiradores às pesquisas no contexto da Psicologia na busca de compreender os fenômenos existenciais. Tal caminho, na medida em que não busca conclusões teoréticas e explicativas, ao manter-se na direção da pergunta, realça a dimensão compreensiva e hermenêutica originária da existência como radicalmente singular e possibilita a tessitura de diálogos entre Psicologia e Hermenêutica Filosófica. (shrink)

In his thesis Para uma Teoria Geral dos Homomorfismos (1944), the Portuguese mathematician José Sebastião e Silva constructed an abstract or generalized Galois theory, that is intimately linked to F. Klein’s Erlangen Program and that foreshadows some notions and results of today’s model theory; an analogous theory was independently worked out by M. Krasner in 1938. In this paper, we present a version of the theory making use of tools which were not at Silva’s disposal. At the same time, we (...) tried to keep in mind, so much as possible, the gist of his standpoint. (shrink)

Leituras em Educação - volume 9 - coletânea composta por treze artigos, reúne textos de professores pesquisadores que, entre saberes e leituras, analisam a educação por meio de um instrumental teórico para verificar a maneira como ocorre o entrelace educação com outros saberes e áreas. A pluralidade que pode ser depreendida da configuração desta obra, e que se expande no sumário e nos artigos que a compõem, remete para a diversidade e profusão da leitura e da educação. Os capítulos se (...) orientam por um conjunto diversificado de perspectivas e questões, mas todos eles, de alguma maneira, pensam a leitura, a prática pedagógica e os educadores ou gestores envolvidos nesse processo. (shrink)

We apply the recently elaborated notions of 'pragmatic truth' and 'pragmatic probability' to the problem of the construction of a logic of inductive inference. It is argued that the system outlined here is able to overcome many of the objections usually levelled against such attempts. We claim, furthermore, that our view captures the essentially cumulative nature of science and allows us to explain why it is indeed reasonable to accept and believe in the conclusions reached by inductive inference.

A proposta desta coletânea de ensaios, em sua décima edição, é reunir pesquisas que refletem sobre as fronteiras entre educação e leitura. Elas, também, de alguma forma, pelos seus recortes, revelam a errância do pensamento e da práxis, mostram caminhos pelos quais a leitura e a pesquisa transitam e dialogam atualmente. Seus dez ensaios versam sobre os mais variados aspectos: há aqui desde de leituras críticas pontuais, a leituras que enfocam aspectos propriamente teóricos com relação à tópicos de leitura comparatista.

O artigo discute as inovações propostas nas políticas públicas formativas implantadas no Brasil, especialmente, em contexto norte do estado de Mato Grosso e analisa as ações formativas para professores atuantes na área de Língua Portuguesa. Defendemos a tese de que, embora os empreendimentos propositivos de formação tenham alcance significativo na atualidade, insta refletir sobre novos modos para atuar junto às demandas educativas. Atentos ao mundo contemporâneo e conscientes de que a solidez se transforma em liquidez, reconhecemos, que o futuro professor (...) e aqueles em atuação devem irromper as barreiras hegemônicas educacionais, construir sua identidade com protagonismo e criticidade e intervir nas práticas situadas de linguagem. Nesse sentido, o respaldo metodológico fixa nos estudos qualitativo-interpretativistas e para tal recortamos do documento que direciona a Política Educacional do Estado de Mato Grosso, a Portaria Normativa n. 17, de 28 de dezembro de 2009, a qual dispõe sobre o Programa de Formação Nacional em Rede e a Portaria 46, de 11 de abril de 2016 e regulamenta o Programa Institucional de Bolsa de Iniciação à Docência e propomos algumas questões: a) De que forma as políticas formativas interferem/contribuem para o desenvolvimento profissional docente? Pautados na Linguística Aplicada Crítica construímos algumas asseverações, dentre elas, que as ações implementadas – e que se quer permanentes – demandam maior integração e investimento público. (shrink)

Da Costa and French explore the consequences of adopting a 'pragmatic' notion of truth in the philosophy of science. Their framework sheds new light on issues to do with belief, theory acceptance, and the realism-antirealism debate, as well as the nature of scientific models and their heuristic development.

In the past thirty years, two fundamental issues have emerged in the philosophy of science. One concerns the appropriate attitude we should take towards scientific theories--whether we should regard them as true or merely empirically adequate, for example. The other concerns the nature of scientific theories and models and how these might best be represented. In this ambitious book, da Costa and French bring these two issues together by arguing that theories and models should be regarded as partially rather than (...) wholly true. They adopt a framework that sheds new light on issues to do with belief, theory acceptance, and the realism-antirealism debate. The new machinery of "partial structures" that they develop offers a new perspective from which to view the nature of scientific models and their heuristic development. Their conclusions will be of wide interest to philosophers and historians of science. (shrink)

The US neutrino community gathered at the Workshop on the Intermediate Neutrino Program at Brookhaven National Laboratory February 4-6, 2015 to explore opportunities in neutrino physics over the next five to ten years. Scientists from particle, astroparticle and nuclear physics participated in the workshop. The workshop examined promising opportunities for neutrino physics in the intermediate term, including possible new small to mid-scale experiments, US contributions to large experiments, upgrades to existing experiments, R&D plans and theory. The workshop was organized into (...) two sets of parallel working group sessions, divided by physics topics and technology. Physics working groups covered topics on Sterile Neutrinos, Neutrino Mixing, Neutrino Interactions, Neutrino Properties and Astrophysical Neutrinos. Technology sessions were organized into Theory, Short-Baseline Accelerator Neutrinos, Reactor Neutrinos, Detector R&D and Source, Cyclotron and Meson Decay at Rest sessions.This report summarizes discussion and conclusions from the workshop. (shrink)

We formulate Suppes predicates for various kinds of space-time: classical Euclidean, Minkowski's, and that of General Relativity. Starting with topological properties, these continua are mathematically constructed with the help of a basic algebra of events; this algebra constitutes a kind of mereology, in the sense of Lesniewski. There are several alternative, possible constructions, depending, for instance, on the use of the common field of reals or of a non-Archimedian field (with infinitesimals). Our approach was inspired by the work of Whitehead (...) (1919), though our philosophical stance is completely different from his. The structures obtained are idealized constructs underlying extant, physical space-time. (shrink)

There are several conceptions of truth, such as the classical correspondence conception, the coherence conception and the pragmatic conception. The classical correspondence conception, or Aristotelian conception, received a mathematical treatment in the hands of Tarski (cf. Tarski [1935] and [1944]), which was the starting point of a great progress in logic and in mathematics. In effect, Tarski's semantic ideas, especially his semantic characterization of truth, have exerted a major influence on various disciplines, besides logic and mathematics; for instance, linguistics, the (...) philosophy of science, and the theory of knowledge. The importance of the Tarskian investigations derives, among other things, from the fact that they constitute a mathematical, formal mark to serve as a reference for the philosophical (informal) conceptions of truth. Today the philosopher knows that the classical conception can be developed and that it is free from paradoxes and other difficulties, if certain precautions are taken. We believe that is not an exaggeration if we assert that Tarski's theory should be considered as one of the greatest accomplishments of logic and mathematics of our time, an accomplishment which is also of extraordinary relevance to philosophy, as we have already remarked. In this paper we show that the pragmatic conception of truth, at least in one of its possible interpretations, has also a mathematical formulation, similar in spirit to that given by Tarski to the classical correspondence conception. (shrink)

Physical superpositions exist both in classical and in quantum physics. However, what is exactly meant by ‘superposition’ in each case is extremely different. In this paper we discuss some of the multiple interpretations which exist in the literature regarding superpositions in quantum mechanics. We argue that all these interpretations have something in common: they all attempt to avoid ‘contradiction’. We argue in this paper, in favor of the importance of developing a new interpretation of superpositions which takes into account contradiction, (...) as a key element of the formal structure of the theory, “right from the start”. In order to show the feasibility of our interpretational project we present an outline of a paraconsistent approach to quantum superpositions which attempts to account for the contradictory properties present in general within quantum superpositions. This approach must not be understood as a closed formal and conceptual scheme but rather as a first step towards a different type of understanding regarding quantum superpositions. (shrink)

The issue of what consequences to draw from the existence of non-classical logical systems has been the subject of an interesting debate across a diversity of fields. In this paper the matter of alternative logics is considered with reference to a specific belief system and its propositions :the Azande are said to maintain beliefs about witchcraft which, when expressed propositionally, appear to be inconsistent. When the Azande have been presented with such inconsistencies, they either fail to see them as such (...) or else accept them as non-problematical. Is our knowledge of logical truths a relative and culturally determined phenomenon, or is there some (transcendent) criterion that allows us to adjudicate between alternative logical systems? The authors propose an approach for resolving disputes about the status of Azande reasoning which assumes a paraconsistent framework, thus providing a new perspective on this debate. (shrink)

An improvement on Horwich's so-called "pseudo-proof" of Russell's principle of induction is offered, which, we believe, avoids certain objections to the former. Although strictly independent of our other work in this area, a connection can be made and in the final section we comment on this and certain questions regarding rationality, etc.

The mathematical concept of pragmatic truth, first introduced in Mikenberg, da Costa and Chuaqui (1986), has received in the last few years several applications in logic and the philosophy of science. In this paper, we study the logic of pragmatic truth, and show that there are important connections between this logic, modal logic and, in particular, Jaskowski's discussive logic. In order to do so, two systems are put forward so that the notions of pragmatic validity and pragmatic truth can be (...) accommodated. One of the main results of this paper is that the logic of pragmatic truth is paraconsistent. The philosophical import of this result, which justifies the application of pragmatic truth to inconsistent settings, is also discussed. (shrink)

In his thesis 'Para uma Teoria Geral dos Homomorfismos' (1944) the Portuguese mathematician José Sebastião e Silva constructed an abstract or generalized Galois theory, that is intimately linked to F. Klein’s Erlangen Program and that foreshadows some notions and results of today’s model theory; an analogous theory was independently worked out by M. Krasner in 1938. In this paper, we present a version of the theory making use of tools which were not at Silva’s disposal. At the same time, we (...) tried to keep in mind, so much as possible, the gist of his standpoint. (shrink)

We investigate the higher-order modal logic , which is a variant of the system presented in our previous work. A semantics for that system, founded on the theory of quasi sets, is outlined. We show how such a semantics, motivated by the very intuitive base of Schrödinger logics, provides an alternative way to formalize some intensional concepts and features which have been used in recent discussions on the logical foundations of quantum mechanics; for example, that some terms like 'electron' have (...) no precise reference and that 'identical' particles cannot be named unambiguously. In the last section, we sketch a classical semantics for quasi set theory. (shrink)

We discuss the hypothesis that the debate about the interpretation of the orthodox formalism of quantum mechanics might have been misguided right from the start by a biased metaphysical interpretation of the formalism and its inner mathematical relations. In particular, we focus on the orthodox interpretation of the congruence relation, '=', which relates equivalent classes of different mathematical representations of a vector in Hilbert space, in terms of metaphysical identity. We will argue that this seemingly "common sense" interpretation, at the (...) semantic level, has severe difficulties when considering the syntactic level of the theory. (shrink)

This paper is the sequel of a previous one where we have introduced a paraconsistent logic termed paraclassical logic to deal with 'complementary propositions'. Here, we enlarge upon the discussion by considering certain 'meaning principles', which sanction either some restrictions of 'classical' procedures or the utilization of certain 'classical' incompatible schemes in the domain of the physical theories. Here, the term 'classical' refers to classical physics. Some general comments on the logical basis of a scientific theory are also put in (...) between the text, motivated by the discussion of complementarity. (shrink)

Abstract A general framework is proposed for accommodating the recent results of studies into ?natural? decision making. A crucial element of this framework is the notion of a ?partial structure?, recently introduced into the semantic approach to scientific theories. It is through the introduction of this element that connections can be made with certain problems regarding inconsistency and rationality in general.

The apparently paradoxical nature of self-deception has attracted a great deal of controversy in recent years. Focussing on those aspects of the phenomenon which involve the holding of "contradictory" beliefs, it is our intention to argue that this presents no "paradox" if a non-classical, "paraconsistent", doxastic logic is adopted. (On such logics, see, for example, N. C. A. da Costa, 'On the theory of inconsistent formal systems', Notre Dame J Formal Logic 11(1974), 497-510, and A. I. Arruda, 'A survey of (...) paraconsistent logic', in A. I. Arruda, N. C. A da Costa and R Chuaqui, _Mathematical Logic in Latin America, North-Holland, 1984, pp. 1-41.). (shrink)