Thisnesses,Propositions, and Truth

Presentists, who believe that only present objects exist, should accept a thisness ontology, since it can do considerable work in defence of presentism. In this article, I propose a version of presentism that involves thisnesses of past and present entities and I argue that this view solves important problems facing standard versions of presentism.     

Propositions,representation, and truth

Synthese - Theories of propositions as sets of truth-supporting circumstances are committed to the thesis that sentences or other representations true in all and only the same circumstances express...     

Propositions, Sets, and Worlds

If we agree with Michael Jubien that propositions do not exist, while accepting the existence of abstract sets in a realist mathematical ontology, then the combined effect of these ontological commitments has surprising implications for the metaphysics of modal logic, the ontology of logically possible worlds, and the controversy over modal realism versus actualism. Logically possible worlds as maximally consistent proposition sets exist if sets generally exist, but are equivalently expressed as maximally consistent conjunctions of the same propositions in corresponding sets. A conjunction of propositions, even if infinite in extent, is nevertheless itself a proposition. If sets and hence proposition sets exist but propositions do not exist, then whether or not modal realism is true depends on which of two apparently equivalent methods of identifying, representing, or characterizing logically possible worlds we choose to adopt. I consider a number of reactions to the problem, concluding that the best solution may be to reject the conventional model set theoretical concept of logically possible worlds as maximally consistent proposition sets, and distinguishing between the actual world alone as maximally consistent and interpreting all nonactual merely logically possible worlds as submaximal. I am grateful to the Netherlands Institute for Advanced Study in the Humanities and Social Sciences (NIAS), Royal Netherlands Academy of Arts and Sciences (KNAW), for supporting this among related research projects in philosophical logic and philosophy of mathematics during my Resident Research Fellowship in 2005-2006.     

Propositions,Meaning, and Names

The object of this paper is to sketch an approach to propositions, meaning, and names. The key ingredients are a Twin‐Earth‐inspired distinction between internal and external meaning, and a middle‐Wittgenstein‐inspired conception of internal meaning as role in language system. The focus here is not on working out all the details, but on outlining the approach and showing how it offers a promising solution to the problem of the meaning of proper names. This is a plea for a neglected way of thinking about these topics.     

Propositions, semantic values, and rigidity

Jeffrey King has recently argued: (i) that the semantic value of a sentence at a context is (or determines) a function from possible worlds to truth values, and (ii) that this undermines Jason Stanley's argument against the rigidity thesis, the claim that no rigid term has the same content as a non-rigid term. I show that King's main argument for (i) fails, and that Stanley's argument is consistent with the claim that the semantic value of a sentence at a context is (or determines) a function from worlds to truth values.     

Samesaying, Propositions and Radical Interpretation

Davidson's paratactic account of indirect quotation preserves the apparent relational structure of indirect speech but without assuming, in the Fregean manner, that the thing said by a sayer is a proposition. I argue that this is a mistake. As has been recognised by some critics, Davidson's account suffers from analytical shortcomings which can be overcome by redeploying the paratactic strategy as a means of referring to propositions. I offer a quick and comprehensive survey of these difficulties and a concise propositional solution. Further, I argue that Davidson's more general philosophical commitments provide no reason not to embrace the propositional strategy: despite appearances, to invoke propositions in the way suggested is consistent with Davidson's holism and consequent doctrine of semantic indeterminacy.     

Changing circumstances, disrupting habits

The present research investigated the mechanisms guiding habitual behavior, specifically, the stimulus cues that trigger habit performance. When usual contexts for performance change, habits cannot be cued by recurring stimuli, and performance should be disrupted. Thus, the exercising, newspaper reading, and TV watching habits of students transferring to a new university were found to survive the transfer only when aspects of the performance context did not change (e.g., participants continued to read the paper with others). In some cases, the disruption in habits also placed behavior under intentional control so that participants acted on their current intentions. Changes in circumstances also affected the favorability of intentions, but changes in intentions alone could not explain the disruption of habits. Furthermore, regardless of whether contexts changed, nonhabitual behavior was guided by intentions.     

Hierarchical Propositions

The notion of a proposition is central to philosophy. But it is subject to paradoxes. A natural response is a hierarchical account and, ever since Russell proposed his theory of types in 1908, this has been the strategy of choice. But in this paper I raise a problem for such accounts. While this does not seem to have been recognized before, it would seem to render existing such accounts inadequate. The main purpose of the paper, however, is to provide a new hierarchical account that solves the problem.     

Abstracting Propositions

This paper examines the potential for abstracting propositions – an as yet untested way of defending the realist thesis that propositions as abstract entities exist. I motivate why we should want to abstract propositions and make clear, by basing an account on the neo-Fregean programme in arithmetic, what ontological and epistemological advantages a realist can gain from this. I then raise a series of problems for the abstraction that ultimately have serious repercussions for realism about propositions in general. I first identify problems about the number of entities able to be abstracted using these techniques. I then focus on how issues of language relativity result in problems akin to the Caesar problem in arithmetic by exposing circularity and modal concern over the status of the criterion of identity for propositions.     

Not Propositions

Current computational accounts of meaning in the cognitive sciences are based on abstract, amodal symbols (e.g., nodes, links, propositions) that are arbitrarily related to their referents. We argue that such accounts lack convincing empirical support and that they do not provide a satisfactory account for linguistic meaning. One historic set of results supporting the abstract symbol view has come from investigation into comprehension of negated sentences, such as “The buttons are not black.” These sentences are presumed to be understood as two propositions composed of abstract symbols. One proposition corresponds to “the buttons are black,” and it is embedded in another proposition corresponding to “it is not true.” Thus, the propositional account predicts (a) that comprehension of negated sentences should take longer than comprehension of the corresponding positive sentence (because of the time needed to construct the embedding), but (b) that the resulting embedded propositions are informationally equivalent (but of opposite valence) to the simple proposition underlying the positive sentence. Contrary to these predictions, Experiment 1 demonstrates that negated sentences out of context are interpreted as situationally ambiguous, that is, as conveying less specific information than positive sentences. Furthermore, Experiment 2 demonstrates that when negated sentences are used in an appropriate context, readers do not take longer to understand them. Thus, difficulty with negation is demonstrated to be an artifact of presentation out of context. After discussing other serious problems with the use of abstract symbols, we describe the Indexical Hypothesis. This embodied account of meaning does not depend on abstract symbols, and hence it provides a more satisfactory account of meaning.     

Elusive Propositions

Journal of Philosophical Logic - David Kaplan observed in Kaplan (1995) that the principle $\forall p \Diamond \forall q (Qq \leftrightarrow q = p)$ cannot be verified at a world in a standard...     

Dispositions, conditionals and auspicious circumstances

A number of authors have suggested that a conditional analysis of dispositions must take roughly the following form: Thing X is disposed to produce response R to stimulus S just in case, if X were exposed to S and surrounding circumstances were auspicious, then X would produce R. The great challenge is cashing out the relevant notion of ‘auspicious circumstances’. I give a general argument which entails that all existing conditional analyses fail, and that there is no satisfactory way to define ‘auspicious circumstances’ just in terms of S, R, and X. Instead, I argue that the auspicious circumstances C for the manifestation of a disposition constitute a third irreducible element of that disposition, and that to pick out (or to ‘individuate’) that disposition one must specify C along with S and R. This enables a new conditional analysis of dispositions that gives intuitively satisfying answers in cases that pose problems for other approaches.     

On Hierarchical Propositions

Journal of Philosophical Logic - There is an apparent dilemma for hierarchical accounts of propositions, raised by Bruno Whittle (Journal of Philosophical Logic, 46, 215–231, 2017): either...