Sketch this: extended mind and consciousness extension

This paper will defend the claim that, under certain circumstances, the material vehicles responsible for an agent’s conscious experience can be partly constituted by processes outside the agent’s body. In other words, the consciousness of the agent can extend. This claim will be supported by the Extended Mind Thesis (EMT) example of the artist and their sketchpad (Clark 2001, 2003). It will be argued that if this example is one of EMT, then this example also supports an argument for consciousness extension. Clark (2009) rejects claims of consciousness extension. This paper will challenge Clark and argue that he fails to show that the material vehicles responsible for consciousness must be internal to the agent.     

No-Futurism and Metaphysical Contingentism

According to no-futurism, past and present entities are real, but future ones are not. This view faces a skeptical challenge (Bourne in Australas J Philos 80(3):359–371 2002; A future for presentism, Clarendon Press, Oxford 2006; Braddon-Mitchell in Analysis 64(283):199–203 2004): if no-futurism is true, how do you know you are present? I shall propose a new skeptical argument based on the physical possibility of Gödelian worlds (Albert Einstein: philosopher-scientist, Open Court, La Salle, pp. 555–562, 1949). This argument shows that a no-futurist has to endorse a metaphysical contingentist reading of no-futurism, the view that no-futurism is contingently true. But then, the no-futurist has to face a new skeptical challenge: how do you know that you are in a no-futurist world?     

Incommensurability,slight pains and God

I will consider how the notion of incommensurability, as championed by Parfit (Reasons and persons, 1984), Griffin (Well-being: its meaning, measurement and importance, 1986), Chang (Ethics 112:659–688, 2002), and Hare (Philos Perspect 23:165–176, 2009), might affect both the argument from slight pain (which suggests God’s non-existence can be inferred from the merest stubbing of one’s toe) and Leibniz’s reply to this argument. I conclude that the notion of incommensurability may ultimately strengthen Leibniz’s general position.     

A Church-Fitch proof for the universality of causation

In an attempt to improve upon Alexander Pruss’s work (The principle of sufficient reason: A reassessment, pp. 240–248, 2006), I (Weaver, Synthese 184(3):299–317, 2012) have argued that if all purely contingent events could be caused and something like a Lewisian analysis of causation is true (per, Lewis’s, Causation as influence, reprinted in: Collins, Hall and paul. Causation and counterfactuals, 2004), then all purely contingent events have causes. I dubbed the derivation of the universality of causation the “Lewisian argument”. The Lewisian argument assumed not a few controversial metaphysical theses, particularly essentialism, an incommunicable-property view of essences (per Plantinga’s, Actualism and possible worlds, reprinted in: Davidson (ed.) Essays in the metaphysics of modality, 2003), and the idea that counterfactual dependence is necessary for causation. There are, of course, substantial objections to such theses. While I think a fight against objections to the Lewisian argument can be won, I develop, in what follows, a much more intuitive argument for the universality of causation which takes as its inspiration a result from Frederic B. Fitch’s work (J Symb Logic 28(2):135–142, 1963) [with credit to who we now know was Alonzo church’s, Referee Reports on Fitch’s Definition of value, in: (Salerno (ed.), New essays on the knowability paradox, 2009)] that if all truths are such that they are knowable, then (counter-intuitively) all truths are known. The resulting Church–Fitch proof for the universality of causation is preferable to the Lewisian argument since it rests upon far weaker formal and metaphysical assumptions than those of the Lewisian argument.     

Living with Gratitude: Spouse’s Gratitude on One’s Depression

Research has shown that gratitude makes people happier (McCullough and Tsang in Psychol Gratitude, Oxford University Press, pp 123–141, 2004; Wood et al. in Clin Psychol Rev 30(7):890–905, 2010), healthier (McCullough et al. in J Pers Soc Psychol, 86(2):295–309, 2004), more considerate (Bartlett and DeSteno in Psychol Sci 17(4):319–325, 2006), and better evaluated (Gordon et al. in Pers Individ Differ 50(3):339–343, 2011), enabling more stable relationships (Algoe et al. in Pers Relationsh 17(2):217–233, 2010; Algoe et al. in Emotion 8(3):425–429, 2008; Lambert et al. in Psychol Sci 21(4):574–580, 2010). However, no study has extended research beyond individual persons to investigate the impact of one’s gratitude on the mental well-being of those who surround her or him. Thus, we tested this possibility and found in Study 1 that within marriage, husbands’ depositional gratitude negatively correlated with their wives’ depressive emotion. The results of Study 2 validated Study 1 by showing that a wife’s depression would be relatively palliated if her husband was assigned to express appreciation to her and not share daily hassles. While a causal relationship was demonstrated as hypothesized, a difference between genders also emerged. We discuss in particular the latter in terms of its mechanism, limitations, and practical implications for marriage.     

Tempo and Temperament: A Music Lesson on the Significance of Time for the Art of Pastoral Care

This article will focus on the relationship between tempo and temperament and the power of music to facilitate healing, especially for individuals who struggle with temperament or mood disorders, by examining briefly how individuals diagnosed with depression may be helped by listening to or performing music as a form of treatment. Current research into the “science” of music is providing concrete evidence for the reality that musicians and music therapists have long intuited to be true–music does have the capacity to facilitate healing by influencing brain activity and altering moods (Cambell and Doman 2011; Levitin 2007, 2008; Mannes 2011; Powell 2010; Pruyser 1983; Rose 2004). Insofar as music is an integral part of most worship traditions, it provides a common ground for conversation that may seem more natural and less formidable to ministers and lay people alike than the structures of conventional counseling or care-giving relationships, especially for those who have a tendency to be suspicious of all things psychological.     

Exemplification as molecular function

Since the publication of Universals and Scientific Realism (Armstrong 1978a, b) until Sketch for a Systematic Metaphysics (Armstrong 2010), via Universals: An Opinionated Introduction (Armstrong 1989), a World of States of Affairs (Armstrong 1997), and Truth and Truthmakers (Armstrong 2004), David Armstrong has developed one of the most influential theories of instantiation in contemporary analytic metaphysics (see, for example, Lewis, in Aust J Phil 61(4), 343–377, 1983; Baxter in Aust J Phil, 79, 449–464, 2001; Forrest, in Aust J Phil, 83, 213–228, 2006). Instantiation has been advocated by Armstrong to give a solution to what he has called the “pressing problem” of “the multiple location of property universals” (Armstrong, in Universals: An opinionated introduction. University Press, Cambridge, 1989, pp. 89–90). Here I argue that Armstrong’s theory of instantiation fails to solve the problem because it involves two kinds of instantiation to account for particulars “having” and “sharing” universals. As a viable alternative to Armstrong’s theory, I propose a theory of instantiation capable of accounting for both phenomena in a univocal way.     

Rational intuition and understanding

Rational intuitions involve a particular form of understanding that gives them a special epistemic status. This form of understanding and its epistemic efficacy are not explained by several current theories of rational intuition, including Phenomenal Conservatism (Huemer, Skepticism and the veil of perception, 2001; Ethical intuitionism, 2005; Philos Phenomenol Res 74:30–55, 2007), Proper Functionalism (Plantinga, Warrant and proper function, 1993), the Competency Theory (Bealer Pac Philos Q 81:1–30, 2000; Sosa, A virtue epistemology, 2007) and the Direct Awareness View (Conee, Philos Phenomenol Res 4:847–857, 1998; Bonjour, In defense of pure reason, 1998). Some overlook it; others try to account for it but fail. We can account for the role of understanding in rational intuition by returning to the view of some of the early Rationalists, e.g. Descartes and Leibniz. While that view carries a prohibitive cost, it does contain an insight that may help us solve the problem of giving understanding its due.     

How Simple is it for Science to Acquire Wisdom According to its Choicest Aims?

Focusing on Nicholas Maxwell’s thesis that “science, properly understood, provides us the methodological key to the salvation of humanity”, the article discusses Maxwell’s aim oriented empiricism and his conception of Wisdom Inquiry as advocated in Maxwell’s (2009b, pp.1–56) essay entitled “How Can Life of Value Best Flourish in the Real World?” (in Science and the Pursuit of Wisdom: Studies in the Philosophy of Nicholas Maxwell 2009, edited by Leemon McHenry) and in Maxwell (2004 & 2009a).     

Optimus prime: paraphrasing prime number talk

Baker (Mind 114:223–238, 2005; Brit J Philos Sci 60:611–633, 2009) has recently defended what he calls the “enhanced” version of the indispensability argument for mathematical Platonism. In this paper I demonstrate that the nominalist can respond to Baker’s argument. First, I outline Baker’s argument in more detail before providing a nominalistically acceptable paraphrase of prime-number talk. Second, I argue that, for the nominalist, mathematical language is used to express physical facts about the world. In endorsing this line I follow moves made by Saatsi (Brit J Philos Sci 62(1):143–154, 2011). But, unlike Saatsi, I go on to argue that the nominalist requires a paraphrase of prime-number talk, for otherwise we lack an account of what that ‘physical fact’ is in the case of mathematics that seemingly makes reference to prime numbers.     

Metaphysically indeterminate existence

Sider (Four-dimensionalism 2001; Philos Stud 114:135–146, 2003; Nous 43:557–567, 2009) has developed an influential argument against indeterminacy in existence. In what follows, I argue that the defender of metaphysical forms of indeterminate existence has a unique way of responding to Sider’s argument. The response I’ll offer is interesting not only for its applicability to Sider’s argument, but also for its broader implications; responding to Sider helps to show both how we should think about precisification in the context of metaphysical indeterminacy and how we should understand commitment to metaphysically indeterminate existence. And if I’m right that metaphysical indeterminacy can allow for indeterminate existence in a way that semantic indeterminacy can’t, indeterminate existence might actually give us a reason to accept metaphysical indeterminacy (rather than a reason to reject it, as is commonly assumed).     

On the unification argument for the predicate view on proper names

The predicate view on proper names opts for a uniform semantic representation of proper nouns like ‘Alfred’ as predicates on the level of logical form. Early defences of this view can be found in Sloat (Language, vol. 45, pp. 26–30, 1969) and Burge (J. Philos. 70: 425–439, 1973), but there is an increasing more recent interest in this view on proper names. My paper aims to provide a reconstruction and critique of Burge’s main argument for the predicate view on proper names, which is still used by several current philosophers in defence of this view. I have called this argument the unification argument. I will present a stepwise interpretation and reconstruction of this argument, consider several possible responses to it and defend a specific response to it in detail.     

Truth, Dependence and Supervaluation: Living with the Ghost

In J Philos Logic 34:155–192, 2005, Leitgeb provides a theory of truth which is based on a theory of semantic dependence. We argue here that the conceptual thrust of this approach provides us with the best way of dealing with semantic paradoxes in a manner that is acceptable to a classical logician. However, in investigating a problem that was raised at the end of J Philos Logic 34:155–192, 2005, we discover that something is missing from Leitgeb’s original definition. Moreover, we show that once the appropriate repairs have been made, the resultant definition is equivalent to a version of the supervaluation definition suggested in J Philos 72:690–716, 1975 and discussed in detail in J Symb Log 51(3):663–681, 1986. The upshot of this is a philosophical justification for the simple supervaluation approach and fresh insight into its workings.     

Importing Logics

The novel notion of importing logics is introduced, subsuming as special cases several kinds of asymmetric combination mechanisms, like temporalization [8, 9], modalization [7] and exogenous enrichment [13, 5, 12, 4, 1]. The graph-theoretic approach proposed in [15] is used, but formulas are identified with irreducible paths in the signature multi-graph instead of equivalence classes of such paths, facilitating proofs involving inductions on formulas. Importing is proved to be strongly conservative. Conservative results follow as corollaries for temporalization, modalization and exogenous enrichment.     

Margaret R. Miles’ Augustine and the Fundamentalist’s Daughter: An Eriksonian Perspective

My perspective on Margaret R. Miles’s Augustine and the Fundamentalist’s Daughter is informed by Erik H. Erikson’s life cycle model (Erikson 1950, 1959, 1963, 1964, 1968a, b, 1982; Erikson and Erikson 1997) and, more specifically, by my relocation of his life stages and their accompanying human strengths (Erikson 1964) according to decades (Capps 2008). I interpret Miles’s account of her life from birth to age forty as revealing the selves that comprise the composite Self (Erikson 1968a) that come into their own during the first four decades of the life cycle, i.e., the hopeful, willing, purposeful, and competent selves     

A Defense of Second-Order Logic

Second-order logic has a number of attractive features, in particular the strong expressive resources it offers, and the possibility of articulating categorical mathematical theories (such as arithmetic and analysis). But it also has its costs. Five major charges have been launched against second-order logic: (1) It is not axiomatizable; as opposed to first-order logic, it is inherently incomplete. (2) It also has several semantics, and there is no criterion to choose between them (Putnam, J Symbol Logic 45:464–482, 1980). Therefore, it is not clear how this logic should be interpreted. (3) Second-order logic also has strong ontological commitments: (a) it is ontologically committed to classes (Resnik, J Phil 85:75–87, 1988), and (b) according to Quine (Philosophy of logic, Prentice-Hall: Englewood Cliffs, 1970), it is nothing more than “set theory in sheep’s clothing”. (4) It is also not better than its first-order counterpart, in the following sense: if first-order logic does not characterize adequately mathematical systems, given the existence of non-isomorphic first-order interpretations, second-order logic does not characterize them either, given the existence of different interpretations of second-order theories (Melia, Analysis 55:127–134, 1995). (5) Finally, as opposed to what is claimed by defenders of second-order logic [such as Shapiro (J Symbol Logic 50:714–742, 1985)], this logic does not solve the problem of referential access to mathematical objects (Azzouni, Metaphysical myths, mathematical practice: the logic and epistemology of the exact sciences, Cambridge University Press, Cambridge, 1994). In this paper, I argue that the second-order theorist can solve each of these difficulties. As a result, second-order logic provides the benefits of a rich framework without the associated costs.     

Foreknowledge,accidental necessity,and uncausability

Foreknowledge arguments attempt to show that infallible and exhaustive foreknowledge is incompatible with creaturely freedom. One particularly powerful foreknowledge argument employs the concept of accidental necessity. But an opponent of this argument might challenge it precisely because it employs the concept of accidental necessity. Indeed, Merricks (Philos Rev 118:29–57, 2009, Philos Rev 120:567–586, 2011a) and Zagzebski (Faith Philos 19(4):503–519, 2002, Stanford Encyclopedia of Philosophy, 2011) have each written favorably of such a response. In this paper, I aim to show that responding to the accidental necessity version of the foreknowledge argument by disputing the concept of accidental necessity, including doing so in the ways these authors do, does not constitute a successful response to the foreknowledge argument. This is because there is an only slightly modified but still well-motivated version of the foreknowledge argument which employs the notion of uncausability rather than accidental necessity; and this argument is not threatened by objections to the concept of accidental necessity, including those objections offered by Zagzebski and Merricks. As recent literature on the foreknowledge argument has emphasized, when a response to a foreknowledge argument fails to threaten an only slightly modified but still well-motivated version of that argument, the response in question is not successful. So the responses to the accidental necessity version of the foreknowledge argument I have mentioned are not successful. Moreover, those working on foreknowledge arguments more generally should take seriously the uncausability version of the foreknowledge argument articulated here, as it may well be that still more responses to the foreknowledge argument will not threaten it, either.     

On Some Properties of Humanly Known and Humanly Knowable Mathematics

We argue that the set of humanly known mathematical truths (at any given moment in human history) is finite and so recursive. But if so, then given various fundamental results in mathematical logic and the theory of computation (such as Craig’s in J Symb Log 18(1): 30–32(1953) theorem), the set of humanly known mathematical truths is axiomatizable. Furthermore, given Godel’s (Monash Math Phys 38: 173–198, 1931) First Incompleteness Theorem, then (at any given moment in human history) humanly known mathematics must be either inconsistent or incomplete. Moreover, since humanly known mathematics is axiomatizable, it can be the output of a Turing machine. We then argue that any given mathematical claim that we could possibly know could be the output of a Turing machine, at least in principle. So the Lucas-Penrose (Lucas in Philosophy 36:112–127, 1961; Penrose, in The Emperor’s new mind. Oxford University Press, Oxford (1994)) argument cannot be sound.     

The Gestalt principle of similarity benefits visual working memory

Visual working memory (VWM) is essential for many cognitive processes, yet it is notably limited in capacity. Visual perception processing is facilitated by Gestalt principles of grouping, such as connectedness, similarity, and proximity. This introduces the question, do these perceptual benefits extend to VWM? If so, can this be an approach to enhance VWM function by optimizing the processing of information? Previous findings have demonstrated that several Gestalt principles (connectedness, common region, and spatial proximity) do facilitate VWM performance in change detection tasks (Jiang, Olson, & Chun, 2000; Woodman, Vecera, & Luck, 2003; Xu, 2002, 2006; Xu & Chun, 2007). However, one prevalent Gestalt principle, similarity, has not been examined with regard to facilitating VWM. Here, we investigated whether grouping by similarity benefits VWM. Experiment 1 established the basic finding that VWM performance could benefit from grouping. Experiment 2 replicated and extended this finding by showing that similarity was only effective when the similar stimuli were proximal. In short, the VWM performance benefit derived from similarity was constrained by spatial proximity, such that similar items need to be near each other. Thus, the Gestalt principle of similarity benefits visual perception, but it can provide benefits to VWM as well.