This is a welcome reprint of a book that continues to grow in importance.

Two attitudes are possible: one, that the world is an absolute jungle and that the exercise of coercive power by rulers is only a manifestation of this; and the other, that it is both necessary and right that there should be this exercise of power, that through it the world is much less of a jungle than it could possibly be without it, so that one should in principle be glad of the existence of such power, and only take exception (...) to its unjust exercise. (shrink)

The logical status of abstraction principles, and especially Hume’s Principle, has been long debated, but the best currently availeble tool for explicating a notion’s logical character—permutation invariance—has not received a lot of attention in this debate. This paper aims to fill this gap. After characterizing abstraction principles as particular mappings from the subsets of a domain into that domain and exploring some of their properties, the paper introduces several distinct notions of permutation invariance for such principles, assessing the philosophical significance (...) of each. (shrink)

In this paper, we explore Fregean metatheory, what Frege called the New Science. The New Science arises in the context of Frege’s debate with Hilbert over independence proofs in geometry and we begin by considering their dispute. We propose that Frege’s critique rests on his view that language is a set of propositions, each immutably equipped with a truth value (as determined by the thought it expresses), so to Frege it was inconceivable that axioms could even be considered to be (...) other than true. Because of his adherence to this view, Frege was precluded from the sort of metatheoretical considerations that were available to Hilbert; but from this, we shall argue, it does not follow that Frege was blocked from metatheory in toto. Indeed, Frege suggests in Die Grundlagen der Geometrie a metatheoretical method for establishing independence proofs in the context of the New Science. Frege had reservations about the method, however, primarily because of the apparent need to stipulate the logical terms, those terms that must be held invariant to obtain such proofs. We argue that Frege’s skepticism on this score is not warranted, by showing that within the New Science a characterization of logical truth and logical constant can be obtained by a suitable adaptation of the permutation argument Frege employs in indicating how to prove independence. This establishes a foundation for Frege’s metatheoretical method of which he himself was unsure, and allows us to obtain a clearer understanding of Frege’s conception of logic, especially in relation to contemporary conceptions. (shrink)

The term "non-monotonic logic" covers a family of formal frameworks devised to capture and represent defeasible inference , i.e., that kind of inference of everyday life in which reasoners draw conclusions tentatively, reserving the right to retract them in the light of further information. Such inferences are called "non-monotonic" because the set of conclusions warranted on the basis of a given knowledge base does not increase (in fact, it can shrink) with the size of the knowledge base itself. This is (...) in contrast to classical (first-order) logic, whose inferences, being deductively valid, can never be "undone" by new information. (shrink)

While second-order quantifiers have long been known to admit nonstandard, or interpretations, first-order quantifiers (when properly viewed as predicates of predicates) also allow a kind of interpretation that does not presuppose the full power-set of that interpretationgeneral” interpretations for (unary) first-order quantifiers in a general setting, emphasizing the effects of imposing various further constraints that the interpretation is to satisfy.

G. E. M. Anscombe; IX—Parmenides, Mystery and Contradiction, Proceedings of the Aristotelian Society, Volume 69, Issue 1, 1 June 1969, Pages 125–132, https://do.

Written over the last 18 months of his life and inspired by his interest in G. E. Moore's defence of common sense, this much discussed volume collects Wittgenstein's reflections on knowledge and certainty, on what it is to know a proposition for sure.

In the history of political thought, the relationship between property and power has been a central preoccupation. The very nature of private property, on many accounts, is to put owners in a position of self-serving power to make decisions about matters of concern to others. In many legal systems, the vast power of owners is pervasive, as an ever greater range of resources is brought within the property regime and subjected to private power backed by the coercive power of the (...) state. Political and legal philosophers have long puzzled over how to reconcile the nature of private property with the limits and social responsibilities upon which, at least for some accounts, property’s legitimacy depends. The perennial question, then, is how best to understand the nature of property such that property’s limits can also be accounted for coherently within our legal and constitutional arrangements. Robé’s book Property, Power and Politics provides us with a wide-ranging analysis of property. There is much that we agree with and applaud here. In this contribution we seek to situate a key aspect of his work within this larger context, and to offer a criticism of one element of his view: his rejection of an understanding of ownership as an office. In Robé’s analysis, offices belong in the public sphere, where officeholders are held to account by their constituencies. We argue that Robé’s rejection of the idea of ownership-as-office rests on a misunderstanding of the legal concept of “office.” Moreover, this idea, properly understood, provides sound conceptual support for the normative aims of Robé’s account: to bind property and social responsibility tightly together. Robé’s project to criticize the virtually unlimited power of private owners in the contemporary world is served, not undermined, by understanding property as an office. First, we provide a brief summary of the key elements of Robé’s view of property (Part II). We then introduce a theoretical perspective on property as office as it has been developed in legal theory (Part III). Finally, we argue that this perspective fits better with Robé’s stated purposes than his own rejection of it suggests and raises some questions for future discussion (Part IV). (shrink)

This paper presents a formalization of first-order arithmetic characterizing the natural numbers as abstracta of the equinumerosity relation. The formalization turns on the interaction of a nonstandard cardinality quantifier with an abstraction operator assigning objects to predicates. The project draws its philosophical motivation from a nonreductionist conception of logicism, a deflationary view of abstraction, and an approach to formal arithmetic that emphasizes the cardinal properties of the natural numbers over the structural ones.

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.

The usual way for new cells to come into being is by division of old cells. So the zygote, which is a—new—single cell formed from two, the sperm and ovum, is an exception. Textbooks of human genetics usually say that this new cell is beginning of a new human individual. What this indicates is that they suddenly forget about identical twins.

Our present crises are growing more urgent, pervading many domains of public life—economic, political, environmental, and social. This motivates scholars to find more adequate, combinatory perspectives from which to explain them. One such effort, under the broad heading of Law and Political Economy (LPE), challenges an established view of legality that insulates the market and its dominant actors from critique and accountability. The established view is based on two misconceptions. First, it sees the real function of a capitalist legal device, (...) whether in contracts, antitrust, property, or corporate law, in terms of efficient wealth creation; this function is its underlying rationale and normative aim. Second, it tends to remove equality, coercion, and legitimacy—the core problems of power—from the scope of economic appraisal. When laws and policies are fashioned out of these ideas, democratic institutions will be unable to counter the dominance of capital. New analytical approaches are therefore necessary (Purdy et al. 2020). Along with researchers in associated fields, LPE scholars are attempting to better understand the legal constructions in which financial and political power are anchored and to develop new ways of integrating the economy into democratic life. Robé is a leading voice in these debates. His new book, Property, Power, and Politics, encloses in one volume his ideas on the role of incorporated firms—and of markets, property, and finance—in the larger dynamics of global politics. In this symposium, interlocutors with backgrounds in law, political science, and philosophy engage with this rich analysis. This introduction provides an overview of the book’s arguments (sections 2 and 3) and then introduces the contributions (section 4). (shrink)

This paper presents a bivalent extensional semantics for positive free logic without resorting to the philosophically questionable device of using models endowed with a separate domain of “non-existing” objects. The models here introduced have only one (possibly empty) domain, and a partial reference function for the singular terms (that might be undefined at some arguments). Such an approach provides a solution to an open problem put forward by Lambert, and can be viewed as supplying a version of parametrized truth non (...) unlike the notion of “truth at world” found in modal logic. A model theory is developed, establishing compactness, interpolation (implying a strong form of Beth definability), and completeness (with respect to a particular axiomatization). (shrink)

To incorporate medical ethics into clinical practice, it must first be understood and valued by health care professionals. The recognition of this principle led to an expanding and continuing educational effort by the ethics committee of the Vancouver General Hospital. This paper reviews this venture, including some pitfalls and failures, as well as successes. Although we began with consultants, it quickly became apparent that education in medical ethics must reach all health care professionals—and medical students as well. Our greatest successes (...) came in the formative years of a medical career (ie, in medical school and residency training programmes), but other efforts were not wasted, particularly among nurses and other health care professionals.Although this is a personal review of the experience in one institution, the lessons learnt in Vancouver are applicable to the further development of medical ethics in the UK. (shrink)

_Zettel, _ an en face bilingual edition, collects fragments from Wittgenstein's work between 1929 and 1948 on issues of the mind, mathematics, and language.