The development of symbolic logic is often presented in terms of a cumulative story of consecutive innovations that led to what is known as modern logic. This narrative hides the difficulties that this new logic faced at first, which shaped its history. Indeed, negative reactions to the emergence of the new logic in the second half of the nineteenth century were numerous and we study here one case, namely logic at Oxford, where one finds Lewis Carroll, a mathematical teacher who (...) promoted symbolic logic, and John Cook Wilson, the Wykeham Professor of Logic who notoriously opposed it. An analysis of their disputes on the topic of logical symbolism shows that their opposition was not as sharp as it might look at first, as Cook Wilson was not so much opposed to the « symbolic » character of logic, but the intrusion of mathematics and what he perceived to be the futility of some of its problems, for logicians and philosophers alike. (shrink)

Drawing inspiration from a well-attested historical tradition, I propose an account of cognition according to which knowledge is not only prior to belief; it is also, and crucially, not a kind of belief. Believing, in turn, is not some sort of botched knowing, but a mental state fundamentally different from knowing, with its own distinctive and complementary role in our cognitive life. I conclude that the main battle-line in the history of epistemology is drawn between the affirmation of a natural (...) mental state in which there is a contact between ‘mind’ and ‘reality’ and the rejection of such a natural mental state. For the former position, there is a mental state which is different in kind from belief, and which is constituted by the presence of the object of cognition to the cognitive subject, with no gap between them. For the latter position, all our cognition is belief, and the question becomes how and when belief is permissible. (shrink)

No existing conditional semantics captures the dual role of 'if' in embedded interrogatives — 'X wonders if p' — and conditionals. This paper presses the importance and extent of this challenge, linking it to cross-linguistic patterns and other phenomena involving conditionals. Among these other phenomena are conditionals with multiple 'if'-clauses in the antecedent — 'if p and if q, then r' — and relevance conditionals — 'if you are hungry, there is food in the cupboard'. Both phenomena are shown to (...) be problematic for existing analyses. Surprisingly, the decomposition of conditionals needed to capture the link with interrogatives provides a new analysis that captures all three phenomena. The model-theoretic semantics offered here relies on a dynamic conception of meaning and compositionality, a feature discussed throughout. (shrink)

Exceptions are often cited as a counterargument against formal causation. Against this I argue that Aristotle explicitly allows for exceptions to essences in his biological writings, and that he has a means of explaining them through formal causation – though this means that he has to slightly elaborate on his general case theory from the Posterior Analytics, by supplementing it with a special case application in the biological writings. Specifically for Aristotle an essential predication need not be a universal predication. (...) Rather an essential predication is where a property belongs essentially to a species or genus. This essential predication serves a causal and explanatory role, and is not dependent on a corresponding universal predication. (shrink)

This dissertation argues that we have no good reason to accept any one theory of properties as correct. To show this, I present three possible bases for theory-choice in the properties debate: coherence, explanatory adequacy, and explanatory value. Then I argue that none of these bases resolve the underdetermination of our choice between theories of properties. First, I argue considerations about coherence cannot resolve the underdetermination, because no traditional theory of properties is obviously incoherent. Second, I argue considerations of explanatory (...) adequacy cannot resolve the underdetermination, because every traditional theory of properties lacks the theoretical resources to adequately explain resemblance, causal powers, and predication. However, these inadequacies are easily remedied with theoretical modifications. But this results in an overabundance of modified, but adequate, theories of properties. Third, I argue explanatory virtues cannot resolve the underdetermination, because we have no reason to think explanatory virtues make theories of properties more likely to be true. I reject the common argument that explanatory virtues are truth-conducive in theories of properties because they are truth-conducive in scientific theories. Since none of the three bases for theory choice can resolve the underdetermination, I conclude that we have no good reason to accept any one theory of properties as correct. Finally, I consider the possibility of choosing one theory over the others on pragmatic grounds. But I argue that pragmatic grounds cannot resolve the underdetermination either. Instead, I suggest we accept the view I call 'instrumental pluralism,' which allows practitioners to use whatever theory of properties they find useful. Adviser: Jennifer McKitrick. (shrink)