Results for 'AFA'

29 found
Order:
  1. Islamic Thought in Africa: The Collected Works of Afa Ajura (1910-2004) and the Impact of Ajuraism on Northern Ghana.Afa Ajura & M. Zakyi Ibrahim - 2021 - Yale University Press.
    _The first book length-work on Afa Ajura and translation of his complete poems_ This is the first English translation of and commentary on the collected poems (...)of Alhaj Yūsuf Ṣāliḥ Ajura, a northern Ghanaian orthodox Islamic scholar, poet, and polemicist known as Afa Ajura, orscholar from Ejura.” The poems, all handwritten in Arabic script, mainly in the Ghanaian language of Dagbani and also Arabic, explore the authors socioreligious beliefs. In the accompanying introduction, the translator examines the diverse themes of the poems and how they challenge Tijāniyyah Sufi clerics and traditional practices such as idol worship. (shrink)
    No categories
     
    Export citation  
     
    Bookmark  
  2.  15
    Inconsistency of GPK + AFA.Olivier Esser - 1996 - Mathematical Logic Quarterly 42 (1):104-108.
    M. Forti and F. Honsell showed in [4] that the hyperuniverses defined in [2] satisfy the anti-foundation axiom X1 introduced in [3]. So it is interesting (...)to study the axiom AFA, which is equivalent to X1 in ZF, introduced by P. Aczel in [1]. We show in this paper that AFA is inconsistent with the theory GPK. This theory, which is first order, is defined by E. Weydert in [6] and later by M. Forti and R. Hinnion in [2]. It includes all general hyperuniverses as defined in [5]. In order to achieve our aim, we need to define ordinals in GPK and to study some of their properties. (shrink)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  1
    Afa Symbolism and Phenomenology in Nri Kingdom and Hegemony: An African Philosophy of Social Action.M. Angulu Onwuejeogwu - 1997 - Ethiope.
  4. AFAAH IN ISLAM: Towards a Pogressive Interpretation.Iffatin Nur - 2014 - Epistemé: Jurnal Pengembangan Ilmu Keislaman 9 (1).
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  4
    Economic Theory and the Alternative Set Theory AFA−+AD+DC.Fernando Tohmé - 2009 - Logic Journal of the IGPL 17 (2):179-203.
    Many authors in the discipline as well as outsiders have claimed that the main results from Mathematical Economics are far removed from real world phenomena. A more (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6. Obsessive Anti-AFA Behaviour.David Nicholls - 2013 - The Australian Humanist 110 (110):20.
     
    Export citation  
     
    Bookmark  
  7.  12
    Al-Muʿāfā B. ʿImrān and the Beginnings of the Ṭabaqāt Literature.C. F. Robinson - 1996 - Journal of the American Oriental Society 116 (1):114.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  8. Islamic Thought in Africa: The Collected Works of Afa Ajura (1910-2004) and the Impact of Ajuraism on Northern Ghana.Alhaj Yusuf Salih Ajura & Zakyi Ibrahim - 2021 - Yale University Press.
    _The first book length-work on Afa Ajura and translation of his complete poems_ This is the first English translation of and commentary on the collected poems (...)of Alhaj Yūsuf Ṣāliḥ Ajura, a northern Ghanaian orthodox Islamic scholar, poet, and polemicist known as Afa Ajura, orscholar from Ejura.” The poems, all handwritten in Arabic script, mainly in the Ghanaian language of Dagbani and also Arabic, explore the authors socioreligious beliefs. In the accompanying introduction, the translator examines the diverse themes of the poems and how they challenge Tijāniyyah Sufi clerics and traditional practices such as idol worship. (shrink)
     
    Export citation  
     
    Bookmark  
  9. Documents->, the French Association for the Advancement of Sciences (AFAS), 1872-1914: A Plan for the History of Sciences and Their Diffusion[REVIEW]Helene Gispert - 2002 - Revue d'Histoire des Sciences 55 (2):295-300.
  10. Engaging Argument: Selected Papers From the 2005 NCA/AFA Summer Conference on Argumentation.P. Riley (ed.) - 2006 - National Communication Association.
     
    Export citation  
     
    Bookmark  
  11.  28
    Orientation Relationships of Laves Phase and NiAl Particles in an AFA Stainless Steel.Geneva Trotter & Ian Baker - 2015 - Philosophical Magazine 95 (36):4078-4094.
  12. Well- and Non-Well-Founded Fregean Extensions.Ignacio Jané & Gabriel Uzquiano - 2004 - Journal of Philosophical Logic 33 (5):437-465.
    George Boolos has described an interpretation of a fragment of ZFC in a consistent second-order theory whose only axiom is a modification of Frege's inconsistent Axiom (...) V. We build on Boolos's interpretation and study the models of a variety of such theories obtained by amending Axiom V in the spirit of a limitation of size principle. After providing a complete structural description of all well-founded models, we turn to the non-well-founded ones. We show how to build models in which foundation fails in prescribed ways. In particular, we obtain models in which every relation is isomorphic to the membership relation on some set as well as models of Aczel's anti-foundation axiom (AFA). We suggest that Fregean extensions provide a natural way to envisage non-well-founded membership. (shrink)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  13.  23
    Forcing Under AntiFoundation Axiom: An Expression of the Stalks.Sato Kentaro - 2006 - Mathematical Logic Quarterly 52 (3):295-314.
    We introduce a new simple way of defining the forcing method that works well in the usual setting under FA, the Foundation Axiom, and moreover works even (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  14. The Graph Conception of Set.Luca Incurvati - 2014 - Journal of Philosophical Logic 43 (1):181-208.
    The non-well-founded set theories described by Aczel (1988) have received attention from category theorists and computer scientists, but have been largely ignored by philosophers. At the (...) root of this neglect might lie the impression that these theories do not embody a conception of set, but are rather of mere technical interest. This paper attempts to dispel this impression. I present a conception of set which may be taken as lying behind a non-well-founded set theory. I argue that the axiom AFA is justified on the conception, which provides, contra Rieger (Mind 109:241253, 2000), a rationale for restricting attention to the system based on this axiom. By making use of formal and informal considerations, I then make a case that most of the other axioms of this system are also justified on the conception. I conclude by commenting on the significance of the conception for the debate about the justification of the Axiom of Foundation. (shrink)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  15.  78
    Kripke-Platek Set Theory and the Anti-Foundation Axiom.Michael Rathjen - 2001 - Mathematical Logic Quarterly 47 (4):435-440.
    The paper investigates the strength of the Anti-Foundation Axiom, AFA, on the basis of Kripke-Platek set theory without Foundation. It is shown that the addition of (...) AFA considerably increases the proof theoretic strength. (shrink)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  16.  77
    An Argument for Finsler-Aczel Set Theory.Adam Rieger - 2000 - Mind 109 (434):241-253.
    Recent interest in non-well-founded set theories has been concentrated on Aczel's anti-foundation axiom AFA. I compare this axiom with some others considered by Aczel, (...)and argue that another axiom, FAFA, is superior in that it gives the richest possible universe of sets consistent with respecting the spirit of extensionality. I illustrate how using FAFA instead of AFA might result in an improvement to Barwise and Etchemendy's treatment of the liar paradox. (shrink)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  17.  37
    Anti-Foundation and Self-Reference.Colin McLarty - 1993 - Journal of Philosophical Logic 22 (1):19 - 28.
    This note argues against Barwise and Etchemendy's claim that their semantics for self-reference requires use of Aczel's anti-foundational set theory, AFA, semantics for self-reference (...) requires use of Aczel's anti-foundational set theory, AFA, ones irrelevant to the task at hand" (The Liar, p. 35). Switching from ZF to AFA neither adds nor precludes any isomorphism types of sets. So it makes no difference to ordinary mathematics. I argue against the author's claim that a certain kind of 'naturalness' nevertheless makes AFA preferable to ZF for their purposes. I cast their semantics in a natural, isomorphism invariant form with self-reference as a fixed point property for propositional operators. Independent of the particulars of any set theory, this form is somewhat simpler than theirs and easier to adapt to other theories of self-reference. (shrink)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  18.  17
    Finality Regained: A Coalgebraic Study of Scott-Sets and Multisets[REVIEW]Giovanna D'Agostino & Albert Visser - 2002 - Archive for Mathematical Logic 41 (3):267-298.
    In this paper we study iterated circular multisets in a coalgebraic framework. We will produce two essentially different universes of such sets. The unisets of the first (...)E5> 03B45, 03E65, 03E70, 18A15, 18A22, 18B05, 68Q85 RID=""ID="" <E5>Key words or phrases:E5> MultisetNon-wellfounded setScott-universeAFACoalgebraModal logicGraded modalities. (shrink)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  19.  30
    A Construction of Non-Well-Founded Sets Within Martin-Löf's Type Theory.Ingrid Lindström - 1989 - Journal of Symbolic Logic 54 (1):57-64.
    In this paper, we show that non-well-founded sets can be defined constructively by formalizing Hallnäs' limit definition of these within Martin-Löf's theory of types. (...)A system is a type W together with an assignment of ᾱU and α̃ᾱW to each αW. We show that for any system W we can define an equivalence relation = w such that α = w βU and = w is the maximal bisimulation. Aczel's proof that CZF can be interpreted in the type V of iterative sets shows that if the system W satisfies an additional condition (*), then we can interpret CZF minus the set induction scheme in W. W is then extended to a complete system W * by taking limits of approximation chains. We show that in W * the antifoundation axiom AFA holds as well as the axioms of CFZ -. (shrink)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  20.  33
    Forcing and Antifoundation.Athanassios Tzouvaras - 2005 - Archive for Mathematical Logic 44 (5):645-661.
    It is proved that the forcing apparatus can be built and set to work in ZFCA (=ZFC minus foundation plus the antifoundation axiom AFA). The key tools (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  21.  25
    Decidability and Completeness for Open Formulas of Membership Theories.Dorella Bellè & Franco Parlamento - 1995 - Notre Dame Journal of Formal Logic 36 (2):304-318.
    We establish the decidability, with respect to open formulas in the first order language with equality =, the membership relation , the constant for the empty set, and (...)a binary operation w which, applied to any two sets x and y, yields the results of adding y as an element to x, of the theory NW having the obvious axioms for and w. Furthermore we establish the completeness with respect to purely universal sentences of the theory , obtained from NW by adding the Extensionality Axiom E and the Regularity Axiom R, and of the theory obtained by adding to NW (a slight variant of) the Antifoundation Axiom AFA. (shrink)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  9
    The Decidability of the Class and the Axiom of Foundation.Dorella Bellè & Franco Parlamento - 2001 - Notre Dame Journal of Formal Logic 42 (1):41-53.
    We show that the Axiom of Foundation, as well as the Antifoundation Axiom AFA, plays a crucial role in determining the decidability of the following problem. Given (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  23.  10
    The Effectiveness of Computer-Assisted Cognitive Rehabilitation in Brain-Damaged Patients.Anna Bolewska & Emilia Łojek - 2013 - Polish Psychological Bulletin 44 (1):31-39.
    This study examined the effects of computer-assisted cognitive rehabilitation in a group of 16 brain-damaged patients. Therapeutic effectiveness was assessed by improvement on computer tasks, the (...) results of neuropsychological tests and quality of life ratings. Participants suffered from mild to moderate attention and memory problems or aphasia. The procedure involved baseline assessment, a 15-week course of therapy conducted twice a week and posttest. Neuropsychological tests assessing attention, memory and language problems and quality of life ratings were administered twice: in pre- and posttests. Twelve healthy controls were also examined twice using the same battery of neuropsychological tests. The RehaCom program and the Polish computer therapy program for aphasics called Afa-System were used for rehabilitation. The computer-assisted rehabilitation tasks were selected individually for each patient. The results showed significant improvement on computer-assisted tasks in all braindamaged subjects. However, none or very little improvement was observed on neuropsychological tests and quality of life ratings. The results of the study confirm the importance of using different types of measures to estimate the effectiveness of computer-assisted neuropsychological rehabilitation as well as the necessity of applying various kinds of therapy to improve cognitive, emotional and social functioning in brain-damaged patients. (shrink)
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  6
    Subfocal Color Categorization and Naming: The Role of Exposure to Language and Professional Experience.Maciej Haman & Monika Malinowska - 2009 - Polish Psychological Bulletin 40 (4):170-175.
    Subfocal Color Categorization and Naming: The Role of Exposure to Language and Professional Experience The current state of the debate on the linguistic factors in color perception (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  2
    O Livro Do Amor de Marsilio Ficino.Marco Lucchesi - 1997 - Veritas – Revista de Filosofia da Pucrs 42 (3):703.
    Um dos autores mais importantes do Renascimento é o italiano Marsílio Ficino. Deixando de lado os estudos filosóficos baseados em Aristóteles e Lucrécio, voltou-se com afã (...)a Platão. Em seu Comentário ao Banquete de Platão, ele retoma o filósofo grego e, deixando-se influenciar também pela Ética aristotélica, por Cícero, Agostinho e os poetas italianos, entre outros, produz uma obra ainda capaz de despertar admiração e surpresa no leitor contemporâneo. (shrink)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  26.  13
    Elective Affinity Between the Sociological Theory of Luhmann and the German Philosophical Anthropology.Patricio Miranda - 2014 - Cinta de Moebio 50:80-92.
    The article argues for the existence of an elective affinity between the systems theory of Niklas Luhmann and German philosophical anthropology, affinity that would bring to light (...)
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  27.  25
    Non-Religious Tax Avoidance.Max Wallace - 2012 - The Australian Humanist 108 (108):9.
    Wallace, Max At the Atheist Foundation of Australia (AFA) Convention in Melbourne on 14 April this year Geoffrey Robertson QC turned his mind to the tax-exempt (...)status of religion. He joked that, Atheist foundations could qualify for tax exemption by declaring their belief in Christopher Hitchens! Turn him into an L. Ron Hubbard figure to be worshipped through his sacred books! It got a good laugh. It never occurred to Robertson, or the Convention audience, that the AFA, like all religions in Australia with a supernatural belief, might already be tax-exempt. (shrink)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  6
    Notions of Symmetry in Set Theory with Classes.Athanassios Tzouvaras - 2000 - Annals of Pure and Applied Logic 106 (1-3):275-296.
    We adapt C. Freiling's axioms of symmetry 190200) to models of set theory with classes by identifying small classes with sets getting thus a sequence of (...) principles An, for n2, of increasing strength. Several equivalents of A2 are given. A2 is incompatible both with the foundation axiom and the antifoundation axioms AFA considered in Aczel . A hierarchy of symmetry degrees of preorderings is introduced and compared with An. Models are presented in which this hierarchy is strict. The main result of the paper is that a class X satisfies ¬An iff it has symmetry degree n2. (shrink)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  29.  46
    Forcing with the AntiFoundation Axiom.Olivier Esser - 2012 - Mathematical Logic Quarterly 58 (1-2):55-62.
    In this paper we define the forcing relation and prove its basic properties in the context of the theory ZFCA, i.e., ZFC minus the Foundation axiom (...)and plus the Anti-Foundation axiom. (shrink)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark