Symmetic combinatory logic with the symmetric analogue of a combinatorially complete base (in the form of symmetric λ-calculus) is known to lack the Church-Rosser property. We prove a much stronger theorem that no symmetric combinatory logic that contains at least two proper symmetric combinators has the Church-Rosser property. Although the statement of the result looks similar to an earlier one concerning dual combinatory logic, the proof is different because symmetric combinators may form redexes in both left and right associated terms. (...) Perhaps surprisingly, we are also able to show that certain symmetric combinatory logics that include just one particular constant are not confluent. This result (beyond other differences) clearly sets apart symmetric combinatory logic from dual combinatory logic, since all dual combinatory systems with a single combinator or a single dual combinator are Church-Rosser. Lastly, we prove that a symmetric combinatory logic that contains the fixed point and the one-place identity combinator has the Church-Rosser property. (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)
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)
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)
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 (I think successfully) 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)
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)
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)
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)
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 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)
In this commentary I criticize David Rosenthal’s higher order thought theory of consciousness (HOT). This is one of the best articulated philosophical accounts of consciousness available. The theory is, roughly, that a mental state is conscious in virtue of there being another mental state, namely, a thought to the effect that one is in the first state. I argue that this account is open to the objection that it makes “HOT-zombies” possible, i.e., creatures that token higher order mental states, but (...) not the states that the higher order states are about. I discuss why none of the ways to accommodate this problem within HOT leads to viable positions. (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)
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)
In this paper I survey the landscape of anti-physicalist arguments and physicalist responses to them. The anti-physicalist arguments I discuss start from a premise about a conceptual, epistemic, or explanatory gap between physical and phenomenal descriptions and conclude from this – on a priori grounds – that physicalism is false. My primary aim is to develop a master argument to counter these arguments. With this master argument in place, it is apparent that there is a puzzling symmetry between dualist attacks (...) on physicalism and physicalist replies. Each position can be developed in a way to defend itself from attacks from the other position. Therefore the debate comes down to which metaphysical framework provides the better overall explanatory/theoretical framework. (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)
The book under review is a collection of thirteen essays on the nature phenomenal concepts and the ways in which phenomenal concepts figure in debates over physicalism. Phenomenal concepts are of special interest in a number of ways. First, they refer to phenomenal experiences, and the qualitative character of those experiences (aka “qualia”) whose metaphysical status is hotly debated. There are recent arguments, originating in Descartes’ famous conceivability argument, that purport to show that phenomenal experience is irreducibly non-physical. Second, phenomenal (...) concepts are widely thought to be special and unique among concepts. Both the anti-physicalist arguments and physicalist replies to these arguments turn on views about the nature of phenomenal concepts. In this review I survey the many ways in which the essays in this volume are engaged (pro or con) with anti-physicalist arguments and the role phenomenal concepts play in these arguments. (shrink)
Block argues that relevant data in psychology and neuroscience shows that access consciousness is not constitutively necessary for phenomenality. However, a phenomenal state can be access conscious in two radically different ways. Its content can be access conscious, or its phenomenality can be access conscious. I’ll argue that while Block’s thesis is right when it is formulated in terms of the first notion of access consciousness, there is an alternative hypothesis about the relationship between phenomenality and access in terms of (...) the second notion that is not touched by Block’s argument. (shrink)
Abstract: A theory of time is a theory of the nature of temporal reality, and temporal reality determines the truth-value of temporal sentences. Therefore it is reasonable to ask how a theory of time can account for the way the truth of temporal sentences is determined. This poses certain challenges for both the A theory and the B theory of time. In this paper, I outline an account of temporal sentences. The key feature of the account is that the primary (...) bearers of truth-values are not utterances, but sentences evaluated with respect to a time. I argue that unlike other views, the present proposal can meet the challenges faced both by the A and the B theory. (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.
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)
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)
Abstract: On several occasions (see e.g. Principles I/48) Descartes claims that sensations, emotions, imagination and sensory perceptions belong neither to the mind or to the body alone, but rather to their union. This seems to conflict with Descartes’s definition of “thought” given elsewhere, which classifies the same events as modes of a thinking substance, and hence depending for their existence only on minds. In this paper I offer an interpretation, which, I hope, will restore the coherence of Descartes’s dualist theory. (...) I argue that the ‘special modes’ of thinking are special because they are the immediate effects of the body on the mind. They thus depend for their existence on the body because of the general metaphysical principle that “Nothing comes from nothing”. Understood properly, this principle does not contradict the principle about the distinctness of substances. (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)
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.
We briefly overview some of the historical landmarks on the path leading to the reduction of the number of logical connectives in classical logic. Relying on the duality inherent in Boolean algebras, we introduce a new operator ( Nallor ) that is the dual of Schönfinkel’s operator. We outline the proof that this operator by itself is sufficient to define all the connectives and operators of classical first-order logic ( Fol ). Having scrutinized the proof, we pinpoint the theorems of (...) Fol that are needed in the proof. Using the insights gained from the proof, we show that there are four binary operators that each can serve as the only undefined logical constant for Fol . Finally, we show that from every n -ary connective that yields a functionally complete singleton set of connectives two Schönfinkel-type operators are definable, and all the latter are so definable. (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)
Th e type identity theory, according to which types of mental state are identical to types of physical state, fell out of favour for some years but is now being considered with renewed interest. Many philosophers are critically re-examining the arguments which were marshalled against it, fi nding in the type identity theory both resources to strengthen a comprehensive, physicalistic metaphysics, and a useful tool in understanding the relationship between developments in psychology and new results in neuroscience. Th is volume (...) brings together leading philosophers of mind, whose essays challenge in new ways the standard objections to type identity theory, such as the multiple realizability objection and the modal argument. Other essays show how cognitive science and neuroscience are lending new support to type identity theory, and still others provide, extend and improve traditional arguments concerning the theory’s explanatory power. -/- Introduction Simone Gozzano and Christopher S. Hill; 1. Acquaintance and the mind-body problem Katalin Balog; 2. Identity, reduction, and conserved mechanisms: perspectives from circadian rhythm research William Bechtel; 3. Property identity and reductive explanation Ansgar Beckermann; 4. A brief history of neuroscience's actual influences on mind-brain reductionism John Bickle; 5. Type-identity conditions for phenomenal properties Simone Gozzano; 6. Locating qualia: do they reside in the brain or in the body and the world? Christopher S. Hill; 7. In defense of the identity theory Mark I Frank Jackson; 8. The very idea of token physicalism Jaegwon Kim; 9. About face: philosophical naturalism, the heuristic identity theory, and recent findings about prosopagnosia Robert McCauley; 10. On justifying neurobiologicalism for consciousness Brian McLaughlin; 11. The causal contribution of mental events Alyssa Ney; 12. Return of the zombies? John Perry; 13. Identity, variability, and multiple realization in the special sciences Lawrence Shapiro and Thomas Polger; Bibliography; Index. (shrink)
A listing is given of the published writings of the logician and philosopher Hao Wang (1921—1995), which includes all items known to the authors, including writings in Chinese and translations into other languages.
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 (fusion) and its residuals (implications) 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)
"What can a scholastic do in the 20 th century?" - asks Katalin Vidrányi in the title of her article written in 1970.  If her characteristically systematic and pithy analysis can be summarized in a single sentence, the author's answer is this: many things, but not too much.
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)
The contributions in this part of the present issue mainly originate from the Carnap Lectures 2011 in Bochum where Prof. Tim Crane (Cambridge, UK) and Prof. Katalin Farkas (Budapest) presented keynote lectures under the heading “The Boundaries of the Mental”. The full workshop program is available on our website: http://www.ruhr-uni-bochum.de/philosophy/carnap2011/index.html.
Combinatory logic is known to be related to substructural logics. Algebraic considerations of the latter, in particular, algebraic considerations of two distinct implications (, ), led to the introduction of dual combinators in Dunn & Meyer 1997. Dual combinators are "mirror images" of the usual combinators and as such do not constitute an interesting subject of investigation by themselves. However, when combined with the usual combinators (e.g., in order to recover associativity in a sequent calculus), the whole system exhibits (...) new features. A dual combinatory system with weak equality typically lacks the Church-Rosser property, and in general it is inconsistent. In many subsystems terms "unexpectedly" turn out to be weakly equivalent. The paper is a preliminary attempt to investigate some of these issues, as well as, briefly compare function application in symmetric -calculus (cf. Barbanera & Berardi 1996) and dual combinatory logic. (shrink)
. Relational semantics for nonclassical logics lead straightforwardly to topological representation theorems of their algebras. Ortholattices and De Morgan lattices are reducts of the algebras of various nonclassical logics. We define three new classes of topological spaces so that the lattice categories and the corresponding categories of topological spaces turn out to be dually isomorphic. A key feature of all these topological spaces is that they are ordered relational or ordered product topologies.