It is common to distinguish two great families of representation. Symbolic representations include logical and mathematical symbols, words, and complex linguistic expressions. Iconic representations include dials, diagrams, maps, pictures, 3-dimensional models, and depictive gestures. This essay describes and motivates a new way of distinguishing iconic from symbolic representation. It locates the difference not in the signs themselves, nor in the contents they express, but in the semantic rules by which signs are associated with contents. The two kinds of rule have (...) divergent forms, occupying opposite poles on a spectrum of naturalness. Symbolic rules are composed entirely of primitive juxtapositions of sign types with contents, while iconic rules determine contents entirely by uniform natural relations with sign types. This distinction is marked explicitly in the formal semantics of familiar sign systems, both for atomic first-order representations, like words, pixel colors, and dials, and for complex second-order representations, like sentences, diagrams, and pictures. (shrink)

Deflationists about truth hold that the function of the truth predicate is to enable us to make certain assertions we could not otherwise make. Pragmatists claim that the utility of negation lies in its role in registering incompatibility. The pragmatist insight about negation has been successfully incorporated into bilateral theories of content, which take the meaning of negation to be inferentially explained in terms of the speech act of rejection. We implement the deflationist insight in a bilateral theory by taking (...) the meaning of the truth predicate to be explained by its inferential relation to assertion. We combine this account of the meaning of the truth predicate with a new diagnosis of the liar paradox: its derivation requires the truth rules to preserve evidence, but these rules only preserve commitment. The result is a novel inferential deflationist theory of truth, which solves the liar paradox in a principled manner. We end by showing that our theory and simple extensions thereof have the resources to axiomatize the internal logic of several supervaluational hierarchies, including Cantini’s. This solves open problems of Halbach (2011) and Horsten (2011). (shrink)

A critical review of Collin Rice's book, Leveraging Distortions: Explanation, Idealization, and Universality in Science.

Predictable polarization is everywhere: we can often predict how people’s opinions, including our own, will shift over time. Extant theories either neglect the fact that we can predict our own polarization, or explain it through irrational mechanisms. They needn’t. Empirical studies suggest that polarization is predictable when evidence is ambiguous, that is, when the rational response is not obvious. I show how Bayesians should model such ambiguity and then prove that—assuming rational updates are those which obey the value of evidence—ambiguity (...) is necessary and sufficient for the rationality of predictable polarization. The main theoretical result is that there can be a series of such updates, each of which is individually expected to make you more accurate, but which together will predictably polarize you. Polarization results from asymmetric increases in accuracy. This mechanism is not only theoretically possible, but empirically plausible. I argue that cognitive search—searching a cognitively accessible space for a particular item—often yields asymmetrically ambiguous evidence, I present an experiment supporting its polarizing effects, and I use simulations to show how it can explain two of the core causes of polarization: confirmation bias and the group polarization effect. (shrink)

Crafted within a knowledge-first epistemological framework, Mona Simion’s engaging and wide-ranging work ensures that both the Knowledge Norm of Assertion (KNA) and Classical Invariantism (CI) can be part of a viable and productive research program.Dissatisfied with current strategies on offer in the literature, she successfully counters objections to the pair sourced in “shiftiness intuitions”—intuitions that seem to indicate that mere changes in practical context can impact the propriety of assertions and knowledge attributions. For example, in Keith DeRose’s famous pair of (...) low stakes versus high stakes bank cases, the consequences of Keith’s acting on The bank is open on Saturday if it were false change from trivial in low stakes to catastrophic in high stakes. We are to suppose that the proposition is true, and that Keith has access to the same quantity and quality of evidence for it in both cases. In low stakes, but not in high stakes, we are inclined to think that Keith can appropriately assert to his inquiring wife “The bank is open on Saturday.” In low stakes, Keith’s knowledge ascription “I know that the bank is open on Saturday” strikes us as aptly asserted and true. In high stakes only a knowledge denial on Keith’s part strikes us as aptly asserted and true.If we want to hang on to KNA, it looks like we will have to abandon CI and concede that ‘knows’ or knowledge is sensitive to changes in practical considerations. If we want to retain CI, we can try to say that, while Keith does still know that the bank is open on Saturday in high stakes, he does not have sufficient warrant to properly assert that it is. But such a move seems to run counter to KNA. We appear to be stuck in the Shiftiness Dilemma.Keen to get us out of the dilemma and to preserve the idea that epistemically good thinking and asserting are independent of practical concerns, Simion suggests a strategy that can also be used to protect other epistemic speech-act norms and notions from similar threats of practical shiftiness. She notes that having an impact on the degree of epistemic warrant required is not enough to make a norm an epistemic one. Fair enough. If I am given strong practical reason (a million dollars, or a gun to the head) not to adopt full belief until I have gathered more evidence, there is potentially some nonepistemic norm at work in the demand for further evidence. So it is a live possibility (indeed, a plausible one, as Simion would say) that our intuitions in the Shiftiness Dilemma are being misdescribed: they are tracking all-things-considered propriety of assertion, not epistemic propriety. In high stakes, practical norms override the epistemic norm KNA. Keith’s asserting “The bank is open on Saturday” would be epistemically proper but all-things-considered improper.Simion backs up her account with an etiological-function origin story and typology for the norms of assertion. Here is her characterization of etiological function for traits, artifacts, and actions. E-function.A token of type T has the e-function of type B of producing effect E in a system S iff (1) tokens of T produced E in the past, (2) producing E resulted in benefit of type B in S/S’s ancestors, and (3) producing E’s having B-benefited S’s ancestors contributes to the explanation of why T exists in S.In this schema, norms governing an action are typed by the functions or purposes of the action, which in turn are typed by the benefits the action delivers. The epistemic norm of assertion will be the one that characteristically and reliably enables participants in the practice of assertion to secure its primary epistemic good, which Simion identifies as knowledge (testimonial knowledge in hearers generated under normal conditions by the assertions of knowledgeable speakers). Moves in a practice either directly or indirectly aim at fulfilling the goal of the practice. Assertion is a move in the practice of inquiry, which has the generation of knowledge as its aim. Hence, Simion concludes, assertion aims at generating knowledge.This account helps to explain why, in cases like high stakes, Keith all-things-considered ought not to assert “The bank is open on Saturday,” even though he knows it is true. Prudential norms of assertion override the epistemic KNA, for when multiple functions come into conflict, the ones that are more important to the survival of the organism will generate weightier normative constraints.Simion then applies her account to the general category of constatives—for example, speech acts that express a speaker’s belief and the intention that the hearer form or continue to hold the like belief. Employing the taxonomy of Bach and Harnish, she argues that, as expressions of belief and hence varieties of assertion, constatives are subject to knowledge norms as well. Bach and Harnish identify fifteen different subcategories of constatives, each characterized in terms of the kind of belief and intention they express. The norms governing a species have to be at least as strong as the norms governing the corresponding type. As species of the type assertion, each subcategory, then, is subject to at least the necessary direction of KNA. Ultimately, we arrive at a knowledge norm for every speech act on the list, such as The Knowledge Norm of Conjecture (KNC):One’s conjecture that p is epistemically permissible only if one knows that there is reason, but not sufficient reason, to believe that p. Most of the proposed interpretations of various constatives are on the whole reasonable enough, though J. L. Austin would surely be unhappy to see so many different speech acts fashioned into varieties of assertion. Simion concludes with reflections on conjecturing, telling, and moral assertion.Construing the challenge of shiftiness intuitions in terms of the Shiftiness Dilemma allows Simion to declare success when the compatibility of KNA and CI with the relevant data of intuition is secured. Ensuring empirical adequacy for an explanatory framework is an important step, but pronouncements of victory by way of inference to the best explanation would be premature.Other candidates have been shown to match KNA’s familiar explanatory successes (involving lottery propositions, Moorean statements, etc.). Unlike KNA, alternatives that require only epistemically justified or rational belief or credence can allow that a subject is epistemically proper to assert what they believe when their belief is epistemically rational, even under conditions where there are defeating reasons that they are not in a position to be aware of. Furthermore, such norms seem better suited for philosophical or heated moral discussions where there is little consensus and individuals routinely fail to know that what they assert is true. Simion sounds the alarm that the Shiftiness Dilemma threatens to generalize “to epistemic normativity as a whole” (xi–xii), but norms concerning rational credence seem particularly immune.As Simion notes, the etiological-function model of norms that she proposes could be rebuilt with a different central epistemic aim at its core. Indeed, Millikan-inspired models along these lines are appealed to in other areas in philosophy where the concept of information takes center stage—a concept that may be more amenable to rigorous definition and use in dialogue with the sciences than knowledge. We can wonder, also, what special weight the etiological-function model accords to a knowledge-first perspective on epistemic normativity when the model is malleable in this way.The effectiveness of Simion’s strategy for shielding epistemically good thinking and assertion from practical shiftiness becomes less apparent when we try to apply it to Keith’s belief or judgment that the knowledge ascription/denial he asserts is true. It is unclear whether we are to suppose that, in high stakes, Keith epistemically ought to believe/judge that his asserted knowledge denial is false, but all-things-considered he ought to believe/judge that it is true. We do not have to accept that the knowledge-first, etiological function account of normativity for assertion carries over to belief, of course, but then what progress have we made in accounting for the shiftiness in Keith’s judgment that he knows the bank is open on Saturday in low stakes but not in high stakes?Furthermore, there are other ways to generate problems for fallibilist Classical Invariantists in low versus high stakes pairs of cases. Here is a simplified version of a puzzle from the debate over pragmatic encroachment. Consider low cases where you meet the invariant standards for knowing that p, but your justified confidence falls short of certainty. Among these cases, there must be some where you also meet the invariant standards for knowing that if p is true, then among your choices of action ϕ-ing results in the best overall outcome. Say, for instance, that you have a machine with a ϕ button, and your machine, which you know to be extremely reliable, tells you what the cost or benefit will be if you push the button and p is true versus if p is false. If you ϕ (push the ϕ button) and p is true, you win one hundred dollars; if you ϕ and p is false, you lose one hundred dollars. You face the choice: to ϕ or not to ϕ. Since you know that p, and you know that if p is true, then among your choices of action ϕ-ing results in the best overall outcome, you rationally conclude that ϕ-ing results in the best overall outcome, and hence that you ought to ϕ. If you know which choice of action has the best overall outcome, that is what you all-things-considered should do. Now consider high, where the quantity and quality of your evidence for p is the same, and you still know that your machine is extremely reliable. This time, however, the machine tells you that if you push ϕ and p is true, you win one hundred dollars, but if you push ϕ and p is false, you lose $1 million. Your rational confidence in p is not high enough to justify pushing the button, so you rationally conclude that you ought not to ϕ. Since in high nothing evidentially relevant has changed (all that has changed is the machine informing you of a new, more serious cost of acting on p if p is false), the classical invariantist will have to say that you still know that ϕ, and you still know that if p is true, then among your choices of action ϕ-ing results in the best overall outcome. So, according to CI, you should still be able to reason properly as follows: you know that p, and you know that if p is true, then among your choices of action ϕ-ing results in the best overall outcome, so you know that ϕ-ing results in the best overall outcome, hence you ought to ϕ. Classical invariantists owe us an explanation concerning how we can avoid the paradox here without conceding that knowledge is practically shifty. (shrink)

Here is a fact about humans: we use our senses to pick up on things around us and our intellect to understand whatever is out there to be understood. In Mind and World in Aristotle’s De Anima, Kelsey argues that this fact is, in Aristotle’s view, in need of an explanation. He finds one in De Anima 3.8’s suggestion that “intelligence [is] form of forms, and sensibility form of sensibilia” (432a2–3; quoted on p. 2). Roughly, his proposal is that our (...) sensibility and intelligence “enter into the very idea” of their objects; they know them because they help make them what they are (20). -/- This is an admirably adventurous thesis, and Kelsey’s arguments for it are likewise so. A particular strength, in fact, is the way the book brings out what is at stake philosophically in familiar and seemingly obscure doctrines alike. Two highlights, which I discuss below, are its discussions of how Aristotle’s engagement with his predecessors shapes his questions (and then makes it hard to answer them) and of how his account of perceptible qualities helps him meet this challenge. This book is therefore a significant contribution to scholarship on the De Anima (DA), and it will be of great value to scholars working on Aristotle’s philosophy of mind. Part of what makes it valuable, moreover, is how it encourages us to ask better questions about core Aristotelian doctrines: while some of Kelsey’s proposals (especially his account of per se causation, which I discuss below) are provocative, they are always productively so. (shrink)

Kant’s formula of universal law (FUL) is standardly understood as a test of the moral permissibility of an agent’s maxim: maxims which pass the test are morally neutral, and so permissible, while those which do not are morally impermissible. In contrast, I argue that the FUL tests whether a maxim is the cause or determining ground of an action at all. According to Kant’s general account of causality, nothing can be a cause of some effect unless there is a law-like (...) relation between the putative cause and effect. Applied to the case of action, no maxim can be the cause of an agent’s action unless there is a law-like relation between maxims of that kind and actions of that kind. The special capacity to act according to maxims as law-like causes is what Kant calls a will; the basic constitutive principle of the will is a non-normative principle I call the categorical declarative. While the actions of a perfectly good will would be described by the categorical declarative alone, human action is determined not only by the causality of the will, but also by competing causes, namely those stemming from inclination. There is thus need for a causal test for putative maxims. The test contained in the FUL is meant to determine whether an action could be grounded solely on the agent’s maxim, or whether it requires a cause external to the will. This account permits one to build eventual distinctions concerning the morality of actions on prior and independent distinctions concerning their causality. (shrink)

This paper argues that the theory of structured propositions is not undermined by the Russell-Myhill paradox. I develop a theory of structured propositions in which the Russell-Myhill paradox doesn't arise: the theory does not involve ramification or compromises to the underlying logic, but rather rejects common assumptions, encoded in the notation of the $\lambda$-calculus, about what properties and relations can be built. I argue that the structuralist had independent reasons to reject these underlying assumptions. The theory is given both a (...) diagrammatic representation, and a logical representation in a novel language. In the latter half of the paper I turn to some technical questions concerning the treatment of quantification, and demonstrate various equivalences between the diagrammatic and logical representations, and a fragment of the $\lambda$-calculus. (shrink)

Perception solves computationally demanding problems at lightning fast speed. It recovers sophisticated representations of the world from degraded inputs, often in a matter of milliseconds. Any theory of perception must be able to explain how this is possible; in other words, it must be able to explain perception’s computational tractability. One of the few attempts to move toward such an explanation is the information encapsulation hypothesis, which posits that perception can be fast because it keeps computational costs low by forgoing (...) access to information stored in cognition. I argue that we have no compelling reason to believe that encapsulation explains (or even contributes to an explanation of) perceptual tractability, and much reason to doubt it. This is because there exist much deeper computational challenges for perception than information access, and these threaten to make the costs of access irrelevant. If this is right, it undermines a core computational motivation for encapsulation and sends us back to the drawing board for explanations of perceptual tractability. (shrink)

We offer a general framework for theorizing about the structure of knowledge and belief in terms of the comparative normality of situations compatible with one’s evidence. The guiding idea is that, if a possibility is sufficiently less normal than one’s actual situation, then one can know that that possibility does not obtain. This explains how people can have inductive knowledge that goes beyond what is strictly entailed by their evidence. We motivate the framework by showing how it illuminates knowledge about (...) the future, knowledge of lawful regularities, knowledge about parameters measured using imperfect instruments, the connection between knowledge, belief, and probability, and the dynamics of knowledge and belief in response to new evidence. (shrink)

Chance both guides our credences and is an objective feature of the world. How and why we should conform our credences to chance depends on the underlying metaphysical account of what chance is. I use considerations of accuracy (how close your credences come to truth-values) to propose a new way of deferring to chance. The principle I endorse, called the Trust Principle, requires chance to be a good guide to the world, permits modest chances, tells us how to listen to (...) chance even when the chances are modest, and entails but is not entailed by the New Principle. As I show, a rational agent will obey this principle if and only if she expects chance to be at least as accurate as she is on every good way of measuring accuracy. Much of the discussion, and the technical results, extend beyond chance to deference to any kind of expert. Indeed, you will trust someone about a particular question just in case you expect that person to be more accurate than you are about that question. (shrink)

This essay considers Kant’s theory of modality in light of a debate in contemporary modal metaphysics and modal logic concerning the Barcan formulas. The comparison provides a new and fruitful perspective on Kant’s complex and sometimes confusing claims about possibility and necessity. Two central Kantian principles provide the starting point for the comparison: that the possible must be grounded in the actual and that existence is not a real predicate. Both are shown to be intimately connected to the Barcan formulas, (...) and Kant’s views on what he distinguishes as three different kinds of modality are then considered in light of this connection. (shrink)