Steinsvold (2020) has provided two semantics for the basic modal language enriched with propositional quantifiers (∀p). We define an extension EM of the system KD45_{\Box} and prove that EM is sound and complete for both semantics. It follows that the two semantics are equivalent.

We investigate, for several modal logics but concentrating on KT, KD45, S4 and S5, the set of formulas B for which ${\square B}$ is provably equivalent to ${\square A}$ for a selected formula A (such as p, a sentence letter). In the exceptional case in which a modal logic is closed under the (‘cancellation’) rule taking us from ${\square C \leftrightarrow \square D}$ to ${C \leftrightarrow D}$ , there is only one formula B, to within equivalence, in this inverse image, (...) as we shall call it, of ${\square A}$ (relative to the logic concerned); for logics for which the intended reading of “ ${\square}$ ” is epistemic or doxastic, failure to be closed under this rule indicates that from the proposition expressed by a knowledge- or belief-attribution, the propositional object of the attitude in question cannot be recovered: arguably, a somewhat disconcerting situation. More generally, the inverse image of ${\square A}$ may comprise a range of non-equivalent formulas, all those provably implied by one fixed formula and provably implying another—though we shall see that for several choices of logic and of the formula A, there is not even such an ‘interval characterization’ of the inverse image (of ${\square A}$ ) to be found. (shrink)

A well-known open problem in epistemic logic is to give a syntactic characterization of the successful formulas. Semantically, a formula is successful if and only if for any pointed model where it is true, it remains true after deleting all points where the formula was false. The classic example of a formula that is not successful in this sense is the “Moore sentence” p ∧ ¬ BOX p, read as “p is true but you do not know p.” Not only (...) is the Moore sentence unsuccessful, it is self-refuting, for it never remains true as described. We show that in logics of knowledge and belief for a single agent (extended by S5), Moorean phenomena are the source of all self-refutation; moreover, in logics for an introspective agent (extending KD45), Moorean phenomena are the source of all unsuccessfulness as well. This is a distinctive feature of such logics, for with a non-introspective agent or multiple agents, non-Moorean unsuccessful formulas appear. We also consider how successful and self-refuting formulas relate to the Cartesian and learnable formulas, which have been discussed in connection with Fitch’s “paradox of knowability.” We show that the Cartesian formulas are exactly the formulas that are not eventually self-refuting and that not all learnable formulas are successful. In an appendix, we give syntactic characterizations of the successful and the self-refuting formulas. (shrink)

A well-known open problem in epistemic logic is to give a syntactic characterization of the successful formulas. Semantically, a formula is successful if and only if for any pointed model where it is true, it remains true after deleting all points where the formula was false. The classic example of a formula that is not successful in this sense is the “Moore sentence” p ∧ ¬ BOX p, read as “p is true but you do not know p.” Not only (...) is the Moore sentence unsuccessful, it is self-refuting, for it never remains true as described. We show that in logics of knowledge and belief for a single agent (extended by S5), Moorean phenomena are the source of all self-refutation; moreover, in logics for an introspective agent (extending KD45), Moorean phenomena are the source of all unsuccessfulness as well. This is a distinctive feature of such logics, for with a non-introspective agent or multiple agents, non-Moorean unsuccessful formulas appear. We also consider how successful and self-refuting formulas relate to the Cartesian and learnable formulas, which have been discussed in connection with Fitch’s “paradox of knowability.” We show that the Cartesian formulas are exactly the formulas that are not eventually self-refuting and that not all learnable formulas are successful. In an appendix, we give syntactic characterizations of the successful and the self-refuting formulas. (shrink)

Recognized in his day as a man of letters equaling Rousseau and Voltaire in France and rivaling Samuel Johnson, David Hume passed from favor in the Victorian age--his work, it seemed, did not pursue Truth but rather indulged in popularization. Although Hume is once more considered as one of the greatest British philosophers, scholars now tend to focus on his thought rather than his writing. To round out our understanding of Hume, M. A. Box in this book charts the interrelated (...) development of Hume's literary ambitions, theories of style, and compositional practice from his Treatise in 1739 through the Enquiries. In so doing, Box makes the case for Hume's career-long concern with the presentational modes of reaching an audience for his philosophical writings. Hume reacted to the popular failure of his masterpiece, A Treatise of Human Nature, Box suggests, by self-consciously exploring strategies in his subsequent works for agreeably bringing his readership to participate in the act of philosophizing. Combining a sensitive grasp of the ways Restoration period and eighteenth-century writers conceived the relations between rhetoric and philosophy with sound readings of particular texts, Box shows how Hume's literary concerns went beyond matters of style to involve persona, structure, and doctrine. While this book helps explain long-standing ambiguities surrounding Hume, especially by pointing out the tension between his created persona and his own voice, it also serves as an excellent introduction to his philosophy. (shrink)

Assisted dying is a divisive and controversial topic and it is therefore desirable that a broad range of interests inform any proposed policy changes. The purpose of this study is to collect and synthesize the views of an important stakeholder group—namely people with disabilities —as expressed by disability rights organisations in Great Britain. Parliamentary consultations were reviewed, together with an examination of the contemporary positions of a wide range of DROs. Our analysis revealed that the vast majority do not have (...) a clear public stance; those that do exhibit a significant diversity of opinion. DROs opposing legislation on assisted dying have argued that it would be premature, misguided, inequitable and culturally undesirable. Some specify conditions that would have to be satisfied before they could support legalisation, such as radical improvements in health and social care services and the elimination of discrimination against PwD. DROs supporting assisted dying maintain that a change in the law would promote autonomy, end intense suffering, can be delivered safely and is supported by the DRO’s membership. The discussion considers the reasons why several DROs adopt a neutral stance and the argument is made that, whatever their overarching stance on the issue, DROs need to be involved in the policy debate so that the crucial perspectives of PwD are heard and addressed. This is an important message for countries around the world that permit, or are considering legalising, assisted dying. (shrink)

Philosophical naturalism faces a dilemma: take it as an ideology, and you face charges of internal incoherence, since the ideological stance itself does not look to be a deliverance of science. Forgo the ideological aspect, on the other hand, and naturalism becomes a merely subjective assessment, a cry of “yay for science!” that carries no normative weight for those who are not inclined to agree. I first argue that both horns of this dilemma are sharp, and that current attempts to (...) negotiate them have failed. I then give a plausible construal of methodological naturalism that is both ideological and internally coherent, and so threads this dilemma. Finally, I consider objections to this formulation of naturalism. (shrink)

The article discusses poet Oliver Goldsmith's remarks, which illustrates philosopher and historian, David Hume's contemporary reputation. Goldsmith lamented, however, that the praise due to literary merit is already occupied by the first writers, who will keep it and get the better even of the superior merit which the moderns may possess. He said David Hume was one of those, who, seeing the first place occupied on the right side, rather than take a second, wants to have a first in what (...) is wrong. (shrink)

Recognized in his day as a man of letters equaling Rousseau and Voltaire in France and rivaling Samuel Johnson, David Hume passed from favor in the Victorian age--his work, it seemed, did not pursue Truth but rather indulged in popularization. Although Hume is once more considered as one of the greatest British philosophers, scholars now tend to focus on his thought rather than his writing. To round out our understanding of Hume, M. A. Box in this book charts the interrelated (...) development of Hume's literary ambitions, theories of style, and compositional practice from his Treatise in 1739 through the Enquiries. In so doing, Box makes the case for Hume's career-long concern with the presentational modes of reaching an audience for his philosophical writings. Hume reacted to the popular failure of his masterpiece, A Treatise of Human Nature, Box suggests, by self-consciously exploring strategies in his subsequent works for agreeably bringing his readership to participate in the act of philosophizing. Combining a sensitive grasp of the ways Restoration period and eighteenth-century writers conceived the relations between rhetoric and philosophy with sound readings of particular texts, Box shows how Hume's literary concerns went beyond matters of style to involve persona, structure, and doctrine. While this book helps explain long-standing ambiguities surrounding Hume, especially by pointing out the tension between his created persona and his own voice, it also serves as an excellent introduction to his philosophy. (shrink)

The aim of this article is to analyze the meaning of the concept of empire during the first years of the Francoist regime and try to clarify the different meanings that the various political and ideological groups that were part of the dictatorship gave to this concept. As will be explained, it is possible to find two main meanings for the concept of empire . The first one was linked to the notion of Hispanidad and was developed by the Catholic (...) and counter-revolutionary groups; in this case, empire was defined through the Catholic religion and the missionary role that Spain had played in the discovery of America, the moment that marked the beginning of the Spanish Empire. The second meaning was developed inside the Falangist party. It contained fascist values and was linked to an ideal of expansionism that would support specific policies. The aim here is to differentiate these meanings by paying attention to the different contexts in which they were produced. (shrink)

The article focuses on the book "Essays, Moral and Political," by David Hume. In this book Hume quoted, but did not identify, two Hudibrastic couplets. He altered them so as to make them grammatically continuous with his prose, but not so much that a polite reader of his day would fail to recognize them.

The UK Medical Research Council, in order to further its mission of maintaining and improving human health, supports a substantial number of clinical trials on a wide variety of medical questions; some of these trials involve the use of placebos as controls or to maintain blinding. Before providing support, proposed trials are carefully reviewed to assess scientific quality, and to determine whether a placebo is required and is ethical — in addition to ethics review by independent Research Ethics Committees. Some (...) questions such as the choice of placebos in trials in developing countries, in surgical trials and those involving alternative medicine require consideration of additional, specific issues. Involvement of consumers in MRC work has been increasing and includes the establishment of a Consumer Liaison Group; members of this group comment on patient information leaflets for clinical trials, helping to improve patient understanding of trials and ensuring topics like placebo use are explained clearly. Views differ on the value of placebos in clinical care and on their mechanism of action; continuing research is helping to clarify the issues. (shrink)

To carry on reasoning in the face of the implications of skepticism is what Fred Parker calls “sceptical thinking.” Not to be confused with the engineered vacillation leading to a tranquillizing suspense of judgement, it involves the double perspective of someone conducting a life, believing and reasoning as we do, while acutely aware that the whole endeavor is, in a sense, untenable. If, as Sir Philip Sidney famously said, an imaginative writer “nothing affirms, and therefore never lieth,” then the dilemma (...) posed by skepticism might be less embarrassing for that kind of writer than for philosophers. The latter purport to offer tenets valued according to their truth, however variously defined; the former, on the other hand, create “speaking pictures,” or verbal imitations. Skeptically thinking imaginative writers can create speaking pictures of a life in which knowledge is unavailable though people must reason, believe, and act. In a famous letter Keats went so far as to deem a kind of ataraxy to be a condition of the highest art, adducing Shakespeare’s “Negative Capability... of being in uncertainties, Mysteries, doubts, without any irritable reaching after fact & reason”. Parker does not discuss the possibility that negative capability might conduce to the highest flights of literature. He is concerned with the unresolved tensions of skeptical thinking that he sees as complicating key works of literature in the Hanoverian reigns. For their authors and readers, the negativity of skepticism was “disillusioning and destabilizing” if not ameliorated by a humor like Sterne’s or an irony like Hume’s. Humor or irony arises from the oddity that skepticism is put in its place only when we give up and allow nature to reassert itself. Not heroic measures, but backgammon and making merry with friends prevail over doubt. Sometimes, when the confrontation with skepticism gives rise to the precept of following nature, skepticism can result in “a surprising confidence of assertion”. (shrink)

Line 24 on page 218 in the July number of this volume of Philosophy should read as follows: naturally out of matter itself lifeless or that consciousness and intelli-.

In order to explore whether and how Jewish teachings influence the attitudes of strictly-orthodox Jews to clinical trials, 10 strictly-orthodox Jews were purposively selected and interviewed, using a semi-structured schedule. Relevant literature was searched for similar studies and for publications covering relevant Jewish teachings. Thematic analysis was used to analyse transcribed interviews and explore relationships between attitudes and Jewish teachings identified in the review. Participants’ attitudes were influenced in a variety of ways: by Jewish teachings on the over-riding importance of (...) preserving life—the need to avoid risks affecting life and health, while taking risks to preserve life—and the religious obligation to help others, as well as by previous experience. Attitudes mirrored those in the general population, enabling many participants to reach conclusions that did not differ materially from those of the general population or research ethics committees. (shrink)

The following review by "Crito" was reproduced in shortened form in 1888 (Dibdin, Annals, 89-90) and is not now readily available. It is transcribed and edited here as illustrative of the events prompting David Hume's dedication to John Home of Four Dissertations in 1757. The possibility that Crito was in fact Hume deserves exploring, though the question remains speculative given the evidence available.The review appeared as a letter in the Caledonian Mercury and the Edinburgh Evening Courant, both on 18 December (...) 1756, on the day of the fourth performance of Home's Douglas at what was then openly called a theater. Until recently the theater had been carefully denominated the "Concert-hall, Canongate," wherein .. (shrink)

Originally published in 1970. Two major changes have characterised science in the twentieth century. Firstly, there has been its rapid growth. Secondly, and central to the theme his book – science is no longer mainly an academic activity carried on in universities. Industry will soon be the largest employer of scientists. This book deals with issues of bureaucracy in science threatening its creativity and the failure of industry to recruit the best graduates, as well as what attracts people to study (...) science. (shrink)