Granularity Analysis for Mathematical Proofs.Marvin R. G.Schiller -2013 -Topics in Cognitive Science 5 (2):251-269.detailsMathematical proofs generally allow for various levels of detail and conciseness, such that they can be adapted for a particular audience or purpose. Using automated reasoning approaches for teaching proof construction in mathematics presupposes that the step size of proofs in such a system is appropriate within the teaching context. This work proposes a framework that supports the granularity analysis of mathematical proofs, to be used in the automated assessment of students' proof attempts and for the presentation of hints and (...) solutions at a suitable pace. Models for granularity are represented by classifiers, which can be generated by hand or inferred from a corpus of sample judgments via machine-learning techniques. This latter procedure is studied by modeling granularity judgments from four experts. The results provide support for the granularity of assertion-level proofs but also illustrate a degree of subjectivity in assessing step size. (shrink)
BioEssays 12/2019.Sara G. Trimidal,Ronald Benjamin,Ji Eun Bae,Mira V. Han,Elizabeth Kong,Aaron Singer,Tyler S. Williams,Bing Yang &Martin R.Schiller -2019 -Bioessays 41 (12):1970125.detailsGraphical AbstractGene editing with engineered nucleases introduce double-strand breaks that are repaired by error-prone nonhomologous end-joining (NHEJ). In article number 1900126, Sara G. Trimidal et al. propose that the length and type or resulting indels can now be controlled by editing with different engineered nucleases or by manipulating the expression of NHEJ genes.
Can Designer Indels Be Tailored by Gene Editing?Sara G. Trimidal,Ronald Benjamin,Ji Eun Bae,Mira V. Han,Elizabeth Kong,Aaron Singer,Tyler S. Williams,Bing Yang &Martin R.Schiller -2019 -Bioessays 41 (12):1900126.detailsGenome editing with engineered nucleases (GEENs) introduce site‐specific DNA double‐strand breaks (DSBs) and repairs DSBs via nonhomologous end‐joining (NHEJ) pathways that eventually create indels (insertions/deletions) in a genome. Whether the features of indels resulting from gene editing could be customized is asked. A review of the literature reveals how gene editing technologies via NHEJ pathways impact gene editing. The survey consolidates a body of literature that suggests that the type (insertion, deletion, and complex) and the approximate length of indel edits (...) can be somewhat customized with different GEENs and by manipulating the expression of key NHEJ genes. Structural data suggest that binding of GEENs to DNA may interfere with binding of key components of DNA repair complexes, favoring either classical‐ or alternative‐NHEJ. The hypotheses have some limitations, but if validated, will enable scientists to better control indel makeup, holding promise for basic science and clinical applications of gene editing. Also see the video abstract here https://youtu.be/vTkJtUsLi3w. (shrink)
Sciences of man and social ethics.Marvin Charles Katz -1969 - Boston,: Branden Press.detailsEthical self-management; an introduction to systematic personality psychology, by M. C. Katz.--Four axiological proofs of the infinite value of man, by R. S. Hartman.--Some thoughts regarding the current philosophy of the behavioral sciences, by C. R. Rogers.--Autonomy and community, by D. Lee.--Synergy in the society and in the individual, by A. H. Maslow.--Human nature: its cause and effect; a theoretical framework for understanding human motivation, by M. C. Katz.--Mental health; a generic attitude, by G. W. Allport.--Love feelings in courtship couples; (...) an analysis, by R. P. Hattis.--Economic policies and human well-being, by W. A. Weisskopf.--The great transformation, by H. F. W. Perk.--Contingencies of reinforcement in the design of a culture, by B. F. Skinner.--For further reading. (shrink)
Applied Ontology: AMarvin Farber Conference on Law and Institutions in Society.Barry Smith &David R. Koepsell (eds.) -1998 - Buffalo: University at Buffalo.detailsThe application of ontology has thus far [in 1998] been confined almost exclusively to the field of knowledge representation. Ontology has been applied, for example, in the design of medical databases and in the construction of geographical information systems. One area which is naturally suited to ontological analysis is that of the law and of social institutions in general. -/- Legal systems are composed of legal entities, such as laws, contracts, obligations, and rights. Their application yields new categories of entities (...) such as: corporations, trademarks, marriages, and parcels of real estate. The categorization of these entities by different legal systems has not, by-and-large, been conducted in ways which exploit the tools of modern ontology. Consequently, contradictions and inconsistencies often arise in the law when, for instance, one type of entity is forced into two mutually exclusive categories (e.g., when software is considered both patentable and copyrightable). Papers are invited which consider these and related issues from a philosophical point of view. (shrink)
Export citation
Bookmark
The Oxford Handbook of Animal Ethics.L. Beauchamp Tom &R. G. Frey (eds.) -2011 - Oxford University Press USA.detailsHumans encounter and use animals in a stunning number of ways. The nature of these animals and the justifiability or unjustifiabilitly of human uses of them are the subject matter of this volume.Philosophers have long been intrigued by animal minds and vegetarianism, but only around the last quarter of the twentieth century did a significant philosophical literature begin to be developed on both the scientific study of animals and the ethics of human uses of animals. This literature had a primary (...) focus on discussion of animal psychology, the moral status of animals, the nature and significance of species, and a number of practical problems. This Oxford Handbook is designed to capture the nature of the questions as they stand today and to propose solutions to many of the major problems. Several chapters in this volume explore matters that have never previously been examined by philosophers.The authors of the thirty-five chapters come from a diverse set of philosophical interests in the History of Philosophy, the Philosophy of Mind, the Philosophy of Biology, the Philosophy of Cognitive Science, the Philosophy of Language, Ethical Theory, and Practical Ethics. They explore many theoretical issues about animal minds and an array of practical concerns about animal products, farm animals, hunting, circuses, zoos, the entertainment industry, safety-testing on animals, the status and moral significance of species, environmental ethics, the nature and significance of the minds of animals, and so on. They also investigate what the future may be expected to bring in the way of new scientific developments and new moral problems.This book of original essays is the most comprehensive single volume ever published on animal minds and the ethics of our use of animals. (shrink)
Aspects of the Language of Latin Poetry.J. N. Adams &R. G. Mayer -unknown -Proceedings of the British Academy 93.detailsInternational array of contributors, bringing together both traditional and more recent approaches to provide valuable insights into the poets’ use of language.Covers authors from Lucilius to Juvenal.Of the peoples of ancient Italy, only the Romans committed newly composed poems to writing, and for 250 years Latin-speakers developed an impressive verse literature.The language had traditional resources of high style, e.g., alliteration, lexical and morphological archaism or grecism, and of course metaphor and word order; and there were also less obvious resources in (...) the technical vocabularies of law, philosophy and medicine.The essays in this volume show how the poets in the classical period combined these elements, and so created a poetic medium that could comprehend satire, invective, erotic elegy, drama, lyric, and the grandest heroic epos. (shrink)
No categories
Family Break-Down and Stress in Huntington's Chorea.Audrey Tyler,P. S. Harper,Kathleen Davies &R. G. Newcome -1983 -Journal of Biosocial Science 15 (2):127-138.detailsSummaryThe incidence of family breakdown and stress has been examined in an unselected group of 92 South Wales families, each containing a patient suffering from Huntington's chorea, and related to the onset and duration of the disease, age of the patient, and behavioural symptoms shown. The frequency of actual and attempted suicide is analysed and the effects of the disorder on the primary care agent for the patient discussed. Some of the effects on children and the needs of the families (...) for support and practical help are outlined. It is concluded that family support is an essential factor in any programme aimed at the long-term alleviation and prevention of Huntington's chorea. (shrink)
The Argument from Design—a Defence: R. G. SWINBURNE.R. G. Swinburne -1972 -Religious Studies 8 (3):193-205.detailsMr Olding's recent attack on my exposition of the argument from design gives me an opportunity to defend the central theses of my original article. My article pointed out that there were arguments from design of two types—those which take as their premisses regularities of copresence and those which take as their premisses regularities of succession. I sought to defend an argument of the second type. One merit of such an argument is that there is no doubt about the truth (...) of its premisses. Almost all objects in the world behave in a highly regular way describable by scientific laws. Further, any scientific explanation of such a regularity must invoke some more general regularity. The most general regularities of all are, as such, scientifically inexplicable. The question arises whether there is a possible explanation of another kind which can be provided for them, and whether their occurrence gives any or much support to that explanation. I urged that we do explain some phenomena by explanation of an entirely different kind from the scientific. We explain states of affairs by the action of agents who bring them about intentionally of their own choice. Regularities of succession, as well as other phenomena may be explained in this way. Explanation of this kind I will term intentional explanation. Intentional explanation of some phenomenon E consists in adducing an agent A who brought E about of his own choice and a further end G which, he believed, would be forwarded by the production of E. (shrink)
The Use of Medical Records in Research: What Do Patients Want?Nancy E. Kass,Marvin R. Natowicz,Sara Chandros Hull,Ruth R. Faden,Laura Plantinga,Lawrence O. Gostin &Julia Slutsman -2003 -Journal of Law, Medicine and Ethics 31 (3):429-433.detailsIn the past ten years, there has been growing interest in and concern about protecting the privacy of personal medical information. Insofar as medical records increasingly are stored electronically, and electronic information can be shared easily and widely, there have been legislative efforts as well as scholarly analyses calling for greater privacy protections to ensure that patients can feel safe disclosing personal information to their health-care providers. At the same time, the volume of biomedical research conducted in this country continues (...) to grow. The budget of the National Institutes of Health, for example, was $20,298 million in 2001, having more than doubled from a budget of $9,218 million 10 years before. This growing body of research includes increased efforts to use stored medical records as a source of data for health services, epidemiologic, and clinical studies. (shrink)
Privacy, Control, and Talk of Rights: R. G. FREY.R. G. Frey -2000 -Social Philosophy and Policy 17 (2):45-67.detailsAn alleged moral right to informational privacy assumes that we should have control over information about ourselves. What is the philosophical justification for this control? I think that one prevalent answer to this question—an answer that has to do with the justification of negative rights generally—will not do.
Classifications of degree classes associated with r.e. subspaces.R. G. Downey &J. B. Remmel -1989 -Annals of Pure and Applied Logic 42 (2):105-124.detailsIn this article we show that it is possible to completely classify the degrees of r.e. bases of r.e. vector spaces in terms of weak truth table degrees. The ideas extend to classify the degrees of complements and splittings. Several ramifications of the classification are discussed, together with an analysis of the structure of the degrees of pairs of r.e. summands of r.e. spaces.
(1 other version)Newman and the Irish Bishops.Marvin R. O’Connell -2004 -Newman Studies Journal 1 (1):49-61.detailsWhat was the background to Newman’s rectorship of the Catholic University in Dublin? In 1845 the British government proposed to establish three non-denominational colleges in Ireland; some of the Irish bishops felt that it would be possible to work out a modus vivendi with the government. A slight majority of the bishops, however, opposed these so-called “godless” colleges and voted at the Synod of Thurles in 1850, to found a Catholic University in Ireland—a country that had been repeatedly decimated by (...) poverty and oppression, and a few years earlier the potato famine (1845-48). (shrink)
(1 other version)The Christian Wager: R. G. SWINBURNE.R. G. Swinburne -1969 -Religious Studies 4 (2):217-228.detailsOn what grounds will the rational man become a Christian? It is often assumed by many, especially non-Christians, that he will become a Christian if and only if he judges that the evidence available to him shows that it is more likely than not that the Christian theological system is true, that, in mathematical terms, on the evidence available to him, the probability of its truth is greater than half. It is the purpose of this paper to investigate whether or (...) not this is a necessary and sufficient condition for the rational man to adopt Christianity. (shrink)