Results for 'M. Boffa'

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.  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  
  18.  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  
  19.  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  
  20.  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  
  21. 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.
  22.  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  
  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. 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  
  29. 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  
  30.  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  
  31. Logique dans l'enseignement des mathématiques.Maurice Boffa & A. Pétry (eds.) - 1998 - Bruxelles: Belgian Mathematical Society.
  32. 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  
  33. 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  
  34.  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  
  35.  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.
  36. Introduction»: 3-12.M. Hollis & S. Lukes - 1982 - In Martin Hollis & Steven Lukes (eds.), Rationality and relativism. Cambridge: MIT Press.
     
    Export citation  
     
    Bookmark   17 citations  
  37.  39
    Large infinitary languages: model theory.M. A. Dickmann - 1975 - New York: American Elsevier Pub. Co..
  38.  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  
  39. On being alienated.M. G. F. Martin - 2006 - In Tamar Gendler & John Hawthorne (eds.), Perceptual experience. New York: Oxford University Press.
     
    Export citation  
     
    Bookmark   30 citations  
  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. Gödel's incompleteness theorems.Raymond M. Smullyan - 1992 - New York: Oxford University Press. Edited by Lou Goble.
    Kurt Godel, the greatest logician of our time, startled the world of mathematics in 1931 with his Theorem of Undecidability, which showed that some statements in mathematics are inherently "undecidable." His work on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum theory brought him further worldwide fame. In this introductory volume, Raymond Smullyan, himself a well-known logician, guides the reader through the fascinating world of Godel's incompleteness theorems. The (...)
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  42. 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  
  43.  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  
  44.  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  
  45. 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  
  46. The ethical philosophy of al-Ghazzali.M. Umaruddin - 1970 - Lahore, Pakistan: Sh. Muhammad Ashraf.
  47. 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  
  48. 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  
  49.  12
    Naturalizing the transcendental: a pragmatic view.Sami Pihlström - 2003 - Amherst, N.Y.: Humanity Books.
  50. 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  
1 — 50 / 980