The chapters comprising this book represent a collective attempt on the part of their authors to redress this aberration.

Sometimes, there are reasons for which we believe, intend, resent, decide, and so on: these reasons are the “bases” of the latter, and the explanatory relation between these bases and the latter is what I will call “the basing relation.” What kind of explanatory relation is this? Dispositionalists claim that the basing relation consists in the agent’s manifesting a disposition to respond to those bases by having the belief, intention, resentment, and so on, in question. Representationalists claim that the basing (...) relation consists in the agent’s representing the bases as justifying the belief, intention, resentment, and so on, in question. This article shows that an adequate account of the basing relation requires a particular refinement and combination of these two views. On the hybrid account defended here, the basing relation involves a disposition exercise that is individuated by the agent’s object-involving de se representation of that very exercise as justifying. (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)

In the early 1920s, the German mathematician David Hilbert (1862–1943) put forward a new proposal for the foundation of classical mathematics which has come to be known as Hilbert's Program. It calls for a formalization of all of mathematics in axiomatic form, together with a proof that this axiomatization of mathematics is consistent. The consistency proof itself was to be carried out using only what Hilbert called “finitary” methods. The special epistemological character of finitary reasoning then yields the required justification (...) of classical mathematics. Although Hilbert proposed his program in this form only in 1921, various facets of it are rooted in foundational work of his going back until around 1900, when he first pointed out the necessity of giving a direct consistency proof of analysis. Work on the program progressed significantly in the 1920s with contributions from logicians such as Paul Bernays, Wilhelm Ackermann, John von Neumann, and Jacques Herbrand. It was also a great influence on Kurt Gödel, whose work on the incompleteness theorems were motivated by Hilbert's Program. Gödel's work is generally taken to show that Hilbert's Program cannot be carried out. It has nevertheless continued to be an influential position in the philosophy of mathematics, and, starting with the work of Gerhard Gentzen in the 1930s, work on so-called Relativized Hilbert Programs have been central to the development of proof theory. (shrink)

What is the epistemological value of perceptual experience? In his recently influential paper, “The Skeptic and the Dogmatist”1, James Pryor develops a seemingly plausible answer to this question. Pryor’s answer comprises the following three theses: (F) “Our perceptual justification for beliefs about our surroundings is always defeasible – there are always possible improvements in our epistemic state which would no longer support those beliefs.” (517) (PK) “This justification that you get merely by having an experience as of p can sometimes (...) suffice to give you knowledge that p is the case.” (520) (D) “When it perceptually seems to you as if p is the case, you have a kind of justification for believing p that does not presuppose or rest on your justification for anything else, which could be cited in argument (even an ampliative argument) for p. To have this justification for believing p, you need only have an experience that represents p as being the case. No further awareness or reflection or background beliefs are required.” (519) Let’s use the phrase “fallibilist dogmatism” to refer to the conjunction of (F), (PK), and (D).2 Pryor does not argue for either (F) or (PK) in his paper; he simply shares the widespread and plausible assumption that (F) and (PK) are both true. But the conjunction of (F) and (PK) implies that we can have knowledge on the basis of defeasible justification. And this view leads to paradox. Consider the following individually plausible but jointly incompatible statements. (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)

Although Kurt Gödel does not figure prominently in the history of computabilty theory, he exerted a significant influence on some of the founders of the field, both through his published work and through personal interaction. In particular, Gödel’s 1931 paper on incompleteness and the methods developed therein were important for the early development of recursive function theory and the lambda calculus at the hands of Church, Kleene, and Rosser. Church and his students studied Gödel 1931, and Gödel taught a seminar (...) at Princeton in 1934. Seen in the historical context, Gödel was an important catalyst for the emergence of computability theory in the mid 1930s. (shrink)

For those working in Epistemology dizzying questions such as the following arise: - When are beliefs rational, or justified? - How should we update our beliefs in the light of new evidence? - Is it possible to gain knowledge, or justification? - How do we know what we know, and why do we care about whether--and what--others know? - How can the exploration of pre-Socratic philosophical questions about knowledge assist with the design of twenty-first-century computer interfaces? Addressing the need for (...) an authoritative and comprehensive reference work to enable users to answer these and other questions, and to make sense of--and to navigate around--an ever more complex corpus of scholarly literature, Epistemology is a new title in Routledge's acclaimed Critical Concepts in Philosophy series. Edited by Ram Neta, it is a four-volume collection which brings together foundational and the very best cutting-edge scholarship in a unique one-stop 'mini library'. Supplemented with a full index, and including an introduction to each volume, newly written by the editor, which places the assembled materials in their historical and intellectual context, Epistemology is destined to be valued by scholars and students as a vital research resource. (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)

Epistemology is one of the oldest, yet still one of the most active, areas of philosophical research today. There currently exists many annotated tomes of primary sources, and a handful of single-authored introductions to the field, but there is no book that captures epistemology’s dynamic growth and lively debates for a student audience. In this volume, eight leading philosophers debate four topics central to recent research in epistemology: The A Priori: C. S. I. Jenkins and Michael Devitt The A Posteriori: (...) Richard Fumerton and Nicholas Silins The Regress of Justification: Declan Smithies and Peter Klein Skepticism: Anthony Brueckner and Ernest Sosa Ram Neta’s introduction to the volume, descriptions of each chapter, annotated bibliographies for each controversy, and supplemental guide to further controversies in epistemology help provide clearer and richer views of active controversies for all readers. (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)

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)

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)

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 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)

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)

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)

This paper begins an axiomatic development of naive set theoryin a paraconsistent logic. Results divide into two sorts. There is classical recapture, where the main theorems of ordinal and Peano arithmetic are proved, showing that naive set theory can provide a foundation for standard mathematics. Then there are major extensions, including proofs of the famous paradoxes and the axiom of choice (in the form of the well-ordering principle). At the end I indicate how later developments of cardinal numbers will lead (...) to Cantor’s theorem, the existence of large cardinals, and a counterexample to the continuum hypothesis. (shrink)

ABSTRACTDo truth tables—the ordinary sort that we use in teaching and explaining basic propositional logic—require an assumption of consistency for their construction? In this essay we show that truth tables can be built in a consistency-independent paraconsistent setting, without any appeal to classical logic. This is evidence for a more general claim—that when we write down the orthodox semantic clauses for a logic, whatever logic we presuppose in the background will be the logic that appears in the foreground. Rather than (...) any one logic being privileged, then, on this count partisans across the logical spectrum are in relatively similar dialectical positions. (shrink)

This paper develops a (nontrivial) theory of cardinal numbers from a naive set comprehension principle, in a suitable paraconsistent logic. To underwrite cardinal arithmetic, the axiom of choice is proved. A new proof of Cantor’s theorem is provided, as well as a method for demonstrating the existence of large cardinals by way of a reflection theorem.

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 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)

The period from 1900 to 1935 was particularly fruitful and important for the development of logic and logical metatheory. This survey is organized along eight "itineraries" concentrating on historically and conceptually linked strands in this development. Itinerary I deals with the evolution of conceptions of axiomatics. Itinerary II centers on the logical work of Bertrand Russell. Itinerary III presents the development of set theory from Zermelo onward. Itinerary IV discusses the contributions of the algebra of logic tradition, in particular, Löwenheim (...) and Skolem. Itinerary V surveys the work in logic connected to the Hilbert school, and itinerary V deals specifically with consistency proofs and metamathematics, including the incompleteness theorems. Itinerary VII traces the development of intuitionistic and many-valued logics. Itinerary VIII surveys the development of semantical notions from the early work on axiomatics up to Tarski's work on truth. (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.

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)

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: [email protected]. (shrink)

There is some consensus that for S to know that p, it cannot be merely a matter of luck that S’s belief that p is true. This consideration has led Duncan Pritchard and others to propose a safety condition on knowledge. In this paper, we argue that the safety condition is not a proper formulation of the intuition that knowledge excludes luck. We suggest an alternative proposal in the same spirit as safety, and find it lacking as well.

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)

In 1948, when the State of Israel was founded, 125,000 people were members of credit cooperative societies, which provided over 20 percent of all market financing. For several years this number continued to rise, reaching a total of 250,000 members in more than 100 credit cooperative societies. Credit associations — part of the thriving cooperative movement of early Zionism — symbolized the attempt to create a new and just Jewish society by fusing socialist and capitalist ideals. From the mid-1950s, however, (...) in a rapid process of centralization of Israel’s capital market and financial institutions, almost all credit associations were absorbed into Israel’s commercial banks and dissolved. Today, Israel’s two largest banks control over 63 percent of credit provision, and 90 percent of credit is provided to less than 1 percent of borrowers. The official policy of the Bank of Israel is to rule out the establishment of credit associations, credit unions or other non-bank financial institutions. In the light of current renewed interest in "social businesses," i.e., innovative business models designed to achieve desired social outcomes, this Article traces the waning of credit associations in Israel, and the role law has played in that process. Their disappearance from the capital market marked not only a change in economic policy, but also the final abandonment of the ideals which underlay the provision of cooperative financial services: mutuality, partnership and solidarity. (shrink)

This article discusses the legal concept of excessive use of force by analyzing a particular incident that took place in Israel in the summer of 1997: eighty families, faced with dire housing needs, squatted in vacant apartments in an immigrant absorption center in the town of Mevasseret Zion near Jerusalem. After a period of failed attempts to persuade the families to leave the apartments peacefully, the police moved to evacuate the families, and did so by use of massive force. In (...) the article I describe the violent measures used by the State, and analyze the media portrayal of the squatting and the evacuation. I argue that both these forceful measures and the media portrayal of the squatting and evacuation cumulatively took part in constructing the squatters as criminal deviants rather than political protesters. I claim further that we should understand the concept of use of force not only as a means to achieve certain ends by the state, but also as a mechanism through which the state constructs a social problem and presents it in a manner beneficial to its own interests. Excessive use of force, in this sense, is not just a disproportionate response to a real or perceived threat posed by an individual or group, but a means by which the state fosters a belief that the individual or group present some danger, which must be tackled through the use of a certain level of force. By drawing a line between the legitimate and illegitimate use of force, the state affirms its monopoly on violence, which ultimately can be used to suppress political resistance. (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)

On some accounts of vagueness, predicates like “is a heap” are tolerant. That is, their correct application tolerates sufficiently small changes in the objects to which they are applied. Of course, such views face the sorites paradox, and various solutions have been proposed. One proposed solution involves banning repeated appeals to tolerance, while affirming tolerance in any individual case. In effect, this solution rejects the reasoning of the sorites argument. This paper discusses a thorny problem afflicting this approach to vagueness. (...) In particular, it is shown that, on the foregoing view, whether an object is a heap will sometimes depend on factors extrinsic to that object, such as whether its components came from other heaps. More generally, the paper raises the issue of how to count heaps in a tolerance-friendly framework. (shrink)

This article reports data collected from 385 performing arts professionals using the HEartS Professional Survey during the COVID-19 Lockdown 1.0 in the United Kingdom. Study 1 examined characteristics of performing arts professionals’ work and health, and investigated how these relate to standardized measures of wellbeing. Study 2 examined the effects of the lockdown on work and wellbeing in the respondents’ own words. Findings from Study 1 indicate a substantial reduction in work and income. 53% reported financial hardship, 85% reported increased (...) anxiety, and 63% reported being lonelier than before the crisis. 61% sought support on finances while only 45% did so on health and wellbeing. Multiple regression analyses, using the Mental Health Continuum-Short Form, Center for Epidemiologic Studies Depression Scale, Social Connectedness Scale, and Three-Item Loneliness Scale as outcome variables, indicate that perceived financial hardship was associated with lower wellbeing and higher depression and loneliness scores. Higher self-rated health was associated with higher wellbeing and lower depression scores. More physical activity before lockdown was associated with higher wellbeing and social connectedness scores, as well as lower loneliness scores, and an increase in physical activity during lockdown compared with before, as well as older age, were associated with higher wellbeing and social connectedness scores, and lower depression and loneliness scores. Thematic inductive analysis of 341 open responses in Study 2 identified five overarching themes characterizing the effects of Lockdown 1.0: lost or uncertain work and income, including canceled work, financial concerns, and uncertainties for the future; constraints of lockdown working, including challenges of working at home, struggles with online work and skill maintenance, and caring responsibilities; loss and vulnerability, including reduced social connections, lack of support, vulnerability, feelings of loss and grief, and concern for others; detrimental effects on health and wellbeing, including anxiety, low or unstable mood, poorer physical health, and lack of motivation; and professional and personal opportunities, including coping well or living more healthily, more time and less pressure, new possibilities and activities, enhanced social connections, and new skills. Lockdown 1.0 had profound effects on performing arts professionals, but our findings reveal some opportunities and compelling links between positive wellbeing and physical activity. (shrink)

The epsilon calculus is a logical formalism developed by David Hilbert in the service of his program in the foundations of mathematics. The epsilon operator is a term-forming operator which replaces quantifiers in ordinary predicate logic. Specifically, in the calculus, a term εx A denotes some x satisfying A(x), if there is one. In Hilbert's Program, the epsilon terms play the role of ideal elements; the aim of Hilbert's finitistic consistency proofs is to give a procedure which removes such terms (...) from a formal proof. The procedures by which this is to be carried out are based on Hilbert's epsilon substitution method. The epsilon calculus, however, has applications in other contexts as well. The first general application of the epsilon calculus was in Hilbert's epsilon theorems, which in turn provide the basis for the first correct proof of Herbrand's theorem. More recently, variants of the epsilon operator have been applied in linguistics and linguistic philosophy to deal with anaphoric pronouns. (shrink)

There are many approaches to paraconsistency, ranging from the very moderate to the more radical. In this paper I explore and extend the more radical end of the spectrum, where there are truth-value gluts. In particular I will look at paraconsistent metatheory – the machinery of truth, validity, and proof  as developed in a glut-friendly paraconsistent setting. The aim is to evaluate the philosophical and technical tenability of such an approach. I will show that there are very significant technical (...) challenges to face on this sort of radical approach, but that there is good philosophical support for facing these challenges. (shrink)