This book offers an historically-informed critical assessment of Dummett's account of abstract objects, examining in detail some of the Fregean presuppositions whilst also engaging with recent work on the problem of abstract entities.

This volume includes a target paper, taking up the challenge to revive, within a modern (formal) framework, a medieval solution to the Liar Paradox which did ...

Gottlob Frege and Edmund Husserl are two seemingly different philosophers in their methodology. Both have significantly influenced Western philosophy in that their contributions established fields within philosophy that are of intensive study today. Still, their differences in methodology have, in certain instances, yielded similar or distinct results. Their results ranged from the distinction of sense and reference, objectivity, and the theory of mathematics: specifically, their definition of number. Frege and Husserl have such striking similarities in their theory of sense and (...) reference and related notions that from their apparent correspondence, Frege seems to have acknowledged the coincidences in their theories (Frege & Kluge, 1972) (Hill & Rosado Haddock Intro, 4, & 30-33). That is not to say there are exact parallels between Frege and Husserl and their results, as I will acknowledge their similarities and differences within scale. So, I intend to demonstrate their respective theories and results descriptively to show their likenesses while still recognizing their divergences in scope and methodology. Indirectly, I would also hope to illustrate the ties, in terms of subject matter, of these two philosophers who are historically considered at odds with one another; be it personally, in their schools of philosophy, or methodologically (Hartimo 47-53). (shrink)

Over the past fifty years the philosophy of language and mind has been dominated by a nondescriptivist approach to content and reference. This book attempts to recast and systematize that approach by offering an indexical model in terms of mental files. According to Recanati, we refer through mental files, the function of which is to store information derived through certain types of contextual relation the subject bears to objects in his or her environment. The reference of a file is determined (...) relationally, not satisfactionally, so a file is not to be equated to the body of (mis-)information it contains. Mental files are the mental equivalent of singular terms, and the reference of linguistic expressions is inherited from that of the files we associate with them. On this approach, mental files, the vehicles of singular thought, do all the work of so-called 'modes of presentation' in Fregean and neo-Russellian theories. (shrink)

I argue that absolutism, the view that absolutely unrestricted quantification is possible, is to blame for both the paradoxes that arise in naive set theory and variants of these paradoxes that arise in plural logic and in semantics. The solution is restrictivism, the view that absolutely unrestricted quantification is not possible. -/- It is generally thought that absolutism is true and that restrictivism is not only false, but inexpressible. As a result, the paradoxes are blamed, not on illicit quantification, but (...) on the logical conception of set which motivates naive set theory. The accepted solution is to replace this with the iterative conception of set. -/- I show that this picture is doubly mistaken. After a close examination of the paradoxes in chapters 2--3, I argue in chapters 4 and 5 that it is possible to rescue naive set theory by restricting quantification over sets and that the resulting restrictivist set theory is expressible. In chapters 6 and 7, I argue that it is the iterative conception of set and the thesis of absolutism that should be rejected. (shrink)

This essay is an attempt to explain Kantian transcendental idealism to contemporary metaphysicians and make clear its relevance to contemporary debates in what is now called ‘meta-metaphysics.’ It is not primarily an exegetical essay, but an attempt to translate some Kantian ideas into a contemporary idiom.

Jerrold J. Katz often explained his semantic theory by way of an analogy with physical atomism and an attendant analogy with chemistry. In this chapter, I track the origin and uses of these analogies by Katz, both in explaining and defending his decompositional semantic theory, through the various phases of his work throughout his career.

In the section “Validity and Existence in Logik, Book III,” I explain Lotze’s famous distinction between existence and validity in Book III of Logik. In the following section, “Lotze’s Platonism,” I put this famous distinction in the context of Lotze’s attempt to distinguish his own position from hypostatic Platonism and consider one way of drawing the distinction: the hypostatic Platonist accepts that there are propositions, whereas Lotze rejects this. In the section “Two Perspectives on Frege’s Platonism,” I argue that this (...) is an unsatisfactory way of reading Lotze’s Platonism and that the Ricketts-Reck reading of Frege is in fact the correct way of thinking about Lotze’s Platonism. (shrink)

Defends the view that understanding can be identified with knowledge of T-sentences against the classical criticisms of Foster and Soames.

The subject of mental processes or mental states is usually assumed to be an individual, and hence the boundaries of mental features – in a strict or metaphorical sense – are naturally regarded as reaching no further than the boundaries of the individual. This chapter addresses various philosophical developments in the 20th and 21st century that questioned this natural assumption. I will frame this discussion by fi rst presenting a historically infl uential commitment to the individualistic nature of the mental (...) in Descartes’ theory. I identify various elements in the Cartesian conception of the mind that were subsequently criticized and rejected by various externalist theories, advocates of the extended mind hypothesis and defenders of embodied cognition. Then I will indicate the main trends in these critiques. (shrink)

The book presents a thoroughly elaborated logical theory of generalized truth-values understood as subsets of some established set of truth values. After elucidating the importance of the very notion of a truth value in logic and philosophy, we examine some possible ways of generalizing this notion. The useful four-valued logic of first-degree entailment by Nuel Belnap and the notion of a bilattice constitute the basis for further generalizations. By doing so we elaborate the idea of a multilattice, and most notably, (...) a trilattice of truth values – a specific algebraic structure with information ordering and two distinct logical orderings, one for truth and another for falsity. Each logical order not only induces its own logical vocabulary, but determines also its own entailment relation. We consider both semantic and syntactic ways of formalizing these relations and construct various logical calculi. (shrink)

This thesis offers a naturalist revision of Alain Badiou’s philosophy. This goal is pursued through an encounter of Badiou’s mathematical ontology and theory of truth with contemporary trends in philosophy of mathematics and philosophy of science. I take issue with Badiou’s inability to elucidate the link between the empirical and the ontological, and his residual reliance on a Heideggerian project of fundamental ontology, which undermines his own immanentist principles. I will argue for both a bottom-up naturalisation of Badiou’s philosophical approach (...) to mathematics and a top-down naturalisation. Articulating my particular understanding of what realism and naturalism should commit us to, I propose a creative fusion of Badiou’s attention to metamathematical results with a structural-informational metaphysics, proposing a ‘matherialism’ uniting the more daring speculative insights of the former with the naturalist and empiricist commitments motivating the latter. (shrink)

O presente manual tem como intenção constituir um guia para uma disciplina introdutória de filosofia da linguagem. Foi elaborado a partir da leccionação da disciplina de Filosofia da Linguagem I na Faculdade de Letras da Universidade do Porto desde 2001. A disciplina de Filosofia da Linguagem I ocupa um semestre lectivo e proporciona aos estudantes o primeiro contacto sistemático com a área da filosofia da linguagem. Pretende-se que este manual ofereça aos estudantes os instrumentos necessários não apenas para acompanhar uma (...) iniciação ao campo da filosofia da linguagem mas também para o estudo e a investigação autónomos posteriores. Para isso é percorrido um trajecto que conduz das intuições pré-teóricas acerca de linguagem, de que todos dispomos, até um conhecimento disciplinar específico, histórico e temático, da filosofia da linguagem. Em termos práticos, são considerados como precedentes da disciplina de Filosofia da Linguagem I – mesmo se, pelo existem actualmente precedências em sentido estrito – as disciplinas de Lógica I e II e de Filosofia do Conhecimento I e II. Os programas dessas disciplinas nos últimos anos estiveram presentes por trás da elaboração do manual. (shrink)

The PhD thesis advances a new approach to vagueness as dispersion, comparing it with the main philosophical theories of vagueness in the analytic tradition.

To systematically answer two questions “how does language work?” and “where does linguistic meaning come from?” this paper argues for SocialConstructivism of Language and Meaning which consists of six theses: the primary function of language is communication rather than representation, so language is essentially a social phenomenon. Linguistic meaning originates in the causal interaction of humans with the world, and in the social interaction of people with people. Linguistic meaning consists in the correlation of language to the world established by (...) collective intentions of a language community. Linguistic meaning is based on the conventions produced by a language community in their long process of communication. Semantic knowledge is empirical and encyclopedic knowledge distilled and condensed, and the uses of language accepted by a linguistic community. Language and meaning change rapidly or slowly as the communicative practice of a linguistic community does. The crucial point of SCLM is to focus on the triadic relation among language, humans and the world, rather than the dyadic relation between language and the world. (shrink)

This dissertation is about the structure of thought. Following Gottlob Frege, I define a thought as the sort of content relevant to determining whether an assertion is true or false. The historical component of the dissertation involves interpreting Frege’s actual views on the structure of thought. I argue that Frege did not think that a thought has a unique decomposition into its component senses, but rather the same thought can be decomposed into senses in a variety of distinct ways. I (...) extend Frege’s position and use it to develop an account of the hierarchy of senses, the senses expressed by indexicals and demonstratives, and the distinction between logical and non-logical structure. I also discuss various connections with the nature of meta-representation, our capacity for reflective judgment, some aspects of the structure of conscious experience, the way we perceive regions of space and durations of time, and our conscious awareness of our own perceptions and events of thinking. (shrink)

This entry introduces the reader to the main ideas in Frege's philosophy of logic, mathematics, and language.

The notion of a "mental representation" is, arguably, in the first instance a theoretical construct of cognitive science. As such, it is a basic concept of the Computational Theory of Mind, according to which cognitive states and processes are constituted by the occurrence, transformation and storage (in the mind/brain) of information-bearing structures (representations) of one kind or another.

Alonzo Church (1903–1995) was a renowned mathematical logician, philosophical logician, philosopher, teacher and editor. He was one of the founders of the discipline of mathematical logic as it developed after Cantor, Frege and Russell. He was also one of the principal founders of the Association for Symbolic Logic and the Journal of Symbolic Logic. The list of his students, mathematical and philosophical, is striking as it contains the names of renowned logicians and philosophers. In this article, we focus primarily on (...) Church’s philosophical contributions. (For an account of his life and academic history see the Introduction to The Collected Works of Alonzo Church (2019).) However, we also discuss his mathematical results when it is desirable to do so in order to pursue a philosophical issue. (shrink)

There is an obvious difference between what a term designates and what it means. At least it is obvious that there is a difference. In some way, meaning determines designation, but is not synonymous with it. After all, “the morning star” and “the evening star” both designate the planet Venus, but don't have the same meaning. Intensional logic attempts to study both designation and meaning and investigate the relationships between them.

In this dissertation, I seek to explain G.W.F. Hegel’s view that human accessible conceptual content can provide knowledge about the nature or essence of things. I call this view “Conceptual Transparency.” It finds its historical antecedent in the views of eighteenth century German rationalists, which were strongly criticized by Immanuel Kant. I argue that Hegel explains Conceptual Transparency in such a way that preserves many implications of German rationalism, but in a form that is largely compatible with Kant’s criticisms of (...) the original rationalist version. After providing background on Hegel’s relationship to the traditional rationalist theory of concepts and Kant’s challenge to it, I claim that Hegel’s central task is to provide a theory of conceptual content that allows a relationship to the objective world without being dependent on the specifically sensory aspect of the world, which Kant’s theory of concepts required. Since many interpreters deny that Hegel’s use of the term “concept” is comparable to other historical philosophers (or our own), I first show that Hegel’s critique of standard conceptions of concepts presupposes an agreement of subject matter. I then show how Hegel’s account of the “formal concept” provides the skeleton for a view of conceptual content that relies on negative relations between terms, rather than a relation to sensibility, to provide content. Hegel’s account of conceptual content is completed when he shows how a universal term is further specified so that it can determine singular objects. This occurs in its adequate form in a teleological process. I argue that Hegel’s account of teleology in the Science of Logic is an attempt to explain how and where Conceptual Transparency obtains. A teleological process is one in which a concept constitutes an object, and this means that a concept is perfectly adequate to express that thing’s nature and not merely to represent it. However, in the final chapter, I show that Hegel’s concept of teleology is meant paradigmatically to illuminate how human purposive processes have constituted a social world that is conceptually accessible to us. In this way, the primary “province” of Hegel’s rationalism is the human constructed world. (shrink)

The theory of object-dependent singular thought is outlined and the central motivation for it, turning on the connection between thought content and truth conditions, is discussed. Some of its consequences for the epistemology of thought are noted and connections are drawn to the general doctrine of externalism about thought content. Some of the main criticisms of the object-dependent view of singular thought are outlined. Rival conceptions of singular thought are also sketched and their problems noted.

This thesis investigates the nature of the relation between mental representations in successful verbal communication, thought attribution, agreement, and disagreement — a relation which I call “samethinking”. The nature of samethinking raises several foundational questions about the nature of (non-natural) meaning, and the cognitive underpinnings of the emergence of culture. It bears on long-lasting puzzles in the philosophy of mind and language (such as Frege’s puzzle and Kripke’s puzzle about belief). Samethinking does not amount to sharing a reference (with “sharing" (...) I refer to two or more thinkers having something in common): it is more demanding. How can we explain and characterize this relation, more stringent than coreference, that is instantiated by a pair of thoughts when samethinking takes place? It is often assumed that this relation involves sharing a thought content more fine-grained than reference. In this thesis, I argue that the issue is more complex than what has been commonly assumed, and I suggest an alternative model in which sharing thought content is not necessary. (shrink)

I take issue with Glezakos’s explanation of why Frege’s puzzle is un-puzzling. On her view, Frege’s statement – how can sentences of the form a=a and a=b, if true, differ in cognitive value if they express the same semantic content/are made true by the same object’s self-identity? – should not be considered any puzzling either because it is on the whole circular, or because, neutrally stated, it cannot even be set up. I argue against this that if, as she takes (...) it, Frege’s statement is “problematic” it is not for the reasons she gives, but because it rests upon a couple of questionable assumptions: i) there is no ambiguity as to which aspect of the sign (in its relation to the referent) is relevant to a neutral statement of the puzzle ii) it is of the (sentence) forms themselves one may sensibly say they differ in cognitive value. (shrink)

According to the proximal theory of meaning, which is to be found in Quine’s early writings, meaning is determined completely by the correla-tion of sentences with sensory stimulations. Davidson tried to show that this theory is untenable because it leads to a radical form of skepticism. The present paper aims to show, first, that Davidson’s criticism is not sound, and, second, that nonetheless the proximal theory is untenable because it has a very similar and equally unacceptable consequence: it implies that (...) the truth-value of ordinary sentences like ‘Snow is white’ is completely determined by the properties of the speaker, not by the prop-erties of the objects to which these sentences refer. (shrink)

An investigation of what Frege means by his doctrine that functions (and so concepts) are 'unsaturated'. We argue that this doctrine is far less peculiar than it is usually taken to be. What makes it hard to understand, oddly enough, is the fact that it is so deeply embedded in our contemporary understanding of logic and language. To see this, we look at how it emerges out of Frege's confrontation with the Booleans and how it expresses a fundamental difference between (...) Frege's approach to logic and theirs. (shrink)

In this work I first develop, motivate, and defend the view that mereological composition, the relation between an object and all its parts collectively, is a relation of identity. I argue that this view implies and hence can explain the logical necessity of classical mereology, the formal study of the part-whole relation. I then critically discuss four contemporary views of the same kind. Finally, I employ my thesis in a recent discussion of whether the world is fundamentally one in number.

This paper argues against the claim that Frege is committed to an infinite hierarchy of senses. Carnap and Kripke, along with many others, argue the contrary; I expose where all such arguments go astray. Invariably these arguments assume (without citation) that Frege holds that sense and reference are always distinct. This is the fulcrum upon which the hierarchy is hoisted. The counter to this assumption is based on two important but neglected passages. The locution ‘indirect sense’ has no ontological significance (...) for Frege. It was just a ‘short expression’ (his term) to indicate that the customary relation between sign, sense, and reference is suspended in what he called the exception case of indirect context. Once the hierarchy is abandoned, the alleged problem of just what indirect sense is, as well as questions as to why Frege said so little about it and why he did not examine iterative indirect contexts are resolved. Of course, with no hierarchy, Davidson’s “unlearnability argument” turns out to be a non-starter. Some objections to my interpretation are considered and answered. Additionally, comparisons to Dummett’s one-level view of sense, which is similar to mine are made, as well as to some two-level views (Parsons and Skiba). (shrink)

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)

Gottfried Gabriel is interviewed by Todor Polimenov about the relationship between analytic and continental philosophy.

In his late fragment, ‘Sources of Knowledge of Mathematics and Natural Sciences’ Frege laments the tendency to confuse functions with objects and says, ‘It is here that the tendency of language by its use of the definite article to stamp as an object what is a function and hence a non-object, proves itself to be the source of inaccurate and misleading expressions and also of errors of thought. Probably most of the impurities that contaminate the logical source of knowledge have (...) their origins in this.’ This paper applies Frege’s logical insights to a series of influential modal arguments for the existence of souls or minds, in order to demonstrate that they hinge on the error of treating functions as objects. Related arguments have also resulted in the claim that identity statements are necessary, and that apparent identities ‘really’ involve relations of constitution. Here it is argued that once we recognise that all these arguments involve the assimilation of objects and concepts (which Frege identifies with functions) they can be seen to be defective. (shrink)

Provides a certain conception of the target of a theory of intentionality in terms of five properties (aboutness, non-existence, aspectuality, generality, and semantic normativity) and provides a guided tour of how different styles of theories of intentionality can meet up these requirements.

A speculative investigation of how Frege's logical views change between Begriffsschrift and Grundgesetze and how this might have affected the formal development of logicism.

In the first part of this paper I sketch a theory of indexical concepts within a broadly epistemic framework. In the second part I discuss and dismiss an argument due to Jerry Fodor, to the effect that any epistemic approach to concept individuation (including the theory of indexical concepts I will sketch) is doomed to failure.

Wittgenstein responds in his Notes on Logic to a discussion of Russell's Principles of Mathematics concerning assertion. Russell writes: "It is plain that, if I may be allowed to use the word assertion in a non-psychological sense, the proposition "p implies q" asserts an implication, though it does not assert p or q. The p and the q which enter into this proposition are not strictly the same as the p or the q which are separate propositions." (PoM p35) Wittgenstein (...) replies: "Assertion is merely psychological. In not-p, p is exactly the same as if it stands alone; this point is absolutely fundamental." (NB p95) Wittgenstein's response is intriguing, not least because of the centrality to his Tractatus of the idea that a proposition says something. This paper will examine that idea, distinguishing it from 'merely psychological' assertion, and explore in this context how we should understand the occurrence of a Tractarian proposition within another. (shrink)

Properties and facts play a central role within metaphysics, yet there is no widely accepted account of what constitutes a property or a fact. Traditional conceptions of these metaphysical notions raise serious philosophical puzzles, making the existence of each seem dubious. Drawing on the minimalist theory of truth, I argue in favor of a minimalist conception of properties and facts. A minimalist theory of properties and facts explains these matters in terms of the acceptance of trivial schemas. To make the (...) case that minimalism is a superior approach to properties and facts, I argue against the standard views in the philosophical literature. I argue that the minimalist approach to properties has advantages over realism, nominalism, and the trope theory. I argue that the minimalist approach to facts is superior to the standard treatment of facts on correspondence theories. Metaphysical minimalism, a minimalist metaphysics of properties and facts, is a distinct and superior alternative to the theories of properties and facts currently on offer.Iako svojstva i činjenice u metafizici igraju središnju ulogu, ne postoji usuglašen opis toga što sačinjava svojstvo ili činjenicu. Tradicionalne koncepcije tih metafizičkih pojmova povlače za sobom ozbiljne filozofske zagonetke, zbog kojih se postojanje i svojstava i činjenica čini dvojbenim. Oslanjajući se na minimalističku teoriju istine, iznosim argumente u prilog minimalističkoj koncepciji svojstava i činjenica. Minimalistička teorija objašnjava svojstva i činjenice na osnovi prihvaćanja trivijalnih shema. Kako bih dokazao da je minimalizam nadmoćan pristup svojstvima i činjenicama, iznosim argumente protiv standardnih gledišta u filozofskoj literaturi. Tvrdim da minimalistički pristup svojstvima ima prednosti u odnosu na realizam, minimalizam i teoriju tropa. Tvrdim da je minimalistički pristup činjenicama nadmoćan standardnom shvaćanju činjenica u teorijama korespondencije. Metafizički minimalizam, minimalistička metafizika svojstava i činjenica, neovisna je i nadmoćna alternativa postojećim teorijama svojstava i činjenica. (shrink)

This paper is divided in five sections. Section 11.1 sketches the history of the distinction between speech act with negative content and negated speech act, and gives a general dynamic interpretation for negated speech act. “Downdate semantics” for AGM contraction is introduced in Section 11.2. Relying on semantically interpreted contraction, Section 11.3 develops the dynamic semantics for constative and directive speech acts, and their external negations. The expressive completeness for the formal variants of natural language utterances, none of which is (...) a retraction, has been proved in Section 11.4. The last section gives a laconic answer to the question posed in the title of the paper. (shrink)

The following thesis starts from the question «why be moral?» and adresses an action-theoretic strategy for answering this question in the positive by reference to the constitutive natur of actions. In these debates, the epistemology of action has turned into a central issue. The thesis adresses these debates and develops a novel account of the epistemology: an account that may well turn out to provide a ground for the aforementioned constitutivist strategies.

Paper responding to critique of Maurin (2002) presented by Herbert Hochberg in his “Relations, Properties and Particulars” (2004).

The theory of object-dependent singular thought is outlined and the central motivation for it, turning on the connection between thought content and truth conditions, is discussed. Some of its consequences for the epistemology of thought are noted and connections are drawn to the general doctrine of externalism about thought content. Some of the main criticisms of the object-dependent view of singular thought are outlined. Rival conceptions of singular thought are also sketched and their problems noted.

Jerry Fodor has argued that virtually all lexical concepts are innate. I argue against this position, but not, as other have done, on the grounds that the arguments against lexical decomposition upon which Fodor relies are flawed. Rather, I argue that even if lexical concepts cannot be decomposed, the possession conditions for having lexical concepts are nonetheless not innately satisfied.