Abstract: The paper provides a general account of value relations. It takes its departure in a special type of value relation, parity, which according to Ruth Chang is a form of evaluative comparability that differs from the three standard forms of comparability: betterness, worseness and equal goodness. Recently, Joshua Gert has suggested that the notion of parity can be accounted for if value comparisons are interpreted as normative assessments of preference. While Gert's basic idea is attractive, the way he develops (...) it is flawed: His modeling of values by intervals of permissible preference strengths is inadequate. Instead, I provide an alternative modeling in terms of intersections of rationally permissible preference orderings. This yields a general taxonomy of all binary value relations. The paper concludes with some implications of this approach for rational choice. (shrink)

This article introduces, studies, and applies a new system of logic which is called ‘HYPE’. In HYPE, formulas are evaluated at states that may exhibit truth value gaps and truth value gluts. Simple and natural semantic rules for negation and the conditional operator are formulated based on an incompatibility relation and a partial fusion operation on states. The semantics is worked out in formal and philosophical detail, and a sound and complete axiomatization is provided both for the propositional and the (...) predicate logic of the system. The propositional logic of HYPE is shown to contain first-degree entailment, to have the Finite Model Property, to be decidable, to have the Disjunction Property, and to extend intuitionistic propositional logic conservatively when intuitionistic negation is defined appropriately by HYPE’s logical connectives. Furthermore, HYPE’s first-order logic is a conservative extension of intuitionistic logic with the Constant Domain Axiom, when intuitionistic negation is again defined appropriately. The system allows for simple model constructions and intuitive Euler-Venn-like diagrams, and its logical structure matches structures well-known from ordinary mathematics, such as from optimization theory, combinatorics, and graph theory. HYPE may also be used as a general logical framework in which different systems of logic can be studied, compared, and combined. In particular, HYPE is found to relate in interesting ways to classical logic and various systems of relevance and paraconsistent logic, many-valued logic, and truthmaker semantics. On the philosophical side, if used as a logic for theories of type-free truth, HYPE is shown to address semantic paradoxes such as the Liar Paradox by extending non-classical fixed-point interpretations of truth by a conditional as well-behaved as that of intuitionistic logic. Finally, HYPE may be used as a background system for modal operators that create hyperintensional contexts, though the details of this application need to be left to follow-up work. (shrink)

In this paper, representational structures of arithmetical thinking, encoded in human minds, are described. On the basis of empirical research, it is possible to distinguish four types of mental number lines: the shortest mental number line, summation mental number lines, point-place mental number lines and mental lines of exact numbers. These structures may be treated as generative mechanisms of forming arithmetical representations underlying our numerical acts of reference towards cardinalities, ordinals and magnitudes. In the paper, the theoretical framework for a (...) formal model of mental arithmetical representations is constructed. Many competitive conceptions of the mental system responsible for our arithmetical thinking may be unified within the presented framework. The paradigm underlying our research may be interpreted philosophically as a neo-Kantian approach to modeling the mind’s representational structures. (shrink)

The paper presents a formal model of the system of number representations as a multiplicity of mental number axes with a hierarchical structure. The hierarchy is determined by the mind as it acquires successive types of mental number axes generated by virtue of some algebraic mechanisms. Three types of algebraic structures, responsible for functioning these mechanisms, are distinguished: BASAN-structures, CASAN-structures and CAPPAN-structures. A foundational order holds between these structures. CAPPAN-structures are derivative from CASAN-structures which are extensions of BASAN-structures. The constructed (...) formal model unifies two competitive conceptions of cognitive arithmetic: namely, the conception of the mental number line and the conception of parallel individuation. The paper is the continuation of a paper entitled Representational structures of arithmetical thinking, in which rich empirical evidence supporting the model is presented. The main result achieved in the present paper may be philosophically interpreted as an attempt to formalize the Kantian conception of the pure idea of time, understood as the a priori form of human arithmetical thinking. In this way, our theory may be comprehended as a result of applying the hard method of logical reconstruction of fundamental epistemological categories. (shrink)

(No abstract is available for this citation).

Ruth Chang has argued for the existence of a fourth positive value relation, distinct from betterness, worseness and equality, which she calls “parity.” In an earlier article I seemed to criticize Chang's suggestion by offering an interval model for the values of items that I claimed could accommodate all the phenomena characteristic of parity. Wlodek Rabinowicz, offering his own model of value relations, endorsed one central feature of my proposal: the need to distinguish permissible preferences from required ones. But he, (...) along with Chang, correctly pointed out that my own model suffered from serious formal problems. The present article offers an improved interval model, but the main point is not the model itself. Rather, it is the derivation of the model from a response-dependent account of practical rationality. This derivation helps explain why we have a concept for which Rabinowicz's model is appropriate, and therefore supplements Chang's existence arguments. My conclusion is that we can take Chang's view, Rabinowicz's and mine as providing a reinforcing set of views. (shrink)

This chapter explains the basic framework of truthmaker or 'exact' semantics, an approach to semantics that has recently received a growing amount of interest, and discusses a number of different applications within philosophy and linguistics. The idea of truthmaking is the idea of something on the side of the world ‐ a fact, perhaps, or a state of affairs ‐ verifying, or making true, something on the side of language or thought ‐ a statement, perhaps, or a proposition. The chapter (...) focuses on the ultimate truthmakers, on what in the world ultimately makes something true, and the question of how the truthmakers make the statements of our language true is of no great concern. It also focuses on the immediate truthmakers, and the question of how they make the statements of the language true will be of greatest concern. (shrink)

I provide a truthmaker semantics for Angell’s system of analytic implication and establish completeness.

Two compelling principles, the Reasonable Range Principle and the Preservation of Irrelevant Evidence Principle, are necessary conditions that any response to peer disagreements ought to abide by. The Reasonable Range Principle maintains that a resolution to a peer disagreement should not fall outside the range of views expressed by the peers in their dispute, whereas the Preservation of Irrelevant Evidence Principle maintains that a resolution strategy should be able to preserve unanimous judgments of evidential irrelevance among the peers. No standard (...) Bayesian resolution strategy satisfies the PIE Principle, however, and we give a loss aversion argument in support of PIE and against Bayes. The theory of imprecise probability allows one to satisfy both principles, and we introduce the notion of a set-based credal judgment to frame and address a range of subtle issues that arise in peer disagreements. (shrink)

We present a new “reason-based” approach to the formal representation of moral theories, drawing on recent decision-theoretic work. We show that any moral theory within a very large class can be represented in terms of two parameters: a specification of which properties of the objects of moral choice matter in any given context, and a specification of how these properties matter. Reason-based representations provide a very general taxonomy of moral theories, as differences among theories can be attributed to differences in (...) their two key parameters. We can thus formalize several distinctions, such as between consequentialist and non-consequentialist theories, between universalist and relativist theories, between agent-neutral and agent-relative theories, between monistic and pluralistic theories, between atomistic and holistic theories, and between theories with a teleological structure and those without. Reason-based representations also shed light on an important but under-appreciated phenomenon: the “underdetermination of moral theory by deontic content”. (shrink)

Two competing accounts of value incomparability have been put forward in the recent literature. According to the standard account, developed most famously by Joseph Raz, ‘incomparability’ means determinate failure of the three classic value relations ( better than , worse than , and equally good ): two value-bearers are incomparable with respect to a value V if and only if (i) it is false that x is better than y with respect to V , (ii) it is false that x (...) is worse than y with respect to V and (iii) it is false that x and y are equally good with respect to V . Most philosophers have followed Raz in adopting this account of incomparability. Recently, however, John Broome has advocated an alternative view, on which value incomparability is explained in terms of vagueness or indeterminacy . In this paper I aim to further Broome’s view in two ways. Firstly, I want to supply independent reasons for thinking that the phenomenon of value incomparability is indeed a matter of the indeterminacy inherent in our comparative predicates. Secondly, I attempt to defend Broome’s account by warding off several objections that worry him, due mainly to Erik Carlson and Ruth Chang. (shrink)

This introductory article describes the phenomena of incommensurability and incomparability, how they are related, and why they are important. Since incomparability is the more significant phenomenon, the paper takes that as its focus. It gives a detailed account of what incomparability is, investigates the relation between the incomparability of values and the incomparability of alternatives for choice, distinguishes incomparability from the related phenomena of parity, indeterminacy, and noncomparability, and, finally, defends a view about practical justification that vindicates the importance of (...) incomparability — assuming it exists — for practical reason. (shrink)

This paper begins with a response to Josh Gert’s challenge that ‘on a par with’ is not a sui generis fourth value relation beyond ‘better than’, ‘worse than’, and ‘equally good’. It then explores two further questions: can parity be modeled by an interval representation of value? And what should one rationally do when faced with items on a par? I argue that an interval representation of value is incompatible with the possibility that items are on a par (a mathematical (...) proof is given in the appendix). I also suggest that there are three senses of ‘rationally permissible’ which, once distinguished, show that parity does distinctive practical work that cannot be done by the usual trichotomy of relations or by incomparability. In this way, we have an additional argument for parity from the workings of practical reason. (shrink)

In other work I have argued that items can be on a par, where being on a par is a fourth, basic, sui generis value relation beyond the usual trichotomy of ‘better than’, ‘worse than’, and ‘equally good’. In this paper, I aim to marshal non-technical, intuitive arguments for this view. First, I try to cast doubt on the leading source of intuitive resistance to parity, the conviction that if two items are comparable, one must be better than the other, (...) worse than it, or they must be equally good. Second, I explain how parity can arise by appealing to an uncontroversial distinction between quantity and quality of value. I propose both sufficient conditions for parity and a nontechnical model of the notion. My overall aim is to bring into view a simple and intuitive picture of value – and more generally of normativity – in which parity plays a significant role. (shrink)