Abstract: This article considers the conceptual connections between self-consciousness, objectivity, and time. The model of conceptual analysis employed examines the necessary conditions of the meaningfulness of expressions in language. In the course of this analysis two distinct options for the explanation of self-consciousness are identified and examined. According to the first (Strawsonian) view, self-consciousness is based upon the distinction between the self and other subjects of consciousness; according to the second (Kantian) view, self-consciousness is based upon the distinction between the (...) self and the world. The first option is rejected, and a variation of the second option is adopted. According to it, in self-consciousness one is conscious of oneself as a temporally extended point of view (consciousness) over an objective and temporal realm of reality. (shrink)

Many scholars are ready to accept that first person thought involves a special way w such that, for any thinker x, only x can access the first person way w of thinking about x. Standard articulations of this Frege-inspired view involve a rejection of the strict shareability of first person thought. I argue that this rejection eventually forces us to renounce an intuitively plausible characterisation of communication, and specifically, disagreement. This result invites us to explore alternative articulations which, still within (...) an overall Fregean framework, may better explain how first person thoughts reach out into a public, shareable dimension. Here I shape this possibility in terms of perspectives, i.e. ways of thinking that do not individuate concepts or thoughts. Perspectives, I submit, can serve to unproblematically accommodate basic disagreement in indexical cases and to outline the dynamic character of first person thought. (shrink)

I will argue that the ontological doctrine of physicalism inevitably entails the denial that there is anything conceptual in logic and mathematics. The elements of a formal system, even if they are tagged by suggestive names, are merely meaningless parts of a physically existing machinery, which have nothing to do with concepts, because they have nothing to do with the actual things. The only situation in which they can become meaning-carriers is when they are involved in a physical theory. But (...) in this role they refer to elements of the physical reality, i.e. they represent a physical concept. “Mathematical concepts” are just idols, that philosophy can completely deny and physics can completely ignore. (shrink)

Neologicists have sought to ground mathematical knowledge in abstraction. One especially obstinate problem for this account is the bad company problem. The leading neologicist strategy for resolving this problem is to attempt to sift the good abstraction principles from the bad. This response faces a dilemma: the system of ‘good’ abstraction principles either falls foul of the Scylla of inconsistency or the Charybdis of being unable to recover a modest portion of Zermelo–Fraenkel set theory with its intended generality. This article (...) argues that the bad company problem is due to the ‘static’ character of abstraction on the neologicist's account and develops a ‘dynamic’ account of abstraction that avoids both horns of the dilemma. 1 Introduction2ion Reconstructed3 From Bad to Worse4 Abstraction Reconceived5 Bad Company Made GoodA AppendixA.1SemanticsA.2LogicA.3ConsistencyA.4Strength. (shrink)

In this paper I present and assess a controversy between Edmund Husserl and Heinrich Rickert on the nature of judgment, in order to bring to light the originality of Husserl's proposal concerning this important issue. In the first section I provide some context for Rickert's theory of judgment by sketching a reconstruction of nineteenth century logical theory and then proceed to introduce Rickert's view. I suggest that nineteenth century logic is characterized by a criticism of the traditional view that sees (...) categorial judgment as the essential form of judgment and the uniting and separating of ideas as sufficient for the constitution of a judgment. Hume inaugurates this criticism, but it finds its most mature expression in the work of Lotze, Brentano, and Rickert. Rickert, in particular, sees simple affirmation and negation of the transcendent value of truth as the essence of judgment. In the second section I present Husserl's criticism of Rickert. Husserl's criticism revolves around the distinction between simple judgments and the higher-order affirmative or negative stance we can adopt with respect to previously articulated simple judgments. Simple judgments register the mereological relation holding among something and one of its properties, and they do not entail an affirmative or negative stance. Their function is to constitute states of affairs drawing on concrete perceptual situations. Higher-order affirmation or negation occurs when we set out to revisit a foregoing simple judgment in order to confirm or disconfirm the veridicality of its proposed state of affairs. In the third part I suggest a diagnosis of the origin of the mistake in earlier theories. Simple judgments are easy to conflate with non-simple, higher-order judgmental stances because they have the same logical value and they cannot be seen without the aid of genuinely phenomenological reflection. In conclusion, I suggest that Husserl's analysis amounts to a vindication of categorial judgment in its traditional form ‘S is P’, which continues to maintain a phenomenological legitimacy even in the wake of Frege's canonical dismissal of subject and predicate. (shrink)

At least since [Frege, 1960] and [Geach, 1965], there has been some consensus about the relation between negation, the speech act of denial, and the attitude of rejection: a denial, the consensus has had it, is the assertion of a negation, and a rejection is a belief in a negation. Recently, though, there have been notable deviations from this orthodox view. Rejectivists have maintained that negation is to be explained in terms of denial or rejection, rather than vice versa. Some (...) other theorists have maintained that negation is a separate phenomenon from denial, and that neither is to be explained in terms of the other. In this paper, I present and consider these heterodox theories of the relation between negation, denial, and rejection. (shrink)

In section 10 of Grundgesetze, Frege confronts an indeterm inacy left by his stipulations regarding his ‘smooth breathing’, from which names of valueranges are formed. Though there has been much discussion of his arguments, it remains unclear what this indeterminacy is; why it bothers Frege; and how he proposes to respond to it. The present paper attempts to answer these questions by reading section 10 as preparatory for the (fallacious) proof, given in section 31, that every expression of Frege's formal (...) language denotes. (shrink)

This paper sets out a new framework for discussing a long-standing problem in the philosophy of mathematics, namely the connection between the physical world and a mathematical domain when the mathematics is applied in science. I argue that considering counterfactual situations raises some interesting challenges for some approaches to applications, and consider an approach that avoids these challenges.

There are two dominant approaches to quantification: the Fregean and the Tarskian. While the Tarskian approach is standard and familiar, deep conceptual objections have been pressed against its employment of variables as genuine syntactic and semantic units. Because they do not explicitly rely on variables, Fregean approaches are held to avoid these worries. The apparent result is that the Fregean can deliver something that the Tarskian is unable to, namely a compositional semantic treatment of quantification centered on truth and reference. (...) We argue that the Fregean approach faces the same choice: abandon compositionality or abandon the centrality of truth and reference to semantic theory. Indeed, we argue that developing a fully compositional semantics in the tradition of Frege leads to a typographic variant of the most radical of Tarskian views: variabilism, the view that names should be modeled as Tarskian variables. We conclude with the consequences of this result for Frege's distinction between sense and reference. (shrink)

Philosophers of mathematics agree that the only interpretation of arithmetic that takes that discourse at 'face value' is one on which the expressions 'N', '0', '1', '+', and 'x' are treated as proper names. I argue that the interpretation on which these expressions are treated as akin to free variables has an equal claim to be the default interpretation of arithmetic. I show that no purely syntactic test can distinguish proper names from free variables, and I observe that any semantic (...) test that can must beg the question. I draw the same conclusion concerning areas of mathematics beyond arithmetic. This paper is a greatly extended version of my response to Stewart Shapiro's paper in the conference 'Structuralism in physics and mathematics' held in Bristol on 2–3 December, 2006. (shrink)

This paper has three aims. First, I aim to stress the importance of the issue of the dispositional/categorical distinction in the light of the evident failure of the traditional formulation, which is in terms of conditional entailment. Second, I consider one radical new alternative on offer from Ullin Place: intentionality as the mark of the dispositional. I explain the appeal of physical intentionality, but show it ultimately to be unacceptable. Finally, I suggest what would be a better theory. If we (...) take disposition ascriptions to be functional characterizations of properties, then we can explain all that was appealing about the new alternative without the unacceptable consequences. (shrink)

A shorthand symbolism for the relational mapping of categories is introduced and developed on the basis of Nelson Goodman's structural methodology. Through a reconstruction of extensional isomorphism that Goodman introduces as a criterion for definitional accuracy, and a brief reminder of the argument structure behind his ‘new riddle of induction’, Goodman's radical ontological relativism is turned into a protological principle of what I call ‘domain constituting philosophy’. MSS is demonstrated with reference to Goodman's symbol theory, particularly his notion of exemplification, (...) as well as in a final structured comparison of Frege's ‘sense’ with Goodman's straightforward construction of ‘secondary extension’. (shrink)

In this paper, I offer a pluralistic framework for disagreement and I develop a strategy to account for the varieties of disagreement on the basis of the varieties of the truth across different domains of discourse. Truth-pluralism is thus sufficient for delivering pluralism about disagreement—that is, diaphonic pluralism.

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)

A review essay on Peacocke's book A Study of Concepts. Raises questions about the role of the concept of finding an inference primitively compelling and questions of detail about the basic framework, its application to the systematicity of thought, the response to potential objections in the chapters on the metaphysics of concepts and naturalism, and the treatment of the concept of belief.

Some formal ontological relations are identified, in the context of an account of ontological categorization. It is argued that neither formal ontological relations nor ontological categories should themselves be regarded as elements of being, but that this does not undermine the claim of formal ontology to be a purely objective science. It is also argued that some formal ontological relations, like some ontological categories, are more basic than others. A four‐category ontology is proposed, in which two basic categories of universals (...) and two basic categories of particulars are distinguished in terms of certain formal ontological relations characteristically obtaining between entities belonging to the different categories. (shrink)

There are two dominant contradictory approaches towards understanding the nature of language: one, the epistemological approach; two, the ontological approach. The epistemological approach understands language as a mere tool and denies the close relationship between a word and the actual thing for which that word stands. The ontological approach, on the other hand, understands language as the disclosure of world experience and professes a close relationship between a word and the thing it signifies. However, this approach opposes the epistemological approach (...) towards the understanding of language. In this article, we propose that Hegel, in his Phenomenology of Spirit, depicts an interesting relationship between language and spirit which points towards the consistency between the two contradictory approaches towards the nature of language. For Hegel, language not only plays a role in spirit’s pursuit of self-knowledge which signifies the epistemological approach, but also in spirit’s existence which signifies the ontological approach. Thus, in Hegel’s Phenomenology of Spirit, the epistemological approach and the ontological approach towards the nature of language coexist. In this article, by turning to Hegel’s Phenomenology of Spirit and through an analysis of the relationship between language and spirit, we not only attempt to seek some resolution to the epistemology-ontology contradiction, but we also reveal the homogeneity of language and spirit, which we take as the true nature of language in Hegel’s philosophy. (shrink)

In this article, I distinguish Wittgenstein's conception of the dissolution of philosophical problems from that of Carnap. I argue that the conception of dissolution assumed by the therapeutic interpretations of the Tractatus is more similar to Carnap's than to Wittgenstein's for whom dissolution involves spelling out an alternative in the context of which relevant problems do not arise. To clarify this I outline a non‐therapeutic resolute reading of the Tractatus that explains how Wittgenstein thought to be able to make a (...) positive contribution to logic and the philosophy thereof without putting forward any (ineffable) theses. This explains why there is no paradox in the Tractatus. (shrink)

This is a discussion of self-knowledge in Hugh of St. Victor. It will yield the following three systematic results. First, it will be shown that there is a clear sense in which human self-knowledge is knowledge of one’s own rationality, and therefore knowledge of the proper object of one’s rational capacities (dunameis meta logou). Second, a distinction will be drawn between perfect and imperfect self-knowledge. Third, it will turn out that under conditions of perfect self-knowledge, all our rational capacities would (...) work like our capacity for perceptual knowledge. (shrink)

Gareth Evans and John McDowell have challenged the traditional reading of Frege according to which Frege accepted propositions that are not object dependent, i.e., propositions that can exist even though the proper names that occur in the sentences that express them do not refer. A consequence of the Evans‐McDowell interpretation of Frege is that if someone hallucinates that there is an oasis in front of her, then there is no thought of an oasis but only an illusion of a thought. (...) No reference entails no sense, and no sense entails no thought.This paper will focus on Frege's views on the issue and, in particular, whether there is any evidence that the mature Frege, i.e., after he introduced the sense/reference distinction, did not accept propositions that are not object dependent. It will also address one of the consequences of the Evans‐McDowell reading of Frege, arguing that they have ignored one of his important insights into natural languages. (shrink)

Although Kripke’s œuvre has had a major impact on analytic philosophy and nearly every aspect of his studies has been thoroughly examined, this does not hold for his schmidentity argument, which, so far, has been widely neglected. To the extent to which it has been treated at all, it has been for the most part radically misunderstood. I hold that this argument, in its correctly reconstructed form, has general relevance for a treatment of Frege’s Puzzle and points towards a fundamental (...) methodological restriction for philosophy of language and especially for semantics, as far as informativity and the general topic of cognitive significance are concerned. To show this, I will briefly set out the context of the schmidentity argument and, in Sects. 2 and 4, sketch a reconstruction thereof, including some criticisms of the argument, and an excursion about Kit Fine’s semantic relationism, which stands in stark contrast to this paper’s central claim. Moreover, I will draw a genuinely new and probably quite unexpected conclusion from all the above, to finally give a glimpse at a bigger picture of where this conclusion should lead our thinking about a theoretical treatment of informativity and a linguistic expression’s cognitive value. (shrink)

The evolution of the concept of function at the beginning of the 20th century in France after the definitions by Dirichlet and Riemann and the introduction of several pathological functions is studied. Some young mathematicians of those years made several attempts to propose a large class of functions as “accessible” objects. Their discussions, their purposes and polemics are reported often by their own words supported by a large bibliography. The contribution of some Italian mathematicians, as Vitali, is also underlined. Some (...) of such discussions are linked to the growth of measure and function theories, others will find mathematical answers in the modern theory of computability for real functions. (shrink)

The unique relation between logic and truth is crucial for understanding Fregean conception of logic. Frege has an insight that the nature of logic resides in the “truth“, which he finally locates in the assertoric-force of a sentence. Though Frege admits that assertoric-force is ineffable in ordinary language, he coins in his conceptual notation for such a force a much-disputed sign, i.e., judgment-stroke. In this paper, I will try to demonstrate that judgment-stroke is not adequate for the task its inventor (...) has assigned to it. Accordingly, it is misconceived and inconducive to clarify Frege’s vague insight into the protorelation. The mistake of judgment-stroke for the sign of assertoric-force has its root in Frege’s ignorance of the significant difference between “judgment” and assertion”, which will be elucidated at length in the light of Husserl’s theory of “doxic-modification“. In the end, based on a further elucidation of the activity of assertion, I will advance a tentative interpretation of the vague insight Frege has concerning the protorelation. (shrink)