Esta pesquisa pretende investigar sobretudo a relação entre Sociedade e Estado. A sociedade sob a perspectiva de Tocqueville enquanto corpo coletivo democrático, ou igual. A igualdade é entendida pelo autor como um “fato social”. Tocqueville chama de estado social de igualdade de condições a conjuntura política organizacional do povo americano por ele encontrado à época de sua visita aos EUA. Já o Estado, visto pelo autor como resultado das condições da sociedade, sendo este, instituição arquitetada dentro de parâmetros democráticos de (...) igualdade e liberdade, pelo próprio povo, que se auto governa, não apenas como instituições ou órgãos degoverno. (shrink)

Partindo do concretismo subjacente ao texto poético de Ernesto Manuel de Melo e Castro, e que está na origem do tratamento da linguagem a partir dos seus modos de materialização, o presente texto procura traçar um possível caminho interpretativo para a função da poesia visual determinada pelo autor, a saber: sintetizar a comunicação visual. Para tal, é explorado o percurso percorrido pelo cruzamento de sistemas sígnicos levado a cabo pela prática poética de Melo e Castro, especialmente aquela que diz respeito (...) a questões de intermedialidade, e que se prende com o modo de materialização da densidade sígnica do fenómeno textual. (shrink)

We present some recent technical results of us on the incompleteness of classical analysis and then discuss our work on the Arnol'd decision problems for the stability of fixed points of dynamical systems.

Embora influente na recepção de Heidegger nos Estados Unidos da América, o trabalho de Dreyfus foi repetidas vezes criticado por desenvolver uma leitura distorcida e seletiva da fenomenologia de Heidegger. Nesse artigo, mostramos que, independentemente de seus desenvolvimentos posteriores em ciência cognitiva, sua crítica inicial à IA simbólica se apoia em duas teses que podem ser localizadas em Ser e Tempo, a saber, de que nosso senso de situação é pragmático-holístico, e intrinsecamente relevante. Após uma introdução geral, reconstruímos, numa primeira (...) seção, em linhas gerais o projeto da IA simbólica e o tom geral da crítica de Dreyfus; numa segunda seção, reconstruímos a crítica de Dreyfus a SAM, de R. Schank; na terceira seção, indicamos como as duas teses podem ser localizadas em Ser e Tempo; concluímos apontando questões pendentes. (shrink)

We expose the main ideas, concepts and results about Jaśkowski's discussive logic, and apply that logic to the concept of pragmatic truth and to the Dalla Chiara-di Francia view of the foundations of physics.

In this historical article, Newton da Costa discusses Francisco Miró Quesada’s philosophical ideas about logic. He discusses the topics of reason, logic, and action in Miró Quesada’s work, and in the final section he offers his critical view. In particular, he disagrees with Miró Quesada’s stance on the historicity of reason, for whom “reason is essentially absolute”, whereas for da Costa it “is being constructed in the course of history”. Da Costa concludes by emphasizing the importance (...) of Miró Quesada’s theory of logic and reason, despite it still being incomplete. -/- Historical article by Newton da Costa, annotated and translated by J. C. Cifuentes and L. F. Bartolo Alegre. (shrink)

We first state a few previously obtained results that lead to general undecidability and incompleteness theorems in axiomatized theories that range from the theory of finite sets to classical elementary analysis. Out of those results we prove several incompleteness theorems for axiomatic versions of the theory of noncooperative games with Nash equilibria; in particular, we show the existence of finite games whose equilibria cannot be proven to be computable.

We report on the small-scale (0.5 13 h - 1M, a large-scale bias of ~2.0 and a satellite fraction of 12 ± 2 per cent. Thus, these galaxies occupy haloes with average masses in between those of the higher redshift BOSS CMASS sample and the original SDSS I/II luminous red galaxy sample © 2012 The Authors Published by Oxford University Press on behalf of the Royal Astronomical Society © doi:10.1093/mnras/sts314.

Several countries maintain universal health coverage, which implies responsibility to organize delivery formats of healthcare services and products for citizens. In Brazil, the health system has a principle of universal access for more than 30 years, but many deficiencies remain and the country observes a day practice for those seeking judicial decisions to determine provision of healthcare.

Este artigo tem como objetivo mostrar alguns aspectos do humanismo jurídico, tal qual desenvolvido por Francisco de Vitoria. Cabe-nos, ainda, a tarefa de investigar e reconstruir as contribuições filosóficas da Escolástica Tardia desenvolvida no escopo do humanismo jurídico que permitiram a sistematização do conceito de ius communicationis. Nossa reconstrução partirá de uma tríplice fundamentação epistemológica frequentemente utilizada pelo autor, a saber, o estatuto da dúvida, da certeza e da opinião. A discussão, prima facie, se concentra em duas de suas (...) principais conferências internacionalistas sobre o problema da colonização da América. Em primeiro lugar, sua aproximação do tema no De Potestate Civili ; em segundo lugar, no De indis recenter inventis relectio prior. (shrink)

O presente artigo analisa a visão dos Estados Unidos da América por D. Francisco d’Assis Almeida Portugal (1796-1870), ao longo do século XIX. Diplomata, ministro e parlamentar da monarquia constitucional portuguesa, foi um arguto observador da evolução da política externa da república americana no relativo à América Central, África Ocidental e Europa. D. Francisco d’Assis Almeida Portugal dedicou especial atenção à escravatura, ao federalismo e à guerra civil americana (1861-1865). Nas suas reflexões não acredita na viabilidade dos EUA, (...) considerando-o um estado falhado. (shrink)

O artigo procura mostrar de que modo Heidegger pensa a poesia como essência da linguagem. Com esse intuito, tem por objetivo desenvolver a articulação entre poesia e linguagem, mostrando que, se a “matéria” da poesia é a linguagem, a linguagem, por sua vez, é, em sua essência, poesia. No desenvolvimento dessa questão, tomaremos Hölderlin como interlocutor privilegiado de Heidegger por mostrar, de modo exemplar, a poesia como tarefa de testemunhar o divino, que se realiza através do combate entre deuses e (...) homens. Nesse combate se realiza a tensão entre a essência e a não-essência da linguagem, entre o seu caráter divino e vulgar, que apresenta, por um lado, a poesia como a mais inocente das ocupações e, por outro lado, a linguagem como o mais perigoso dos bens. A linguagem é simultaneamente as duas coisas, sendo, por isso, em sua essência, um mistério. Heidegger pensa esse mistério a partir da relação entre dasein e ser. Nessa relação o ser encontra abrigo na linguagem, que testemunha o ser a partir do ser. Sendo aquele que testemunha, o dasein, contudo, não é o sujeito que possui a linguagem, mas aquele que pode testemunhar porque é obrigado a falar, a trazer para a palavra aquilo que quase o faz perder a língua, este que é o mais estranho, o mais inóspito de todos os hóspedes, o ser.: The article tries to show how Heidegger think the poetry as essence of language. To that end, aims to develop the relationship between poetry and language, showing that if the “matter” of poetry is the language, the language, in turn, is, in essence, poetry. In the development of this issue, we will take Hölderlin as a privileged interlocutor of Heidegger for show in an exemplary way, the poetry as task of witness the divine, which is realized through the fight between gods and men. In this fight takes place the tension between essence and non-essence of language, between his divine and vulgar character, which has, on the one hand, poetry as the most innocent of occupations and, on the other hand, the language as most dangerous of goods. The language is simultaneously both, and is therefore, in essence, a mystery. Heidegger thinks this mystery from the relationship between dasein and being. In this relationship, the being found shelter under the language that witness the being from being. Being that which witness, the dasein, however, is not the subject which has the language, but that which can witness because it is forced to speak, to bring for the word that almost makes you lose the language, this that is the strangest, the most inhospitable of all guests, the being. Keywords: Heidegger, Hölderlin, poetry, language, being. (shrink)

MEDIEVAL LOGICS LAMBERT MARIE DE RIJK (ed.), Die mittelalterlichen Traktate De mod0 opponendiet respondendi, Einleitung und Ausgabe der einschlagigen Texte. (Beitrage zur Geschichte der Philosophie und Theologie des Mittelalters, Neue Folge Band 17.) Miinster: Aschendorff, 1980. 379 pp. No price stated. THE SEVENTEENTH CENTURY MARTA FATTORI, Lessico del Novum Organum di Francesco Bacone. Rome: Edizioni dell'Ateneo 1980. Two volumes, il + 543, 520 pp. Lire 65.000. VIVIAN SALMON, The study of language in 17th century England. (Amsterdam Studies in the Theory (...) and History of Linguistic Science, Series 111: Studies in theHistory of Linguistics, Volume 17.) Amsterdam: John Benjamins B.V., 1979.x + 218 pp. Dfl. 65. Theoria cum Praxi. Zum Verhaltnis von Theorie und Praxis im 17. und 18. Jahrhundert. (Akten des 111. Internationalen Leibnizkongress, Hannover, 12. bis 17.November 1977, Band 111: Logik, Erkenntnistheorie, Wissenschaftstheorie, Metaphysik, Theologie.) Wiesbaden: Franz Steiner Verlag, 1980. vii + 269 pp. DM 48. CLASSICAL AND NON-CLASSICAL LOGICS MICHAEL CLARK, The place of syllogistic in logical theory. Nottingham: University of Nottingham Press, 1980. ix + 151 pp. £3.00. A.F. PARKER-RHODES, The theory of indistinguishables. Dordrecht, Boston and London: D. Reidel Publishing Company, 1981. xvii + 216 pp. Dfl.90.00/$39.50. NICHOLAS RESCHER and ROBERT BRANDOM, The logic of inconsistency. Oxford:Basil Blackwell, 1980. x + 174 pp. f 11.50. MISCELLANEOUS J. ZELENY, The logic of Marx. Translated from the German by T. Carver. Oxford: Basil Blackwell, 1980. xcii + 247 pp. £12.50. FELIX KAUFMANN, The infinite in mathematics. Edited by Brian McGuinness. Introduction by E. Nagel. Translation from the German by Paul Foulkes. Dordrecht: Reidel, 1978. xvii + 235 pp. Dfl 85/$39.50 (cloth); Dfl 45/$19.95 (paper). PAMELA MCCORDUCK, Machines who think. San Francisco: W.H. Freeman and Company, 1979. xiv + 275 pp. $14.95. J. MITTELSTRASS (ed.), Enzyklopadie Philosophie und Wissenschaftstheorie Bd. 1 : A-G. Mannheim, Wien, Ziirich: Bibliographisches Institut, 1980. 835 pp. DM 128. (shrink)

Neste artigo serão abordadas as ações da Comissão de Melhoramento do Rio São Francisco destacando principalmente as obras que foram realizadas. Apresentando também como se dava o ambiente de trabalho da Comissão. São apresentados ainda os principais problemas surgidos durante a etapa de melhoramento do Rio São Francisco e os fatos que desencadearam na finalização da referida Comissão de Melhoramento do rio São Francisco. Palavras-chave: Rio São Francisco, Comissão, Melhoramento, Amarante.

We discuss Kunen’s algorithmic implementation of a proof for the Paris–Harrington theorem, and the author’s and da Costa’s proposed “exotic” formulation for the P = NP hypothesis. Out of those two examples we ponder the relation between mathematics within an axiomatic framework, and intuitive or informal mathematics.

We show that the P 2 0 sentence, and explore some of theconsequences of that fact. This paper summarizes recent workby the author with N. C. A. da Costa on the P

Logic and Philosophy of Logic

Direct download (5 more)  

 

Export citation  

 

Bookmark  

A Encíclica Fratelli tutti, do Papa Francisco, publicada em 3 de outubro de 2020, é, como se tem veiculado, um documento que faz parte da Doutrina Social da Igreja. Escrita sob a inspiração do diálogo com o líder islâmico Grande Imã Ahmad Al-Tayyeb, pretende falar sobre o amor fraterno em sua dimensão universal. Este comentário, unindo-se a outros que se tem feito sobre esse texto, tem como objetivo contribuir na recepção da encíclica, sendo uma abordagem na perspectiva da espiritualidade.

Ênio José da Costa Brito apresenta Uma leitura da escravidão pela ótica dos desafios do antiescravismo . Trata-se de minuciosa nota bibliográfica sobre a obra de Seymour Drescher: DRESCHER, Seymour. Abolição: Uma história da Escravidão e do Antiescravismo. São Paulo: Editora UNESP, 2011, 736p. ISBN 978-85-393-0184-3.

O presente volume reune quase uma trintena de artigos com temas culturais, de consagrados autores portugueses e brasileiros, que assim pretenderam homenagear o Professor. oordenada por Joaquim Gonçalves, a obra é estruturada em 4 partes. As três primeiras agrupam as intervenções, consagrando-se a quarta à vida e obra do homenageado.

Neste ensaio, refletimos sobre a unidade e a universalidade da lógica, por meio de duas questões fundamentais. Em primeiro lugar, discutimos se, dentre as várias lógicas existentes atualmente, haveria alguma melhor do que as outras. Em segundo, debruçamo-nos sobre o problema de saber se o mundo real é governado por uma determinada lógica. Remetendo as questões aos seus fundamentos, defendemos o pluralismo e mostramos que a avaliação das lógicas não se dá por questões de índole meramente formal, envolvendo princípios históricos, (...) pragmáticos e dialéticos ligados aos diversos contextos racionais aos quais elas são aplicadas. Mostramos ainda que o mundo real não é governado por nenhuma lógica específica, mas por variadas lógicas, e que há sempre uma espécie de ambiguidade e um jogo adaptativo entre os aspectos reais do mundo e os formais da lógica. (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 this paper we will present the philosopher Friedrich Nietzsche’s main reflections on the scientific enterprise, its relation to the metaphysical tradition, and how the German author drew on the nineteenth century cosmological discussion to develop a worldview that ultimately endorses a dynamic and more creative form of science, whose representations and values should not be separated from human interests.

Procuramos expor o pluralismo de leituras da obra freudiana mediante a exploração da hipótese de historicização da formação psíquica dos sujeitos, especialmente relativa ao complexo de Édipo e Supereu. Partindo da perspectiva de estudos feministas, verificamos no corpus teórico freudiano se há a possibilidade de que o avanço sócio-histórico seja um fator de modificação de concepções que, na leitura freudiana clássica, seriam lidas como imutáveis, fixas e rígidas cultural e historicamente. Madelon Sprengnether, Nancy Chodorow e Judith Butler serão retomadas para (...) criticar a leitura clássica e generalizante do complexo de Édipo enquanto “estrutural”, essencializado e substancializado. Sugerimos que, sendo uma lei hegemônica, a vivência edípica não pode ser completamente ultrapassada, mas pode ser performativamente atuada de formas desviantes de sua estrutura classicamente pensada por Freud. Nesse âmbito, a transmissão geracional é nosso enfoque primordial. Ela é debatida ao menos em três momentos complementares: na análise da filogênese, da herança arcaica e do Édipo social exposta em Totem e tabu, na herança narcísica de expectativas e ideais compreendida em Introdução ao narcisismo e na teoria da perpetuação de valores e tradições morais via identificações geracionais superegoicas que consta nas Novas Conferências sobre Psicanálise. (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)

Search to develop with this paper the Doctrine and Interpretation of the Faith, based on documents of the Church, especially the Second Vatican Council and the approach of authors about the same documents with intention to provide to the reader a challenge to the deepening of the thematic to speak briefly about Revelation, Scripture, Tradition, Interpretation of the faith and the Mastership. However, the theme will be developed starting with a reflection about the Revelation which has like consequence or suppose (...) the experience of the faith interpretation. To explore the theme minimally tried to present its relation with the Scripture and with the Tradition, id est, its entirety. In the end, within this dynamic of the Revelation and the interpretation of the faith can not stay out of the Doctrine question and co-related to the Church Mastership and their role in this reality and some of its specifics. (shrink)

The general theory of variable binding term operators is an interesting recent development in logic. It opens up a rich class of semantic and model-theoretic problems. In this paper we survey the recent literature on the topic, and offer some remarks on its significances and on its connections with other branches of mathematical logic.

In this paper we make some general remarks on the use of non-classical logics, in particular paraconsistent logic, in the foundational analysis of physical theories. As a case-study, we present a reconstruction of P.\ -D.\ F\'evrier's 'logic of complementarity' as a strict three-valued logic and also a paraconsistent version of it. At the end, we sketch our own approach to complementarity, which is based on a paraconsistent logic termed 'paraclassical logic'.

Este artigo investiga a presença da semiótica de C. S. Peirce na filosofia de Gilles Deleuze. O interesse pelas ideias de Peirce se deu a partir da parceria que Deleuze estabeleceu com Félix Guattari, e que se manifesta no uso dos conceitos de semiótica e diagrama em sua obra conjunta “Mil platôs”. Mais tarde, Deleuze faria um uso mais aprofundado da semiótica de Peirce em seus livros e cursos sobre cinema.

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)

Este artigo busca refletir sobre condições iniciais da sociedade pré- humana explicando como dois fenômenos biológicos – adaptativos, a bipedalização e neotenia, ajudaram a emergir no homem características próprias humanas tais como a solidariedade. Procura também lançar critica se a Teoria da Evolução pode ou não explicar comportamentos humanos complexos.

This research aims at a dialogue between Theology and Psychology in order to understand the Catholic faith and their possible mobilization within the psychic processo of assimilation and elaboration of mourning, using the clinical history of two Catholic bereaved patients followed up in psychoterapy in their first years of bereavement as a concrete object of analysis in a longitudinal study. The Project is part of a historical and philosophical literature on death and then supplies from the contribuitions of Jurgen Moltmann (...) in the Theology of Hope, the psychoanalyst John Bowlby’s productions and his sucessor, the psychiatrist Colin Parkes on data about the mourning and recovery. Conclusively, from the analysis of the theological content found, it was established that the fight arouses intense and profound theological transformation process that reached three categories: faith, God and the Communion of Saints,causing changes that potentially infer the recovery conditions of the bereaved, as well as their way of being and living after the loss, pointing to the need for a differentiated listening to the data found on faith, against human care in bereavement. (shrink)

Rousseau é reconhecido como um dos grandes filósofos da nossa tradição ocidental, sobretudo pelo impacto que os seus ideais tiveram na definição da ideologia moderna de viés republicano e até mesmo liberal. Porém, apesar da defesa incansável daqueles que viriam a ser os ideais revolucionários franceses, Rousseau insiste em manter uma prática de desigualdade naturalizada, considerando as mulheres como inferiores e eternas desiguais dos homens. Mary Wollstonecraft foi a primeira a fazer a denúncia da contradição do pensamento de Rousseau, na (...) obra que viria a ser o marco de uma literatura feminista: A Vindication for the Rights of Women. Porém, até mesmo esta denúncia está circunscrita àquele horizonte que Rousseau contribuira para desenhar: o horizonte da universalidade dos direitos, das liberdades e da igualdade. Neste artigo queremos caracterizar esta contradição levando em conta contribuições recentes de críticas feministas e apontando sua relação com o projeto democrático mais vasto. (shrink)