The book that launched the modern American conservative movement, now available in trade paperback.

An eloquent introduction to the ethical and philosophical values at stake in biological conservation, this book familiarizes readers with the general issues and possible solutions to the problems societies face in simultaneously conserving nature and promoting culture.

The Exclusion Argument for physicalism maintains that since (1) every physical effect has a sufficient physical cause, and (2) cases of causal overdetermination are rare, it follows that if (3) mental events cause physical events as frequently as they seem to, then (4) mental events must be physical in nature. In defence of (1), it is sometimes said that (1) is supported if not entailed by conservation laws. Against this, I argue that conservation laws do not lend sufficient (...) support to (1) to render its denial ‘unscientific’, and that those who accept (3) and deny (4) may consequently respond to the Exclusion Argument by denying (1) without thereby setting themselves at odds with current science. I also argue that conservation laws are compatible with (3) and the negation of (4), and that one can therefore accept conservation laws and (3) while denying both (1) and (4). (shrink)

Religious conservatives in the U.S. have frequently opposed public-health measures designed to combat STDs among minors, such as sex education, condom distribution, and HPV vaccination. Using Rawls’s method of conjecture, I will clear up what I take to be a misunderstanding on the part of religious conservatives: even if we grant their premises regarding the nature and source of sexual norms, the wide-ranging authority of parents to enforce these norms against their minor children, and the potential sexual-disinhibition effects of the (...) above public-health measures, their opposition to at least one of these measures, HPV vaccination, cannot be justified. In fact, their comprehensive doctrines, when properly interpreted, should lead them to back this measure and thereby draw closer to a policy consensus with other citizens regarding teenage sexual health. (shrink)

Conservation biology emerged as an organized academic discipline in the United States in the 1980s though much of its theoretical framework was originally developed in Australia. Significant differences of approach in the two traditions were resolved in the late 1990s through the formulation of a consensus framework for the design and adaptive management of conservation area networks. This entry presents an outline of that framework along with a critical analysis of conceptual issues concerning the four theoretical problems that (...) emerge from it: (i) place prioritization for conservation action; (ii) the selection of surrogates for biodiversity in conservation planning; (iii) the assessment of vulnerability of conservation areas; and (iv) the synchronization of incommensurable criteria including socio-economic constraints on conservation planning. (shrink)

_Conservative Reductionism_ sets out a new theory of the relationship between physics and the special sciences within the framework of functionalism. It argues that it is wrong-headed to conceive an opposition between functional and physical properties and to build an anti-reductionist argument on multiple realization. By contrast, all properties that there are in the world, including the physical ones, are functional properties in the sense of being causal properties, and all true descriptions that the special sciences propose can in principle (...) be reduced to physical descriptions by means of functional reduction, despite multiple realization. The book develops arguments for from the metaphysics of properties and the philosophy of physics. These arguments lead to a conservative ontological reductionism. It then develops functional reduction into a fully-fledged, conservative theory reduction by means of introducing functional sub-types that are coextensive with physical types, illustrating that conservative reductionism by means of case studies from biology. (shrink)

A conservation principles tell us that some quantity, quality, or aspect remains constant through change. Such principles appear already in ancient and medieval natural philosophy. In one important strand of Greek cosmology, the rotatory motion of the celestial orbs is eternal and immutable. In optics, from at least the time of Euclid, the angle of reflection is equal to the angle of incidence when a ray of light is reflected. According to some versions of the medieval impetus theory of (...) motion, impetus remains in a projected body (and the associated motion persists) permanently unless the body is subject to outside interference. These examples could be multiplied. But it was in the seventeenth century that conservation principles began to play an absolutely central role in scientific theories. Each of Galileo Galilei, René Descartes, Christiaan Huygens, Gottfried Leibniz, and Isaac Newton founded his approach to physics upon the principle of inertia—that unless interfered with a body will undergo uniform rectilinear motion. A multitude of other conservation principles gained currency during the seventeenth century—some still with us, some long ago left behind. Descartes provides an interesting example of an author who attempted to derive all of his physical principles from conservation laws (Principles of Philosophy, see especially articles 36 to 42 of Part II). Descartes believed that the principles of his physics could be derived from the immutability of God, supplemented only by very weak assumptions about the existence of change in the world. He claims, in fact, that we ought to postulate the strongest conservation laws consistent with such change. These include. (shrink)

Unspecific evidence calls for imprecise credence. My aim is to vindicate this thought. First, I will pin down what it is that makes one's imprecise credences more or less epistemically valuable. Then I will use this account of epistemic value to delineate a class of reasonable epistemic scoring rules for imprecise credences. Finally, I will show that if we plump for one of these scoring rules as our measure of epistemic value or utility, then a popular family of decision rules (...) recommends imprecise credences. In particular, a range of Hurwicz criteria, which generalise the Maximin decision rule, recommend imprecise credences. If correct, the moral is this: an agent who adopts precise credences, rather than imprecise ones, in the face of unspecific and incomplete evidence, goes wrong by gambling with the epistemic utility of her doxastic state in too risky a fashion. Precise credences represent an overly risky epistemic bet, according to the Hurwicz criteria. (shrink)

This chapter surveys the ethical and metaphysical issues raised by the restoration of paintings and sculptures.

Effective altruism is a growing humanitarian movement with a track record of success in evaluating the effectiveness of charitable spending across a wide range of projects. We suggest ways in which the foundations of this movement can be applied to the complex world of conservation.

Parents can benefit their offspring by conserving resources that the offspring stand to inherit. Thus, inheritance of resources should promote the evolution of propensities to conserve. But inheritance also has another, less obvious effect: it can reduce the fertility of the conserver’s grandchildren, thus reducing the expected number of great-grandchildren. Consequently, inheritance of resources promotes the evolution of conservation less than might be supposed.

Nearly 90 percent of the earth's land surface is directly affected by human infrastructure and activities, yet less than 5 percent is legally "protected" for biodiversity conservation--and even most large protected areas have people living inside their boundaries. In all but a small fraction of the earth's land area, then, conservation and people must coexist. Conservation is a resource for all those who aim to reconcile biodiversity with human livelihoods. It traces the historical roots of modern (...) class='Hi'>conservation thought and practice, and explores current perspectives from evolutionary and community ecology, conservation biology, anthropology, political ecology, economics, and policy. The authors examine a suite of conservation strategies and perspectives from around the world, highlighting the most innovative and promising avenues for future efforts. Exploring, highlighting, and bridging gaps between the social and natural sciences as applied in the practice of conservation, this book provides a broad, practically oriented view. It is essential reading for anyone involved in the conservation process--from academic conservation biology to the management of protected areas, rural livelihood development to poverty alleviation, and from community-based natural resource management to national and global policymaking. (shrink)

This paper shows how to conservatively extend classical logic with a transparent truth predicate, in the face of the paradoxes that arise as a consequence. All classical inferences are preserved, and indeed extended to the full (truth—involving) vocabulary. However, not all classical metainferences are preserved; in particular, the resulting logical system is nontransitive. Some limits on this nontransitivity are adumbrated, and two proof systems are presented and shown to be sound and complete. (One proof system allows for Cut—elimination, but the (...) other does not.). (shrink)

Many approaches to the semantics of generic sentences posit an unpronounced quantifier gen. However, while overt quantifiers are conservative, gen does not seem to be. A quantifier Q is conservative iff instances of the following schemas are equivalent: Q As are F and Q As are As that are F. All ravens are black is obviously equivalent to All ravens are ravens that are black, yet ravens are black is not equivalent to ravens are ravens that are black. This may (...) cast doubt on theviability of quantificational analyses of generics. This paper proposes a theory of why such “conservativity” generics are problematic that is compatible with the conservativity of gen and also accounts for perennially troublesome examples such as books are paperbacks and bees are workers. (shrink)

American sociologist Robert Nisbet once described conservatives and libertarians as “uneasy cousins.” The description is apt. While sharing a family resemblance and many of the same political rivals, conservatism and libertarianism are fundamentally at odds. This paper explains why this is so from the conservative perspective. It surveys the starting points and major themes of conservatism and libertarianism. It identifies what conservatives and libertarians agree about. It concludes by showing what conservatives have against libertarianism.

An eloquent introduction to the ethical and philosophical values at stake in biological conservation, this book familiarizes readers with the general issues and possible solutions to the problems societies face in simultaneously conserving nature and promoting culture.

Conservativity in generalized quantifiers is linked to presupposition filtering, under a propositions-as-types analysis extended with dependent quantifiers. That analysis is underpinned by modeltheoretically interpretable proofs which inhabit propositions they prove, thereby providing objects for quantification and hooks for anaphora.

Deflationists argue that ‘true’ is merely a logico-linguistic device for expressing blind ascriptions and infinite generalisations. For this reason, some authors have argued that deflationary truth must be conservative, i.e. that a deflationary theory of truth for a theory S must not entail sentences in S’s language that are not already entailed by S. However, it has been forcefully argued that any adequate theory of truth for S must be non-conservative and that, for this reason, truth cannot be deflationary :493–521, (...) 1998; Ketland in Mind 108:69–94, 1999). We consider two defences of conservative deflationism, respectively proposed by Waxman :429–463, 2017) and Tennant :551–582, 2002), and argue that they are both unsuccessful. In Waxman’s hands, deflationists are committed either to a non-purely expressive notion of truth, or to a conception of mathematics that does not allow them to justifiably exclude non-conservative theories of truth. Tennant’s conservative deflationism fares no better: if deflationist truth must be conservative over arithmetic, it can be shown to collapse into a non-conservative variety of deflationism. (shrink)

Native peoples have often been portrayed as natural conservationists, living a “balanced” existence with nature. It is argued that this perspective is a result of an imprecise operational definition of conservation. Conservation is defined here in contrast to the predictions of foraging theory, which assumes that foragers will behave to maximize their short-term harvesting rate. A behavior is deemed conservation when a short-term cost is paid by the resource harvester in exchange for long-term benefits in the form (...) of sustainable harvests. An example of the usefulness of such an operational definition is presented using data on patch and prey choice decisions of a group of subsistence hunters, the Piro of Amazonian Peru. Results indicate that the area around the Piro village is depleted of prey, and that hunters allocate more time to patches where return rates are highest. This response is consistent with both a conservation strategy and foraging theory. Contrary to the expectation of the conservation strategy, however, hunters do not restrain from pursing opportunistically encountered prey in the depleted areas. The implications for conservation policy are briefly discussed. (shrink)

I defend the conserved quantity theory of causation against two objections: firstly, that to tie the notion of “cause” to conservation laws is impossible, circular or metaphysically counterintuitive; and secondly, that the conserved quantity theory entails an undesired notion of identity through time. My defence makes use of an important meta-philosophical distinction between empirical analysis and conceptual analysis. My claim is that the conserved quantity theory of causation must be understood primarily as an empirical, not a conceptual, analysis of (...) causation. (shrink)

In this paper we introduce the concept of conservative translation between logics. We present some necessary and sufficient conditions for a translation to be conservative and study some general properties of logical systems, these properties being characterized by the existence of conservative translations between the systems. We prove that the class constituted by logics and conservative translations between them determines a co-complete subcategory of the bi-complete category constituted by logics and translations.

This chapter introduces the two main philosophical questions that are raised by the prospect of extinct species being brought back from the dead—namely, the ‘Authenticity Question’ and the ‘Ethical Question’. It distinguishes different types of de-extinction, and different methods by which de-extinction can be accomplished. Finally, it examines the aims of wildlife conservation with a view to whether they are compatible with de-extinction, or not.

In response to calls for greater interdisciplinary involvement from the social sciences and humanities in the development, governance, and study of artificial intelligence systems, this paper presents one sociologist’s view on the problem of algorithmic bias and the reproduction of societal bias. Discussions of bias in AI cover much of the same conceptual terrain that sociologists studying inequality have long understood using more specific terms and theories. Concerns over reproducing societal bias should be informed by an understanding of the ways (...) that inequality is continually reproduced in society—processes that AI systems are either complicit in, or can be designed to disrupt and counter. The contrast presented here is between conservative and radical approaches to AI, with conservatism referring to dominant tendencies that reproduce and strengthen the status quo, while radical approaches work to disrupt systemic forms of inequality. The limitations of a conservative approach to racial bias are discussed through the specific example of biased criminal risk assessments and Indigenous overrepresentation in Canada’s criminal justice system. This illustrates the dangers of treating racial bias as a generalizable problem and equality as a generalizable solution, emphasizing the importance of considering inequality in context. Societal issues can no longer be out of scope for AI and machine learning, given the impact of these systems on human lives. This requires engagement with a growing body of critical AI scholarship that goes beyond biased data to analyze structured ways of perpetuating inequality, opening up the possibility for interdisciplinary engagement and radical alternatives. (shrink)

Nature in its wider cosmic sense is not at risk from human exploitation and predation. To see life on Earth as but a local manifestation of this wider, indestructable and inexhaustible nature is to shield ourselves from despair over the fate of our Earth. But to take this wide view also appears to make interventionist political action on behalf of nature-which is to say, conservation-superfluous. If we identify with nature in its widest sense, as deep ecology prescribes, then the (...) “self-defence” argument usually advanced by deep ecologists in support of conservation appears not to work. I argue that the need for eco-activism can be reconciled with a rejection of despair within the framework of deep ecology, and that in the process of this reconciliation the meaning of the term conservation acquires a new, spiritual dimension. (shrink)

Misconceptions about energy conservation abound due to the gap between physics and secondary school chemistry. This paper surveys this difference and its relevance to the 1690s–2010s Leibnizian argument that mind-body interaction is impossible due to conservation laws. Justifications for energy conservation are partly empirical, such as Joule’s paddle wheel experiment, and partly theoretical, such as Lagrange’s statement in 1811 that energy is conserved if the potential energy does not depend on time. In 1918 Noether generalized results like (...) Lagrange’s and proved a converse: symmetries imply conservation laws and vice versa. Conservation holds if and only if nature is uniform. The rise of field physics during the 1860s–1920s implied that energy is located in particular places and conservation is primordially local: energy cannot disappear in Cambridge and reappear in Lincoln instantaneously or later; neither can it simply disappear in Cambridge or simply appear in Lincoln. A global conservation law can be inferred in some circumstances. Einstein’s General Relativity, which stimulated Noether’s work, is another source of difficulty for conservation laws. As is too rarely realized, the theory admits conserved quantities due to symmetries of the Lagrangian, like other theories. Indeed General Relativity has more symmetries and hence more conserved energies. An argument akin to Leibniz’s finally gets some force. While the mathematics is too advanced for secondary school, the ideas that conservation is tied to uniformities of nature and that energy is in particular places, are accessible. Improved science teaching would serve the truth and enhance the social credibility of science. (shrink)

The topics of gravitational field energy and energy-momentum conservation in General Relativity theory have been unjustly neglected by philosophers. If the gravitational field in space free of ordinary matter, as represented by the metric g ab itself, can be said to carry genuine energy and momentum, this is a powerful argument for adopting the substantivalist view of spacetime.This paper explores the standard textbook account of gravitational field energy and argues that (a) so-called stress-energy of the gravitational field is well-defined (...) neither locally nor globally; and (b) there is no general principle of energy-momentum conservation to be found in General Relativity. I discuss the nature and justification of the zero-divergence law for ordinary stress-energy, and its possible connection with the failure of General Relativity to realise Mach's principle. (shrink)

Psychoanalysis really should not exist today. Until a few years ago, most of the evidence suggested that its time was drawing to a close, and yet psychoanalysis demonstrated remarkable resilience in the face of criticism, alongside significant resurgence over the course of the last years. In "Conservative and Radical Perspectives on Psychoanalytic Knowledge: The Fascinated and the Disenchanted" psychoanalyst and philosopher Aner Govrin describes the mechanisms of sociology within the psychoanalytic community which have enabled it to withstand the hostility levelled (...) at it and to flourish as an intellectual and pragmatic endeavour. He defends the most criticized aspect of psychoanalysis: the fascination of analysts with their theories. Govrin demonstrates that fascination is a common phenomenon in science and shows its role in the evolution of psychoanalysis. Govrin argues that throughout its history, psychoanalysis has successfully embraced an amalgam of what he has defined and termed "fascinated" and "troubled communities." A "fascinated community" is a group that embraces a psychoanalytic theory as one embraces truth. A "troubled community" is one that is not satisfied with the state of psychoanalytic knowledge and seeks to generate a fundamental change that does not square with existing traditions. It is this amalgam and the continuous tension between these two groups that are responsible for psychoanalysis' rich and varied development and for its ability to adapt to a changing world. Clinical vignettes from the work of Robert Stolorow, Betty Joseph, Antonino Ferro and Michael Eigen illustrate the dynamic by which psychoanalytic knowledge is formed. "Conservative and Radical Perspectives on Psychoanalytic Knowledge" will be of interest to psychoanalysts, psychotherapists and philosophers alike. (shrink)

We discuss two desirable properties of deflationary truth theories: conservativeness and maximality. Joining them together, we obtain a notion of a maximal conservative truth theory - a theory which is conservative over its base, but can't be enlarged any further without losing its conservative character. There are indeed such theories; we show however that none of them is axiomatizable, and moreover, that there will be in fact continuum many theories of this sort. It turns out in effect that the deflationist (...) still needs some additional principles, which would permit him to construct his preferred theory of truth. (shrink)

Considers the future of conservation and its connection to the human sciences. This volume brings together the findings from a five-year research project that seeks to reimagine the relationship between conservation knowledge and the humanistic study of the material world. The project, "Cultures of Conservation," was supported by the Andrew W. Mellon Foundation and included events, seminars, and an artist-in-residence. The effort to conserve things amid change is part of the human struggle with the nature of matter. (...) For as long as people have made things and kept things, they have also cared for and repaired them. Today, conservators use a variety of tools and categories developed over the last one hundred and fifty years to do this work, but in the coming decades, new kinds of materials and a new scale of change will pose unprecedented challenges. Looking ahead to this moment from the perspectives of history, philosophy, materials science, and anthropology, this volume explores new possibilities for both conservation and the humanities in the rethinking of active matter. (shrink)

A conservation law in physics can be either a constraint on the kinds of interaction there could be or a coincidence of the kinds of interactions there actually are. This is an important, unjustly neglected distinction. Only if a conservation law constrains the possible kinds of interaction can a derivation from it constitute a scientific explanation despite failing to describe the causal/mechanical details behind the result derived. This conception of the relation between “bottom-up” scientific explanations and one kind (...) of “top-down” scientific explanation is motivated by several examples from classical and modern physics. (shrink)

Conservativeness has been proposed as an important requirement for deflationary truth theories. This in turn gave rise to the so-called ‘conservativeness argument’ against deflationism: a theory of truth which is conservative over its base theory S cannot be adequate, because it cannot prove that all theorems of S are true. In this paper we show that the problems confronting the deflationist are in fact more basic: even the observation that logic is true is beyond his reach. This seems to conflict (...) with the deflationary characterization of the role of the truth predicate in proving generalizations. However, in the final section we propose a way out for the deflationist — a solution that permits him to accept a strong theory, having important truth-theoretical generalizations as its theorems. (shrink)

Horseshoe crabs (Limulus polyphemus) have been in decline in Long Island Sound, and recently there has been discussion of whether the state of Connecticut should stop issuing licenses for commercial harvesting. This paper argues that in spite of concerns about the living fossil concept, the fact that the horseshoe crabs are living fossils should count in favor of more stringent protection. The paper distinguishes four different views about the status of the living fossil concept: 1) eliminativism; 2) redefinition; 3) reframing; (...) and 4) conceptual pluralism. Approaches 2–4 all treat the criteria associated with living fossils as picking out distinctive features of evolutionary history. Those distinctive features of evolutionary history link up with conservation values in several ways. More generally, drawing upon relevant work in environmental philosophy, it is argued that evolutionary history is relevant to aesthetic and environmental value. Moreover, eliminativists have trouble rendering intelligible a striking pattern in the recent scientific literature. Researchers undertaking conservation-relevant work frequently highlight the living fossil status of the taxa under study. (shrink)

I. WKL0 is a conservative extension of PRA for ’-0-2 sentences. II. ACA0 is a conservative extension of PA for arithmetic sentences. III. ATR0 is a conservative extension of IR for arithmetic sentences. IV. ’-1-1-CA0 is a conservative extension of ID(

Areas of Mathematics in Philosophy of Mathematics

 

Export citation  

 

Bookmark  

The uniquely human emotion of disgust is intimately connected to morality in many, perhaps all, cultures. We report two studies suggesting that a predisposition to feel disgust is associated with more conservative political attitudes, especially for issues related to the moral dimension of purity. In the first study, we document a positive correlation between disgust sensitivity and self-reported conservatism in a broad sample of US adults. In Study 2 we show that while disgust sensitivity is associated with more conservative attitudes (...) on a range of political issues, this relationship is strongest for purity-related issues—specifically, abortion and gay marriage. (shrink)

Are laws of nature necessary, and if so, are all laws of nature necessary in the same way? This question has played an important role in recent discussion of laws of nature. I argue that not all laws of nature are necessary in the same way: conservation laws are perhaps to be regarded as metaphysically necessary. This sheds light on both the modal character of conservation laws and the relationship between different varieties of necessity.

Since Leibniz's time, Cartesian mental causation has been criticized for violating the conservation of energy and momentum. Many dualist responses clearly fail. But conservation laws have important neglected features generally undermining the objection. Conservation is _local_, holding first not for the universe, but for everywhere separately. The energy in any volume changes only due to what flows through the boundaries. Constant total energy holds if the global summing-up of local conservation laws converges; it probably doesn't in (...) reality. Energy conservation holds if there is symmetry, the sameness of the laws over time. Thus, if there are time-places where symmetries fail due to nonphysical influence, conservation laws fail there and then, while holding elsewhere, such as refrigerators and stars. Noether's converse first theorem shows that conservation laws imply symmetries. Thus conservation trivially nearly entails the causal closure of the physical. But expecting conservation to hold in the brain simply assumes the falsehood of Cartesianism. Hence Leibniz's objection begs the question. Empirical neuroscience is another matter. So is Einstein's General Relativity: far from providing a loophole, General Relativity makes mental causation _harder_. (shrink)

This paper examines the conservative point of view about distributive justice. The first section explains the methodology used to develop this point of view. The second section describes one conservative point of view and briefly provides empirical evidence that it reflects the viewpoint of many ordinary conservatives. The third section explains how this conservative view can ground objections to social safety net programs, using as examples the recent health reform legislation and more extensive proposals for a true national health system. (...) The fourth section sketches ways that non-conservative philosophers might try to refute those objections. Examining a conservative point of view leads to several important conclusions. One is that the conservative point of view is not properly represented in contemporary philosophical discussions. Another is that the conservative point of view cannot be refuted by appealing to existing egalitarian writings. A third is that if progressive philosophers such as myself want to address the conservative point of view, we must expand the range of issues that we discuss in contemporary political philosophy. Doing so is a vital task, because otherwise we ignore the political views held by as much as half the American population. (shrink)

We develop a conceptual framework that connects biological heredity and organization. We refer to heredity as the cross-generation conservation of functional elements, defined as constraints subject to organizational closure. While hereditary objects are functional constituents of biological systems, any other entity that is stable across generations—and possibly involved in the recurrence of phenotypes—belongs to their environment. The central outcome of the organizational perspective consists in extending the scope of heredity beyond the genetic domain without merging it with the broad (...) category of cross-generation stability. After discussing some implications, we conclude with a reflection on the relationship between stability and variation. 1Introduction2From Extended Heredity to Cross-generation Stability 2.1Extending the scope of heredity: A brief state of the art2.2Rethinking heredity: Conceptual challenges3Biological Heredity in Light of Organization 3.1Biological organization within organisms and beyond3.2Extending organization in time3.3What is biological heredity?4Implications and Objections 4.1Heredity as a specific kind of cross-generation stability4.2Heredity at various levels of description4.3Non-functional and dysfunctional objects5Conclusions: From Conservation to Variation. (shrink)

Many conservatives endorse a defence of closed borders grounded in basic liberal rights such as the basic right of association. Some conservatives also endorse libertarian principles of legitimacy. It is not clear though that this sort of defence of closed borders is somehow coherent with these libertarian ideals. I argue that conservative libertarians of this kind must reject this defence of closed borders because either it collapses into a form of statism incoherent with libertarian principles of legitimacy, or into an (...) ideal precept without appeal regarding reality in the here and now that could only be applied to changing the very nature of the societies we know. As a result, at least conservative libertarians need to find a different source of justification for closed borders. (shrink)

As Harvey Brown emphasizes in his book Physical Relativity, inertial motion in general relativity is best understood as a theorem, and not a postulate. Here I discuss the status of the "conservation condition", which states that the energy-momentum tensor associated with non-interacting matter is covariantly divergence-free, in connection with such theorems. I argue that the conservation condition is best understood as a consequence of the differential equations governing the evolution of matter in general relativity and many other theories. (...) I conclude by discussing what it means to posit a certain spacetime geometry and the relationship between that geometry and the dynamical properties of matter. (shrink)

In this article, I present a semantically natural conservative extension of Urquhart’s positive semilattice logic with a sort of constructive negation. A subscripted sequent calculus is given for this logic and proofs of its soundness and completeness are sketched. It is shown that the logic lacks the finite model property. I discuss certain questions Urquhart has raised concerning the decision problem for the positive semilattice logic in the context of this logic and pose some problems for further research.

Some axiomatic theories of truth and related subsystems of second-order arithmetic are surveyed and shown to be conservative over their respective base theory. In particular, it is shown by purely finitistically means that the theory PA ÷ "there is a satisfaction class" and the theory FS of [2] are conservative over PA.