Richard Brown

As is well known, we can prove that everything that exists necessarily exists in S5. Perhaps as well known is Kripke’s two-part solution. First we forbid axioms with free variables and second we forbid the use of singular terms. One way to do the latter is via Nominal Description Theory (NDT): a name N is semantically equivalent to the description that mentions the name, e.g. ‘the-bearer-of-“N”’. But how do we reconcile NDT with the thesis of rigid designation? I argue that we need to distinguish a semantic theory that aims to give an account of thoughts (P-semantics) from one that aims to give an account of English sentence types (L-semantics). I then introduce frigidity as the claim that there are no L-semantic singular terms. The causal theory of reference is a P- semantic theory and together with NDT we can then formulate L-semantic descriptions that cap..

Higher-order theories of consciousness typically account for introspection in terms of one's higher-order thoughts being conscious, which would require a third-order thought — i.e.a thought about a thought about a mental state. In this work, we offer an alternative account of introspection that builds on the recent HigherOrder Representation of a Representation (HOROR) theory of phenomenal consciousness. According to HOROR theory, phenomenal consciousness consists in having the right kind of higher-order representation. We claim that this theory can be extended to introspection by recognizing that there is a distinctive kind of consciousness — i.e. introspective consciousness — which can be accounted for as the theory does for phenomenal consciousness generally. We call this novel view: Higher-Order Representation Intentionally For Introspective Consciousness (HORIFIC). We argue that there are independent reasons for thinking that introspective consciousness can be either 'stimuli-induced' or 'self-triggered' and that one of the benefits of the view we develop is that it can embrace a pluralist approach. Our view also accounts for what specific mental state is represented by a particular higher-order representation, and for the way in which we are aware of changes, transitions, and boundaries between mental states in specific cases of introspective consciousness.

[originally written for Final Fantasy and Philosophy but I was not happy with editorial decisions and decided to let it remain unpublished] Everyone knows that moogles are disgustingly cute. I know people who would kill to be able to have one in real life, but could there really be moogles? Say, for instance, that archeologists discovered a species of animal in some remote land that completely resembled the chocobo in every way. Would that count as discovering that the beloved Final Fantasy creatures were real? Even if we don’t make such a discovery are chocobos and moogles metaphysically possible? That is, can we coherently imagine a situation which would count as one which contained moogles? The answer to these questions depends, surprisingly, on what the meaning of ‘moogle’ and ‘chocobo’ is; or so many contemporary philosophers of language think. In particular one contemporary philosopher, Saul Kripke (1940- ), has argued that the answer to both of these questions is a resounding no. In order to understand why he thinks this and whether he is right we’ll have to begin by looking at the debate philosophers have had over the meaning of names.

The only sensible solution to the mind-body problem is a type-type identity theory. I wish to argue for a version of Type-Type identity theory that withstands the usual seemingly fatal objections, which I call ‘R-Type Identity Theory’ and which has three claims. First, an identity theory does not entail ‘reducing’ or ‘eliminating’ one set of things to or in favor of another set of things and introduces epidentity (treating identified relata as distinct). Secondly, pain and what-it-is-like to be in pain are distinguishable and introduces frigid stipulation (a pragmatic rather than semantic property by which we stipulate reference). Finally there may be more than one type of mental state in question and introduces subtypes (a pained brainless Martian is evidence that their state is a pain subtype). With the standard objections to identity theory taken care of we are free to embrace the only truly satisfying, non-Cartesian, philosophy of mind.