I exploit parallel considerations in the philosophy of mind and metaethics to argue that the reasoning employed in an important argument for panpsychism overgeneralizes to support an analogous position in metaethics: panmoralism. Next, I raise a number of problems for panmoralism and thereby build a case for taking the metaethical parallel to be a reductio ad absurdum of the argument for panpsychism. Finally, I contrast panmoralism with a position recently defended by Einar Duenger Bohn and argue that the two suffer (...) from similar problems. I conclude by drawing some general lessons for panpsychism. (shrink)

In this book, Zach Kelehear offers readers a new perspective on an important, dynamic, and sometimes daunting issue: managing successful school-based leadership. The author uses an arts-based approach to weave together notions of research-based leadership skills for successful school-based management with standards of professional competence as represented by the Interstate School Leaders Licensure Consortium Standards for School Leaders.

Ng :255–285, 1995. https://doi.org/10.1007/bf00852469) models the evolutionary dynamics underlying the existence of suffering and enjoyment and concludes that there is likely to be more suffering than enjoyment in nature. In this paper, we find an error in Ng’s model that, when fixed, negates the original conclusion. Instead, the model offers only ambiguity as to whether suffering or enjoyment predominates in nature. We illustrate the dynamics around suffering and enjoyment with the most plausible parameters. In our illustration, we find surprising results: (...) the rate of failure to reproduce can improve or worsen average welfare depending on other characteristics of a species. Our illustration suggests that for organisms with more intense conscious experiences, the balance of enjoyment and suffering may lean more toward suffering. We offer some suggestions for empirical study of wild animal welfare. We conclude by noting that recent writings on wild animal welfare should be revised based on this correction to have a somewhat less pessimistic view of nature. (shrink)

In the 1920s, Ackermann and von Neumann, in pursuit of Hilbert's programme, were working on consistency proofs for arithmetical systems. One proposed method of giving such proofs is Hilbert's epsilon-substitution method. There was, however, a second approach which was not reflected in the publications of the Hilbert school in the 1920s, and which is a direct precursor of Hilbert's first epsilon theorem and a certain "general consistency result" due to Bernays. An analysis of the form of this so-called "failed proof" (...) sheds further light on an interpretation of Hilbert's programme as an instrumentalist enterprise with the aim of showing that whenever a "real" proposition can be proved by ?ideal? means, it can also be proved by "real", finitary means. (shrink)

Logical paradoxes – like the Liar, Russell's, and the Sorites – are notorious. But in Paradoxes and Inconsistent Mathematics, it is argued that they are only the noisiest of many. Contradictions arise in the everyday, from the smallest points to the widest boundaries. In this book, Zach Weber uses “dialetheic paraconsistency” – a formal framework where some contradictions can be true without absurdity – as the basis for developing this idea rigorously, from mathematical foundations up. In doing so, Weber (...) directly addresses a longstanding open question: how much standard mathematics can paraconsistency capture? The guiding focus is on a more basic question, of why there are paradoxes. Details underscore a simple philosophical claim: that paradoxes are found in the ordinary, and that is what makes them so extraordinary. (shrink)

Hilbert’s program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to “dispose of the foundational questions in mathematics once and for all,” Hilbert proposed a two-pronged approach in 1921: first, classical mathematics should be formalized in axiomatic systems; second, using only restricted, “finitary” means, one should give proofs of the consistency of these axiomatic systems. Although Gödel’s incompleteness theorems show that the program as originally conceived cannot be carried out, it had many partial (...) successes, and generated important advances in logical theory and metatheory, both at the time and since. The article discusses the historical background and development of Hilbert’s program, its philosophical underpinnings and consequences, and its subsequent development and influences since the 1930s. (shrink)

First-order Gödel logics are a family of finite- or infinite-valued logics where the sets of truth values V are closed subsets of [0,1] containing both 0 and 1. Different such sets V in general determine different Gödel logics GV (sets of those formulas which evaluate to 1 in every interpretation into V). It is shown that GV is axiomatizable iff V is finite, V is uncountable with 0 isolated in V, or every neighborhood of 0 in V is uncountable. Complete (...) axiomatizations for each of these cases are given. The r.e. prenex, negation-free, and existential fragments of all first-order Gödel logics are also characterized. (shrink)

The god term of journalism—the be-all and end-all, the term without which the entire enterprise fails to make sense—is the public.As a doctrine and a movement, public journalism has suffered through theoretical critiques, practical difficulties, fiscal exigencies, professional resistances, and the explosion of new media technologies. Though public journalism has not supported a single definition, Jay Rosen, the movements' most vocal intellectual representative, suggests that public journalists "are not merely chroniclers of the political scene, but players in the game who (...) can (and should) try to shape the outcome" (1992, 8).1 Hundreds of newspapers and television outlets have taken part in experiments in becoming .. (shrink)

Many scientific disciplines rely on the construction and use of models: biomedical sciences are no exception. This PhD thesis addresses several aspects of the practice of scientific modeling. First, I discuss the nature of modeling as such, proposing a novel, complementary account of scientific modeling which I term the experimentation-driven modeling account and which drives the construction of mechanistic models in many fields of biological and biomedical research, such as cancer immunology. Second, I scrutinize an objection to the mechanistic account (...) of explanation according to which the account fails to accommodate the common practice of idealizing difference-making factors. I argue that this objection ultimately fails because it is riddled with a number of conceptual inconsistencies. Third, I analyze the roles of similarity judgments in some fields of cancer research which employ a variety of mouse models to learn about the disease mechanisms, arguing that by appreciating the epistemic complexities it is possible to shed new light on more general philosophical debates regarding scientific representation. Fourth, mechanisms can also be studied using more theoretical apparatus in the form of simulations. I investigate an example of an agent-based model used to model the outbreak of SARS-CoV-2... (shrink)

This thesis divides naturally into two parts, each concerned with the extent to which the theory of $L$ can be changed by forcing.The first part focuses primarily on applying generic-absoluteness principles to how that definable sets of reals enjoy regularity properties. The work in Part I is joint with Itay Neeman and is adapted from our paper Happy and mad families in $L$, JSL, 2018. The project was motivated by questions about mad families, maximal families of infinite subsets of $\omega (...) $ of which any two have only finitely many members in common. We begin, in the spirit of Mathias, by establishing a strong Ramsey property for sets of reals in the Solovay model, giving a new proof of Törnquist’s theorem that there are no infinite mad families in the Solovay model.In Chapter 3 we stray from the main line of inquiry to briefly study a game-theoretic characterization of filters with the Baire Property.Neeman and Zapletal showed, assuming roughly the existence of a proper class of Woodin cardinals, that the boldface theory of $L$ cannot be changed by proper forcing. They call their result the Embedding Theorem, because they conclude that in fact there is an elementary embedding from the $L$ of the ground model to that of the proper forcing extension. With a view toward analyzing mad families under $\mathsf {AD}^+$ and in $L$ under large-cardinal hypotheses, in Chapter 4 we establish triangular versions of the Embedding Theorem. These are enough for us to use Mathias’s methods to show that there are no infinite mad families in $L$ under large cardinals and that $\mathsf {AD}^+$ implies that there are no infinite mad families. These are again corollaries of theorems about strong Ramsey properties under large-cardinal assumptions and $\mathsf {AD}^+$, respectively. Our first theorem improves the large-cardinal assumption under which Todorcevic established the nonexistence of infinite mad families in $L$. Part I concludes with Chapter 5, a short list of open questions.In the second part of the thesis, we undertake a finer analysis of the Embedding Theorem and its consistency strength. Schindler found that the the Embedding Theorem is consistent relative to much weaker assumptions than the existence of Woodin cardinals. He defined remarkable cardinals, which can exist even in L, and showed that the Embedding Theorem is equiconsistent with the existence of a remarkable cardinal. His theorem resembles a theorem of Harrington–Shelah and Kunen from the 1980s: the absoluteness of the theory of $L$ to ccc forcing extensions is equiconsistent with a weakly compact cardinal. Joint with Itay Neeman, we improve Schindler’s theorem by showing that absoluteness for $\sigma $ -closed $\ast $ ccc posets—instead of the larger class of proper posets—implies the remarkability of $\aleph _1^V$ in L. This requires a fundamental change in the proof, since Schindler’s lower-bound argument uses Jensen’s reshaping forcing, which, though proper, need not be $\sigma $ -closed $\ast $ ccc in that context. Our proof bears more resemblance to that of Harrington–Shelah than to Schindler’s.The proof of Theorem 6.2 splits naturally into two arguments. In Chapter 7 we extend the Harrington–Shelah method of coding reals into a specializing function to allow for trees with uncountable levels that may not belong to L. This culminates in Theorem 7.4, which asserts that if there are $X\subseteq \omega _1$ and a tree $T\subseteq \omega _1$ of height $\omega _1$ such that X is codable along T, then $L$ -absoluteness for ccc posets must fail.We complete the argument in Chapter 8, where we show that if in any $\sigma $ -closed extension of V there is no $X\subseteq \omega _1$ codable along a tree T, then $\aleph _1^V$ must be remarkable in L.In Chapter 9 we review Schindler’s proof of generic absoluteness from a remarkable cardinal to show that the argument gives a level-by-level upper bound: a strongly $\lambda ^+$ -remarkable cardinal is enough to get $L$ -absoluteness for $\lambda $ -linked proper posets.Chapter 10 is devoted to partially reversing the level-by-level upper bound of Chapter 9. Adapting the methods of Neeman, Hierarchies of forcing axioms II, we are able to show that $L$ -absoluteness for $\left |\mathbf {R}\right |\cdot \left |\lambda \right |$ -linked posets implies that the interval $[\aleph _1^V,\lambda ]$ is $\Sigma ^2_1$ -remarkable in L.prepared by Zach Norwood.E-mail: zachnorwood@gmail.com. (shrink)

The Curry-Howard isomorphism is a proof-theoretic result that establishes a connection between derivations in natural deduction and terms in typed lambda calculus. It is an important proof-theoretic result, but also underlies the development of type systems for programming languages. This fact suggests a potential importance of the result for a philosophy of code.

I propose a novel metaphysical explanation of identity and distinctness facts called the Modal Proposal. According to the Modal Proposal, for each identity fact – that is, each fact of the form a=b – that fact is metaphysically explained by the fact that it is necessary that the entities involved are indiscernible, and for each distinctness fact –that is, each fact of the form a≠b – that fact is metaphysically explained by the fact that it is possible for the entities (...) involved to be discernible. I argue that the Modal Proposal has greater payoffs at less cost than any of its competitors. It gives simple, uniform, and intuitive explanations of identity and distinctness that conserve longstanding philosophical insights about identity that go back to Leibniz. It does this while making our fundamental base more parsimonious, determining whether controversial cases of identity or distinctness are possible, and expanding our understanding of these central philosophical relations. It does all this while avoiding controversial ontological commitments. (shrink)

Dune implies that our thinking must be multidimensional: it must include not only the Arrakeen plants, people, sands, and skies, but also their interconnections across space and time. Philosophical ecology, put most simply, is the holistic comprehension of a world and its complexity. Aldo Leopold was among the first American conservationists, and he founded the field of wildlife ecology. The standpoint of an Arrakeen planetary ecologist, like any wildlife ecologist of earth, embraces not individuals but relations. Climate change is a (...) problem that exceeds the scope of mere individual action and requires thinking collectively across space and time. Deep Ecologists mobilize ecological self understanding as the pre condition for practical political change. By inviting us to think like a desert – to reflect on the nature of the self, the dangers of excess, and the virtues of humility – Dune teaches us to be a little more like the Fremen with environmental resources. (shrink)

Prevailing opinion—defended by Jason Brennan and others—is that voting to change the outcome is irrational, since although the payoffs of tipping an election can be quite large, the probability of doing so is extraordinarily small. This paper argues that prevailing opinion is incorrect. Voting is shown to be rational so long as two conditions are satisfied: First, the average social benefit of electing the better candidate must be at least twice as great as the individual cost of voting, and second, (...) the chance of casting the decisive vote must be at least 1/N, where N stands for the number of citizens. It is argued that both of these conditions are often true in the real world. (shrink)

This essay examines the anti-producing human body in its limit case of public self-induced starvation, as figured in Franz Kafka's short story ‘A Hunger Artist’ and Steve McQueen's film Hunger. Both works represent the fasting body as hollowed out, a resistance to capitalist-spectator capture that spatialises itself as a smoothing, a relative reconfiguration of parts to whole through the evacuation of flows. In both works the human body becomes a local body without organs, paradoxically disarticulated from the more complex assemblages (...) that constitute it while recording potential circuits of disturbance or resonance predicated upon the porousness of bodily boundaries. (shrink)

There is a well-known moral quandary concerning how to account for the rightness or wrongness of acts that clearly contribute to some morally significant outcome – but which each seem too small, individually, to make any meaningful difference. One consequentialist-friendly response to this problem is to deny that there could ever be a case of this type. This paper pursues this general strategy, but in an unusual way. Existing arguments for the consequentialist-friendly position are sorites-style arguments. Such arguments imagine varying (...) a subject’s predicament bit by bit until it is clear that a relevant difference has been achieved. The arguments offered in this paper are structurally different, and do not rely on any sorites series. For this reason, they are not vulnerable to objections that have been leveled against the sorites-style arguments. (shrink)

What should a person do when, through no fault of her own, she ends up believing a false moral theory? Some suggest that she should act against what the false theory recommends; others argue that she should follow her rationally held moral beliefs. While the former view better accords with intuitions about cases, the latter one seems to enjoy a critical advantage: It seems better able to render moral requirements ‘followable’ or ‘action-guiding.’ But this tempting thought proves difficult to justify. (...) Indeed, whether it can be justified turns out to depend importantly on the rational status of epistemic akrasia. Furthermore, it can be argued, from premises all parties to the moral ignorance debate should accept, that rational epistemic akrasia is possible. If the argument proves successful, it follows that a person should sometimes act against her rationally held moral convictions. (shrink)

Initially, you judge that p. You then learn that most experts disagree. All things considered, you believe that the experts are probably right. Still, p continues to seem right to you, in some sense. You don’t yet see what, if anything, is wrong with your original reasoning. In such a case, we’ll say that you are ‘inclined’ toward p. This paper explores various roles that this state of inclination can play, both within epistemology and more broadly. Specifically, it will be (...) argued that: (i) inclinations can promote the accuracy of inquiring groups; (ii) they can support rational participation within philosophy despite pervasive disagreement; (iii) they allow us to make sense of an important way in which two people can continue to disagree even after they ‘conciliate’; (iv) inclinations carry information about individuals’ independent judgments and for this reason must be accounted for when updating on the opinions of others; (v) inclinations are connected to understanding in a way that belief is not; (vi) and awareness of the inclination-belief distinction enables us to respond to a provocative challenge purporting to show that critical thinking, or ‘thinking for oneself’, typically reduces expected accuracy and hence should be discouraged. (shrink)

A theorem from Archimedes on the area of a circle is proved in a setting where some inconsistency is permissible, by using paraconsistent reasoning. The new proof emphasizes that the famous method of exhaustion gives approximations of areas closer than any consistent quantity. This is equivalent to the classical theorem in a classical context, but not in a context where it is possible that there are inconsistent innitesimals. The area of the circle is taken 'up to inconsistency'. The fact that (...) the core of Archimedes's proof still works in a weaker logic is evidence that the integral calculus and analysis more generally are still practicable even in the event of inconsistency. (shrink)

In The Consistency of Arithmetic and elsewhere, Meyer claims to “repeal” Goedel’s second incompleteness theorem. In this paper, I review his argument, and then consider two ways of understanding it: from the perspective of mathematical pluralism and monism, respectively. Is relevant arithmetic just another legitimate practice among many, or is it a rival of its classical counterpart—a corrective to Goedel, setting us back on the path to the (One) True Arithmetic? To help answer, I sketch a few worked examples from (...) relevant mathematics, to see what a non-classical (re)formulation of mathematics might look like in practice. I conclude that, while it is unlikely that relevant arithmetic describes past and present mathematical practice, and so might be most acceptable as a pluralist enterprise, it may yet prescribe a more monistic future venture. (shrink)

This paper is about how to aggregate outside opinion. If two experts are on one side of an issue, while three experts are on the other side, what should a non-expert believe? Certainly, the non-expert should take into account more than just the numbers. But which other factors are relevant, and why? According to the view developed here, one important factor is whether the experts should have been expected, in advance, to reach the same conclusion. When the agreement of two (...) (or of twenty) thinkers can be predicted with certainty in advance, their shared belief is worth only as much as one of their beliefs would be worth alone. This expectational model of belief dependence can be applied whether we think in terms of credences or in terms of all-or-nothing beliefs. (shrink)

A central goal of the scientific endeavor is to explain phenomena. Scientists often attempt to explain a phenomenon by way of representing it in some manner—such as with mathematical equations, models, or theory—which allows for an explanation of the phenomenon under investigation. However, in developing scientific representations, scientists typically deploy simplifications and idealizations. As a result, scientific representations provide only partial, and often distorted, accounts of the phenomenon in question. Philosophers of science have analyzed the nature and function of how (...) scientists construct representations, deploy idealizations, and provide explanations. As such, our aim in this special issue is to bring these three pillars of research into closer contact with the contributions to it focusing on three main themes. -/- The first set of papers, Alan Baker (2021) and Marc Lange (2021), address mathematical explanations in science. Baker (2021), a proponent of mathematical Platonism, examines its capacity to evade the critique that the so-called Enhanced Indispensability Argument is circular. Lange (2021) examines distinctively mathematical explanations, arguing that neither Platonism nor representationalism are successful paths, and instead argues in favor of Aristotelian realism. A second theme emerging from the papers in this special issue is the impact that various conceptualizations of idealization have on our abilities to offer scientific explanations, to pro- duce an analysis of what explanations are or should be, and to understand scientific representation. Peter Tan (2021) suggests amending inferentialist accounts of scientific representation to account for inconsistent idealizations. Michael Strevens (2021) advocates a view wherein the introduction of idealizations into a model is legitimate so long as it pertains to non-difference-making factors, arguing for a logical reading of the notion of difference-making. Natalia Carrillo and Tarja Knuuttila (2022) offer an alternative account to the idealization-as-distortion view, emphasizing instead the holistic nature of idealization. -/- Finally, contributions by Carrillo and Knuuttila (2022), Terzian (2021), Valente (2021), and Rodriguez (2021) illustrate how issues regarding idealization, representation, and explanation are applied to specific contexts and across various sciences. Carrillo and Knuuttila (2022) examine conceptions of idealization in the context of models of the nerve impulse. Giulia Terzian (2021) extends the discussion of idealizations to the context of generative linguistics. Giovanni Valente (2021) examines how idealizations and evaluations of accurate representation impact capacities to explain phenomena in the context of statistical thermodynamics. Quentin Rodriguez (2021) examines the role of idealizations and analogies in various strategies to explain critical phenomena. -/- In what follows, we offer a brief overview of important philosophical issues connected to representation, idealization, and explanation in science. We then provide short summaries of the eight papers in this special issue. (shrink)

Should we believe our controversial philosophical views? Recently, several authors have argued from broadly conciliationist premises that we should not. If they are right, we philosophers face a dilemma: If we believe our views, we are irrational. If we do not, we are not sincere in holding them. This paper offers a way out, proposing an attitude we can rationally take toward our views that can support sincerity of the appropriate sort. We should arrive at our views via a certain (...) sort of ‘insulated’ reasoning – that is, reasoning that involves setting aside certain higher-order worries, such as those provided by disagreement – when we investigate philosophical questions. (shrink)

Although arguments for and against competing theories of vagueness often appeal to claims about the use of vague predicates by ordinary speakers, such claims are rarely tested. An exception is Bonini et al. (1999), who report empirical results on the use of vague predicates by Italian speakers, and take the results to count in favor of epistemicism. Yet several methodological difficulties mar their experiments; we outline these problems and devise revised experiments that do not show the same results. We then (...) describe three additional empirical studies that investigate further claims in the literature on vagueness: the hypothesis that speakers confuse ‘P’ with ‘definitely P’, the relative persuasiveness of different formulations of the inductive premise of the Sorites, and the interaction of vague predicates with three different forms of negation. (shrink)

David Hilbert's finitistic standpoint is a conception of elementary number theory designed to answer the intuitionist doubts regarding the security and certainty of mathematics. Hilbert was unfortunately not exact in delineating what that viewpoint was, and Hilbert himself changed his usage of the term through the 1920s and 30s. The purpose of this paper is to outline what the main problems are in understanding Hilbert and Bernays on this issue, based on some publications by them which have so far received (...) little attention, and on a number of philosophical reconstructions of the viewpoint (in particular, by Hand, Kitcher, and Tait). (shrink)

Hilbert's ε-calculus is based on an extension of the language of predicate logic by a term-forming operator εx. Two fundamental results about the ε-calculus, the first and second epsilon theorem, play a rôle similar to that which the cut-elimination theorem plays in sequent calculus. In particular, Herbrand's Theorem is a consequence of the epsilon theorems. The paper investigates the epsilon theorems and the complexity of the elimination procedure underlying their proof, as well as the length of Herbrand disjunctions of existential (...) theorems obtained by this elimination procedure. (shrink)

Six people are in trouble. We can save five of them or just the sixth. What should we do? John Taurek (1977) defends a radical view: We are not required to save the greater number. Taurek's paper has persuaded some. But even the unpersuaded agree that Taurek poses a deep and important challenge: From where does the priority of the many derive? It seems difficult, or even impossible, to convince someone who denies the importance of the numbers... to care about (...) the numbers. That’s what this paper aims to do. It will argue that the priority of the many follows, with minimal other assumptions, from something all should accept: the modest premise that if we can improve one person's chance of survival—without affecting anyone else—we should. (shrink)

An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding. It also serves as a companion to reading the original pathbreaking articles by Gerhard Gentzen. The first half covers topics in structural proof theory, including the Gödel-Gentzen translation of classical into intuitionistic logic, natural deduction and the normalization theorems, the sequent calculus, including cut-elimination and mid-sequent theorems, and various applications of these (...) results. The second half examines ordinal proof theory, specifically Gentzen's consistency proof for first-order Peano Arithmetic. The theory of ordinal notations and other elements of ordinal theory are developed from scratch, and no knowledge of set theory is presumed. The proof methods needed to establish proof-theoretic results, especially proof by induction, are introduced in stages throughout the text. Mancosu, Galvan, and Zach's introduction will provide a solid foundation for those looking to understand this central area of mathematical logic and the philosophy of mathematics. (shrink)

Conciliationism faces a challenge that has not been satisfactorily addressed. There are clear cases of epistemically significant merely possible disagreement, but there are also clear cases where merely possible disagreement is epistemically irrelevant. Conciliationists have not yet accounted for this asymmetry. In this paper, we propose that the asymmetry can be explained by positing a selection constraint on all cases of peer disagreement—whether actual or merely possible. If a peer’s opinion was not selected in accordance with the proposed constraint, then (...) it lacks epistemic significance. This allows us to distinguish the epistemically significant cases of merely possible disagreement from the insignificant ones. (shrink)

Agent-based models (ABMs) are one of the main sources of evidence for decisions regarding mitigation and suppression measures against the spread of SARS-CoV-2. These models have not been previously included in the hierarchy of evidence put forth by the evidence-based medicine movement, which prioritizes those research methods that deliver results less susceptible to the risk of confounding. We point out the need to assess the quality of evidence delivered by ABMs and ask the question of what is the risk that (...) assumptions entertained in ABMs do not include all the key factors and make model predictions susceptible to the problem of confounding. (shrink)

Paraconsistent logic makes it possible to study inconsistent theories in a coherent way. From its modern start in the mid-20th century, paraconsistency was intended for use in mathematics, providing a rigorous framework for describing abstract objects and structures where some contradictions are allowed, without collapse into incoherence. Over the past decades, this initiative has evolved into an area of non-classical mathematics known as inconsistent or paraconsistent mathematics. This Element provides a selective introductory survey of this research program, distinguishing between `moderate' (...) and `radical' approaches. The emphasis is on philosophical issues and future challenges. (shrink)

There is a textbook definition of democratic citizenship and collective action in which politics is a kind of game played by elites (e.g., Wasserman 2010). On this model, which is detailed by thinkers like Schumpeter (1942) and Lippmann ([1922] 1997) and often assumed by political scientists (Fung 2007), citizens must be informed voters, and this exhausts their role in acting collectively. Governments deal with social problems and are only informed by the democratic will of the populus. Asking more from citizens (...) is either unrealistic, due to limitations of ability or time of the average citizen; coercive, since requiring a great deal from citizens may infringe upon their right to privacy; or dangerous, because an .. (shrink)

This paper begins an analysis of the real line using an inconsistency-tolerant (paraconsistent) logic. We show that basic field and compactness properties hold, by way of novel proofs that make no use of consistency-reliant inferences; some techniques from constructive analysis are used instead. While no inconsistencies are found in the algebraic operations on the real number field, prospects for other non-trivializing contradictions are left open.

Standard reasoning about Kripke semantics for modal logic is almost always based on a background framework of classical logic. Can proofs for familiar definability theorems be carried out using anonclassical substructural logicas the metatheory? This article presents a semantics for positive substructural modal logic and studies the connection between frame conditions and formulas, via definability theorems. The novelty is that all the proofs are carried out with anoncontractive logicin the background. This sheds light on which modal principles are invariant under (...) changes of metalogic, and provides (further) evidence for the general viability of nonclassical mathematics. (shrink)

Even if you were the last person on Earth, you should not cut down all the trees—or so goes the Last Man thought experiment, which has been taken to show that nature has intrinsic value. But ‘Last Man’ is caught on a dilemma. If Last Man is too far inside the anthropocentric circle, so to speak, his actions cannot be indicative of intrinsic value. If Last Man is cast too far outside the anthropocentric circle, though, then value terms lose their (...) cogency. The experiment must satisfy conditions in a seemingly impossible ‘goldilocks’ zone. To this end I propose a new version, the Ultramodal Last Man, which appeals to Routley's work in metaphysics and non-classical logic. With this ‘Last Last Man’, I argue that the Local/Global dilemma is resolved: impossible equations balance in ultramodal space. For defenders and critics alike, this helps to clarify the demands of intrinsic value, and renews a role for non-standard logics in value theory. (shrink)