A propositional system of modal logic is second-order if it contains quantifiers ∀p and ∃p, which, in the standard interpretation, are construed as ranging over sets of possible worlds (propositions). Most second-order systems of modal logic are highly intractable; for instance, when augmented with propositional quantifiers, K, B, T, K4 and S4 all become effectively equivalent to full second-order logic. An exception is S5, which, being interpretable in monadic second-order logic, is decidable.

Following the pioneer work of Bruno De Finetti [12], conditional probability spaces (allowing for conditioning with events of measure zero) have been studied since (at least) the 1950's. Perhaps the most salient axiomatizations are Karl Popper's in [31], and Alfred Renyi's in [33]. Nonstandard probability spaces [34] are a well know alternative to this approach. Vann McGee proposed in [30] a result relating both approaches by showing that the standard values of infinitesimal probability functions are representable as Popper functions, and (...) that every Popper function is representable in terms of the standard real values of some infinitesimal measure. Our main goal in this article is to study the constraints on (qualitative and probabilistic) change imposed by an extended version of McGee's result. We focus on an extension capable of allowing for iterated changes of view. Such extension, we argue, seems to be needed in almost all considered applications. Since most of the available axiomatizations stipulate (definitionally) important constraints on iterated change, we propose a non-questionbegging framework, Iterative Probability Systems (IPS) and we show that every Popper function can be regarded as a Bayesian IPS. A generalized version of McGee's result is then proved and several of its consequences considered. In particular we note that our proof requires the imposition of Cumulativity, i.e. the principle that a proposition that is accepted at any stage of an iterative process of acceptance will continue to be accepted at any later stage. The plausibility and range of applicability of Cumulativity is then studied. In particular we appeal to a method for defining belief from conditional probability (first proposed in [42] and then slightly modified in [6] and [3]) in order to characterize the notion of qualitative change induced by Cumulative models of probability kinematics. The resulting cumulative notion is then compared with existing axiomatizations of belief change and probabilistic supposition. We also consider applications in the probabilistic accounts of conditionals [1] and [30]. (shrink)

Joseph Agassi is known primarily among fellow academics as an exemplary historian and philosopher of science; an ardent critic and disciple of Karl Popper; a critical admirer of the work of Michael Polanyi; and a Socratic fly with the “sting of a bee” for all those who wear the intellectual fashions of the day. To most of Agassi’s students he is known primarily as an exemplary model of the Socratic teacher. The question of most urgency for educators today who care (...) about the intellectual development of students is: How do we make ready our educational institutions for more Socratic teachers? The philosophical or theoretical question is: Why do we want Socratic teachers? In outline, of the many of Agassi’s educational essays selected for this book, Agassi answers those questions: authoritarianism (or anti-democracy) blocks the democratic reform of educational institutions where Socratic teachers and students could find a safe haven; and, Socratic teaching is the main anti-dote to authoritarianism. The removal of authoritarianism from education also removes the hazard that education has become to students; to their happiness, creativity, and dignity as autonomous individuals. See Less Copyright Year: 2014 E-Book (PDF) Availability: Published ISBN: 978-94-6209-626-4 Publication date: 01 Jan 2014 Hardback Availability: Published ISBN: 978-94-6209-624-0 Publication date: 01 Jan 2014 Paperback Availability: Published ISBN: 978-94-6209-623-3 Publication date: 01 Jan 2014 Login via Institution Prices from (excl. shipping): -/- $56.00 -/- ​ Available formats Add to Cart View PDF Flyer Get Permissions. (shrink)

Muriel Wheldale, a distinguished graduate of Newnham College, Cambridge, was a member of William Bateson's school of genetics at Cambridge University from 1903. Her investigation of flower color inheritance in snapdragons (Antirrhinum), a topic of particular interest to botanists, contributed to establishing Mendelism as a powerful new tool in studying heredity. Her understanding of the genetics of pigment formation led her to do cutting-edge work in biochemistry, culminating in the publication of her landmark work, The Anthocyanin Pigments of Plants (1916). (...) In 1915, she joined Frederick Gowland Hopkin's Department of Biochemistry as assistant and in 1926 became one of the first women to be appointed university lecturer. In 1919 she married the biochemist Huia Onslow, with whom she collaborated until his death in 1922. This paper examines Wheldale's work in genetics and especially focuses on the early linkage of Mendelian methdology with new techniques in biochemistry that eventually led to the founding of biochemical genetics. It highlights significant issues in the early history of women in genetics, including the critical role of mentors, funding opportunities, and career strategies. (shrink)

In 1987, Roy Sorensen coined the term 'parahistory' to denote the study of genuinely anachronistic artefacts delivered by time travel.¹ 'Parahistory' would thus stand to history rather as parapsychology is claimed to stand to psychology, i.e. the parahistorian would study historical data that were obtained through channels that orthodox science does not recognise. How might one establish credentials as a time traveller? What sort of evidence could a time-traveller point to in support of claims that would presumably command a great (...) deal of scepticism? While successful predictions might be one confirmatory tool, supporting evidence needn't take the form of predictions. (Although Sorensen offers an intriguing argument that a Humean about miracle-testimony would be obliged to reject any testimony to the occurrence of time travel.) Perhaps artefacts that time travellers retrieve from other times (past or future) could usefully supplement testimonial or predictive evidence for the parahistorian. However, this paper will argue, any appeal to past-artefactual evidence for parahistorical claims faces a dilemma that threatens to undermine its value: appeals to past-artefact evidence must either collapse into appeals to predictive evidence or see their value diminished by such past artefacts' necessarily exhibiting contradictory indicators of age and period. (shrink)

Around 1998, internet postings began appearing under the alias ‘ Timetravel_0 ’. This alias was later replaced by ‘John Titor’, and it's as such I'll designate the posts' author. Remarkably, Titor claimed to have time-travelled from 2036 on a mission to retrieve an IBM 5100 in 1975. Titor refrained from public appearances and any evidence for his story remains web-bound but before closing shop c. March 24 th 2001, he described various future events, e.g.: Y2K is a disaster. Many people (...) die on the highways when they freeze to death trying to get to warmer weather. Cancellation of the Olympics after 2004 due to world conflict. America will soon be engaged in civil war with itself; a civil war that we'll see the beginnings of during 2004 and 2005, escalating until it is indisputable by 2008. This equivocal civil war fizzles until global nuclear war kills three billion people in 2015. (shrink)

Importance Informed consent is essential to ethical, rigorous research and is important to recruitment and retention in cancer trials.Objective To examine cancer clinical trial (CCT) participants’ perceptions of informed consent processes and variations in perceptions by cancer type.Design and Setting and Participants Cross-sectional survey from mixed-methods study at National Cancer Institute–designated Northeast comprehensive cancer center. Open-ended and forced-choice items addressed: (1) enrollment and informed consent experiences and (2) decision-making processes, including risk-benefit assessment. Eligibility: CCT participant with gastro-intestinal or genitourinary, hematologic-lymphatic (...) malignancies, lung cancer, and breast or gynecological cancer (N = 334).Main Outcome Measures Percentages satisfied with consent process and information provided; and assessing participation’s perceptions of risks/benefits. Multivariable logistic or ordinal regression examined differences by cancer type.Results Most patient-participants felt well informed by the consent process (more than 90% overall and by cancer type) and. most (87.4%) reported that the consent form provided all the information they wanted, although nearly half (44.8%) reported that they read the form somewhat carefully or less. More than half (57.9%) said that talking to research staff (i.e., the consent process) had a greater impact on participation decisions than reading the consent form (2.1%). A third (31.1%) were very sure of joining in research studies before the informed consent process (almost half of lung cancer patients did—47.1%). Most patients personally assessed the risks and benefits before consenting. However, trust in physicians played an important role in the decision to enroll in CCT.Conclusions and Relevance Cancer patients rely less on written features of the informed consent process than on information obtained from the research staff and their own physicians. Research should focus on information and communication strategies that support informed consent from referring physicians, researchers, and others to improve patient risk-benefit assessment and decision-making. (shrink)

Mr. E. Courtney adopts Ellis's defence of repetitque, argues convincingly as a consequence that sed must be replaced by a verb, and claims: ‘That verb can hardly have been any other than stat.’ He continues : ‘This will mean that Charon's boat, having ferried across the young, does not remain tied up at the quay forgetful of the old, but goes back for them.’ The difficulty of que in the sense of sed in the line as reconstituted is defended by (...) a reference to Housman's note on Manilius, 1. 877. Still, the proposed line, non oblita tamen stat, repetitque senes, does not seem to be clear without a pause after stat, so that the reader will construe non with stat but not with repetit. This gives a very awkward rhythm indeed. (shrink)

Joseph Morton Ransdell left a record of experimentation with the communicational process of philosophy from 1992 to his passing in 2010. This record includes the Arisbe website and the peirce-l e-forum and its archives, of which the earliest are not on the Internet, but may yet be recovered and made available. Philosophy’s communication process, and the possibility of creating and developing a telecommunity, as Ransdell called it, were among his chief theoretical and practical interests. Such interests were focused in terms (...) of the ideas of Charles S. Peirce, including fallibilism, pragmaticism, and semiotic, in particular the sign’s determination by the represented object, and iconicity in relation especially to.. (shrink)

Richmond Campbell and Thomas Vinci have recently presented a Bayesian theory of confirmation by novel evidence (Campbell and Vinci [1983]). I shall review their theory as briefly as possible and present three objections to it.

Modern epistemology has run into several paradoxes in its efforts to explain how knowledge acquisition can be both socially based and still able to determine objective facts about the world. In this important book, Richmond Campbell attempts to dispel some of these paradoxes, to show how they are ultimately just "illusions of paradox," by developing ideas central to two of the most promising currents in epistemology: feminist epistemology and naturalized epistemology. Campbell's aim is to construct a coherent theory of (...) knowing that is feminist and "naturalized." Illusions of Paradox will be valuable for students and scholars of epistemology and women's studies. (shrink)

Like those famous nations divided by a single tongue, my paper (this volume) and Professor P.M. Churchland's deep and engaging reply offer different spins on a common heritage. The common heritage is, of course, a connectionist vision of the inner neural economy- a vision which depicts that economy in terms of supra-sentential state spaces, vector-to-vector transformations, and the kinds of skillful pattern-recognition routine we share with the bulk of terrestrial intelligent life-forms. That which divides us is, as ever, much harder (...) to isolate and name. Clearly, it has something to do with the role of moral talk and exchange, and something to do with the conception of morality itself (and, correlatively, with the conception of moral progress). Most of this Reply will be devoted to clarifying the nature of the disputed territory. First, though (as a prophylactic against misunderstanding) I shall rehearse some points of agreement concerning moral talk and progress. (shrink)