This paper defends the idea that there might be vagueness or indeterminacy in the world itself---as opposed to merely in our representations of the world---against the charges of incoherence and unintelligibility. First we consider the idea that the world might contain vague *properties and relations*; we show that this idea is already implied by certain well-understood views concerning the semantics of vague predicates (most notably the fuzzy view). Next we consider the idea that the world might contain vague *objects*; we (...) argue that an object is indeterminate in a certain respect (colour, size, etc.) just in case it is a borderline case of a maximally specific colour (size, etc.) property. Finally we consider the idea that the *world as a whole* might be indeterminate; we argue that the world is indeterminate just in case it lacks a determinate division into determinate objects. (shrink)

In VAGUENESS AND DEGREES OF TRUTH, Nicholas Smith develops a new theory of vagueness: fuzzy plurivaluationism. -/- A predicate is said to be VAGUE if there is no sharply defined boundary between the things to which it applies and the things to which it does not apply. For example, 'heavy' is vague in a way that 'weighs over 20 kilograms' is not. A great many predicates -- both in everyday talk, and in a wide array of theoretical vocabularies, from law (...) to psychology to engineering -- are vague. -/- Smith argues, based on a detailed account of the defining features of vagueness, that an accurate theory of vagueness must involve the idea that truth comes in degrees. The core idea of degrees of truth is that while some sentences are true and some are false, others possess intermediate truth values: they are truer than the false sentences, but not as true as the true ones. Degree-theoretic treatments of vagueness have been proposed in the past, but all have encountered significant objections. In light of these, Smith develops a new type of degree theory. Its innovations include a definition of logical consequence that allows the derivation of a classical consequence relation from the degree-theoretic semantics, a unified account of degrees of belief and their relationships with degrees of truth and subjective probabilities, and the incorporation of semantic indeterminacy -- the view that vague statements need not have unique meanings -- into the degree-theoretic framework. -/- As well as being essential reading for those working on vagueness, Smith's book provides an excellent entry-point for newcomers to the area -- both from elsewhere in philosophy, and from computer science, logic and engineering. It contains a thorough introduction to existing theories of vagueness and to the requisite logical background. (shrink)

In an earlier paper I argued that time travellers cannot change the past: alleged models of changing the past either fall into contradiction or else involve avoiding, not changing, the past. Goddu has responded to my argument, maintaining that his hypertime model involves time travellers changing (not avoiding) the past. In the present paper I first discuss what would be required to substantiate the claim that a given model involves changing rather than avoiding the past. I then consider Goddu's hypertime (...) model and an earlier model due to Meiland. I argue that neither author does what would be required to substantiate the claim that the model involves changing (not avoiding) the past. I go on to give reasons for the stronger claim that no-one can present a coherent model and also substantiate the claim that it involves changing (not avoiding) the past. (shrink)

This paper presents and defends a definition of vagueness, compares it favourably with alternative definitions, and draws out some consequences of accepting this definition for the project of offering a substantive theory of vagueness. The definition is roughly this: a predicate 'F' is vague just in case for any objects a and b, if a and b are very close in respects relevant to the possession of F, then 'Fa' and 'Fb' are very close in respect of truth. The definition (...) is extended to cover vagueness of many-place predicates, of properties and relations, and of objects. Some of the most important advantages of the definition are that it captures the intuitions which motivate the thought that vague predicates are tolerant, without leading to contradiction, and that it yields a clear understanding of the relationships between higher-order vagueness, sorites susceptibility, blurred boundaries, and borderline cases. The most notable consequence of the definition is that the correct theory of vagueness must countenance degrees of truth. (shrink)

Graham Priest (1994) has argued that the following paradoxes all have the same structure: Russell’s Paradox, Burali-Forti’s Paradox, Mirimanoff’s Paradox, König’s Paradox, Berry’s Paradox, Richard’s Paradox, the Liar and Liar Chain Paradoxes, the Knower and Knower Chain Paradoxes, and the Heterological Paradox. Their common structure is given by Russell’s Schema: there is a property φ and function δ such that..

This paper defends the idea that there might be vagueness or indeterminacy in the world itself---as opposed to merely in our representations of the world---against the charges of incoherence and unintelligibility. First we consider the idea that the world might contain vague *properties and relations*; we show that this idea is already implied by certain well-understood views concerning the semantics of vague predicates (most notably the fuzzy view). Next we consider the idea that the world might contain vague *objects*; we (...) argue that an object is indeterminate in a certain respect (colour, size, etc.) just in case it is a borderline case of a maximally specific colour (size, etc.) property. Finally we consider the idea that the *world as a whole* might be indeterminate; we argue that the world is indeterminate just in case it lacks a determinate division into determinate objects. (shrink)

We develop an exact truthmaker semantics for permission and obligation. The idea is that with every singular act, we associate a sphere of permissions and a sphere of requirements: the acts that are rendered permissible and the acts that are rendered required by the act. We propose the following clauses for permissions and obligations: -/- - a singular act is an exact truthmaker of Pφ iff every exact truthmaker of φ is in the sphere of permissibility of the act, and (...) -/- - a singular act is an exact truthmaker of Oφ iff some exact truthmaker of φ is in the sphere of requirements of the act. -/- We show that this semantics is hyperintensional, and that it can deal with some of the so-called paradoxes of deontic logic in a natural way. Finally, we give a sound and complete axiomatization of the semantics. (shrink)

A number of authors have noted that vagueness engenders degrees of belief, but that these degrees of belief do not behave like subjective probabilities. So should we countenance two different kinds of degree of belief: the kind arising from vagueness, and the familiar kind arising from uncertainty, which obey the laws of probability? I argue that we cannot coherently countenance two different kinds of degree of belief. Instead, I present a framework in which there is a single notion of degree (...) of belief, which in certain circumstances behaves like a subjective probability assignment and in other circumstances does not. The core idea is that one’s degree of belief in a proposition P is one’s expectation of P’s degree of truth. (shrink)

In this paper I present a new theory of propositions, according to which propositions are abstract mathematical objects: well-formed formulas together with models. I distinguish the theory from a number of existing views and explain some of its advantages  chief amongst which are the following. On this view, propositions are unified and intrinsically truth-bearing. They are mind- and language-independent and they are governed by logic. The theory of propositions is ontologically innocent. It makes room for an appropriate interface with (...) formal semantics and it does not enforce an overly fine or overly coarse level of granularity. (shrink)

Bringing together specialists in various fields, this volume shows that the transformation from the scholastic to more empirical approaches to psychology was a gradual process.

My task here is the first one. I do present a consistent formal system and claim that it provides a perfect model of natural languages such as English, but this system involves no surprises. It is none other than the standard framework of classical logic and model theory. The real weight of the argument lies in the claim that the classical framework—without alteration or addition—contains the resources to model what happens when we say in English ‘This sentence is not true’.

This paper brings to light a new puzzle for Frege interpretation, and offers a solution to that puzzle. The puzzle concerns Frege’s judgement-stroke (‘|’), and consists in a tension between three of Frege’s claims. First, Frege vehemently maintains that psychological considerations should have no place in logic. Second, Frege regards the judgementstroke—and the associated dissociation of assertoric force from content, of the act of judgement from the subject matter about which judgement is made—as a crucial part of his logic. Third, (...) Frege holds that judging is an inner mental process, and that the distinction marked by the judgement-stroke, between entertaining a thought and judging that it is true, is a psychological distinction. I argue that what initially looks like confusion here on Frege’s part appears quite reasonable when we remind ourselves of the differences between Frege’s conception of logic and our own. (shrink)

In developing the concept of assemblages, Gilles Deleuze draws at least some inspiration from Gilbert Simondon’s concept of information. While his acknowledgement of Simondon’s influence is almost entirely positive, Deleuze explicitly distances himself from the concept of information in order to avoid its link to the field of cybernetics. However, a Deleuzian informational ontology could instead be leveraged as an alternative to cybernetics. Drawing on the Spinozan link between the work of Deleuze and Simondon, it is possible to develop a (...) hybrid informational ontology. This system can not only offer a different approach to information, data and technology than the essentialist concept of information embraced by cybernetics, but also aligns well with recent research in the biological sciences that has disrupted a long-held concept of individuals as entirely separate and autonomous. Shifting away from the Platonic Form to a Deleuzian/simondonian in-formation furthers the post-human project aimed at understanding processes of subjectivation at multiple scales, including the micro and macro. (shrink)

A common objection to theories of vagueness based on fuzzy logics centres on the idea that assigning a single numerical degree of truth -- a real number between 0 and 1 -- to each vague statement is excessively precise. A common objection to Bayesian epistemology centres on the idea that assigning a single numerical degree of belief -- a real number between 0 and 1 -- to each proposition is excessively precise. In this paper I explore possible parallels between these (...) objections. In particular I argue that the only good objection along these lines to fuzzy theories of vagueness does not translate into a good objection to Bayesian epistemology. An important part of my argument consists in drawing a distinction between two different notions of degree of belief, which I call dispositional degree of belief and epistemic degree of belief. (shrink)

. Books Briefly Noted. International Journal of Philosophical Studies: Vol. 7, No. 3, pp. 423-429.

One of Tarski’s stated aims was to give an explication of the classical conception of truth—truth as ‘saying it how it is’. Many subsequent commentators have felt that he achieved this aim. Tarski’s core idea of defining truth via satisfaction has now found its way into standard logic textbooks. This paper looks at such textbook definitions of truth in a model for standard first-order languages and argues that they fail from the point of view of explication of the classical notion (...) of truth. The paper furthermore argues that a subtly different definition—also to be found in classic textbooks but much less prevalent than the kind of definition that proceeds via satisfaction—succeeds from this point of view. (shrink)

The so-called paradoxes of time travel have played a significant role in both the physics and philosophy literatures - but how much force do these alleged paradoxes really have?