The standard version of the story of Russell's theory of types gives legitimately precedence to the vicious circle principle, but it fails to appreciate the significance of the doctrine of incomplete symbols and of the ultimate universalist perspective of Russell's logic. It is what the Author tries to do. This enables him to resolve the apparent contradiction which exists in "Principles" between the ontological commitment of the theory itself with respect to individuals, propositions, and functions, and the inventory of the (...) world, according to which there are only individuals and elementary facts. (shrink)

This second volume continues Richard Routley’s explorations of an improved Meinongian account of non-referring and intensional discourse. It focuses on the essays 2 through 7 of the original monograph, Exploring Meinong’s Jungle and Beyond, following on from the material of the first volume and explores its implications of the Noneist position. It begins with a further development of noneism in the direction of an ontologically neutral chronological logic and associated metaphysical issues concerning existence and change. What follows includes: a detailed (...) response to Quine’s On What There Is; a defense against further objections to noneism; a detailed account of Meinong’s own position; arguments in favour of noneism from common-sense; and a noneist analysis of fictional discourse. We present these essays separately and provide additional scholarly commentaries from a range of philosophers including Fred Kroon, Maria Elisabeth Reicher-Marek and a previously unpublished commentary on noneism by J.J.C. Smart. (shrink)

(1) Every miner went to a meeting. It seems that (1) can mean either that there was one meeting that every miner went to, or that every miner went to at least one meeting with no guarantee that they all went to the same meeting. In the language of first-order logic we can represent these two readings as a matter of the universal and existential quantifiers having different scope with respect to each other.

The sentences that contain empty definite descriptions are sometimes perceived to be truth-valueless and sometimes perceived to be false. Strawson offered an account of this phenomenon. However, his proposal is empirically inadequate, as shown by von Fintel. von Fintel proposes an alternative account based on a mechanism of belief revision. In this paper, I argue that sentences with multiple failing presuppositions pose a problem for von Fintel’s account. Furthermore, I discuss two variants of von Fintel’s theory proposed by Elbourne to (...) see whether they fare any better than the original. The second variant yields an incorrect prediction for the cases at hand. However, the first variant can account for the problematic examples if the false presuppositions are processed in turn. I will propose a revision of this variant that enforces distinct applications of the mechanism for each presupposition. (shrink)

The description of named entities in terminological knowledge bases has never been addressed in any depth in terminology. Firm preconceptions, rooted in philosophy, about the only referential function of proper names have presumably led to disparage their inclusion in terminology resources, despite the relevance of named entities having been highlighted by prominent figures in the discipline of terminology. Scholars from different branches of linguistics depart from the conservative stance on proper names and have foregrounded the need for a novel approach, (...) more linguistic than philosophical, to describing proper names. Therefore, this paper proposed a linguistic and terminological approach to the study of named entities when used in scientific discourse, with the purpose of representing them in EcoLexicon, an environmental knowledge base designed according to the premises of Frame-based Terminology. We focused more specifically on named rivers mentioned in a coastal engineering corpus. Inclusion of named entities in terminological knowledge bases requires analyzing the context that surrounds them in specialized texts because these contexts convey specialized knowledge about named entities. For the semantic representation of context, this paper thus analyzed the local syntactic and semantic contexts that surrounded potamonyms in coastal engineering texts and described the semantic annotation of the predicate-argument structure of sentences where a potamonym was mentioned. The semantic variables annotated were the following: semantic category of the arguments; semantic role of the arguments; semantic relation between the arguments; and lexical domain of the verbs. This method yielded valuable insight into the different semantic roles that named rivers played, the entities and processes that participated in the events educed by potamonyms through verbs, and how they all interacted. Furthermore, since arguments are specialized terms and verbs are relational constructs, the analysis of argument structure led to the construction of semantic networks that depicted specialized knowledge about named rivers. These conceptual networks were then used to craft the thematic description of potamonyms. Accordingly, the semantic network and the thematic description not only constituted the representation of a potamonym in EcoLexicon, but also allowed the geographic contextualization of specialized concepts in the terminological resource. (shrink)

Philosophy Without Ambiguity: A Logico‐linguistic Essay. By JAY DAVID ATLAS The Limits to Debate: A Revised Theory of Semantic Presupposition. By NOEL BURTON‐ROBERTS From Reading to Neurons. By DAVID CAPLAN From Neuropsychology to Mental Structure. By TIM SHALLICE.

In this paper, I will present a puzzle for logical analyses, such as Russell’s analysis of definite descriptions and Recanati’s analysis of ‘that’-clauses. I will argue that together with Kripke’s disquotational principles connecting sincere assent and belief such non-trivial logical analyses lead to contradictions. Following this, I will compare the puzzle about logical analysis with Frege’s puzzle about belief ascriptions. We will see that although the two puzzles do have similarities, the solutions to Frege’s puzzle cannot be applied mutatis mutandis (...) to the puzzle about logical analysis. Hence, to say it with Kripke, the main thesis of this paper is that the puzzle is a puzzle. A complete solution to the puzzle promises a better understanding of both logical analyses and belief ascriptions. (shrink)

Putting it very crudely, it might be said that in the much discussed opening three chapters that make up the section “Consciousness” of his Phenomenology of Spirit Hegel sketches and “test-drives” various models for a consciousness able to experience and know the world.1 Kant had thought of objects of experience as necessarily having conceptual (as well as spatio-temporal) form, but non-conceptual (“intuitional”) content. But for Hegel, that objects show themselves to have a conceptual form emerges as one the first lessons (...) of experience as tracked in Chapter 1. Moreover, in contrast to Kant’s focus on the unity and stability of such form, Hegel wants to display a series in which successive “shapes of consciousness” emerge from the resolution of contradictions affecting their predecessors.2 We might say that while Kant had famously asserted the identity of “the conditions of the possibility of experience in general” and the “conditions of the possibility of the objects of experience”,3 Hegel points to the ever-present tension between them, examining the fate of particular conceptions of the constitution of objects in the light of the “experience” based upon those conceptions, and with this transforms philosophy’s task, as Kant conceives it. Thus in the place of the reconfigured metaphysical project signalled by Kant which gives a definitive map of “what reason brings forth entirely out of itself” via the discovery of “reason’s common principle”,4 Hegel radically historicizes reason into a series of particular finite forms, each driven to selfovercoming because of the constitutive contradictions at its centre. (shrink)

Hintikka's second generation epistemic logic introduces a syntactic device allowing to express independence relations between certain logical constants. De re knowledge attributions can be reformulated in terms of quantifier independence, but the reformulation does not extend to non-factive attitudes like belief. There, formulae with independent quantifiers serve to express a new type of attitude, intermediate between de dicto and de re, called ‘de objecto’: in each possible world compatible with the agent's belief, there is an individual with the specified property (...) – in each world the same individual, which or who need not exist actually. The philosophical benefits of our analysis of propositional attitudes include a refined account of the behaviour of proper names as well as of indefinite and definite descriptions in attitude reports. Some remarks about perception and about the hallucination argument are also presented. (shrink)

Gareth Evans nos ofrece lo que parece ser un punto medio entre el descripcionismo y la teoría de la referencia directa sobre el mecanismo mediante el cual fijamos la referencia de los nombres propios. Ésta es la denominada “teoría de la fuente causal de la referencia”. En un artículo reciente Imogen Dickie presenta objeciones importantes a la teoría de Evans y concluye presentando una teoría alternativa, la denominada “teoría de la gobernabilidad”. En este trabajo quiero ofrecer una propuesta alternativa que (...) evite la tesis de gobernabilidad de Dickie. Para ello mostraré, primero, cómo lidiar con las objeciones de Dickie sin alejarse demasiado de la propuesta original de Evans y, segundo, defenderé que la teoría resultante –la que llamo “teoría de la pertenencia a tipos”– es más simple y exitosa que la propuesta por Dickie. (shrink)

This paper discusses the problems of an ontological value of the variable in Russell’s philosophy. The variable is essential in Russell’s theory of denotation, which among other things, purports to prove Meinongian being outside of subsistence and existence to be logically unnecessary. I argue that neither Russell’s epistemology nor his ontology can account for the ontological value of the variable without running into qualities of Meinongian being that Russell disputed. The problem is that the variable cannot be logically grounded by (...) Russell’s theory of denotation. As such, in so far as being is concerned, Meinong and Russell’s theories are much closer than is typically thought. The arguments are supported with concerns raised by Russell, Frege, and Moore regarding the ontological value of the variable. The problem can be summarised as follows: the variable is the fundamental denoting-position of a formal theory that is meant to explain the structure of the ontological. If such a formal theory is meant to ground the ontological, then the formal must also represent the actual structure of the ontological. Yet the variable, the fundamental symbol of denotation in a theory that defines objects, is ontologically indefinable. (shrink)

This paper investigates an objection often raised against metaethical error theory. The challenge runs as follows. Metaethical error theory says that all substantive ethical sentences are false. But if a sentence p is false, then given a standard semantics for “not,” ¬p must be true, and vice versa. On the face of it, one can’t hold that p and ¬p are both false. After presenting a more refined version of the challenge (in the form of a set of initially plausible (...) and yet jointly inconsistent principles), the paper examines a common way out of the puzzle, finds it unsatisfactory, and offers some alternative escape routes that, it is submitted, fare better than the standard one. (shrink)

A metafísica de 'Os Princípios da Matemática' de Russell e a controvérsia à respeito da suposta semelhança entre essa metafísica e a ontologia meinongiana Resumo: No presente artigo, objetiva-se apresentar as principais características da metafísica do realismo lógico, desenvolvido por Russell em Os Princípios da Matemática, de 1903, e, principalmente, analisar a controvérsia sobre se os princípios dessa metafísica podem realmente ser interpretados como semelhantes aos princípios da ontologia meinongiana. São comparados os pontos de vista opostos dessa controvérsia à luz (...) dos trechos de Os Princípios da Matemática que supostamente comprometeram Russell de ter elaborado uma gramática filosófica na qual todo e qualquer nome próprio ou descrição definida, ocupando a posição de sujeito lógico nas proposições, referem-se a objetos com alguma categoria de Ser. Ao realizar tal análise, conclui-se que o problema central diz respeito aos nomes próprios vazios e que, portanto, a metafísica de Os Princípios da Matemática expressa uma perspectiva instável da teoria da denotação de Russell. Palavras-chave: Russell; Ser; Existência; Significado. Russell’s The Principles of Mathematics metaphysics and the controversy over the supposed similarity between this metaphysics and the meinongian ontology Abstract: This article aims to present the main characteristics of the metaphysics of logical realism, developed by Russell in The Principles of Mathematics, of 1903, and, mainly, to analyze the controversy about whether the principles of this metaphysics can really be interpreted as similar to the principles of meinongian ontology. The opposing points of view of this controversy are compared in the light of the excerpts from The Principles of Mathematics that supposedly committed Russell to having elaborated a philosophical grammar in which all and any proper names or definite descriptions, occupying the position of logical subject in the propositions, refer to objects with some category of Being. In carrying out such an analysis, it is concluded that the central problem concerns empty proper names and that, therefore, the metaphysics of The Principles of Mathematics expresses an unstable perspective of Russell’s theory of denotation. Keywords: Russell; Being; Existence; Meaning. La metafísica de Los Principios de las Matemáticas de Russell y la controversia sobre la supuesta similitud entre esta metafísica y la ontología meinongiana Resumen: Este artículo tiene como objetivo presentar las principales características de la metafísica del realismo lógico, desarrollada por Russell en Los Principios de las Matemáticas, de 1903, y, principalmente, analizar la controversia sobre si los principios de esta metafísica pueden realmente interpretarse como similares a los principios de la ontología meinongiana. Los puntos de vista opuestos de esta controversia se comparan a la luz de los extractos de Los Principios de las Matemáticas que supuestamente comprometieron Russell a haber elaborado una gramática filosófica en la que todos y cualquier nombre propio o descripción definida, ocupando la posición de sujeto lógico en las proposiciones, se refieren a objetos con alguna categoría de Ser. Al realizar tal análisis, se concluye que el problema central concierne a los nombres propios vacíos y que, por lo tanto, la metafísica de Los Principios de las Matemáticas expresa una perspectiva inestable de la teoría de la denotación de Russell. Palabras clave: Russell; Ser; Existencia; Significado. Data de registro: 10/04/2020 Data de aceite: 08/12/2020. (shrink)

Russell's notion of an incomplete symbol has become a standard against which philosophers compare their views on the relationship between language and the world. But Russell's exact characterization of incomplete symbols and the role they play in his philosophy are still disputed. In this paper, I trace the development of the notion of an incomplete symbol in Russell's philosophy. I suggest – against Kaplan, Evans, and others – that Russell's many characterizations of the notion of an incomplete symbol are compatible. (...) To this end, I examine and reject arguments for the purported incompatibility between declaring an expression to be incomplete and incorporating that symbol into a compositional semantic theory. I then examine how Russell puts the notion of an incomplete symbol to use in metaphysics. (shrink)

The topic of this paper is the question whether there is a logic which could be justly called the logic of inference. It may seem that at least since Prawitz, Dummett and others demonstrated the proof-theoretical prominency of intuitionistic logic, the forthcoming answer is that it is this logic that is the obvious choice for the accolade. Though there is little doubt that this choice is correct (provided that inference is construed as inherently single-conclusion and complying with the Gentzenian structural (...) rules), I do not think that the usual justification of it is satisfactory. Therefore, I will first try to clarify what exactly is meant by the question, and then sketch a conceptual framework in which it can be reasonably handled. I will introduce the concept of 'inferentially native' logical operators (those which explicate inferential properties) and I will show that the axiomatization of these operators leads to the axiomatic system of intuitionistic logic. Finally, I will discuss what modifications of this answer enter the picture when more general notions of inference are considered. (shrink)

The paper presents an argument against a "metaphysical" conception of logic according to which logic spells out a specific kind of mathematical structure that is somehow inherently related to our factual reasoning. In contrast, it is argued that it is always an empirical question as to whether a given mathematical structure really does captures a principle of reasoning. (More generally, it is argued that it is not meaningful to replace an empirical investigation of a thing by an investigation of its (...) a priori analyzable structure without paying due attention to the question of whether it really is the structure of the thing in question.) It is proposed to elucidate the situation by distinguishing two essentially different realms with which our reason must deal: "the realm of the natural", constituted by the things of our empirical world, and "the realm of the formal", constituted by the structures that we use as "prisms" to view, to make sense of, and to reconstruct the world. It is suggested that this vantage point may throw light on many foundational problems of logic. (shrink)

Evidence is drawn together to connect sources of inconsistency that Frege discerned in his foundations for arithmetic with the origins of the paradox derived by Russell in "Basic Laws" I and then with antinomies, paradoxes, contradictions, riddles associated with modal and intensional logics. Examined are: Frege's efforts to grasp logical objects; the philosophical arguments that compelled Russell to adopt a description theory of names and a eliminative theory of descriptions; the resurfacing of issues surrounding reference, descriptions, identity, substitutivity, paradox in (...) the debates concerning modal and intensional logics; the development of the New Theory of Reference. I consider this to be the philosophical ground upon which the debates regarding that theory should take place. (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)

The hierarchical analysis of existence attribution is Fregean in its endorsement of senses, understood as guises. Furthermore, the hierarchical analysis makes an essential use of the Russellian analysis (9′) as a means to understand what it is for a sense to present a given entity (cf. biconditional (11) above). The hierarchical analysis, on the other hand, is more general than the Russellian one and hence - in accordance with natural language usage - allows for a wider range of applications.

Alex Oliver; XI*—A Few More Remarks on Logical Form, Proceedings of the Aristotelian Society, Volume 99, Issue 1, 1 June 1999, Pages 247–272, https://doi.org/10.

In this essay, I offer a critical evaluation of Hilary Putnam's writings on epistemology and philosophy of science, in particular his engagement with interpretative problems in quantum mechanics. I trace the development of his thinking from the late 1960s when he adopted a strong causal-realist position on issues of meaning, reference, and truth, via the "internal realist" approach of his middle-period writings, to the various forms of pragmatist, naturalized, or "commonsense" epistemology proposed in his latest books. My contention is that (...) Putnam's retreat from a full-fledged realist outlook has been prompted in large part by his belief that it cannot possibly be reconciled with the implications of quantum mechanics for our understanding of processes and events in the subatomic domain. However, I suggest, this response should be seen as premature given the range of as-yet unresolved problems with quantum mechanics on the orthodox (Copenhagen) interpretation and also the existence of an alternative account - David Bohm's hidden-variables theory - which perfectly matches the established predictive-observational results while providing a credible realist ontology. I also examine Putnam's case for adopting a nonstandard (three-valued) "quantum logic" in relation to the thinking of other philosophers - Michael Dummett among them - who have espoused a more global or doctrinaire version of anti-realism. I conclude that Putnam's early (causal-realist) position is by no means untenable in light of the various arguments that he now takes as counting decisively against it. (shrink)

The leading accounts of the ethics of proxy decision making implicitly draw on internalist conceptions of the philosophy of mind, or so this essay tries to demonstrate. Using the views of Ronald Dworkin as its jumping‐off point, the essay argues that accepting the sort of externalism associated with writers such as Putnam and Burge would alter Dworkin's conclusions concerning how we should respond to the current or precedent decisions of people suffering from dementia. Building on the views of Agnieszka Jawarska, (...) it argues that accepting “active” externalism à la Clark and Chambers would provide currently competent people with new resources for establishing the authority of their present values over inconsistent values they might come to entertain should they become demented. (shrink)

Even though Richard Routley is known as a proponent of so-callednuclear Meinongianism (in his terminology, noneism), the details of hisview in Exploring Meinong’s Jungle and Beyond (1980) have not attractedmuch attention. In this paper, I critically examine two notablebut less known features of Meinongianism in Routley (1980) which particularlyconcern a core claim of nuclear Meinongianism that so-calledCharacterization Principle (CP) is applicable to nuclear properties(in his terminology, characterizing properties) but not to extranuclearproperties (in his terminology, noncharacterizing properties): The firstone is his (...) ‘double determination’ argument for restricting the class ofproperties to which CP is applicable; and the second is his expansionof the class of nuclear properties in terms of the supposition operator s.Firstly, I will show that the double determination argument fails, since,for some extranuclear properties, the argument fails to justify that CPis not applicable to them, and, moreover, the argument unintendedlyshows that CP is not applicable to some nuclear properties. Secondly,based on the idea that the supposition operator, combined with anyproperty f, forms the intensional property of being assumed to havef, I will give a formal treatment of the supposition operator withinthe framework of world semantics. We will see that this interpretationgoes beyond Routley’s original nuclear Meinongianism and assimilateshis view with modal Meinongianism proposed by Priest (2005, 2016). (shrink)

Despite the recent increase in interest in philosophy about ignorance, little attention has been paid to the question of what makes it possible for a being to become aware of their own ignorance. In this paper, I try to provide such an account by arguing that, for a being to become aware of their own ignorance, they must have the mental capacity to represent something as being unknown to them. For normal adult humans who have mastered a language, mental representation (...) of an unknown is enabled by forming linguistic expressions whose content is grasped, but whose referent is unknown. I provide a neo-Fregean, a neo-Russellian, and then a unified account of this. On that basis, I then argue further that the content of ignorance can always be captured by a question. I then distinguish between propositional ignorance and non-propositional ignorance and argue that propositional ignorance attributions can be of three types, that-ignorance, whether-ignorance, and fact-ignorance. I conclude by arguing that the acquisition of truths, even when it yields knowledge that is certain, does not always eliminate one’s ignorance and that there is a degree of ignorance in almost everything we claim to know. (shrink)

This paper aims at bringing together two debates in metaphysics that so far have been kept separate: the debate about determinism vs. indeterminism as de re modality on the one hand, and the debate about persistence on the other hand. Both debates significantly involve talk of things. We will show that working out a proper semantics for singular terms and an accompanying theory of things, motivated by considerations of quantified modal logic, can significantly further the persistence debate. We will use (...) our semantic framework to give an argument in support of the endurantist position as the best theory of persistence. (shrink)

In “Kant on Existence, Predication, and the Ontological Argument”, Hintikka argues that the so-called “Kant–Frege view” is wrong, for its supporters erroneously assume that for Kant ‘is’ is ambiguous. In this paper, I will first critically evaluate Hintikka’s arguments against the Kant–Frege view. Then, I will attempt to prove that Kant’s claim that existence is not a real predicate and Frege’s claim that existence is a quantifier are in fact logically interdependent. Finally, I will use the Kant–Frege view in order (...) to reconcile the various claims that Kant makes about existence. (shrink)

The author examines the epistemological project of analytic philosophy, which went through stages of transformation marked by the influence of Frege and Russell. The article emphasizes the main points of the first stage of analytic philosophy, during which the sphere of experience merged with language. The next stage defines a new subject - Wittgenstein's "language subject". According to the author, this subject of speech makes decisions about the sense or absurdity of sentences based on logical form and belongs to the (...) transcendental subject of speech in general. But in the end, the epistemological project of analytic philosophy moved to new directions in which questions about experience lost their relevance. (shrink)

In Direct Belief I argue for the Theory of Direct Belief, which treats having a belief about an individual as an unmediated relation between the believer and the individual the belief is about. After a critical review of alternative positions, I use Grice’s theory of conversational implicature to provide a detailed pragmatic account of substitution failure in belief ascriptions and go on to defend this view against objections, including those based on an unwarranted “Inner Speech” Picture of Thought. The work (...) serves as a case study in pragmatic explanation, dealing also with methodological issues about context-sensitivity in language and the relation between semantics and pragmatics. (shrink)

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)

Meinongian 'objects' are evoked in an effort to critique and expand upon traditional theories of reference. The argument stems from an account of Peirce's categories of meaning in light of vague, contradictory, inconsistent, general, incomplete, and incompleteable signs. In addition to signs as either 'true', 'false', or meaningless, the function of imaginary numbers reveals the possibility of a sign's being both 'true' and 'false' or neither 'true' nor 'false', over time, and dialogically speaking. This demands a tolerance for vagueness, ambiguity, (...) contradiction, and incessantly changing meaning. (shrink)

According to Mohan Matthen and Edwin Levy, certain immunological processes require explanations in which the immune system is attributed intentional states. This, they think, strengthens the scientific credentials of intentional psychology and undermines the position of those who argue that the scientific treatment of human action should involve the elimination of intentional description. In this paper, I argue that immunology does not and need not employ intentional explanation or description and consequently has nothing to offer those who seek to defend (...) the scientific standing of intentional psychology by looking for other disciplines that "accommodate the intentional". (shrink)