By , we denote the system of second-order arithmetic based on recursive comprehension axioms and Σ10 induction. is defined to be plus weak König's lemma: every infinite tree of sequences of 0's and 1's has an infinite path. In this paper, we first show that for any countable model M of , there exists a countable model M′ of whose first-order part is the same as that of M, and whose second-order part consists of the M-recursive sets and sets not (...) in the second-order part of M. By combining this fact with a certain forcing argument over universal trees, we obtain the following result : if proves X!Y with arithmetical, so does . We also discuss several improvements of this results. (shrink)

IΣ n andBΣ n are well known fragments of first-order arithmetic with induction and collection forΣ n formulas respectively;IΣ n 0 andBΣ n 0 are their second-order counterparts. RCA0 is the well known fragment of second-order arithmetic with recursive comprehension;WKL 0 isRCA 0 plus weak König's lemma. We first strengthen Harrington's conservation result by showing thatWKL 0 +BΣ n 0 is Π 1 1 -conservative overRCA 0 +BΣ n 0 . Then we develop some model theory inWKL 0 and (...) illustrate the use of formalized model theory by giving a relatively simple proof of the fact thatIΣ 1 provesBΣ n+1 to be Π n+2-conservative overIΣ n . Finally, we present a proof-theoretic proof of the stronger fact that theΠ n+2 conservation result is provable already inIΔ 0 + superexp. ThusIΣ n+1 proves 1-Con (BΣ n+1) andIΔ 0 +superexp proves Con (IΣ n )↔Con(BΣ n+1). (shrink)

We prove that a nonstandard extension of arithmetic is effectively conservative over Peano arithmetic by using an internal version of a definable ultrapower. By the same method we show that a certain extension of the nonstandard theory with a saturation principle has the same proof-theoretic strength as second order arithmetic, where comprehension is restricted to arithmetical formulas.

In this paper, we generalize a result of Brown and Simpson [1] to prove that RCA0+Π0∞-BCT is conservative over RCA0 with respect to the set of formulae in the form ∃!Xφ, where φ is arithmetical. We also consider the conservation of Π00∞-BCT over Σb1-NIA+∇b1-CA.

In this paper we give a partial answer to a conjecture of Tanaka. We prove that: if WKL0 proves a sentence of the form (∀X)(∃!Y)ψ(X, Y) for a Σ03-formula ψ, then so does RCA0.

This paper shows that a collection of modal relevant logics are conservatively extended by the addition of Boolean negation.

An algebraic block-diagonalization of the Dirac Hamiltonian in a time-independent external field reveals a charge-index conservation law which forbids the physical phenomena of the Klein paradox type and guarantees a single-particle nature of the Dirac equation in strong external fields. Simultaneously, the method defines simpler quantum-mechanical objects—paulions and antipaulions, whose 2-component wave functions determine the Dirac electron states through exact operator relations. Based on algebraic symmetry, the presented theory leads to a new understanding of the Dirac equation physics, including (...) new insight into the Dirac measurements and a consistent scheme of relativistic quantum mechanics of electron in the paulion representation. Along with analysis of the mathematical anatomy of the Klein paradox falsity, a complete set of paradox-free eigenfunctions for the Klein problem is obtained and investigated via stationary solutions of the Pauli-like equations with respective paulion Hamiltonians. It is shown that the physically correct Dirac states in the Klein zone are characterized by the total particle reflection from the potential step and satisfy the fundamental charge-index conservation law. (shrink)

This paper presents completeness and conservative extension results for the boolean extensions of the relevant logic T of Ticket Entailment, and for the contractionless relevant logics TW and RW. Some surprising results are shown for adding the sentential constant t to these boolean relevant logics; specifically, the boolean extensions with t are conservative of the boolean extensions without t, but not of the original logics with t. The special treatment required for the semantic normality of T is also (...) shown along the way. (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)

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)

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)

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)

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)

A basic result in intuitionism is Π02-conservativity. Take any proof p in classical arithmetic of some Π02-statement , with P decidable). Then we may effectively turn p in some intuitionistic proof of the same statement. In a previous paper [1], we generalized this result: any classical proof p of an arithmetical statement ∀x.∃y.P, with P of degree k, may be effectively turned into some proof of the same statement, using Excluded Middle only over degree k formulas. When k = 0, (...) we get the original conservativity result as particular case. This result was a by-product of a semantical construction. J. Avigad of Carnegie Mellon University, found a short, direct syntactical derivation of the same result, using H. Friedman's A-translation. His proof is included here with his permission. (shrink)

With agriculture the primary driver of biodiversity loss, farmers are increasingly expected to produce environmental outcomes and protect biodiversity. However, lack of attention to the way farmers perceive native vegetation has resulted in conservation targets not being met. The Yorke Peninsula (YP), South Australia, is an agricultural landscape where 50% farmers perceived that long-term planning was for ≤ 30 years, not enough time to promote ecosystem conservation; (5) a lack of natural resource management information for farmers—as a result, (...) farmers relied on their own experience to manage vegetation. Furthermore, most farmers depended on agronomists, who generally had no stake in biodiversity conservation. We recommend that (1) the Local Council restore social capital by liaising with farmers to promote roadside vegetation (2) long-term farmer-led conservation action be established and supported by Government and industry acting as facilitators rather than project managers; (3) a change in policy and training promote the involvement of agronomists in conservation and its management on private properties; (4) all levels of Government develop schemes to demonstrate the tangible benefits of native vegetation as habitat for wildlife; (5) on-farm conservation be celebrated as successful farming. (shrink)

The present thesis considers, in the light of Heisenberg's interpretation of the uncertainty formulas, the conditions necessary for the derivation of the quantitative statement or law of momentum conservation. The result of such considerations is a contradiction between the formalism of quantum physics and the asserted consequences of Heisenberg's interpretation. This contradiction decides against Heisenberg's interpretation of the uncertainty formulas on upholding that the formalism of quantum physics is both consistent and complete, at least insofar as the statement of (...) momentum conservation can be proved within this formalism. A few comments are also included on Bohr's “complementarity interpretation” of the formalism of quantum physics. A suggestion, based on a statistical mode of empirical testing of the “uncertainty” formulas, does not give rise to any such contradiction. (shrink)

It is widely believed that there must be a conflict between food production and conservation, and that development must be related to economics. Both these beliefs are questioned. It is suggested that ecological agriculture, which includes ethologically and ecologically sound animal management can reduce conflicts between conservation and food production. African elephants are taken as an example illustrating different attitudes to conservation. It is proposed that, rather than developing further the present common conservation attitude of ' (...) wildlife apartheid', the future of elephants in many parts of Africa may rest on bringing them closer to the voters where the welfare of neither the human nor elephant is compromised. Here, they can act as both as workers, and as ' wildlife ambassadors'. This approach needs further research and development, but preliminary results show significant possibilities for reducing these apparently conflicting land use interests in some geographical areas. (shrink)

The application of evolutionary theory to human behavior has elicited a variety of critiques, some of which charge that this approach expresses or encourages conservative or reactionary political agendas. In a survey of graduate students in psychology, Tybur, Miller, and Gangestad (Human Nature, 18, 313–328, 2007) found that the political attitudes of those who use an evolutionary approach did not differ from those of other psychology grad students. Here, we present results from a directed online survey of a broad (...) sample of graduate students in anthropology that assays political views. We found that evolutionary anthropology graduate students were very liberal in their political beliefs, overwhelmingly voted for a liberal U.S. presidential candidate in the 2008 election, and identified with liberal political parties; in this, they were almost indistinguishable from non-evolutionary anthropology students. Our results contradict the view that evolutionary anthropologists hold conservative or reactionary political views. We discuss some possible reasons for the persistence of this view in terms of the sociology of science. (shrink)

Few disputes in the annals of US environmentalism enjoy the pedigree of the conservation-preservation debate. Yet, although many scholars have written extensively on the meaning and history of conservation and preservation in American environmental thought and practice, the resonance of these concepts outside the academic literature has not been sufficiently examined. Given the significance of the ideals of conservation and preservation in the justification of environmental policy and management, however, we believe that a more detailed analysis of (...) the real-world use and understanding of these ideas is needed. In this paper, we describe the results of a qualitative, semantic study of the concepts of conservation and preservation undertaken in the context of the Chattahoochee National Forest (CNF), located in northern Georgia (USA). Thirty in-depth interviews were conducted with scientists and north Georgia residents either interested or involved in the future management of the forest. Respondents were asked to define conservation and preservation in their own words and to indicate which approach they felt was more appropriate for the management of the CNF. Qualitative content analysis was used to elicit a set of recurring themes for each foundational concept. Taken together, these themes help to flesh out the meaning of conservation and preservation for citizens and scientists today, and illustrate the evolving nature of two of the more significant and venerable ideas animating US environmental policy and management. (shrink)

First Published in 1999. Routledge is an imprint of Taylor & Francis, an informa company.

This paper establishes several algebraic embedding theorems, each of which asserts that a certain kind of residuated structure can be embedded into a richer one. In almost all cases, the original structure has a compatible involution, which must be preserved by the embedding. The results, in conjunction with previous findings, yield separative axiomatizations of the deducibility relations of various substructural formal systems having double negation and contraposition axioms. The separation theorems go somewhat further than earlier ones in the literature, (...) which either treated fewer subsignatures or focussed on the conservation of theorems only. (shrink)

This study examined correlations between moral value judgments on a 17-item Moral Intuition Survey (MIS), and participant scores on the Short-D3 “Dark Triad” Personality Inventory—a measure of three related “dark and socially destructive” personality traits: Machiavellianism, Narcissism, and Psychopathy. Five hundred sixty-seven participants (302 male, 257 female, 2 transgendered; median age 28) were recruited online through Amazon Mechanical Turk and Yale Experiment Month web advertisements. Different responses to MIS items were initially hypothesized to be “conservative” or “liberal” in line with (...) traditional public divides. Our demographic data confirmed all of these hypothesized categorizations. We then tested two broad, exploratory hypotheses: (H1) the hypothesis that there would be “many” significant correlations between conservative MIS judgments and the Dark Triad, and (H2) the hypothesis that there would be no significant correlations between liberal MIS judgments and Machiavellianism or Psychopathy, but “some” significant correlations between liberal MIS judgments and Narcissism. Because our hypotheses were exploratory and we ran a large number of statistical tests (62 total), we utilized a Bonferroni Correction to set a very high threshold for significance (p = .0008). Our results broadly supported our two hypotheses. We found eleven significant correlations between conservative MIS judgments and the Dark Triad—all at significance level of p < .00001—but no significant correlations between the Dark Triad and liberal MIS judgments. We believe that these results raise provocative moral questions about the personality bases of moral judgments. In particular, we propose that because the Short-D3 measures three “dark and antisocial” personality traits, our results raise some prima facie worries about the moral justification of some conservative moral judgments. (shrink)

A well known theorem proved by J. Paris and H. Friedman states that BΣn +1 is a Πn +2-conservative extension of IΣn . In this paper, as a continuation of our previous work on collection schemes for Δn +1-formulas , we study a general version of this theorem and characterize theories T such that T + BΣn +1 is a Πn +2-conservative extension of T . We prove that this conservativeness property is equivalent to a model-theoretic property relating Πn-envelopes and (...) Πn-indicators for T . The analysis of Σn +1-collection we develop here is also applied to Σn +1-induction using Parsons' conservativeness theorem instead of Friedman-Paris' theorem.As a corollary, our work provides new model-theoretic proofs of two theorems of R. Kaye, J. Paris and C. Dimitracopoulos : BΣn +1 and IΣn +1 are Σn +3-conservative extensions of their parameter free versions, BΣ–n +1 and IΣ–n +1. (shrink)

It is known that propositional relevant logics can be conservatively extended by the addition of a Heyting (intuitionistic) implication connective. We show that this same conservativity holds for a range of first-order relevant logics with strong identity axioms, using an adaptation of Fine’s stratified model theory. For systems without identity, the question of conservatively adding Heyting implication is thereby reduced to the question of conservatively adding the axioms for identity. Some results in this direction are also obtained. The conservative (...) presence of Heyting implication allows the development of an alternative model theory for quantified relevant logics. (shrink)

Tropical forest conservation in developing countries has repeatedly been highlighted as a new element in international climate policy. However, no clear ideas yet exist as to what shape such a conservation strategy might take. In the present paper, we would like to make some observations to this end. It is shown how projects in order to reduce CO 2 -emissions resulting from deforestation and degradation (REDD) can be integrated into a system of tradable emission rights in an industrialised (...) country and which requirements ought to be fulfilled. Instruments are emission credits and emission allowances. Driving actors interested in emission rights through forest projects may be private investors or the rainforest state itself. The efficiency of the system depends on a great extent on a binding reference path for the tolerable emissions from deforestation, which has been agreed upon and adhered to by the rainforest country by means of a forest law aimed at limiting deforestation. Our considerations lead us to conclude that the national baseline approach with an appropriate contribution by the rainforest country coupled with a decentralised system with private investors seems the most viable option. Since additional burdens are imposed on the rainforest country to some extent, a compromise could consist of agreeing on a moderate deforestation path, which is harmonised with the benefits from the forest projects. Combining both programmes (offset credits and emission allowances) is particularly attractive because all participants, and especially the industrialised country, benefit from it. The industrialised country can expand its climate conservation programme without any additional costs to a certain degree. (shrink)

[Draft substantially revised, September 2021] David Lewis acclimated us to talk of “nonactual concreta that exist,” regarding talking donkeys and the like. I shall argue that this was not for the best, and try to normalize a way of describing them as “actual concreta that do not exist.” The basis of this is a defense of the Meinongian thesis “there are objects of which it is true that there are no such objects,” re: fictitious and illusory objects. I first formulate (...) the problem of negative existentials in a novel way, and discuss why this new version is more forceful against anti-Meinongians. Additional data is also pressed against anti-Meinongians--e.g., the truth of ‘Pegasus is imaginary’, and a reading of ‘There actually are illusory objects’ where it comes out true. The Meinongian, in contrast, easily and uniformly explains the same data, by allowing the existence Pegasus, pink elephants, and the like. But contra Meinong, these cases suggest that the nonexistent objects are mind-dependent objects, and I clarify and defend this suggestion from several objections. The resulting Meinongianism is thus “conservative” in that it merely acknowledges the sense in which there are mind-dependent objects, imaginary and illusory objects being prime examples. Of special note, the “ideology” is conservative as well in that the typical Meinongian jargon of “nuclear” or “encoded” properties is paraphrased away. New suggestions about the ontology of abstracta, mere possibilia, and impossibilia are sketched in light of this. Comparisons are also made with Thomasson, Crane, and McGinn, among others. (shrink)

We describe a prey–predator system incorporating constant prey refuge through provision of alternative food to predators. The proposed model deals with a problem of non-selective harvesting of a prey–predator system in which both the prey and the predator species obey logistic law of growth. The long-run sustainability of an exploited system is discussed through provision of alternative food to predators. We have analyzed the variability of the system in presence of constant prey refuge and examined the stabilizing effect on predator–prey (...) system. The steady states of the system are derived and dynamical behavior of the system is extensively analyzed around steady states. The optimal harvesting policy is formulated and solved with the help of Pontryagin’s maximal principle. Our objective is to maximize the monetary social benefit through protecting the predator species from extinction, keeping the ecological balance. Results finally illustrated with the help of numerical examples. (shrink)

The aim of this paper is to describe from a semantic perspective the problem of conservativity of classical first-order theories over their intuitionistic counterparts. In particular, we describe a class of formulae for which such conservativity results can be proven in case of any intuitionistic theory T which is complete with respect to a class of T-normal Kripke models. We also prove conservativity results for intuitionistic theories which are closed under the Friedman translation and complete with respect to (...) a class of conversely well-founded Kripke models. The results can be applied to a wide class of intuitionistic theories and can be viewed as generalization of the results obtained by syntactic methods. (shrink)

Who gets to practice and participate in science? Research teams in Puerto Rico and New Zealand have each sequenced the genomes of parrot populations native to these locales: the iguaca and kākāpō, respectively. In both cases, crowdfunding and social media were instrumental in garnering public interest and funding. These forms of Internet-mediated participation impacted how conservation science was practiced in these cases and shaped emergent social roles and relations. As citizens “follow,” fund, and “like” the labor of conservation, (...) they create new relational possibilities for and with science. For example, the researchers became newly engaged and engaging by narrating and displaying the parrots via an Internet-inflected aesthetic. The visibility of online modalities shifted accountabilities as researchers considered whom this crowdfunded work answered to and how to communicate their progress and results. The affordances of the Internet allowed researchers from the peripheries of the scientific establishment to produce genomic knowledge for globally dispersed audiences. The convergence of genomic and Internet technology here shaped scientific practice by facilitating new modes of participation—for laypeople in science but also for scientists in society. (shrink)

Many spaces that need to be searched in the sciences are too unwieldy for random search to stand any hope of success. Success instead requires a nonrandom search. But how does one find a nonrandom search that stands a good chance of success? Even to pose the question this way suggests that such nonrandom searches do not magically materialize but need themselves to be discovered by a process of search. The question then naturally arises whether such a “search for a (...) search” is any easier than the original search. This paper establishes a conservation of information theorem according to which the information required to find a successful search is always at least as large as the information required to successfully complete the original search. This result shows that information, like money, obeys strict accounting principles, leaves a trail, and can only originate from a prior information source. (shrink)

If the language is extended by new individual variables, in classical first order logic, then the deduction system obtained is a conservative extension of the original one. This fails to be true for the logics with infinitary predicates. But it is shown that restricting the commutativity of quantifiers and the equality axioms in the extended system and supposing the merry-go-round property in the original system, the foregoing extension is already conservative. It is shown that these restrictions are crucial for an (...) extension to be conservative. The origin of the results is algebraic logic. (shrink)

Conservatives and liberals disagree sharply on matters of morality and public policy. We propose a novel account of the psychological basis of these differences. Specifically, we find that conservatives tend to emphasize the intrinsic value of actions during moral judgment, in part by mentally simulating themselves performing those actions, while liberals instead emphasize the value of the expected outcomes of the action. We then demonstrate that a structural emphasis on actions is linked to the condemnation of victimless crimes, a distinctive (...) feature of conservative morality. Next, we find that the conservative and liberal structural approaches to moral judgment are associated with their corresponding patterns of reliance on distinct moral foundations. In addition, the structural approach uniquely predicts that conservatives will be more opposed to harm in circumstances like the well-known trolley problem, a result which we replicate. Finally, we show that the structural approaches of conservatives and liberals are partly linked to underlying cognitive styles. Collectively, these findings forge a link between two important yet previously independent lines of research in political psychology: cognitive style and moral foundations theory. (shrink)

Coercive subtyping offers a general approach to subtyping and inheritance by introducing a simple abbreviational mechanism to constructive type theories. In this paper, we study coercion completion in coercive subtyping and prove that the formal extension with coercive subtyping of a type theory such as Martin–Löf's type theory and UTT is a conservative extension. The importance of coherence conditions for the conservativity result is also discussed.

In this review, we will focus on the role played by transcription factors of the E2F/DP family in controlling the expression of genes that carry out important cell‐cycle control functions, thereby ensuring ordered progression through the mammalian cell division cycle. The emerging picture is that cell‐cycle progression depends on the execution of a regulatory cascade of gene expression, driven by E2F/DP transcription factors, which are in turn regulated by the products of some of these genes. That E2F factors are potent (...) regulators of cell‐cycle checkpoints in mammalian cells is supported by experiments demonstrating that ectopic expression of individual E2F family members is sufficient to modulate cell proliferation and apoptosis. It is also clear that deregulation of E2F activity will result in the loss of particular checkpoint controls, thereby predisposing cells to malignant conversion. BioEssays 21:221–230. 1999. © 1999 John Wiley & Sons, Inc. -/- . (shrink)

Stochastic dynamical reduction for the case of spin-z measurement of a spin-1/2 particle describes a random walk on the spin-z axis. The measurement’s result depends on which of the two points: spin-z=±ħ/2 is reached first. Born’s rule is recovered as long as the expected step size in spin-z is independent of proximity to endpoints. Here, we address the questions raised by this description: (1) When is collapse triggered, and what triggers it? (2) Why is the expected step size in spin-z (...) (as opposed to polar angle) independent of proximity to endpoints? (3) Why does spin “lock” in the vertical directions? The difficulties associated with (1) are rooted, as is Bell’s theorem, in the time-asymmetric assumption that the present distribution over hidden variables is independent of future settings. We believe, a priori of any of the experiments of modern physics, that such a time-asymmetric assumption is dubious when probing the microscopic scale. As for (2) and (3), they are simultaneously resolved by abandoning the fundamental distinction drawn between spin and spatial angular momentum, and by appealing to very tiny (in both magnitude and spatial extent) but numerous patches of magnetic noise in the Stern-Gerlach’s field. (shrink)

Loss of the green belts in the cities as an antecedent outcome of haphazard and irregular urbanization as one of the principle factors has a negative bearing on the socio ecological services that nature entails. Our paper represents the conditions under which the contemporary statist conservationist efforts to preserve the urban protected areas in India induces a marginal existence and livelihood vulnerability upon the survival of the population residing within these PAs. A recent survey to Sanjay Gandhi National Park in (...) Mumbai reflects the ways in which a politics of conservation operates not only in the rural regions but also in cities, in highly inequitable and fabricated ways. This has consequently affected the impoverished, disempowered and impecunious inhabitants who comprise a considerable segment of population in cosmopolitan Mumbai, residing within the PAs. The present article assesses the ways in which in metropolises, PAs by definition determine jurisdictions and exercise rights to exclude the social groups who are marginal and less powerful. This is to preserve a pristine people free aesthetic environment in cities, for which there is an increasing demand from the local elite. The results of the study indicate the socio ecological aspects of the conservation politics in the city of Mumbai. The emergent consequences are in terms of the questions of universal rights to the PAs or reflecting an elitist provision of environmental integrity to the privileged visitors in the city. (shrink)

Most of the on-going debate is about “how” to protect archaeological ruins, whilst at the same time allowing the general public to enjoy them. Today it is clear how important it is, from the actual planning stages of excavations, to interact with experts from other disciplines, who are working on their own findings and offering them up for collective enjoyment. Whatever might be feasible for an indoor museum is not always feasible with an architectonic ruin, as regards both presenting objects (...) with explicative apparatus that determines their significance, and exploring them in a new way when interpretations change or new ideologies are introduced. First of all, conserving excavations is the not the same as conserving a transportable object. In the past many countries in Europe preferred to “present” Roman remains simply as “gardens of ruins”, often endeavouring to stand them in sharp contrast with a more recurrent evocation of the original contexts of local life. Recently, with regard to the Roman tradition, there has been a noticeable inversion of trend in musealization operations, according to which the mere “contemplation of ruins” should be replaced by emotional contact with history. The main consequence of these new tendencies is the replacement of an informatics-based and didactic approach to musealization, in favour of a more authentically interpretative approach. Back-up resulting from experimentation in the fields of restoration and conservation becomes indispensible in implementing these new strategies for the musealization of archaeology. Continuous research and the progressive advance of conservation techniques have meant that the need to transfer archaeological remains has been avoided and an improved in situ “presentation” of these remains, both movable and immovable, can now be guaranteed. (shrink)

Substantial evidence has shown that involvement in peer-to-peer farming networks influences whether a farmer decides to try a new practice. Formally organized farmer networks are emerging as a unique entity that blend the benefits of decentralized exchange of farmer knowledge within the structure of an organization providing a variety of sources of information and forms of engagement. We define formal farmer networks as farmer networks with a distinct membership and organizational structure, leadership that includes farmers, and an emphasis on peer-to-peer (...) learning. This study complements existing ethnographic research on the benefits of organized farmer networking by examining farmers in one longstanding formal farmer network, Practical Farmers of Iowa. Using a nested, mixed-method research design, we analyzed survey and interview data to understand how participation and forms of engagement in the network are associated with the adoption of conservation practices. Responses from 677 farmers from a regular member survey disseminated by Practical Farmers of Iowa in 2013, 2017, and 2020 were pooled and analyzed. GLM binomial and ordered logistic regression results indicate that greater participation in the network, particularly through in-person formats, has a strong and significant association with greater adoption of conservation practices. Logistic regression results show that building relationships in the network is the most important variable for predicting whether a farmer reported adopting conservation practices as a result of participation in PFI. In-depth interviews with 26 surveyed member farmers revealed that PFI supports farmers to adopt by providing information, resources, encouragement, confidence building, and reinforcement. In-person learning formats were more important to farmers relative to independent formats because they were able to have side conversations with other farmers, ask questions, and observe results. We conclude that formal networks are a promising way to expand the use of conservation practices, particularly through targeted efforts to increase relationship building in the network through face-to-face learning opportunities. (shrink)

The logic CE (for "Classical E") results from adding Boolean negation to Anderson and Belnap's logic E. This paper shows that CE is not a conservative extension of E.

We gather the following miscellaneous results in proof theory from the attic.1. 1. A provably well-founded elementary ordering admits an elementary order preserving map.2. 2. A simple proof of an elementary bound for cut elimination in propositional calculus and its applications to separation problem in relativized bounded arithmetic below S21.3. 3. Equivalents for Bar Induction, e.g., reflection schema for ω logic.4. 4. Direct computations in an equational calculus PRE and a decidability problem for provable inequations in PRE.5. 5. Intuitionistic (...) fixed point theories which are conservative extensions of HA.6. 6. Proof theoretic strengths of classical fixed points theories.7. 7. An equivalence between transfinite induction rule and iterated reflection schema over IΣn.8. 8. Derivation lengths of finite rewrite rules reducing under lexicographic path orders and multiply recursive functions.Each section can be read separately in principle. (shrink)

Drones deployed to monitor endangered species often crash. These crashes teach us that using drones for conservation is a contingent practice ensnaring humans, technologies, and animals. This article advances a crash theory in which pilots, conservation drones, and endangered megafauna are relata, or related actants, that intra-act, cocreating each other and a mutually constituted phenomena. These phenomena are entangled, with either reciprocal dependencies or erosive entrapments. The crashing of conservation drones and endangered species requires an ethics of (...) care, repair, or reworlding. Diffractions, disruptions that expose difference, result from crashes and reveal the precarious manner by which technologies, laws, and discourses bring nature and culture together. To support crash theory, this article presents three ethnographic cases. A drone crash in the United Kingdom near white rhinoceroses while building machine learning training data exhibits the involvement of the electromagnetic spectrum; the threat of crashes in the Pacific Northwest near Puget Sound orcas discloses the impacts of drone laws; and drone crashes in Sri Lanka among Asian elephants presents the problems of technoliberal ideals around programming natural worlds. Throughout the article, a methodology is developed, parallelism, which attends to the material similarities in lateral phenomena. (shrink)

We show that the modal prepositional logicILM (interpretability logic with Montagna's principle), which has been shown sound and complete as the interpretability logic of Peano arithmetic PA (by Berarducci and Savrukov), is sound and complete as the logic ofπ 1-conservativity over eachbE 1-sound axiomatized theory containingI⌆ 1 (PA with induction restricted tobE 1-formulas). Furthermore, we extend this result to a systemILMR obtained fromILM by adding witness comparisons in the style of Guaspari's and Solovay's logicR (this will be done in a (...) separate continuation of the present paper). (shrink)

Biological conservation practices and approaches take many forms. Conservation projects do not only differ in their aims and methods, but also concerning their conceptual and normative background assumptions and their underlying motivations and objectives. We draw on philosophical distinctions from the ethics of conservation to explain variances of different positions on conservation projects along six dimensions: (1) conservation ideals, (2) intervention intuitions, (3) the moral considerability of nonhuman beings, (4) environmental values, (5) views on nature (...) and (6) human roles in nature. The result is a map of the moral landscape of biological conservation, on which these six dimensions are layered. This map functions as a heuristic tool to understand conceptual and normative foundations of specific conservation projects, which we will illustrate with four paradigmatic examples: the Pisavaara Strict Nature Reserve, Predator Free New Zealand, the Oostvaardersplassen Nature Reserve and the Great Green Wall Project. With this map as a heuristic tool, we aim to conceptually illuminate disagreement and clarify misunderstandings between representatives of different environmental protection strategies and to show that the same project can be supported (or criticised) on different grounds. (shrink)

Conservative subtheories of $${{R}^{1}_{2}}$$ and $${{S}^{1}_{2}}$$ are presented. For $${{S}^{1}_{2}}$$, a slight tightening of Jeřábek’s result (Math Logic Q 52(6):613–624, 2006) that $${T^{0}_{2} \preceq_{\forall \Sigma^{b}_{1}}S^{1}_{2}}$$ is presented: It is shown that $${T^{0}_{2}}$$ can be axiomatised as BASIC together with induction on sharply bounded formulas of one alternation. Within this $${\forall\Sigma^{b}_{1}}$$ -theory, we define a $${\forall\Sigma^{b}_{0}}$$ -theory, $${T^{-1}_{2}}$$, for the $${\forall\Sigma^{b}_{0}}$$ -consequences of $${S^{1}_{2}}$$. We show $${T^{-1}_{2}}$$ is weak by showing it cannot $${\Sigma^{b}_{0}}$$ -define division by 3. We then consider what (...) would be the analogous $${\forall\hat\Sigma^{b}_{1}}$$ -conservative subtheory of $${R^{1}_{2}}$$ based on Pollett (Ann Pure Appl Logic 100:189–245, 1999. It is shown that this theory, $${{T}^{0,\left\{2^{(||\dot{id}||)}\right\}}_{2}}$$, also cannot $${\Sigma^{b}_{0}}$$ -define division by 3. On the other hand, we show that $${{S}^{0}_{2}+open_{\{||id||\}}}$$ -COMP is a $${\forall\hat\Sigma^{b}_{1}}$$ -conservative subtheory of $${R^{1}_{2}}$$. Finally, we give a refinement of Johannsen and Pollett (Logic Colloquium’ 98, 262–279, 2000) and show that $${\hat{C}^{0}_{2}}$$ is $${\forall\hat\Sigma^{b}_{1}}$$ -conservative over a theory based on open cl-comprehension. (shrink)

Leo Harrington showed that the second-order theory of arithmetic WKL 0 is ${\Pi^1_1}$ -conservative over the theory RCA 0. Harrington’s proof is model-theoretic, making use of a forcing argument. A purely proof-theoretic proof, avoiding forcing, has been eluding the efforts of researchers. In this short paper, we present a proof of Harrington’s result using a cut-elimination argument.

Psychological situationism is the view that our behavior is ordered by external features of situations as opposed to robust character traits. Philosophical situationists have taken this claim to be conservatively revisionary for ethics; on their view, situationism problematizes only character, not any essential features of our ethical deliberation. Little has been said, however, about how these revisions motivate situationists’ claim that we ought to redirect our attention from cultivating virtues to managing situational influences on behavior. Virtue theorists have typically responded (...) to situationists by arguing that skill-based practical wisdom—the exercise of which underwrites all other virtues—can be appropriately sensitive to situational influences. Following this response, discussions about the prescriptive consequences of situationism have largely resulted in a stalemate. In this paper, I argue that situationism faces a dilemma: it is either too conservative to be ethically revisionary or too radical to inform our ethical deliberation. I argue that both horns of this dilemma are unacceptable. Thus, we should reject situationist revisions to our ethical deliberation, and conclude that situationism is not conservatively revisionary for ethics. (shrink)