In this paper I urge friends of truth-value gaps and truth-value gluts – proponents of paracomplete and paraconsistent logics – to consider theories not merely as sets of sentences, but as pairs of sets of sentences, or what I call ‘bitheories,’ which keep track not only of what holds according to the theory, but also what fails to hold according to the theory. I explain the connection between bitheories, sequents, and the speech acts of assertion and denial. I illustrate the (...) usefulness of bitheories by showing how they make available a technique for characterising different theories while abstracting away from logical vocabulary such as connectives or quanti- fiers, thereby making theoretical commitments independent of the choice of this or that particular non-classical logic. (shrink)

A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises. While logicians have proposed many technically developed paraconsistent logical systems and contemporary philosophers like Graham Priest have advanced the view that some contradictions can be true, and advocated a paraconsistent logic to deal with them, until recent times these systems have been little understood by philosophers. This book presents a comprehensive overview on paraconsistent logical systems to change (...) this situation. The book includes almost every major author currently working in the field. The papers are on the cutting edge of the literature some of which discuss current debates and others present important new ideas. The editors have avoided papers about technical details of paraconsistent logic, but instead concentrated upon works that discuss more 'big picture' ideas. Different treatments of paradoxes takes centre stage in many of the papers, but also there are several papers on how to interpret paraconistent logic and some on how it can be applied to philosophy of mathematics, the philosophy of language, and metaphysics. (shrink)

Since Leibniz's time, Cartesian mental causation has been criticized for violating the conservation of energy and momentum. Many dualist responses clearly fail. But conservation laws have important neglected features generally undermining the objection. Conservation is _local_, holding first not for the universe, but for everywhere separately. The energy in any volume changes only due to what flows through the boundaries. Constant total energy holds if the global summing-up of local conservation laws converges; it probably doesn't in reality. Energy conservation holds (...) if there is symmetry, the sameness of the laws over time. Thus, if there are time-places where symmetries fail due to nonphysical influence, conservation laws fail there and then, while holding elsewhere, such as refrigerators and stars. Noether's converse first theorem shows that conservation laws imply symmetries. Thus conservation trivially nearly entails the causal closure of the physical. But expecting conservation to hold in the brain simply assumes the falsehood of Cartesianism. Hence Leibniz's objection begs the question. Empirical neuroscience is another matter. So is Einstein's General Relativity: far from providing a loophole, General Relativity makes mental causation _harder_. (shrink)

The conservation laws do not establish the central premise within the argument from causal overdetermination – the causal completeness of the physical domain. Contrary to David Papineau, this is true even if there is no non-physical energy. The combination of the conservation laws with the claim that there is no non-physical energy would establish the causal completeness principle only if, at the very least, two further causal claims were accepted. First, the claim that the only way that something non-physical could (...) affect a physical system is by affecting the amount of energy or momentum within it, or redistributing the energy and momentum within it. Second, the claim that redistribution of energy and momentum cannot be brought about without supplying energy or momentum. Both of these claims, however, are exceedingly difficult to defend in the context of the argument. (shrink)

This book contains a representationalist theory of self-consciousness and of the phenomenal first-person perspective. It draws on empirical data from the cognitive and neurosciences.

Misconceptions about energy conservation abound due to the gap between physics and secondary school chemistry. This paper surveys this difference and its relevance to the 1690s–2010s Leibnizian argument that mind-body interaction is impossible due to conservation laws. Justifications for energy conservation are partly empirical, such as Joule’s paddle wheel experiment, and partly theoretical, such as Lagrange’s statement in 1811 that energy is conserved if the potential energy does not depend on time. In 1918 Noether generalized results like Lagrange’s and proved (...) a converse: symmetries imply conservation laws and vice versa. Conservation holds if and only if nature is uniform. The rise of field physics during the 1860s–1920s implied that energy is located in particular places and conservation is primordially local: energy cannot disappear in Cambridge and reappear in Lincoln instantaneously or later; neither can it simply disappear in Cambridge or simply appear in Lincoln. A global conservation law can be inferred in some circumstances. Einstein’s General Relativity, which stimulated Noether’s work, is another source of difficulty for conservation laws. As is too rarely realized, the theory admits conserved quantities due to symmetries of the Lagrangian, like other theories. Indeed General Relativity has more symmetries and hence more conserved energies. An argument akin to Leibniz’s finally gets some force. While the mathematics is too advanced for secondary school, the ideas that conservation is tied to uniformities of nature and that energy is in particular places, are accessible. Improved science teaching would serve the truth and enhance the social credibility of science. (shrink)

Psychologism in logic is the doctrine that the semantic content of logical terms is in some way a feature of human psychology. We consider the historically influential version of the doctrine, Psychological Individualism, and the many counter-arguments to it. We then propose and assess various modifications to the doctrine that might allow it to avoid the classical objections. We call these Psychological Descriptivism, Teleological Cognitive Architecture, and Ideal Cognizers. These characterizations give some order to the wide range of modern views (...) that are seen as psychologistic because of one or another feature. Although these can avoid some of the classic objections to psychologism, some still hold. (shrink)

Jaegwon Kim and others have claimed that (strong) psychophysical supervenience entails the reducibility of mental properties to physical properties. I argue that this claim is unwarranted with respect to epistemic (explanatory) reducibility (either of a global or of a local sort), as well as with respect to ontological reducibility. I then attempt to show that a robust version of nonreductive materialism (which I call supervenient token-physicalism) can be defended against the charge that nonreductive materialism leads to epiphenomenalism in failing to (...) account for the causal or explanatory relevance of mental properties. (shrink)

The conservation of energy law, a law of physics that states that the total energy of any closed system is always conserved, is a bedrock principle that has achieved both broad theoretical and experimental support. Yet if interactive dualism is correct, it is thought that the mind can affect physical objects in violation of the conservation of energy. Thus, some claim, the conservation of energy grounds an argument for physicalism. Although critics of the argument focus on the implausibility of causation (...) requiring the transference of energy, I argue that even if causation requires the transference of energy, once we accept the other required premises of the argument that lie behind any supposed argument from the conservation of energy the law of the conservation of energy is revealed as irrelevant to the question of whether the mental is physical. (shrink)

Max Cresswell and Hilary Putnam seem to hold the view, often shared by classical logicians, that paraconsistent logic has not been made sense of, despite its well-developed mathematics. In this paper, I examine the nature of logic in order to understand what it means to make sense of logic. I then show that, just as one can make sense of non-normal modal logics (as Cresswell demonstrates), we can make `sense' of paraconsistent logic. Finally, I turn the tables on classical logicians (...) and ask what sense can be made of explosive reasoning. While I acknowledge a bias on this issue, it is not clear that even classical logicians can answer this question. (shrink)

Is it true that if zombies---creatures who are behaviorally indistinguishable from us, but no more conscious than a rock-are logically possible, the computational conception of mind is false? Are zombies logically possible? Are they physically possible? This paper is a careful, sustained argument for affirmative answers to these three questions.

It is a common intuition that at least in some cases disagreement has skeptical consequences: the participants are not justified in persisting in their beliefs. I will argue that the currently popular non-dialectical and individualistic accounts of justification, such as evidentialism and reliabilism, cannot explain this intuition and defend the dialectical conception of justification that can explain it. I will also argue that this sort of justification is a necessary condition of knowledge by relying on Craig's genealogy of the concept (...) of knowledge. I will then respond to the accusation that the dialectical conception leads to radical skepticism. My response is partly concessive. It does lead to skepticism in areas where controversy prevails, such as philosophy, politics and religion, but this sort of skepticism is quite intuitive. Finally, I deal with the objection that my defense of skepticism about philosophy is self-refuting. (shrink)

Mental causation, idea that it is us – via our minds – who cause bodily actions is as commonsensical as it is indispensable for our understanding of ourselves as rational agents. Somewhat less uncontroversial, but nonetheless widespread (at least among ordinary people) is the idea that the mind is non-physical, following the intuition that what is physical can neither act nor think nor judge morally. Taken together, and cast into a metaphysical thesis, the two intuitions yield interactive dualism: the view (...) that human persons and their minds are non-physical but can nonetheless interact with their bodies, most notably through their brains. This thesis has two main objectives: first, to defend interactive dualism against objections, and second, to show how it can blend in with a physical world in which laws of nature hold. The first part (chapter 1) consists in a brief motivation of interactive dualism as opposed to non-interactive dualism. I argue that non-interactive, epiphenomenalist dualism sacrifices so many crucial aspects of our human existence that interactive dualism is highly to be preferred to it, barring even stronger counterarguments against the latter. It is those putative counterarguments I address in parts II and III. Part II takes on the philosophical objections from the causal closure of the physical and from causal heterogeneity. The former takes the success of physics and physiology as basis for the doctrine of the causal closure of the physical (CCP). I argue against this that there is not only no convincing argument for CCP, but also that any science-based belief in CCP cannot be epistemically justified. As regards the causal heterogeneity objection, it is ‘weighed and found wanting’, because it relies on unwarranted assumptions about causation. In part III, I examine the objection from energy conservation. It roughly says that if interactive dualism were true, then energy would not be conserved, which physics taught us cannot be the case. My reply is that the underlying conception of energy (and momentum) conservation is wrong-headed and not the one that actual physicists use. Instead of being categorical and global, conservation laws are conditional and local, thereby making natural room for mental interaction. Some dualists, however, have sought to make interactive dualism conservation-friendly, notably by invoking quantum physics; I show that these attempts are unnecessary and create more problems than they solve. Finally, in chapter 9, I turn the tables on non-interactionists by investigating current neurophysiological literature on volitional actions, which, though not addressing the question directly, still encourages the interactive dualist picture more than a non-interactionist one. Part IV is about the interplay between interactive dualism and the laws of nature. The ultimate goal is, if possible, to come up with a theory of the laws of nature that explains the lawlike behavior of nature and at the same time makes room for interaction. I begin by pointing out that the laws of nature are or at least should be what physicalists worry about (chapter 10). I then proceed with a historical survey on the development of the notion of laws of nature (chapter 11) that sheds light on its theistic origin. This is followed by an inquiry into the question how a law of nature could possibly be broken (chapter 12) and a survey of the extant metaphysical theories of the laws of nature with special regard to their receptivity to interaction (chapter 13). Finally, in chapter 14 I develop a theory of the laws of nature both faithful to their divine origin and the possibility of mental interaction: dispositionalist divine decretalism, a synthesis of dispositionalism and Jeffrey Koperski’s divine decretalism. (shrink)

Philosophers disagree about whether there could be “zombies”: beings physically identical to normal human people but lacking consciousness. Establishing their possibility would refute physicalism. But it is seldom noted that the popular “constitution view” of human people implies that our bodies actually are zombies. This would contradict several widely held views in the philosophy of mind.

How do people make deductions? The orthodox view in psychology is that they use formal rules of inference like those of a “natural deduction” system.Deductionargues that their logical competence depends, not on formal rules, but on mental models. They construct models of the situation described by the premises, using their linguistic knowledge and their general knowledge. They try to formulate a conclusion based on these models that maintains semantic information, that expresses it parsimoniously, and that makes explicit something not directly (...) stated by any premise. They then test the validity of the conclusion by searching for alternative models that might refute the conclusion. The theory also resolves long-standing puzzles about reasoning, including how nonmonotonic reasoning occurs in daily life. The book reports experiments on all the main domains of deduction, including inferences based on prepositional connectives such as “if” and “or,” inferences based on relations such as “in the same place as,” inferences based on quantifiers such as “none,” “any,” and “only,” and metalogical inferences based on assertions about the true and the false. Where the two theories make opposite predictions, the results confirm the model theory and run counter to the formal rule theories. Without exception, all of the experiments corroborate the two main predictions of the model theory: inferences requiring only one model are easier than those requiring multiple models, and erroneous conclusions are usually the result of constructing only one of the possible models of the premises. (shrink)

What''s computation? The received answer is that computation is a computer at work, and a computer at work is that which can be modelled as a Turing machine at work. Unfortunately, as John Searle has recently argued, and as others have agreed, the received answer appears to imply that AI and Cog Sci are a royal waste of time. The argument here is alarmingly simple: AI and Cog Sci (of the Strong sort, anyway) are committed to the view that cognition (...) is computation (or brains are computers); butall processes are computations (orall physical things are computers); so AI and Cog Sci are positively silly.I refute this argument herein, in part by defining the locutions x is a computer and c is a computation in a way that blocks Searle''s argument but exploits the hard-to-deny link between What''s Computation? and the theory of computation. However, I also provide, at the end of this essay, an argument which, it seems to me, implies not that AI and Cog Sci are silly, but that they''re based on a form of computation that is well beneath human persons. (shrink)

The Representational Theory of the Mind allows for psychological explanations couched in terms of the contents of propositional attitudes. Propositional attitudes themselves are taken to be relations to mental representations. These representations (partially) determine the contents of the attitudes in which they figure. Thus, Representationalism owes an explanation of the contents of mental representations. This essay constitutes an atomistic theory of the content of formally or syntactically simple mental representation, proposing that the content of such a representation is determined by (...) the intersection of the representation's correlational and control properties. The theory is distinguished from standard information-based accounts of mental content in allowing that the relevant correlations be contingent while insisting on an efferent aspect to mental content. The theory on offer allows for a natural explanation of misrepresentation, finds a niche for the notion of narrow content, welcomes radical first person fallibility with respect to questions of content, admits of mental ambiguity and recognizes that the future of a psychological agent is a factor in determining the content of the agent's present psychological states. (shrink)

I provide an interpretation of Wittgenstein's much criticized remarks on Gödel's First Incompleteness Theorem in the light of paraconsistent arithmetics: in taking Gödel's proof as a paradoxical derivation, Wittgenstein was right, given his deliberate rejection of the standard distinction between theory and metatheory. The reasoning behind the proof of the truth of the Gödel sentence is then performed within the formal system itself, which turns out to be inconsistent. I show that the models of paraconsistent arithmetics (obtained via the Meyer-Mortensen (...) collapsing filter on the standard model) match with many intuitions underlying Wittgensteins philosophy of mathematics, such as its strict finitism and the insistence on the decidability of any meaningful mathematical question. (shrink)

We here attempt to address certain criticisms of the philosophical import of the so-called Brazilian approach to paraconsistency by providing some epistemic elucidations of the whole enterprise of the logics of formal inconsistency. In the course of this discussion, we substantiate the view that difficulties in reasoning under contradictions in both the Buddhist and the Aristotelian traditions can be accommodated within the precepts of the Brazilian school of paraconsistency.

Qualia are phenomenal properties of sensations and perceptual states: they are whatever it is that gives such states their “felt,” qualitative character. (In speaking of sensations, I speak of course not of mental objects or mental contents, but of mental events—of sensings, not sensa.).

When your word processor or email program is running on your computer, this creates a "virtual machine” that manipulates windows, files, text, etc. What is this virtual machine, and what are the virtual objects it manipulates? Many standard arguments in the philosophy of mind have exact analogues for virtual machines and virtual objects, but we do not want to draw the wild metaphysical conclusions that have sometimes tempted philosophers in the philosophy of mind. A computer file is not made of (...) epiphenomenal ectoplasm. I argue instead that virtual objects are "supervenient objects". The stereotypical example of supervenient objects is the statue and the lump of clay. To this end I propose a theory of supervenient objects. Then I turn to persons and mental states. I argue that my mental states are virtual states of a cognitive virtual machine implemented on my body, and a person is a supervenient object supervening on his cognitive virtual machine. (shrink)

It has been commonplace in epistemology since its inception to idealize away from computational resource constraints, i.e., from the constraints of time and memory. One thought is that a kind of ideal rationality can be specified that ignores the constraints imposed by limited time and memory, and that actual cognitive performance can be seen as an interaction between the norms of ideal rationality and the practicalities of time and memory limitations. But a cornerstone of naturalistic epistemology is that normative assessment (...) is constrained by capacities: you cannot require someone to do something they cannot or, as it is usually put, ought implies can. This much we take to be uncontroversial. We argue that differences in architectures, goals and resources imply substantial differences in capacity, and that some of these differences are ineliminable. It follows that some differences in goals and architectural and computational resources matter at the normative level: they constrain what principles of normative epistemology can be used to describe and prescribe their behavior. As a result, we can expect there to be important epistemic differences between the way brains, individuals, and science work. (shrink)

This essay examines the grammatical structure underlying the use of the word "conscious". Despite the existence of this grammatical structure, I reject the assumption that actual consciousness has a similar structure. Specifically, I reject the claim that consciousness consists of three subtypes: state consciousness, transitive consciousness, and creature consciousness. I offer an inductive argument and a deductive argument that no such psychological entities exist. The inductive argument: given the lack of evidence or arguments for the entities and given that a (...) tripartite consciousness structure evolved from a tripartite grammatical habit, it would be far too coincidental if the grammatical distinction mirrored a psychological distinction. The deductive argument shows that absurd conclusions follow from assuming the existence of three distinct psychological entities. Furthermore, the verbal habits that motivate the distinction are rendered more intelligible under a "Unitary Thesis", the idea that verbal distinctions involving use of the word "conscious" are unified in their reliance on a single ontological unit, that of conscious experience. (shrink)

A rational agent has beliefs reflecting the state of its environment, and likes or dislikes Its situation. When it finds the world not entirely to Its liking, it tries to change that. We can, accordingly, evaluate a system of cognition in terms of its probable success in bringing about situations that are to the agent's liking. In doing this we are viewing practical reasoning from “the design stance.” It is argued that a considerable amount of the structure of rationality can (...) be elicited as providing the only apporant solutions to various logical and feasibility problems that arise in the course of trying to design a rational agent that satisfies this design specification. (shrink)

Computational philosophy is the use of mechanized computational techniques to instantiate, extend, and amplify philosophical research. Computational philosophy is not philosophy of computers or computational techniques; it is rather philosophy using computers and computational techniques. The idea is simply to apply advances in computer technology and techniques to advance discovery, exploration and argument within any philosophical area. -/- After touching on historical precursors, this article discusses contemporary computational philosophy across a variety of fields: epistemology, metaphysics, philosophy of science, ethics and (...) social philosophy, philosophy of language and philosophy of mind, often with examples of operating software. Far short of any attempt at an exhaustive treatment, the intention is to introduce the spirit of each application by using some representative examples. (shrink)

Alan Turing devised his famous test (TT) through a slight modificationof the parlor game in which a judge tries to ascertain the gender of twopeople who are only linguistically accessible. Stevan Harnad hasintroduced the Total TT, in which the judge can look at thecontestants in an attempt to determine which is a robot and which aperson. But what if we confront the judge with an animal, and arobot striving to pass for one, and then challenge him to peg which iswhich? (...) Now we can index TTT to a particular animal and its syntheticcorrelate. We might therefore have TTTrat, TTTcat,TTTdog, and so on. These tests, as we explain herein, are abetter barometer of artificial intelligence (AI) than Turing's originalTT, because AI seems to have ammunition sufficient only to reach thelevel of artificial animal, not artificial person. (shrink)

In this article, I argue that if tacit knowledge of grammar is analyzable in functional‐computational terms, then it cannot ground linguistic meaning, structure, or sound. If to know or cognize a grammar is to be in a certain computational state playing a certain functional role, there can be no unique grammar cognized. Satisfying the functional conditions for cognizing a grammar G entails satisfying those for cognizing many grammars disagreeing with G about expressions' semantic, phonetic, and syntactic values. This threatens the (...) Chomskyan view that expressions have such values for speakers because they cognize grammars assigning them those values. For if this is true, semantics, syntax, and phonology must be indeterminate, thanks to the indeterminacy of grammar‐cognizing (qua functional‐computational state). So, the fact that a speaker cognizes a grammar cannot explain the determinate character of their language. (shrink)

Physicalists typically believe that neurophysiology has refuted the thesis that non-physical minds can interact with the brain. In this paper, I argue that it is precisely a closer look at the neurophysiology of volitional actions that suggests otherwise. I start with a clarification of how the present inquiry relates to the main argument for physicalism, and how the most common alternative views relate to the findings of my study. I then give a brief overview of the neurophysiological research about volitional (...) actions, finding that there is no research specifically directed at the pertinent question. I proceed by pointing out what it would take for a complete physical explanation of volitional actions to be true: namely a complete physical explanation of the increase in the firing rate of the neurons with which the sequence leading up to volitional actions starts. Since no dedicated research about this question is available, I offer a study of the known mechanisms of neuronal excitation as a substitute, finding that there is no plausible biochemical or physical mechanism that could explain the causal initiation of volitional actions – at least none that upholds energy conservation. But non-conservation is precisely what interactive dualism, in its most plausible version, predicts. Thus, rather than buttressing physicalism, our empirical knowledge of volitional actions points toward interactive dualism. (shrink)

This article argues that criminal law should not, in general, prevent the creation of artificially intelligent servants who achieve humanlike moral status, even though it may well be immoral to construct such beings. In defending this claim, a series of thought experiments intended to evoke clear intuitions is proposed, and presuppositions about any particular theory of criminalization or any particular moral theory are kept to a minimum.

Substructural pluralism about the meaning of logical connectives is best understood as the view that natural language connectives have all (and only) the properties conferred by classical logic, but that particular occurrences of these connectives cannot simultaneously exhibit all these properties. This is just a more sophisticated way of saying that while natural language connectives are ambiguous, they are not so in the way classical logic intends them to be. Since this view is usually framed as a means to resolve (...) paradoxes, little attention is paid to the logical properties of the ambiguous connectives themselves. The present paper sets out to fill this gap. First, I argue that substructural logicians should care about these connectives; next, I describe a consequence relation between a set of ambiguous premises and an ambiguous conclusion, and review the logical properties of ambiguous connectives; and finally, I highlight how ambiguous connectives can explain our intuitions about logical rivalry. (shrink)