Order:
Disambiguations
Ayda I. Arruda [16]A. I. Arruda [3]Angela Arruda [2]Agnes de Sousa Arruda [1]
A. Arruda [1]A. M. Arruda [1]Ayda Arruda [1]Antonio Trajano Menezes Arruda [1]

Not all matches are shown. Search with initial or firstname to single out others.

  1.  30
    Paraconsistent Logic: Essays on the Inconsistent.Graham Priest, Richard Sylvan, Jean Norman & A. I. Arruda (eds.) - 1989 - Munich and Hamden, CT: Philosophia.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   22 citations  
  2. Aspects of the historical development of paraconsistent logic.Ayda I. Arruda - 1989 - In Graham Priest, Richard Routley & Jean Norman (eds.), Paraconsistent Logic: Essays on the Inconsistent. Philosophia Verlag. pp. 99--130.
  3.  43
    Mathematical Logic in Latin America: Proceedings of the IV Latin American Symposium on Mathematical Logic Held in Santiago, December 1978.Ayda I. Arruda, R. Chuaqui & Newton C. A. Costa (eds.) - 1980 - New York: sole distributors for the U.S.A. and Canada, Elsevier North-Holland.
    (or not oveA-complete.) . Let * be a unary operator defined on the set F of formulas of the language £ (ie, if A is a formula of £, then *A is also a ...
    Direct download  
     
    Export citation  
     
    Bookmark   15 citations  
  4.  29
    For a Reading of Lordship and Bondage: The Genesis of Practical Reason as a Way to Hegel's First Philosophy.Alberto Arruda - forthcoming - Hegel Bulletin:1-28.
    In the following essay I shall propose a reading of Lordship and Bondage that follows what Robert Pippin termed a ‘practical turn’ (Pippin 2011: 28). I shall further argue that this turn ought to be qualified as Hegel's first philosophy. Starting with a reading that evinces the connection between the practical achievement of Self-Consciousness and the notion of Spirit as exhibiting a concentric relation, Spirit will be revealed to have its centre in the practical achievement of Self-Consciousness. I will then (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  24
    Completeness for cut-based abduction.A. M. Arruda & M. Finger - 2014 - Logic Journal of the IGPL 22 (2):286-296.
  6. Meeting of the association for symbolic logic: Bogotá, Colombia, 1981.Ayda I. Arruda, Xavier Caicedo, Rolando Chuaqui & Newton C. A. Costa - 1983 - Journal of Symbolic Logic 48 (3):884-892.
  7.  16
    Criticidade Na Construção de Narrativas Emancipatórias e Antimonumentos de Memória.Anderson Matheus Alves Arruda, Anna Raquel de Lemos Viana, Paulo Ricardo Silva Lima & Májory Karoline Fernandes de Oliveira Miranda - 2023 - Logeion Filosofia da Informação 10 (1):62-74.
    Teorias científicas constroem um conjunto de argumentos para compreender fenômenos no mundo, compreendendo ações e elaborando prognósticos com base em conexões significativas. A partir do movimento de reflexão com epistemologias que questionam o projeto de ciência ocidental hegemônica com o objetivo de pensar o sentido da crítica na construção de antimonumentos da memória. A pesquisa será configurada da seguinte forma: quanto aos objetivos de caráter exploratório, utilizando como suporte teórico a investigação bibliográfica; quanto à natureza dos dados, a pesquisa configura-se (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  35
    A critica behaviorista de W. O. Quine.Antonio Trajano Menezes Arruda - 1980 - Trans/Form/Ação 3:115-125.
    The object of this paper is Quine's behavioristic critique of semantics and epistemology. Quine claims to have produced with this critique important contributions to the clarification of a number a notions, among them the notion of observation, or of observation sentence, a topic which is discussed here in detail. It is also discussed the precise role of the so-called Duhem-Quine thesis in Quine's rejection of the doctrine of propositions.O artigo comenta a crítica comportamental quineana da semântica e da epistemologia. Quine (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9. Corpas gordas importam: o Instagram como espaço de performance para mulheres gordas.Agnes de Sousa Arruda & Marcelle Jacinto da Silva - 2022 - Logos: Comuniação e Univerisdade 28 (2).
    Este artigo tem como objetivo promover uma reflexão sobre as potências de performances protagonizadas por mulheres gordas na rede social digital Instagram, a partir de pesquisas bibliográfica, documental e de campo. Faz-se uma leitura multidisciplinar de corpos gordos, particularmente o de mulheres, em imagens postadas por elas na rede, no sentido de pensarmos formas outras de representação e de re-existência daqueles corpos que são tratados como doentes, feios, fracassados e distantes do ideal de feminilidade, no seio social e propagado também (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  11
    Mathematical Logic in Latin America Proceedings of the Iv Latin American Symposium on Mathematical Logic Held in Santiago, December 1978.Ayda I. Arruda, R. Chuaqui & Newton C. A. da Costa (eds.) - 1980 - New York: sole distributors for the U.S.A. and Canada, Elsevier North-Holland.
    Provability, Computability and Reflection.
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  10
    Mathematical Logic: Proceedings of the First Brazilian Conference.Ayda I. Arruda, Newton C. A. Da Costa & R. Chuaqui - 1978
    Direct download  
     
    Export citation  
     
    Bookmark  
  12. Meeting of the association for symbolic logic: Campinas, Brazil 1976.Ayda I. Arruda, Francisco Miro Quesada, Newton C. A. Da Costa & Rolando Chuaqui - 1978 - Journal of Symbolic Logic 43 (2):352-364.
  13.  54
    Meeting of the association for symbolic logic: Santiago, Chile, 1978.Ayda I. Arruda, Rolando Chuaqui, Newton C. A. Costa & Irene Mikenberg - 1981 - Journal of Symbolic Logic 46 (1):180-190.
  14.  72
    Meeting of the Association for Symbolic Logic: Bogotá, Colombia, 1981.Ayda I. Arruda, Xavier Caicedo, Rolando Chuaqui & Newton C. A. da Costa - 1983 - Journal of Symbolic Logic 48 (3):884 - 892.
  15.  45
    Meeting of the Association for Symbolic Logic: Santiago, Chile, 1978.Ayda I. Arruda, Rolando Chuaqui, Newton C. A. da Costa & Irene Mikenberg - 1981 - Journal of Symbolic Logic 46 (1):180 - 190.
  16.  53
    Meeting of the Association for Symbolic Logic: Campinas, Brazil 1976.Ayda I. Arruda, Francisco Miró Quesada, Newton C. A. Da Costa & Rolando Chuaqui - 1978 - Journal of Symbolic Logic 43 (2):352 - 364.
  17.  29
    Meeting of the Association for Symbolic Logic, Campinas, Brazil, 1976.Ayda I. Arruda, Francisco Miró, Newton C. A. da Costa & Rolando Chuaqui - 1978 - Journal of Symbolic Logic 43 (2):352-364.
  18.  35
    Meeting of the Association for Symbolic Logic, Santiago, Chile, 1978.Ayda I. Arruda, Rolando Chuaqui, Newto N. C. A. da Costa & Irene Mikenberg - 1981 - Journal of Symbolic Logic 46 (1):180-190.
  19.  49
    On the relevant systemsp andp* and some related systems.Ayda I. Arruda & Newton C. A. Costa - 1984 - Studia Logica 43 (1-2):33 - 49.
    In this paper we study the systemsP andP * (see Arruda and da Costa,O paradoxo de Curry-Moh Shaw-Kwei, Boletim da Sociedade Matemtica de São Paulo 18 (1966)) and some related systems. In the last section, we prove that certain set theories havingP andP * as their underlying logics are non-trivial.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  20.  51
    On the Relevant Systems P and P* and Some Related Systems.Ayda I. Arruda & Newton C. A. da Costa - 1984 - Studia Logica 43 (1/2):33 - 49.
    In this paper we study the systems P and $P^{\ast}$ (see Arruda and da Costa, O paradoxo de Curry-Moh Shaw-Kwei, Boletim da Sociedade Matemātica de São Paulo 18 (1966)) and some related systems. In the last section, we prove that certain set theories having P and $P^{\ast}$ as their underlying logics are non-trivial.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  21. Proceedings of the Third Brazilian Conference on Mathematical Logic.A. I. Arruda, N. C. A. Da Costa & A. M. Sette - 1983 - Studia Logica 42 (4):483-484.
  22.  45
    Semantical study of some systems of vagueness logic.A. Arruda & E. Alves - 1979 - Bulletin of the Section of Logic 8 (3):139-144.
    In [1] we have characterized four types vagueness related to negation, and constructed the corresponding propositional calculi adequate to formalize each type of vagueness. The calculi obtained were named V0; V1; V2 and C1 . The relations among these calculi and the classical propositional calculus C0 can be represented in the following diagram, where the arrows indicate that a system is a proper subsystem of the other V0 V1 C0 V2 C1 6 1 PP PP PP PiP 1 PP PP (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  60
    Aletheia, revista quadrimestral editada pelo Curso de Psicologia da Universidade Luterana do Brasil, publica artigos originais, relacionados à Psicologia, pertencentes às seguintes categorias: artigos de pesquisa, artigos de atualização, resenhas e comunicações. Os artigos são de responsabilidade exclusiva dos autores e as opiniões e julgamentos neles contidos não expressam necessariamente o pensamento dos Editores ou Conselho Editorial.Sofia Dias, Cristina Queirós, Mary Sandra Carlotto, Fernando C. Derenusson, Bernardo Jablonski, Rhaniele Sodré Ferreira, Cristal Oliveira Moniz de Aragão, Angela Arruda, Makilim Nunes Baptista & Fabián Javier Marin Rueda - 2010 - Revista Aletheia 32:1.
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  62
    "Boladão, pesadão, isso é Rio de Janeiro": notas sobre funks de torcida e de facção.Rhaniele Sodré Ferreira, Cristal Oliveira Moniz de Aragão & Angela Arruda - 2010 - Revista Aletheia 32:38-52.
    Este artigo tem como objetivo cotejar a produção e as características dos funks de facção e de torcida no contexto do Rio de Janeiro. Para tanto, foram selecionadas amostras representativas de funks de torcida/facção a partir do material coletado em CDs piratas e na rede mundial de computadores, 39 ..
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  48
    Non-classical logics, model theory, and computability: proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976.Ayda I. Arruda, Newton C. A. Costa & R. Chuaqui (eds.) - 1977 - New York: sale distributors for the U.S.A. and Canada, Elsevier/North-Holland.
  26.  7
    Non-classical logics, model theory, and computability: proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976.Ayda I. Arruda, R. Chuaqui & Newton C. A. da Costa (eds.) - 1977 - New York: sale distributors for the U.S.A. and Canada, Elsevier/North-Holland.