Remarks on counterpossibles

Since the publication of David Lewis’ Counterfactuals, the standard line on subjunctive conditionals with impossible antecedents (or counterpossibles) has been that they are vacuously true. That is, a conditional of the form ‘If p were the case, q would be the case’ is trivially true whenever the antecedent, p, is impossible. The primary justification is that Lewis’ semantics best approximates the English subjunctive conditional, and that a vacuous treatment of counterpossibles is a consequence of that very elegant theory. Another justification derives from the classical lore than if an impossibility were true, then anything goes. In this paper we defend non-vacuism, the view that counterpossibles are sometimes non-vacuously true and sometimes non-vacuously false. We do so while retaining a Lewisian semantics, which is to say, the approach we favor does not require us to abandon classical logic or a similarity semantics. It does however require us to countenance impossible worlds. An impossible worlds treatment of counterpossibles is suggested (but not defended) by Lewis (Counterfactuals. Blackwell, Oxford, 1973), and developed by Nolan (Notre Dame J Formal Logic 38:325–527, 1997), Kment (Mind 115:261–310, 2006a: Philos Perspect 20:237–302, 2006b), and Vander Laan (In: Jackson F, Priest G (eds) Lewisian themes. Oxford University Press, Oxford, 2004). We follow this tradition, and develop an account of comparative similarity for impossible worlds.     

A Constructive Type-Theoretical Formalism for the Interpretation of Subatomically Sensitive Natural Language Constructions

The analysis of atomic sentences and their subatomic components poses a special problem for proof-theoretic approaches to natural language semantics, as it is far from clear how their semantics could be explained by means of proofs rather than denotations. The paper develops a proof-theoretic semantics for a fragment of English within a type-theoretical formalism that combines subatomic systems for natural deduction [20] with constructive (or Martin-L?f) type theory [8, 9] by stating rules for the formation, introduction, elimination and equality of atomic propositions understood as types (or sets) of subatomic proof-objects. The formalism is extended with dependent types to admit an interpretation of non-atomic sentences. The paper concludes with applications to natural language including internally nested proper names, anaphoric pronouns, simple identity sentences, and intensional transitive verbs.     

Monsters in Kaplan’s logic of demonstratives

Kaplan (1989a) insists that natural languages do not contain displacing devices that operate on character—such displacing devices are called monsters. This thesis has recently faced various empirical challenges (e.g., Schlenker 2003; Anand and Nevins 2004). In this note, the thesis is challenged on grounds of a more theoretical nature. It is argued that the standard compositional semantics of variable binding employs monstrous operations. As a dramatic first example, Kaplan’s formal language, the Logic of Demonstratives, is shown to contain monsters. For similar reasons, the orthodox lambda-calculus-based semantics for variable binding is argued to be monstrous. This technical point promises to provide some far-reaching implications for our understanding of semantic theory and content. The theoretical upshot of the discussion is at least threefold: (i) the Kaplanian thesis that “directly referential” terms are not shiftable/bindable is unmotivated, (ii) since monsters operate on something distinct from the assertoric content of their operands, we must distinguish ingredient sense from assertoric content (cf. Dummett 1973; Evans 1979; Stanley 1997), and (iii) since the case of variable binding provides a paradigm of semantic shift that differs from the other types, it is plausible to think that indexicals—which are standardly treated by means of the assignment function—might undergo the same kind of shift.     

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.     

Logical truth in modal languages: reply to Nelson and Zalta

Does general validity or real world validity better represent the intuitive notion of logical truth for sentential modal languages with an actuality connective? In (Philosophical Studies 130:436–459, 2006) I argued in favor of general validity, and I criticized the arguments of Zalta (Journal of Philosophy 85:57–74, 1988) for real world validity. But in Nelson and Zalta (Philosophical Studies 157:153–162, 2012) Michael Nelson and Edward Zalta criticize my arguments and claim to have established the superiority of real world validity. Section 1 of the present paper introduces the problem and sets out the basic issues. In Sect. 2 I consider three of Nelson and Zalta’s arguments and find all of them deficient. In Sect. 3 I note that Nelson and Zalta direct much of their criticism at a phrase (‘true at a world from the point of view of some distinct world as actual’) I used only inessentially in Hanson (Philosophical Studies 130:436–459, 2006), and that their account of the philosophical foundations of modal semantics leaves them ill equipped to account for the plausibility of modal logics weaker than S5. Along the way I make several general suggestions for ways in which philosophical discussions of logical matters–especially, but not limited to, discussions of truth and logical truth for languages containing modal and indexical terms–might be facilitated and made more productive.     

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     

On the Algebraizability of the Implicational Fragment of Abelian Logic

In this paper we consider the implicational fragment of Abelian logic \({{{\sf A}_{\rightarrow}}}\) . We show that although the Abelian groups provide an semantics for the set of theorems of \({{{\sf A}_{\rightarrow}}}\) they do not for the associated consequence relation. We then show that the consequence relation is not algebraizable in the sense of Blok and Pigozzi (Mem Am Math Soc 77, 1989). In the second part of the paper, we investigate an extension of \({{{\sf A}_{\rightarrow}}}\) in the same language and having the same set of theorems and show that this new consequence relation is algebraizable with the Abelian groups as its equivalent algebraic semantics. Finally, we show that although \({{{\sf A}_{\rightarrow}}}\) is not algebraizable, it is order-algebraizable in the sense of Raftery (Ann Pure Appl Log 164:251–283, 2013).     

Disrupting the Coloniality of Being: Toward De-colonial Ontologies in Philosophy of Education

This essay works to bridge conversations in philosophy of education with decolonial theory. The author considers Margonis?? (1999, 2011a, b) use of Rousseau (1979) and Heidegger (1962) in developing an ontological attitude that counters social hierarchies and promotes anti-colonial relations. While affirming this effort, the essay outlines a coloniality of being at work in Rousseau and Heidegger through thier reliance on the colonial conceptualization of African Americans and Native Americans as savage and primitive. The essay turns to decolonial theory and the work of Maldenado-Torres (Cult Stud 21(2?C3):240?C270, 2007, 2009) to highlight how a decolonial attitude complicates, yet enriches Margonis?? philosophical framework.     

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.     

Reducing the dauer larva: molecular models of biological phenomena in Caenorhabditis elegans research

One important aspect of biological explanation is detailed causal modeling of particular phenomena in limited experimental background conditions. Recognising this allows one to appreciate that a sufficient condition for a reduction in biology is a molecular model of (1) only the demonstrated causal parameters of a biological model and (2) only within a replicable experimental background. These identities—which are ubiquitous in biology and form the basis of ruthless reductions (Bickle, Philosophy and neuroscience: a ruthlessly reductive account, 2003)—are criticised as merely “local” (Sullivan, Synthese 167:511–539, 2009) or “fragmentary” (Schaffner, Synthese, 151(3):377–402, 2006). However, in an instructive case, a biological model is preserved in molecular terms, demonstrating a complex phenomenon that has been successfully reduced.     

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.     

An Introduction to Issues of Gender in Stalking Research

Stalking research has increased substantially in the past 20?years. This special issue is intended to contribute to this literature by using gender as a focus point in 1) applying new theoretical perspectives that incorporate the role of gender to the study of stalking perpetration (Davis et al. 2010; Duntley and Buss 2010), 2) addressing divergent findings regarding gender in experiences of victims (Sheridan and Lyndon 2010) and perpetrators (Thompson et al. 2010), and 3) furthering the study of how gender influences perceptions of stalking (Cass and Rosay 2011; Dunlap et al. 2011; Sinclair 2010; Yanowitz and Yanowitz 2010). To place this special issue in context of the current state of knowledge on gender and stalking, we review the state of the existing research as it relates to the domains covered by articles present in this issue.     

Conditionals in causal decision theory

This paper explores the possibility that causal decision theory can be formulated in terms of probabilities of conditionals. It is argued that a generalized Stalnaker semantics in combination with an underlying branching time structure not only provides the basis for a plausible account of the semantics of indicative conditionals, but also that the resulting conditionals have properties that make them well-suited as a basis for formulating causal decision theory. Decision theory (at least if we omit the frills) is not an esoteric science, however unfamiliar it may seem to an outsider. Rather it is a systematic exposition of the consequences of certain well-chosen platitudes about belief, desire, preference and choice. It is the very core of our common-sense theory of persons, dissected out and elegantly systematized. (David Lewis, Synthese 23:331–344, 1974, p. 337). A small distortion in the analysis of the conditional may create spurious problems with the analysis of other concepts. So if the facts about usage favor one among a number of subtly different theories, it may be important to determine which one it is. (Robert Stalnaker, A Defense of Conditional Excluded Middle, pp. 87–104, 1980, p. 87)      

Ambivalent Sexism and Religion: Connected Through Values

Sexist attitudes do not exist in a limbo; they are embedded in larger belief systems associated with specific hierarchies of values. In particular, manifestations of benevolent sexism (Glick and Fiske 1996, 1997, 2001) can be perceived as a social boon, not a social ill, both because they are experienced as positive, and because they reward behaviors that maintain social stability. One of the strongest social institutions that create and justify specific hierarchies of values is religion. In this paper, we examine how the values inherent in religious beliefs (perhaps inadvertently) propagate an unequal status quo between men and women through endorsement of ideologies linked to benevolent sexism. In a survey with a convenience sample of train passengers in Southern and Eastern Poland (N?=?180), we investigated the relationship between Catholic religiosity and sexist attitudes. In line with previous findings (Gaunt 2012; Glick et al. 2002a; Ta?demir and Sakall?-U?urlu 2010), results suggest that religiosity can be linked to endorsement of benevolent sexism. This relationship was mediated in our study by the values of conservatism and openness to change (Schwartz 1992): religious individuals appear to value the societal status quo, tradition, and conformity, which leads them to perceive women through the lens of traditional social roles. Adhering to the teachings of a religion that promotes family values in general seems to have as its byproduct an espousal of prejudicial attitudes toward specific members of the family.     

Propositional Reasoning that Tracks Probabilistic Reasoning

This paper concerns the extent to which uncertain propositional reasoning can track probabilistic reasoning, and addresses kinematic problems that extend the familiar Lottery paradox. An acceptance rule assigns to each Bayesian credal state p a propositional belief revision method ${\sf B}_{p}$ , which specifies an initial belief state ${\sf B}_{p}(\top)$ that is revised to the new propositional belief state ${\sf B}(E)$ upon receipt of information E. An acceptance rule tracks Bayesian conditioning when ${\sf B}_{p}(E) = {\sf B}_{p|_{E}}(\top)$ , for every E such that p(E)?>?0; namely, when acceptance by propositional belief revision equals Bayesian conditioning followed by acceptance. Standard proposals for uncertain acceptance and belief revision do not track Bayesian conditioning. The ??Lockean?? rule that accepts propositions above a probability threshold is subject to the familiar lottery paradox (Kyburg 1961), and we show that it is also subject to new and more stubborn paradoxes when the tracking property is taken into account. Moreover, we show that the familiar AGM approach to belief revision (Harper, Synthese 30(1?C2):221?C262, 1975; Alchourrón et al., J Symb Log 50:510?C530, 1985) cannot be realized in a sensible way by any uncertain acceptance rule that tracks Bayesian conditioning. Finally, we present a plausible, alternative approach that tracks Bayesian conditioning and avoids all of the paradoxes. It combines an odds-based acceptance rule proposed originally by Levi (1996) with a non-AGM belief revision method proposed originally by Shoham (1987).     

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).     

Regularity Theories Reassessed

For a long time, regularity accounts of causation have virtually vanished from the scene. Problems encountered within other theoretical frameworks have recently induced authors working on causation, laws of nature, or methodologies of causal reasoning – as e.g. May (Kausales Schliessen. Eine Untersuchung über kausale Erklärungen und Theorienbildung. Ph.D. thesis, Universität Hamburg, Hamburg, 1999), Ragin (Fuzzy-set social science. Chicago: University of Chicago Press, 2000), Graßhoff and May (Causal regularities. In W. Spohn, M. Ledwig, &; M. Esfeld (Eds.), Current issues in causation (pp. 85–114). Paderborn: Mentis, 2001), Swartz (The concept of physical law (2nd ed.). http://www.sfu.ca/philosophy/physical-law/, 2003), Halpin (Erkenntnis, 58, 137–168, 2003) – to direct their attention back to regularity theoretic analyses. In light of the latest proposals of regularity theories, the paper at hand therefore reassesses the criticism raised against regularity accounts since the INUS theory of causation of Mackie (The cement of the universe. A study of causation. Oxford: Clarendon Press, 1974). It is shown that most of these objections target strikingly over-simplified regularity theoretic sketches. By outlining ways to refute these objections it is argued that the prevalent conviction as to the overall failure of regularity theories has been hasty.     

Correcting the correction of conditional recency slopes

Farrell (Journal of Experimental Psychology: Learning, Memory, and Cognition, 36, 324–347, 2010) presented some analyses of free recall data that suggest that recency items initially become more accessible as recall progresses, in contrast to the assumptions of temporal drift models. Moran and Goshen-Gottstein (2013) present some challenges to Farrell’s (2010) analyses of the change in conditional recency across output position in free recall. Simulations using a very basic free recall model that controls conditional recency across recall show that Farrell’s (2010) analyses are not substantially biased, while the procedure proposed by Moran and Goshen-Gottstein introduces a substantial underestimation of the true slopes. The null slopes observed in immediate recall by Moran and Goshen-Gottstein are not informative of the true slopes characterizing the data. Accordingly, Farrell’s (2010) results continue to present a challenge to temporal drift models.     

Mirror systems and simulation: a neo-empiricist interpretation

It is often claimed that the discovery of mirror neurons supports simulation theory (ST). There has been much controversy about this, however, as there are various competing models of the functional contribution of mirror systems, only some of which characterize mirroring as simulation in the sense required by ST. But a brief review of these models reveals that they all include simulation in some sense. In this paper, I propose that the broader conception of simulation articulated by neo-empiricist theories of concepts can subsume the more specific conceptions of simulation presented by ST and by these other models, thereby offering a framework in which each of these models may play a role. According to neo-empiricism, conceptual thought in general involves simulation in the sense that it is grounded in sensory, motor, and other embodied systems (Barsalou, Behavioral and Brain Sciences, 22, 577?C609, 1999, Philosophical Transactions of the Royal Society of London: Biological Sciences, 364, 1281?C1289, 2009; Barsalou et al., Trends in Cognitive Sciences, 7(2), 84?C91, 2003; Prinz 2002, Mind & Language, 25(5), 612?C621, 2010; Glenberg and Robertson, Journal of Memory and Language, 43, 379?C401, 2000). Crucially, the term ??simulation?? here refers not to simulations of a target agent??s experience in the sense endorsed by simulation theory but to the activation of sensory, motor, affective, and introspective representations. This difference does not entail that neo-empiricism must be in competition with ST??indeed, I will propose that ST can be embedded as a special case within neo-empiricism.     

Lucky understanding without knowledge

Can one still have understanding in situations that involve the kind of epistemic luck that undermines knowledge? Kvanvig (The value of knowledge and the pursuit of understanding, 2003; in: Haddock A, Miller A, Pritchard D (eds) Epistemic value, 2009a; in: Haddock A, Miller A, Pritchard D (eds) Epistemic value, 2009b) says yes, Prichard (Grazer Philos Stud 77:325–339, 2008; in: O’Hear A (ed) Epistemology, 2009; in: Pritchard D, Millar A, Haddock A (eds) The nature and value of knowledge: three investigations, 2010) say sometimes, DePaul and Grimm (Philos Phenomenol Res 74:498–514, 2007) and Grimm (Br J Philos Sci 57:515–535, 2006; in: Bernecker S, Pritchard D (eds) The Routledge companion to epistemology, 2011), Kvanvig’s critics, say no. The cases put forth by Kvanvig’s critics share a common feature, which seems to drive the intuition that understanding can’t be lucky: the fact that the information that makes up the individual’s understanding comes exclusively from a bad source. I formulate a case that lacks this feature, drawing on the fact that understanding produced from scientific inquiry is often produced by collaboration. I argue that my case provides good evidence that understanding is not a species of knowledge.