I argue that on very weak assumptions about truth (in particular, that there are coherent norms governing the use of "true"), there is a proposition absolutely inexpressible with conventional language, or something very close. I argue for this claim "constructively": I use a variant of the Berry Paradox to reveal a particular thought for my readership to entertain that very strongly resists conventional expression. I gauge the severity of this expressive limitation within a taxonomy of expressive failures, and argue that (...) despite its strength there is nothing incoherent about admitting its existence. The argument forms part of a project of clarifying precisely what trade-offs are required to secure the kinds of expressive power truth theorists typically want, in the process showing that the admission of very strong expressive limitations may ultimately prove to be the lesser of two evils. (shrink)

This volume examines the limitations of mathematical logic and proposes a new approach to logic intended to overcome them. To this end, the book compares mathematical logic with earlier views of logic, both in the ancient and in the modern age, including those of Plato, Aristotle, Bacon, Descartes, Leibniz, and Kant. From the comparison it is apparent that a basic limitation of mathematical logic is that it narrows down the scope of logic confining it to the study of deduction, without (...) providing tools for discovering anything new. As a result, mathematical logic has had little impact on scientific practice. Therefore, this volume proposes a view of logic according to which logic is intended, first of all, to provide rules of discovery, that is, non-deductive rules for finding hypotheses to solve problems. This is essential if logic is to play any relevant role in mathematics, science and even philosophy. To comply with this view of logic, this volume formulates several rules of discovery, such as induction, analogy, generalization, specialization, metaphor, metonymy, definition, and diagrams. A logic based on such rules is basically a logic of discovery, and involves a new view of the relation of logic to evolution, language, reason, method and knowledge, particularly mathematical knowledge. It also involves a new view of the relation of philosophy to knowledge. This book puts forward such new views, trying to open again many doors that the founding fathers of mathematical logic had closed historically. (shrink)

I present two arguments that aim to establish logical limits on what we can know. More specifically, I argue for two results concerning what we can know about questions that we cannot answer. I also discuss a line of thought, found in the writings of Pierce and of Rescher, in support of the idea that we cannot identify specific scientific questions that will never be answered.

This paper focuses on elements that are involved in a specific type of judgment, namely, those involving facts that, in virtue of contingent reasons, are out of our epistemic reach. Its goal is to propose a philosophical explanation about why we, in informal contexts, take some facts as contingently unknowable. In order to accomplish that goal, we develop a theory that defines contingently unknowable facts in a very specific way. We establish three clauses that are jointly necessary and sufficient — (...) so we argue — for taking an arbitrary fact as contingently unknowable. In a variety of contexts, this strategy has the potential of reducing efforts in an epistemological analysis of this particular type of unknowability. (shrink)

In a recent article in this journal, Steve Clarke and Adrian Walsh propose a normative basis for John Dupré’s criticisms of scientific imperialism, namely, that scientific imperialism can cause a discipline to fail to progress in ways that it otherwise would have. This proposal is based on two presuppositions: one, that scientific disciplines have developmental teleologies, and two, that these teleologies are optimal. I argue that we should reject both of these presuppositions and so conclude that Clarke and Walsh’s proposal (...) is insufficiently warranted for it to provide a normative basis for criticisms of scientific imperialism. (shrink)

The sorites paradox is the name given to a class of paradoxical arguments, also known as little by little arguments, which arise as a result of the indeterminacy surrounding limits of application of the predicates involved. For example, the concept of a heap appears to lack sharp boundaries and, as a consequence of the subsequent indeterminacy surrounding the extension of the predicate ‘is a heap’, no one grain of wheat can be identified as making the difference between being a heap (...) and not being a heap. Given then that one grain of wheat does not make a heap, it would seem to follow that two do not, thus three do not, and so on. In the end it would appear that no amount of wheat can make a heap. We are faced with paradox since from apparently true premises by seemingly uncontroversial reasoning we arrive at an apparently false conclusion. (shrink)

I defend a solution to the puzzle of petitionary prayer based on some ideas of Aquinas, Gregory the Great, and contemporary desert theorists. I then address a series of objections. Along the way broader issues about the nature of desert, what is required for an action to have a point, and what is required for a puzzle to have a solution are discussed.

In this thesis, I will defend a new kind of compatibilist account of free action, indirect conscious control compatibilism (or indirect compatibilism for short), and argue that some of our actions are free according to it. My argument has three components, and involves the development of a brand new tool for experimental philosophy, and the use of cognitive neuroscience. The first component of the argument shows that compatibilism (of some kind) is a conceptual truth. Contrary to the current orthodoxy in (...) the free will literature, which is that our concept of free will is an incompatibilist concept - a concept according to which we have free will only if determinism is false - I will show that our concept of free will is in fact a compatibilist concept - a concept according to which we can have free will even if determinism is true - and I do so using a new experimental philosophy methodology inspired by two-dimensional semantics. -/- Of course, even if our concept of free will is a compatibilist concept, this does not mean that there are any free actions in the world: the current empirical evidence from the brain sciences appears to show that there might be no, or very few, free actions in the world, even on many compatibilist understandings of what it would take for there to be free will. The second component of the argument addresses this concern by extending our understanding of compatibilism. Agents act freely either when their actions are caused by compatibilistically acceptable psychological processes, or are indirectly caused by those same processes. Hence the name of my account: indirect compatibilism. -/- The final component of the argument defends my new account against some interesting objections and provides evidence from cognitive neuroscience that some of our actions count as free by the lights of indirect compatibilism. (shrink)