We analyze the precise modal commitments of several natural varieties of set-theoretic potentialism, using tools we develop for a general model-theoretic account of potentialism, building on those of Hamkins, Leibman and Löwe [14], including the use of buttons, switches, dials and ratchets. Among the potentialist conceptions we consider are: rank potentialism, Grothendieck–Zermelo potentialism, transitive-set potentialism, forcing potentialism, countable-transitive-model potentialism, countable-model potentialism, and others. In each case, we identify lower bounds for the modal validities, which are generally either S4.2 or S4.3, (...) and an upper bound of S5, proving in each case that these bounds are optimal. The validity of S5 in a world is a potentialist maximality principle, an interesting set-theoretic principle of its own. The results can be viewed as providing an analysis of the modal commitments of the various set-theoretic multiverse conceptions corresponding to each potentialist account. (shrink)

While there is a steadily growing literature on epistemic injustice in healthcare, there are few discussions of the role that biomedical technologies play in harming patients in their capacity as knowers. Through an analysis of newborn and pediatric genetic and genomic sequencing technologies (GSTs), I argue that biomedical technologies can lead to epistemic injustice through two primary pathways: epistemic capture and value partitioning. I close by discussing the larger ethical and political context of critical analyses of GSTs and their broader (...) implications for just and equitable healthcare delivery. (shrink)

Despite increasing interest in the work of Tetsuro Watsuji, his discussion of intentionality remains underexplored. I here develop an interpretation and application of his view. First, I unpack Watsuji’s arguments for the inherently social character of intentionality, consider how they connect with his more general discussion of embodiment and betweenness, and then situate his view alongside phenomenologists like Husserl, Heidegger, and Merleau-Ponty. Next, I argue that Watsuji’s characterization of the social character of intentionality is relevant to current discussions in phenomenological (...) psychopathology. I consider how it can help illuminate the character and structure of some anomalous experiences in schizophrenia. I argue further that this application can enrich existing attempts to connect Watsuji and psychopathology, such as those found in the work of the psychiatrist Bin Kimura. (shrink)

Disability has been a topic in multiple areas of philosophical scholarship for decades. However, it is only in the last ten to fifteen years that philosophy of disability has increasingly become recognized as a distinct field. Engaging a range of canonical texts across the Western intellectual tradition, I argue that the foundational question of continental philosophy of disability is the question of the meaning of ability. I then explore three pathways toward this question: the verdict of bodies, the bind of (...) bodies and worth, and the dogma of individual ability. I contend that unlike the question of the meaning of being, the question of the meaning of ability is not simply a problem of forgetting but instead primarily a problem of dehumanization. (shrink)

This paper introduces the philosophy of Grace Andrus de Laguna in order to renew interest in it. I show that, in the 1910s and 1920s, she develops ideas and arguments that are also found playing key roles in the development of analytic philosophy decades later. Further, I describe her sympathetic, but acute, criticism of pragmatism and Heideggerian ontology, and situate her work in the tradition of American, speculative philosophy. Before 1920, we will see, de Laguna appeals to multiple realizability to (...) undermine reductionism in science, to support perspectival, scientific realism and, with help from a private language argument, to favour the view that mental states are classified by behavioural, teleological roles over what came to be called ‘type physicalism’. Her view of speech, mostly developed in the 1920s, tells us that its primary role is coordinating group behaviour rather than expressing thoughts. Belief is understood in terms of its causal role, including its causal relations to other kinds of mental states, when coordinating group behaviour. Thought is similarly understood. In developing her theory of mind, de Laguna rejects the pragmatist claims that belief can be reduced to dispositions to behaviour and that thought’s function is to address specific, rather than general, problems. She also favours meaning holism and rejects the analytic–synthetic distinction. In later work, de Laguna argues that individuals’ activity of self-maintenance brings universals, conceived of as irreducible potentialities, into being and makes them increasingly determinate. Further, she identifies the existence of all individuals with forms of self-maintenance and takes the existence of people to include maintenance of the cultural world. Such a unified treatment of existence, she holds, permits making its evolution intelligible. Heidegger’s view of being is rejected for not permitting this. All de Laguna’s work, we will see, fits a vision of philosophy as the systematic, imaginative and naturalistic examination of being as well as a source of criticism of science. (shrink)

In this paper, we take moral agency to be that context in which a particular agent can, appropriately, be held responsible for her actions and their consequences. In order to understand moral agency, we will discuss what it would take for an artifact to be a moral agent. For reasons that will become clear over the course of the paper, we take the artifactual question to be a useful way into discussion but ultimately misleading. We set out a number of (...) conceptual pre-conditions for being a moral agent and then outline how one should — and should not — go about attributing moral agency. In place of a litmus test for such an agency — such as Allen et al.'s Moral Turing Test — we suggest some tools from the conceptual spaces theory and the unified conceptual space theory for mapping out the nature and extent of that agency. (shrink)

This paper contributes to explaining the rise of logical empiricism in mid-twentieth century (North) America and to a better understanding of American philosophy of science before the dominance of logical empiricism. We show that, contrary to a number of existing histories, philosophy of science was already a distinct subfield of philosophy, one with its own approaches and issues, even before logical empiricists arrived in America. It was a form of speculative philosophy with a concern for speculative metaphysics, normative issues relating (...) to science and society and issues which later were associated with logical empiricist philosophy of science, issues such as confirmation, scientific explanation, reductionism and laws of nature. Further, philosophy of science was not primarily pragmatist in orientation. We also show, with the help of our historical characterization, that a recent account of the emergence of analytic philosophy applies to the rise of logical empiricism. It has been argued that the emergence of American analytic philosophy is partly explained by analytic philosophers’ use of key institutions, including of journals, to marginalize speculative philosophy and promote analytic philosophy. We argue that this use of institutions included the marginalization of speculative and value-laden philosophy of science and the promotion of logical empiricism. (shrink)

Willard V. Quine’s 1951 article, “Two Dogmas of Empiricism” (Two Dogmas) was taken to be revolutionary because it rejects the analytic-synthetic distinction and the thesis that empirical statements are confirmed individually rather than holistically. The present chapter, however, argues that the overcoming of modern philosophy already included the overcoming of these theses by Hegelians, pragmatists and two critics of Hegelianism and pragmatism, Grace and Theodore de Laguna. From this perspective, Two Dogmas offers a Hegelian epistemology that was already superseded in (...) 1910. The perspective is largely based on the de Lagunas’ 1910 book Dogmatism and Evolution: Studies in Modern Philosophy. The de Lagunas’ book also helps to make clear that the real revolution Two Dogmas participated in was the marginalisation of their work and that of other speculative philosophers. Grace de Laguna surely recognised much of this when she stood opposite Quine as he first presented Two Dogmas. (shrink)

When do probability distribution functions (PDFs) about future climate misrepresent uncertainty? How can we recognise when such misrepresentation occurs and thus avoid it in reasoning about or communicating our uncertainty? And when we should not use a PDF, what should we do instead? In this paper we address these three questions. We start by providing a classification of types of uncertainty and using this classification to illustrate when PDFs misrepresent our uncertainty in a way that may adversely affect decisions. We (...) then discuss when it is reasonable and appropriate to use a PDF to reason about or communicate uncertainty about climate. We consider two perspectives on this issue. On one, which we argue is preferable, available theory and evidence in climate science basically excludes using PDFs to represent our uncertainty. On the other, PDFs can legitimately be provided when resting on appropriate expert judgement and recognition of associated risks. Once we have specified the border between appropriate and inappropriate uses of PDFs, we explore alternatives to their use. We briefly describe two formal alternatives, namely imprecise probabilities and possibilistic distribution functions, as well as informal possibilistic alternatives. We suggest that the possibilistic alternatives are preferable. -/- . (shrink)

Katzav and Vaesen have argued that control by analytic philosophers of key journals, philosophy departments and at least one funding body plays a substantial role in explaining the emergence of analytic philosophy into dominance in the Anglophone world and the corresponding decline of speculative philosophy. They also argued that this use of control suggests a characterisation of analytic philosophy as, at the institutional level, a sectarian form of critical philosophy. I test these hypotheses against data about philosophy job hires at (...) key philosophy departments in the USA during the period 1930-1979, and against data about PhD completions during the period 1956-1965. I argue, further, that Katzav and Vaesen’s hypotheses can fully explain the data and are more fully able to do so than are some other key accounts of the emergence of analytic philosophy in the USA. (shrink)

Taking as its starting point that morality does not exist (moral error theory), this chapter tries to persuade the reader to eradicate it from her psyche as well (moral abolitionism). It is argued further that the most effective way to rid oneself (and society) of moralist attitudes would be to eliminate moralist vocabulary and manners of speaking and, indeed, to the greatest degree practicable, all normative vocabularies and manners of speaking. This is because moralism lies deep and pervasively in the (...) human psyche and hence requires a special effort to root it out. A particular problem is how to eradicate moralism from the abolitionist project itself. For the natural way to think about it is as advocating that we ought to be amoral or that being amoral would make this a better world. But these are themselves moralist ways of thinking. This chapter seeks to obviate this problem, as well as fill the void left by morality’s elimination, by defending a positive ethics of desire (desirism). (shrink)

The Lévy-Solovay Theorem [8] limits the kind of large cardinal embeddings that can exist in a small forcing extension. Here I announce a generalization of this theorem to a broad new class of forcing notions. One consequence is that many of the forcing iterations most commonly found in the large cardinal literature create no new weakly compact cardinals, measurable cardinals, strong cardinals, Woodin cardinals, strongly compact cardinals, supercompact cardinals, almost huge cardinals, huge cardinals, and so on.

Grace A. de Laguna was an American philosopher of exceptional originality. Many of the arguments and positions she developed during the early decades of the twentieth century later came to be central to analytic philosophy. These arguments and positions included, even before 1930, a critique of the analytic-synthetic distinction, a private language argument, a critique of type physicalism, a functionalist theory of mind, a critique of scientific reductionism, a methodology of research programs in science and more. Nevertheless, de Laguna identified (...) herself as a defender of the speculative vision of philosophy, a vision which, in her words, “analytic philosophy condemns.” I outline her speculative vision of philosophy as well as what is, in effect, an argument she offers against analytic philosophy. This is an argument against the view that key parts of established opinion, e.g., our best theoretical physics or most certain common sense, should be assumed to be true in order to answer philosophical questions. I go on to bring out the implications of her argument for the approaches to philosophy of Bertrand Russell, Willard V. Quine and David Lewis, and I also compare the argument to recent, related arguments against analytic philosophy. I will suggest that de Laguna offers a viable critique of analytic philosophy and an alternative approach to philosophy that meets this critique. (shrink)

Infinite time Turing machines extend the operation of ordinary Turing machines into transfinite ordinal time. By doing so, they provide a natural model of infinitary computability, a theoretical setting for the analysis of the power and limitations of supertask algorithms.

The dream solution of the continuum hypothesis would be a solution by which we settle the continuum hypothesis on the basis of a newly discovered fundamental principle of set theory, a missing axiom, widely regarded as true. Such a dream solution would indeed be a solution, since we would all accept the new axiom along with its consequences. In this article, however, I argue that such a dream solution to $\mathrm {CH}$ is unattainable.

Through the formation of positive psychology, the study of happiness has moved into the scientific domain. Positive psychology’s assertion is that with the proper adjustments, everyone can achieve happiness. The problem, however, is that “happiness” is never defined, causing scientific testing to construct new parameters for each study, inevitably altering the object being examined. Rather than pursuing amorphous happiness, I argue that the Zhuangzi 莊子 provides a more adequate and responsible process or method for living well. After exploring Aristotle’s position (...) on happiness, I investigate the terminological and methodological issues with the scientific study of happiness. For an alternative, I propose Zhuangzian contentment that reorients individuals toward dynamic existence rather than false notions of control, which the scientific method suggests is possible. (shrink)

Despite the enormous importance and widespread use of the term, it is unclear exactly what a phylogeny represents. It is important to define phylogeny precisely since other central terms like “clade” and “monophyletic” are often defined relative to phylogenetic trees and on some views in taxonomy, taxa must be clades. Edwards presents the common picture in contemporary systematics as depending on the existence of a “species tree” in which phylogeny “records the branching pattern of evolving lineages through time”. But what, (...) precisely, does this mean? (shrink)

Recently a number of scientists have proposed substantial changes to the practice of climate modeling, though they disagree over what those changes should be. We provide an overview and critical examination of three leading proposals: the unified approach, the hierarchy approach and the pluralist approach. The unified approach calls for an accelerated development of high-resolution models within a seamless prediction framework. The hierarchy approach calls for more attention to the development and systematic study of hierarchies of related models, with the (...) aim of advancing understanding. The pluralist approach calls for greater diversity in modeling efforts, including, on some of its variants, more attention to empirical modeling. After identifying some of the scientific and institutional challenges faced by these proposals, we consider their expected gains and costs, relative to a business-as-usual modeling scenario.We find the proposals to be complementary, having valuable synergies. But since resource limitations make it unlikely that all three will be pursued, we offer some reflections on more limited changes in climate modeling that seem well within reach and that can be expected to yield substantial benefits. (shrink)

This paper argues that the political adage “Be ye prudent as serpents and guileless as doves” involves three different types of relation between prudence and morality, namely: unification (Vereinigung), subordination (Unterordnung), and association (Beigesellung). I maintain that these relations are set up according to the same principle that determines the relationship between mechanical and teleological causality in the third Critique. Thus, I argue that morality and prudence are much more systematically related within the system of critical philosophy than is normally (...) assumed in the literature and that this is made possible by way of an intimate relationship between prudence and teleological judgment. (shrink)

Kristiansen's "Feeling like a perpetual outsider: relationality in Social Anxiety Disorder" offers a valuable analysis of loneliness within social anxiety disorder (SAD). Although phenomenological psychopathology has given extensive attention to conditions like schizophrenia, depression, and disordered eating, a more nuanced phenomenological examination of SAD is needed (Bortolan, 2023; Tanaka, 2020; Trigg, 2016). Kristiansen's work addresses this deficit and contributes to broader philosophical and phenomenological discussions of loneliness, including recent work on loneliness within psychopathology (e.g., Krueger et al., 2023; Motta, 2021; (...) Roberts & Krueger, 2021; Seemann, 2022). We propose that first-person narratives illuminate two additional, phenomenologically and clinically relevant aspects: bodily doubt and experiences of absence. Understanding these aspects enriches our descriptive understanding of SAD and potentially informs more effective treatment strategies. (shrink)

This chapter provides the background to the American women philosophers’ works that are introduced and collected in Knowledge, Mind and Reality: An Introduction by Early Twentieth-Century American Women Philosophers. We describe the institutional context which made these works possible and their methodological and theoretical background. We also provide biographies for their authors.

I examine the warrants we have in light of the empirical successes of a kind of model I call ‘ hybrid models ’, a kind that includes climate models among its members. I argue that these warrants ’ strengths depend on inferential virtues that are not just explanatory virtues, contrary to what would be the case if inference to the best explanation provided the warrants. I also argue that the warrants in question, unlike those IBE provides, guide inferences only to (...) model implications about which there is real uncertainty. My conclusion provides criteria of adequacy for epistemologies of climate and other hybrid models. (shrink)

After reviewing various natural bi-interpretations in urelement set theory, including second-order set theories with urelements, we explore the strength of second-order reflection in these contexts. Ultimately, we prove, second-order reflection with the abundant atom axiom is bi-interpretable and hence also equiconsistent with the existence of a supercompact cardinal. The proof relies on a reflection characterization of supercompactness, namely, a cardinal κ is supercompact if and only if every Π11 sentence true in a structure M (of any size) containing κ in (...) a language of size less than κ is also true in a substructure m≺M of size less than κ with m∩κ∈κ. (shrink)

We introduce the $\Sigma _1$ -definable universal finite sequence and prove that it exhibits the universal extension property amongst the countable models of set theory under end-extension. That is, the sequence is $\Sigma _1$ -definable and provably finite; the sequence is empty in transitive models; and if M is a countable model of set theory in which the sequence is s and t is any finite extension of s in this model, then there is an end-extension of M to a (...) model in which the sequence is t. Our proof method grows out of a new infinitary-logic-free proof of the Barwise extension theorem, by which any countable model of set theory is end-extended to a model of $V=L$ or indeed any theory true in a suitable submodel of the original model. The main theorem settles the modal logic of end-extensional potentialism, showing that the potentialist validities of the models of set theory under end-extensions are exactly the assertions of S4. Finally, we introduce the end-extensional maximality principle, which asserts that every possibly necessary sentence is already true, and show that every countable model extends to a model satisfying it. (shrink)

Com esta investigação genealógica do poder político no Ocidente, Giorgio Agamben formula em seu projeto Homo sacer, um programa de pesquisas centrado na questão da genealogia da governamentalidade. Assim, aportamos num estágio decisivo de suas escavações genealógicas, sobre as razões pelas quais o poder foi assumindo na vida ocidental o formato de uma οικονομία, ou seja, o exame do poder que foi operado pela via do agir administrativo das coisas e das vidas. Neste texto, temos a intencionalidade de traçarmos uma (...) sinopse desta genealogia teológica da economia e do governo, e, retrocedermos com o filósofo italiano aos porões constitutivos da vida política, religiosa e cultural Ocidental. Logo, tendo em mente o fato de o poder ser substancialmente pautado pelo governo, temos uma implicação ético-política, que nos leva ao seguinte questionamento: por que o poder necessita da glória? Estamos diante de uma série de paradigmas que forjam o corpo e as categoriais centrais da política democrática na modernidade. (shrink)

Small forcing always ruins the indestructibility of an indestructible supercompact cardinal. In fact, after small forcing, any cardinal κ becomes superdestructible--any further <κ--closed forcing which adds a subset to κ will destroy the measurability, even the weak compactness, of κ. Nevertheless, after small forcing indestructible cardinals remain resurrectible, but never strongly resurrectible.

FIRST PARAGRAPH I have argued that dispositionalism is incompatible with the Principle of Least Action (PLA) (Katzav 2004). In ‘Katzav on the Limitations of Dispositionalism,’ Brian Ellis responds, arguing that while naïve dispositionalism is incompatible with the PLA, sophisticated dispositionalism is not. Naive dispositionalism, according to Ellis, is the view that the world is ultimately something like a conglomerate of objects and their dispositions, and that, therefore, dispositions are the ultimate ontological units that explain events. Sophisticated dispositionalism, according to Ellis, (...) supposes that, how things are disposed to behave depends also on what kinds of things they are, what kinds of property they have, and how these kinds of things and properties are placed in the natural kinds hierarchies to which they belong (Ellis 2005). Further, it supposes that at the top of each hierarchy of natural kinds there is a global kind. For example, ‘[t]he global natural kind in the category of substance is that of the physical system’ (Ellis 2005). Ellis continues, claiming that the PLA is of the essence of the global kind in the category of objects or substances. If this is so, then, of course, every continuing object must be Lagrangian, i.e. disposed to evolve in accordance with the principle of least action (Ellis 2005). Ellis concludes that, therefore, a sophisticated dispositionalist can accommodate the PLA and its metaphysical necessity. (shrink)

The present paper draws on climate science and the philosophy of science in order to evaluate climate-model-based approaches to assessing climate projections. We analyze the difficulties that arise in such assessment and outline criteria of adequacy for approaches to it. In addition, we offer a critical overview of the approaches used in the IPCC working group one fourth report, including the confidence building, Bayesian and likelihood approaches. Finally, we consider approaches that do not feature in the IPCC reports, including three (...) approaches drawn from the philosophy of science. We find that all available approaches face substantial challenges, with IPCC approaches having as a primary source of difficulty their goal of providing probabilistic assessments. (shrink)

This book is the first volume featuring the work of American women philosophers in the first half of the twentieth century. It provides selected papers authored by Mary Whiton Calkins, Grace Andrus de Laguna, Grace Neal Dolson, Marjorie Glicksman Grene, Marjorie Silliman Harris, Thelma Zemo Lavine, Marie Collins Swabey, Ellen Bliss Talbot, Dorothy Walsh and Margaret Floy Washburn. The book also provides the historical and philosophical background to their work. The papers focus on the nature of philosophy, knowledge, the philosophy (...) of science, the mind-matter nexus, the nature of time, and the question of freedom and the individual. The material is suitable for scholars, researchers and advanced philosophy students interested in (history of) philosophy; theories of knowledge; philosophy of science; mind, and reality. (shrink)

This essay seeks to demonstrate the following: 1. the value of metaphysical cosmology to our relationship with nature, and to making policy about the environment; 2. the mistaken nature and harmful consequences of the hegemonic cosmology of anthropocentrism; 3. the possibility of Zhang Zai's Qi/qi Great Harmony cosmology as both the refutation of and replacement for anthropocentrism. The essay concludes that ultimate moral progress of expanding the self from the narrow and exclusionary views of anthropocentrism consists in cosmocentrism, or the (...) transformation of thought to a cosmological perspective as exemplified by Zhang Zai's Great Harmony continual cyclical process of Qi/qi. It is argued that positive metaphysical visions such as Zhang Zai's can negate anthropocen-tric cosmology and inspire us to view our relationship with the environment in a fundamentally enlightened and more respectful way, which is not arrogantly self-centred, disconnected and supremacist. (shrink)

Laver [L] and others [G-S] have shown how to make the supercompactness or strongness of κ indestructible by a wide class of forcing notions. We show, alternatively, how to make these properties fragile. Specifically, we prove that it is relatively consistent that any forcing which preserves $\kappa^{<\kappa}$ and κ+, but not P(κ), destroys the measurability of κ, even if κ is initially supercompact, strong, or if I1(κ) holds. Obtained as an application of some general lifting theorems, this result is an (...) "inner model" type of theorem proved instead by forcing. (shrink)

On September 26th, 2023, the National Institute on Minority Health and Health Disparities (NIMHD) officially designated disabled people as a health disparity population, marking the most significant event for disabled people's health as it relates to the NIH. In this paper, I discuss the larger socio-political context as well as the clinical import of this historic decision.

We analyze the effect of replacing several natural uses of definability in set theory by the weaker model-theoretic notion of algebraicity. We find, for example, that the class of hereditarily ordinal algebraic sets is the same as the class of hereditarily ordinal definable sets; that is, $\mathrm{HOA}=\mathrm{HOD}$. Moreover, we show that every algebraic model of $\mathrm{ZF}$ is actually pointwise definable. Finally, we consider the implicitly constructible universe Imp—an algebraic analogue of the constructible universe—which is obtained by iteratively adding not only (...) the sets that are definable over what has been built so far, but also those that are algebraic over the existing structure. While we know that $\mathrm{Imp}$ can differ from $L$, the subtler properties of this new inner model are just now coming to light. Many questions remain open. (shrink)

We consider a set-theoretic version of mereology based on the inclusion relation ⊆ and analyze how well it might serve as a foundation of mathematics. After establishing the non-definability of ∈ from ⊆, we identify the natural axioms for ⊆-based mereology, which constitute a finitely axiomatizable, complete, decidable theory. Ultimately, for these reasons, we conclude that this form of set-theoretic mereology cannot by itself serve as a foundation of mathematics. Meanwhile, augmented forms of set-theoretic mereology, such as that obtained by (...) adding the singleton operator, are foundationally robust. (shrink)

The Necessary Maximality Principle for c. c. c. forcing with real parameters is equiconsistent with the existence of a weakly compact cardinal. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim).

If the Wholeness Axiom wa $_0$ is itself consistent, then it is consistent with v=hod. A consequence of the proof is that the various Wholeness Axioms are not all equivalent. Additionally, the theory zfc+wa $_0$ is finitely axiomatizable.

Dispositionalism is the view that the world is, ultimately, just a world of objects and their irreducible dispositions, and that such dispositions are, ultimately, the sole explanatory ground for the occurrence of events. This view is motivated, partly, by arguing that it affords, while non‐necessitarian views of laws of nature do not afford, an adequate account of our intuitions about which regularities are non‐accidental. I, however, argue that dispositionalism cannot adequately account for our intuitions about which regularities are non‐accidental. Further, (...) I argue that, intuitions aside, if we suppose that our world contains objects along with their irreducible dispositions, we must suppose, on pain of logical incoherence, that it contains laws of nature that are incompatible with a dispositionalist ontology. Indeed, if we suppose a world of objects and irreducible dispositions, we will have to suppose that the most prominent views of laws of nature currently on offer are all inadequate. (shrink)

I argue that, on a dispositionalist account of causation and indeed on any other view of causation according to which causation is a real relation, general relativity does not give causal principles a role in explaining phenomena. In doing so, I bring out a surprisingly substantial constraint on adequate views about the explanations and ontology of GR, namely the requirement that such views show how GR can explain motion that is free of disturbing influences.

In this paper I argue that Kant’s political and juridical philosophy justifies a type of normative legal positivism that implies specific notions of law and legal freedom which determine and restrict the sphere of action of judges and jurists. Finally, I defend that, according to Kant’s practical philosophy, the normative connection between justice and law is not supposed to be carried out at the juridical level, as a meta-juridical theory, but at the political one, making it a meta-political theory.

In And I Said No Lord, photographer and writer Joel Katz presents a pictorial chronicle of his travels through the shifting islands of fear and loss, freedom and deliverance that was segregated Mississippi during the Freedom Summer of 1964.

A varietyV satisfies a strong Malcev condition ∃f1,…, ∃fnθ where θ is a conjunction of equations in the function variablesf1, …,fnand the individual variablesx1, …,xm, if there are polynomial symbolsp1, …,pnin the language ofVsuch that ∀x1, …,xmθ is a law ofV. Thus a strong Malcev condition involves restricted second order quantification of a strange sort. The quantification is restricted to functions which are “polynomially definable”. This notion was introduced by Malcev [6] who used it to describe those varieties all of (...) whose members have permutable congruence relations. The general formal definition of Malcev conditions is due to Grätzer [1]. Since then and especially since Jónsson's [3] characterization of varieties with distributive congruences there has been extensive study of strong Malcev conditions and the related concepts: Malcev conditions and weak Malcev conditions.In [9], Taylor gives necessary and sufficient semantic conditions for a class of varieties to be defined by a Malcev condition. A key to the proof is the translation of the restricted second order concepts into first order concepts in a certain many sorted language. In this paper we show that, given this translation, Taylor's theorem is an easy consequence of a result of Tarski [8] and the standard preservation theorems of first order logic. (shrink)

The infinite time Turing machine analogue of Post's problem, the question whether there are semi-decidable supertask degrees between 0 and the supertask jump 0∇, has in a sense both positive and negative solutions. Namely, in the context of the reals there are no degrees between 0 and 0∇, but in the context of sets of reals, there are; indeed, there are incomparable semi-decidable supertask degrees. Both arguments employ a kind of transfinite-injury construction which generalizes canonically to oracles.

I introduce the key ideas of foundationalist, coherentist and pragmatist theories of knowledge. I then use these ideas as background for presenting the work on knowledge and perception in this part, work by Grace Andrus de Laguna and Marie Collins Swabey. We will see that these authors critique the idea of sense data that was central to the foundationalist theories of knowledge of Bertrand Russel and other early analytic thinkers, though de Laguna’s critique leads to perspectivism about perception and knowledge (...) while Swabey rejects perspectivism. So too, we will see that de Laguna and Swabey develop epistemologies with strong coherentist elements, much as did their idealist teacher James Edwin Creighton. De Laguna’s, developed jointly with her husband, Theodore de Laguna, is a sophisticated form of naturalism that is built on a critique of pragmatist naturalism and is similar to the one made famous later by Willard V. Quine. Swabey rejects all forms of naturalism, arguing that knowledge requires an a priori foundation in reason. (shrink)

This chapter uses the distinction between speculative and analytic philosophy as a background against which to present the summaries of the articles on the nature of philosophy by Mary Whiton Calkins, Dorothy Walsh and Marjorie Glicksman. Calkins and Walsh (in her first contribution) examine the relationship between philosophy and metaphysics: Calkins identifies philosophy with speculative metaphysics while Walsh argues that any ethical theory requires some underlying speculative metaphysics. In Walsh’s second contribution, she further argues that philosophical language rightly is characteristically (...) different from the languages of science, logic and poetry. Glicksman, finally, addresses the question how to deal with the multiplicity of views concerning the nature of philosophy. (shrink)