Mathematical 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)

A narrative history of Oxford Movement, whereby a group of Anglican intellectuals, notably Newman, Pusey, Keble and Froude, attempted to restore to the Victorian Church of England the character of primitive Christianity. Many of the inherent principles, such as Apostolic Succession, were seen to be exemplified by the Catholic Church.

In 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)

What 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)

Background. As the development and use of genetic tests have increased, so have concerns regarding the uses of genetic information. Genetic discrimination, the differential treatment of individuals based on real or perceived differences in their genomes, is a recently described form of discrimination. The range and significance of experiences associated with this form of discrimination are not yet well known and are investigated in this study. Methods. Individuals at-risk to develop a genetic condition and parents of children with specific genetic (...) conditions were surveyed by questionnaire for reports of genetic discrimination. A total of 27,790 questionnaires were sent out by mail. Of 917 responses received, 206 were followed up with telephone interviews. The responses were analyzed regarding circumstances of the alleged discrimination, the institutions involved, issues relating to the redress of grievances, and strategies to avoid discrimination. (shrink)

Ethical 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)

The 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)

In lieu of an abstract, here is a brief excerpt of the content:720 Feminist Studies 42, no. 3. © 2016 by Feminist Studies, Inc. Julie R. Enszer “She Who Shouts Gets Heard!”: Counting and Accounting for Women Writers in Literary Grants and Norton Anthologies In 1979, the Coordinating Council of Literary Magazines (CCLM), a New York-based nonprofit that supported literary magazines through technical assistance and grant-making, announced a new program: CCLM editor fellowships.1 Editor fellowships came with a $5,000 grant. Members (...) of the literary community nominated editors to CCLM for the award. Adrienne Rich nominated Ellen Marie Bissert, editor of the feminist journal 13th Moon, and Mab Segrest, editor of Feminary: A Feminist Journal for the South Emphasizing the Lesbian Vision, for the editor fellowships. In 1979, the inaugural year of the prize, among the ten winners, not one was a woman. Bissert was one of three honorable mentions. Bissert rejected the distinction with a public letter to Maureen Owen, the only woman on the CCLM board of directors. Bissert deplored “the sexism inherent in the panelists’ decisions.”2 Several feminist publications reprinted Bissert’s letter while “the male small press gave it scant 1. The work of CCLM continues today, although now the organization is called the Council for Literary Magazines and Presses (CLMP). Under the leadership of Jeffrey Lependorf, the nonprofit organization continues to be a vital advocate for small magazines and publishers. 2. Open letter from Ellen Marie Bissert to Maureen Owen, June 28, 1980, CCLM Editors’ Grant 1980 folder, box 6, 13th Moon records, New York Public Library, Rare Books and Manuscripts Division (hereafter, CCLM folder). Julie R. Enszer 721 coverage.”3 As a result of Bissert’s objections, CCLM released the application statistics: 225 people were nominated, forty (18%) were women, and fifteen (7%) were non-white men. Of the 124 people who completed the applications, twenty-three (19%) were women and eleven (9%) were nonwhite men. There were thirty-three semifinalists, five (15%) women and four (12%) non-white men. These numbers shocked and outraged Bissert and other feminists. Adrienne Rich wrote to Maureen Owen, “I am appalled by the blatant sexism evidenced in the Council’s decision to fund ten male editors.”4 The attention that Bissert brought to the grant process resulted in a special meeting of the CCLM board to “discuss the controversy” and the awards.5 The next year, the CCLM editor fellowships went to five journals run by women and five run by men; one of the winners of the $5,000 award in 1980 was the editorial collective of Conditions, a magazine of writing by women with an emphasis on writing by lesbians.6 In a letter to readers of Conditions, the three editors, Elly Bulkin, Jan Clausen, and Rima Shore, noted that the “feminist protest following the announcement of the 1979 awards no doubt had an impact on the decision-making process” and that the award “represents the only substantial payment we have received, or seem likely to receive, for our editorial work, and we were greatly encouraged by it.”7 Maureen Owen acknowledged the importance of Bissert’s protests saying it “strengthened my position on the board at CCLM and the position of women editors and writers in general. She who shouts, get heard!”8 In 1979, Bissert, Rich, and other feminists demonstrated the importance of shouting about the inclusion of women in systems of literary appraisal; they recognized the important economic consequences of grants for feminist publishers and feminist authors. Thirty years later, in 2009, Cate Marvin and Erin Belieu founded VIDA: Women in Literary Arts to promote “conversations regarding the critical reception 3. Open letter from Bissert to Owen. 4. Rich to Owen, August 7, 1979, CCLM folder. 5. Open letter from Bissert to Owen. 6. Press release, June 11, 1980, CCLM folder. 7. Elly Bulkin, Jan Clausen, and Rima Shore, Conditions 7, unnumbered front matter. 8. Postcard from Owen to Bissert, undated, CCLM folder. 722 Julie R. Enszer of women’s creative writing in our current culture.”9 Each February or March since 2010, VIDA releases “the count”: a compilation of the gender breakdown of prizes, reviews, and literary journals in the United States. VIDA’s numbers demonstrate bias toward men in... (shrink)

SUMMARYThis paper examines the reception of Edmund Husserl's phenomenology in Philosophy and Phenomenological Research, a philosophy quarterly which was founded in conjunction with the International Society of Phenomenology and for which Marvin Farber served as editor until his death in 1980. From its founding in 1940, Farber relied on the editorial support of many of Husserl's enthusiastic students who found themselves intellectual exiles, including Husserl's son. Farber's professional and personal interaction with Husserl's ardent followers reveals a dramatic story of (...) former students who were ever vigilant about maintaining the core values of the Master's unique philosophy, and Farber's personal philosophical transformation from a publicist of Husserl's work to a guarded critic intent on avoiding the promotion of sectarianism. (shrink)

Semantic Engines: An Introduction to Mind Design, John C. Haugeland; Computer Science as Empirical Inquiry: Symbols and Search, Alan Newell and Herbert A. Simon; Complexity and the Study of Artificial and Human Intelligence, Zenon Pylyshyn; A Framework for Representing Knowledge, Marvin Minsky; Artificial Intelligence---A Personal View, David Marr; Artificial Intelligence Meets Natural Stupidity, Drew McDermott; From Micro-Worlds to Knowledge Representation: AI at an Impasse, Hubert L. Dreyfus; Reductionism and the Nature of Psychology, Hilary Putnam; Intentional Systems, Daniel C. Dennett; (...) The Nature and Plausibility of Cognitivism, John C. Haugeland; Minds, Brains, and Programs, John R. Searle; MethodologicalSolipsism Considered as a Research Strategy in Cognitive Psychology, Jerry A. Fodor; The Material Mind, Donald Davidson. (shrink)

Buss, S.R., The undecidability of k-provability, Annals of Pure and Applied Logic 53 75-102. The k-provability problem is, given a first-order formula ø and an integer k, to determine if ø has a proof consisting of k or fewer lines . This paper shows that the k-provability problem for the sequent calculus is undecidable. Indeed, for every r.e. set X there is a formula ø and an integer k such that for all n,ø has a proof of k sequents if (...) and only if n ε X. (shrink)

I answer Alvin Plantinga's challenge to provide a ‘proper’ de jure objection to religious belief. What I call the ‘sophisticates’ evidential objection' concludes that sophisticated Christians lack epistemic justification for believing central Christian propositions. The SEO utilizes a theory of epistemic justification in the spirit of the evidentialism of Richard Feldman and Earl Conee. I defend philosophical interest in the SEO against objections from Reformed epistemology, by addressing Plantinga's criteria for a proper de jure objection, his anti-evidentialist arguments, and the (...) relevance of ‘impulsional evidence’. I argue that no result from Plantinga-style Reformed epistemology precludes the reasons I offer in favour of giving the SEO its due philosophical attention. (shrink)

Professor R. J. Getty has drawn attention to a tenth- or early eleventh-century manuscript of Statius’ Thebaid, hitherto examined only in Book I, namely Turonensis . Dr. Klotz, in his Teubner edition of 1908, gave citations from Book I, and wrote , ‘dolendum est sane de hoc codice primum tantum librum innotuisse, sed cum Roffensis libri maxime affinis accuratiorem notitiam haberemus, collatione quamvis -aegre careri posse nobis visum est.’ I have collated both T and Roffensis in full, and find firstly (...) that the citations of r by Klotz are far from accurate, especially in the last six books, and secondly that while it is indeed true thatT and r are very closely related, T is a much better representative than r of their common source. (shrink)

R. S. Downie; IX—Can there be a Private Morality?, Proceedings of the Aristotelian Society, Volume 68, Issue 1, 1 June 1968, Pages 167–186, https://doi.org/10.1.

BLWith new text and full apparatus criticusThe Eudemian Ethics was one of two ethical treatises which Aristotle wrote on the subject of ethica or `matters to do with character'. Although the two works cover much the same ground, the Nicomachean Ethics is better known; the poor manuscript tradition of the Eudemian Ethics has made correct translation and interpretation of the text extremely difficult. The subject of the work is the choice of a certain means of conduct, made by a `man (...) of practical wisdom', between two extremes of behaviour: asceticism and yielding to uncontrolled impulses. Aristotle also stresses the notion of moral intention and the importance of virtue of character. This new Oxford Classical Text of the Eudemian Ethics is the result of many years of work. After Sir David Ross's death, his original text was substantially reworked and revised by his friend and colleague R. R. Walzer, who was aided in the revision by his former pupil Mrs Jean Mingay, who continued his work after his death in 1974. Mrs Mingay was fortunate in being able to make use of previously unpublished contributions from D. J. Allan after his death in the late seventies, and more recently has been helped in her work by the suggestions of Professor D. A. Russell, David Robinson, and Christopher Rowe. (shrink)

This essay develops a theory of identities, selves, and ‘the self’ that both explains the sense in which selves are narratively constituted and also explains how the self relates to a person's individual autobiographical identity and to their various social identities. I argue that identities are the contents of narratively structured representations, some of which are hosted individually and are autobiographical in form, and others of which are hosted collectively and are biographical in form. These identities, in turn, give rise (...) to selves of various sorts—true selves, autobiographical selves, public and private selves, merely possible selves, and so on—which are the characters (or presupposed subjects) that appear in our various identities. Although the theory I develop bears some obvious affinities with the view that selves are fictional characters, the two views are in fact distinct, for reasons explained at the end. (shrink)