DETERMINACY is the claim that covert shifts in visual attention sometimes affect the determinacy of visual content (capital letters will distinguish the claim from the familiar word, 'determinacy'). Representationalism is the claim that visual phenomenology supervenes on visual representational content. Both claims are popular among contemporary philosophers of mind, and DETERMINACY has been employed in defense of representationalism. I claim that existing arguments in favor of DETERMINACY are inconclusive. As a result, DETERMINACY-based arguments in (...) support of representationalism are not strong ones. (shrink)

Many theorists understand human rights as only aiming to secure a minimally decent existence, rather than a positively good or flourishing life. Some of the theoretical considerations that support this minimalist view have been mapped out in the philosophical literature. The aim of this paper is to explain how a relatively neglected theoretical desideratum – namely, determinacy – can be invoked in arguing for human rights minimalism. Most of us want a theory of human rights whose demands can be (...) realized, and which is acceptable to a range of worldviews. But we might also expect our theory to provide determinate answers to questions of scope (i.e. which putative rights are bona fide human rights?) and practical implementation (i.e. what concrete duties are generated by which rights?). A minimalist view of human rights makes it is easier to jointly fulfil all of these desiderata. (shrink)

This paper addresses debates in German idealism that arise in response to the modal shift in logic, proposed by Kant, from a logic of thinking to a logic of experience. With the Kantian logic of experience arises a problem of radical contingency or 'rhapsodic determination' for logic. While Fichte and Hegel attempt to resolve the problem of contingency by constructing rational systems aimed at established the grounds for logic, I show how Schelling brings into view, in a proto-existentialist movement, the (...) way in which the indeterminacy of the will undergirds rational system construction and, thereby, presents a limiting problem for the question of the value of system-building itself. (shrink)

This article surveys recent literature by Parsons, McGee, Shapiro and others on the significance of categoricity arguments in the philosophy of mathematics. After discussing whether categoricity arguments are sufficient to secure reference to mathematical structures up to isomorphism, we assess what exactly is achieved by recent ‘internal’ renditions of the famous categoricity arguments for arithmetic and set theory.

Controversy about the credibility of normative realism is endemic to contemporary metaethics. Some take realism to be “obviously, the default position,” while others, to put it mildly, do not., In the face of such persistent controversy, it can be valuable to step back from the myriad arguments for and against realism, and seek to understand the challenges that face this view in their deepest and most general form. This paper aims to achieve this deeper understanding with respect to a pair (...) of familiar challenges to normative realism in the philosophy of mind. (shrink)

The supervaluationist approach to branching time (‘SBT-theory’) appears to be threatened by the puzzle of retrospective determinacy: if yesterday I uttered the sentence ‘It will be sunny tomorrow’ and only in some worlds overlapping at the context of utterance it is sunny the next day, my utterance is to be assessed as neither true nor false even if today is indeed a sunny day. John MacFarlane (“Truth in the Garden of Forking Paths” 81) has recently criticized a promising solution (...) to this puzzle for falling short of an adequate account of ‘actually’. In this paper, I aim to rebut MacFarlane's criticism. To this effect, I argue that: (i) ‘actually’ can be construed either as an indexical or as a nonindexical operator; (ii) if ‘actually’ is nonindexical, MacFarlane's criticism is invalid; (iii) there appear to be independent reasons for SBT-theorists to claim that ‘actually’ is a nonindexical expression. (shrink)

Theories of phenomenal intentionality have been claimed to resolve certain worries about the indeterminacy of mental content that rival, externalist theories face. Thus far, however, such claims have been largely programmatic. This paper aims to improve on prior arguments in favor of phenomenal intentionality by using attention and Gestalt principles as specific examples of factors that influence the phenomenal character of perceptual experience in ways that thereby help determine perceptual content. Some reasons are then offered for rejecting an alternative interpretation (...) of these examples, according to which the phenomenal effects of attention and Gestalt principles play no role in the determination of perceptual content. (shrink)

ABSTRACT Our ascriptions of content to past utterances assign to them a level of conceptual continuity and determinacy that extends beyond what could be grounded in the usage up to their time of utterance. If one accepts such ascriptions, one can argue either that future use must be added to the grounding base, or that such cases show that meaning is not, ultimately, grounded in use. The following will defend the first option as the more promising of the two, (...) though this ultimately requires understanding the relation between use and meaning as ‘normative’ in two important ways. The first way is that the function from use to meaning must be of a sort that allows us to maintain a robust distinction between actual and correct use. The second sort of normativity is unique to theories that extend the grounding base into the future. In particular, if meaning is partially a function of future use, we can see our commitment to the ‘determinacy’ of meaning as a practical commitment that structures our linguistic practices rather than a theoretical commitment that merely describes them. (shrink)

Peter Carruthers has recently argued for a surprising conditional: if a global workspace theory of phenomenal consciousness is both correct and fully reductive, then there are no substantive facts to discover about phenomenal consciousness in nonhuman animals. I present two problems for this conditional. First, it rests on an odd double-standard about the ordinary concept of phenomenal consciousness: its intuitive non-gradability is taken to be unchallengeable by future scientific developments, whereas its intuitive determinacy is predicted to fall by the (...) wayside. Second, it relies on dismissing, prematurely, the live empirical possibility that phenomenal consciousness may be linked to a core global broadcast mechanism that is shared by a wide range of animals. Future developments in the science of consciousness may lead us to reconsider the non-gradability of phenomenal consciousness, but they are unlikely to lead us to accept that there are no facts to discover outside the paradigm case of a healthy adult human. (shrink)

In this paper we address the question of what determines the content of our conscious episodes of thinking, considering recent claims that phenomenal character individuates thought contents. We present one prominent way for defenders of phenomenal intentionality to develop that view and then examine ‘sensory inner speech views’, which provide an alternative way of accounting for thought-content determinacy. We argue that such views fare well with inner speech thinking but have problems accounting for unsymbolized thinking. Within this dialectic, we (...) present an account of the nature of unsymbolized thinking that accords with and can be seen as a continuation of the activity of inner speech, while offering a way of explaining thought-content determinacy in terms of linguistic structures and representations. (shrink)

Todd (2016) proposes an analysis of future-directed sentences, in particular sentences of the form 'will(φ)', that is based on the classic Russellian analysis of definite descriptions. Todd's analysis is supposed to vindicate the claim that the future is metaphysically open while retaining a simple Ockhamist semantics of future contingents and the principles of classical logic, i.e. bivalence and the law of excluded middle. Consequently, an open futurist can straightforwardly retain classical logic without appeal to supervaluations, determinacy operators, or any (...) further controversial semantical or metaphysical complication. In this paper, we will show that this quasi-Russellian analysis of 'will' both lacks linguistic motivation and faces a variety of significant problems. In particular, we show that the standard arguments for Russell's treatment of definite descriptions fail to apply to statements of the form 'will(φ)'. (shrink)

I argue that perceptual content is always affected by the allocation of one’s attention. Perception attributes determinable and determinate properties to the perceived scene. Attention makes (or tries to make) our perceptual attribution of properties more determinate. Hence, a change in our attention changes the determinacy of the properties attributed to the perceived scene.

Truth pluralism offers the latest extension in the tradition of substantive theorizing about truth. While various forms of this thesis are available, most frameworks commit to domain reliance. According to domain reliance, various ways of being true, such as coherence and correspondence, are tied to discourse domains rather than individual sentences. From this follows that the truth of different types of sentences is accounted for by their domain membership. For example, sentences addressing ethical matters are true if they cohere and (...) those addressing extensional states of affairs if they correspond. By tying distinct truth-grounding properties to domains rather than individual sentences, truth pluralists avoid certain issues with definitional ambiguity and indeterminacy. I argue that contrary to the ideal situation, domains fail to provide the sought-after benefits of achieving definitional unambiguity and determinacy in the standard domain reliant pluralist frameworks. The reason is that, when combined with the inherently ambiguous nature of certain truth-relevant terms of sentences, fringe cases emerge, causing some of them to count as members of multiple domains. Consequently, some sentences end up being both true and false in the standard domain reliant pluralist frameworks, thus conflicting with both standard laws of non-contradiction and identity. Finally, I argue that truth pluralists should pay closer attention to the hitherto neglected question of inherent natural language ambiguity. (shrink)

Supervaluationism is often described as the most popular semantic treatment of indeterminacy. There’s little consensus, however, about how to fill out the bare-bones idea to include a characterization of logical consequence. The paper explores one methodology for choosing between the logics: pick a logic thatnorms beliefas classical consequence is standardly thought to do. The main focus of the paper considers a variant of standard supervaluational, on which we can characterizedegrees of determinacy. It applies the methodology above to focus ondegree (...) logic. This is developed first in a basic, single-premise case; and then extended to the multipremise case, and to allowdegreesof consequence. The metatheoretic properties of degree logic are set out. On the positive side, the logic is supraclassical—all classical valid sequents are degree logic valid. Strikingly, metarules such as cut and conjunction introduction fail. (shrink)

There seems to be a minimal core that every theory wishing to accommodate the intuition that the future is open must contain: a denial of physical determinism (i.e. the thesis that what future states the universe will be in is implied by what states it has been in), and a denial of strong fatalism (i.e. the thesis that, at every time, what will subsequently be the case is metaphysically necessary).1 Those two requirements are often associated with the idea of an (...) objective temporal flow and the non-reality of the future. However, at least certain ways to frame the “openness” intuition do not rely on any of these. Branching Time Theory (BTT) is one such: it is compatible with the denial that time flow is objective and it is couched in a language with a (prima facie) commitment to an eternalist ontology. BTT, though, urges us to resist certain intuitions about the determinacy of future claims, which arguably do not lead either to physical determinism or to fatalism. Against BTT, supporters of the Thin Red Line Theory (TRL) argue that their position avoids determinism and fatalism, while also representing the fact that there is a future which is “special” because it is the one that will be the case. But starting with Belnap and Green 1994, some have objected to the tenability of TRL, mainly on metaphysical grounds. In particular, those argue that “positing a thin red line amounts to giving up objective indeterminism,”2 and that “has unacceptable consequences, ranging from a mistreatment of actuality to an inability to talk coherently about what would have happened had what is going to happen not taken place.”3 In this paper, we wish to reframe the.. (shrink)

How does vagueness interact with metaphysical modality and with restrictions of it, such as nomological modality? In particular, how do definiteness, necessity (understood as restricted in some way or not), and actuality interact? This paper proposes a model-theoretic framework for investigating the logic and semantics of that interaction. The framework is put forward in an ecumenical spirit: it is intended to be applicable to all theories of vagueness that express vagueness using a definiteness (or: determinacy) operator. We will show (...) how epistemicists, supervaluationists, and theorists of metaphysical vagueness like Barnes and Williams (2010) can interpret the framework.  We will also present a complete axiomatization of the logic we recommend to both epistemicists and local supervaluationists. . (shrink)

Orthodoxy holds that there is a determinate fact of the matter about every arithmetical claim. Little argument has been supplied in favour of orthodoxy, and work of Field, Warren and Waxman, and others suggests that the presumption in its favour is unjustified. This paper supports orthodoxy by establishing the determinacy of arithmetic in a well-motivated modal plural logic. Recasting this result in higher-order logic reveals that even the nominalist who thinks that there are only finitely many things should think (...) that there is some sense in which arithmetic is true and determinate. (shrink)

Kraut and other neo-Aristotelians have argued that there is no such thing as absolute goodness. They admit only good in a kind, e.g. a good sculptor, and good for something, e.g. good for fish. What is the view of Aristotle? Mostly limiting myself to the Nicomachean Ethics, I argue that Aristotle is committed to things being absolutely good and also to a metaphysics of absolute goodness where there is a maximally best good that is the cause of the goodness of (...) all other things in virtue of being their end. I begin by suggesting that the notion of good as an end, which is present in the first lines of the NE, is not obviously accounted for by good in a kind or good for something. I then give evidence that good in a kind and good for something can explain neither certain distinctions drawn between virtues nor the determinacy ascribed to what is good “in itself.” I argue contra Gotthelf that because several important arguments in the Nicomachean Ethics rely on comparative judgments of absolute value—e.g. “Man is the best of all animals”—Aristotle is committed to the existence of both absolute goodness and an absolutely best being. I focus on one passage, Aristotle’s division of goods in NE I 12, which presupposes this metaphysical picture. (shrink)

We give a complete axiomatization of the identities of the basic game algebra valid with respect to the abstract game board semantics. We also show that the additional conditions of termination and determinacy of game boards do not introduce new valid identities.En route we introduce a simple translation of game terms into plain modal logic and thus translate, while preserving validity both ways, game identities into modal formulae.The completeness proof is based on reduction of game terms to a certain (...) ‘minimal canonical form’, by using only the axiomatic identities, and on showing that the equivalence of two minimal canonical terms can be established from these identities. (shrink)

Williamson’s anti-luminosity argument has been thought to be in tension with the doctrine that we enjoy privileged epistemic access to our own mental states. In this paper, I will argue that the tension is only apparent. Friends of privileged access who accept the conclusion of the argument need not give up the claim that our beliefs about our own mental states are mostly or invariably right, nor the view that mental states are epistemically available to us in a way that (...) renders everything within our mind ‘open to view’ – arguably, two main pillars of their doctrine. What they need to reject is the idea that the mental is a realm whose ’determinacy’ or ’fineness of grain’ never escapes our appreciation. This idea – I will suggest – is not essential to privileged access and defenders of the doctrine should not be afraid to give it up. (shrink)

The present paper focuses on the work of Adolphe Quetelet (1796-1874), the Belgian author of the Social Physics who worked in the tradition of the French mathématique sociale, and of Otto Neurath (1882-1945), the Vienna Circle’s member who supported a “sociology within physicalism”. They shared some important philosophical and methodological positions: an empiricist approach to the social sciences, a unitary conception of the natural and the social sciences, and the appreciation of statistics as a tool for investigating and also reforming (...) society. My paper analyses these elements of continuity between the two authors, in order to highlight how an empirical-quantitative approach to society was (at least partially) inherited by Austrian sociology from an earlier French tradition. On the contrary, most German statisticians refused such an approach at the time in which social sciences were developing in Germany, and they strongly believed in an in-principle difference between natural and social sciences. From a systematic point of view, my paper devotes a special attention to the relationship between the application of statistics (praxis) and a unitary conception of the sciences (theory). Both in Quetelet’s and in Neurath’s work these two aspects support each other. Nevertheless Neurath can be said to have turned Quetelet’s reasoning upside-down: While Quetelet appealed to statistics to claim that the social sciences can reach the same objectivity and determinacy as the natural ones, Neurath referred to statistics to argue that the natural sciences – exactly like the social ones – are characterized by a certain degree of indeterminacy and underdetermination. (shrink)

This thesis is about the metaphysics of logic. I argue against a view I refer to as ‘logical realism’. This is the view that the logical constants represent a particular kind of metaphysical structure, which I dub ‘logico-metaphysical structure’. I argue instead for a more metaphysically lightweight view of logic which I dub ‘logical expressivism’. -/- In the first part of this thesis (Chapters I and II) I argue against a number of arguments that Theodore Sider has given for logical (...) realism. In Chapter I, I present an argument of his to the effect that logico-metaphysical structure provides the only good explanation of the semantic determinacy of the logical constants. I argue that other explanations are possible. In Chapter II, I present another argument of his to the effect that logico-metaphysical structure is something that comes along with ontological realism: the view that there is a non-language-relative fact of the matter about what exists. I argue that the connection between logical and ontological realism is not as close as Sider makes it out to be. -/- In the second part of this thesis (Chapters III – V) I set out a positive view of the logical constants that can explain both why their meanings are semantically determinate, and why they form part of our vocabulary. On that view, the primary bearers of logical structure are propositional attitudes, and the logical constants are in our language as vehicles for the expression of logically complex propositional attitudes. In Chapter III, I set out an expressivist theory of propositional logic. In Chapter IV, I use this theory to explain how the logical connectives end up having determinate meanings. In Chapter V, I extend the expressivist theory to predicate logic. (shrink)

From Kant’s point of view, the puzzle about judgments of taste is that they claim to normativity—in Kant’s terms, to intersubjective validity or communicability—but nevertheless have only a subjective basis or “determining ground (Bestimmungsgrund).” The task of §9 of the Critique of Judgment in particular is to delineate an account of aesthetic response that accommodates Kant’s solution to this puzzle. If the aesthetic pleasure “precedes” the judgment—in other words, if the judgment is about the pleasure—then the judgment of taste would (...) be merely private, like other judgments about things that cause us pleasure. So the judgment must precede the pleasure. But “nothing… can be universally communicated except cognition, and representation so far as it belongs to cognition. (V:217) Therefore, the determining ground of the judgment of taste must be “the mental state encountered in the relation of the mental powers of representation to each other insofar as they relate a given cognition to cognition in general.” (V:217) A bit later, he calls this state of mind a “feeling of the free play of the powers of representation in a given representation for a given representation for a cognition in general.” The appeal to ‘cognition in general’ can do what Kant needs it to do only if it conveys the normativity of cognition simpliciter but not its conceptual determinacy. I want to propose that we take ‘cognition in general’ to mean ‘integration into a unified system of empirical cognition.’ If I am successful, it will have the consequence that the basis for the normativity of taste— that is, the expectation that others ought to agree with our judgments-- is the same as the basis for the normativity of cognitive judgments. (shrink)

There are well-known quasi-formal arguments that identity is a "strict" relation in at least the following three senses: (1) There is a single identity relation and a single distinctness relation; (2) There are no contingent cases of identity or distinctness; and (3) There are no vague or indeterminate cases of identity or distinctness. However, the situation is less clear cut than it at first may appear. There is a natural formal theory of identity that is very close to the standard (...) classical theory but which does not validate the formal analogues of (1)-(3). The core idea is simple: We weaken the Principle of the Indiscernibility of Identicals from a conditional to an entailment and we adopt a weakly classical logic. This paper investigates this weakly classical theory of identity (and related theories) and discusses its philosophical ramifications. It argues that we can accept a reasonable theory of identity without committing ourselves to the uniqueness, necessity, or determinacy of identity. (shrink)

This essay provides a novel account of iterated epistemic states. The essay argues that states of epistemic determinacy might be secured by countenancing iterated epistemic states on the model of fixed points in the modal $\mu$-calculus. Despite the epistemic indeterminacy witnessed by the invalidation of modal axiom 4 in the sorites paradox -- i.e. the KK principle: $\square$$\phi$ $\rightarrow$ $\square$$\square$$\phi$ -- a hyperintensional epistemic $\mu$-automaton permits fixed points to entrain a principled means by which to iterate epistemic states and (...) account thereby for necessary conditions on self-knowledge. The hyperintensional epistemic $\mu$-calculus is applied to the iteration of the epistemic states of a single agent instead of the common knowledge of a group of agents, and is thus a novel contribution to the literature. (shrink)

Heidegger’s ontologische Differenz imposes methodological limits which strictly mark his philosophy for rigor and determinacy. If it is not possible to think Being from the categories of the entity, it is also true that the difference is a tank of possibilities and developments to which Heidegger himself hints at. From the accuracy of the early works to the overturning of the problem in the later works, the ontological difference is a constant of Heideggerian thought. This paper seeks to push (...) Existenz from a mode of being of Dasein to a mode of giving of Seiende. In accordance with his late writings, bringing the question of the Being­-existence bond towards the perspective of the entity – and not only the entity among entities that poses the question –, the development of the problem in Heidegger’s meditation is analysed through the questions of ontological difference – the mode of negation, the between of distinction, the specific situatedness that defines experience, the Being, as a member of ontological difference, in its connection to the Nichts, the Event as a relaxation of the connection between Sein and Seiende. The entity that is exist­ent is the convergence point of the Event where Being and existent, Being and existence, are not in contrast, but protrude (ragen) towards each other revealing the traits of a Seyende des Seyns, of the entity of Being. (shrink)

Natural properties are those that carve reality at the joints. The notion of carving reality at the joints, however, is somewhat obscure, and is often understood in terms of making for similarity, conferring causal powers, or figuring in the laws of nature. I develop and assess an account of the third sort according to which carving reality at the joints is understood as having the right level of determinacy relative to nomic roles. The account has the attraction of involving (...) very weak metaphysical presuppositions, but fails to capture several features that natural properties are presumed to have. (shrink)

In her landmark book, Language, Thought, and Other Biological Categories (Millikan1984),1 Ruth Garrett Millikan utilizes the idea of a biological function to solve philosophical problems associated with the phenomena of language, thought, and meaning. Language and thought are activities of biological organisms, according to Millikan, and we should treat them as such when trying to answer related philosophical questions. Of special interest is Millikan’s treatment of intentionality. Here Millikan employs the notion of a biological function to explain what it is (...) for one thing in nature, a bee dance (43), for example, to be about another, in this case, the location of a nectar source. My concern in this paper is to understand whether Millikan’s account of intentionality adequately explains how humans achieve reference, in language or thought, to individuals and groups in their environment. In bringing her theory of intentional content to bear on human activities, Millikan focuses largely on natural language. Thus, in what follows, I begin by laying out the biology-based principles that underlie Millikan’s theory of content, then proceed with an explanation of how the theory is to apply to natural language. As it appears, Millikan’s account of how content is determined for natural language terms and sentences rests on the determinacy of intentional content at the psychological level. This leads me to take a careful look at what Millikan says about the content of mental representations, in hopes of finding a sufficient basis there for the application of Millikan’s theory of content to natural language. Ultimately, I conclude that Millikan’s theory faces a problem of vacuity. If we approach the theory as a theory of intentional content, intended to explain the nature of reference, the theory is lacking in an extremely important respect: Millikan explains how it could be one of the biological functions of a mental or natural language term to refer, without telling us precisely what in the natural order constitutes the reference relation.. (shrink)

Since 1976 Hilary Putnam has on many occasions proposed an argument, founded on some model-theoretic results, to the effect that any philosophical programme whose purpose is to naturalize semantics would fail to account for an important feature of every natural language, the determinacy of reference. Here, after having presented the argument, I will suggest that it does not work, because it simply assumes what it should prove, that is that we cannot extend the metatheory: Putnam appears to think that (...) all we may determinately say about the relations between words and entities in the world is what the model theory tells us, but he has never offered justifications for that. At the end of the article, I will discuss the apparently reliable intuition that seems to me to be at the root of the argument, that is that, given a formal theory, there is an infinite number of ways of connecting it to, or of projecting it onto, the world. I will suggest that we should resist this intuition, because it rests on a very doubtful notion of world, which assumes that for any class of objects there is a corresponding property. (shrink)

This dissertation explores several illuminating points of intersection between the philosophy of perception and the philosophy of vagueness. Among other things, I argue: (i) that it is entirely unhelpful to theorize about perception or consciousness using Nagelian "what it's like" talk; (ii) that a popular recent account of perceptual phenomenology (representationalism) conflicts with our best theory of vagueness (supervaluationism); (iii) that there are no vague properties, for Evans-esque reasons; (iv) that it is impossible to insert "determinacy" operators into representationalism (...) in a truth-preserving manner; and (v) that strong versions of dualism are unable to accommodate the possibility of borderline consciousness. (shrink)

Utilizing Maurice Merleau-Ponty’s work, I argue that the gestaltian framework’s co-determinacy of the theme and the horizon in seeing and experiencing the world serves as an encompassing epistemological framework with which to understand racism. Conclusions reached: as bias is unavoidably part of being in the world, defining racism as bias is superfluous; racism is sedimented into our very perceptions and experiences of the world and not solely a prejudice of thought; neutral perception of skin color is impossible. Phenomenology accounts (...) for the dynamic changes in expressions of racism and the interconnections of both race and sex for women of color. (shrink)

The thesis that existence is radically different from the determinacy of an actually existing thing –Kant considers this thesis to be the unsurmountable objection against the cosmological and the ontological argument– is the same thesis that demands a specific explanation of the existence of that actually existing thing. The notion of existence that results from its complete exclusion from the realm of the contents thoroughgoing determined by real predicates requires, thus, precisely because this thoroughness excludes it, a specific reason (...) that explains that in the actually existing thing its own actual existence is in fact united with its own determinacy; that notion of existence, however, cancels at the same time the requirement of a sufficient reason of the existence of what actually exists, and again for the same reason, namely, because since existence is as such excluded from the determinacy of the existing things, it radically differs from the specific realm where determinacy is constituted (that is why existing things are thoroughgoing determined as possible), and, therefore, it invalidates any application to itself of the logical laws that are valid only for the merely possible domain of determinacy. (shrink)

To account for the explanatory role representations play in cognitive science, Egan’s deflationary account introduces a distinction between cognitive and mathematical contents. According to that account, only the latter are genuine explanatory posits of cognitive-scientific theories, as they represent the arguments and values cognitive devices need to represent to compute. Here, I argue that the deflationary account suffers from two important problems, whose roots trace back to the introduction of mathematical contents. First, I will argue that mathematical contents do not (...) satisfy important and widely accepted desiderata all theories of content are called to satisfy, such as content determinacy and naturalism. Secondly, I will claim that there are cases in which mathematical contents cannot play the explanatory role the deflationary account claims they play, proposing an empirical counterexample. Lastly, I will conclude the paper highlighting two important implications of my arguments, concerning recent theoretical proposals to naturalize representations via physical computation, and the popular predictive processing theory of cognition. (shrink)

Possibility semantics offers an elegant framework for a semantic analysis of modal logic that does not recruit fully determinate entities such as possible worlds. The present papers considers the application of possibility semantics to the modeling of the indeterminacy of the future. Interesting theoretical problems arise in connection to the addition of object-language determinacy operator. We argue that adding a two-dimensional layer to possibility semantics can help solve these problems. The resulting system assigns to the two-dimensional determinacy operator (...) a well-known logic (coinciding with the logic of universal modalities under global consequence). The paper concludes with some preliminary inroads into the question of how to distinguish two-dimensional possibility semantics from the more established branching framework. (shrink)

I demonstrate that Deleuze's identification of Aion as an empty form offers a fascinating model of temporality that prioritises variation. First, I suggest that Deleuze's identification of time as an empty form is supported by ancient Greek and Gnostic concepts of the relation of Aion and Chronos. From Plato, through Aristotle, to Plotinus the concept of time undergoes substantive revision, in the sense that temporal measurement becomes removed from the measurement of existent entities. This gradual untethering of time from movement (...) gives rise to the development of the concept of eternity as an ontologically comprehensive mode of time that is devoid of content. It is here, with Deleuze's reading of the Platonic cosmology, that we see the first hints of the suggestion that Aion is involved with ontogenesis. Eternity is characterised as: a temporal ‘all’ that is non-reducible to the determinacy implied by any particular temporally localised existent or temporal series ; that which tends towards a diversity of possible states of affairs. Perhaps one of the most interesting aspects in the long history of Aion is that – in the ancient world – it was used in magical incantations. For the Gnostics and Oracles, Aion was a deity, and a potent one at that. From the Gnostic papyri, we get a vision of Aion as a force which enjoys eternal realisation. I suggest that the papyri conjure an image of Aion as a deity that is liberated from time, in the sense that it enjoys a neutrality with respect to the movements of any particular entity or group of entities – a form, in the most general sense of the term. Then, to clarify this mercurial aspect of an empty form of time, I elaborate on a complex analogy between Aion and Deleuze's concept of an ‘ideal game’ – an analogy that Deleuze specifies through reference to Fitzgerald and Borges. The claim is that Aion is an analogue of an ideal game in the sense that both share essential properties. Both Aion and the ideal game involve the multiplication of chance. Finally, I suggest that the differential aspects of Aion imply that it is pure variability; something which can be illustrated through a differential equation. These yield the suggestion that Aion enjoys realisation as an ontogenetic force. I further claim that ontogenetic forces may enjoy expression as the content of literature and mathematics. In concrete terms, temporality is involved in the creation of existent entities, which may be illustrated as various types of continuous multiplicity. (shrink)

Introduction to mathematical logic. Part 2.Textbook for students in mathematical logic and foundations of mathematics. Platonism, Intuition, Formalism. Axiomatic set theory. Around the Continuum Problem. Axiom of Determinacy. Large Cardinal Axioms. Ackermann's Set Theory. First order arithmetic. Hilbert's 10th problem. Incompleteness theorems. Consequences. Connected results: double incompleteness theorem, unsolvability of reasoning, theorem on the size of proofs, diophantine incompleteness, Loeb's theorem, consistent universal statements are provable, Berry's paradox, incompleteness and Chaitin's theorem. Around Ramsey's theorem.

Evan Thompson and Francisco Varela ground the affectively, valuatively felt contingency of intentional acts of other-relatedness in what they presume to be a primordial neutral point of pre-reflective conscious auto-affective awareness. Through meditative practice, we can access this pre-reflective state , and avail ourselves of ‘unconditionally intrinsic goodness', 'spontaneous compassion', 'luminosity', 'blissfulness', and ' a calm and peaceful life guided by the fundamental value of nonviolence'. But how do such feelings emerge as ultimate outcomes of a philosophy of groundlessness? Aren't (...) they motivated by a sort of 'will to goodness', a preferencing of one affective dimension over others? It would seem that groundlessness for Varela and Thompson doesn't apply to the thinking of affect and desire. Despite their claim that nihilism cannot be overcome by assimilating groundlessness to a notion of the will, they appear not to recognize that the positive affectivities they associate with meditative practice are, as dispositions of feeling opposed to other dispositions, themselves forms of willing. Phenomenologists like Husserl and Merleau-Ponty show that attention, as a species of intention, is sense-making, which means it is sense-changing. Attention is affectively, valuatively and meaningfully implicated in what it attends to as co-participant in the synthesis, creation, constitution of objects of regard. As auto-affection turns reflexively back toward itself, what it finds is not the normative sameness and constancy of a neutral positivity( blissful, self-less compassion and benevolence toward all phenomena) but a newly sensing being. Thus, the basis of our awareness of a world isn’t simply compassionate, empathic relational co-determinacy, but the motivated experience of disturbing CHANGE in relational co-determinacy. (shrink)

Vague expressions are omnipresent in natural language. As such, their use in legal texts is virtually inevitable. If a law contains vague terms, the question whether it applies to a particular case often lacks a clear answer. One of the fundamental pillars of the rule of law is legal certainty. The determinacy of the law enables people to use it as a guide and places judges in the position to decide impartially. Vagueness poses a threat to these ideals. In (...) borderline cases, the law seems to be indeterminate and thus incapable of serving its core rule of law value. -/- In the philosophy of language, vagueness has become one of the hottest topics of the last two decades. Linguists and philosophers have investigated what distinguishes "soritical " vagueness from other kinds of linguistic indeterminacy, such as ambiguity, generality, open texture, and family resemblance concepts. There is a vast literature that discusses the logical, semantic, pragmatic, and epistemic aspects of these phenomena. Legal theory has hitherto paid little attention to the differences between the various kinds of linguistic indeterminacy that are grouped under the heading of "vagueness ", let alone to the various theories that try to account for these phenomena. -/- Bringing together leading scholars working on the topic of vagueness in philosophy and in law, this book fosters a dialogue between philosophers and legal scholars by examining how philosophers conceive vagueness in law from their theoretical perspective and how legal theorists make use of philosophical theories of vagueness. The chapters of the book are organized into three parts. The first part addresses the import of different theories of vagueness for the law, referring to a wide range of theories from supervaluationist to contextualist and semantic realist accounts in order to address the question of whether the law can learn from engaging with philosophical discussions of vagueness. The second part of the book examines different vagueness phenomena. The contributions in part 2 suggest that the greater awareness to different vagueness phenomena can make lawyers aware of specific issues and solutions so far overlooked. The third part deals with the pragmatic aspects of vagueness in law, providing answers to the question of how to deal with vagueness in law and with the professional, political, moral, and ethical issues such vagueness gives rise to. (shrink)

In general, visual experiences represent determinately. And visual experiences, generally, represent properties of distal objects like their colour, shape, and size, but they do not, generally, represent properties of proximal states like that of incoming light or the retina. By making perceptual constancies central to perceptual representation, Peter Schulte extends Karen Neander’s Causal-Informational Teleosemantic theory in order to accommodate these facts. However, by appealing to the psychophysics and chemistry of how light-related properties interact to produce stimulation to the visual system (...) and how the visual system processes such input to produce experiences, I argue that Schulte’s theory fails to accommodate the facts of distality and determinacy. (shrink)

Our ascriptions of content to utterances in the past attribute to them a level of determinacy that extends beyond what could supervene upon the usage up to the time of those utterances. If one accepts the truth of such ascriptions, one can either (1) argue that subsequent use must be added to the supervenience base that determines the meaning of a term at a time, or (2) argue that such cases show that meaning does not supervene upon use at (...) all. The following will argue against authors such as Lance, Hawthorn and Ebbs that first of these options is the more promising of the two. However, maintaining the supervenience thesis ultimately requires understanding the relation between use and meaning as 'normative' in two important ways. The first (more familiar) way is that the function from use to meaning must be of a sort that allows us to maintain a robust distinction between correct usage and actual usage. This first type of normativity is accepted by defenders of many more temporally restricted versions of the supervenience thesis, but the second sort of normativity is unique to theories that extend the supervenience base into the future. In particular, if meaning is partially a function of future use, we can understand other commitments we are often taken to have about meaning, particularly the commitment to meaning being 'determinate', as practical commitments that structure our linguistic practices rather than theoretical commitment that merely describe such practices. (shrink)

In “Proof-Theoretic Justification of Logic”, building on work by Dummett and Prawitz, I show how to construct use-based meaning-theories for the logical constants. The assertability-conditional meaning-theory takes the meaning of the logical constants to be given by their introduction rules; the consequence-conditional meaning-theory takes the meaning of the logical constants to be given by their elimination rules. I then consider the question: given a set of introduction rules \, what are the strongest elimination rules that are validated by an assertability (...) conditional meaning-theory based on \? I prove that the intuitionistic introduction rules are the strongest rules that are validated by the intuitionistic elimination rules. I then prove that intuitionistic logic is the strongest logic that can be given either an assertability-conditional or consequence-conditional meaning-theory. In “Grounding Grounding” I discuss the notion of grounding. My discussion revolves around the problem of iterated grounding-claims. Suppose that \ grounds \; what grounds that \ grounds that \? I argue that unless we can get a satisfactory answer to this question the notion of grounding will be useless. I discuss and reject some proposed accounts of iterated grounding claims. I then develop a new way of expressing grounding, propose an account of iterated grounding-claims and show how we can develop logics for grounding. In “Is the Vagueness Argument Valid?” I argue that the Vagueness Argument in favor of unrestricted composition isn’t valid. However, if the premisses of the argument are true and the conclusion false, mereological facts fail to supervene on non-mereological facts. I argue that this failure of supervenience is an artifact of the interplay between the necessity and determinacy operators and that it does not mean that mereological facts fail to depend on non-mereological facts. I sketch a deflationary view of ontology to establish this. (shrink)

The aim of this paper is to argue that the phenomenal similarity between perceiving and visualizing can be explained by the similarity between the structure of the content of these two different mental states. And this puts important constraints on how we should think about perceptual content and the content of mental imagery.

The paper presents an inferential model of explicit communication based on the speaker’s interests and the addressee’s beliefs. After the introduction, the paper sets out some notions concerning explicit communication within the frameworks of truth-conditional pragmatics and relevance theory. The third section describes the phenomenon of semantic underdeterminacy, and the fourth section introduces non-demonstrative inferences in communication. The fifth section presents the model. The main notions involved are the speaker’s intended meaning and the addressee’s intended meaning. The former notion is (...) centered on the speaker’s interest in situation: a speaker intends the meaning of an utterance on the basis of a partial order of preference with respect to a set of contextually plausible meanings. The latter notion is centered on the addressee’s communicative inference, which is based on the addressee’s belief about the speaker’s interest. The paper takes the notion of interest from cognitive social theory, the notion of meaning from semantics, and the notion of explicit meaning from pragmatics; and it uses the notion of communicative inference for explicit meaning in partial accordance with relevance theory. In the sixth section, the paper argues in favor of the inferential approach compared with the associative approach in determination of “what is said.” The paper’s method is conceptual analysis of declarative utterances used in communicative situations. The main finding of the paper has been to show that, in contextual underdeterminacy cases, speaker’s interest is a determining factor in communicative processes. Keywords: states of affairs; truth-conditions; semantic underdeterminacy; contextual underdeterminacy; speaker’s interest; goal-conditions; speaker’s intended meaning; addressee’s belief; communicative inference; addressee’s intended meaning; shared intended meaning; explicit communication. (shrink)

In this paper, I argue that one of the arguments usually put forward in defence of universism is in tension with current set theoretic practice. According to universism, there is only one set theoretic universe, V, and when applying the method of forcing we are not producing new universes, but only simulating them inside V. Since the usual interpretation of set generic forcing is used to produce a “simulation” of an extension of V from a countable set inside V itself, (...) the above argument is credited to be a strong defence of universism. However, I claim, such an argument does not take into account current mathematical practice. Indeed, it is possible to find theorems that are available to the multiversists but that the advocate of universism cannot prove. For example, it is possible to prove results on infinite games in non-well-founded set-theories plus the axiom of determinacy (such as ZF + AFA + PD) that are not available in ZFC + PD. These results, I contend, are philosophically problematic on a strict universist approach to forcing. I suggest that the best way to avoid the difficulty is to adopt a pluralist conception of set theory and embrace a set theoretic multiverse. Consequently, the current practice of set generic forcing better supports a multiverse conception of set theory. (shrink)

Most work on the semantic paradoxes within classical logic has centered around what this essay calls “linguistic” accounts of the paradoxes: they attribute to sentences or utterances of sentences some property that is supposed to explain their paradoxical or nonparadoxical status. “No proposition” views are paradigm examples of linguistic theories, although practically all accounts of the paradoxes subscribe to some kind of linguistic theory. This essay shows that linguistic accounts of the paradoxes endorsing classical logic are subject to a particularly (...) acute form of the revenge paradox: that there is no exhaustive classification of sentences into “good” and “bad” such that the T-schema holds when restricted to the “good” sentences unless it is also possible to prove some “bad” sentences. The foundations for an alternative classical nonlinguistic approach is outlined that is not subject to the same kinds of problems. Although revenge paradoxes of different strengths can be formulated, they are found to be indeterminate at higher orders and not inconsistent. (shrink)

The uniqueness of each standpoint, each point of effect, can only be "overcome" by the standpoint changing to other standpoints and returning. In such alternation, which can also appear as constant change, lies the unity of the world. The wholeness of an alternation, however, is a structure of consciousness due to the special relationship between the circumscribing periphery and the infinitesimal center. This process structure unites determinacy and indeterminacy also totally in every place. Therefore, everywhere we are dealing with (...) forms of consciousness with more or less freedom of choice and an increasingly unknown depth. We live in a world of choosing consciousness, or rather awareness. In this respect, our environment expresses a deep truth about ourselves. (shrink)

This paper seeks to show that Charles Sanders Peirce's interest in an evolutionary account of the laws of nature is motivated both by his desire to extend the scope of the application of the Principle of Sufficient Reason (PSR) and by his attempt to explain the success of our deployment of the PSR, which presupposes the existence of determinate causal structures. One can situate Peirce's concern with the explanation of the laws of nature in relation to the influences of Naturphilosophie (...) on Peirce. I then show that some strands of contemporary physics can be understood as resurrections of Peirce's evolutionary cosmology. I show that we can understand Lee Smolin's theory of "cosmological natural selection" as a version of Peirce's evolutionary cosmology that is characterized by greater refinement and determinacy. However I argue that, contrary to Smolin's claim, an evolutionary account of the laws of nature need not require the abandonment of the relativity of simultaneity as established by the special theory of relativity. I also argue that Lee Smolin and Roberto Unger's characterization of the "original state" in their account of evolutionary cosmology raises philosophical problems of individuation that are best approached from the perspective of Chinese process metaphysics. Finally I turn to the wider consequences of evolutionary cosmology in relation to how we traditionally "rank" fields of knowledge that deal with atemporal structures as "more rigorous" than fields that deal with historical phenomena. (shrink)

This research examines the issue of linguistic interpretation of normative texts as a special type of language translation. For this purpose, in the first place, we will support the view that the legal language, and in particular the language in which regulations are expressed has an independent nature. It will be presented as different from the daily language of society, and lawyers as a kind of mediator between both of these diverse, albeit close, languages. After this, legal consultation will be (...) explored by applying W. V. Quine’s theory about under determinacy of translation, and a solution will be sought in cases when this linguistic interpretation would not be sufficient to reach a definite end result. The view that legal interpretation can serve as a stand-alone means of achieving sound legal knowledge will be supported as a means of resolving these cases. (shrink)

In his work on the open future, Patrick Todd outlines three models of how to deal with future contingents. These models must answer two questions: one metaphysical, about what facts there are in the world; one semantic, about how to deal with sentences involving ‘will.’ Model 1 has a privileged timeline. Model 2 has an actual future timeline but leaves it indeterminate which timeline that is. Model 3 has no future timeline. All three give will-sentences a modal treatement, as a (...) box over available futures. I will argue that Todd’s second model has problems and should be improved. The first is that it denies what Todd labels as the basic metaphysical intuition behind open-futurism. The second is that indeterminacy about the facts that characterize the actual timeline breaks through into indeterminate identity. I propose a fix to model 2 eliminating its actual future and resolving an issue that arises in applying the neutral semantics Todd endorses to indeterminate sentences. This improved model, I suggest, may even compare favorably to Todd’s preferred model 3. (shrink)

While non-classical theories of truth that take truth to be transparent have some obvious advantages over any classical theory that evidently must take it as non-transparent, several authors have recently argued that there's also a big disadvantage of non-classical theories as compared to their “external” classical counterparts: proof-theoretic strength. While conceding the relevance of this, the paper argues that there is a natural way to beef up extant internal theories so as to remove their proof-theoretic disadvantage. It is suggested that (...) the resulting internal theories should seem preferable to their external counterparts. (shrink)