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)
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)
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.
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.
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)
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)
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 paper is primarily about metaphysics; specifically, about a Cartesian view of the self, according to which it is a simple, enduring, non-material entity.I take a critical look at Nida-Rümelin’s novel conceptual arguments for this view and argue that they don’t give us decisive reasons to uphold the Cartesian view. But in Nida-Rümelin’s view, what is at stake in these arguments is not merely theoretical: the truth – and our beliefs about it – has practical consequences as well. In her (...) view, if the Cartesian simple view of the self were false, we would have no reason to love and care for family and friends, and our special interest in our own future would be pointless. In the last section of this paper, I will say something about the sense in which it is right and the sense in which it is wrong to think that the metaphysics of the self has broader relevance for our lives. (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)
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)
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)
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 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)
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)
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)
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)
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)
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.
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)
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)
Most of what has been written on the ECSC/ EEC/ EC/ EU, has not been done by international relations (IR) theorists, but by comparativists, sociologists, historians, anthropologists, legal scholars, and many others. These writings are in general classified as intergovernmentalist, federalist, and supranationalist (functionalist and neo- functionalist) in most accounts of the theoretical perspectives on the EU (Webb 1983, Rosamond 2000). Wiener and Diez 2004 add a rational choice institutional category, as well, as they think that the policy analysis within (...) the polity developed into an autonomous brand of literature. It is only Andrew Hurrell in his chapter in Fawcett and Hurrell 1995, who makes an attempt to present the EU, as a regional integration, from the point of view of diverse IR approaches. Drawing on his classification scheme, I conduct an inquiry of the IR theories about European unification from the point of view of whether they allow for the iteration of the European experience in other parts of the world or not. The basic conclusion is that almost all IR work on Europe falls in the inter- governmentalist category, which tends to conceptualize the European Union as representing an n of 1. (Inter- governmentalism is the choice of realism and neo-realism, English School, and neoliberal institutionalism.) Within the liberal IR paradigm, there is a tension between law-focused and security-focused approaches, on the one hand, and economic approaches, on the other. The first believe in the possibility of multiple integrations, while the latter does not think that they are desirable. Critical theories are also hindered by divergent normative commitments, though the class-based theorizing is very clear about pursuing the social control of markets. (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.
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)
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.
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)
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)
Released in 1958, Vertigo is widely regarded as Alfred Hitchcock’s masterpiece and one of the greatest films of all time. This is the first book devoted to exploring the philosophical aspects of Vertigo . Following an introduction by the editor that places the film in context, each chapter reflects upon Hitchcock’s film from a philosophical perspective. Topics discussed include: memory, loss, memorialisation, and creativity mimetic or representational art and art as magic the nature of romantic love gender, sexual objectification, and (...) identity looking, "the gaze", and voyeurism film and psychoanalysis fantasy, illusion, and reality the phenomenology of colour. Including annotated further reading at the end of each chapter, this collection is essential reading for anyone interested in Vertigo , and an ideal resource for students of film and philosophy. (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)
My concern in this paper is the role of subjectivity in the pursuit of the good. I propose that subjective thought as well as a subjective mental process underappreciated in philosophical psychology – contemplation – are instrumental for discovering and apprehending a whole range of value. In fact, I will argue that our primary contact with these values is through experience and that they could not be properly understood in any other way. This means that subjectivity is central to our (...) evaluative lives. (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: 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 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)
The focus of the original argument for the Extended Mind thesis was the case of beliefs. It may be asked what other types of mental features can be extended. Andy Clark has always held that consciousness cannot be extended. This paper revisits the question of extending consciousness.
It is common to distinguish between conscious mental episodes and standing mental states — those mental features like beliefs, desires or intentions, which a subject can have even if she is not conscious, or when her consciousness is occupied with something else. This paper presents a view of standing mental states according to which these states are less real than episodes of consciousness. It starts from the usual view that states like beliefs and desires are not directly present to the (...) mind, but are posited to explain thought and behaviour. Ascriptions of these states are attempts to model a subject’s “Worldview”: the totality of their cognitive, conative and affective dispositions. When ascribing standing states, we often significantly simplify the complexity of the Worldview. This simplification is a feature of models in general. The Worldview is also distinguished from the “Habitus” — the totality of dispositions that are associated with character traits. As with the Worldview, modelling the Habitus should be treated as a useful simplification of a very complex reality. It is argued that although these models have some similarities with fictions, these similarities are outweighed by the dissimilarities. (shrink)
Starting with the analysis of cognitive situations which appear in everyday life, and by means of the logical analysis of some games, the author deals with applied logic in the sense of the general methodology of reasoning. The book acquaints the reader with some forms and operations of reasoning which are applied in the process of scientific cognition as well as in daily activities that require thought. As opposed to a number of well-known and unique handbooks and text-books on pure (...) logic this books conveys learning, and in many cases original thoughts, through witty dialogues, in an entertaining way. (shrink)
Inhalt: Danksagung. Einleitung. I. Das wissende und wollende Subjekt im Tractatus . II. “Die gemeinsame menschliche Handlungsweise”. Das Verstehen des anderen in Wittgenstein's Spätphilosophie . III. Das Rot, der Schmerz, der Leopard und die Sprache. Außersprachliche Gegenstände und die Grenzen des Relativismus im Spätwerk. IV. Schmerzen und Schmerzäußerungen als vorsprachliche Phänomene. Nachtrag zum Kapitel “Das Rot, der Schmerz, der Leopard und die Sprache”. V. Bedeutungserlebnisse. Privatsprachenkritik und Gebrauchstheorie der Bedeutung im Licht der psychologischen Aufzeichnungen. VI. Bedeutungserlebnisse und das Verstehen eines (...) anderen Menschen. VII. How to do things with letters? Sprechen und Schreiben in Wittgensteins Philosophie. VIII. Wittgensteins Buch - laut und lautlos gelesen. Mündlichkeit und Schriftlichkeit, auf eine andere Weise Literatur. Quellennachweis. (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)
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)
Immanuel Kant's Critique of Judgment is widely recognized as a founding document of modern aesthetics, but its legacy has fallen into disrepute. In this book Katalin Makkai calls for the rediscovery of Kant's aesthetics, showing that its centerpiece, his investigation of the judgment of taste, paints a compelling portrait of our relationships with works of art that we love. At its heart is a scene of aesthetic encounter in which one feels oneself to be 'animated' - brought to life (...) - by an object, finding there to be something in one's experience of it, beyond what there is to know about it, that one wants to explore and articulate. Tracing Kant's insight that to judge is to reveal one's sense of what bears judging, and hence of what matters, Makkai situates Kant's aesthetics within his larger study, begun in the first Critique, of judgment's fundamental role in the life of the mind. (shrink)