James Trafford

It is well known that classical inferentialist semantics runs into problems regarding abnormal valuations. It is equally well known that the issues can be resolved if we construct the inference relation in a multiple-conclusion sequent calculus. The latter has been prominently developed in recent work by Restall, with the guiding interpretation that the valid sequent says that the simultaneous assertion of all of Γ with the denial of all of Δ is incoherent. However, such structures face significant interpretive challenges, and they do not provide an adequate grasp on the machinery of the duality of assertions and denials that could provide an abstract account of inferential semantics; show why the dual treatment is semantically superior. This paper explores a slightly different tack by considering a dual-calculus framework consisting of two, single-conclusion, inference relations dealing with the preservation of assertion and the preservation of denial, respectively. In this context, I develop an abstract inferentialist semantics, before going on to show that the framework is equivalent to Restall’s, whilst providing a better grasp on the underlying proof-structure

Phenomenal Concepts and Phenomenal Knowledge is an edited volume of new essays relating to the debates around phenomenal experience in philosophy of mind. Alter and Walter provide an excellent introduction to the volume, producing a well edited collection of papers that represent some of the most interesting and cutting edge work in the field, and together provide a subtle and complex overview of the contemporary theoretical landscape. In addition, as many of the papers refer to others within the volume, they provide an excellent opportunity for in depth and complex debate between some of the leading theorists at work today. This review concentrates on ways in which papers in the volume further debates around the construal of phenomenal consciousness as physical or non-physical, and also on new responses to the infamous knowledge argument

This paper provides both a solution and a problem for the account of compositionality in Christopher Peacocke’s modest inferentialism. The immediate issue facing Peacocke’s account is that it looks as if compositionality can only be understood at the level of semantics, which is difficult to reconcile with inferentialism. Here, following up a brief suggestion by Peacocke, I provide a formal framework wherein compositionality occurs the level of the determining relation between inference and semantics. This, in turn provides a “test” for compositionality, which, problematically, Peacocke’s natural deduction framework for classical logic can not meet. To finish, I briefly outline an alternative, bilateralist, framework for modest inferentialism, for which compositionality holds.

This peer-reviewed essay is an intervention into the emerging field of 'Speculative Realism', which has links to the field of Speculative Aesthetics. The work is essentially an attempt to develop a theory of perception (and more broadly consciousness) that is not at odds with the scientific worldview. In this respect, the dominant views of aesthetic perception (Kantian / neo-Kantian phenomenology) are critiqued in favour of neurophilosophical views stemming from Thomas Metzinger. In order to position myself, I go on to analyse the fiction of Thomas Ligotti to develop the idea of a non-human-centric phenomenal experience. This work operates within several philosophical contexts: one is the debate between phenomenology and scientific realism, of which the developing field of Speculative Realism is a part, and upon which the journal Collapse has been incredibly influential; a further context is that of transcendental materialism; another is that of the relationship between literature and philosophy. The article marks a departure within these fields by suggesting that recent developments in cognitive science can be understood not through a naïve scientism or a kind of brute materialism, but only through understanding the transcendental ramifications to the phenomenal experience of the human

In [5], Béziau provides a means by which Gentzen’s sequent calculus can be combined with the general semantic theory of bivaluations. In doing so, according to Béziau, it is possible to construe the abstract “core” of logics in general, where logical syntax and semantics are “two sides of the same coin”. The central suggestion there is that, by way of a modification of the notion of maximal consistency, it is possible to prove the soundness and completeness for any normal logic. However, the reduction to bivaluation may be a side effect of the architecture of ordinary sequents, which is both overly restrictive, and entails certain expressive restrictions over the language. This paper provides an expansion of Béziau’s completeness results for logics, by showing that there is a natural extension of that line of thinking to n-sided sequent constructions. Through analogical techniques to Béziau’s construction, it is possible, in this setting, to construct abstract soundness and completeness results for n-valued logics.

This paper considers a topos-theoretic structure for the interpretation of co-constructive logic for proofs and refutations following Trafford :22–40, 2015). It is notoriously tricky to define a proof-theoretic semantics for logics that adequately represent constructivity over proofs and refutations. By developing abstractions of elementary topoi, we consider an elementary topos as structure for proofs, and complement topos as structure for refutation. In doing so, it is possible to consider a dialogue structure between these topoi, and also control their relation such that classical logic is simulated where proofs and refutations are conclusive.

This peer-reviewed paper intervenes in debates relating to overarching themes that impact upon mass media studies, communication theory and theories of cognition more generally. In particular, the paper discusses issues involving how our ordinary psychological thinking relates to norms of rationality (and how these latter are conceived). In essence, I argue against a dominant approach taken by Christopher Peacocke, that rationality can be grounded in the possession of certain concepts. The article makes a new contribution to the field by arguing against the dominant approach on two grounds: (a) it fails to distinguish between true and false normative commitments; (b) it is empirically unsound. In response, I briefly offer suggestions towards an alternative, and psychologically tractable, account of rational commitment. Presentations of earlier drafts of the paper were given at a seminar at the Centre for Study of Mind and Nature, Oslo, as well as the conference of the European Society for Philosophy and Psychology

This peer-reviewed paper investigates the dominant underlying approach to aesthetic experience and conscious experience more generally – that is, a neo-Kantian phenomenological approach. In essence, I argue that such approaches are based on a petitio principii in relation to what I call the 'principle of appearing qua appearing' – a principle that, I suggest, underlies the dominant approach to aesthetic perception. So, the ramifications of this argument are that we ought to question the dominance of the phenomenological approach to experience, and reassess our concepts of the aesthetic mode of perception in this light. The paper makes a specific contribution to knowledge in this field in that it identifies a weakness in the dominant arguments relevant to our understanding of conscious experience, and clears the path for views of conscious experience that emerge in cognitive science. The paper has been delivered at a number of major conferences, and is used as a course text at the American University of Berlin.

This paper considers logics which are formally dual to intuitionistic logic in order to investigate a co-constructive logic for proofs and refutations. This is philosophically motivated by a set of problems regarding the nature of constructive truth, and its relation to falsity. It is well known both that intuitionism can not deal constructively with negative information, and that defining falsity by means of intuitionistic negation leads, under widely-held assumptions, to a justification of bivalence. For example, we do not want to equate falsity with the non-existence of a proof since this would render a statement such as “pi is transcendental” false prior to 1882. In addition, the intuitionist account of negation as shorthand for the derivation of absurdity is inadequate, particularly outside of purely mathematical contexts. To deal with these issues, I investigate the dual of intuitionistic logic, co-intuitionistic logic, as a logic of refutation, alongside intuitionistic logic of proofs. Direct proof and refutation are dual to each other, and are constructive, whilst there also exist syntactic, weak, negations within both logics. In this respect, the logic of refutation is weakly paraconsistent in the sense that it allows for statements for which, neither they, nor their negation, are refuted. I provide a proof theory for the co-constructive logic, a formal dualizing map between the logics, and a Kripke-style semantics. This is given an intuitive philosophical rendering in a re-interpretation of Kolmogorov’s logic of problems.