In a 2010 article Turri puts forward some powerful considerations which suggest that Williamson's view of knowledge as the most general factive mental state is false. Turri claims that this view is false since it is false that if S sees that p, then S knows that p. Turri argues that there are cases in which (A) S sees that p but (B) S does not know that p. In response I offer linguistic evidence to suppose that in propositional (...) contexts “see” does not have the sort of meaning (a purely perceptual meaning) which would sustain Turri's claims about the cases he offers (specifically, the (A) verdicts). (shrink)

Propositions are the things we believe, intend, desire, and so on, but discussions are often less precise than they could be and an important driver of this deficiency has been a focus on the objects but a neglect of the attitudinal relations we bear to them. In what follows, we will offer some thoughts on what it means for a proposition to be the object of an attitude and we will argue that an important part of the story lies with (...) the attitude relations rather than the propositions. As we will see there are infinitely many relations we might bear to a proposition, but the propositional attitude relations are special amongst them. Accounting for what makes them special will be an important component in the discussion that follows. We will argue that once one appreciates certain facts about propositional attitude relations, various claims that metaphysicians often make regarding propositions themselves begin to look undermotivated. In fact, many views on the metaphysical nature of propositions come to look like plausible candidates for being that to which our propositional attitudes relate us. As will emerge, we will see that the principle role of propositions in the theory of mind is simply to keep track of how our attitudinal states represent things as being. But, we argue, in order to do this work, very few constraints must be placed on the nature of propositions themselves. In particular, contra much of the recent work on the metaphysics of propositions, they need not represent nor must they be structured. In light of these observations, we conclude by sketching our own favored minimalist view of propositions. (shrink)

In the constitution of contemporary image theory, Ludwig Wittgenstein’s philosophy has undoubtedly become a major conceptual reference. Rather than trying to establish what Wittgenstein’s own image theory could possibly look like, this paper would like to critically assess some of the advantages as well as some of the quandaries that arise when using Wittgenstein’s concept of ‘seeing-as’ for addressing the plural realities of images. While putting into evidence the tensions that come into play when applying what was initially a (...) theory of the gaze to a theory of the image, the paper shall subsequently discuss three modes of iconic vision: the propositional seeing-as, the projective seeing-in and the medial seeing-with. (shrink)

Looking out the window, I see that it's raining outside. Do I know that it’s raining outside? According to proponents of the Entailment Thesis, I do. If I see that p, I know that p. In general, the Entailment Thesis is the thesis that if S perceives that p, S knows that p. But recently, some philosophers (McDowell 2002, Turri 2010, Pritchard 2011, 2012) have argued that the Entailment Thesis is false. On their view, we can see p and not (...) know that p. In this paper, I argue that their arguments are unsuccessful. (shrink)

I open my eyes and see that the lemon before me is yellow. States like this—states of seeing that $p$ —appear to be visual perceptual states, in some sense. They also appear to be propositional attitudes (and so states with propositional representational contents). It might seem, then, like a view of perceptual experience on which experiences have propositional representational contents—a Propositional View—has to be the correct sort of view for states of seeing that $p$ (...) . And thus we can’t sustain fully general non-Propositional but Representational, or Relational Views of experience. But despite what we might initially be inclined to think when reflecting upon the apparent features of states of seeing that $p$ , a non-propositional view of seeing that $p$ is, I argue, perfectly intelligible. (shrink)

Reductionist realist accounts of certain entities, such as the natural numbers and propositions, have been taken to be fatally undermined by what we may call the problem of arbitrary identification. The problem is that there are multiple and equally adequate reductions of the natural numbers to sets (see Benacerraf, 1965), as well as of propositions to unstructured or structured entities (see, e.g., Bealer, 1998; King, Soames, & Speaks, 2014; Melia, 1992). This paper sets out to solve the problem by canvassing (...) what we may call the arbitrary reference strategy. The main claims of such strategy are 2. First, we do not know which objects are the referents of proposition and numerical terms since their reference is fixed arbitrarily. Second, our ignorance of which object is picked out as the referent does not entail that no object is referred to by the relevant expression. Different articulations of the strategy are assessed, and a new one is defended. (shrink)

There is an apparent dilemma for hierarchical accounts of propositions, raised by Bruno Whittle : either such accounts do not offer adequate treatment of connectives and quantifiers, or they eviscerate the logic. I discuss what a plausible hierarchical conception of propositions might amount to, and show that on that conception, Whittle’s dilemma is not compelling. Thus, there are good reasons why proponents of hierarchical accounts of propositions did not see the difficulty Whittle raises.

This paper corrects a mistake I saw students make but I have yet to see in print. The mistake is thinking that logically equivalent propositions have the same counterexamples—always. Of course, it is often the case that logically equivalent propositions have the same counterexamples: “every number that is prime is odd” has the same counterexamples as “every number that is not odd is not prime”. The set of numbers satisfying “prime but not odd” is the same as the set of (...) numbers satisfying “not odd but not not-prime”. The mistake is thinking that every two logically-equivalent false universal propositions have the same counterexamples. Only false universal propositions have counterexamples. A counterexample for “every two logically-equivalent false universal propositions have the same counterexamples” is two logically-equivalent false universal propositions not having the same counterexamples. The following counterexample arose naturally in my sophomore deductive logic course in a discussion of inner and outer converses. “Every even number precedes every odd number” is counterexemplified only by even numbers, whereas its equivalent “Every odd number is preceded by every even number” is counterexemplified only by odd numbers. Please let me know if you see this mistake in print. Also let me know if you have seen these points discussed before. I learned them in my own course: talk about learning by teaching! (shrink)

The primary aim of this paper is to argue that the value of understanding derives in part from a kind of subjective stability of belief that we call epistemic resilience. We think that this feature of understanding has been overlooked by recent work, and we think it’s especially important to the value of understanding for social cognitive agents such as us. We approach the concept of epistemic resilience via the idea of the experience of epistemic ownership and argue that the (...) former concept has Platonic pedigree. Contrary to longstanding exegetical tradition, we think that Plato solves the “Meno problem” with an appeal to the epistemic resilience characteristic of understanding, not the well-groundedness characteristic of canonical cases of propositional knowledge. Finally, we apply our discussion to the case of science outreach and the challenge of global warming skepticism and conclude with directions for future research. (shrink)

Propositions represent the entities from which they are formed. This fact has puzzled philosophers and some have put forward radical proposals in order to explain it. This paper develops a primitivist account of the representational properties of propositions that centers on the operation of application. As we will see, this theory wins out over its competitors on grounds of strength, systematicity and unifying power.

Orthodox epistemological disjunctivism involves the idea that paradigm cases of visual perceptual knowledge are based on visual perceptual states which are propositional, and hence representational. Given this, the orthodox version of epistemological disjunctivism takes on controversial representational commitments in the philosophy of perception. Must epistemological disjunctivism involve these commitments? I don’t think so. Here I argue that we can take epistemological disjunctivism in a new direction and develop a version of the view free of these representational commitments. The basic (...) idea is that instead of conceiving of knowledge grounding perceptions as states in which one sees that such-and-such is the case, we should instead conceive of them as states or episodes in which one sees a thing, we should conceive of them as thing-seeings. I’ll suggest that we can cast such seeings in a knowledge grounding role without conceiving of them as representational. But this is because we can put thing-seeings to epistemological work, in the framework of epistemological disjunctivism, whilst remaining neutral on whether or not they are propositional, or representational at all. The point, then, is not to replace epistemological disjunctivism’s controversial representational commitments with controversial non-representational commitments. The point is, rather, that epistemological disjunctivism can be developed with fewer commitments in the philosophy of perception than is usually appreciated. (shrink)

As George Boole saw it, the laws of logic are the laws of thought, and by this he meant, not that human thought is actually governed by the laws of logic, but, rather, that it should be. Boole’s view that the laws of logic have normative implications for how we ought to think is anything but an outlier. The idea that violating the laws of logic involves epistemic impropriety has seemed to many to be just obvious. It has seemed especially (...) obvious to those who see propositional justification as more fundamental than doxastic justification. Whatever other principles are required for defining propositional justification, the laws of logic seem indispensable. The idea that violation of the laws of logic involves some sort of epistemic impropriety—whatever the peculiarities of our psychology may be—has served as a fixed point around which defenders of the fundamentality of propositional justification are united, whatever their other differences. This paper challenges that common thread in defenses of the fundamentality of propositional justification. It is argued that the laws of logic have no bearing whatever on epistemic justification. Once we see why this should be so, the way is paved for seeing why it is that doxastic justification is more fundamental than propositional justification. (shrink)

Seeing a red hat can (i) increase my credence in the hat is red, and (ii) introduce a negative dependence between that proposition and po- tential undermining defeaters such as the light is red. The rigidity of Jeffrey Conditionalization makes this awkward, as rigidity preserves inde- pendence. The picture is less awkward given ‘Holistic Conditionalization’, or so it is claimed. I defend Jeffrey Conditionalization’s consistency with underminable perceptual learning and its superiority to Holistic Conditionalization, arguing that the latter is (...) merely a special case of the former, is itself rigid, and is committed to implausible accounts of perceptual con- firmation and of undermining defeat. (shrink)

What's wrong with modalities in (Wittgenstein 1922)? In (Suszko 1968), the writer argued that "Wittgenstein was somewhat confused and wrong in certain points. For example, he did not see the clear-cut distinction between language (theory) and metalanguage (metatheory): a confusion between use and mention of expressions". Furthermore, a modal logic was proposed in (von Wright 1986) as depicting Wittgenstein's bipolarity thesis in a S5 frame. -/- The aim of the present paper is to deal with the specific case of epistemic (...) modal logic: such a logic of propositional attitudes assumes a philosophy of language that would violate Wittgenstein's two main assumptions. (shrink)

Faith is a central attitude in Christian religious practice. The problem of faith and reason is the problem of reconciling religious faith with the standards for our belief-forming practices in general (‘ordinary epistemic standards’). In order to see whether and when faith can be reconciled with ordinary epistemic standards, we first need to know what faith is. This chapter examines and catalogues views of propositional faith: faith that p. It is concerned with the epistemology of such faith: what cognitive (...) attitudes does such faith require, what epistemic norms govern these attitudes, and whether Christian faith can ever adhere to them. (shrink)

Carnap’s result about classical proof-theories not ruling out non-normal valuations of propositional logic formulae has seen renewed philosophical interest in recent years. In this note I contribute some considerations which may be helpful in its philosophical assessment. I suggest a vantage point from which to see the way in which classical proof-theories do, at least to a considerable extent, encode the meanings of the connectives (not by determining a range of admissible valuations, but in their own way), and I (...) demonstrate a kind of converse to Carnap’s result. (shrink)

This article focuses on the positive reasons for adopting epiphenomenalism. Some objections that have been answered in more detail in my other work receive some response here, but the main point is to see why epiphenomenalism is an attractive view for those with a generally naturalistic outlook. It distinguishes qualitative events from propositional states and explains why their treatment must be different. The view that our words must 'express our thoughts' is critically examined.

In The Border between Seeing and Thinking, Ned Block argues that the distinction between perception and cognition should be grounded in representational format. I object that cognition is multifaceted, and includes representations with the same format as some perceptual representations. We can save Block’s view by interpreting it as concerning the border between one elite species of cognition—namely, propositional thought—and everything below it, including perception. But that leaves the border between perception and cognition in general unexplained. To fill (...) this gap, I recommend my stimulus-dependence account of the border and reply to objections Block raises against it. This brings into relief a category of mind that is crucial to understanding human infants and nonhuman animals—namely, nonpropositional cognition, which sits between perception and propositional thought. (shrink)

Legal definitions will be examined from three perspectives: their pragmatic function, their propositional structure, and their argumentative role. In law, definitions can be used for different pragmatic purposes: they can be uttered to describe a concept, or to establish a new meaning for a term. The propositional content of definitional speech acts can be different. In law, like in ordinary conversation, there might be different types of definition: we can define by providing examples, or showing the fundamental characteristics (...) of the concept defined, or listing the constituent parts of the denotatum. All these definitions play different argumentative roles in legal discourse. At a third level, definitions can be thought of as premises in complex patterns of reasoning (for the subject of reasoning from definition in law, see Aarnio 1977; Moore 1980; Lindahl, 2004). They constitute the fundamental element of argument from classification, namely a pattern of inference in which a new property (or a name) is attributed to an entity on the basis of other properties. (shrink)

Presentists hold that only present things exist. But we all, presentists included, utter sentences that appear to involve quantification over non-present objects, and so we all, presentists included, seem to commit ourselves to such objects. Equally, we all, presentists included, take utterances of many past-tensed (and some future-tensed) sentences to be true. But if no past or future things exist, it’s hard to see how there can be anything that those utterances are about, which makes them true. This paper presents (...) a hitherto unexplored response to both problems: pretence fictionalism about the non-present. This view combines semantic factualism with psychological non-cognitivism. Sentences that appear to quantify over the non-present have propositional content and (almost all of) those propositions are false because the thing they are about—the non-present—does not exist. Nevertheless when we utter such sentences we don’t thereby utter something false. Our utterances do not report the belief that the propositional content of the sentence uttered is true; rather, they express a non-cognitive attitude towards that content: namely an attitude of pretence. Hence by thinking various thoughts, and uttering various sentences we are, collectively, pretending as though things were (or will be) thus and so. (shrink)

While aestheticians have devoted substantial attention to the possibility of acquiring knowledge from fiction, little of this attention has been directed at the acquisition of factual information. The neglect traces, I believe, to the assumption that the task of aesthetics is to explain the special cognitive value of fiction. While the value of many works of nonfiction may be measured, in part, by their ability to transmit information, most works of fiction do not have this aim, and so many conclude (...) that the transmission of information is irrelevant to their value. I am skeptical of these claims. I doubt that there is any value, cognitive or otherwise, special to all and only works of fiction. Thus I see no reason to neglect the capacity to convey factual information—specifically, propositional knowledge about real individuals and events—when assessing the value of particular works. In this paper I consider the value of learning about history from a particular work of fiction, Gore Vidal’s Lincoln: A Novel. Drawing on recent work in cognitive psychology, I argue that narrative devices used by Vidal can enhance our ability to learn and retain factual information, despite also increasing the possibility that we will form false beliefs, and that acquiring propositional knowledge from fiction, far from being a process we can take for granted, constitutes a difficult achievement. (shrink)

English translation of an entry on pages 137–42 of the Spanish-language dictionary of logic: Luis Vega, Ed. Compendio de Lógica, Argumentación, y Retórica. Madrid: Trotta. -/- DEDICATION: To my friend and collaborator Kevin Tracy. -/- This short essay—containing careful definitions of ‘counterargument’ and ‘counterexample’—is not an easy read but it is one you’ll be glad you struggled through. It contains some carefully chosen examples suitable for classroom discussion. -/- Using the word ‘counterexample’ instead of ‘counterargument’ in connection with Aristotle’s invalidity (...) proofs leads to a misinterpretation of Aristotle’s intentions. The two relations expressed by these two words are drastically different—as explained in this essay. There is however a subtle overlap: Every argument that is a counterargument for a given argument is a counterexample to the universal proposition that every argument in the same form as the given argument is valid. The word ‘counterexample’ was coined in the 1800s. The word ‘counterargument’ was given this sense in the 1960s. Saying that one argument is a counterexample for another argument is bad English—taking the word ‘counterexample’ in its Standard English sense. The word ‘counterinstance’ is an exact synonym for ‘counterexample’. Which logic books define ‘counterinstance’ or ‘counterexample’? Who started using ‘counterinstance’ or ‘counterexample’ in the sense of ‘counterargument’? Did they note that they were not using the word in the Standard sense? Why did it catch on? -/- Also see: https://www.academia.edu/8840909/Argumentations_and_logic_1989_ . (shrink)

The present discussion takes up an issue raised in Section 5 of Ross Brady and Penelope Rush’s paper ‘Four Basic Logical Issues’ concerning the (claimed) triviality – in the sense of automatic availability – of soundness and completeness results for a logic in a metalanguage employing at least as much logical vocabulary as the object logic, where the metalogical behaviour of the common logical vocabulary is as in the object logic. We shall see – in Propositions 4.5–4.7 – that this (...) triviality claim faces difficulties in the face of Halldén incompleteness, for essentially the same reasons that Halldén thought this phenomenon raised seman- tic difficulties for the modal logics of C. I. Lewis exhibiting it. To counter any inclination to dismiss the phenomenon as providing at best a marginal range of counterexamples to the triviality claim, a Postscript assembles some reminders of the extent of – and the varied considerations favouring – Halldén incompleteness. (shrink)

The claim that behaviourally undetectable inverted spectra are possible has been endorsed by many physicalists. I explain why this starting point rules out standard forms of scientific explanation for qualia. The modern ‘phenomenal concept strategy’ is an updated way of defending problematic intuitions like these, but I show that it cannot help to recover standard scientific explanation. I argue that Chalmers is right: we should accept the falsity of physicalism if we accept this problematic starting point. I further argue that (...) accepting this starting point amounts to at least implicitly endorsing certain theoretical claims about the nature of introspection. I therefore suggest that we allow ourselves to be guided, in our quest to understand qualia, by whatever independently plausible theories of introspection we have. I propose that we adopt a more moderate definition of qualia, as those introspectible properties which cannot be fully specified simply by specifying the non-controversially introspectible ‘propositional attitude’ mental states (including seeing x, experiencing x, and so on, where x is a specification of a potentially public state of affairs). Qualia thus defined may well fit plausible, naturalisable accounts of introspection. If so, such accounts have the potential to explain, rather than explain away, the problematic intuitions discussed earlier; an approach that should allow integration of our understanding of qualia with the rest of science. (shrink)

Expressivists have a problem with negation. The problem is that they have not, to date, been able to explain why ‘murdering is wrong’ and ‘murdering is not wrong’ are inconsistent sentences. In this paper, I explain the nature of the problem, and why the best efforts of Gibbard, Dreier, and Horgan and Timmons don’t solve it. Then I show how to diagnose where the problem comes from, and consequently how it is possible for expressivists to solve it. Expressivists should accept (...) this solution, I argue, because it is demonstrably the only way of avoiding the problem, and because it generalizes. Once we see how to solve the negation problem, I show, it becomes easy to state a constructive, compositional expressivist semantics for a purely normative language with the expressive power of propositional logic, in which we can for the first time give explanatory, formally adequate expressivist accounts of logical inconsistency, logical entailment, and logical validity. As a corollary, I give what I take to be the first real expressivist explanation of why Geach’s original moral modus ponens argument is genuinely logically valid. This proves that the problem with expressivism cannot be that it can’t account for the logical properties of complex normative sentences. But it does not show that the same solution can work for a language with both normative and descriptive predicates, let alone that expressivists are able to deal with more complex linguistic constructions like tense, modals, or even quantifiers. In the final section, I show what kind of constraints the solution offered here would place expressivists under, in answering these further questions. (shrink)

There is a well-known equivalence between avoiding accuracy dominance and having probabilistically coherent credences (see, e.g., de Finetti 1974, Joyce 2009, Predd et al. 2009, Pettigrew 2016). However, this equivalence has been established only when the set of propositions on which credence functions are defined is finite. In this paper, I establish connections between accuracy dominance and coherence when credence functions are defined on an infinite set of propositions. In particular, I establish the necessary results to extend the classic accuracy (...) argument for probabilism to certain classes of infinite sets of propositions including countably infinite partitions. (shrink)

The best accuracy arguments for probabilism apply only to credence functions with finite domains, that is, credence functions that assign credence to at most finitely many propositions. This is a significant limitation. It reveals that the support for the accuracy-first program in epistemology is a lot weaker than it seems at first glance, and it means that accuracy arguments cannot yet accomplish everything that their competitors, the pragmatic (Dutch book) arguments, can. In this paper, I investigate the extent to which (...) this limitation can be overcome. Building on the best arguments in finite domains, I present two accuracy arguments for probabilism that are perfectly general—they apply to credence functions with arbitrary domains. I then discuss how the arguments’ premises can be challenged. We will see that it is particularly difficult to characterize admissible accuracy measures in infinite domains. (shrink)

In a lot of domains in metaphysics the tacit assumption has been that whichever metaphysical principles turn out to be true, these will be necessarily true. Let us call necessitarianism about some domain the thesis that the right metaphysics of that domain is necessary. Necessitarianism has flourished. In the philosophy of maths we find it held that if mathematical objects exist, then they do of necessity. Mathematical Platonists affirm the necessary existence of mathematical objects (see for instance Hale and Wright (...) 1992 and 1994; Wright 1983 and 1988; Schiffer 1996; Resnik 1997; Shapiro 1997 and Zalta 1988) while mathematical nominalists, usually in the form of fictionalists, hold that necessarily such objects fail to exist (see for instance Balaguer 1996 and 1998; Rosen 2001 and Yablo 2005). In metaphysics more generally, until recently it was more or less assumed that whatever the right account of composition—the account of under what conditions some xs compose a y—that account will be necessarily true (for a discussion of theories of composition see Simons 1987 and van Inwagen 1987 and 1990; the modal status of the composition relation is explicitly addressed in Schaffer 2007; Parsons 2006 and Cameron 2007). Similarly, it has generally been assumed that whatever the right account is of the nature of properties, whether they be universals, tropes, or whether nominalism is true, that account will be necessarily true (though see Rosen 2006 for a recent suggestion to the contrary). In considering theories of persistence it has been widely held that whether objects endure or perdure through time is a matter of necessity (Sider 2001; though see Lewis 1999 p227 who defends contingent perdurantism). And with respect to theories of time it is frequently held that whichever of the A- or B-theory is true is necessarily true. A-theorists often argue that there is time in a world only if the A-theory is true at that world (see for instance McTaggart 1903; Markosian 2004; Bigelow 1996; Craig 2001) while B-theorists often argue that the A-theory is internally inconsistent (Smart 1987; Mellor 1998; Savitt 2000 and Le Poidevin 1991). Once again, we find a few recent contingentist dissenters. Bourne (2006) suggests that it is a contingent feature of time that it is tensed, and thus that the A-theory is contingently true. Worlds in which there exist only B-theoretic properties are worlds with time, it is just that time in those worlds time is radically different to the way it is actually. Other defenders of the B-theory, though not expressly contingentists, do offer arguments against versions of the A-theory that try to show that such A-theories theories are inconsistent with the actual laws of nature (see for instance Saunders 2002 and Callender 2000); these arguments, at least, leave room for the possibility that the A-theories in question are contingently false (at least on the assumption that the laws of nature are themselves contingent, an assumption that not everyone accepts). Despite some notable exceptions, necessitarianism has flourished in many, if not most, domains in metaphysics. One such exception is Lewis’ famous defence of Humean supervenience as a contingent claim about our world. Lewis does not argue that necessarily, the supervenience base for all matters of fact in a world is nothing but a vast mosaic of local matters of particular fact. Rather, he thinks that we have reason to think that our world is one in which Humean supervenience holds (see Lewis 1986 p9-10 and 1994). Another exception to the necessitarian orthodoxy is to be found in the lively debate about the modal status of the laws of nature. Here, if anything, contingentism has been the dominating force, with it generally being held that there are possible worlds in which different laws of nature hold (this view is defended by, among others, Lewis 1986 and 2010; Schaffer 2005 and Sidelle 2002). Necessitarian dissenters hold that the laws of nature are necessary, frequently because they think it is necessary that fundamental properties have the causal or nomic profiles they do (see for instance Shoemaker 1980 and 1988; Swoyer 1982; Bird 1995; Ellis and Lierse 1994). Nevertheless, when it comes to thinking about the nature of the laws themselves, the necessitarian presumption is back on firm footing. Though there is disagreement about whether the laws are generalisations that feature in the most virtuous true axiomatisation of all the particular matters of fact (often known as the Humean view of laws and defended by Ramsey 1978; Lewis 1986 and Beebee 2000) or whether laws are relations of necessity that hold between universals (a view defended by Armstrong 1983; Dretske 1977; Tooley 1977 and Carroll 1990) no one has seriously suggested that it might be a contingent matter which of these is the right account of laws. The necessitarian orthodoxy is not surprising since metaphysics is largely an a priori process. While a priori reasoning may be used to determine whether a proposition is necessary or contingent, it is not well placed (in the absence of a posteriori evidence) to determine whether a contingent proposition is actually true or false. Since metaphysicians aim to tell us which principles are true in which worlds, on the face of it the discovery that metaphysical principles are contingent seems to make part of the task of metaphysics epistemically intractable. In what follows I consider two reasons one might end up embracing contingentism and whether this would lead one into epistemic difficulty. The following section considers a route to contingent metaphysical truths that proceeds via a combination of conceptual necessities and empirical discoveries. Section 3 considers whether there might be synthetic contingent metaphysical truths, and the final section raises the question of whether if there were such truths we would be well placed to come to know them. (shrink)

In her black and white room, Mary doesn’t know what it is like to see red. Only after undergoing an experience as of something red and hence acquainting herself with red can Mary learn what it is like. But learning what it is like to see red requires more than simply becoming acquainted with it. To be acquainted with something is to know it, but such knowledge, as we argue, is object-knowledge rather than propositional-knowledge. To know what it is (...) like one must know an appropriate propositional answer to the question ‘what is it like?’. Despite this mismatch between object-knowledge and knowing an answer, we believe that acquaintance is crucial to Mary’s epistemic progress. When Mary leaves her black and white room, her new knowledge tempts one to think that she must come to know a candidate answer (a coarse-grained fact) that she didn’t know in her room. Since Mary already knows all the physical facts in her room, any additional facts she might learn appear to threaten physicalism. In reply, many physicalists have been attracted to the phenomenal concept strategy according to which Mary can come to have new knowledge and hence know a new answer to the question ‘what is it like to see red?’ by entertaining a coarse-grained fact under a concept she didn’t possess in her room – Mary learns a new fine-grained fact. We believe both of these accounts of Mary’s epistemic progress are mistaken. As we argue, Mary could know every fact (coarse-grained and fine-grained) that might serve as an answer to the question ‘what is it like to see red?’ and still not know what it is like. The physical world leaves no leftover coarse-grained facts for Mary to learn and because concepts are sharable, easy to possess, and easy to introduce, there are possible situations in which Mary, while in her black and white room, has every concept that might make a fine-grained difference. In short, even when Mary is granted a great deal of factual knowledge and vast conceptual resources, she may still not know an appropriate answer to the question ‘what is it like to see red?’. But in any such situation, Mary lacks acquaintance with red and on this basis we argue that in order to know what it is like, in order for Mary to know an appropriate answer, Mary’s propositional knowledge must be appropriately related to her acquaintance with red. (shrink)

My general worry is that Schellenberg’s arguments against naive realism, generalism, and Russellian representationalism do not seem to be successful. Thus her attempt at ruling these views out fails. Her main arguments rely on a shared premise whose plausibility, in the absence of an appropriate theory of particulars, is hard to assess (§2.1). Apart from that, these arguments rely on an under-specified notion of constitution; there seems to be no sense of the term that makes all the premises of her (...) major arguments true without trivializing their conclusions (§2.2). It also seems to me that the challenges that Schellenberg raises for her Russellian opponents, or similar problems, arise for her own view (§3). Finally, Schellenberg believes that an advantage of her view is that it entails the possibility of seeing an object without seeing it as being a certain way. In §4, I argue that it is hard to imagine how one could see without seeing as. (shrink)

One common response to the knowledge argument is the ability hypothesis. Proponents of the ability hypothesis accept that Mary learns what seeing red is like when she exits her black-and-white room, but they deny that the kind of knowledge she gains is propositional in nature. Rather, she acquires a cluster of abilities that she previously lacked, in particular, the abilities to recognize, remember, and imagine the color red. For proponents of the ability hypothesis, knowing what an experience is (...) like simply consists in the possession of these abilities. Criticisms of the ability hypothesis tend to focus on this last claim. Such critics tend to accept that Mary gains these abilities when she leaves the room, but they deny that such abilities constitute knowledge of what an experience is like. To my mind, however, this critical strategy grants too much. Focusing specifically on imaginative ability, I argue that Mary does not gain this ability when she leaves the room for she already had the ability to imagine red while she was inside it. Moreover, despite what some have thought, the ability hypothesis cannot be easily rescued by recasting it in terms of a more restrictive imaginative ability. My purpose here is not to take sides in the debate about physicalism, i.e., my criticism of the ability hypothesis is not offered in an attempt to defend the anti-physicalist conclusion of the knowledge argument. Rather, my purpose is to redeem the imagination from the misleading picture of it that discussion of the knowledge argument has fostered. (shrink)

The inductive argument from evil to the non-existence of God contains the premise that, probably, there is gratuitous evil. Some skeptical theists object: one's justification for the premise that, probably, there is gratuitous evil involves an inference from the proposition that we don't see a good reason for some evil to the proposition that it appears that there is no good reason for that evil, and they use a principle, "CORNEA," to block that inference. The common sense problem of evil (...) threatens the CORNEA move, because the common sense problem of evil does not involve any inference to justify the belief that there is gratuitous evil. In this paper, I argue that the common sense problem of evil doesn't avoid CORNEA. CORNEA, or a reformulated version of it, can still prevent one from having justification for the belief that there is gratuitous evil. (shrink)

In recent work, Thomas Kroedel has proposed a novel solution to the lottery paradox. As he sees it, we are permitted/justified in believing some lottery propositions, but we are not permitted/justified in believing them all. I criticize this proposal on two fronts. First, I think that if we had the right to add some lottery beliefs to our belief set, we would not have any decisive reason to stop adding more. Suggestions to the contrary run into the wrong kind of (...) reason problem. Reflection on the preface paradox suggests as much. Second, while I agree with Kroedel that permissions do not agglomerate, I do not think that this fact can help us solve the lottery paradox. First, I do not think we have any good reason to think that we’re permitted to believe any lottery propositions. Second, I do not see any good reason to think that epistemic permissions do not agglomerate. (shrink)

As I walk into a restaurant to meet up with a friend, I look around and see all sorts of things in my immediate environment—tables, chairs, people, colors, shapes, etc. As a result, I know of these things. But what is the nature of this knowledge? Nowadays, the standard practice among philosophers is to treat all knowledge, aside maybe from “know-how”, as propositional. But in this paper I will argue that this is a mistake. I’ll argue that some knowledge (...) is constituted, not by beliefs toward propositions, but by awareness of properties and objects. Seeing isn’t believing, but it is knowing. After further characterizing this type of knowledge, I will make the case for it. Then I will consider a variety of objections. Finally, I will indicate how our recognition of this knowledge may answer other questions, and solve other problems, in philosophy. (shrink)

Doxastic voluntarism is the thesis that our beliefs are subject to voluntary control. While there’s some controversy as to what “voluntary control” amounts to (see 1.2), it’s often understood as direct control: the ability to bring about a state of affairs “just like that,” without having to do anything else. Most of us have direct control over, for instance, bringing to mind an image of a pine tree. Can one, in like fashion, voluntarily bring it about that one believes a (...) specific proposition? Doxastic voluntarists hold that, at least in some circumstances—such as when the evidence is ambiguous—we can. Doxastic involuntarists, in contrast, maintain that we cannot. Some involuntarists hold that the concept of belief itself precludes the possibility of believing voluntarily. Others hold that the impossibility of voluntary belief is a contingent psychological fact. Historically, the issue of doxastic voluntarism has been connected to how many think about religious commitment: a prominent view of faith is that it is a voluntary decision to believe. Furthermore, the issue of voluntarism has also been viewed as having bearing on fundamental questions in epistemology. For example, are epistemic norms duties to believe in certain ways? Are there practical or moral reasons to believe? If the answer to either question is “yes,” it seems some measure of voluntary doxastic control is required. -/- In section 1, we expand on the definition of doxastic voluntarism, and survey various kinds of control (e.g. direct, indirect, long-range) and the doxastic attitudes we might control (e.g. outright belief, withholding, credences). In section 2, we discuss a number of historical views on doxastic voluntarism. In section 3, we survey motivations for rejecting doxastic voluntarism. There are two general strategies: arguments that appeal to psychological considerations, and conceptual arguments regarding the nature of belief. In section 4, we survey five approaches to defending voluntarism: those that appeal to epistemic permissivism, doxastic compatibilism, skepticism, one-off considerations, and non-standard views of belief. In section 5, we cover empirical work on doxastic voluntarism. The last two sections discuss two implications of voluntarism. In section 6, we discuss voluntarism’s implications for the ethics of belief, and in section 7, we discuss issues at the intersection of voluntarism and religious faith. (shrink)

Some have claimed that people with very different beliefs literally see the world differently. Thus Thomas Kuhn: ‘what a man sees depends both upon what he looks at and also upon what his previous visual—conceptual experience has taught him to see’ (Kuhn 1970, p. ll3). This view — call it ‘Perceptual Relativism’ — entails that a scientist and a child may look at a cathode ray tube and, in a sense, the first will see it while the second won’t. The (...) claim is not, of course, that the child’s experience is ‘empty’; but that, unlike the scientist, it does not see the tube as a cathode ray tube. One way of supporting this claim is to say that one cannot see something as an F unless one has the concept F. Since the child plainly lacks the concept of a cathode ray tube, it cannot see it as a cathode ray tube. Although Perceptual Relativism is hard to believe, this supporting suggestion is not so implausible. After all, when we see (and more generally, perceive) the world, the world is presented to us in a particular way; so how can we see it as being that way unless we have some idea or conception of the way it is presented? We need not be committed to a representative theory of perception to think that perceptions in some sense represent the world. We can express this by saying that perceptions have content. Now it is a commonplace that the contents of beliefs and the other propositional attitudes involve concepts. The belief that this thing is a cathode ray tube involves, in some sense, the concept cathode ray tube. So the line of thought behind Perceptual Relativism may be expressed thus: seeing an F as an F is a state with content. (shrink)

Shared conceptualization, in the sense we take it here, is as recent a notion as the Semantic Web, but its relevance for a large variety of fields requires efficient methods of extraction and representation for both quantitative and qualitative data. This notion is particularly relevant for the investigation into, and construction of, semantic structures such as knowledge bases and taxonomies, but given the required large, often inaccurate, corpora available for search we can get only approximations. We see fuzzy description logic (...) as an adequate medium for the representation of human semantic knowledge and propose a means to couple it with fuzzy semantic networks via the propositional Łukasiewicz fuzzy logic such that these suffice for decidability for queries over a semantic-knowledge base such as “to what degree of sharedness does it entail the instantiation C(a) for some concept C” or “what are the roles R that connect the individuals a and b to degree of sharedness ε.” . (shrink)

Corcoran, J. 2005. Counterexamples and proexamples. Bulletin of Symbolic Logic 11(2005) 460. -/- John Corcoran, Counterexamples and Proexamples. Philosophy, University at Buffalo, Buffalo, NY 14260-4150 E-mail: [email protected] Every perfect number that is not even is a counterexample for the universal proposition that every perfect number is even. Conversely, every counterexample for the proposition “every perfect number is even” is a perfect number that is not even. Every perfect number that is odd is a proexample for the existential proposition that some (...) perfect number is odd. Conversely, every proexample for the proposition “some perfect number is odd” is a perfect number that is odd. As trivial these remarks may seem, they can not be taken for granted, even in mathematical and logical texts designed to introduce their respective subjects. One well-reviewed book on counterexamples in analysis says that in order to demonstrate that a universal proposition is false it is necessary and sufficient to construct a counterexample. It is easy to see that it is not necessary to construct a counterexample to demonstrate that the proposition “every true proposition is known to be true” is false–necessity fails. Moreover the mere construction of an object that happens to be a counterexample does not by itself demonstrate that it is a counterexample–sufficiency fails. In order to demonstrate that a universal proposition is false it is neither necessary nor sufficient to construct a counterexample. Likewise, of course, in order to demonstrate that an existential proposition is true it is neither necessary nor sufficient to construct a proexample. This article defines the above relational concepts of counterexample and of proexample, it discusses their surprising history and philosophy, it gives many examples of uses of these and related concepts in the literature and it discusses some of the many errors that have been made as a result of overlooking the challenging subtlety of the proper use of these two basic and indispensable concepts. (shrink)

Various philosophers have long since been attracted to the doctrine that future contingent propositions systematically fail to be true—what is sometimes called the doctrine of the open future. However, open futurists have always struggled to articulate how their view interacts with standard principles of classical logic—most notably, with the Law of Excluded Middle. For consider the following two claims: Trump will be impeached tomorrow; Trump will not be impeached tomorrow. According to the kind of open futurist at issue, both of (...) these claims may well fail to be true. According to many, however, the disjunction of these claims can be represented as p ∨ ~p—that is, as an instance of LEM. In this essay, however, I wish to defend the view that the disjunction these claims cannot be represented as an instance of p ∨ ~p. And this is for the following reason: the latter claim is not, in fact, the strict negation of the former. More particularly, there is an important semantic distinction between the strict negation of the first claim [~] and the latter claim. However, the viability of this approach has been denied by Thomason, and more recently by MacFarlane and Cariani and Santorio, the latter of whom call the denial of the given semantic distinction “scopelessness”. According to these authors, that is, will is “scopeless” with respect to negation; whereas there is perhaps a syntactic distinction between ‘~Will p’ and ‘Will ~p’, there is no corresponding semantic distinction. And if this is so, the approach in question fails. In this paper, then, I criticize the claim that will is “scopeless” with respect to negation. I argue that will is a so-called “neg-raising” predicate—and that, in this light, we can see that the requisite scope distinctions aren’t missing, but are simply being masked. The result: a under-appreciated solution to the problem of future contingents that sees and as contraries, not contradictories. (shrink)

Let intentionalism be the view that what proposition is expressed in context by a sentence containing indexicals depends on the speaker’s intentions. It has recently been argued that intentionalism makes communicative success mysterious and that there are counterexamples to the intentionalist view in the form of cases of mismatch between the intended interpretation and the intuitively correct interpretation. In this paper, I argue that these objections can be met, once we acknowledge that we may distinguish what determines the correct interpretation (...) from the evidence that is available to the audience, as well as from the standards by which we judge whether or not a given interpretation is reasonable. With these distinctions in place, we see that intentionalism does not render communicative success mysterious, and that cases of mismatch between the intended interpretation and the intuitively correct one can easily be accommodated. The distinction is also useful in treating the Humpty Dumpty problem for intentionalism, since it turns out that this can be treated as an extreme special case of mismatch. (shrink)

Jaakko Hintikka proposed treating objectual perception sentences, such as “Alice sees Bob,” as de re propositional perception sentences. Esa Saarinen extended Hintikka’s idea to eventive perception sentences, such as “Alice sees Bob smile.” These approaches, elegant as they may be, are not philosophically neutral, for they presuppose, controversially, that the content of all perceptual experiences is propositional in nature. The aim of this paper is to propose a formal treatment of objectual and eventive perception sentences that builds on (...) Hintikka’s modal approach to propositional attitude ascriptions while avoiding controversial assumptions on the nature of perceptual experiences. Despite being simple and theoretically frugal, our approach is powerful enough to express a variety of interesting philosophical views about propositional, objectual, and eventive perception sentences, thus enabling the study of their inferential relationships. (shrink)

Those who conceive logic as a science have generally favoured one of two alternative conceptions as to what the subject-matter of this science ought to be. On the one hand is the nowadays somewhat old-fashioned-seeming view of logic as the science of judgment, or of thinking or reasoning activities in general. On the other hand is the view of logic as a science of ideal meanings, 'thoughts', or 'propositions in themselves'. There is, however, a third alternative conception, which enjoyed only (...) a brief flowering in the years leading up to the first World War, but whose lingering presence can be detected in the background of more recent ontologising trends in logic, as for example in the 'situation semantics' of Barwise and Perry. This third conception sees logic as a science of special objects called 'Sachverhalte' or 'states of affairs'. A view of this sort is present in simplified form in the works of Meinong, but it received its definitive formulation in the writings of Adolf Reinach, a student of Husserl who is otherwise noteworthy for having anticipated, in a monograph of 1913, large chunks of what later became known as the theory of speech acts.(1). (shrink)

Two of the main debates in philosophy of language concerning time and tense are the debate about the semantics of the tenses in the English language and the debate over whether propositions can be transiently true or false as opposed to always being eternally true or false. The latter quarrel is also known as the "temporalism–eternalism debate." Given standard semantics, the two debates are not logically independent, as we will see. Those who believe propositions are eternally true or false needn’t (...) treat the tenses as operators. Their opponents, on the other hand, appear to be committed to an operator theory of the tenses, given a standard semantic framework. In this chapter I will focus primarily on these two debates. (shrink)

Clearly neither I nor anyone will ever read any substantial part of this massive tome so I will discuss the one article that interests me most and which I think provides the framework necessary for the understanding of all the rest. I refer to the one on Ludwig Wittgenstein (W). Even were I to try to discuss others, we would not get past the first page as all the issues here arise immediately in any discussion of behavior. The differentiation of (...) pragmatics and semantics is largely meaningless. It is defensible that one might subtitle this work ‘Developments of Wittgenstein’s Contextualism’, but of course this term has inevitably been corrupted by philosophers. One might then say that pragmatics and semantics are parts of or coextensive with epistemology and ontology and the descriptive psychology of higher order thought (Searle’s Logical Structure of Rationality) or that they describe how we use noises in specific contexts to give them meaning --i.e., a true or false (propositional) use which Searle calls their Conditions of Satisfaction. Adding the Wittgenstein/Searle work to modern research on thinking provides a framework for pragmatics, semantics and all other human behavior. -/- Those wishing a comprehensive up to date framework for human behavior from the modern two systems view may consult my article The Logical Structure of Philosophy, Psychology, Mind and Language as Revealed in Wittgenstein and Searle 59p(2016). For all my articles on Wittgenstein and Searle see my e-book ‘The Logical Structure of Philosophy, Psychology, Mind and Language in Wittgenstein and Searle 367p (2016). Those interested in all my writings in their most recent versions may consult my e-book Philosophy, Human Nature and the Collapse of Civilization - Articles and Reviews 2006-2016’ 662p (2016). -/- All of my papers and books have now been published in revised versions both in ebooks and in printed books. -/- Talking Monkeys: Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet - Articles and Reviews 2006-2017 (2017) https://www.amazon.com/dp/B071HVC7YP. -/- The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle--Articles and Reviews 2006-2016 (2017) https://www.amazon.com/dp/B071P1RP1B. -/- Suicidal Utopian Delusions in the 21st century: Philosophy, Human Nature and the Collapse of Civilization - Articles and Reviews 2006-2017 (2017) https://www.amazon.com/dp/B0711R5LGX -/- . (shrink)

Apart from his critique of Kant, Maimon’s significance for the history of philosophy lies in his crucial role in the rediscovery of Spinoza by the German Idealists. Specifically, Maimon initiated a change from the common eighteenth-century view of Spinoza as the great ‘atheist’ to the view of Spinoza as an ‘acosmist’, i.e., a thinker who propounded a deep, though unorthodox, religious view denying the reality of the world and taking God to be the only real being. I have discussed this (...) aspect of Maimon’s philosophy in other places, and though the topic of the current paper has an interesting relation to certain doctrines of Spinoza, I will not develop this issue here. Neither of these two issues -- Maimon’s criticism of Kant or his original interpretation of Spinoza -- was considered by Maimon as his main contribution to philosophy. There is little doubt that if Maimon were asked to point out his single most important innovation he would have picked his doctrine of the Principle of Determinability [Satz der Bestimmbarkeit]. Regarding this doctrine Maimon writes: ... [T]he principle of determinability laid down in this work is a principle of all objectively real thought, and consequently of philosophy as a whole too. All the propositions of philosophy can be derived from, and be determined by it [woraus sich alle Sätze herleiten und wodurch sie sich bestimmen lassen]. … I have made available a supreme principle of all objectively real thought, viz., the principle of determinability... and have established as the ground of the whole of pure philosophy -- a principle which, if it is ever grasped, will, I hope, withstand every scrutiny. These claims may strike the reader as somewhat presumptuous, to say the least. But, if we pay attention to the last sentence of the passage, we can see that Maimon doubts whether his great finding will ever be understood. It is not unlikely that in this phrase (“wenn er nur einmal eingesehen werden wird”) Maimon was reacting to his own repeatedly unsuccessful attempts to explain the principle. The fate of Maimon’s principle has not been much better in the few works written on Maimon’s philosophy, and though almost all commentators agree that the principle of determinability is the linchpin of the positive philosophy Maimon was trying to develop, we do not yet have a clear explanation of this principle, or of the reason why Maimon assigns such importance to it. Recently, Oded Schechter developed an excellent reading of this principle, and in most aspects my view agrees with his (primarily, in its rejecting the attempt to explain the principle as a version of Leibniz’s predicate-in-subject [Praedicatum inest subjecto] containment thesis). My paper consists of two parts. The first is expository in nature. In this part, I spell out briefly the main aspects of Maimon’s principle of determinability and its aims. In the second part, I examine Maimon’s surprising claim that once we accept the principle of determinability, we have to deny the possibility of two subjects sharing the same predicate. Maimon provides several proofs for this highly counterintuitive claim, and I will try to clarify and evaluate these proofs. (shrink)

According to the Lockean thesis, a proposition is believed just in case it is highly probable. While this thesis enjoys strong intuitive support, it is known to conflict with seemingly plausible logical constraints on our beliefs. One way out of this conflict is to make probability 1 a requirement for belief, but most have rejected this option for entailing what they see as an untenable skepticism. Recently, two new solutions to the conflict have been proposed that are alleged to be (...) non-skeptical. We compare these proposals with each other and with the Lockean thesis, in particular with regard to the question of how much we gain by adopting any one of them instead of the probability 1 requirement, that is, of how likely it is that one believes more than the things one is fully certain of. (shrink)

As I head home from work, I’m not sure whether my daughter’s new bike is green, and I’m also not sure whether I’m on drugs that distort my color perception. One thing that I am sure about is that my attitudes towards those possibilities are evidentially independent of one another, in the sense that changing my confidence in one shouldn’t affect my confidence in the other. When I get home and see the bike it looks green, so I increase my (...) confidence that it is green. But something else has changed: now an increase in my confidence that I’m on color-drugs would undermine my confidence that the bike is green. Jonathan Weisberg and Jim Pryor argue that the preceding story is problematic for standard Bayesian accounts of perceptual learning. Due to the ‘rigidity’ of Conditionalization, a negative probabilistic correlation between two propositions cannot be introduced by updating on one of them. Hence if my beliefs about my own color-sobriety start out independent of my beliefs about the color of the bike, then they must remain independent after I have my perceptual experience and update accordingly. Weisberg takes this to be a reason to reject Conditionalization. I argue that this conclusion is too pessimistic: Conditionalization is only part of the Bayesian story of perceptual learning, and the other part needn’t preserve independence. Hence Bayesian accounts of perceptual learning are perfectly consistent with potential underminers for perceptual beliefs. (shrink)

The passionate and staunch defence of logic of the controversial thinker Ibn Ḥazm, Abū Muḥammad ʿAlī b. Aḥmad b. Saʿīd of Córdoba (384-456/994-1064), had lasting consequences in the Islamic world. Indeed, his book Facilitating the Understanding of the Rules of Logic and Introduction Thereto, with Common Expressions and Juristic Examples (Kitāb al-Taqrīb li-ḥadd al-manṭiq wa-l-mudkhal ilayhi bi-l-alfāẓ al-ʿāmmiyya wa-l-amthila al-fiqhiyya), composed in 1025-1029, was well known and discussed during and after his time; and it paved the way for the studies (...) of his compatriots Ibn Bājjah (d. 1138), Ibn Ṭufayl (1185), and Ibn Rushd (1198), who each gave demonstrative reasoning a privileged place within the methods of attaining knowledge. Unfortunately, as too often in the history of science, Ibn Ḥazm’s innovative perspectives and contributions in logic have been overlooked or considered with an attitude of contempt. On the one hand, his work has been seen, at best, as promulgating the benefits of studying Aristotle’s logic, so that his contribution is assessed as more didactical than conceptual. And on the other hand, those who do examine his innovations often consider them to be mistaken. As indicated by Chejne (1984, p. 2) contempt towards the logical work of Ibn Ḥazm was also present in its reception by the Eastern philosophers who accused him of deviating from Aristotelian logic and of dabbling in things beyond his capability. However, a reassessment of his work on logic has since begun, by delving into the ways the thinker of Córdoba studied the links between deontic and modal qualification of propositions. In this context Lameer’s (2013) paper on the logical sources of Ibn Ḥazm is worth mentioning; the author (p. 417, footnote 1) observes that, although, strictly speaking, it was al-Fārābī who first drew the parallelism between deontic and modal concepts, it was Ibn Ḥazm who developed it and worked it out in a more precise manner. A primary aim of this paper is to help fill some of these gaps by stressing the role of the work of Ibn Ḥazm in developing a notion of deontic necessity deeply rooted in legal normativity, and in explicitly discussing the transference between deontic and modal concepts. According to our view; the basic units of Islamic deontic logic are what we might call, indulging in terminological anachronism, heteronomous imperatives. As it turns out, the heteronomy of imperatives within Islamic legal systems contrasts with those of the purely moral realm, which seem to be closer to an autonomous conception of moral law. There it concurs again with Leibniz’s proposal to define obligatory as “what is necessary for a good person to do”. In the present paper, we will focus on the heteronomous imperatives of legal systems rather than on the imperatives of the purely moral realm. In this context, the work of Ibn Ḥazm extends the parallelism between the necessity of events and that of human actions stressed by his predecessors. According to our understanding, Ibn Ḥazm’s parallelism can be rendered explicit formally by means of a conditional (or hypothetical) structure shared by both deontic and modal propositions. Moreover, this structure makes apparent that this parallelism displays an underlying system of “degrees”. Indeed, while in the domain of events, given some conditions, it makes sense to distinguish between an event that is more likely to happen than another. Ibn Ḥazm speaks of near and distant possibility (such as the higher degree of likelihood of rain, given the condensation of clouds in December, and its lower degree, when the condensation occurs in summer); and, in the domain of actions, the Islamic notion of weighting actions determines degrees of virtue (or of legal and moral value). So whereas the degree of virtue of performing a forbidden act as determined by the distribution of sanction and reward is 0, we obtain the same value by pondering the likelihood of an impossible event to take place. Furthermore, as discussed in section II.3.2, the system of values at work in the parallelism can be seen as opening the way to a more direct correspondence. Thus, while in the realm of nature, likelihood of occurrence of an event is dependent upon the conditions specific to the occurrence of that event; while, in the realm of jurisprudence, likelihood of performing an action is dependent upon the distribution of reward and sanction specific to that action (being that, given the choice to perform or not perform a given action, those that will be rewarded are more likely to be performed than those that are not). According to this perspective, the point of the parallelism is that both deontic and modal qualifications measure the degree of an action or event to become actual; that is – indulging once more in anachronism (but this time from the Leibnizian background) – the degree measures how feasible (facile) an action or event may be. This suggests that Ibn Ḥazm’s perspectives already herald the links to probability and possibility explored by Leibniz six centuries later – see for example Leibniz’s (1671, A VI, I, p. 424-26) use of probability in the context of conditional right. Nevertheless, it also shows a crucial difference to the approach developed in the Elementa Jura Naturalis: whereas Leibniz’s studies seek to define what is to be just or virtuous, the logical system of deontic imperatives within Islamic jurisprudence presupposes that what is to be virtuous has already been settled. Determining what is to be virtuous is not achieved by logical reasoning within the system of legal jurisprudence, but by delving into the higher objectives of the Sharīʿa. While developing our point, we will delve into the logical structure of the heteronomous imperatives. This distinguishes our contribution from the existing literature, such as the papers of Chejne (1984), Lameer (2014), and Guerrero (1997, 2010, 2014), which do not provide a logical analysis of the deontic concepts put into work by Ibn Ḥazm. The true antecedent to the present paper is the work of Farid Zidani (2007, 2015), who, so far as we know, was the first to undertake such a task. Some of our own developments and general epistemological thoughts go beyond Ibn Ḥazm’s framework and motivations; mainly those contained in sections II.3.2 and IV. However, according to our view, these reflections suggest that Ibn Ḥazm’s approach has the substance for a broader and deeper exploration of the logic of norms. The paper is structured as follows:I.Ibn Ḥazm’s Logic of Heteronomous Imperatives. After presenting some extracts of the relevant text, we proceed by providing a formal reconstruction of the five forms of deontic modalities. II. A Landmark in the History of the Logical Analysis of Norms. Duties and Modalities. In this section, we study the transferences from deontic to modal necessity and possibility. We briefly compare the deontic system of Islamic Jurisprudence with that of Leibniz.III. Leibniz and Hypothetical Imperatives in Law.IV. Beyond Ibn Ḥazm: Conclusions and the Work Ahead. We will conclude the paper by discussing briefly some conceptual points that distinguish the logic of heteronomous imperatives from contemporary deontic logic. Our final words will discuss deontic-modal parallelism in the context of Ibn Ḥazm’s rejection of reasoning by conjecture and what we call “the internalization of nature.”. (shrink)

In this paper I will develop a view about the semantics of imperatives, which I term Modal Noncognitivism, on which imperatives might be said to have truth conditions (dispositionally, anyway), but on which it does not make sense to see them as expressing propositions (hence does not make sense to ascribe to them truth or falsity). This view stands against “Cognitivist” accounts of the semantics of imperatives, on which imperatives are claimed to express propositions, which are then enlisted in explanations (...) of the relevant logico-semantic phenomena. It also stands against the major competitors to Cognitivist accounts—all of which are non-truth-conditional and, as a result, fail to provide satisfying explanations of the fundamental semantic characteristics of imperatives (or so I argue). The view of imperatives I defend here improves on various treatments of imperatives on the market in giving an empirically and theoretically adequate account of their semantics and logic. It yields explanations of a wide range of semantic and logical phenomena about imperatives—explanations that are, I argue, at least as satisfying as the sorts of explanations of semantic and logical phenomena familiar from truth-conditional semantics. But it accomplishes this while defending the notion—which is, I argue, substantially correct—that imperatives could not have propositions, or truth conditions, as their meanings. (shrink)

When we experience the world – see, hear, feel, taste, or smell things – we gain all sorts of knowledge about the things around us. And this knowledge figures heavily in our reasoning about the world – about what to think and do in response to it. But what is the nature of this knowledge? On one commonly held view, all knowledge is constituted by beliefs in propositions. But in this paper I argue against this view. I argue that some (...) knowledge is constituted, not by beliefs in propositions, but by awareness of properties and objects. To make my case, I focus on the role of visual perception in reasoning. I start by introducing a principle about the relationship between knowledge and reasoning, which says that to learn something new by reasoning, one must know the bases of one’s reasoning. Then I argue that in some cases of genuine, knowledge-conferring reasoning, the bases of our reasoning are not propositions that we believe; rather, they’re properties or objects that we see. Thus, I conclude that some such knowledge is non-propositional and is rather what some call “knowledge of things”. (shrink)