I propose a unified solution to two puzzles: Ross's puzzle and free choice permission. I begin with a pair of cases from the decision theory literature illustrating the phenomenon of act dependence, where what an agent ought to do depends on what she does. The notion of permissibility distilled from these cases forms the basis for my analysis of 'may' and 'ought'. This framework is then combined with a generalization of the classical semantics for disjunction — equivalent to (...) Boolean disjunction on the diagonal, but with a different two-dimensional character — that explains the puzzling facts in terms of semantic consequence. (shrink)

This paper investigates the prospects for a semantic theory that treats disjunction as a modal operator. Potential motivation for such a theory comes from the way in which modals embed within disjunctions. After reviewing some of the relevant data, I go on to distinguish a variety of modal theories of disjunction. I analyze these theories by considering pairs of conflicting desiderata, highlighting some of the tradeoffs they must face.

This paper presents a uniform semantic treatment of nonmonotonic inference operations that allow for inferences from infinite sets of premises. The semantics is formulated in terms of selection functions and is a generalization of the preferential semantics of Shoham (1987), (1988), Kraus, Lehman, and Magidor (1990) and Makinson (1989), (1993). A selection function picks out from a given set of possible states (worlds, situations, models) a subset consisting of those states that are, in some sense, the most preferred ones. (...) A proposition α is a nonmonotonic consequence of a set of propositions Γ iff α holds in all the most preferred Γ-states. In the literature on revealed preference theory, there are a number of well-known theorems concerning the representability of selection functions, satisfying certain properties, in terms of underlying preference relations. Such theorems are utilized here to give corresponding representation theorems for nonmonotonic inference operations. At the end of the paper, the connection between nonmonotonic inference and belief revision, in the sense of Alchourrón, Gärdenfors, and Makinson, is explored. In this connection, infinitary belief revision operations that allow for the revision of a theory with a possibly infinite set of propositions are introduced and characterized axiomatically. (shrink)

This paper develops a semantic solution to the puzzle of Free Choice permission. The paper begins with a battery of impossibility results showing that Free Choice is in tension with a variety of classical principles, including Disjunction Introduction and the Law of Excluded Middle. Most interestingly, Free Choice appears incompatible with a principle concerning the behavior of Free Choice under negation, Double Prohibition, which says that Mary can’t have soup or salad implies Mary can’t have (...) soup and Mary can’t have salad. Alonso-Ovalle 2006 and others have appealed to Double Prohibition to motivate pragmatic accounts of Free Choice. Aher 2012, Aloni 2018, and others have developed semantic accounts of Free Choice that also explain Double Prohibition. -/- This paper offers a new semantic analysis of Free Choice designed to handle the full range of impossibility results involved in Free Choice. The paper develops the hypothesis that Free Choice is a homogeneity effect. The claim possibly A or B is defined only when A and B are homogenous with respect to their modal status, either both possible or both impossible. Paired with a notion of entailment that is sensitive to definedness conditions, this theory validates Free Choice while retaining a wide variety of classical principles except for the transitivity of entailment. The homogeneity hypothesis is implemented in two different ways, homogeneous alternative semantics and homogeneous dynamic semantics, with interestingly different consequences. (shrink)

Montague (1970) interprets a small fragment of English through the use of two basic types of objects: individuals and propositions. My dissertation develops an alternative semantics that only uses one basic type (hence, *single-type semantics*). Such a semantics has been conjectured by Partee (2006) as a ‘minimality test’ for the Montagovian type system, which captures the lowest ontological requirements on any successful semantics for Montague’s fragment. The development of this semantics answers a number of important open questions about the salience (...) of the Montagovian type system, the robustness of semantic theories w.r.t. their basic-type choice, and the classification of these theories according to their objects’ informational strength. (shrink)

Among the possible solutions to the paradoxes of collective preferences, single-peakedness is significant because it has been associated to a suggestive conceptual interpretation: a single-peaked preference profile entails that, although individuals may disagree on which option is the best, they conceptualize the choice along a shared unique dimension, i.e. they agree on the rationale of the collective decision. In this article, we discuss the relationship between the structural property of singlepeakedness and its suggested interpretation as uni-dimensionality of a social (...) choice. In particular, we offer a formalization of the relationship between single-peakedness and its conceptual counterpart, we discuss their logical relations, and we question whether single-peakedness provides a rationale for collective choices. (shrink)

The paper explores the relativistic implications of the thesis of incommensurability. A semantic form of incommensurability due to semantic variation between theories is distinguished from a methodological form due to variation in methodological standards between theories. Two responses to the thesis of semantic incommensurability are dealt with: the first challenges the idea of untranslatability to which semantic incommensurability gives rise; the second holds that relations of referential continuity eliminate semantic incommensurability. It is then argued that (...) methodological incommensurability poses little risk to the rationality or objectivity of science. For rational theory choice need neither be dictated by an algorithm nor governed by a binding set of rules. The upshot of the discussion is deflationary. There is little prospect for a relativistic conception of science based on inflated claims about the incommensurability of scientific theories. (shrink)

A certain skeptical strategy involves a skeptical hypothesis that closely mirrors the structure of our standard theory of the world; this strategy insulates the skeptical argument from attacks based on standard criteria of theory choice. A standard reply to this strategy is to claim that proffered alternative is just the standard theory expressed in a different notation. But this reply does not succeed, given plausible assumptions about semantics. However, there is an alternative strategy--also semantical--which can deal (...) with the problem, at least in those cases where, intuitively, the skeptic's challenge should fail. (shrink)

The thesis deals with the concept of truth and the paradoxes of truth. Philosophical theories usually consider the concept of truth from a wider perspective. They are concerned with questions such as - Is there any connection between the truth and the world? And, if there is - What is the nature of the connection? Contrary to these theories, this analysis is of a logical nature. It deals with the internal semantic structure of language, the mutual semantic connection (...) of sentences, above all the connection of sentences that speak about the truth of other sentences and sentences whose truth they speak about. Truth paradoxes show that there is a problem in our basic understanding of the language meaning and they are a test for any proposed solution. It is important to make a distinction between the normative and analytical aspect of the solution. The former tries to ensure that paradoxes will not emerge. The latter tries to explain paradoxes. Of course, the practical aspect of the solution is also important. It tries to ensure a good framework for logical foundations of knowledge, for related problems in Artificial Intelligence and for the analysis of the natural language. Tarski’s analysis emphasized the T-scheme as the basic intuitive principle for the concept of truth, but it also showed its inconsistency with the classical logic. Tarski’s solution is to preserve the classical logic and to restrict the scheme: we can talk about the truth of sentences of a language only inside another essentially richer metalanguage. This solution is in harmony with the idea of reflexivity of thinking and it has become very fertile for mathematics and science in general. But it has normative nature | truth paradoxes are avoided in a way that in such frame we cannot even express paradoxical sentences. It is also too restrictive because, for the same reason we cannot express a situation in which there is a circular reference of some sentences to other sentences, no matter how common and harmless such a situation may be. Kripke showed that there is no natural restriction to the T-scheme and we have to accept it. But then we must also accept the riskiness of sentences | the possibility that under some circumstances a sentence does not have the classical truth value but it is undetermined. This leads to languages with three-valued semantics. Kripke did not give any definite model, but he gave a theoretical frame for investigations of various models | each fixed point in each three-valued semantics can be a model for the concept of truth. The solutions also have normative nature | we can express the paradoxical sentences, but we escape a contradiction by declaring them undetermined. Such a solution could become an analytical solution only if we provide the analysis that would show in a substantial way that it is the solution that models the concept of truth. Kripke took some steps in the direction of finding an analytical solution. He preferred the strong Kleene three-valued semantics for which he wrote it was "appropriate" but did not explain why it was appropriate. One reason for such a choice is probably that Kripke finds paradoxical sentences meaningful. This eliminates the weak Kleene three valued semantics which corresponds to the idea that paradoxical sentences are meaningless, and thus indeterminate. Another reason could be that the strong Kleene three valued semantics has the so-called investigative interpretation. According to this interpretation, this semantics corresponds to the classical determination of truth, whereby all sentences that do not have an already determined value are temporarily considered indeterminate. When we determine the truth value of these sentences, then we can also determine the truth value of the sentences that are composed of them. Kripke supplemented this investigative interpretation with an intuition about learning the concept of truth. That intuition deals with how we can teach someone who is a competent user of an initial language (without the predicate of truth T) to use sentences that contain the predicate T. That person knows which sentences of the initial language are true and which are not. We give her the rule to assign the T attribute to the former and deny that attribute to the latter. In that way, some new sentences that contain the predicate of truth, and which were indeterminate until then, become determinate. So the person gets a new set of true and false sentences with which he continues the procedure. This intuition leads directly to the smallest fixed point of strong Kleene semantics as an analytically acceptable model for the logical notion of truth. However, since this process is usually saturated only on some transfinite ordinal, this intuition, by climbing on ordinals, increasingly becomes a metaphor. This thesis is an attempt to give an analytical solution to truth paradoxes. It gives an analysis of why and how some sentences lack the classical truth value. The starting point is basic intuition according to which paradoxical sentences are meaningful (because we understand what they are talking about well, moreover we use it for determining their truth values), but they witness the failure of the classical procedure of determining their truth value in some "extreme" circumstances. Paradoxes emerge because the classical procedure of the truth value determination does not always give a classically supposed (and expected) answer. The analysis shows that such an assumption is an unjustified generalization from common situations to all situations. We can accept the classical procedure of the truth value determination and consequently the internal semantic structure of the language, but we must reject the universality of the exterior assumption of a successful ending of the procedure. The consciousness of this transforms paradoxes to normal situations inherent to the classical procedure. Some sentences, although meaningful, when we evaluate them according to the classical truth conditions, the classical conditions do not assign them a unique value. We can assign to them the third value, \undetermined", as a sign of definitive failure of the classical procedure. An analysis of the propagation of the failure in the structure of sentences gives exactly the strong Kleene three-valued semantics, not as an investigative procedure, as it occurs in Kripke, but as the classical truth determination procedure accompanied by the propagation of its own failure. An analysis of the circularities in the determination of the classical truth value gives the criterion of when the classical procedure succeeds and when it fails, when the sentences will have the classical truth value and when they will not. It turns out that the truth values of sentences thus obtained give exactly the largest intrinsic fixed point of the strong Kleene three-valued semantics. In that way, the argumentation is given for that choice among all fixed points of all monotone three-valued semantics for the model of the logical concept of truth. An immediate mathematical description of the fixed point is given, too. It has also been shown how this language can be semantically completed to the classical language which in many respects appears a natural completion of the process of thinking about the truth values of the sentences of a given language. Thus the final model is a language that has one interpretation and two systems of sentence truth evaluation, primary and final evaluation. The language through the symbol T speaks of its primary truth valuation, which is precisely the largest intrinsic fixed point of the strong Kleene three valued semantics. Its final truth valuation is the semantic completion of the first in such a way that all sentences that are not true in the primary valuation are false in the final valuation. (shrink)

As a main challenge to the growing block theory (GBT), the epistemic objection is intended to show that GBT is untenable because it leads to the ignorance of the objective present. What is worse, extant solutions to this objection, the dead past view (DPV) and strong tense views (STV), are unsatisfactory on the ground that their semantic explanations of tensed statements undermine the purported semantic unity of GBT and thus make GBT collapse into a version of presentism. (...) In contrast to extant solutions, I recommend growing blockists to adopt a new “biting the bullet” solution: They should accept the ignorance of the absolute present for the dual purpose of retaining GBT’s semantic unity and theoretical independence. Moreover, I argue that ignorance is not a big loss for growing blockists: Although they lose the so-called “Moorean common advantage” over B-theorists and include some “deeply mysterious” and epistemically inaccessible fundamental posit in their ontology, growing blockists thereby protect the semantic unity of their theory and most of ordinary knowledge about B-relations between moments of time and their temporal locations. Theory choice, in essence, is a matter of balancing benefits and costs. I believe that versions of GBT which accept the ignorance of the objective present are indeed tenable intermediate positions in the philosophical debate about the nature of time, and they deserve serious considerations of B-theorists. (shrink)

Rawlins (2013: 160) observes that both unconditionals and more classical free choice can be meta-characterized using orthogonality, but does not actually unify the two. One reason may be that in English, different expressions serve in these roles. By contrast, in Hungarian, AKÁR expressions serve as NPIs, FCIs, and unconditional adjuncts, but not as interrogatives or free relatives. This paper offers a unified account of the Hungarian data, extending Chierchia 2013 and Dayal 2013. The account produces the same unconditional meanings (...) that Rawlins derives from an interrogative basis. This result highlights the fact that sets of alternatives arise from different morpho-syntactic sources and are utilized by the grammar in different ways, but the results may fully converge. (shrink)

When embedding data are used to argue against semantic theory A and in favor of semantic theory B, it is important to ask whether A could make sense of those data. It is possible to ask that question on a case-by-case basis. But suppose we could show that A can make sense of all the embedding data which B can possibly make sense of. This would, on the one hand, undermine arguments in favor of B over (...) A on the basis of embedding data. And, provided that the converse does not hold—that is, that A can make sense of strictly more embedding data than B can—it would also show that there is a precise sense in which B is more constrained than A, yielding a pro tanto simplicity-based consideration in favor of B. In this paper I develop tools which allow us to make comparisons of this kind, which I call comparisons of potential expressive power. I motivate the development of these tools by way of exploration of the recent debate about epistemic modals. Prominent theories which have been developed in response to embedding data turn out to be strictly less expressive than the standard relational theory, a fact which necessitates a reorientation in how to think about the choice between these theories. (shrink)

A platitude that took hold with Kuhn is that there can be several equally good ways of balancing theoretical virtues for theory choice. Okasha recently modelled theory choice using technical apparatus from the domain of social choice: famously, Arrow showed that no method of social choice can jointly satisfy four desiderata, and each of the desiderata in social choice has an analogue in theory choice. Okasha suggested that one can avoid the (...) Arrow analogue for theory choice by employing a strategy used by Sen in social choice, namely, to enhance the information made available to the choice algorithms. I argue here that, despite Okasha’s claims to the contrary, the information-enhancing strategy is not compelling in the domain of theory choice. (shrink)

Chapter 1 constitutes an introduction to Gentzen calculi from two perspectives, logical and philosophical. It introduces the notion of generalisations of Gentzen sequent calculus and the discussion on properties that characterize good inferential systems. Among the variety of Gentzen-style sequent calculi, I divide them in two groups: syntactic and semantic generalisations. In the context of such a discussion, the inferentialist philosophy of the meaning of logical constants is introduced, and some potential objections – mainly concerning the choice of (...) working with semantic generalizations – are addressed. Finally, I’ll introduce the case studies that I’ll be dealing with in part II. Chapter 2 is concerned with the origins and development of Jaśkowski’s discussive logic. The main idea of this chapter is to systematize the various stages of the development of discussive logic related researches from two different angles, i.e., its connections to modal logics and its proof theory, by highlighting virtues and vices. Chapter 3 focuses on the Gentzen-style proof theory of discussive logic, by providing a characterization of it in terms of labelled sequent calculi. Chapter 4 deals with the Gentzen-style proof theory of relevant logics, again by employing the methodology of labelled sequent calculi. This time, instead of working with a single logic, I’ll deal with a whole family of them. More precisely, I’ll study in terms of proof systems those relevant logics that can be characterised, at the semantic level, by reduced Routley-Meyer models, i.e., relational structures with a ternary relation between states and a unique base element. Chapter 5 investigates the proof theory of a modal expansion of intuitionistic propositional logic obtained by adding an ‘actuality’ operator to the connectives. This logic was introduced also using Gentzen sequents. Unfortunately, the original proof system is not cut-free. This chapter shows how to solve this problem by moving to hypersequents. Chapter 6 concludes the investigations and discusses the future of the research presented throughout the dissertation. (shrink)

This paper explores the possibility that causal decision theory can be formulated in terms of probabilities of conditionals. It is argued that a generalized Stalnaker semantics in combination with an underlying branching time structure not only provides the basis for a plausible account of the semantics of indicative conditionals, but also that the resulting conditionals have properties that make them well-suited as a basis for formulating causal decision theory. Decision theory (at least if we omit the frills) (...) is not an esoteric science, however unfamiliar it may seem to an outsider. Rather it is a systematic exposition of the consequences of certain well-chosen platitudes about belief, desire, preference and choice. It is the very core of our common-sense theory of persons, dissected out and elegantly systematized. (David Lewis, Synthese 23:331–344, 1974, p. 337). A small distortion in the analysis of the conditional may create spurious problems with the analysis of other concepts. So if the facts about usage favor one among a number of subtly different theories, it may be important to determine which one it is. (Robert Stalnaker, A Defense of Conditional Excluded Middle, pp. 87–104, 1980, p. 87). (shrink)

We propose a logic to reason about data collected by a num- ber of measurement systems. The semantic of this logic is grounded on the epistemic theory of measurement that gives a central role to measure- ment devices and calibration. In this perspective, the lack of evidences (in the available data) for the truth or falsehood of a proposition requires the introduction of a third truth-value (the undetermined). Moreover, the data collected by a given source are here represented (...) by means of a possible world, which provide a contextual view on the objects in the domain. We approach (possibly) conflicting data coming from different sources in a social choice theoretic fashion: we investigate viable opera- tors to aggregate data and we represent them in our logic by means of suitable (minimal) modal operators. (shrink)

According to Field’s influential incompleteness objection, Tarski’s semantic theory of truth is unsatisfactory since the definition that forms its basis is incomplete in two distinct senses: (1) it is physicalistically inadequate, and for this reason, (2) it is conceptually deficient. In this paper, I defend the semantic theory of truth against the incompleteness objection by conceding (1) but rejecting (2). After arguing that Davidson and McDowell’s reply to the incompleteness objection fails to pass muster, I argue (...) that, within the constraints of a non-reductive physicalism and a holism concerning the concepts of truth, reference and meaning, conceding Field’s physicalistic inadequacy conclusion while rejecting his conceptual deficiency conclusion is a promising reply to the incompleteness objection. (shrink)

I discuss and defend two arguments against semantic theories which wish to avoid commitment to propositions. The first holds that on the most plausible semantics of a class of natural language sentences, the truth of sentences in that class requires the existence of propositions; and some sentences in that class are true. The second holds that, on the best understanding of the form of a semantic theory, the truth of a semantic theory itself entails the (...) existence of propositions. Much of the discussion engages Davidsonian alternatives to a propositionalist semantic theory. (shrink)

The problem of rational theory-choice is the problem of whether choice of theory by a scientist may be objectively rational in the absence of an invariant scientific method. In this paper I offer a solution to the problem, but the solution I propose may come as something of a surprise. For I wish to argue that the work of the very authors who have put the rationality of such choice in question, Thomas Kuhn and Paul (...) Feyerabend, contains all that is needed to solve the problem. (shrink)

What is the relationship between color experience and color? Here, I defend the view that it is semantic: color experience denotes color in a code innately known by the perceiver. This semantic theory contrasts with a variety of theories according to which color is defined as the cause of color experience (in a special set of circumstances). It also contrasts with primary quality theories of color, which treat color as a physical quantity. I argue that the (...) class='Hi'>semantic theory better accounts for the kinds of knowledge we have regarding both the color of objects that we see and of the colors themselves. (shrink)

Arguments from disagreement often take centre stage in debates between competing semantic theories. This paper explores the theoretical basis for arguments from disagreement and, in so doing, proposes methodological principles which allow us to distinguish between legitimate arguments from disagreement and dialectically ineffective arguments from disagreement. In the light of these principles, I evaluate Cappelen and Hawthorne's [2009] argument from disagreement against relativism, and show that it fails to undermine relativism since it is dialectically ineffective. Nevertheless, I argue that (...) an alternative challenge to relativism based on disagreement is available. More generally, I argue that semantic theory is not answerable to data stemming from ‘loaded’ philosophical principles regarding the nature of disagreement. Rather, semantic theorists will exhaust their dialectical responsibilities regarding disagreement if they can demonstrate consistency with a minimal account of the concept. (shrink)

Scientists often diverge widely when choosing between research programs. This can seem to be rooted in disagreements about which of several theories, competing to address shared questions or phenomena, is currently the most epistemically or explanatorily valuable—i.e. most successful. But many such cases are actually more directly rooted in differing judgments of pursuit-worthiness, concerning which theory will be best down the line, or which addresses the most significant data or questions. Using case studies from 16th-century astronomy and 20th-century geology (...) and biology, I argue that divergent theory choice is thus often driven by considerations of scientific process, even where direct epistemic or explanatory evaluation of its final products appears more relevant. Broadly following Kuhn’s analysis of theoretical virtues, I suggest that widely shared criteria for pursuit-worthiness function as imprecise, mutually-conflicting values. However, even Kuhn and others sensitive to pragmatic dimensions of theory ‘acceptance’, including the virtue of fruitfulness, still commonly understate the role of pursuit-worthiness—especially by exaggerating the impact of more present-oriented virtues, or failing to stress how ‘competing’ theories excel at addressing different questions or data. This framework clarifies the nature of the choice and competition involved in theory choice, and the role of alternative theoretical virtues. (shrink)

While engaged in the analysis of topics such as the nature of knowledge, meaning, or justice, analytic philosophers have traditionally relied extensively on their own intuitions about when the relevant terms can, and can't, be correctly applied. Consequently, if intuitions about possible cases turned out not to be a reliable tool for the proper analysis of philosophically central concepts, then a radical reworking of philosophy's (or at least analytic philosophy's) methodology would seem to be in order. It is thus not (...) surprising that the increasingly critical scrutiny that intuitions have received of late has produced what has been referred to as a "crisis" in analytic philosophy. This paper will argue, however, that at least those criticisms that stem from recent work on semantic externalism are not as serious as their proponents have claimed. Indeed, this paper will argue while the conceptual intuitions (and the analyses that result from them) will have to be recognized as fallible, they still have a prima facie claim to correctness. A naturalistic and externalistic account of concepts thus merely requires that the methodology of conceptual analysis be reinterpreted (from a 'Platonic' to a 'constructive' model) rather than given up. (shrink)

At the core of the recent debate over moral debunking arguments is a disagreement between explanationist and modalist approaches. Explanationists think that the lack of an explanatory connection between our moral beliefs and the moral truths, given a non-naturalist realist conception of morality, is a reason to reject non-naturalism. Modalists disagree. They say that, given non-naturalism, our beliefs have the appropriate modal features with respect to truth -- in particular they are safe and sensitive -- so there is no problem. (...) -/- There is something of a stand-off here. I argue, though, that by looking at the role explanatory and modal factors have to play in theory choice more generally, and, in particular, by considering the practice of theory choice in science, we can see that the explanationist is right. The lack of an explanatory connection between our moral beliefs and the moral truths is a reason to reject non-naturalist realism about morality. (shrink)

An analogue of Arrow’s theorem has been thought to limit the possibilities for multi-criterial theory choice. Here, an example drawn from Toy Science, a model of theories and choice criteria, suggests that it does not. Arrow’s assumption that domains are unrestricted is inappropriate in connection with theory choice in Toy Science. There are, however, variants of Arrow’s theorem that do not require an unrestricted domain. They require instead that domains are, in a technical sense, ‘rich’. (...) Since there are rich domains in Toy Science, such theorems do constrain theory choice to some extent—certainly in the model and perhaps also in real science. (shrink)

It is argued that in the absence of an algorithm of theory-choice, a role must be played by deliberative judgement in the process of choosing rationally between theories.

This dissertation examines the dynamical dark matter problem in twentieth century astrophysics from the point of view of History and Philosophy of Science. The dynamical dark matter problem describes the situation astronomers find themselves in with regard to the dynamics of large scale astrophysical systems such as galaxies and galaxy clusters: The observed motions are incompatible with the visible distribution matter given the accepted law of gravitation. This discrepancy has two classes of possible solutions: either there exists copious amounts of (...) some kind of matter that neither emits nor absorbs radiation , or the law of gravitation must be revised. ;Chapter 2 describes the physical and philosophical foundations of dynamical inferences---inferences from discrepancies between well-founded theoretical expectations and reliable observations to the characteristics of candidate solutions. Chapter 3 discusses the history of dark matter . Chapter 4 reviews the present evidence bearing on the dark matter problem. Chapter 5 evaluates the important candidate matter solutions in light of the available evidence. Chapter 6 evaluates two candidate gravitational solutions on evidential and methodological grounds, and addresses the problem of theory choice. I do not try to solve the dark matter problem, but to uncover and evaluate patterns of inference involved in evidential arguments for and against candidate solutions. ;I show that Newton's "Reasoning from Phenomena" is a good framework from which to understand what is going on in this field. I argue that "higher order" and especially non-dynamical evidence is the best hope for solving this problem in dynamics. This is so in part because of "the dark matter double bind": the very existence of the dark matter problem means that we cannot be sure of the overall matter distribution in astrophysical systems, and this in turn means that the observed motions by themselves cannot provide relative confirmation of any theory of gravitational interactions taking place at these scales. I use Newton's Rules of Reasoning to argue that we should retain General Relativity as our theory of gravity at galactic and greater scales, despite the lack of positive evidence to confirm it over its rivals at these scales. (shrink)

A methodological model of origin and settlement of theory-choice situations (previously tried on the theories of Einstein and Lorentz in electrodynamics) is applied to modern Theory of Gravity. The process of origin and growth of empirically-equivalent relativistic theories of gravitation is theoretically reproduced. It is argued that all of them are proposed within the two rival research programmes – (1) metric (A. Einstein et al.) and (2) nonmetric (H. Poincare et al.). Each programme aims at elimination of (...) the cross-contradiction between the special theory of relativity and Newton’s theory of gravitation. New arguments in favor of Einstein’s programme are given. Nevertheless, this does not imply the necessity to rule out all the nonmetric theories, since Einstein’s and Poincare’s programmes are alternative only as different tools of the cross-contradiction elimination. In the other respects these programmes are complementary: description, explanation and prediction of gravitational experimental data entails the usage of the languages of nonmetric theories as well as of metric ones. The part of the present investigation elucidating the necessity of nonmetric theories is an implementation of the ideas of A.Z. Petrov, the founder of Kazan University Relativity Department. Late Alexei Zinovievich had frequently punctuated that the notion of Riemann space-time continuum common for all metric theories obfuscates all the gravitational notions considerably and hampers the analogies with other physical theories at hand. Since the ambiguity is a hallmark of all the general relativism notions, approach to their definitions “should be determined not by analogies and contingent facts, but by general considerations linked the physical measurements theory… No matter how far the events lie out of the frames of classical physical explanations, all the experimental data should be described by classical notions” (Petrov, 1965,pp. 59,66). Key words: Kip S. Thorne, A.P. Lightman, Stepin, theory of gravity . (shrink)

Methodological deflationism is a policy about how we should conduct ourselves when it comes to theories of truth: in particular, a deflationary theory of truth should be taken as one’s starting point, and the notion of truth should be inflated only as necessary. This policy is motivated, in part, by the need to balance the theoretical virtue of parsimony with that of explanatory sufficiency. In this article, the case is made that the methodological deflationist is in no position to (...) properly balance those virtues—a point made evident by tracing the relationship between semantic theories and the explanatory needs of theories of truth. Furthermore, methodological deflationism threatens to unduly influence semantic theorizing and, in doing so, displays an inappropriate bias towards deflationary theories of truth. (shrink)

Let me first state that I like Antti Revonsuo’s discussion of the various methodological and interpretational problems in neuroscience. It shows how careful and methodologically reflected scientists have to proceed in this fascinating field of research. I have nothing to add here. Furthermore, I am very sympathetic towards Revonsuo’s general proposal to call for a Philosophy of Neuroscience that stresses foundational issues, but also focuses on methodological and explanatory strategies.2 In a footnote of his paper, Revonsuo complains – as many (...) others do today – about what is sometimes called “physics imperialism”. This is the view that physics dominates the philosophy of science. I am not sure if this is still the case nowadays, but it is certainly historically correct that almost all work in the field of methodology centered around cases from physics. Although this has been changing, there are still plenty of special sciences philosophers did not worry about much. Admittedly, I am myself a trained physicist and not a neuroscientist and will therefore probably be biased negatively. As it is, I will discuss some examples from physics in order to illustrate my points. (shrink)

Metaphysicians frequently appeal to the idea that theoretical simplicity is truth conducive in metaphysics, in the sense that, all other things being equal, simpler metaphysical theories are more likely to be true. In this paper I defend the notion that theoretical simplicity is truth conducive in metaphysics, against several recent objections. I do not give any direct arguments for the thesis that simplicity is truth conducive in metaphysics, since I am aware of no such arguments. I do argue, however, that (...) there is no special problem with the notion that simplicity is truth conducive in metaphysics. More specifically, I argue that if you accept the idea that simplicity is truth conducive in science, then it would be objectionably arbitrary to reject the idea that simplicity is truth conducive in metaphysics. (shrink)

According to Richard Swinburne, the principle of simplicity is of great importance to theory choice scenarios and theoretical changes in the sciences. In particular, he holds that the theory choice criterion of fit with background evidence can be reduced to the criteria of simplicity and of yielding the data. We will, however, rebut this reduction thesis and show that three central aspects of theoretical change (confirming power of empirical data, reliability of experimental methods, and truth of (...) new theoretical proposals) cannot be adequately reconstructed if simplicity is regarded as a key criterion of theory choice. (shrink)

Multidimensional adjectives are ubiquitous in natural language. An adjective F is multidimensional just in case whether F applies to an object or pair of objects depends on how those objects stand with respect to multiple underlying dimensions of F-ness. Developing a semantics for multidimensional adjectives requires us to address the problem of dimensional aggregation: how do the application conditions of an adjective F in its positive and comparative forms depend on its underlying dimensions? Here we develop a semantics for multidimensional (...) adjectives that incorporates aggregation functions. We then explore an analogy between dimensional aggregation and preference aggregation, bringing results from social choice theory to bear on the number and kind of aggregation functions that are admissible in a context. These results suggest that, for any given adjective, there will often be multiple aggregation functions admissible, meaning that multidimensional comparatives are often vague. (shrink)

Ordinary and transfinite recursion and induction and ZF set theory are used to construct from a fully interpreted object language and from an extra formula a new language. It is fully interpreted under a suitably defined interpretation. This interpretation is equivalent to the interpretation by meanings of sentences if the object language is so interpreted. The added formula provides a truth predicate for the constructed language. The so obtained theory of truth satisfies the norms presented in Hannes Leitgeb's (...) paper 'What Theories of Truth Should be Like (but Cannot be)'. (shrink)

The concepts of choice, negation, and infinity are considered jointly. The link is the quantity of information interpreted as the quantity of choices measured in units of elementary choice: a bit is an elementary choice between two equally probable alternatives. “Negation” supposes a choice between it and confirmation. Thus quantity of information can be also interpreted as quantity of negations. The disjunctive choice between confirmation and negation as to infinity can be chosen or not in (...) turn: This corresponds to set-theory or intuitionist approach to the foundation of mathematics and to Peano or Heyting arithmetic. Quantum mechanics can be reformulated in terms of information introducing the concept and quantity of quantum information. A qubit can be equivalently interpreted as that generalization of “bit” where the choice is among an infinite set or series of alternatives. The complex Hilbert space can be represented as both series of qubits and value of quantum information. The complex Hilbert space is that generalization of Peano arithmetic where any natural number is substituted by a qubit. “Negation”, “choice”, and “infinity” can be inherently linked to each other both in the foundation of mathematics and quantum mechanics by the meditation of “information” and “quantum information”. (shrink)

This article further explains and develops a recent, comprehensive semantic naturalization theory, namely the interactive indexing (II) theory as described in my 2008 Minds and Machines article Semantic Naturalization via Interactive Perceptual Causality (Vol. 18, pp. 527–546). Folk views postulate a concrete intentional relation between cognitive states and the worldly states they are about. The II theory eliminates any such concrete intentionality, replacing it with purely causal relations based on the interactive theory of perception. (...) But intentionality is preserved via purely abstract propositions about the world that index, or correlate with, appropriate cognitive states. Further reasons as to why intentionality must be abstract are provided, along with more details of an II-style account of representation, language use and propositional attitudes. All cognitive representation is explained in terms of classification or sorting dispositions indexed by appropriate propositions. The theory is also related to Fodor’s representational theory of mind, with some surprisingly close parallels being found in spite of the purely dispositional basis of the II theory. In particular, Fodor’s insistence that thinking about an item cannot be reduced to sorting dispositions is supported via a novel two-level account of cognition—upper level propositional attitudes involve significant intermediate processing of a broadly normative epistemic kind prior to the formation of sorting dispositions. To conclude, the weak intentional realism of the II theory—which makes intentional descriptions of the world dispensable—is related to Dennett’s ‘intentional stance’ view, and distinguished from strong (indispensable) intentional realist views. II-style dispositions are also defended. (shrink)

The paper presents Alfred Tarski’s debate with the semantic antinomies: the basic Liar Paradox, and its more sophisticated versions, which are currently discussed in philosophy: Strengthen Liar Paradox, Cyclical Liar Paradox, Contingent Liar Paradox, Correct Liar Paradox, Card Paradox, Yablo’s Paradox and a few others. Since Tarski, himself did not addressed these paradoxes—neither in his famous work published in 1933, nor in later papers in which he developed the Semantic Theory of Truth—therefore, We try to defend his (...) concept of truth against these antinomies. It is demonstrated that Tarskian theory of truth is resistant to the paradoxes and it is still the best solution to avoid the antinomies and remain within a classical logic, that is, accepting the laws of noncontradiction, excluded middle, and the principle of bivalence. Thus, the goal of the paper is double—firstly, to show that none of the versions of the Liar Paradox’s is a serious threat to Tarski’s concept of truth, and secondly, that Semantic Theory of Truth allows to remain within classical logic, and at the same time, avoid antinomies—which makes it the most attractive among classical theories of truth. (shrink)

This dissertation argues that we have no good reason to accept any one theory of properties as correct. To show this, I present three possible bases for theory-choice in the properties debate: coherence, explanatory adequacy, and explanatory value. Then I argue that none of these bases resolve the underdetermination of our choice between theories of properties. First, I argue considerations about coherence cannot resolve the underdetermination, because no traditional theory of properties is obviously incoherent. Second, (...) I argue considerations of explanatory adequacy cannot resolve the underdetermination, because every traditional theory of properties lacks the theoretical resources to adequately explain resemblance, causal powers, and predication. However, these inadequacies are easily remedied with theoretical modifications. But this results in an overabundance of modified, but adequate, theories of properties. Third, I argue explanatory virtues cannot resolve the underdetermination, because we have no reason to think explanatory virtues make theories of properties more likely to be true. I reject the common argument that explanatory virtues are truth-conducive in theories of properties because they are truth-conducive in scientific theories. Since none of the three bases for theory choice can resolve the underdetermination, I conclude that we have no good reason to accept any one theory of properties as correct. Finally, I consider the possibility of choosing one theory over the others on pragmatic grounds. But I argue that pragmatic grounds cannot resolve the underdetermination either. Instead, I suggest we accept the view I call 'instrumental pluralism,' which allows practitioners to use whatever theory of properties they find useful. Adviser: Jennifer McKitrick. (shrink)

(1) This is Part 2 of the semantic theory I call TM. In Part 1, I developed TM as a theory in the analytic philosophy of language, in lexical semantics, and in the sociology of relating occasions of statement production and comprehension to formal and informal lexicographic conclusions about statements and lexical items – roughly, as showing how synchronic semantics is a sociological derivative of diachronic, person-relative acts of linguistic behavior. I included descriptions of new cognitive psychology (...) experimental paradigms which would allow us to precisely measure the two constituents of semantics – meaning and reference – both at the level of individual speech acts and at the level of societal convergences, i.e. at both the token and type levels. -/- (2) In the Introduction, I recapitulate the arguments of Part 1. The Introduction also develops some analytic philosophical and lexical semantics themes not discussed in Part 1. -/- (3) After the Introduction, I present neural TM (nTM) as a theory of the neural mechanisms and processes which give rise to these person/occasion-relative acts of linguistic behavior. I develop nTM at three levels, the first two of which describe linguistic/semantic functions independently of their cortical locations. At the first level, I describe individual word-to-word and word-to-object connections. At the second level, I describe the corresponding structuralist networks of which they are the individual components. At this level, I introduce some key linguistic concepts of TM – its graded meaning, reference, and generalization sets, and the types of statements which express various levels of word-to-word and word-to-object relationships among lexical items which, because of the constraints they impose on the use of those lexical items in statements we produce and comprehend, are concepts. This constitutes the second structural level of nTM. -/- (4) At the third level, I associate the non-localized structures of the previous levels with cortically located neural structures and with the fasciculi that connect them. I distinguish neural areas in which primary (phonetic) and secondary (orthographic) lexicons are stored in long-term memory. I also describe the embodied concepts which co-exist in the anterior temporal lobes with the images they lexicalize. These concepts are often said to name physical objects and their features, although what they in fact name are kinds of physical objects and features. I describe how conceptual constraints and referential constraints interact to channel our intentions to say how things are into statements which are semantically well-formed, and which consequently successfully communicate information. -/- (5) Following this presentation of nTM, I examine five prominent neural semantic theories. I point out what is wrong with each of them as far as their explanations of semantics are concerned, and I also indicate how nTM can replace the “semantic cores” of those theories. -/- (6) The two basic mistakes made by neuroscience semantic theories, as I will explain, are (i) that all but one of them regard semantics as a matter of the association of words with perceptual images, and of generalizations from those associations; and (ii) that they all rely on an unspecified set of neural structures which purportedly encode the meaning of concepts in abstraction from their phonological and orthographic forms. nTM maintains, in contrast, that there are no abstract neural representations of semantic content. Neural constraints on our linguistic behavior, especially on our ascriptive and co-ascriptive use of words, express the semantic constraints on those words which make them concepts. That is the semantic content of words. -/- (7) I next consider several results from neuroscience experimental data which have been given one interpretation by one or another of the standard neurosemantic theories, but to which nTM gives a different interpretation. I include several predictions which I have found neither confirmed nor disconfirmed in the experimental neuroscience literature. -/- (8) After a concluding section in which I summarize the major changes to neurosemantic theory introduced by TM, and the analytic philosophy of language and lexical semantics contexts within which TM is situated, there follows an appendix in which I discuss neural net AI, and make some recommendations for implementing nTM in silicon. (shrink)

Some arguments include imperative clauses. For example: ‘Buy me a drink; you can’t buy me that drink unless you go to the bar; so, go to the bar!’ How should we build a logic that predicts which of these arguments are good? Because imperatives aren’t truth apt and so don’t stand in relations of truth preservation, this technical question gives rise to a foundational one: What would be the subject matter of this logic? I argue that declaratives are used to (...) produce beliefs, imperatives are used to produce intentions, and beliefs and intentions are subject to rational requirements. An argument will strike us as valid when anyone whose mental state satisfies the premises is rationally required to satisfy the conclusion. For example, the above argument reflects the principle that it is irrational not to intend what one takes to be the necessary means to one’s intended ends. I argue that all intuitively good patterns of imperative inference can be explained using off-the-shelf formulations of our rational requirements. I then develop a formal-semantic theory embodying this view that predicts a range of data, including free-choice effects and Ross’s paradox. The resulting theory shows one way that our aspirations to rational agency can be discerned in the patterns of our speech, and is a case study in how the philosophy of language and the philosophy of action can be mutually illuminating. (shrink)

Many normative judgments play a practical role in our thought. This paper concerns how their practical role is reflected in language. It is natural to wonder whether the phenomenon is semantic or pragmatic. The standard assumption in moral philosophy is that at least terms which can be used to express “thin” normative concepts – such as 'good', 'right', and 'ought' – are associated with certain practical roles somehow as a matter of meaning. But this view is rarely given explicit (...) defense or even articulation. I’ll consider several versions of the view, and argue that even the most promising among them are problematic. Terms like 'ought' are often used in ways where their customary practical role is absent. Such cases give us a choice: either offer some plausible explanation of why the relevant practical upshots don’t show up in these cases despite featuring in our semantic theory for these expressions, or else don’t build them into that theory. I argue that plausible explanations of the requisite sort aren’t forthcoming in either descriptive semantics or metasemantics for normative language. In closing I briefly consider the prospects for a pragmatic account of the phenomenon and some broader ramifications for metaethics and the philosophy of normativity. (shrink)

Lexical semantics has a problem. As Allesandro Lenci put it, the problem is that it cannot distinguish semantic from non-semantic relationships within its data. (2008, 2014). The data it relies on are patterns of co-occurrence of lexemes within linguistic corpora. But patterns of co-occurrence can reflect either our knowledge of what the world is like or our knowledge of what words mean -- matters of fact or matters of meaning. -/- In this essay, I develop a semantic (...) theory which draws this distinction in a way which makes it discernible in lexical semantics and cognitive science research. In doing so, this theory unifies truth-functional and structuralist approaches to semantics, and provides an integrated explanation of meaning and reference. -/- I base this semantic theory on linguistic dispositions to pair words with words, and to pair words with things, both based on learned patterns of association. These dispositions manifest themselves in verbal behavior, and (in Part 2) I propose a new neurophysical model to account for these dispositions which underlie both the intensional and extensional patterns in that behavior. (shrink)

Review of Meta-Metaphysics: On Metaphysical Equivalence, Primitiveness, and Theory Choice (Springer, Synthese Library, 2016). By Jiri Benovsky.

This paper argues that the types of intention can be modeled both as modal operators and via a multi-hyperintensional semantics. I delineate the semantic profiles of the types of intention, and provide a precise account of how the types of intention are unified in virtue of both their operations in a single, encompassing, epistemic space, and their role in practical reasoning. I endeavor to provide reasons adducing against the proposal that the types of intention are reducible to the mental (...) states of belief and desire, where the former state is codified by subjective probability measures and the latter is codified by a utility function. I argue, instead, that each of the types of intention -- i.e., intention-in-action, intention-as-explanation, and intention-for-the-future -- has as its aim the value of an outcome of the agent's action, as derived by her partial beliefs and assignments of utility, and as codified by the value of expected utility in evidential decision theory. (shrink)

In this paper, I explore a range of existent and possible ameliorative semantic theories of gender terms: invariantism, according to which gender terms are not context-sensitive, contextualism, according to which the meaning of gender terms is established in the context of use, and relativism, according to which the meaning of gender terms is established in the context of assessment. I show that none of these views is adequate with respect to the plight of trans people to use their term (...) of choice to self-identify and be referred to accordingly. I then consider an invariantist view based on self-identification and explore some of its challenges. (shrink)

Semantic information is usually supposed to satisfy the veridicality thesis: p qualifies as semantic information only if p is true. However, what it means for semantic information to be true is often left implicit, with correspondentist interpretations representing the most popular, default option. The article develops an alternative approach, namely a correctness theory of truth (CTT) for semantic information. This is meant as a contribution not only to the philosophy of information but also to the (...) philosophical debate on the nature of truth. After the introduction, in Sect. 2, semantic information is shown to be translatable into propositional semantic information (i). In Sect. 3, i is polarised into a query (Q) and a result (R), qualified by a specific context, a level of abstraction and a purpose. This polarization is normalised in Sect. 4, where [Q + R] is transformed into a Boolean question and its relative yes/no answer [Q + A]. This completes the reduction of the truth of i to the correctness of A. In Sects. 5 and 6, it is argued that (1) A is the correct answer to Q if and only if (2) A correctly saturates Q by verifying and validating it (in the computer science’s sense of “verification” and “validation”); that (2) is the case if and only if (3) [Q + A] generates an adequate model (m) of the relevant system (s) identified by Q; that (3) is the case if and only if (4) m is a proxy of s (in the computer science’s sense of “proxy”) and (5) proximal access to m commutes with the distal access to s (in the category theory’s sense of “commutation”); and that (5) is the case if and only if (6) reading/writing (accessing, in the computer science’s technical sense of the term) m enables one to read/write (access) s. Sect. 7 provides some further clarifications about CTT, in the light of semantic paradoxes. Section 8 draws a general conclusion about the nature of CTT as a theory for systems designers not just systems users. In the course of the article all technical expressions from computer science are explained. (shrink)