Results for 'A. I. Arruda'

1000+ found
Order:
  1. 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.
  2.  26
    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   1 citation  
  3.  42
    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.  9
    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  
  5.  6
    Mathematical Logic: Proceedings of the First Brazilian Conference.Ayda I. Arruda, Newton C. A. da Costa & R. Chuaqui - 1978
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  5
    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.
  7.  45
    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.
  8.  48
    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  
  9.  46
    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  
  10. 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.
  11.  48
    Meeting of the association for symbolic logic: Campinas, Brazil 1976.Ayda I. Arruda, Francisco Miró Quesada, Newton C. A. Costa & Rolando Chuaqui - 1978 - Journal of Symbolic Logic 43 (2):352-364.
  12.  44
    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.
  13.  60
    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.
  14.  37
    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.
  15.  48
    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.
  16.  41
    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.
  17.  22
    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.  25
    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. The Varieties of Moral Improvement, or why Metaethical Constructivism must Explain Moral Progress.Caroline T. Arruda - 2017 - Ethical Theory and Moral Practice 20 (1):17-38.
    Among the available metaethical views, it would seem that moral realism—in particular moral naturalism—must explain the possibility of moral progress. We see this in the oft-used argument from disagreement against various moral realist views. My suggestion in this paper is that, surprisingly, metaethical constructivism has at least as pressing a need to explain moral progress. I take moral progress to be, minimally, the opportunity to access and to act in light of moral facts of the matter, whether they are mind-independent (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  20. What We Can Intend: Recognition and Collective Intentionality.Caroline T. Arruda - 2016 - Southern Journal of Philosophy 54 (1):5-26.
    The concept of recognition has played a role in two debates. In political philosophy, it is part of a communitarian response to liberal theories of distributive justice. It describes what it means to respect others’ right to self-determination. In ethics, Stephen Darwall argues that it comprises our judgment that we owe others moral consideration. I present a competing account of recognition on the grounds that most accounts answer the question of why others deserve recognition without answering the question of what (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21. How I Learned to Worry about the Spaghetti Western: Collective Responsibility and Collective Agency.Caroline T. Arruda - 2017 - Analysis 77 (2):anx067.
    In recent years, collective agency and responsibility have received a great deal of attention. One exciting development concerns whether collective, non-distributive responsibility can be assigned to collective non-agents, such as crowds and nation-states. I focus on an underappreciated aspect of these arguments—namely, that they sometimes derive substantive ontological conclusions about the nature of collective agents from these responsibility attributions. I argue that this order of inference, whose form I represent in what I call the Spaghetti Western Argument, largely fails, even (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  20
    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  
  23.  11
    Arte e a Educação Física No Ensino a Dist'ncia, Desafios e Perspectivas Enfrentados Durante a Pandemia Covid-19: Relatos de Experiências.Inês Rosad Arruda Ribeiro, Andrea Barbosa de Souza, Andreia Aparecida Pinto de Souza, Edwin Gomes de Araujo & Valdiney Pereira de Souza - 2022 - Desleituras Literatura Filosofia Cinema e outras artes 9.
    Diante de uma crise sanitária mundial, a pandemia do COVID-19, iniciada em 2020, fez com a humanidade se reorganizasse, entrando em uma nova era. Os órgãos de saúde competentes, juntamente com as nações, expuseram suas preocupações, editando decretos e normativas a serem seguidas, com medidas rigorosas de isolamento social. E a Educação foi uma das áreas mais afetadas, por ser um dos pilares mais importante na sociedade moderna. A rotina que antes era totalmente presencial, passou a ser a distância, novas (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24. What Kind of Theory is the Humean Theory of Motivation?Caroline T. Arruda - 2017 - Ratio 30 (3):322-342.
    I consider an underappreciated problem for proponents of the Humean theory of motivation. Namely, it is unclear whether is it to be understood as a largely psychological or largely metaphysical theory. I show that the psychological interpretation of HTM will need to be modified in order to be a tenable view and, as it will turn out, the modifications required render it virtually philosophically empty. I then argue that the largely metaphysical interpretation is the only a plausible interpretation of HTM's (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  25. Why Care about Being an Agent.Caroline T. Arruda - 2017 - Australasian Journal of Philosophy 95 (3):488-504.
    The question ‘Why care about being an agent?’ asks for reasons to be something that appears to be non-optional. But perhaps it is closer to the question ‘Why be moral?’; or so I shall argue. Here the constitutivist answer—that we cannot help but have this aim—seems to be the best answer available. I suggest that, regardless of whether constitutivism is true, it is an incomplete answer. I argue that we should instead answer the question by looking at our evaluative commitments (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  26. Constitutivism and the Self-Reflection Requirement.Caroline T. Arruda - 2016 - Philosophia 44 (4):1165-1183.
    Constitutivists explicitly emphasize the importance of self-reflection for rational agency. Interestingly enough, there is no clear account of how and why self-reflection plays such an important role for these views. My aim in this paper is to address this underappreciated problem for constitutivist views and to determine whether constitutivist self-reflection is normatively oriented. Understanding its normative features will allow us to evaluate a potential way that constitutivism may meet its purported metaethical promise. I begin by showing why constitutivism, as exemplified (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  27.  70
    What the Humean Theory of Motivation Gets Wrong.Caroline T. Arruda - 2019 - Journal of Philosophical Research 44:157-178.
    I show that defenses of the Humean theory of motivation often rely on a mistaken assumption. They assume that desires are necessary conditions for being motivated to act because desires themselves have a special, essential, necessary feature, such as their world-to-mind direction of fit, that enables them to motivate. Call this the Desire-Necessity Claim. Beliefs cannot have this feature, so they cannot motivate. Or so the story goes. I show that: when pressed, a proponent of HTM encounters a series of (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  78
    Why Moral Status Matters for Metaethics.Caroline T. Arruda - 2018 - Journal of the American Philosophical Association 4 (4):471-490.
    I show that an overlooked feature of our moral life—moral status—provides a route to vindicating naturalist moral realism in much the same way that the Humean theory of motivation and judgment internalism are used to undermine it. Moral status presents two explanatory burdens for metaethical views. First, a given view must provide an ecumenical explanation of moral status, which does not depend on the truth of its metaethical claims (say, that there are mind-independent facts about moral status). Second, its explanation (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  91
    Shared Intention and Reasons for Action.Caroline T. Arruda - 2015 - Philosophy of the Social Sciences 45 (6):596-623.
    Most theories of intentional action agree that if acting for a reason is a necessary condition for the action in question to be an intentional action, the reason need not genuinely justify it. The same should hold for shared intentional action, toward which philosophers of action have recently turned their attention. I argue that some of the necessary conditions proposed for shared intention turn out to require that we deny this claim. They entail that shared intention is possible only if (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  30.  47
    Verdade, interpretação e objetividade em Donald Davidson.José Maria Arruda - 2005 - Veritas – Revista de Filosofia da Pucrs 50 (1):137-154.
    Donald Davidson foi um dos filósofos mais influentes da tradição analítica da segunda metade do século. A unidade de sua obra é constituída pelo papel central que reflexão sobre como podemos interpretar os proferimentos de um outro falante desempenha para a compreensão da natureza do significado. Davidson adota o ponto de vista metodológico de um intérprete que não pode pressupor nada sobre o significado das palavras de um falante e que não possui nenhum conhecimento detalhado de suas atitudes proposicionais. Neste (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  31.  37
    G. Priest and R. Routley. First historical introduction. A preliminary history of paraconsistent and dialethic approaches. Paraconsistent logic, Essays on the inconsistent, edited by Graham Priest, Richard Routley, and Jean Norman, Analytica, Philosophia Verlag, Munich, Hamden, and Vienna, 1989, pp. 3–75. - Ayda I. Arruda. Aspects of the historical development of paraconsistent logic. Paraconsistent logic, Essays on the inconsistent, edited by Graham Priest, Richard Routley, and Jean Norman, Analytica, Philosophia Verlag, Munich, Hamden, and Vienna, 1989, pp. 99–130. - G. Priest and R. Routley. Systems of paraconsistent logic. Paraconsistent logic, Essays on the inconsistent, edited by Graham Priest, Richard Routley, and Jean Norman, Analytica, Philosophia Verlag, Munich, Hamden, and Vienna, 1989, pp. 151–186. - G. Priest and R. Routley. Applications of paraconsistent logic. Paraconsistent logic, Essays on the inconsistent, edited by Graham Priest, Richard Routley, and Jean Norman, Ana. [REVIEW]F. G. Asenjo - 1991 - Journal of Symbolic Logic 56 (4):1503-1504.
  32.  53
    A new formulation of discussive logic.Jerzy Kotas & N. C. A. Costa - 1979 - Studia Logica 38 (4):429 - 445.
    S. Jakowski introduced the discussive prepositional calculus D 2as a basis for a logic which could be used as underlying logic of inconsistent but nontrivial theories (see, for example, N. C. A. da Costa and L. Dubikajtis, On Jakowski's discussive logic, in Non-Classical Logic, Model Theory and Computability, A. I. Arruda, N. C. A da Costa and R. Chuaqui edts., North-Holland, Amsterdam, 1977, 37–56). D 2has afterwards been extended to a first-order predicate calculus and to a higher-order logic (cf. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  33.  59
    Belief, Contradiction and the Logic of Self-Deception.Newton C. A. da Costa & Steven French - 1990 - American Philosophical Quarterly 27 (3):179 - 197.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  34. Filosofii︠a︡ i kommunisticheskoe mirovozzrenie: Istoriko-metodologicheskie voprosy edinstva materializma i dialektiki.A. I. Evtushenko - 1980 - Kiev: "Nauk. dumka,".
     
    Export citation  
     
    Bookmark  
  35.  16
    Issledovanii︠a︡ i statʹi po russkoĭ filosofii.A. V. Malinov - 2020 - Sankt-Peterburg: Izdatel'stvo RKhGA.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  36.  8
    Rossii︠a︡ i gnozis: Trudy Mezhdunarodnoĭ nauchnoĭ konferent︠s︡ii, Moskva, VGBIL im. M.I. Rudomino.A. L. Rychkov (ed.) - 2015 - Sankt-Peterburg: Izdatelʹstvo RKhGA.
    Tom 1. Rannekhristianskiĭ gnosticheskiĭ tekst v rossiĭskoĭ kulʹture (21 i︠a︡nvari︠a︡ 2011 g.) -- Tom 2. Sudʹby religiozno-filosofskikh iskaniĭ Nikolai︠a︡ Novikova i ego kruga (15-17 okti︠a︡bri︠a︡ 2012 g.).
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  5
    Lingvistika, kommunikat︠s︡ii︠a︡ i istorii︠a︡: semanticheskiĭ analiz.A. I︠U︡ Antonovskiĭ & A. L. Nikiforov (eds.) - 2013 - Moskva: Institut filosofii RAN.
    Direct download  
     
    Export citation  
     
    Bookmark  
  38. Chelovek i obshchestvo: istorii︠a︡, kulʹtura, politika, ėkonomika: formirovanie samosoznanii︠a︡ i prot︠s︡essy identifikat︠s︡ii v sovremennom obshchestve: sbornik nauchnykh trudov.A. I. Zimin (ed.) - 2009 - Moskva: Izd-vo Literaturnogo instituta.
    No categories
     
    Export citation  
     
    Bookmark  
  39. Dialektika poznanii︠a︡ i sovremennai︠a︡ nauka.A. I. Korneeva, Mark Moiseevich Rozental & Akademiia Obshchestvennykh Nauk (eds.) - 1973 - Moskva,: "Myslʹ,".
     
    Export citation  
     
    Bookmark  
  40. Garmonii︠a︡ i tvorchestvo.A. I. Kolkov - 1990 - Kemerovo: Redakt︠s︡ionno-izdatelʹskiĭ otdel Upr. izd-v, poligrafii i knizhnoĭ torgovli Kemerovskogo oblispolkoma.
    No categories
     
    Export citation  
     
    Bookmark  
  41.  4
    Ontologii︠a︡ i fenomenologii︠a︡ pedagogicheskogo masterstva.A. I. Subetto - 1999 - Tolátti: Izd. fonda "Razvitie cherez obrazovanie".
  42.  11
    Psikhologii︠a︡ na esteticheskoto prezhivi︠a︡vane.Bili︠a︡na Ĭordanova - 2016 - Blagoevgrad: Universitetsko izdatelstvo "Neofit Rilski,".
    Direct download  
     
    Export citation  
     
    Bookmark  
  43.  4
    Fenomenologicheskai︠a︡ dialektika: iskusstvo, muzyka: uroki A.F. Loseva: monografii︠a︡.L. M. Isʹi︠a︡nova - 1998 - Kiev: In-t povyshenii︠a︡ kvalifikat︠s︡ii rabotnikov kulʹtury.
    Direct download  
     
    Export citation  
     
    Bookmark  
  44. Zelenoe dvizhenie i grazhdanskoe obshchestvo--dokumenty, 2000-2004 gg.A. V. I︠A︡blokov (ed.) - 2004 - Moskva: Tovarishchestvo nauchnykh izdaniĭ KMK.
  45. Voprosy zhizni i bor'by.Emelʹi︠a︡n I︠A︡roslavskiĭ - 1924 - Moskva,:
    No categories
     
    Export citation  
     
    Bookmark  
  46.  2
    Dialektika obʺektivnogo i subʺektivnogo v obshchestvennom razvitii.T. I. I︠A︡shchuk - 1989 - Kiev: Izd-vo polit. lit-ry Ukrainy.
  47.  1
    Fenomenologii︠a︡ intersubʺektivnosti.I︠A︡. A. Slinin - 2004 - Sankt-Peterburg: Nauka.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  48. Filosofii︠a︡ simvolecheskikh form Ė. Kassirera: kriticheskiĭ analiz.K. A. Svasʹi︠a︡n - 1989 - Erevan: Izd-vo AN Armi︠a︡nskoĭ SSR.
    No categories
     
    Export citation  
     
    Bookmark  
  49.  4
    A.A. Tikhonov: filosofii︠a︡ i zhiznʹ: sbornik nauchnykh trudov.A. I︠U︡ Tikhonova (ed.) - 2020 - Ulʹi︠a︡novsk: FGBOU VO "UlGPU im. I.N. Ul'i︠a︡nova.
    Direct download  
     
    Export citation  
     
    Bookmark  
  50. Bytie i estestvo: ontologii︠a︡ i metafizika kak tipy filosofskogo znanii︠a︡.I︠U︡riĭ Mikhaĭlovich Romanenko - 1999 - Sankt-Peterburg: Izd-vo S.-Peterburgskogo universiteta.
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000