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 unification argument, usually regarded as the main argument for predicativism about proper names, has recently been attacked by Robin Jeshion. According to Jeshion, the unification argument is based on the assumption of the literality of predicative uses of proper names in statements such as “There is one Alfred in Princeton.” In such a use, a proper name ‘N’ is used predicatively to denote those, and only those, objects called N. As Jeshion argues, however, there are many other examples in (...) which a proper name ‘N’ is used predicatively to denote objects which are not called N. Based on such cases, Jeshion challenges the predicativist to provide a justification for assuming that the original predicative use of proper names, to which the predicativist appeals in the unification argument, is literal. My aim in this paper is to defend predicativism by arguing that the predicativist’s assumption is well motivated. To this end, I first present the unification argument for predicativism and Jeshion’s challenge to it. Then, I argue that the answer provided by Delia Graff Fara to Jeshion’s challenge is unsatisfactory. Finally, I meet Jeshion’s challenge by extending the phenomena highlighted in Jeshion’s examples to the referential uses of proper names. (shrink)

Bertrand Russell's 1903 masterpiece "The Principles of Mathematics" places great emphasis on the need to separate propositions from psychological items such as thoughts. In 1919 Russell explicitly retracts this view, however, and defines propositions as "psychological occurrences". These psychological occurrences are held by Russell to be mental images. In this paper, I seek to explain this radical change of heart. I argue that Russell's re-psychologising of the proposition in 1919 can only be understood against the background of his struggle with (...) the problem of the unity of the proposition in earlier work. Once this is recognized, and the solution to the problem offered by the 1919 theory is appreciated, new light is also shed on Russell's naturalism. I go on to compare Russell's psychological "picture theory" with the vehemently anti-psychological picture theory of Wittgenstein's "Tractatus Logico-Philosophicus" and suggest that, once the background of the dispute is brought into clearer focus, Russell's position can be seen to have many advantages over its more celebrated rival. (shrink)

The Fregean analysis of definite descriptions as referring expressions predicts that copular sentences with definite descriptions in postcopular position are invariably interpreted as identity statements. But as numerous diagnostics show, such sentences are frequently capable of receiving a predicational reading. A uniform Fregean analysis therefore won’t do. Things aren’t that simple, however. I show that descriptions which exhibit the structure [the + N + of + Proper Name] fall into two semantically distinct classes, and that the members of one of (...) these classes of descriptions (those I call “identifying”) pattern with proper names in resisting a predicative reading. I argue that a proposal according to which referring expressions can quite generally undergo a type shift that transforms them into predicates thus fails on grounds of overgeneration. I propose that we can account for the data by instead appealing to two definite determiners: a Fregean determiner ‘the r ’ which forms referring descriptions, and a determiner ‘the p ’ which forms predicative descriptions. I argue that this proposal also correctly predicts that copular sentences with proper names in postcopular position fail to have a predicational reading. I conclude the paper by defending the analysis of names to which I appeal against an alternative view inspired by Burge (J Philos 70(14):425–439, 1973), and suggest a way in which the desired results could be achieved while making do with a single definite article. (shrink)

Frege’s rejection of singular reference to concepts is centrally implicated in his notorious paradox of the concept horse. I distinguish a number of claims in which that rejection might consist and detail the dialectical difficulties confronting the defense of several such claims. Arguably the least problematic such claim—that it is simply nonsense to say that a concept can be referred to with a singular term—has recently received a novel defense due to Robert Trueman. I set out Trueman’s argument for this (...) claim, identifying and remedying some omissions and errors of formulation therein. I then develop a response to the argument by showing, pace Trueman, that it is possible—and how it is possible—to express identities between objects and concepts. (shrink)

Many philosophers still countenance senses or meanings in the broadly Fregean vein. However, it is difficult to posit the existence of senses without positing quite a lot of them, including at least one presenting every entity in existence. I discuss a number of Cantorian paradoxes that seem to result from an overly large metaphysics of senses, and various possible solutions. Certain more deflationary and nontraditional understanding of senses, and to what extent they fare better in solving the problems, are also (...) discussed. In the end, it is concluded that one must divide senses into various ramified-orders in order to avoid antinomy, but that the philosophical justification of such orders is, as yet, still somewhat problematic. (shrink)

The main question of this article is that what are the important differences or similarities between Aristotle's and Frege's analysis of the categorical proposition? Based on the famous view, Aristotle analyzes the categorical proposition into three components: Subject, Predicate and Relation; while Frege analyzes the categorical proposition into two components of Variable and Function, and therefore; these two analyses are completely different and there is no similarity between them. In the other article, I have argued that in the Aristotle's viewpoint, (...) in the logical analysis of the categorical proposition, against its linguistic analysis, it is divided into two main components of subject and predicate. At this article, I have shown that by accepting of this analysis and based on it, it becomes clear that: firstly, there are important similarities between these two analyses: 1) both are two-part analyses 2) Aristotle, like Frege, considers «to be attributed to something else» to be the essential feature of the predicate part; Secondly, there are important differences between them: 1) Aristotle considers «to be attributed to something else» to be merely the essential property of the Role of Predicate, but Frege considers it to be also the essential property of general concepts that replaces in this role, and therefore 2) Frege, against Aristotle, maintains that general concepts cannot be the subject of propositions. This viewpoint of Frege is based on the «Fundamental distinction between Object and Concept». Therefore the root of the differences between the two analyses should be sought in this assertion.. (shrink)

It is widely assumed that Russell's problems with the unity of the proposition were recurring and insoluble within the framework of the logical theory of his Principles of Mathematics. By contrast, Frege's functional analysis of thoughts (grounded in a type-theoretic distinction between concepts and objects) is commonly assumed to provide a solution to the problem or, at least, a means of avoiding the difficulty altogether. The Fregean solution is unavailable to Russell because of his commitment to the thesis that there (...) is only one ultimate ontological category. This, combined with Russell's reification of propositions, ensures that he must hold concepts and objects to be of the same logical and ontological type. In this paper I argue that, while Frege's treatment of the unity of the proposition has immediate advantages over Russell's, a deeper consideration of the philosophical underpinnings and metaphysical consequences of the two approaches reveals that Frege's supposed solution is, in fact, far from satisfactory. Russell's repudiation of the Fregean position in the Principles is, I contend, convincing and Russell's own position, despite its problems, conforms to a greater extent than Frege's with common sense and, furthermore, with certain ideas which are central to our understanding of the origins of the analytical tradition. (shrink)

Role realism is a promising realist theory of fictional names. Different versions of this theory have been suggested by Gregory Currie, Peter Lamarque, Stein Haugom Olsen, and Nicholas Wolterstorff. The general idea behind the approach is that fictional characters are to be analysed in terms of roles, which in turn can be understood as sets of properties. I will discuss several advantages and disadvantages of this approach. I will then propose a novel hyperintensional version of role realism, according to which (...) fictional names are analysed in terms of individual concepts that cannot be matched by a reference. I will argue that this account avoids the main disadvantages of standard role realism. (shrink)

Part 1 of the thesis questions the traditional relation model of intentionality. After fixing reference on the target phenomenon, intentionality, and explaining my interest in it, I ask what sorts of things intentionality might be a relation to. I consider ordinary objects, properties, propositions and hybrid views, and conclude all make the intentional relation appear rather mysterious. From there, I move on to examine the relation view’s most prominent proponents, the tracking theorists—pointing out some challenges such views face, and concluding (...) that it might be worthwhile looking into alternatives to the relation view. Part 2 asks whether the newly emerging phenomenal intentionality movement can provide a viable alternative to the relation model of intentionality. After focusing on a specific kind of phenomenal intentionality theory—something I call modificationism—I examine three such accounts. From there I go on to discuss some common complaints/challenges these kinds of views face, and consider how they might be addressed within the modificationist framework. In Part 3, I address what I call the problem of cognitive contact: how do our contentful mental states manage to make cognitive contact with the ordinary objects (e.g. tables and chairs) that they appear to. The problem is particularly acute for any version of phenomenal intentionality that denies the relation view, and has been given very little attention in the literature. I consider how a modificationist might address this problem, and conclude that though some avenues appear promising, there is nevertheless a great deal of work to be done if modificationism, and phenomenal intentionality theory, is to overcome this problem. (shrink)