The problem analysed in this paper is whether we can gain knowledge by using valid inferences, and how we can explain this process from a model-theoretic perspective. According to the paradox of inference (Cohen & Nagel 1936/1998, 173), it is logically impossible for an inference to be both valid and its conclusion to possess novelty with respect to the premises. I argue in this paper that valid inference has an epistemic significance, i.e., it can be used by an agent to (...) enlarge his knowledge, and this significance can be accounted in model-theoretic terms. I will argue first that the paradox is based on an equivocation, namely, it arises because logical containment, i.e., logical implication, is identified with epistemological containment, i.e., the knowledge of the premises entails the knowledge of the conclusion. Second, I will argue that a truth-conditional theory of meaning has the necessary resources to explain the epistemic significance of valid inferences. I will explain this epistemic significance starting from Carnap’s semantic theory of meaning and Tarski’s notion of satisfaction. In this way I will counter (Prawitz 2012b)’s claim that a truth-conditional theory of meaning is not able to account the legitimacy of valid inferences, i.e., their epistemic significance. (shrink)

The aim of the present paper is twofold. One task is to argue that our use of the numerical vocabulary in theory and applications determines the reference of the numerical terms more precisely than up to isomorphism. In particular our use of the numerical vocabulary in modal and counterfactual contexts of application excludes contingent existents as candidate referents for the numerical terms. The second task is to explore the impact of this conclusion on what I call semantic nominalism, which is (...) the view that ordinary physical objects and other contingent existents are eligible to be the referents of numerical terms. I suggest that for semantic nominalism to have a chance we must reform our usage of the numerical vocabulary in modal and counterfactual contexts. I tentatively explore some ways in which this might be done and call attention to some of their costs. (shrink)

The paper argues that philosophers commonly misidentify the substitutivity principle involved in Russell’s puzzle about substitutivity in “On Denoting”. This matters because when that principle is properly identified the puzzle becomes considerably sharper and more interesting than it is often taken to be. This article describes both the puzzle itself and Russell's solution to it, which involves resources beyond the theory of descriptions. It then explores the epistemological and metaphysical consequences of that solution. One such consequence, it argues, is that (...) Russell must abandon his commitment to propositions. (shrink)

Recently, von Fintel (2001) and Gillies (2007) have argued that certain sequences of counterfactuals, namely reverse Sobel sequences, should motivate us to abandon standard truth conditional theories of counterfactuals for dynamic semantic theories. I argue that we can give a pragmatic account of our judgments about counterfactuals without giving up the standard semantics. In particular, I introduce a pragmatic principle governing assertability, and I use this principle to explain a variety of subtle data concerning reverse Sobel sequences.

The identity conception of truth holds that a thinkable is true just in case it is a fact. As such, it sets itself against correspondence theories of truth, while respecting the substantive role played by truth in respect of enquiry. In this article, I motivate and develop that view, and, in so doing, promote a particular conception of sense. This allows me to defend the view from two substantial criticisms. First, that the identity conception of truth is incoherent in respect (...) of its treatment of objects in the realm of reference, and, second, that it is committed to a view of the world in which ordinary objects have no place. (shrink)

In the first part ("Determination"), I consider different notions of determination, contrast and compare modal with non-modal accounts and then defend two a-modality theses concerning essence and supervenience. I argue, first, that essence is a a-modal notion, i.e. not usefully analysed in terms of metaphysical modality, and then, contra Kit Fine, that essential properties can be exemplified contingently. I argue, second, that supervenience is also an a-modal notion, and that it should be analysed in terms of constitution relations between properties. (...) In the second part ("A Theory of Truthmaking"), I first review the literature on ontological commitment, and argue that the notion of truthmaking is better suited to play its explanatory rôle. I then argue that we should take truthmaker theory seriously, and that we should provide actual truthmakers for all truths there are. In the last chapter of this part, I review Armstrong's truthmaker theories and argue that they are unsatisfactory. I generalise my criticism to an argument against truthmaker necessitarianism, the view that truthmakers necessarily make true the truths they are truthmakers of. In the third part ("Properties and their Kind(s)"), I discuss qualitative determination. I present and endorse the truthmaker argument for universals, and defend universalism against friends of tropes, states of affairs and facts. I then give a novel characterisation of the important class of intrinsic properties, building on Lewis' work. With a workable notion of intrinsicness at hand, I argue that relations are ontologically – but not "ideologically" – dispensable: qualitative determination in general is a matter of intrinsic structure. In the future, I plan to add two parts and to publish my thesis as a book: In the fourth part ("Exemplification"), I argue for the existence of an exemplification relation tying universals and particulars together. I derive theoretical benefits from this relation by providing adverbialist theories of modality and tense and identify exemplification with a type of parthood. In the fifth part ("Qua qua qua"), I investigate the curious and interesting ontological category of so-called "qua-objects" (Picasso-as-a-painter, for example) and argue that they exist, are not identical with transworld indidivuals or modal parts and that they provide (contingent) truthmakers for all true predications. (shrink)

Theories of propositions as sets of truth-supporting circumstances are committed to the thesis that sentences or other representations true in all and only the same circumstances express the same proposition. Theories of propositions as complex, structured entities are not committed to this thesis. As a result, structured propositions can play a role in our theories of language and thought that sets of truth-supporting circumstances cannot play. To illustrate this difference, I sketch a theory of transparent, non-deflationary truth consistent with some (...) theories of structured propositions, but inconsistent with any theory of propositions as sets of truth-supporting circumstances. (shrink)

Neil Feit; Graduate Papers from the Joint Session 1995: On a Famous Counterexample to Leibniz's Law1, Proceedings of the Aristotelian Society, Volume 96, Issue.

This thesis explores the development of Bertrand Russell‘s theory of definite descriptions. It aims at demonstrating the connection between Russell‘s views on the subject of denoting and his attempt, in the period 1903-05, to develop a solution to 'the Contradiction'. The thesis argues that the discovery of the theory of descriptions, and the way in which it works, are best understood against the backdrop of Russell‘s work on the paradoxes. A new understanding of Russell‘s seminal paper 'On Denoting' is presented, (...) including a novel interpretation of the notorious 'Gray‘s Elegy Argument', in which Russell argues against his earlier theory of denoting. That Russell‘s work on denoting is connected to his work on the paradoxes is reasonably well-known: the nature of the connection has not, however, been adequately brought out in the literature. This is addressed through demonstrating the relationship between Russell‘s work on denoting and his development of the 'substitutional theory' of classes and relations. This theory eliminates classes and propositional functions in favour of matrices and substitutions. The role of the theory of descriptions in the development of the substitutional theory is commonly supposed to be merely that the theory of descriptions facilitates the ontological elimination of classes. But this elimination was equally possible on Russell‘s earlier theory of denoting. In the thesis it is suggested that the theory of descriptions brings with it a new conception of analysis, and that it is through the introduction of this new form of analysis—rather than through the elimination of classes—that the theory of descriptions facilitates the substitutional approach. (shrink)

According to Brentano's theory of boundaries, no boundary can exist without being connected with a continuum. But there is no specifiable part of the continuum, and no point, which is such that we may say that it is the existence of that part or of that point which conditions the boundary. - An adequate theory of the continuum must now recognize that boundaries be boundaries only in certain directions and not in others. This leads to consequences in other areas, too.

Among modal claims, claims that involve the notions of broadly logical possibility and necessity, one that seems almost trivial is this: that if some proposition is possible, then it is possibly true. However, there is an argument, due in its essentials to the medieval philosopher and logician Jean Buridan, to the effect that this seemingly trivial claim is, in fact, untrue. ;Briefly put, the argument is this. Let Q be the proposition that Quine does not exist. Since Quine's existence is (...) contingent, Q is possible. But, propositions are ontologically dependent upon their constituents, and Quine is a constituent of Q. So, necessarily, were Quine not to exist, neither would Q exist. And, a necessary condition of a proposition's being true is that it exist. Hence, there are propositions, such as Q, that are possible, but not possibly true. I call this conclusion, together with certain other similar claims, 'Buridanism'. ;My main topic is the evaluation of the argument for Buridanism, and the exploration of the consequences of Buridanism for modalist theories of possible worlds and for modal logic. I begin by examining the two crucial premises in the argument for Buridanism: N-dependency, according to which propositions expressed by sentences containing proper names are singular propositions that depend ontologically upon the referents of those names, and Buridan's Thesis, according to which a proposition can be neither necessary, nor possible, nor true, unless it exists. ;Robert Adams has argued that accepting Buridanism forces us to revise the modalist conception of possible worlds as maximal and consistent propositions or sets of propositions. I show that this is not the case, and provide an analysis of a proposition's being true relative to a world that allows us to maintain the modalist account while embracing Buridanism. ;Standard systems of quantified modal logic are prone to several related problems that I refer to as the problems of contingency. These systems often include as theorems formulas that seem to presuppose that everything that exists, exists necessarily. I develop a system of modal logic, BML, based upon Buridanism, that is able to overcome these difficulties. (shrink)