We present a kind of logic named multideductive logic and outline an application of it in the problem of theoretic-formal unification of physical theories dealing with the Bohr atom theory. This is just a preliminary study that will be developed in future papers.

Resumo: A partir de um raciocínio equivocado acerca do significado dos teoremas de completude e incompletude de Gödel, apresentamos alguns importantes conceitos de lógica matemática e, com base em uma análise dos teoremas acima, concluímos mencionando a existência de modelos não standard da Aritmética de Peano.Palavras-chave: Completude. Incompletude. Teoremas de Gödel: From a mistaken reasoning about the completeness and incompleteness Gödel's theorems, we show important concepts of mathematical logic and, based on above theorems, we conclude showing the existence of non (...) standard models for Peano's Arithmetic.Keywords: Completeness. Incompleteness. Gödel's theorems. (shrink)

This paper is an attempt to solve the following problem: given a logic, how to turn it into a paraconsistent one? In other words, given a logic in which ex falso quodlibet holds, how to convert it into a logic not satisfying this principle? We use a framework provided by category theory in order to define a category of consequence structures. Then, we propose a functor to transform a logic not able to deal with contradictions into a paraconsistent one. Moreover, (...) we study the case of paraconsistentization of propositional classical logic. (shrink)

Some strategies to turn any logic into a paraconsistent system are examined. In the environment of universal logic, we show how to paraconsistentize logics at the abstract level using a transformation in the class of all abstract logics called paraconsistentization by consistent sets. Moreover, by means of the notions of paradeduction and paraconsequence we go on applying the process of changing a logic converting it into a paraconsistent system. We also examine how this transformation can be performed using multideductive abstract (...) logics. To conclude, the conceptual notion paraconsistent orbit of a logic is proposed. (shrink)

We present a kind of logic named multideductive logic and outline an application of it in the problem of theoretic-formal unification of physical theories dealing with the Bohr atom theory. This is just a preliminary study that will be developed in future papers.

This paper shows how to transform explosive many-valued systems into paraconsistent logics. We investigate mainly the case of three-valued systems exhibiting how non-explosive three-valued logics can be obtained from them.

This paper is about the concept of semantically closed languages. Roughly speaking, those are languages which can name their own sentences and apply to them semantic predicates, such as the truth or satisfaction predicates. Hence, they are “self-referential languages,” in the sense that they are capable of producing sentences about themselves or other sentences in the same language. In section one, we introduce the concept informally; in section two, we provide the formal definition of first-order semantically closed languages, which is (...) the Tarskian definition with some technical modifications. Then, we construct a semantic for this kind of language, and prove that the language is indeed semantically closed (according to Definition 1). Finally, we discuss whether the logic underlying the construction is classical, and future goals of this research. (shrink)

This paper analyzes the problem of implication and attempts to characterize conditionals by a criterion of adequacy. A definition of implication based on the notion of limit of an infinite sequence is proposed.

Departing from basic concepts in abstract logics, this paper introduces two concepts: conjunctive and disjunctive limits. These notions are used to formalize levels of modal operators.

Resumo: Examinar-se á o conceito de verdade pragmática em uma perspectiva que poderia ser denominada de pragmática. Assim, pretende-se apresentar, de um ponto de vista lógico-formal, a idéia de verdade pragmática num sentido de que uma proposição é pragmaticamente verdadeira se e somente se, em determinado contexto, tudo se passa como se ela fosse verdadeira do ponto de vista correspondencial. Ora, A. Tarski, em 1933, ao examinar o conceito de verdade nas linguagens formalizadas forneceu uma definição precisa de verdade inaugurando (...) assim os estudos semânticos e criando o que hoje entendemos por teoria dos modelos. Da mesma forma, Mikemberg, Chuaqui e da Costa, em um trabalho de 1986, forneceram uma noção precisa de quase verdade que pode ser considerada uma espécie de versão do conceito pragmático de verdade. Apresentar-se-á, em linhas gerais, o conceito formal de quase-verdade, junto com alguns desenvolvimentos que foram obtidos a partir do mesmo em problemas de filosofia da ciência.: It's our goal to analyze the concept of pragmatic truth in a perspective that could be called pragmatic. Therefore, we intend to present, from a formal=logic point of view, the idea of pragmatic truth, as meaning a proposition which Is pragmactilly truthful, if and only if, in a determinate context, everything runs as it was truthful in a correspondential perspective. In 1933, A Tarski, while examining the truth concept in formalized languages, gave a precise definition of truth inaugurating with it the semantic studies and creating what we understand, in our days, as theory of models. In the same way, Mikenberg, Chuaqui and da Costa, in a work of 1986, conceived a precise notion of almost-truth, which can be considered as a version of pragmatic truth conception. We intend to show, in general ways, the formal concept of almost-truth among some developments obtained from this same concept in philosophy of science. (shrink)

O objetivo deste trabalho é apresentar uma definição materialmente adequada de verdade, no sentido de Tarski, para uma classe de linguagens formais capaz de expressar as proposições categóricas da lógica aristotélica.The aim of this paper is to put forward a materially adequate definition of truth, in Tarski's sense, for a class of formal languages that would be able to represent the categorical propositions of Aristotelian logic.

Resumo: No presente artigo, discutiremos os aspectos filosóficos de teorias de conjuntos paraconsistentes. A fim de ilustrar nossas considerações de modo mais concreto, abordaremos uma nova teoria de conjuntos baseada em um sistema bem conhecido de Quine e em um cálculo paraconsistente.Palavras-chave: existência, contradição, lógica e paraconsistência.: In the present paper we deal with the philosophical aspects of paraconsistent set theories. In order to illustrate our points more concretely, we will discuss new paraconsistent set theory based both on Quine's well-known (...) system and on a paraconsistent calculus.Keywords: existence, contradiction, logic and paraconsistency. (shrink)

Resumo: Apresentamos uma abordagem geral da demonstração de completude de cálculos lógicos abstratos por meio da noção de valoração e de um resultado devido a A. Lindenbaum.: We present a general approach to the proof the completeness of abstract logical calculi through the notion of valuation and of a result due to A. Lindenbaum.

Resumo: Pretendemos esboçar o conceito de lógica multidedutiva que constitui um sistema lógico subjacente à noção de verdade pragmática. Com base em lógicas multidedutivas, delineamos um aparato formal para o tratamento apropriado de inconsistências em teorias físicas.: we intend to delineate the concept of multideductive logic that constitutes a subjacent logical system for the pragmatic notion of truth. Based upon the multideductive logic we have pictured a formal apparatus used as an appropriate treatment to the inconsistencies in Physics theories.

Infinitary languages are used to prove that any strong isomorphism of substructures of isomorphic structures can be extended to an isomorphism of the structures. If the structures are models of a theory that has quantifier elimination, any isomorphism of substructures is strong. This theorem is a partial generalization of Steinitz’s theorem for algebraically closed fields and has as special case the analogous theorem for differentially closed fields. In this note, we announce results which will be proved elsewhere. DOI: 10.5007/1808-1711.2011v15n1p107.

Infinitary languages are used to prove that any strong isomorphism of substructures of isomorphic structures can be extended to an isomorphism of the structures. If the structures are models of a theory that has quantifier elimination, any isomorphism of substructures is strong. This theorem is a partial generalization of Steinitz’s theorem for algebraically closed fields and has as special case the analogous theorem for differentially closed fields. In this note, we announce results which will be proved elsewhere.

This article introduces some concepts that help exploring the ontological import of universal logic. It studies the notions of an antilogic and counterlogic associated to each logic and shows some of their properties. It presents the notion of galaxy, as the class of possible worlds compatible with a given logic.We explore some consequences of these developments.

Naturalist theories of representation have been attacked on the grounds of being too liberal on the minimal conditions for intentionality: they treat several states that are not representational as genuine representations. Behind this attack lies the problem of demarcation: what are the minimal conditions for intentionality that a state should satisfy to be genuinely representational? What are the limits of intentionality? This paper develops a dual proposal to solve this problem. First, I defend the explanatory role criterion in order to (...) assess proposals of minimal conditions for intentionality. I start by proposing the success pattern condition: a state represents a given external feature provided that there is a success pattern present in the behavioural output, and the system uses this state as a proxy for the presence of this external feature. However, this condition is not sufficient for minimal intentionality – there are both intentional and non-intentional success patterns. Another minimal condition is, hence, required to draw this distinction. I propose the constancy mechanism condition: a state is representational provided that the system employs a constancy mechanism in its production. The success pattern and constancy mechanism conditions jointly constitute the dual proposal for minimal intentionality. I argue that this proposal is explanatorily justified and, so, properly demarcates the limits of intentionality. (shrink)

O objetivo deste artigo é analisar as relações entre agnotologia (construção social da ignorância) e o princípio da precaução (PP) sob dois aspectos. O primeiro diz respeito à crítica de que parcela dos defensores do PP teria utilizado estratégias de construção de ignorância. A partir do trabalho do filósofo Daniel Steel, mostro como elas enfraquecem um critério interno ao próprio princípio: a proporcionalidade. Sob o segundo aspecto, comento documentos tornados públicos que evidenciam estratégias de agnotologia por setores da indústria tanto (...) sobre o PP como sobre resultados científicos para que ele não fosse aplicado. Semelhante exposição ainda não foi realizada na literatura especializada no PP. A partir dessa análise, busco contribuir para identificar estratégias de agnotologia em debates sobre o PP. (shrink)

Este artigo explora as relações entre história e literatura considerando a literatura um testemunho que pode ser lido, desconstruído e submetido ao mesmo escrutínio ao qual os historiadores submetem outras fontes que lhes permitam ter acesso à compreensão de redes e tensões sociais mais amplas. Nele são utilizadas poesias publicadas no cancioneiro Trovador: coleção de modinhas, recitativos, árias, lundus, etc.., com o objetivo de mostrar como seus autores estabeleceram um diálogo entre si e com seus leitores acerca de um assunto (...) candente do seu tempo - o progresso e seus desdobramentos para o cotidiano da sociedade – utilizando-se da literatura como instrumento de intervenção na realidade. A partir desses pressupostos, a experiência histórica vivida por escritores é considerada condição básica de análise, bem como texto e contexto são percebidos como dimensões indissociáveis de um fenômeno mais amplo que é ao mesmo tempo, cultural, econômico, social e político devendo ser abordados em conjunto levando-se em conta suas conexões recíprocas. (shrink)

In the text Critique of the Foundations of Psychology (1928) Georges Politzer (1903-1942) sought to investigate the epistemological bases of some currents of psychology. His intention was to reorient psychological studies toward a concreteconception. By analyzing Gestalt theory, Behaviorism, and Psychoanalysis, Politzer outlined a project of concrete psychology with some principles that guide possible perspectives of studies on psychological phenomena. His principles consist instudying psychological facts through the prism of the first person and consider man in his drama. Despite being (...) Hungarian, the author walked his political and intellectual path in France in the 20th century, a time when Jean Paul Sartre (1905-1980) focusedon psychological phenomena under the prism of phenomenology, proposing an Existential Psychoanalysis at the end of Being and Nothingness (1943). In this sense, we will verify to what extent the Sartrian theory can contemplate Politzer’s principlesof a concrete psychology. (shrink)

Das Crises às possibilidades da Educação Superior no Brasil: uma leitura a partir de Hannah Arendt Resumo: O texto procura entender os pressupostos da educação superior no Brasil e faz considerações sobre seus limites e potencialidades à luz de Hannah Arendt. Segundo Hannah Arendt, a crise da educação remete-se a uma crise de estabilidade de todas as instituições políticas e sociais. E para o enfrentamento dessa crise, Hannah Arendt sugere reconsiderar a crise da modernidade para se repensar criticamente o papel (...) da educação no mundo contemporâneo. De fato, sua reflexão assevera que a educação está entre as atividades mais elementares e necessárias da sociedade humana, e, por isso, tem de ser continuamente repensada em função das transformações do mundo no qual nascem novos seres humanos. Hannah Arendt, questiona e faz pensar como que a crise da e na educação impede todo desenvolvimento de tarefas e dinâmicas que ajudem, especialmente aos estudantes (em qualquer área de conhecimento) a possuírem e produzirem um conhecimento que leve a um enfrentamento de situações críticas do quotidiano. Palavras-Chave: Hannah Arendt; Educação Superior; Crise na Educação; Cidadania; Direito Educacional. From Crises to Possibilities of Higher Education in Brazil: a Reading Based on Hannah Arendt Abstract: The text aims to understand assumptions of higher education in Brazil and makes considerations about limits and potentialities concerning those assumptions in the light of Hannah Arendt. According to Hannah Arendt, the crisis in education refers to a crisis of stability of all political and social institutions. And to envisage this crisis, Hannah Arendt suggests reconsidering the crisis of modernity to critically rethink the role of education in the contemporary world. In fact, her reflection asserts that education is among the most fundamental and necessary activities of human society, and, therefore, it must be continually rethought considering transformations in the world in which new human beings are born. Hannah Arendt, questions and makes us think about how the crisis of and in education prevents any development of tasks and dynamics that help, especially for students (in any area of knowledge) to possess and produce knowledge that leads to facing critical situations in the everyday. Keywords: Hannah Arendt; Higher Education; Crisis on Education; Citizenship; Educational Law. Des crises aux possibilités d e l’enseignement supérieur au Brésil : une lecture chez Hannah Arendt Résumé: Le texte a le but de comprendre les présupposés de l'enseignement supérieur au Brésil et fait des considérations sur ses limites et ses potentialités à la lumière d'Hannah Arendt. Selon Hannah Arendt, la crise de l'éducation renvoie à une crise de stabilité de toutes les institutions politiques et sociales. Et pour faire face à cette crise, Hannah Arendt propose de reconsidérer la crise de la modernité afin de repenser de manière critique le rôle de l'éducation dans le monde contemporain. En effet, sa réflexion affirme que l'éducation fait partie des activités les plus élémentaires et les plus nécessaires de la société humaine et qu'elle doit, donc, être continuellement repensée à la lumière des transformations du monde dans lesquelles de nouveaux êtres humains voient le jour. Hannah Arendt, interroge et fait réfléchir sur la façon dont la crise de et dans l'éducation empêche tout développement de tâches et de dynamiques qui aident, en particulier pour les étudiants (dans n'importe quel domaine de la connaissance) à posséder et produire des connaissances qui conduisent à faire face à des situations critiques dans le quotidien. Mots-Clés : Hannah Arendt; Enseignement supérieur; crise de l'éducation; citoyenneté; droit éducatif. Data de registro: 23/12/2021 Data de aceite: 15/03/2022. (shrink)

Resumo: Palavras-chave : Keywords : Teaching of reading. Teaching of literature. Practice of reading. Teacher training. We bring in the text part of our thinking about the literary reading and basal reading to build a reader, through the analysis of the data collected in research aimed at children of primary school. It is the understanding of the processes of receipt of literary texts from beginners readers at west of Sao Paulo. The discussion on the theme refers to the place where (...) literary reading and how it has been addressed in the school. : Ensino da leitura. Ensino da literatura. Práticas de leitura. Formação de professores. Buscamos neste texto refletir sobre a leitura literária e a leitura escolarizada do leitor em formação, mediante a análise de parte dos dados coletados em investigação realizada com crianças do Ensino Fundamental. Trata-se da compreensão dos processos de recepção de textos literários por parte de leitores-aprendizes do oeste paulista. A discussão sobre a temática remete ao lugar da leitura literária e como ela vem sendo acolhida na escola. (shrink)

DIREITO E TEATRO: PROPOSTA DE INSERÇÃO DA ARTE DRAMÁTICA COMO MEIO TRANSFORMADOR DA EDUCAÇÃO JURÍDICA.

Les migrations se font maintenant plutôt vers les pays du Sud, refuges de 80 % des demandeurs d’asile. 4 % des Brésiliens sont étrangers, ce qui est faible du fait d’une législation défavorable élaborée pendant la dictature. Les immigrants viennent de Colombie et du Congo, après être venus d’Angola. Ces derniers se sont établis dans le quartier le plus pauvre de Rio. Malgré leur pauvreté, les étrangers participent par leur désir de changement à la nouvelle multitude locale.

O texto investiga a dimensão “labiríntica” sociedade contemporânea do ponto de vista de sua autocompreensão conceitual, e a dimensão do “esquecimento” do real concreto, que caracteriza esta sociedade do ponto de vista de suas relações humano-ecológicas; a “emergência” do eticamente “excepcional” no real “estado de exceção em que vivemos”, em um cruzamento de categorias levinasianas e benjaminianas, é apresentada como uma possibilidade de escapar a algumas das dificuldades categoriais da filosofia política contemporânea. PALAVRAS-CHAVE – Alteridade. “Estado de exceção”. Labirinto conceitual. (...) Esquecimento. ABSTRACT The text discusses the contemporary society as a society marked by a “labyrinth of abstract concepts”, of its self-understanding, and by the strong incapacity to remember the real concrete, from the standpoint of its human, ecological relations. The emergency of the ethically “exceptional” in the actual “state of exception where we live”, in the intersection of Levinasian and Bejaminian categories, is presented as a possibility to escape some categorical difficulties of contemporary political philosophy. KEY WORDS – Alterity. “State of exception”. Conceptual labyrinth. Forgiveness. (shrink)

Este artigo examina a noção de dignidade humana com referência aos temas da temporalidade, singularidade, massa, morte e liberdade ética, no sentido de um projeto de uma nova configuração da antropologia filosófica. PALAVRAS-CHAVE – Singularidade. Massa. Temporalidade. Liberdade ética. Morte. Antropologia filosófica.

Neste artigo, o autor começa por discorrer sobre os últimos anos de vida do Doutor Subtil, marcados pelo célebre conflito em torno às relações de poder, ocorrido entre Filipe IV "O Belo", rei da França, e o papa Bonifácio viu, por causa das posições que ele assumiu e de sua relação com a questão da origem da propriedade e da autoridade secular. Para o Menorita escocês tanto a propriedade ou o domínio particular sobre os bens quanto a autoridade secular foram (...) instituídas pelos seres humanos, não por Deus, após a Queda Original, porque condiziam melhor com sua nova condição, influenciada por suas más inclinações. Por isso, foi necessário que houvesse uma autoridade política e leis por ela promulgadas, a fim de regular a convivência social. Os ensinamentos de Escoto sobre esses assuntos significam a via media entre as teses extremistas propostas, de um lado, pelos defensores da hierocracia pontifícia e, de outro, pelos assessores de Filipe IV. /// The author starts the article with a consideration of the last years of Duns Scotus' life, which was particularly marked by the famous conflict, around the relations of power, occurred between Philip IV, "The Fair", king of France, and Pope Boniface VIII, because of the positions which the scotch Friar assumed regarding the question about the origin of property and about the origin of the secular authority. As a matter of fact, for Duns Scotus, both the property and the political authority were established by men, after the Original Fall, not by God, because they are more in consonance with the new condition of humans, marked by their bad passions. Therefore, it was necessary to have a political authority able to promulgate laws in order to regulate the social life. The article shows that the teaching of Duns Scotus about these subjects constitutes a via media between the extremist doctrines professed, on the one hand, by the defenders of the hierocracy and, on the other, by the assessors of Philip IV. (shrink)

O artigo tem como objetivo propor a viabilidade de uma proposta de ética que contemple os animais não-humanos como “interlocutores” possíveis de um modelo ético mais geral a partir da inspiração da ética da Alteridade de E. Levinas. PALAVRAS-CHAVE – Ética. Animais. Racionalidade. Alteridade.

Este artigo analisa a especificidade da imaginação enquanto faculdade da alma na obra do metafísico Christain Wolff. Limitaremos nosso recorte às obras Metafísica alemã, Discurso preliminar sobre a filosofia em geral, Psychologia empirica e Psychologia rationalis. Orimeiramente investigamos o lugar de ambas as Psicologiæ no interior do sistema de Wolff, ressaltando a centralidade do estudo da alma [Seele]. Num segundo momento, analisamos as principais características da alma e sua vis repræsentativa como operador da relação entre a sensibilidade e as faculdades (...) da mente. Por fim, analisamos os modos de produção de phantasmata e de associação por meio dos quais a imaginação opera na alma. Concluimos mostrando que é em Wolff, contrariamente à tradição que o antecedera, que a imaginação aparece como uma faculdade rigorosamente regulada pelas leis do intelecto, e não pelo costume. (shrink)

This paper has two main objectives. The first one is to reflect on the validity of data in analysis and projections that underpin the engineering asset management of organizations, considering, on the one hand, a certain resistance or even inadequate use of data and information of a subjective nature and; on the other hand, a consolidated reliance on quantitative approaches and decisions based on data series. The second objective is to contextualize the applicability of combining qualitative data based on experts’ (...) experience and on the tacit knowledge built in organizations, with approaches based essentially on quantitative data, according to the data availability and the decision scenario over the asset life cycle. We present two application of an approach combining quali and quanti data. One example interrelates Statistics with Psychology and the other combines elicitated data about asset indicators with parameters deterministically calculated. Both applications aiming at providing more realistic indicators and supporting the Asset Management process to make more assertive decisions. (shrink)