This paper was chosen by The Philosopher’s Annual as one of the ten best articles appearing in print in 2000. Reprinted in Volume XXIII of The Philosopher’s Annual. In his very influential book David Chalmers argues that if physicalism is true then every positive truth is a priori entailed by the full physical description – this is called “the a priori entailment thesis – but ascriptions of phenomenal consciousness are not so entailed and he concludes that Physicalism is false. As (...) he puts it, “zombies” are metaphysically possible. I attempt to show that this argument is refuted by considering an analogous argument in the mouth of a zombie. The conclusion of this argument is false so one of the premises is false. I argue at length that this shows that the original conceivability argument also has a false premise and so is invalid. (shrink)
During the last two decades, several different anti-physicalist arguments based on an epistemic or conceptual gap between the phenomenal and the physical have been proposed. The most promising physicalist line of defense in the face of these arguments – the Phenomenal Concept Strategy – is based on the idea that these epistemic and conceptual gaps can be explained by appeal to the nature of phenomenal concepts rather than the nature of non-physical phenomenal properties. Phenomenal concepts, on this proposal, involve unique (...) cognitive mechanisms, but none that could not be fully physically implemented. David Chalmers has recently presented a Master Argument to show that the Phenomenal Concept Strategy – not just this or that version of it, but any version of it – fails. Chalmers argues that the phenomenal concepts posited by such theories are either not physicalistically explicable, or they cannot explain our epistemic situation with regard to qualia. I argue that it is his Master Argument that fails. My claim is his argument does not provide any new reasons to reject the Phenomenal Concept Strategy. I also argue that, although the Phenomenal Concept Strategy is successful in showing that the physicalist is not rationally compelled to give up physicalism in the light of the anti-physicalist arguments, the anti-physicalist is not rationally compelled to give up the anti-physicalist argument in the light of the Phenomenal Concept Strategy either. (shrink)
The content of the externalist thesis about the mind depends crucially on how we define the distinction between the internal and the external. According to the usual understanding, the boundary between the internal and the external is the skull or the skin of the subject. In this paper I argue that the usual understanding is inadequate, and that only the new understanding of the external/internal distinction I suggest helps us to understand the issue of the compatibility of externalism and privileged (...) access. (shrink)
Descartes's philosophy has had a considerable influence on the modern conception of the mind, but many think that this influence has been largely negative. The main project of The Subject's Point of View is to argue that discarding certain elements of the Cartesian conception would be much more difficult than critics seem to allow, since it is tied to our understanding of basic notions, including the criteria for what makes someone a person, or one of us. The crucial feature of (...) the Cartesian view defended here is not dualism--which is not adopted--but internalism. Internalism is opposed to the widely accepted externalist thesis, which states that some mental features constitutively depend on certain features of our physical and social environment. In contrast, this book defends the minority internalist view, which holds that the mind is autonomous, and though it is obviously affected by the environment, this influence is merely contingent and does not delimit what is thinkable in principle. Defenders of the externalist view often present their theory as the most thoroughgoing criticism of the Cartesian conception of the mind; Katalin Farkas offers a defence of an uncompromising internalist Cartesian conception. (shrink)
Hornsby is a defender of a position in the philosophy of mind she calls “naïve naturalism”. She argues that current discussions of the mind-body problem have been informed by an overly scientistic view of nature and a futile attempt by scientific naturalists to see mental processes as part of the physical universe. In her view, if naïve naturalism were adopted, the mind-body problem would disappear. I argue that her brand of anti-physicalist naturalism runs into difficulties with the problem of mental (...) causation and the completeness of physics. (shrink)
Papineau in his book provides a detailed defense of physicalism via what has recently been dubbed the “phenomenal concept strategy”. I share his enthusiasm for this approach. But I disagree with his account of how a physicalist should respond to the conceivability arguments. Also I argue that his appeal to teleosemantics in explaining mental quotation is more like a promissory note than an actual theory.
The central and paradigmatic cases of knowledge discussed in philosophy involve the possession of truth. Is there in addition a distinct type of practical knowledge, which does not aim at the truth? This question is often approached through asking whether states attributed by “know-how” locutions are distinct from states attributed by “know-that”. This paper argues that the question of practical knowledge can be raised not only about some cases of “know-how” attributions, but also about some cases of so-called “know-wh” attributions; (...) and that certain features of this practical knowledge-wh put pressure on the standard analysis of know-wh. (shrink)
In this paper I begin to develop an account of the acquaintance that each of us has with our own conscious states and processes. The account is a speculative proposal about human mental architecture and specifically about the nature of the concepts via which we think in first personish ways about our qualia. In a certain sense my account is neutral between physicalist and dualist accounts of consciousness. As will be clear, a dualist could adopt the account I will offer (...) while maintaining that qualia themselves are non-physical properties. In this case the non-physical nature of qualia may play no role in accounting for the features of acquaintance. But although the account could be used by a dualist, its existence provides support for physicalism. (shrink)
Most discussions in epistemology assume that believing that p is a necessary condition for knowing that p. In this paper, I will present some considerations that put this view into doubt. The candidate cases for knowledge without belief are the kind of cases that are usually used to argue for the so-called ‘extended mind’ thesis.
This article is about the special, subjective concepts we apply to experience, called “phenomenal concepts”. They are of special interest in a number of ways. First, they refer to phenomenal experiences, and the qualitative character of those experiences whose metaphysical status is hotly debated. Conscious experience strike many philosophers as philosophically problematic and difficult to accommodate within a physicalistic metaphysics. Second, PCs are widely thought to be special and unique among concepts. The sense that there is something special about PCs (...) is very closely tied up with features of the epistemic access they afford to qualia. When we deploy phenomenal concepts introspectively to some phenomenally conscious experience as it occurs, we are said to be acquainted with our own conscious experiences. Accounts of PCs either have to explain the acquaintance relation, or acquaintance with our phenomenal experiences has to be denied. PCs have received much attention in recent philosophy of mind mainly because they figure in arguments for dualism and in physicalist responses to these arguments. The main topic of this article is to explore different accounts of phenomenal concepts and their role in recent debates over the metaphysical status of phenomenal consciousness. (shrink)
In this paper I discuss three problems of consciousness. The first two have been dubbed the “Hard Problem” and the “Harder Problem”. The third problem has received less attention and I will call it the “Hardest Problem”. The Hard Problem is a metaphysical and explanatory problem concerning the nature of conscious states. The Harder Problem is epistemological, and it concerns whether we can know, given physicalism, whether some creature physically different from us is conscious. The Hardest Problem is a problem (...) about reference. Recently some philosophers – among them David Papineau – who advocate a physicalist approach to both the Hard and the Harder problem have called into question the common sense assumption that phenomenal concepts – subjective concepts that we apply directly to experience – refer determinately (modulo vagueness) to real properties that can be instantiated in minds other than my own. The Hardest Problem is the problem of explaining how, given physicalism, this assumption could be true. In this paper I explore how these three problems appear from the perspective of a physicalist approach to consciousness based on Brian Loar’s account of phenomenal concepts, recently dubbed the “phenomenal concept strategy”. My contention is that this approach can go quite far in handling not just the first two problems but the Hardest Problem as well. (shrink)
Know -wh ascriptions are ubiquitous in many languages. One standard analysis of know -wh is this: someone knows-wh just in case she knows that p, where p is an answer to the question included in the wh-clause. Additional conditions have also been proposed, but virtually all analyses assume that propositional knowledge of an answer is at least a necessary condition for knowledge-wh. This paper challenges this assumption, by arguing that there are cases where we have knowledge-wh without knowledge- that of (...) an answer, for example in the cases familiar from arguments for the Extended Mind hypothesis. (shrink)
In recent years, several philosophers have defended the idea of phenomenal intentionality : the intrinsic directedness of certain conscious mental events which is inseparable from these events’ phenomenal character. On this conception, phenomenology is usually conceived as narrow, that is, as supervening on the internal states of subjects, and hence phenomenal intentionality is a form of narrow intentionality. However, defenders of this idea usually maintain that there is another kind of, externalistic intentionality, which depends on factors external to the subject. (...) We may ask whether this concession to content externalism is obligatory. In this paper, I shall argue that it isn’t. I shall suggest that if one is convinced that narrow phenomenal intentionality is legitimate, there is nothing stopping one from claiming that all intentionality is narrow. (shrink)
In “The Meta-Problem of Consciousness”, David Chalmers draws a new framework in which to consider the mind-body problem. In addition to trying to solve the hard problem of consciousness – the problem of why and how brain processes give rise to conscious experience –, he thinks that philosophy, psychology, neuro-science and the other cognitive sciences should also pursue a solution to what he calls the “meta-problem” of consciousness – i.e., the problem of why we think there is a problem with (...) consciousness. My claim is that, while Chalmers’s project is generously ecumenical as well as beautiful in its meticulous detail, it is mistaken in its core assumption that the meta-problem can be formulated as an “easy problem” for science to solve. Furthermore, the project tilts the field toward illusionism against Type-B materialism, as far as physicalist solutions to the hard problem and the meta-problem are concerned. I will argue that Type-B materialism emerges unscathed from this dialectic. (shrink)
Hallucinations occur in a wide range of organic and psychological disorders, as well as in a small percentage of the normal population According to usual definitions in psychology and psychiatry, hallucinations are sensory experiences which present things that are not there, but are nonetheless accompanied by a powerful sense of reality. As Richard Bentall puts it, “the illusion of reality ... is the sine qua non of all hallucinatory experiences” (Bentall 1990: 82). The aim of this paper is to find (...) out what lends an experience ‘a sense of reality’: what features are required for an experience to feel ‘real’, in the relevant sense? I will investigate the claim that phenomenological features are largely responsible for a sense of reality, and will find this claim wanting. My suggestion is that a sense of reality is created and sustained by the larger nexus of the subject's beliefs. (shrink)
It is an integral part of the phenomenology of mature perceptual experience that it seems to present to us an experience-independent world. I shall call this feature 'perceptual intentionality'. In this paper, I argue that perceptual intentionality is constructed by the structure of more basic sensory features, features that are not intentional themselves. This theory can explain why the same sensory feature can figure both in presentational and non-presentational experiences. There is a fundamental difference between the intentionality of sensory experiences (...) and the intentionality of thoughts: unlike the former, the latter is not constructed. (shrink)
According to the Extended Mind thesis, the mind extends beyond the skull or the skin: mental processes can constitutively include external devices, like a computer or a notebook. The Extended Mind thesis has drawn both support and criticism. However, most discussions—including those by its original defenders, Andy Clark and David Chalmers—fail to distinguish between two very different interpretations of this thesis. The first version claims that the physical basis of mental features can be located spatially outside the body. Once we (...) accept that the mind depends on physical events to some extent, this thesis, though not obvious, is compatible with a large variety of views on the mind. The second version applies to standing states only, and has to do with how we conceive the nature of such states. This second version is much more interesting, because it points to a potential tension in our conception of minds or selves. However, without properly distinguishing between the two theses, the significance of the second is obscured by the comparative triviality of the first. (shrink)
The subject of mental processes or mental states is usually assumed to be an individual, and hence the boundaries of mental features – in a strict or metaphorical sense – are naturally regarded as reaching no further than the boundaries of the individual. This chapter addresses various philosophical developments in the 20th and 21st century that questioned this natural assumption. I will frame this discussion by fi rst presenting a historically infl uential commitment to the individualistic nature of the mental (...) in Descartes’ theory. I identify various elements in the Cartesian conception of the mind that were subsequently criticized and rejected by various externalist theories, advocates of the extended mind hypothesis and defenders of embodied cognition. Then I will indicate the main trends in these critiques. (shrink)
Abstract: This paper introduces and analyses the doctrine of externalism about semantic content; discusses the Twin Earth argument for externalism and the assumptions behind it, and examines the question of whether externalism about content is compatible with a privileged knowledge of meanings and mental contents.
On the dust jacket of The Subject's Point of View there is a detail from Vilhelm Hammershoi's Interior with Sitting Woman. It is hard to think of a painter who better captures the inner in his work. From the monochrome colour, to the back that faces us, to the door swung open to reveal yet another doorway, we are led to interiority – to the inner. This is a perfect image for a book whose author wants to persuade us to (...) return to the interior – a Cartesian interior.The Cartesian interior has come in for quite a drubbing in philosophy for some considerable time. In the mid-to-late 1970s, a style of argument emerged, designed to challenge this conception of mind and establish in its place an externalist conception of language and of mind. One version of the argument was due to Hilary Putnam and emerged in the context of considerations concerning linguistic meaning; another was due to Tyler Burge and emerged first in the context of considerations concerning the individual in relation to his/her social environment. In his earliest paper, on this topic, Burge wrote of ‘the elderly Cartesian tradition’ where ‘the spotlight is on what exists or transpires “in” the individual – his secret cognition, his innate cognitive structures, his private perceptions and introspections, his grasping of ideas, concepts or forms’. Farkas wants to defend this ‘elderly tradition’, but she does add to it some interesting twists. First and foremost, she places to one side ideas of privacy, of incorrigibility and infallibility. She also wishes to place the issue of dualism to one side. What Farkas concentrates on is privileged access and argues that this is …. (shrink)
Abstract: How exactly should the relation between a veridical perception and a corresponding hallucination be understood? I argue that the epistemic notion of ‘indiscriminability’, understood as lacking evidence for the distinctness of things, is not suitable for defining this relation. Instead, we should say that a hallucination and a veridical perception involve the same phenomenal properties. This has further consequences for attempts to give necessary and sufficient conditions for the identity of phenomenal properties in terms of indiscriminability, and for considerations (...) about the phenomenal sorites. (shrink)
We define dual and symmetric combinatory calculi (inequational and equational ones), and prove their consistency. Then, we introduce algebraic and set theoretical relational and operational - semantics, and prove soundness and completeness. We analyze the relationship between these logics, and argue that inequational dual logics are the best suited to model computation.
The purpose of our study was to measure the relationship between performance on various attentional tasks and hypnotic susceptibility. Healthy volunteers participated in a study, where they had to perform several tasks measuring various attention components in a waking state: sustained attention, selective or focused attention, divided attention and executive attention in task switching. Hypnotic susceptibility was measured in a separate setting by the Waterloo-Stanford Groups Scale of Hypnotic Susceptibility, Form C .We found no significant correlation between any of the (...) attentional measures and hypnotic susceptibility. Highly hypnotizables did not prove to be superior to or worse than the other individuals in any of the tests.These results do not support the neuropsychophysiological model of hypnosis, as they show no consistent relationship between hypnotic susceptibility and waking attentional performance. (shrink)
Nonclassical logics have played an increasing role in recent years in disciplines ranging from mathematics and computer science to linguistics and philosophy. _Generalized Galois Logics_ develops a uniform framework of relational semantics to mediate between logical calculi and their semantics through algebra. This volume addresses normal modal logics such as K and S5, and substructural logics, including relevance logics, linear logic, and Lambek calculi. The authors also treat less-familiar and new logical systems with equal deftness.
Proponents of non-conceptual content have recruited it for various philosophical jobs. Some epistemologists have suggested that it may play the role of “the given” that Sellars is supposed to have exorcised from philosophy. Some philosophers of mind (e.g., Dretske) have suggested that it plays an important role in the project of naturalizing semantics as a kind of halfway between merely information bearing and possessing conceptual content. Here I will focus on a recent proposal by Jerry Fodor. In a recent paper (...) he characterizes non-conceptual content in a particular way and argues that it is plausible that it plays an explanatory role in accounting for certain auditory and visual phenomena. So he thinks that there is reason to believe that there is non-conceptual content. On the other hand, Fodor thinks that non-conceptual content has a limited role. It occurs only in the very early stages of perceptual processing prior to conscious awareness. My paper is examines Fodor’s characterization of non-conceptual content and his claims for its explanatory importance. I also discuss if Fodor has made a case for limiting non-conceptual content to non-conscious, sub-personal mental states. (shrink)
It is commonly assumed that besides knowledge of facts or truths, there is also knowledge of things–for example, we say that we know people or know places. We could call this "objectual knowledge". In this paper, I raise doubts about the idea that there is a sui generis objectual knowledge that is distinct from knowledge of truths.
The paper examines the problem of textual/cultural dynamics linked to the issue of semiotic literariness, to be further investigated by the authors in later papers on literary semiotics. This scientific project aims to get closer to reaching an adequate disciplinary identification for semiotics of literature and a relatively precise definition of the status of this field in relation to semiotics of culture. The first step for the project is to reveal the interrelationhip between text and culture using the notion of (...) dynamics that can be reconstructed from a historical perspective through some essential components of Formalist and Structuralist theory and also works by Lotman and Bakhtin. The notions of inclusiveness/integration, distancing and hierarchization, leading to transformation, are interpreted in some detail in the context of these theories. On these grounds, three basic categories of the analysability of textual/cultural dynamics are set up with the indication of further aspects of the dynamic function: mediation; transposition; temporality–spatiality. The suggested classification and the implied conceptual segmentation are expected to contribute to a synthesis between “Structuralist” and Peircean theoretical and methodological orientations in semiotic literary studies. This also reveals the need for a coexistence of approaches moving from particular cultural fields towards general semiotics of culture, and returning from universal transfield concepts to literary culture, including the historical traditions both in art and its scientific interpretation. (shrink)
Four-valued semantics proved useful in many contexts from relevance logics to reasoning about computers. We extend this approach further. A sequent calculus is defined with logical connectives conjunction and disjunction that do not distribute over each other. We give a sound and complete semantics for this system and formulate the same logic as a tableaux system. Intensional conjunction and its residuals can be added to the sequent calculus straightforwardly. We extend a simplified version of the earlier semantics for this system (...) and prove soundness and completeness. Then, with some modifications to this semantics, we arrive at a mathematically elegant yet powerful semantics that we call generalized Kripke semantics. (shrink)
Frankish positions his view, illusionism about qualia (a.k.a. eliminativist physicalism), in opposition to what he calls radical realism (dualism and neutral monism) and conservative realism (a.k.a. non-eliminativist physicalism). Against radical realism, he upholds physicalism. But he goes along with key premises of the Gap Arguments for radical realism, namely, 1) that epistemic/explanatory gaps exist between the physical and the phenomenal, and 2) that every truth should be perspicuously explicable from the fundamental truth about the world; and he concludes that because (...) physicalism is true, there could be no phenomenal truths, and no qualia. I think he is wrong to accept 2); and even if he was right to accept it, the more plausible response would be not to deny the existence of qualia but to deny physicalism. In either case, denying the existence of qualia is the wrong answer. I present a physicalist realist alterative that refutes premise 2 of the Gap Argument; I also make a general case against the scientism that accompanies Frankish’s metaphysics. (shrink)
Kleene algebras and action logic were proposed to be solutions to the finite axiomatization problem of the algebra of regular sets (of strings). They are treated here as nonclassical logics—with Hilbert-style axiomatizations and semantics. We also provide intuitive accounts in terms of information states of the semantics which provide further insights into the formalisms. The three types of "Kripke-style'' semantics which we define develop insights from gaggle theory, and from our four-valued and generalized Kripke semantics for the minimal substructural logic. (...) Soundness and completeness are proven each time. (shrink)
Abstract: Kant declares the judgment of beauty to be neither ‘objective’ nor ‘merely subjective’. This essay takes up the question of what this might mean and whether it can be taken seriously. It is often supposed that Kant's denials of ‘objectivity’ to the judgment of beauty express a rejection of realism about beauty. I suggest that Kant's thought is not to be understood in these terms—that it does not properly belong in the arena of debates about the constituents of ‘reality’—motivating (...) the suggestion by first considering a pair of opposing views on the question of whether Kant can be understood to develop a real alternative to realism about beauty at all. (shrink)
The implicational fragment of the logic of relevant implication, $R_{\to}$ is one of the oldest relevance logics and in 1959 was shown by Kripke to be decidable. The proof is based on $LR_{\to}$ , a Gentzen-style calculus. In this paper, we add the truth constant $\mathbf{t}$ to $LR_{\to}$ , but more importantly we show how to reshape the sequent calculus as a consecution calculus containing a binary structural connective, in which permutation is replaced by two structural rules that involve $\mathbf{t}$ (...) . This calculus, $LT_\to^{\text{\textcircled{$\mathbf{t}$}}}$ , extends the consecution calculus $LT_{\to}^{\mathbf{t}}$ formalizing the implicational fragment of ticket entailment . We introduce two other new calculi as alternative formulations of $R_{\to}^{\mathbf{t}}$ . For each new calculus, we prove the cut theorem as well as the equivalence to the original Hilbert-style axiomatization of $R_{\to}^{\mathbf{t}}$ . These results serve as a basis for our positive solution to the long open problem of the decidability of $T_{\to}$ , which we present in another paper. (shrink)
The implicational fragment of the logic of relevant implication, $R_\to$ is known to be decidable. We show that the implicational fragment of the logic of ticket entailment, $T_\to$ is decidable. Our proof is based on the consecution calculus that we introduced specifically to solve this 50-year old open problem. We reduce the decidability problem of $T_\to$ to the decidability problem of $R_\to$. The decidability of $T_\to$ is equivalent to the decidability of the inhabitation problem of implicational types by combinators over (...) the base $\{\textsf{B},\textsf{B}',\textsf{I},\textsf{W}\}$. (shrink)
In this paper I argue against Twin-Earth externalism. The mistake that Twin Earth arguments rest on is the failure to appreciate the force of the following dilemma. Some features of things around us do matter for the purposes of conceptual classification, and others do not. The most plausible way to draw this distinction is to see whether a certain feature enters the cognitive perspective of the experiencing subject in relation to the kind in question or not. If it does, we (...) can trace conceptual differences to internal differences. If it doesn’t, we do not have a case of conceptual difference. Neither case supports Twin Earth externalism. (shrink)
Intentionality is customarily characterised as the mind’s direction upon its objects. This characterisation allows for a number of different conceptions of intentionality, depending on what we believe about the nature of the objects or the nature of the direction. Different conceptions of intentionality may result in classifying sensory experience as intentional and nonintentional in different ways. In the first part of this paper, I present a certain view or variety of intentionality which is based on the idea that the intentional (...) object of a sensory experience must be Independent; that is, an intentional object must be such that its existence doesn’t depend on being experienced (except in some very special cases). This means, for example, that sense-data understood as mind-dependent objects are not intentional objects, because their existence depends on the occurrence of an experience. In the second part of the paper, I will sketch a view of how sensory experiences can acquire an Independent object. (shrink)
This paper is an exposition and comparison between two views concerning fundamental ontology in the context of the Mind-Body Problem: physicalism and emergent property dualism. I assess the pros and cons of each position and argue that physicalism provides an overall more plausible metaphysics.
Two consecution calculi are introduced: one for the implicational fragment of the logic of entailment with truth and another one for the disjunction free logic of nondistributive relevant implication. The proof technique—attributable to Gentzen—that uses a double induction on the degree and on the rank of the cut formula is shown to be insufficient to prove admissible various forms of cut and mix in these calculi. The elimination theorem is proven, however, by augmenting the earlier double inductive proof with additional (...) inductions. We also give a new purely inductive proof of the cut theorem for the original single cut rule in Gentzen’s sequent calculus $ LK $ without any use of mix. (shrink)
Symmetric generalized Galois logics (i.e., symmetric gGl s) are distributive gGl s that include weak distributivity laws between some operations such as fusion and fission. Motivations for considering distribution between such operations include the provability of cut for binary consequence relations, abstract algebraic considerations and modeling linguistic phenomena in categorial grammars. We represent symmetric gGl s by models on topological relational structures. On the other hand, topological relational structures are realized by structures of symmetric gGl s. We generalize the weak (...) distributivity laws between fusion and fission to interactions of certain monotone operations within distributive super gGl s. We are able to prove appropriate generalizations of the previously obtained theorems—including a functorial duality result connecting classes of gGl s and classes of structures for them. (shrink)
Relevance logics are known to be sound and complete for relational semantics with a ternary accessibility relation. This paper investigates the problem of adequacy with respect to special kinds of dynamic semantics (i.e., proper relation algebras and relevant families of relations). We prove several soundness results here. We also prove the completeness of a certain positive fragment of R as well as of the first-degree fragment of relevance logics. These results show that some core ideas are shared between relevance logics (...) and relation algebras. Some details of certain incompleteness results, however, pinpoint where relevance logics and relation algebras diverge. To carry out these semantic investigations, we define a new tableaux formalization and new sequent calculi (with the single cut rule admissible) for various relevance logics. (shrink)
The fixed point combinator (Y) is an important non-proper combinator, which is defhable from a combinatorially complete base. This combinator guarantees that recursive equations have a solution. Structurally free logics (LC) turn combinators into formulas and replace structural rules by combinatory ones. This paper introduces the fixed point and the dual fixed point combinator into structurally free logics. The admissibility of (multiple) cut in the resulting calculus is not provable by a simple adaptation of the similar proof for LC with (...) proper combinators. The novelty of our proof—beyond proving the cut for a newly extended calculus–is that we add a fourth induction to the by-and-large Gentzen-style proof. (shrink)
Jennifer Hornsby’s Simple Mindedness consists of twelve essays organized into sections focusing on three issues: the ontology of persons and mental events, how actions fit into a world of natural law, and the nature of intentional explanations. Most of the essays have been previously published but many of these are revised and include addenda. The collection is unified by its defending a position in the philosophy of mind Hornsby calls “naive naturalism.” She advertises naive naturalism as neither physicalist nor Cartesian. (...) Hornsby claims that the mind-body problem as currently discussed, that is, the question of how the mind fits into nature, arises because contemporary analytic philosophers have an overly scientistic view of nature restricting their concept of nature to whatever can be the proper subject matter of science. In her view, if naive naturalism were adopted, the mind-body problem, as it is currently discussed, would disappear. Hornsby is thus a member of that venerable tradition of English philosophers who see the mind-body problem as arising through an excessive fascination with science. (shrink)
Two consecution calculi are introduced: one for the implicational fragment of the logic of entailment with truth and another one for the disjunction free logic of nondistributive relevant implication. The proof technique—attributable to Gentzen—that uses a double induction on the degree and on the rank of the cut formula is shown to be insufficient to prove admissible various forms of cut and mix in these calculi. The elimination theorem is proven, however, by augmenting the earlier double inductive proof with additional (...) inductions. We also give a new purely inductive proof of the cut theorem for the original single cut rule in Gentzen’s sequent calculus $ LK $ without any use of mix. (shrink)
