Some recently-proposed counterexamples to the traditional definition of essential property do not require a separate logic of essence. Instead, the examples can be analysed in terms of the logic and theory of abstract objects. This theory distinguishes between abstract and ordinary objects, and provides a general analysis of the essential properties of both kinds of object. The claim ‘x has F necessarily’ becomes ambiguous in the case of abstract objects, and in the case of ordinary objects there are various ways (...) to make the definition of ‘F is essential to x’ more fine-grained. Consequently, the traditional definition of essential property for abstract objects in terms of modal notions is not correct, and for ordinary objects the relationship between essential properties and modality, once properly understood, addresses the counterexample. (shrink)

Konolige''s technical notion of belief based on deduction structures is briefly reviewed and its usefulness for the design of artificial agents with limited representational and deductive capacities is pointed out. The design of artificial agents with more sophisticated representational and deductive capacities is then taken into account. Extended representational capacities require in the first place a solution to the intensional context problems. As an alternative to Konolige''s modal first-order language, an approach based on type-free property theory is proposed. It considers (...) often neglected issues, such as the need for a more general account of thede dicto-de re distinction, and quasi-indicators. Extended deductive capacities require a subdivision of Konolige''s notion of belief into two distinct technical notions,potential anddispositional belief. The former has to do with what an artificial agent could in principle come to actively believe, given enough time and its specific logical competence; the latter with what an agent can be assumed to believe with respect to a specific goal to be fulfilled. (shrink)

In “Double Vision Two Questions about the Neo-Fregean Programme”, John MacFarlane’s raises two main questions: (1) Why is it so important to neo-Fregeans to treat expressions of the form ‘the number of Fs’ as a species of singular term? What would be lost, if anything, if they were analysed instead as a type of quantifier-phrase, as on Russell’s Theory of Definite Descriptions? and (2) Granting—at least for the sake of argument—that Hume’s Principle may be used as a means of implicitly (...) defining the number operator, what advantage, if any, does adopting this course possess over a direct stipulation of the Dedekind-Peano axioms? This paper attempts to answer them. In response to the first, we spell out the links between the recognition of numerical terms as vehicles of singular reference and the conception of numbers as possible objects of singular, or object-directed, thought, and the role of the acknowledgement of numbers as objects in the neo-Fregean attempt to justify the basic laws of arithmetic. In response to the second, we argue that the crucial issue concerns the capacity of either stipulation—of Hume’s Principle, or of the Dedekind-Peano axioms—to found knowledge of the principles involved, and that in this regard there are crucial differences which explain why the former stipulation can, but the latter cannot, play the required foundational role. (shrink)

Descriptions are phrases of the form ‘an F’, ‘the F’, ‘Fs’ and ‘the Fs’. They can be indefinite (e.g., ‘an F’ and ‘Fs’), definite (e.g. ‘the F’ and ‘the Fs’), singular (e.g., ‘an F’, ‘the F’) and plural (e.g., ‘the Fs’, ‘Fs’). In English plural indefinite descriptions lack an article and are for that reason also known as ‘bare plurals’.

In this contribution, we offer a contextualist analysis of names whereby a name N is used as a felicitous referential term in all and only those contexts of utterance in which N is intended to refer to a unique referent by all cognitive agents that are relevant in the context. This analysis has important across-the-board virtues. It reduces the distance between common nouns and names, under the insight that names are a highly specific case of a more general phenomenon consisting (...) in the pragmatic modulation of the meaning of common nouns. It successfully ties to an important body of syntactic evidence, and contributes to elucidate, in an original and productive manner, many of the unsolved issues concerning the syntactic structure of (complex) names. Finally, it makes a number of philosophical puzzles virtually dissolve without giving up rigid reference for names, but crucially suggesting that the causal theory of reference becomes far-fetched once the linguistic structure of names and their actual use in language and cognition have been carefully evaluated. (shrink)

"Truth-conditional semantics is by far the best-known philosophical contribution of Donald Davidson. The main idea of this approach is to explain the concept of meaning by appeal to the concept of truth. Accordingly, we understand a sentence s of a natural language L, if and only if, we know its truth-conditions. Challenging in its nature, this proposal immediately caught the attention of the philosophical community, being equally appreciated and criticized. The aim of this paper is to argue that Davidson’s approach (...) is too optimistic in its goals. In my view, truth-conditional semantics is unlikely to be the best way to shed light on the concept of meaning. By appealing to Tarski’s semantic conception of truth and assuming a primitive concept of truth, this perspective leaves too many questions unanswered and thus proves its limits. Keywords: Donald Davidson, meaning, truth, Truth-Conditional Semantics. ". (shrink)

This paper examines Ralph Barton Perry's analysis of the ‘ego-centric predicament’. It will be shown that Perry convincingly argued against prevailing contemporary versions of idealism and that it makes perfectly good sense to consider him a precursor of subsequent trends in American analytic philosophy. Perry's appraisal and promotion of the contemporary logic of relations in the framework of early twentieth-century American neorealism provides further evidence of his being a proto-analytic philosopher. His personal acquaintance with Bertrand Russell proved instructive in this (...) regard. On the whole, Perry's distinctive approach to philosophy was instrumental in establishing the analytic style of reasoning in the United States. This paper is devoted to substantiating this claim. It is thus hoped that a clearer picture of early twentieth-century American philosophy will begin to emerge. (shrink)

Peter Winch believed that the central task of philosophy was to investigate ‘the force of the concept of reality’ in human practices. This involved creative dialogue with critical metaphysics. In ‘Ceasing to Exist’, Winch considered what it means to judge that something unheard-of has happened. Referring to Wittgenstein, Winch argued that judgments concerning reality must relate our observations to a shared ‘flow of life’. This implies criticism of the form of epistemology associated with metaphysical realism. Just as, according to Wittgenstein, (...) a sentence has no fixed meaning in isolation, an observation does not constitute knowledge outside shared human practices. (shrink)

Bertrand Russell’s _Principles of Mathematics_ (1903) gives rise to several interpretational challenges, especially concerning the theory of denoting concepts. Only relatively recently, for instance, has it been properly realised that Russell accepted denoting concepts that do not denote anything. Such empty denoting concepts are sometimes thought to enable Russell, whether he was aware of it or not, to avoid commitment to some of the problematic non-existent entities he seems to accept, such as the Homeric gods and chimeras. In this paper, (...) I argue first that the theory of denoting concepts in _Principles of __Mathematics_ has been generally misunderstood. According to the interpretation I defend, if a denoting concept shifts what a proposition is about, then the aggregate of the denoted terms will also be a constituent of the proposition. I then show that Russell therefore could not have avoided commitment to the Homeric gods and chimeras by appealing to empty denoting concepts. Finally, I develop what I think is the best understanding of the ontology of _Principles of __Mathematics_ by interpreting some difficult passages. (shrink)

Will it rain tomorrow? Will there be a sea battle tomorrow? Will my death be painful? Wondering about the future plays a central role in our cognitive lives. It is integral to our inquiries, our planning, our hopes, and our fears. The aim of this paper is to consider various accounts of future contingents and the implications that they have for wondering about the future. I argue that reflecting on the nature of wondering about the future supports an Ockhamist account (...) of future contingents according to which many of them are true. Alternative accounts which maintain that no future contingents are true, either by claiming that they are all false or by claiming that they are neither true nor false, face difficulties concerning why it is appropriate to wonder about them. Reflecting on wondering in general, and wondering about the future in particular, suggests that in wondering how the future will go, we implicitly assume that there is a determinate fact of the matter. After presenting an attractive account of interrogative attitudes that has been recently proposed by Jane Friedman and outlining some norms governing wondering, I argue that all accounts of future contingents except Ockhamism face difficulties concerning why it is appropriate to wonder about them. (shrink)

Chastain and Sawyer, among others, claim that direct cognitive relations can be initiated in evidence cases. Direct cognitive relations will here include Chastain’s knowledge-of and Sawyer’s trace-based acquaintance, as well as related notions such as having-in-mind and singular thought. Against this controversial claim, it is often objected that such cases are better understood as cases of inference rather than cases of direct thought. When one detects something by its footprint, the objection goes, one merely infers that it exists rather than (...) thinking of it directly. The goal of this paper is to analyze what is meant by the inference objection and consider several possible responses to it. Ultimately, I will not offer a knock-down argument against the inference explanation; in fact, I’ll try to explain why I suspect one isn’t possible. Instead, I’ll appeal to the possibility of misdescription and analogous cases involving non-human animals to show that the inference explanation is less plausible than the account to which it provides an alternative. (shrink)

This paper aims to solve the following twofold problem. Suppose that a rational speaker, Ralph, mistakenly takes (for some reason) the Roman orator Cicero and the World War II German spy Cicero to be the same individual. By sincerely uttering the sentence “Cicero is an orator and a spy”, (a) does Ralph use the name “Cicero” of the Roman orator or the name “Cicero” of the German spy or another name of the genus “Cicero”? And (b) which Cicero does Ralph (...) refer to: the Roman orator, the German spy, both of them or neither of them? After drawing a distinction between the notion of mistaking one individual for another (exemplified by Kripke's “Jones”/“Smith” case and Putnam's “water”/“water” case) and the notion of wrongly taking two individuals to be one and the same individual (exemplified by the “Cicero”/“Cicero” case under discussion), I will defend the following solution to the last puzzling case: Ralph inadvertently creates an abstract individual playing the role of “fusion” or “amalgam” of the two Ciceros and also inadvertently creates a new name “Cicero” referring to such an individual. (shrink)

This article makes a case for wide reflective equilibrium in doing African epistemology. It argues that on the issue of formulating a viable theory of knowledge, such an approach is more promising than the extant dominant approaches, namely the method of ethno-epistemology and the method of particularistic studies. More specifically, wide reflective equilibrium articulates a proper balance between philosophy and culture and endows a theory of knowledge with multiple sources of normativity.

Contrary to received opinion, the Aristotelian Square of Opposition (square) is logically sound, differing from standard modern predicate logic (SMPL) only in that it restricts the universe U of cognitively constructible situations by banning null predicates, making it less unnatural than SMPL. U-restriction strengthens the logic without making it unsound. It also invites a cognitive approach to logic. Humans are endowed with a cognitive predicate logic (CPL), which checks the process of cognitive modelling (world construal) for consistency. The square is (...) considered a first approximation to CPL, with a cognitive set-theoretic semantics. Not being cognitively real, the null set Ø is eliminated from the semantics of CPL. Still rudimentary in Aristotle’s On Interpretation (Int), the square was implicitly completed in his Prior Analytics (PrAn), thereby introducing U-restriction. Abelard’s reconstruction of the logic of Int is logically and historically correct; the loca (Leaking O-Corner Analysis) interpretation of the square, defended by some modern logicians, is logically faulty and historically untenable. Generally, U-restriction, not redefining the universal quantifier, as in Abelard and loca, is the correct path to a reconstruction of CPL. Valuation Space modelling is used to compute the effects of U-restriction. (shrink)

In §442 of Philosophical Investigations Wittgenstein criticizes the application of Russell’s theory of descriptions to the sentence in the title without mentioning Russell or his theory. Wittgenstein is making a general point of wider interest. I have two aims. The first is to situate Wittgenstein’s critique within the larger theoretical setting of Russell’s theory of descriptions and Frege’s theory of indirect reference in light of the familiar problem of quantifying into attitude contexts. The second is to draw broader methodological implications (...) from the foregoing for how best to think of the role of individual semantic paraphrases within the formal semantic study of natural language. (shrink)

Non-bivalent semantics of the future tense assert that propositions regarding future contingents are neither true nor false. One of the most relevant non-bivalent semantics is supervaluationism :264–281, 1970; Thomason, in: Gabbay, Guenthner Handbook of philosophical logic, Springer, Berlin, 1984), which preserves important logical principles. Recently, non-bivalent semantics are under attack from some pragmatics arguments: these semantics would be incompatible with our practices of asserting future contingents and with the probability we ascribe to such assertions :251–271, 2014; Cariani and Santorio in (...) Mind 127:129–165, 2018). The aim of this paper is to defend supervaluationism against this kind of criticism. We argue that, if probability is interpreted as the subjective belief in a proposition and if a semantic contextualism is adopted, supervaluationism makes correct predictions concerning the norms that govern our practices of asserting future contingents. Obviously, other arguments can be proposed against supervaluationism, but they must be of a different kind, such as metaphysical arguments. (shrink)

In this paper, we present and discuss the findings of two experiments about reference change. Cases of reference change have sometimes been invoked to challenge traditional versions of semantic externalism, but the relevant cases have never been tested empirically. The experiments we have conducted use variants of the famous Twin Earth scenario to test folk intuitions about whether natural kind terms such as ‘water’ or ‘salt’ switch reference after being constantly (mis)applied to different kinds. Our results indicate that this is (...) indeed so. We argue that this finding is evidence against Saul Kripke’s causal-historical view of reference, and at least provisional evidence in favor of the causal source view of reference as suggested by Gareth Evans and Michael Devitt. (shrink)

Definite articles and demonstratives share many features in common including a related etymology and a number of parallel communicative functions. The following paper is concerned with developing a novel proposal on how to distinguish the two types of expression. First, crosslinguistic evidence is presented to argue that demonstratives contain locational markers that are employed in deictic uses to force contrastive focus and accentuate an intended referent against a contextual background. Conversely, definite articles lack such markers. Demonstratives are thus more likely (...) to force referential interpretations, whereas definite descriptions are more open to attributive ones. Second, an analysis of determiner phrases is provided to illustrate that certain syntactic projections capture deictic differences between the two expressions. Semantic correlates of the proposal are then considered before it is situated with respect to contemporary work distinguishing the two categories on the basis of a non‐redundancy condition (that the overt noun phrase complement of a demonstrative may not denote a singleton set), which I suggest is derivative on the presence of contrastive deictic markers in demonstratives. (shrink)

To solve the referential sub-problem of negative existentials one must explain why we interpret uses of, e.g., ‘Sherlock Holmes doesn’t exist’ as saying something coherent and intuitively true, even though the speaker purports to refer to something. Pragmatic Meinongism solves this problem by allowing ‘does not exist’ to be pragmatically modulated to express an inclusive sense under which it can be satisfied by something. I establish three points in defense of pragmatic Meinongism: (i) it is superior to Russell-inspired solutions; (ii) (...) it is supported by independent evidence of pragmatic modulation; and (iii) it requires no dubious ontological commitments. (shrink)

ABSTRACT The purpose of this paper is to bring out, by means of a simple thought experiment involving demonstratives, a discrepancy between what is expressed and what is believed, and to consider some consequences of this - most notably, whether we might hold, for example, that the ancients never believed that Hesperus is not Phosphorus. RESUMO O objetivo deste artigo é apresentar, por meio de um experimento mental simples envolvendo demonstrativos, uma discrepância entre o que é expresso e o que (...) se acredita, e considerar algumas consequências disso - principalmente se podemos sustentar, por exemplo, que os antigos nunca acreditaram que Hesperus não é Phosphorus. (shrink)

It is usually taken for granted that a necessary condition for knowing that P is the truth of P. It may therefore be claimed that if we assume that we gain some kind of knowledge through fiction (let us call it fictional knowledge) of P*, then P* should be true—in at least a certain sense. My hypothesis is that this assumption grounds the different ways adopted by philosophers for attributing truth-conditions to fictional sentences. My claim in this work is that (...) fictional sentences do not have truth-values and truth-conditions, but I want to maintain that we gain some kind of knowledge through fiction: to this aim, I will characterize the objective content of fictional sentences not in terms of truth-conditions (which are usually described by appealing to rules of the language or rules of interpretation of language independent of the actual users), but in dispositional terms and I will define a necessary condition for fictional knowledge accordingly. (shrink)

Sentences in context have semantic contents determined by a range of factors both internal and external to speakers. I argue against the thesis that semantic content is transparent to speakers in the sense of being immediately accessible to speakers in virtue of their linguistic competence.

ABSTRACT Is it possible to effect singular reference to mathematical objects in the abstractionist framework? I will argue that even if mathematical expressions pass the relevant syntactic and inferential tests to qualify as singular terms, that does not mean that their semantic function is to refer to a particular object. I will defend two arguments leading to this claim: the permutation argument for the referential indeterminacy of mathematical terms, and the argument from the semantic idleness of the terms introduced by (...) abstraction principles. (shrink)

Intentionality may be dealt with in two different ways: either ontologically, as an ordinary relation to some extraordinary objects, or epistemologically, as an extraordinary relation to some ordinary objects. This paper endorses the epistemological view in order to provide a model of semiotic intentionality defined as the meaning-and-cognizing process that constitutes to power of the mind to be about something on the basis of a semiotic system. After a short introduction that presents the components of semiotic intentionality (viz. sign, act, (...) content, referent) along with their division into an intending and a fulfilling side (Sect. 1), the first main part of the paper analyzes semiotic intentionality at its primary level (a.k.a. 'concrete intentionality') as a real and subjective relation between meaning-intending and meaning-fulfilling acts grounded in the manipulation of some semiotic system (Sect. 2). Then, building on such concrete intentionality, the second main part of the paper analyzes semiotic intentionality at its secondary level (a.k.a. 'abstract intentionality') as an ideal and objective relation between intentional and fulfillment contents, which in turn: (i) proceed from an abstraction performed on the intending and fulfilling acts, respectively, and (ii) retroactively categorize the intending and fulfilling acts, respectively (Sect. 3). Finally, from this combination of an act-based conception of content with a presentationalist account of intentionality, the conclusion of this paper produces the intended model of semiotic intentionality in such a way that knowledge and truth are then respectively defined in it as the subjective correspondence between the two acts of concrete intentionality and as the objective correspondence between the two contents of abstract intentionality (Sect. 4). (shrink)

In this paper, the authors briefly summarize how object theory uses definite descriptions to identify the denotations of the individual terms of theoretical mathematics and then further develop their object-theoretic philosophy of mathematics by showing how it has the resources to address some objections recently raised against the theory. Certain ‘canonical’ descriptions of object theory, which are guaranteed to denote, correctly identify mathematical objects for each mathematical theory T, independently of how well someone understands the descriptive condition. And to have (...) a false belief about some particular mathematical object is not to have a true belief about some different mathematical object. (shrink)

This paper embeds a theory of proper names in a general approach to singular reference based on type‐free property theory. It is proposed that a proper name “N” is a sortal common noun whose meaning is essentially tied to the linguistic type “N”. Moreover, “N” can be singularly referring insofar as it is elliptical for a definite description of the form the “N” Following Montague, the meaning of a definite description is taken to be a property of properties. The proposed (...) theory fulfils the major desiderata stemming from Kripke's works on proper names. (shrink)

By way of their genre, inaugural lectures are condensed and rather broad since they are addressed to a mixed audience. The following theses develop and defend my thoughts on the ‘justified religiou...

Two general principles have played a crucial role in the recent debate on concepts. On the one hand, we want to allow different subjects to have the same concepts, thus accounting for concept publicity: concepts are ‘the sort of thing that people can, and do, share’. On the other hand, a subject who finds herself in a so-called ‘Frege case’ appears to have different concepts for the same object: for instance, Lois Lane has two distinct concepts SUPERMAN and CLARK KENT (...) which refer to the same person. Several theories have tried to meet both of these constraints at the same time. But should we really try to satisfy both principles? This paper will argue that the traditional project of fulfilling these two constraints has been a misguided one. Through a variation on classic identity mistake cases, I will show that our two desiderata are inconsistent: it would thus be impossible to incorporate both of them in our best theory of concepts. (shrink)

The causal theory of reference (CTR) provides a well-articulated and widely-accepted account of the reference relation. On CTR the reference of a term is fixed by whatever property causally regulates the competent use of that term. CTR poses a metaethical challenge to realists by demanding an account of the properties that regulate the competent use of normative predicates. CTR might pose a challenge to ethical theorists as well. Long argues that CTR entails the falsity of any normative ethical theory. First-order (...) theory attempts to specify what purely descriptive property is a fundamental right-making property (FRM). Long contends that the notion that the FRM causally regulates competent use of the predicate ‘right’ leads to a reductio. The failure of this argument is nevertheless instructive concerning a point at which ethics and metaethics overlap. (shrink)

I propose and defend a surprisingly simple yet useful analysis of existence according to which existence is a relation between a thing and a set: a thing x bears the relation of existence to a set S if and only if x is a member of S . This simple set-theoretic analysis of existence demystifies existence and is powerful and flexible enough to serve important theoretical purposes.

The object of this paper is to study the analogy, drawn both positively and negatively, between mathematics and fiction. The analogy is more subtle and interesting than fictionalism, which was discussed in part I. Because analogy is not common coin among philosophers, this particular analogy has been discussed or mentioned for the most part just in terms of specific similarities that writers have noticed and thought worth mentioning without much attention's being paid to the larger picture. I intend with this (...) analogy (looking at others' comparisons) to shed a little light on what is going on in mathematics, how one can understand it a bit other than experientially. This intention is philosophical and the way that I am attempting to accomplish it is also philosophical. I shall conclude my attempt to explain how it is possible and even natural for mathematics and fiction to have the analogy they have, taking it for granted, as argued in part I, that they are not to be identified. To this end I shall discuss philosophers' comparisons, mainly those of Hodes, Resnik, Tharp, and Wagner, who are the writers that seem to me to have written most thoughtfully and sufficiently extensively about fiction in making the comparison and of Körner, whose comparison is different. Whether either of these comparisons or the more general analogy is of permanent philosophical interest will have to be decided by philosophers now that they have had a fuller examination. I shall mention some other writers' reference to fiction, but not all; indeed, I am sure that I have not even found all the comparisons that there are. (shrink)

I compare Russell’s theory of mathematical functions, the “descriptive functions” from Principia Mathematica ∗30, with Frege’s well known account of functions as “unsaturated” entities. Russell analyses functional terms with propositional functions and the theory of definite descriptions. This is the primary technical role of the theory of descriptions in P M . In Principles of Mathematics and some unpublished writings from before 1905, Russell offered explicit criticisms of Frege’s account of functions. Consequenly, the theory of descriptions in “On Denoting” can (...) be seen as a crucial part of Russell’s larger logicist reduction of mathematics,aswellasanexcursionintothetheoryof reference.
. (shrink)