In _Realistic Rationalism_, Jerrold J. Katz develops a new philosophical position integrating realism and rationalism. Realism here means that the objects of study in mathematics and other formal sciences are abstract; rationalism means that our knowledge of them is not empirical. Katz uses this position to meet the principal challenges to realism. In exposing the flaws in criticisms of the antirealists, he shows that realists can explain knowledge of abstract objects without supposing we have causal contact with them, that numbers (...) are determinate objects, and that the standard counterexamples to the abstract/concrete distinction have no force. Generalizing the account of knowledge used to meet the challenges to realism, he develops a rationalist and non-naturalist account of philosophical knowledge and argues that it is preferable to contemporary naturalist and empiricist accounts. The book illuminates a wide range of philosophical issues, including the nature of necessity, the distinction between the formal and natural sciences, empiricist holism, the structure of ontology, and philosophical skepticism. Philosophers will use this fresh treatment of realism and rationalism as a starting point for new directions in their own research. (shrink)

Kurt Gödel with his work on the constructible universeLestablished the relative consistency of the Axiom of Choice and the Continuum Hypothesis. More broadly, he ensured the ascendancy of first-order logic as the framework and a matter of method for set theory and secured the cumulative hierarchy view of the universe of sets. Gödel thereby transformed set theory and launched it with structured subject matter and specific methods of proof. In later years Gödel worked on a variety of set theoretic constructions (...) and speculated about how problems might be settled with new axioms. We here chronicle this development from the point of view of the evolution of set theory as a field of mathematics. Much has been written, of course, about Gödel's work in set theory, from textbook expositions to the introductory notes to his collected papers. The present account presents an integrated view of the historical and mathematical development as supported by his recently published lectures and correspondence. Beyond the surface of things we delve deeper into the mathematics. What emerges are the roots and anticipations in work of Russell and Hilbert, and most prominently the sustained motif of truth as formalizable in the “next higher system”. We especially work at bringing out how transforming Gödel's work was for set theory. It is difficult now to see what conceptual and technical distance Gödel had to cover and how dramatic his re-orientation of set theory was. (shrink)

We discuss the work of Paul Cohen in set theory and its influence, especially the background, discovery, development of forcing.

In this paper, we study natural language constructions which were first examined by Barwise: The richer the country, the more powerful some of its officials. Guided by Barwise’s observations, we suggest that conceivable interpretations of such constructions express the existence of various similarities between partial orders such as homomorphism or embedding. Semantically, we interpret the constructions as polyadic generalized quantifiers restricted to finite models. We extend the results obtained by Barwise by showing that similarity quantifiers are not expressible in elementary (...) logic over finite models. We also investigate whether the proposed readings are sound from the cognitive perspective. We prove that almost all similarity quantifiers are intractable. This leads us to first-order variants, which only approximate the strong readings, but are cognitively more plausible. Driven by the question of ambiguity, we recall Barwise’s argumentation in favour of strong readings, enriching it with some arguments of our own. Given that Barwise-like sentences are indeed ambiguous, we use a generalized Strong Meaning Hypothesis to derive predictions for their verification. Finally, we propose a hypothesis according to which conflicting pressures of communication and cognition might give rise to an ambiguous construction, provided that different semantic variants of the construction withstand different pressures involved in its usage. (shrink)

This book defends the view that any adequate account of rational decision making must take a decision maker's beliefs about causal relations into account. The early chapters of the book introduce the non-specialist to the rudiments of expected utility theory. The major technical advance offered by the book is a 'representation theorem' that shows that both causal decision theory and its main rival, Richard Jeffrey's logic of decision, are both instances of a more general conditional decision theory. The book solves (...) a long-standing problem for Jeffrey's theory by showing for the first time how to obtain a unique utility and probability representation for preferences and judgements of comparative likelihood. The book also contains a major new discussion of what it means to suppose that some event occurs or that some proposition is true. The most complete and robust defence of causal decision theory available. (shrink)

The pragmatic character of the Dutch book argument makes it unsuitable as an "epistemic" justification for the fundamental probabilist dogma that rational partial beliefs must conform to the axioms of probability. To secure an appropriately epistemic justification for this conclusion, one must explain what it means for a system of partial beliefs to accurately represent the state of the world, and then show that partial beliefs that violate the laws of probability are invariably less accurate than they could be otherwise. (...) The first task can be accomplished once we realize that the accuracy of systems of partial beliefs can be measured on a gradational scale that satisfies a small set of formal constraints, each of which has a sound epistemic motivation. When accuracy is measured in this way it can be shown that any system of degrees of belief that violates the axioms of probability can be replaced by an alternative system that obeys the axioms and yet is more accurate in every possible world. Since epistemically rational agents must strive to hold accurate beliefs, this establishes conformity with the axioms of probability as a norm of epistemic rationality whatever its prudential merits or defects might be. (shrink)

The absence of a common understanding of attention plagues current research on the topic. Combining the findings from three domains of research on attention, this paper presents a univocal account that fits normal use of the term as well as its many associated phenomena: attention is a process of mental selection that is within the control of the subject. The role of the subject is often excluded from naturalized accounts, but this paper will be an exception to that rule. The (...) paper aims to show how we might reinstate the subject into the act of attention, endorsing the ordinary notion that attention is a direction of the mind by the subject, rather than a mere occurrence or happening. To do so, it lays out the best work of phenomenology, psychology, and neuroscience on specifying the nature of attention and, in finding them individually wanting, combines them into a unified view that avoids the problems of each. (shrink)

How does attention contribute to perceptual experience? Within cognitive science, attention is known to contribute to the organization of sensory features into perceptual objects, or “object-based organization.” The current paper tackles a different type of organization and thus suggests a different role for attention in conscious perception. Within every perceptual experience we find that more subjectively interesting percepts stand out in the foreground, whereas less subjectively interesting percepts are relegated to the background. The sight of a sycamore often gains the (...) visual foreground for a nature lover, whereas the sound of a violin often gains the auditory foreground for a music lover, but not necessarily vice versa. How does the perceptual system organize early sensory processing according to the subject’s interests? The current paper reveals how this subject-based organization is brought about and maintained through top-down attention. In fact, the current paper argues that top-down attention is necessary for conscious perception in so far as it is necessary for bringing about and maintaining the subject-based organization of perceptual experience. (shrink)

"[This book] proposes new foundations for the Bayesian principle of rational action, and goes on to develop a new logic of desirability and probabtility."—Frederic Schick, _Journal of Philosophy_.

Real-world agents do not know all consequences of what they know. But we are reluctant to say that a rational agent can fail to know some trivial consequence of what she knows. Since every consequence of what she knows can be reached via chains of trivial cot be dismissed easily, as some have attempted to do. Rather, a solution must give adequate weight to the normative requirements on rational agents’ epistemic states, without treating those agents as mathematically ideal reasoners. I’ll (...) argue that agents can fail to know trivial consequences of what they know, but never determinately. Such cases are epistemic oversights on behalf of the agent in question, and the facts about epistemic oversights are always indeterminate facts. As a result, we are never in a position to assert that such-and-such constitutes an epistemic oversight for agent i (for we may rationally assert only determinate truths). I then develop formal epistemic models according to which epistemic accessibility relations are vague. Given these models, we can show that epistemic oversights always concern indeterminate cases of knowledge. (shrink)

We present epistemic multilateral logic, a general logical framework for reasoning involving epistemic modality. Standard bilateral systems use propositional formulae marked with signs for assertion and rejection. Epistemic multilateral logic extends standard bilateral systems with a sign for the speech act of weak assertion (Incurvati and Schlöder 2019) and an operator for epistemic modality. We prove that epistemic multilateral logic is sound and complete with respect to the modal logic S5 modulo an appropriate translation. The logical framework developed provides the (...) basis for a novel, proof-theoretic approach to the study of epistemic modality. To demonstrate the fruitfulness of the approach, we show how the framework allows us to reconcile classical logic with the contradictoriness of so-called Yalcin sentences and to distinguish between various inference patterns on the basis of the epistemic properties they preserve. (shrink)

How do rational minds make contact with the world? The empiricist tradition sees a gap between mind and world, and takes sensory experience, fallible as it is, to provide our only bridge across that gap. In its crudest form, for example, the traditional idea is that our minds consult an inner realm of sensory experience, which provides us with evidence about the nature of external reality. Notoriously, however, it turns out to be far from clear that there is any viable (...) conception of experience which allows it to do the job. The original problem is to show that thought is rationally constrained by external reality. If sensory experience is to provide the solution--in particular, if it is to provide the answer to sceptical challenges--it must therefore meet two criteria. First, it must itself be `receptive'--i.e., appropriately constrained by external reality. Second, it must be the kind of thing that can enter into a logical or rational relationship with belief--it must already be `conceptual,' in other words. In arguing against the idea that anything could serve both roles, Wilfred Sellars termed this conception of experience "the Myth of the Given.". (shrink)

Seven proposed accounts of epistemic possibility are criticized, and a new account is proposed, making use of the notion of having justification for dismissing a proposition. The new account explains intuitions about otherwise puzzling cases, upholds plausible general principles about epistemic possibility, and explains the practical import of epistemic modality judgements. It is suggested that judgements about epistemic possibility function to assess which propositions are worthy of further inquiry.

I want to promote what I shall call ‘the identity theory of truth’. I suggest that other accounts put forward as theories of truth are genuine rivals to it, but are unacceptable. A certain conception of thinkables belongs with the identity theory’s conception of truth. I introduce these conceptions in Part I, by reference to John McDowell’s Mind and World; and I show why they have a place in an identity theory, which I introduce by reference to Frege. In Part (...) II, I elaborate on the conception of thinkables, with a view to demonstrating that the identity theory’s conception of truth is defensible. Part III is concerned with the theory’s relation to some recent work on the concept of truth: I hope to show that the identity theorist not only has a defensible conception of truth, but also, in the present state of play, has appropriate ambitions. (shrink)

This paper presents a defense of Epistemic Arithmetic as used for a formalization of intuitionistic arithmetic and of certain informal mathematical principles. First, objections by Allen Hazen and Craig Smorynski against Epistemic Arithmetic are discussed and found wanting. Second, positive support is given for the research program by showing that Epistemic Arithmetic can give interesting formulations of Church's Thesis.

John Horty effectively develops deontic logic (the logic of ethical concepts like obligation and permission) against the background of a formal theory of agency. He incorporates certain elements of decision theory to set out a new deontic account of what agents ought to do under various conditions over extended periods of time. Offering a conceptual rather than technical emphasis, Horty's framework allows a number of recent issues from moral theory to be set out clearly and discussed from a uniform point (...) of view. (shrink)

Introduction to this special issue of The Australasian Journal of Logic.

Logic isn’t special. Its theories are continuous with science; its method continuous with scientific method. Logic isn’t a priori, nor are its truths analytic truths. Logical theories are revisable, and if they are revised, they are revised on the same grounds as scientific theories. These are the tenets of anti-exceptionalism about logic. The position is most famously defended by Quine, but has more recent advocates in Maddy, Priest, Russell, and Williamson. Although these authors agree on many methodological issues about logic, (...) they disagree about which logic anti-exceptionalism supports. Williamson uses an anti-exceptionalist argument to defend classical logic, while Priest claims that his anti-exceptionalism supports nonclassical logic. This paper argues that the disagreement is due to a difference in how the parties understand logical theories. Once we reject Williamson’s deflationary account of logical theories, the argument for classical logic is undercut. Instead an alternative account of logical theories is offered, on which logical pluralism is a plausible supplement to anti-exceptionalism. (shrink)

The typical kind of color realism is reductive: the color properties are identified with properties specified in other terms (as ways of altering light, for instance). If no reductive analysis is available — if the colors are primitive sui generis properties — this is often taken to be a convincing argument for eliminativism. That is, realist primitivism is usually thought to be untenable. The realist preference for reductive theories of color over the last few decades is particularly striking in light (...) of the generally anti-reductionist mood of recent philosophy of mind. The parallels between the mind—body problem and the case of color are substantial enough that the difference in trajectory is surprising. While dualism and non-reductive physicalism are staples, realist primitivism is by and large a recent addition to the color literature. And it remains a minority position, although one that is perhaps gaining support. In this paper, we investigate whether it should be accepted, and conclude it should not be. (shrink)

Orthodoxy has it that only metaphysically elite properties can be invoked in scientifically elite laws. We argue that this claim does not fit scientific practice. An examination of candidate scientifically elite laws like Newton’s F = ma reveals properties invoked that are irreversibly defined and thus metaphysically non-elite by the lights of the surrounding theory: Newtonian acceleration is irreversibly defined as the second derivative of position, and Newtonian resultant force is irreversibly defined as the sum of the component forces. We (...) think that scientists are happy to invoke metaphysically non-elite properties in scientifically elite laws for reasons of convenience, such as to simplify the equations and to make them more modular. On this basis, we draw a deflationary moral about laws themselves, as being merely convenient summaries. 1 Introduction2 Orthodoxy2.1 Orthodoxy stated2.2 Orthodoxy explained2.3 A worrisome commitment: Term objectivism3 The Loose View3.1 The argument from practice3.2 Finding the scientifically elite equations3.3 Diagnosing the metaphysically non-elite properties3.4 Situating our challenge4 Newtonian Mechanics4.1 Newtonian acceleration4.2 Newtonian resultant force4.3 A metaphysical discovery?5 Objections5.1 Metaphysically elite after all?5.2 Scientifically non-elite after all?5.3 But our world is not Newtonian!6 Consequences6.1 Consequences for the motivations for link6.2 Consequences for metaphysically elite properties6.3 Consequences for lawhood. (shrink)

We explore some possibilities for developing epistemic logic using truthmaker semantics. We identify three possible targets of analysis for the epistemic logician. We then list some candidate epistemic principles and review the arguments that render some controversial. We then present the classic Hintikkan approach to epistemic logic and note—as per the ‘problem of logical omniscience’—that it validates all of the aforementioned principles, controversial or otherwise. We then lay out a truthmaker framework in the style of Kit Fine and present six (...) different ways of extending this semantics with a conditional knowledge operator, drawing on notions of implication and content that are prominent in Fine’s work. We demonstrate that different logics are thereby generated, bearing on the aforementioned epistemic principles. Finally, we offer preliminary observations about the prospects for each logic. (shrink)

This paper examines the mind and language of an omniscient being from a supervaluationist perspective. Two questions hall receive special attention. How ought the supervaluationist explicate the concept of omniscience? And what ought the supervaluationist expect an omniscient speaker to say about a Sorites series?

Expressivists about epistemic modals deny that ‘Jane might be late’ canonically serves to express the speaker’s acceptance of a certain propositional content. Instead, they hold that it expresses a lack of acceptance. Prominent expressivists embrace pragmatic expressivism: the doxastic property expressed by a declarative is not helpfully identified with that sentence’s compositional semantic value. Against this, we defend semantic expressivism about epistemic modals: the semantic value of a declarative from this domain is the property of doxastic attitudes it canonically serves (...) to express. In support, we synthesize data from the critical literature on expressivism—largely reflecting interactions between modals and disjunctions—and present a semantic expressivism that readily predicts the data. This contrasts with salient competitors, including: pragmatic expressivism based on domain semantics or dynamic semantics; semantic expressivism à la Moss [2015]; and the bounded relational semantics of Mandelkern [2019]. (shrink)

The argument is not, however, problem-free. First: while the meaning of s might not guarantee a verifying state of affairs, mightn’t the fact of one’s believing that s is true guarantee a verifying state of affairs? And mightn’t this fact be exploited to secure knowledge of truths that are deeply contingent? Second: the argument seems to rely on the principle that if I can conceive that not P is actually the case, then I do not know that P. But it (...) is generally agreed that a knowledge-conferring warrant for some P need not offer a watertight guarantee of P and thus need not render it inconceivable that the actual world falsifies P. Why then require such a guarantee when it comes to priori warrant? The first objection is that a guarantee of truth need not come from semantics. The second is that no such guarantee is required for a priori knowledge. I shall be exploring both of these ideas in what follows. (shrink)

The argument is not, however, problem-free. First: while the meaning of s might not guarantee a verifying state of affairs, mightn’t the fact of one’s believing that s is true guarantee a verifying state of affairs? And mightn’t this fact be exploited to secure knowledge of truths that are deeply contingent? Second: the argument seems to rely on the principle that if I can conceive that not P is actually the case, then I do not know that P. But it (...) is generally agreed that a knowledge-conferring warrant for some P need not offer a watertight guarantee of P and thus need not render it inconceivable that the actual world falsifies P. Why then require such a guarantee when it comes to priori warrant? The first objection is that a guarantee of truth need not come from semantics. The second is that no such guarantee is required for a priori knowledge. I shall be exploring both of these ideas in what follows. (shrink)

Cognitivism in psychology and philosophy is roughly the position that intelligent behavior can (only) be explained by appeal to internal that is, rational thought in a very broad sense. Sections 1 to 5 attempt to explicate in detail the nature of the scientific enterprise that this intuition has inspired. That enterprise is distinctive in at least three ways: It relies on a style of explanation which is different from that of mathematical physics, in such a way that it is not (...) basically concerned with quantitative equational laws; the states and processes with which it deals are in the sense that they are regarded as meaningful or representational; and it is not committed to reductionism, but is open to reduction in a form different from that encountered in other sciences. Spelling these points out makes it clear that the Cognitivist study of the mind can be rigorous and empirical, despite its unprecedented theoretical form. The philosophical explication has another advantage as well: It provides a much needed framework for articulating questions about whether the Cognitivist approach is right or wrong. The last three sections take that advantage of the account, and address several such questions, pro and con. (shrink)

It is always awkward when someone asks me informally what I’m working on and I answer that I’m trying to figure out what gender is. For outside a rather narrow segment of the academic world, the term ‘gender’ has come to function as the polite way to talk about the sexes. And one thing people feel pretty confident about is their knowledge of the difference between males and females. Males are those human beings with a range of familiar primary and (...) secondary sex characteristics, most important being the penis; females are those with a different set, most important being the vagina or, perhaps, the uterus. Enough said. Against this background, it isn’t clear what could be the point of an inquiry, especially a philosophical inquiry, into “what gender is”. (shrink)

This expanded edition of C L Hardin's ground-breaking work on colour features a new chapter, 'Further Thoughts: 1993', in which the author revisits the dispute ...

The multiverse view in set theory, introduced and argued for in this article, is the view that there are many distinct concepts of set, each instantiated in a corresponding set-theoretic universe. The universe view, in contrast, asserts that there is an absolute background set concept, with a corresponding absolute set-theoretic universe in which every set-theoretic question has a definite answer. The multiverse position, I argue, explains our experience with the enormous range of set-theoretic possibilities, a phenomenon that challenges the universe (...) view. In particular, I argue that the continuum hypothesis is settled on the multiverse view by our extensive knowledge about how it behaves in the multiverse, and as a result it can no longer be settled in the manner formerly hoped for. (shrink)

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)

If □ is conceived as an operator, i.e., an expression that gives applied to a formula another formula, the expressive power of the language is severely restricted when compared to a language where □ is conceived as a predicate, i.e., an expression that yields a formula if it is applied to a term. This consideration favours the predicate approach. The predicate view, however, is threatened mainly by two problems: Some obvious predicate systems are inconsistent, and possible-worlds semantics for predicates of (...) sentences has not been developed very far. By introducing possible-worlds semantics for the language of arithmetic plus the unary predicate □, we tackle both problems. Given a frame (W, R) consisting of a set W of worlds and a binary relation R on W, we investigate whether we can interpret □ at every world in such a way that □ $\ulcorner A \ulcorner$ holds at a world ᵆ ∊ W if and only if A holds at every world $\upsilon$ ∊ W such that ᵆR $\upsilon$ . The arithmetical vocabulary is interpreted by the standard model at every world. Several 'paradoxes' (like Montague's Theorem, Gödel's Second Incompleteness Theorem, McGee's Theorem on the ω-inconsistency of certain truth theories, etc.) show that many frames, e.g., reflexive frames, do not allow for such an interpretation. We present sufficient and necessary conditions for the existence of a suitable interpretation of □ at any world. Sound and complete semi-formal systems, corresponding to the modal systems K and K4, for the class of all possible-worlds models for predicates and all transitive possible-worlds models are presented. We apply our account also to nonstandard models of arithmetic and other languages than the language of arithmetic. (shrink)

This paper defends a deflationary conception of properties, according to which a property exists if and only if there could be a predicate with appropriate satisfaction conditions. I argue that purely general properties and relations necessarily exist and discuss the bearing of this conception of properties on the interpretation of higher-order logic and on Quine's charge that higher-order logic is ‘set theory in sheep's clothing’. On my approach, the usual semantics involves a false assimilation of the logic to set theory. (...) I conclude with remarks about implications for the programme of founding mathematical theories in higher-order logic plus abstraction principles. (shrink)

In philosophical logic necessity is usually conceived as a sentential operator rather than as a predicate. An intensional sentential operator does not allow one to express quantified statements such as 'There are necessary a posteriori propositions' or 'All laws of physics are necessary' in first-order logic in a straightforward way, while they are readily formalized if necessity is formalized by a predicate. Replacing the operator conception of necessity by the predicate conception, however, causes various problems and forces one to reject (...) many philosophical accounts involving necessity that are based on the use of operator modal logic. We argue that the expressive power of the predicate account can be restored if a truth predicate is added to the language of first-order modal logic, because the predicate 'is necessary' can then be replaced by 'is necessarily true'. We prove a result showing that this substitution is technically feasible. To this end we provide partial possible-worlds semantics for the language with a predicate of necessity and perform the reduction of necessities to necessary truths. The technique applies also to many other intensional notions that have been analysed by means of modal operators. (shrink)

The neo-Fregean program in the philosophy of mathematics seeks a foundation for a substantial part of mathematics in abstraction principles—for example, Hume’s Principle: The number of Fs D the number of Gs iff the Fs and Gs correspond one-one—which can be regarded as implicitly definitional of fundamental mathematical concepts—for example, cardinal number. This paper considers what kind of abstraction principle might serve as the basis for a neo- Fregean set theory. Following a brief review of the main difficulties confronting the (...) most widely discussed proposal to date—replacing Frege’s inconsistent Basic Law V by Boolos’s New V which restricts concepts whose extensions obey the principle of extensionality to those which are small in the sense of being smaller than the universe—the paper canvasses an alternative way of implementing the limitation of size idea and explores the kind of restrictions which would be required for it to avoid collapse. (shrink)