Order:
Disambiguations
Janet E. Smith [19]Janet Smith [10]Jan Smith [7]Janet Farrell Smith [7]
Jan M. Smith [5]Jane Smith [3]Jane A. Smith [2]Jane Idleman Smith [2]

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

See also
Jane Smith
Ohio University
Jane Smith
Marquette University
  1.  13
    Inductively Generated Formal Topologies.Thierry Coquand, Giovanni Sambin, Jan Smith & Silvio Valentini - 2003 - Annals of Pure and Applied Logic 124 (1-3):71-106.
    Formal topology aims at developing general topology in intuitionistic and predicative mathematics. Many classical results of general topology have been already brought into the realm of constructive mathematics by using formal topology and also new light on basic topological notions was gained with this approach which allows distinction which are not expressible in classical topology. Here we give a systematic exposition of one of the main tools in formal topology: inductive generation. In fact, many formal topologies can be presented in (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   34 citations  
  2.  6
    John Lever and Johan Fischer: Religion, Regulation, Consumption: Globalising Kosher and Halal Markets.Janet Smith - forthcoming - Agriculture and Human Values:1-2.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3. 'Von der Armut Am Geiste': A Dialogue by the Young Lukács.Jane M. Smith & John T. Sanders - 2009 - In Katie Terezakis (ed.), Engaging Agnes Heller: A Critical Companion. Lexington Books.
    Translation of "Von der Armut am Geiste; ein Dialog des jungen Lukács," by Ágnes Heller. This translation originally appeared in The Philosophical Forum, Spring-Summer 1972.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4.  17
    Formal Topologies on the Set of First-Order Formulae.Thierry Coquand, Sara Sadocco, Giovanni Sambin & Jan M. Smith - 2000 - Journal of Symbolic Logic 65 (3):1183-1192.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  5.  7
    Structure-Guided Insights on the Role of NS1 in Flavivirus Infection.David L. Akey, W. Clay Brown, Joyce Jose, Richard J. Kuhn & Janet L. Smith - 2015 - Bioessays 37 (5):489-494.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  15
    Collaborative Research Involving Human Subjects: A Survey of Researchers Using International Single Project Assurances.Alison Wichman, Janet Smith, Deloris Mills & Alan L. Sandler - forthcoming - IRB: Ethics & Human Research.
  7. The Morality of Condom Use by HIV-Infected Spouses.Janet E. Smith - 2006 - The Thomist 70 (1):27-69.
  8.  13
    Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995.Giovanni Sambin & Jan M. Smith (eds.) - 1998 - Oxford University Press.
    This volume draws together contributions from researchers whose work builds on the theory developed by Martin-Lof over the last twenty-five years.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  9. The Preeminence of Autonomy in Bioethics.Janet E. Smith - 1997 - In David S. Oderberg & Jacqueline A. Laing (eds.), Human Lives: Critical Essays on Consequentialist Bioethics. St. Martin's Press. pp. 182--195.
     
    Export citation  
     
    Bookmark   3 citations  
  10. Lives in the Balance: The Ethics of Using Animals in Biomedical Research: The Report of a Working Party of the Institute of Medical Ethics.Jane A. Smith & Kenneth M. Boyd (eds.) - 1991 - Oxford University Press.
    This book is the result of a three-year study undertaken by a multidisciplinary working party of the Institute of Medical Ethic (UK). The group was chaired by a moral theologian, and its members included biological and ethological scientists, toxicologists, physicians, veterinary surgeons, an expert in alternatives to animal use, officers of animal welfare organizations, a Home Office Inspector, philosophers, and a lawyer. Coming from these different backgrounds, and holding a diversity of moral views, the members produced the agreed report as (...)
     
    Export citation  
     
    Bookmark   2 citations  
  11.  26
    Diamond, Eugene F., M.D. A Catholic Guide to Medical Ethics: Catholic Principles in Clinical Practice.Janet E. Smith - 2002 - The National Catholic Bioethics Quarterly 2 (2):346-348.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  54
    The Russell-Meinong Debate.Janet Farrell Smith - 1985 - Philosophy and Phenomenological Research 45 (3):305-350.
  13. Twenty-Five Years of Constructive Type Theory.Giovanni Sambin & Jan Smith (eds.) - 1998 - Clarendon Press.
     
    Export citation  
     
    Bookmark   1 citation  
  14.  8
    Animals in Experimental Reports: The Rhetoric of Science.Jane Smith & Lynda Birke - 1995 - Society and Animals 3 (1):23-42.
    In this paper, we analyze the ways in which the use of animals is described in the "Methods" sections of scientific papers. We focus particularly on aspects of the language of scientific narrative and what it conveys to the reader about the animals. Scientific writing, for example, tends to omit details of how the animals are cared for. Perhaps more importantly, it is constructed in ways that tend to minimize what is happening to the animal; thus, animal death is obscured (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  11
    The Independence of Peano's Fourth Axiom From Martin-Löf's Type Theory Without Universes.Jan M. Smith - 1988 - Journal of Symbolic Logic 53 (3):840-845.
  16.  51
    Analyzing Ethical Conflict in the Transracial Adoption Debate: Three Conflicts Involving Community.Janet Farrell Smith - 1996 - Hypatia 11 (2):1 - 33.
    This essay explores ethical conflicts underlying the discourse of the policy debate about transracial adoption, focusing on the adoption of Black children by whites. Three underlying conflicts are analyzed, namely, the values of equality versus community, interracial community versus multiculturalism, individuality versus racial-ethnic community. The essay concludes with observations on multicultural families.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  17.  10
    Possessive Power.Janet Farrell Smith - 1986 - Hypatia 1 (2):103 - 120.
    The concept of possessive power as it manifests in reproductions is the focus of criticism in this paper. The analysis utilizes both positive insights and illustrative mistakes from Beauvoir's account of maternity. An alternative notion of power is proposed to replace possessive power as proprietary control.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  9
    Can Virture Be in the Service of Bad Acts?Janet Smith - 1984 - New Scholasticism 58 (3):357-373.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  22
    An Interpretation of Martin-Löf's Type Theory in a Type-Free Theory of Propositions.Jan Smith - 1984 - Journal of Symbolic Logic 49 (3):730-753.
    We present a formal theory of propositions and combinator terms, and in this theory we give an interpretation of Martin-Löf's type theory. The construction of the interpretation is inspired by the semantics for type theory, but it can also be viewed as a formalized realizability interpretation.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  15
    On Immunity: An Inoculation.Jane Smith - 2016 - Journal of Bioethical Inquiry 13 (2):349-351.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  10
    Self-Gift: The Heart of Humanae Vitae.Janet E. Smith, John S. Grabowski, J. Budziszewski & Maria Fedoryka - 2016 - The National Catholic Bioethics Quarterly 16 (3):449-474.
    It is possible to defend the Church’s teaching that contraception is incompatible with God’s plan for sexuality in many different ways. This essay sketches the fundamental views of reality common to all the defenses and the main lines of the most prominent defenses, some based on natural law, on the theology of the body, and on the physical, psychological, and social consequences of the use of contraception. While all the defenses have merit, the argument based on the recognition that sexual (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  2
    Propositional Functions and Families of Types.Jan M. Smith - 1989 - Notre Dame Journal of Formal Logic 30 (3):442-458.
  23.  1
    Can Virture Be in the Service of Bad Acts?: A Response to Philippa Foot.Janet Smith - 1984 - New Scholasticism 58 (3):357-373.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  24.  1
    The Islamic Understanding of Death and Resurrection.Jane Idleman Smith & Yvonne Yazbeck Haddad - 1983 - Philosophy East and West 33 (3):310-311.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  11
    Abortion and Moral Development Theory.Janet E. Smith - 1988 - International Philosophical Quarterly 28 (1):31-51.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  17
    Aquinas's Theory of Natural Law.Janet E. Smith - 1998 - American Catholic Philosophical Quarterly 72 (4):611-614.
  27.  24
    Book Reviews and Notices. [REVIEW]Muhammad Usman Erdosy, Nancy J. Barnes, Lou Ratté, John Grimes, Paul B. Courtright, Brian K. Smith, Jane I. Smith, Carl Olson, T. N. Madan, William K. Mahony, Robert N. Minor, Jeffrey J. Kripal, Dennis Hudson, Lou Ratté, Serinity Young & Phillip B. Wagoner - 1997 - International Journal of Hindu Studies 1 (1):189-216.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  28.  18
    Book Review:Participation in Social and Political Activities. David Horton Smith. [REVIEW]Jan Smith - 1983 - Ethics 93 (2):411-.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29.  9
    Reply to Gass.Janet E. Smith - 1993 - International Philosophical Quarterly 33 (2):233-238.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  30.  13
    Platonic Myth and Platonic Writing.Janet E. Smith - 1982 - New Scholasticism 56 (3):390-392.
  31.  13
    Reclaiming or Rewriting the Tradition?Janet E. Smith - 2001 - American Catholic Philosophical Quarterly 75 (4):585-595.
    My assessment of Jean Porter's Natural and Divine Law is mixed. She provides a generally accurate account of the scholastic theory of natural law, since she steers clear of the erroneous notion that its understanding of "nature" was confined to the physical or biological and rightly notes that "nature" refers to the fullness of human nature. Her account of modern natural law theory is less reliable; for she ignores the work of several prominent contemporary natural law theorists and regrettably caricatures (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  32.  10
    The Pinckaers Reader: Renewing Thomistic Moral Theology.Janet E. Smith - 2006 - American Catholic Philosophical Quarterly 80 (4):638-641.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  33.  8
    Natural Law and Sexual Ethics.Janet Smith - 2000 - In Edward B. McLean (ed.), Common Truths: New Perspectives on Natural Law. Isi Books. pp. 193--215.
  34.  10
    Ethics of Procreation and the Defense of Human Life.Janet E. Smith - 2011 - American Catholic Philosophical Quarterly 85 (3):513-516.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  35.  8
    Plato and Aristotle.Janet E. Smith - 1992 - American Catholic Philosophical Quarterly 66 (1):118-120.
  36.  5
    Animals, Science, and Ethics--Section III. Critical Anthropomorphism, Animal Suffering, and the Ecological Context.David B. Morton, G. M. Berghardt & Jane A. Smith - 1990 - Hastings Center Report 20 (3).
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  5
    The Pinckaers Reader.Janet E. Smith - 2006 - American Catholic Philosophical Quarterly 80 (4):638-641.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  38.  6
    Eleanor H. Kuykendall 1938-1993.Phyllis S. Morris & Janet Farrell Smith - 1994 - Proceedings and Addresses of the American Philosophical Association 67 (4):143 - 144.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  39.  2
    John Cuthbert Ford, S.J.: Moral Theologian at the End of the Manualist Era by Eric Marcelo O. Genilo, S.J.Janet E. Smith - 2009 - The National Catholic Bioethics Quarterly 9 (4):799-802.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  3
    The Islamic Understanding of Death and Resurrection.Mahmoud M. Ayoub, Jane Idleman Smith & Yvonne Yazbeck Haddad - 1983 - Journal of the American Oriental Society 103 (2):447.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41.  8
    Catholic Bioethics and the Gift of Life.Janet E. Smith - 2002 - American Catholic Philosophical Quarterly 76 (3):507-509.
  42.  3
    The Curse of Curves.Jacob M. Vigil, Chance R. Strenth, Andrea A. Mueller, Jared DiDomenico, Diego Guevara Beltran, Patrick Coulombe & Jane Ellen Smith - 2015 - Human Nature 26 (2):235-254.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43. English I Ms. Pawlik January 6, 2005 The Power of Imagination.Jane Smith - 2005 - In Alan F. Blackwell & David MacKay (eds.), Power. Cambridge University Press.
    No categories
     
    Export citation  
     
    Bookmark  
  44.  1
    Russell's Re-Evaluation of Meinong, 1913-14: An Analysis of Acquaintance.Janet Farrell Smith - 1988 - Russell: The Journal of Bertrand Russell Studies 8 (1).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  1
    Programming in Martin-Löf's Type Theory. An Introduction.Kent Petersson & Jan M. Smith - 1992 - Journal of Symbolic Logic 57 (1):272-274.
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  1
    Are Natural and Unnatural Appetites Equally Controllable? A Response to Jensen's “Is Continence Enough?”.Janet Smith - 2004 - Christian Bioethics 10 (2-3):177-188.
    This response challenges Jensen's analysis in no substantial way. Rather, it explains more fully some of the moral character categories that Aristotle provides. It argues that Aristotle understood there to be two forms of continence: the continence that enables us to control natural appetites and “some form” of continence directed towards unnatural appetites, generally engendered by some pathology or abuse.
    Direct download  
     
    Export citation  
     
    Bookmark  
  47. Formal Topologies on the Set of First-Order Formulae.Thierry Coquand, Sara Sadocco, Giovanni Sambin & Jan Smith - 2000 - Journal of Symbolic Logic 65 (3):1183-1192.
    Direct download  
     
    Export citation  
     
    Bookmark  
  48. A Tribute To Ralph Mcinerny.Janet Smith - 2010 - Nova et Vetera 8:501-504.
     
    Export citation  
     
    Bookmark  
  49. Conscious Parenthood.Janet Smith - 2008 - Nova et Vetera 6:927-950.
     
    Export citation  
     
    Bookmark  
  50. Dretske, Fred I, "Knowledge and the Flow of Information". [REVIEW]Jan Smith - 1982 - Ethics 93:202.
     
    Export citation  
     
    Bookmark  
1 — 50 / 58