-
2281Recent Work in Relevant LogicAnalysis 73 (3): 526-541. 2013.This paper surveys important work done in relevant logic in the past 10 years.
-
971The cost of truthmaker maximalismCanadian Journal of Philosophy 43 (4): 460-474. 2013.According to truthmaker theory, particular truths are true in virtue of the existence of particular entities. Truthmaker maximalism holds that this is so for all truths. Negative existential and other ‘negative’ truths threaten the position. Despite this, maximalism is an appealing thesis for truthmaker theorists. This motivates interest in parsimonious maximalist theories, which do not posit extra entities for truthmaker duty. Such theories have been offered by David Lewis and Gideon Rosen, Ros…Read more
-
442Syntactic logics do not suffer from the problems of logical omniscience but are often thought to lack interesting properties relating to epistemic notions. By focusing on the case of rule-based agents, I develop a framework for modelling resource-bounded agents and show that the resulting models have a number of interesting properties.
-
1230Advanced Modalizing ProblemsMind 125 (499): 627-642. 2016.I present an internal problem for David Lewis’s genuine modal realism. My aim is to show that his analysis of modality is inconsistent with his metaphysics. I consider several ways of modifying the Lewisian analysis of modality, but argue that none are successful. I argue that the problem also affects theories related to genuine modal realism, including the stage theory of persistence and modal fictionalism.
-
6212Being Positive About Negative FactsPhilosophy and Phenomenological Research 85 (1): 117-138. 2012.Negative facts get a bad press. One reason for this is that it is not clear what negative facts are. We provide a theory of negative facts on which they are no stranger than positive atomic facts. We show that none of the usual arguments hold water against this account. Negative facts exist in the usual sense of existence and conform to an acceptable Eleatic principle. Furthermore, there are good reasons to want them around, including their roles in causation, chance-making and truth-making, and…Read more
-
170Preference-based belief revision for rule-based agentsSynthese 165 (2): 159-177. 2008.Agents which perform inferences on the basis of unreliable information need an ability to revise their beliefs if they discover an inconsistency. Such a belief revision algorithm ideally should be rational, should respect any preference ordering over the agent’s beliefs (removing less preferred beliefs where possible) and should be fast. However, while standard approaches to rational belief revision for classical reasoners allow preferences to be taken into account, they typically have quite hig…Read more
-
1354Monism and Material ConstitutionPacific Philosophical Quarterly 95 (1): 189-204. 2014.Are the sculpture and the mass of gold which permanently makes it up one object or two? In this article, we argue that the monist, who answers ‘one object’, cannot accommodate the asymmetry of material constitution. To say ‘the mass of gold materially constitutes the sculpture, whereas the sculpture does not materially constitute the mass of gold’, the monist must treat ‘materially constitutes’ as an Abelardian predicate, whose denotation is sensitive to the linguistic context in which it appear…Read more
-
225Setting the Facts StraightJournal of Philosophical Logic 40 (1): 33-54. 2011.Substantial facts are not well-understood entities. Many philosophers object to their existence on this basis. Yet facts, if they can be understood, promise to do a lot of philosophical work: they can be used to construct theories of property possession and truthmaking, for example. Here, I give a formal theory of facts, including negative and logically complex facts. I provide a theory of reduction similar to that of the typed λ -calculus and use it to provide identity conditions for facts. Thi…Read more
-
8Modelling communicating agents in timed reasoning logicsIn U. Endriss & M. Baldoni (eds.), Declarative Agent Languages and Technologies 4, Springer. 2006.Practical reasoners are resource-bounded—in particular they require time to derive consequences of their knowledge. Building on the Timed Reasoning Logics (TRL) framework introduced in [1], we show how to represent the time required by an agent to reach a given conclusion. TRL allows us to model the kinds of rule application and conflict resolution strategies commonly found in rule-based agents, and we show how the choice of strategy can influence the information an agent can take into account w…Read more
Nottingham, Nottingham, United Kingdom of Great Britain and Northern Ireland
Areas of Specialization
Metaphysics |
Logic and Philosophy of Logic |
Philosophy of Language |
Epistemology |
Areas of Interest
Epistemology |
Metaphilosophy |
Philosophy of Language |
Logic and Philosophy of Logic |