Field's claim that we have a notion of consistency which is neither model-theoretic nor proof-theoretic but primitive, is examined and criticized. His argument is compared to similar examinations by Kreisel and Etchemendy, and Etchemendy's distinction between interpretational and representational semantics is employed to reveal the flaw in Field's argument.

I interpret Mill?s view on logic as the instrumentalist view that logical inferences, complex statements, and logical operators are not necessary for reasoning itself, but are useful only for our remembering and communicating the results of the reasoning. To defend this view, I first show that we can transform all the complex statements in the language of classical first-order logic into what I call material inference rules and reduce logical inferences to inferences which involve only atomic statements and the material (...) inference rules. Then I explain why we introduce logical operators and logical inference rules into a system of the latter kind. In the end I determine what kind of negation is justified from this point of view. (shrink)

This is a book about the need for redemptive narratives to ward off despair and the dangers these same narratives create by raising expectations that are seldom fulfilled. The quasi-messianic expectations produced by the election of President Barack Obama in 2008, and their diminution, were stark reminders of an ongoing struggle between ideals and political realities. Redemptive Hope begins by tracing the tension between theistic thinkers, for whom hope is transcendental, and intellectuals, who have striven to link hopes for redemption (...) to our intersubjective interactions with other human beings. Lerner argues that a vibrant democracy must draw on the best of both religious thought and secular liberal political philosophy. By bringing Richard Rorty's pragmatism into conversation with early-twentieth-century Jewish thinkers, including Martin Buber and Ernst Bloch, Lerner begins the work of building bridges, while insisting on holding crucial differences in dialectical tension. Only such a dialogue, he argues, can prepare the foundations for modes of redemptive thought fit for the twenty-first century. (shrink)

Coherentism in epistemology has long suffered from lack of formal and quantitative explication of the notion of coherence. One might hope that probabilistic accounts of coherence such as those proposed by Lewis, Shogenji, Olsson, Fitelson, and Bovens and Hartmann will finally help solve this problem. This paper shows, however, that those accounts have a serious common problem: the problem of belief individuation. The coherence degree that each of the accounts assigns to an information set (or the verdict it gives as (...) to whether the set is coherent tout court) depends on how beliefs (or propositions) that represent the set are individuated. Indeed, logically equivalent belief sets that represent the same information set can be given drastically different degrees of coherence. This feature clashes with our natural and reasonable expectation that the coherence degree of a belief set does not change unless the believer adds essentially new information to the set or drops old information from it; or, to put it simply, that the believer cannot raise or lower the degree of coherence by purely logical reasoning. None of the accounts in question can adequately deal with coherence once logical inferences get into the picture. Toward the end of the paper, another notion of coherence that takes into account not only the contents but also the origins (or sources) of the relevant beliefs is considered. It is argued that this notion of coherence is of dubious significance, and that it does not help solve the problem of belief individuation. (shrink)

Elizabeth Barnes and J. Robert G. Williams claim to offer a new ontic theory of vagueness, the kind of theory which considers vagueness to exist not in language but in reality. This paper refutes their claim. The possible worlds they employ are ersatz possible worlds, i.e., sets of sentences. Unlike reality, they don’t contain concrete and often material objects. As a result, there is nothing in Barnes and Williams’s description of the theory that the semanticist cannot or does not accept. (...) Thus, they have failed to establish their theory as a genuine intelligible ontic alternative to semantic theories. (shrink)

This collection addresses a post-WWII shift in the hierarchy of scientific explanations, where the highest goal moves from reductionism towards some ...

This unique anthology of new, contributed essays offers a range of perspectives on various aspects of ontic vagueness. It seeks to answer core questions pertaining to onticism, the view that vagueness exists in the world itself. The questions to be addressed include whether vague objects must have vague identity, and whether ontic vagueness has a distinctive logic, one that is not shared by semantic or epistemic vagueness. The essays in this volume explain the motivations behind onticism, such as the plausibility (...) of mereological vagueness and indeterminacy in quantum mechanics and they offer various arguments both for and against ontic vagueness; onticism is also compared with other, competing theories of vagueness such as semanticism, the view that vagueness exists only in our linguistic representation of the world. Gareth Evans’s influential paper of 1978, “Can There Be Vague Objects?” gave a simple but cogent argument against the coherence of ontic vagueness. Onticism was subsequently dismissed by many. However, in recent years, researchers have become aware of the logical gaps in Evans’s argument and this has triggered a new wave of interest in onticism. Onticism is now widely regarded as at least a coherent view. Reflecting this growing consensus, the present anthology for the first time puts together essays that are focused on onticism and its various facets and it fills in the lacuna in the literature on vagueness, a much-discussed subject in contemporary philosophy. (shrink)

This unique anthology of new, contributed essays offers a range of perspectives on various aspects of ontic vagueness. It seeks to answer core questions pertaining to onticism, the view that vagueness exists in the world itself. The questions to be addressed include whether vague objects must have vague identity, and whether ontic vagueness has a distinctive logic, one that is not shared by semantic or epistemic vagueness. The essays in this volume explain the motivations behind onticism, such as the plausibility (...) of mereological vagueness and indeterminacy in quantum mechanics and they offer various arguments both for and against ontic vagueness; onticism is also compared with other, competing theories of vagueness such as semanticism, the view that vagueness exists only in our linguistic representation of the world. Gareth Evans’s influential paper of 1978, “Can There Be Vague Objects?” gave a simple but cogent argument against the coherence of ontic vagueness. Onticism was subsequently dismissed by many. However, in recent years, researchers have become aware of the logical gaps in Evans’s argument and this has triggered a new wave of interest in onticism. Onticism is now widely regarded as at least a coherent view. Reflecting this growing consensus, the present anthology for the first time puts together essays that are focused on onticism and its various facets and it fills in the lacuna in the literature on vagueness, a much-discussed subject in contemporary philosophy. (shrink)

The view that mathematical objects are indefinite in nature is presented and defended, hi the first section, Field's argument for fictionalism, given in response to Benacerraf's problem of identification, is closely examined, and it is contended that platonists can solve the problem equally well if they take the view that mathematical objects are indefinite. In the second section, two general arguments against the intelligibility of objectual indefiniteness are shown erroneous, hi the final section, the view is compared to mathematical structuralism, (...) and it is shown that a version of structuralism should be understood as embracing the same view. (shrink)

According to alethic pluralism, sentences belonging to different domains of discourse can be true by having different alethic (i.e., truth-constituting) properties. Against this pluralistic view, Jamin Asay has recently argued that pluralists' appeal to multiple alethic properties is ill-motivated because the main advantages of pluralism can already be obtained within the framework of standard truthmaker theory. In response to this objection, this paper argues that Asay's claim does not hold with respect to one of the central advantages of pluralism, namely, (...) the ability to offer a proper understanding of the realism/anti-realism debate. This is because, first, when simply construed, truthmaker theory can only provide an inadequate understanding of the debate, and second, when construed in certain ways that allow it to avoid inadequacy, it becomes committed to multiple alethic properties. (shrink)

For the theorists of crisis, the revolutionary state comes into existence through violence, and due to its inability to provide an authoritative katechon (restrainer) against internal and external violence, it perpetuates violence until it self-destructs. Writing during extreme economic depression and growing social and political violence, the crisis theorists––Joseph de Maistre, Juan Donoso Cortés, and Carl Schmitt––each sought to blame the chaos of their time upon the Janus-faced postrevolutionary ideals of liberalism and socialism by urging a return to pre-revolutionary moral (...) and religious values. They are united by three counterrevolutionary principles, all of which are purported to remedy revolutionary violence: traditional constitutional fidelity, the philosophy of the decision, and opposition to bourgeois liberalism. This essay is followed by the first complete English translation and publication of Donoso’s letter of October 24, 1851, which contains Donoso’s only reference to the “discussing class,” a political entity later popularized by Schmitt in his 1922 work Political Theology. (shrink)

It is usually held that what distinguishes a good inference from a bad one is that a good inference is truth-preserving. Against this view, this paper argues that a logical inference is good or bad depending not on whether it is truth-preserving or not, but whether it belongs to a logical system the addition of which makes a deductively conservative extension of the derivation relations among the atomic statements. To so argue, the paper first contends that the meaning of the (...) logical operators of classical logic is determined not by their connections to truth, but by their inferential roles. It is claimed in conclusion that there is no genuine issue over which logic, classical or intuitionistic, is the correct logic, for they are both conservative in the relevant sense. (shrink)

This is a review essay on Daisuke Kachi’s recent book, Agents: Contemporary Substance Ontology (sic. Shunjusha, 2018). The book develops and partially defends an ontology that takes the category of substance as the most fundamental one. The author provides in it a new perspective on substance, which consists in characterizing substances as bearers of what he calls “substance modalities” (of which there are four kinds, that stem from the factors of essence, power, past persistence, and future persistence respectively). The first (...) part of this review essay gives an extended overview of Kachi’s book while the second discusses some problems it may face. (shrink)

A number of philosophers today endorse the view that material substances (e.g., cats, stones, atoms) can be analyzed as bundles of “particular properties” or “tropes”. Among several developments, the theory that Peter Simons proposed is seen as the most successful one. Simons’ theory seems to owe its high reputation to mainly two advantages which he claims for his theory: the capacity for avoiding infinite regress, and the explanatory adequacy for the phenomenon of change. In this paper, however, I try to (...) object to this high appraisal, by showing that the two alleged advantages in fact cannot be simultaneously secured by Simons’ position. To this aim, I proceed as follows: First, I present Simons’ theory and explain its alleged two advantages. Next, I take up Arda Denkel’s criticism and show that the explanatory adequacy will be lost unless Simons accepts a certain revision of his theory. Finally, I show that as a result of the revision needed, Simons’ position comes to lose the capacity for avoiding infinite regress in turn. (shrink)

Many philosophy majors are shocked by the gap between the relative ease of lower-level philosophy courses and the difficulty of upper-division courses. This book serves as a necessary bridge to upper-level study in philosophy by offering rigorous but concise and accessible accounts of basic concepts and distinctions that are used throughout the discipline. It serves as a valuable advanced introduction to any undergraduate who is moving into upper-level courses in philosophy. While lower-level introductions to philosophy usually deal with popular topics (...) accessible to the general student in a piecemeal fashion, The Philosophy Major's Introduction to Philosophy offers coverage of important general philosophical concepts, tools, and devices that may be used for a long time to come in various philosophical areas. The volume is helpfully divided between a focus on the relation between language and the world in the first three chapters and coverage of mental content in the final two chapters, but builds a coherent narrative from start to finish. It also provides ample study questions and helpful sign-posts throughout, making it a must-have for any student attempting to engage fully with the problems and arguments in philosophy. Key Features Integrates topics from various areas of philosophy, such as philosophy of language, metaphysics, epistemology, ethics, and philosophical logic Provides descriptions of logico-mathematical tools necessary for philosophical studies, such as propositional logic, predicate logic, modal logic, set theory, mereology, and mathematical functions Makes connections with modern philosophy, including discussions of Descartes's skepticism and dualism, Locke's theory of personal identity, Hume's theory of causation, and Kant's synthetic a priori. Includes well-known entertaining puzzles and thought experiments such as the Ship of Theseus, the Statue and the Clay, a Brain in a Vat, and Twin Earth Lists helpful Exercise Questions and Discussion Questions at the end of each chapter and answers selected questions at the back of the book. (shrink)

On the one hand, philosophers have presented numerous apparent examples of indeterminate individuation, i.e., examples in which two things are neither determinately identical nor determinately distinct. On the other hand, some have argued against even the coherence of the very idea of indeterminate individuation. This paper defends the possibility of indeterminate individuation against Evans’s argument and some other arguments. The Determinacy of Identity—the thesis that identical things are determinately identical—is distinguished from the Determinacy of Distinctness—the thesis that distinct things are (...) determinately distinct. It is argued that while the first thesis holds universally and there is no case of indeterminate identity, there are reasons to think that the second thesis does not hold universally, and that there are cases of indeterminate distinctness. (shrink)

In much of the current academic and public discussion, conspiracy theories are portrayed as a negative phenomenon, linked to misinformation, mistrust in experts and institutions, and political propaganda. Rather surprisingly, however, philosophers working on this topic have been reluctant to incorporate a negatively evaluative aspect when either analyzing or engineering the concept conspiracy theory. In this paper, we present empirical data on the nature of the concept conspiracy theory from five studies designed to test the existence, prevalence and exact form (...) of an evaluative dimension to the ordinary concept conspiracy theory. These results reveal that, while there is a descriptive concept of conspiracy theory, the predominant use of conspiracy theory is deeply evaluative, encoding information about epistemic deficiency and often also derogatory and disparaging information. On the basis of these results, we present a new strategy for engineering conspiracy theory to promote theoretical investigations and institutional discussions of this phenomenon. We argue for engineering conspiracy theory to encode an epistemic evaluation, and to introduce a descriptive expression—such as ‘conspiratorial explanation’—to refer to the purely descriptive concept conspiracy theory. (shrink)

This paper introduces Richard Montague's theory of determiner phrases to the philosophically oriented readers who are familiar with Russell's traditional treatment. Determiner phrases include not only quantifier phrases in the narrow sense, such as every man, some woman, and nothing, but also DP conjunctions such as Adam and Betty and Adam or Betty, and even proper names such as Adam and Betty. Montague treats all determiner phrases as belonging to type t, i.e., the type of functions from properties of individuals (...) to truth values. This paper also introduces the simply typed lambda-calculus for the explication of Montague's theory. Two major problems with Montague's theory, one more philosophical and the other more linguistic, are discussed. (shrink)

According to the subset view of realization, a property realizes another if the causal powers of the latter are a subset of those of the former. Against this view, some authors (in particular, Kevin Morris and Paul Audi) have argued that it has an untenable consequence that realizing properties are less fundamental than the properties they realize, because the subset view characterizes realized properties as parts (subsets) of their realizers whereas it is generally true that a part is prior to (...) its whole. This paper defends the subset view from this “part-whole” objection, by arguing that if we compare individual powers of realizer and realizee with particular attention to their manifestation conditions, it turns out that each power of a realizee is grounded in some power of its realizer. This grounding relation between powers, I shall argue, allows subset theorists to explain why a realizer is more fundamental than its realizee, even while having the latter as a part. (shrink)

According to the “truthmaker maximalism”, every true contingent proposition is made true by something in the world, called its truthmaker. Although at first sight the maximalism seems to be a natural position, it has serious difficulties, especially concerning negative truths. In view of this, many truthmaker theorists adopt some non-maximalist position. It is not clear, however, whether these non-maximalists are justified, since existing reasons to justify the non-maximalism are not good enough. In this paper, then, I shall propose a new (...) reason for the non-maximalism, which consists in the observation that the maximalism cannot acknowledge the widely accepted view that certain inferences involving logical constants are valid in the properly logical sense. (shrink)

The Boolean many-valued approach to vagueness is similar to the infinite-valued approach embraced by fuzzy logic in the respect in which both approaches seek to solve the problems of vagueness by assigning to the relevant sentences many values between falsity and truth, but while the fuzzy-logic approach postulates linearly-ordered values between 0 and 1, the Boolean approach assigns to sentences values in a many-element complete Boolean algebra. On the modal-precisificational approach represented by Kit Fine, if a sentence is indeterminate in (...) truth value in some world, it is taken to be true in one precisified world accessible from that world and false in another. This paper points to a way to unify these two approaches to vagueness by showing that Fine’s version of the modal-precisificational approach can be combined with the Boolean many-valued approach instead of supervaluationism, one of the most popular approaches to vagueness. (shrink)

The strong immanent realism (i.e., the view that there exist universals as entities capable of being wholly present wherever their instances are located) has been traditionally criticized for having certain absurd consequences. Although Gilmore (2003) replied to these criticisms by taking spatial relations involving universals as relativized to their locations, his reply has been rebutted by Keskinen et al. (2015). This paper aims to defend the strong immanent realism by proposing a new version of the relativization strategy, according to which (...) a spatial relation is to be relativized just to the extent that it contains universals or concrete particulars among its terms. This version, it will be argued, can satisfactorily address the objections hitherto posed to the strong immanent realism. (shrink)

This paper offers the Boolean many-valued solution to the Sorites Paradox. According to the precisification-based Boolean many-valued theory, from which this solution arises, sentences have not only two truth values, truth (or 1) and falsity (or 0), but many Boolean values between 0 and 1. The Boolean value of a sentence is identified with the set of precisifications in which the sentence is true. Unlike degrees fuzzy logic assigns to sentences, Boolean many values are not linearly but only partially ordered; (...) so there are values that are incomparable. Despite this fact, the sentences in a sorites series can be taken as having values in a linear order, and losing (or gaining) value as we move from sentence to sentence in the series. So there is no sharp borderline between 0 and 1. Assigning Boolean many values instead of the two truth values to sentences for their vagueness values is analogous to assigning propositions instead of the truth values to sentences for their semantic values, as propositions are, from our viewpoint, also Boolean many values. (shrink)