Results for 'M. Boffa'

(not author) ( search as author name )
980 found
Order:
  1.  45
    The consistency problem for NF.M. Boffa - 1977 - Journal of Symbolic Logic 42 (2):215-220.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  2.  24
    Arithmetic and the theory of types.M. Boffa - 1984 - Journal of Symbolic Logic 49 (2):621-624.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  40
    European meeting of the association for symbolic logic, mons, belgium, 1978.M. Boffa & P. Henrard - 1980 - Journal of Symbolic Logic 45 (2):386-414.
  4.  10
    [Omnibus Review].M. Boffa - 1985 - Journal of Symbolic Logic 50 (4):1080-1081.
  5.  25
    C. Berline and G. Cherlin. QE rings in characteristic p. Logic year 1979–80, The University of Connecticut, USA, edited by M. Lerman, J. H. Schmerl, and R. I. Soare, Lecture notes in mathematics, vol. 859, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 16–31. - C. Berline and G. Cherlin. QE nilrings of prime characteristic. Bulletin de la Société Mathématique de Belgique, ser. B vol. 33 , pp. 3–17. - Chantal Berline and Gregory Cherlin. QE rings in characteristic pn. The journal of symbolic logic, vol. 48 , pp. 140–162. - D. Saracino and C. Wood. QE commutative nilrings. The journal of symbolic logic, vol. 49 , pp. 644–651. [REVIEW]M. Boffa - 1985 - Journal of Symbolic Logic 50 (4):1080-1081.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  38
    Barwise Jon and Moss Lawrence. Vicious circles. On the mathematics of non-wellfounded phenomena. CSLI lecture notes, no. 60. CSLI Publications, Stanford1996, also distributed by Cambridge University Press, New York, x + 390 pp. [REVIEW]M. Boffa - 1997 - Journal of Symbolic Logic 62 (3):1039-1040.
  7.  15
    Jean-François Pabion. Logique mathématique. Collection méthodes. Hermann, Paris1976, xxxii + 263 pp. - Marcel Guillaume. Préface. Therein, pp. xiii–xxxii. [REVIEW]M. Boffa - 1979 - Journal of Symbolic Logic 44 (2):282-283.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  18
    Příkrý K.. The consistency of the continuum hypothesis for the first measurable cardinal. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 13 , pp. 193–197. [REVIEW]M. Boffa - 1973 - Journal of Symbolic Logic 38 (4):652-652.
  9.  16
    Review: Jon Barwise, Lawrence Moss, Vicious Circles. On the Mathematics of Non-Wellfounded Phenomena. [REVIEW]M. Boffa - 1997 - Journal of Symbolic Logic 62 (3):1039-1040.
  10.  3
    Review: Jean-Francois Pabion, Logique Mathematique. [REVIEW]M. Boffa - 1979 - Journal of Symbolic Logic 44 (2):282-283.
  11.  9
    Review: K. Prikry, The Consistency of the Continuum Hypothesis for the First Measurable Cardinal. [REVIEW]M. Boffa - 1973 - Journal of Symbolic Logic 38 (4):652-652.
  12.  10
    Review: Peter Aczel, Jon Barwise, Non-Well-founded Sets. [REVIEW]M. Boffa - 1989 - Journal of Symbolic Logic 54 (3):1111-1112.
  13.  42
    The Usual Model Construction for NFU Preserves Information.M. Randall Holmes - 2012 - Notre Dame Journal of Formal Logic 53 (4):571-580.
    The usual construction of models of NFU (New Foundations with urelements, introduced by Jensen) is due to Maurice Boffa. A Boffa model is obtained from a model of (a fragment of) Zermelo–Fraenkel with Choice (ZFC) with an automorphism which moves a rank: the domain of the Boffa model is a rank that is moved. “Most” elements of the domain of the Boffa model are urelements in terms of the interpreted NFU. The main result of this paper (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  14.  61
    Angus Macintyre, Kenneth McKenna, and Lou van den Dries. Elimination of quantifiers in algebraic structures. Advances in mathematics, vol. 47 , pp. 74–87. - L. P. D. van den Dries. A linearly ordered ring whose theory admits elimination of quantifiers is a real closed field. Proceedings of the American Mathematical Society, vol. 79 , pp. 97–100. - Bruce I. Rose. Rings which admit elimination of quantifiers. The journal of symbolic logic, vol. 43 , pp. 92–112; Corrigendum, vol. 44 , pp. 109–110. - Chantal Berline. Rings which admit elimination of quantifiers. The journal of symbolic logic, vol. 43 , vol. 46 , pp. 56–58. - M. Boffa, A. Macintyre, and F. Point. The quantifier elimination problem for rings without nilpotent elements and for semi-simple rings. Model theory of algebra and arithmetic, Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1–7, 1979, edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie, Lecture. [REVIEW]Gregory L. Cherlin - 1985 - Journal of Symbolic Logic 50 (4):1079-1080.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  62
    The relationship of ethics education to moral sensitivity and moral reasoning skills of nursing students.Mihyun Park, Diane Kjervik, Jamie Crandell & Marilyn H. Oermann - 2012 - Nursing Ethics 19 (4):568-580.
    This study described the relationships between academic class and student moral sensitivity and reasoning and between curriculum design components for ethics education and student moral sensitivity and reasoning. The data were collected from freshman (n = 506) and senior students (n = 440) in eight baccalaureate nursing programs in South Korea by survey; the survey consisted of the Korean Moral Sensitivity Questionnaire and the Korean Defining Issues Test. The results showed that moral sensitivity scores in patient-oriented care and conflict were (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   39 citations  
  16.  10
    Deception and informed consent in studies with incognito simulated standardized patients: empirical experiences and a case study from South Africa.Benjamin Daniels, Jody Boffa, Ada Kwan & Sizulu Moyo - 2023 - Research Ethics 19 (3):341-359.
    Simulated standardized patients (SPs) are trained individuals who pose incognito as people seeking treatment in a health care setting. With the method’s increasing use and popularity, we propose some standards to adapt the method to contextual considerations of feasibility, and we discuss current issues with the SP method and the experience of consent and ethical research in international SP studies. Since a foundational discussion of the research ethics of the method was published in 2012, a growing number of studies have (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  5
    Istoricheskoe i logicheskoe: filosofsko-metodologicheskiĭ analiz: monografii︠a︡.M. M. Prokhorov - 2004 - Nizhniĭ Novgorod: Volzhskai︠a︡ gos. inzhenerno-pedagog..
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  24
    Formules Σ1 en Théorie des Ensembles Sans Axiome de Fondement.Maurice Boffa - 1972 - Mathematical Logic Quarterly 18 (4‐6):93-96.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  27
    Formules Σ1 en Théorie des Ensembles Sans Axiome de Fondement.Maurice Boffa - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (4-6):93-96.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  13
    Graphes Extensionnels et Axiome D'universalité.Par Maurice Boffa - 1968 - Mathematical Logic Quarterly 14 (21‐24):329-334.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  23
    Graphes Extensionnels et Axiome D'universalité.Par Maurice Boffa - 1968 - Mathematical Logic Quarterly 14 (21-24):329-334.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22. The Consistency of Some 4-Stratified Subsystem of NF Including NF 3.Maurice Boffa & Paolo Casalegno - 1985 - Journal of Symbolic Logic 50 (2):407-411.
  23.  18
    ModèLes de la théorie générale Des ensembLes, construits sur Les nombres‐ε.Maurice Boffa & Pierre Ribeaufossé - 1969 - Mathematical Logic Quarterly 15 (13‐15):239-240.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  38
    ModèLes de la théorie générale Des ensembLes, construits sur Les nombres‐ ε.Maurice Boffa & Pierre Ribeaufossé - 1969 - Mathematical Logic Quarterly 15 (13-15):239-240.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  18
    Preface.Maurice Boffa, Annalisa Marcja & Daniele Mundici - 1997 - Annals of Pure and Applied Logic 88 (2-3):93.
  26.  48
    Sets equipollent to their power set in NF.Maurice Boffa - 1975 - Journal of Symbolic Logic 40 (2):149-150.
  27.  21
    Las Actas de los mártires. Una actualización de los Documentos Sobre los Primeros Cristianos.Mª Amparo Mateo Donet - 2014 - Augustinianum 54 (2):375-400.
    This paper is an update of the documents we have concerning the Acts of the Christian martyrs, focused on three main aspects: 1) the kind of acts we know of and their classification from the point of view of their historic value; 2) the versions or editions of the texts that are most accepted by scholars; 3) the relevance of the different parts that make up these documents in order to discern the original text from passages that were rewritten or (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28. Aristotle and the pre-socratics.Thomas M. Robinson - 2004 - In Jorge J. E. Gracia & Jiyuan Yu (eds.), Uses and abuses of the classics: Western interpretations of Greek philosophy. Burlington, VT: Ashgate.
     
    Export citation  
     
    Bookmark  
  29. On self-membered sets in Quine's set theory NF.Maurice Boffa & André Pétry - 1993 - Logique Et Analyse 141:142.
     
    Export citation  
     
    Bookmark   4 citations  
  30. The Argument for Panpsychism from Experience of Causation.Hedda Hassel Mørch - 2019 - In William Seager (ed.), The Routledge Handbook of Panpsychism. Routledge.
    In recent literature, panpsychism has been defended by appeal to two main arguments: first, an argument from philosophy of mind, according to which panpsychism is the only view which successfully integrates consciousness into the physical world (Strawson 2006; Chalmers 2013); second, an argument from categorical properties, according to which panpsychism offers the only positive account of the categorical or intrinsic nature of physical reality (Seager 2006; Adams 2007; Alter and Nagasawa 2012). Historically, however, panpsychism has also been defended by appeal (...)
    Direct download  
     
    Export citation  
     
    Bookmark   19 citations  
  31.  2
    al-Ḥurrīyah ʻinda Ibn ʻArabī.Majdī Muḥammad Ibrāhīm - 2004 - al-Ẓāhir, al-Qāhirah: Maktabat al-Thaqāfah al-Dīnīyah.
    Ibn al-ʻArabī, 1165-1240; views on freedom; Sufism; Islamic philosophy.
    Direct download  
     
    Export citation  
     
    Bookmark  
  32.  3
    Logic Colloquium '78: Proceedings of the Colloquium Held in Mons, August 1978.Maurice Boffa, D. van Dalen & Kenneth Mcaloon - 1979 - North-Holland Pub. Co. Elsevier North-Holland, Sole Distributors for the U.S.A. And Canada.
    Direct download  
     
    Export citation  
     
    Bookmark  
  33. Logique dans l'enseignement des mathématiques.Maurice Boffa & A. Pétry (eds.) - 1998 - Bruxelles: Belgian Mathematical Society.
  34. La transformation des bujutsu en budō à l'époque Edo (1603-1867) : mythe ou réalité?Sergio Boffa - 2019 - In Pierre Bonneels & Baudouin Decharneux (eds.), Philosophie de la religion et spiritualité japonaise. Paris: Classiques Garnier.
     
    Export citation  
     
    Bookmark  
  35. Focus: 271-297.M. Rooth - 1996 - In Shalom Lappin (ed.), The handbook of contemporary semantic theory. Cambridge, Mass., USA: Blackwell Reference. pp. 271-297.
     
    Export citation  
     
    Bookmark   33 citations  
  36.  56
    Empedocles, the extant fragments.M. R. Wright - 1995 - Cambridge: Hackett Pub. Co.. Edited by M. R. Wright.
    Greek text, english translation and commentary on the surviving fragments of Empedocles (fragments as known in 1981, does not include more recent finds).
    Direct download  
     
    Export citation  
     
    Bookmark   18 citations  
  37.  33
    A Language and Axioms for Explicit Mathematics.Solomon Feferman, J. N. Crossley, Maurice Boffa, Dirk van Dalen & Kenneth Mcaloon - 1984 - Journal of Symbolic Logic 49 (1):308-311.
  38.  23
    Look, no hands!Eric M. Patterson & Janet Mann - 2012 - Behavioral and Brain Sciences 35 (4):235-236.
    Contrary to Vaesen's argument that humans are unique with respect to nine cognitive capacities essential for tool use, we suggest that although such cognitive processes contribute to variation in tool use, it does not follow that these capacities arenecessaryfor tool use, nor that tool use shaped cognition per se, given the available data in cognitive neuroscience and behavioral biology.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  39.  14
    Ronald Björn Jensen. Modelle der Mengenlehre. Lecture notes in mathematics, no. 37, Springer-Verlag, Berlin, Heidelberg, and New York, 1967, ix + 176 pp. [REVIEW]Maurice Boffa - 1975 - Journal of Symbolic Logic 40 (1):92.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40. The civil society argument.M. Walzer - 1995 - In Julia Stapleton (ed.), Group rights: perspectives since 1900. Bristol: Thoemmes Press.
     
    Export citation  
     
    Bookmark   13 citations  
  41. The ethic of the care for the self as a practice of freedom: An interview with Michael Foucault on 20th January 1984.M. Foucault - 1987 - In James William Bernauer & David M. Rasmussen (eds.), The Final Foucault. Cambridge: MIT Press.
     
    Export citation  
     
    Bookmark   20 citations  
  42. The Embedded Neuron, the Enactive Field?M. Chirimuuta & I. Gold - 2009 - In John Bickle (ed.), The Oxford handbook of philosophy and neuroscience. New York: Oxford University Press.
    The concept of the receptive field, first articulated by Hartline, is central to visual neuroscience. The receptive field of a neuron encompasses the spatial and temporal properties of stimuli that activate the neuron, and, as Hubel and Wiesel conceived of it, a neuron’s receptive field is static. This makes it possible to build models of neural circuits and to build up more complex receptive fields out of simpler ones. Recent work in visual neurophysiology is providing evidence that the classical receptive (...)
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  43. Na tenevoĭ storone: materialy k istorii seminara M.A. Rozova po ėpistemologii i filosofii nauki v Novosibirskom akademgorodke.M. A. Rozov & S. S. Rozova (eds.) - 1996 - Novosibirsk: Gosudarstvennyĭ komitet RF po vysshemu obrazovanii︠u︡, Novosibirskiĭ gosydarstvennyĭ universitet.
    No categories
     
    Export citation  
     
    Bookmark  
  44.  12
    Naturalizing the transcendental: a pragmatic view.Sami Pihlström - 2003 - Amherst, N.Y.: Humanity Books.
  45. Introduction to Logic.Irving M. Copi - manuscript
    There are obvious benefits to be gained from the study of logic: heightened ability to express ideas clearly and concisely, increased skill in defining one's terms, enlarged capacity to formulate arguments rigorously and to analyze them critically. But the greatest benefit, in my judgment, is the recognition that reason can be applied in every aspect of human affairs.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   180 citations  
  46. Conspiracy Theories and Evidential Self-Insulation.M. Giulia Napolitano - 2021 - In Sven Bernecker, Amy K. Flowerree & Thomas Grundmann (eds.), The Epistemology of Fake News. New York, NY: Oxford University Press. pp. 82-105.
    What are conspiracy theories? And what, if anything, is epistemically wrong with them? I offer an account on which conspiracy theories are a unique way of holding a belief in a conspiracy. Specifically, I take conspiracy theories to be self-insulating beliefs in conspiracies. On this view, conspiracy theorists have their conspiratorial beliefs in a way that is immune to revision by counter-evidence. I argue that conspiracy theories are always irrational. Although conspiracy theories involve an expectation to encounter some seemingly disconfirming (...)
    Direct download  
     
    Export citation  
     
    Bookmark   21 citations  
  47. The masses in a representative democracy.M. Oakeshott - 1995 - In Julia Stapleton (ed.), Group rights: perspectives since 1900. Bristol: Thoemmes Press.
     
    Export citation  
     
    Bookmark   5 citations  
  48.  92
    Varieties of three-valued Heyting algebras with a quantifier.M. Abad, J. P. Díaz Varela, L. A. Rueda & A. M. Suardíaz - 2000 - Studia Logica 65 (2):181-198.
    This paper is devoted to the study of some subvarieties of the variety Qof Q-Heyting algebras, that is, Heyting algebras with a quantifier. In particular, a deeper investigation is carried out in the variety Q 3 of three-valued Q-Heyting algebras to show that the structure of the lattice of subvarieties of Qis far more complicated that the lattice of subvarieties of Heyting algebras. We determine the simple and subdirectly irreducible algebras in Q 3 and we construct the lattice of subvarieties (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  49. Dilemmas of ideology.M. Billig - 1988 - In Michael Billig (ed.), Ideological dilemmas: a social psychology of everyday thinking. Newbury Park: Sage Publications. pp. 25--42.
    No categories
     
    Export citation  
     
    Bookmark   14 citations  
  50. Computing machinery and intelligence.Alan M. Turing - 1950 - Mind 59 (October):433-60.
    I propose to consider the question, "Can machines think?" This should begin with definitions of the meaning of the terms "machine" and "think." The definitions might be framed so as to reflect so far as possible the normal use of the words, but this attitude is dangerous, If the meaning of the words "machine" and "think" are to be found by examining how they are commonly used it is difficult to escape the conclusion that the meaning and the answer to (...)
    Direct download (19 more)  
     
    Export citation  
     
    Bookmark   1023 citations  
1 — 50 / 980