Truthmakers and modality

This paper attempts to locate, within an actualist ontology, truthmakers for modal truths: truths of the form <Possibly, p> or <Necessarily, p>. In Sect. 1 I motivate the demand for substantial truthmakers for modal truths. In Sect. 2 I criticise Armstrong’s account of truthmakers for modal truths. In Sect. 3 I examine essentialism and defend an account of what makes essentialist attributions true, but I argue that this does not solve the problem of modal truth in general. In Sect. 4 I discuss, and dismiss, a theistic account of the source of modal truth proposed by Alexander Pruss. In Sect. 5 I offer a means of (dis)solving the problem.     

Truthmakers and Normative Conflicts

Studia Logica - By building on work by Kit Fine, we develop a sound and complete truthmaker semantics for Lou Goble’s conflict tolerant deontic logic $$\mathbf {BDL}$$.     

From a necessary being to god

Not a lot of work on theistic arguments has been devoted to drawing connections between a necessary being and theistic properties. In this paper, I identify novel paths from a necessary being to certain theistic properties: volition, infinite power, infinite knowledge, and infinite goodness. The steps in those paths are an outline for future work on what William Rowe (The Cosmological Argument, 1975, p. 6) has called “stage II” of the cosmological argument.     

Truthmakers and the direct argument

The truthmaker literature has recently come to the consensus that the logic of truthmaking is distinct from classical propositional logic. This development has huge implications for the free will literature. Since free will and moral responsibility are primarily ontological concerns (and not semantic concerns) the logic of truthmaking ought to be central to the free will debate. I shall demonstrate that counterexamples to transfer principles employed in the direct argument occur precisely where a plausible logic of truthmaking diverges from classical logic. Further, restricted transfer principles (like the ones employed by McKenna, Stump, and Warfield) are as problematic as the original formulation of the direct argument.     

Principled and statistical connections in common sense conception

Nominal concepts represent things as tokens of types. We report six experiments that investigate the nature of the relations we represent between the type of thing something is (e.g. DOG) and its other properties. The experiments provide evidence that we represent principled connections between the type of thing something is (e.g. DOG) and some of its properties (k-properties; e.g. having four legs for dogs), but not other properties (t-properties; e.g. being brown for dogs). Principled connections are different from logical, statistical, and causal connections. Principled connections, (i) license the expectation that tokens of the type will generally possess the k-property, (ii) license explanation of the presence of k-properties in tokens of a type by reference to the type of thing it is, and (iii) license normative expectations concerning the presence of the k-property in tokens of the type. The experiments provide evidence for all three of these aspects of principled connections. The experiments also demonstrate that principled connections must be distinguished from merely strong statistical connections. We suggest that principled connections are one of the fundamental types of relations (in addition to logical, statistical, and causal relations) in terms of which our conceptual knowledge is structured. We argue that principled connections reveal a formal mode of understanding and explanation. This mode of understanding complements other modes of understanding that have been studied within the theory-based approach to conceptual representation. Finally, we suggest that kind representations are distinguished from representations of mere types by the representation of principled connections to k-properties.     

Unconscious structural knowledge of form-meaning connections

We investigated the implicit learning of a linguistically relevant variable (animacy) in a natural language context (namely, the relation of forms of determiners to semantics). Trial by trial subjective measures indicated that exposure to a form–animacy regularity led to unconscious knowledge of that regularity. Under the same conditions, people did not learn about another form–meaning regularity when a linguistically arbitrary variable was used instead of animacy (size relative to a dog). Implicit learning is constrained to acquire unconscious knowledge about features with high prior probabilities of being relevant in that domain.     

Negative truths and truthmaker principles

This paper argues that a consideration of the problem of providing truthmakers for negative truths undermines truthmaker theory. Truthmaker theorists are presented with an uncomfortable dilemma. Either they must take up the challenge of providing truthmakers for negative truths, or else they must explain why negative truths are exceptions to the principle that every truth must have a truthmaker. The first horn is unattractive since the prospects of providing truthmakers for negative truths do not look good neither absences, nor totality states of affairs, nor Graham Priest and J.C. Beall’s ‘polarities’ (Beall, 2000; Priest, 2000) are up to the job. The second horn, meanwhile, is problematic because restricting the truthmaker principle to atomic truths, or weakening it to the thesis that truth supervenes on being, undercuts truthmaker theory’s original motivation. The paper ends by arguing that truthmaker theory is, in any case, an under-motivated doctrine because the groundedness of truth can be explained without appeal to the truthmaker principle. This leaves us free to give the ommonsensical and deflationary explanation of negative truths that common-sense suggests.     

Representation of principled connections: a window onto the formal aspect of common sense conception

Nominal concepts represent things as tokens of types. Recent research suggests that we represent principled connections between the type of thing something is (e.g., DOG) and some of its properties (k-properties; e.g., having four legs for dogs) but not other properties (t-properties; e.g., being brown for dogs). Principled connections differ from logical, statistical, and causal connections. Principled connections license (i) the expectation that tokens of the type will generally possess their k-properties, (ii) formal explanations (i.e., explanation of the presence of k-properties in tokens of a type by reference to the type of thing it is), and (iii) normative expectations concerning the presence of k-properties in tokens of the type. The present paper investigates the hypothesis that representing principled connections requires representing properties as aspects of being the relevant kind of thing (Aspect Hypothesis). Experiment 1 provides a direct test of the Aspect Hypothesis. Experiments 2 and 3 provide indirect tests of the Aspect Hypothesis. All three experiments provide support for the Aspect Hypothesis. Experiment 4 investigates a prediction of the Aspect Hypothesis concerning the manner in which formal explanations are licensed by principled connections. Finally, Experiment 5 investigates a prediction of the Aspect Hypothesis concerning the nature of the normative expectations licensed by principled connections. Together these results provide strong evidence for the idea that representing principled connections involves representing a property as being an aspect of being a given kind of thing. The results also help clarify the manner in which formal explanation differs from other modes of explanation. Finally, the results of the experiments are used to motivate a proposal concerning the formal structure of the conceptual representations implicated by principled connections. This structure provides a domain-general way of structuring our concepts and embodies the perspective we take when we think and talk of things as being instances of a kind.     

Nice and necessary

Symbol, Story, and Ceremony: Using Metaphor in Individual and Family Therapy by Gene Combs and Jill Freedman New York: Norton, 1990, 279 pp., $27.95     

Personal Identity, Fission and Time Travel

One problem that has formed the focus of much recent discussion on personal identity is the Fission Problem. The aim of this paper is to offer a novel solution to this problem.

Truthmakers and ontological commitment: or how to deal with complex objects and mathematical ontology without getting into trouble

What are the ontological commitments of a sentence? In this paper I offer an answer from the perspective of the truthmaker theorist that contrasts with the familiar Quinean criterion. I detail some of the benefits of thinking of things this way: they include making the composition debate tractable without appealing to a neo-Carnapian metaontology, making sense of neo-Fregeanism, and dispensing with some otherwise recalcitrant necessary connections.     

What in the world are the ways things might have been?

Robert Stalnaker is an actualist who holds that merely possible worlds are uninstantiated properties that might have been instantiated. Stalnaker also holds that there are no metaphysically impossible worlds: uninstantiated properties that couldn't have been instantiated. These views motivate Stalnaker's "two dimensional" account of the necessary a posteriori on which there is no single proposition that is both necessary and a posteriori. For a (metaphysically) necessary proposition is true in all (metaphysically) possible worlds. If there were necessary a posteriori propositions, that would mean that there were propositions true in all possible worlds but which could only be known to be true by acquiring empirical evidence. Consider such a purported proposition P. The role of empirical evidence for establishing P's truth would have to be to rule out worlds in which P is false. If there were no such worlds to be ruled out, we would not require evidence for P. But by hypothesis, P is necessary and so true in all metaphysically possible worlds. And on Stalnaker's view, the metaphysically possible worlds are all the worlds there are. So there can be no proposition that is true in all possible worlds, but that we require evidence to know. In this way, the motivation for Stalnaker's two dimensional account of the necessary a posteriori rests on his denying that there are metaphysically impossible Worlds. I argue that given his view of what possible worlds are, Stalnaker has no principled reason for denying that there are metaphysically impossible worlds. If I am right, this undercuts Stalnaker's motivation for his two dimensional account of the necessary a posteriori.

无神论教育的必要和重要

本期刊载的几篇文章,大都谈到了无神论教育的必要和重要。中华人民共和国成立六十年了,《科学与无神论》杂志创办也十年了,我们还在谈无神论教育的必要和重要,似乎有些滑稽。然而这一方面反映了我们无神论宣传和教育的实际,一方面也说明此事日益引起更多人士的注意和重视。