The problem of truthmakers for negative propositions was introduced by Bertrand Russell in 1918. Since then the debate has mostly been concerned with whether to accept or reject their existence, and little has been said about what it is that makes a negative proposition negative. This is a problem as it is obvious that you cannot just read it off from the grammar of a sentence. The aim of this paper is to demonstrate that propositions may be negative or positive (...) in many ways: it offers a typology, and shows how the question of the existence of negative facts will receive a different answer depending on its relationship to that typology. (shrink)

The comment addresses central issues of a "theory theory" approach as exemplified in Gopnik' and Goldman's BBS-articles. Gopnik, on the one hand, tries to demonstrate that empirical evidence from developmental psychology supports the view of a "theory theory" in which common sense beliefs are constructed to explain ourselves and others. Focusing the informational processing routes possibly involved we would like to argue that his main thesis (e.g. idea of intentionality as a cognitive construct) lacks support at least for two reasons: (...) one methodological and one structural. On the other hand, Goldman raises an important question when he is asking how people ascribe mental states to themselves. Reasons why Goldman's attempt to understand common sense mental representations by using an analogy from visual perception is problematic are discussed. The role which is attributed to a phenomenology is evaluated. (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)

Davidsonian analyses of action reports like ‘Alvin chased Theodore around a tree’ are often viewed as supporting the hypothesis that sentences of a human language H have truth conditions that can be specified by a Tarski-style theory of truth for H. But in my view, simple cases of adverbial modification add to the reasons for rejecting this hypothesis, even though Davidson rightly diagnosed many implications involving adverbs as cases of conjunct-reduction in the scope of an existential quantifier. I think the (...) puzzles in this vicinity reflect “framing effects,” which reveal the implausibility of certain assumptions about how linguistic meaning is related to truth and logical form. We need to replace these assumptions with alternatives, instead of positing implausible values of event-variables or implausible relativizations of truth to linguistic descriptions of actual events. (shrink)

Davidsonian analyses of action reports like ‘Alvin chased Theodore around a tree’ are often viewed as supporting the hypothesis that sentences of a human language H have truth conditions that can be specified by a Tarski-style theory of truth for H. But in my view, simple cases of adverbial modification add to the reasons for rejecting this hypothesis, even though Davidson rightly diagnosed many implications involving adverbs as cases of conjunct-reduction in the scope of an existential quantifier. I think the (...) puzzles in this vicinity reflect “framing effects,” which reveal the implausibility of certain assumptions about how linguistic meaning is related to truth and logical form. We need to replace these assumptions with alternatives, instead of positing implausible values of event-variables or implausible relativizations of truth to linguistic descriptions of actual events. (shrink)

No último quartel do Séc. XX, instalou-se na Filosofia da Linguagem um vivo debate entre duas teorias acerca da referência, a teoria descritivista, formulada por Bertrand Russell e com raízes na filosofia de Frege, e, a desafiar esta, a teoria causal da referência, sob o impulso de Putnam e de Kripke. Há, por outro lado, importantes estudos do pensamento de Husserl, centrados sobretudo em Ideias I, que dão conta da possibilidade de uma sua leitura fregeana. O intuito desta comunicação reside, (...) primeiramente, em mostrar que, não obstante essas leituras, os aspectos semânticos mais originais na fenomenologia de Husserl e, além disso, também mais interessantes para o debate sobre o problema da referência, se encontram logo na Primeira das Investigações Lógicas. Com efeito, nesse texto, cremos ser possível mostrar que a teoria da expressão de Husserl não se ajusta nem à teoria descritivista nem à teoria causal da referência. As razões do desajustamento, segundo tese que propomos, prendem-se com o facto de ambas as teorias da referência, descritivista e causal, disputarem entre si o problema da frxação da referência das expressões como se esse fosse o problema de saber o que faz com que as expressões refiram. Mostrar que não é assim com Husserl, conduz-nos a um terceiro problema, na obra póstuma Experiência e Juízo, sobre a constituição dos referentes, enquanto objectos de uma relação directa ao individual, ou seja, enquanto objectos de experiência. Quererá isto dizer, concluindo, que o problema da referência, antes de respeitar às expressões referenciais, respeita à própria experiência e que tal problema deverá, por isso, resolver-se na constituição passiva e ante-predicativa da experiência. (shrink)

Keith Donnellan’s distinction between the attributive and referential uses of definite descriptions has spurred debates regarding the truth conditions of the utterance “the F is G” with definite descriptions used referentially. In this article, I present a semantic account of referential descriptions, grounded in the contextual factors of the utterance, including the speaker’s intention and presupposition as well as the interlocutor’s recognition of them. This account is called the IPR-semantic account, according to which the speaker’s intention (I), presupposition (P), and (...) the interlocutor's recognition (R) jointly determine whether “the F” in an utterance “the F is G” is used referentially or attributively, and the meaning of “the F” is determined by whether it is used referentially or attributively. Moreover, I argue that the meaning of the referential description “the F” is the intended object e, embodied with a property H that has prompted the speaker to presuppose that e is F and to intend to use “the F” to refer to e, as well as the interlocutor to recognize the presupposition and intention. According to the IPR-semantic account, the utterance “the F is G” with “the F” used referentially expresses a singular proposition, namely, that e is G, and it is true if and only if the intended object e is G. Additionally, I argue that the IPR-semantic account not only surpasses some alternative semantic accounts but also outperforms Kripke’s pragmatic account. (shrink)

This paper challenges the first Gettier counterexample to the tripartite account of knowledge. Noting that 'the man who will get the job' is a description and invoking Donnellan's distinction between their 'referential' and 'attributive' uses, I argue that Smith does not actually believe that the man who will get the job has ten coins in his pocket. Smith's ignorance about who will get the job shows that the belief cannot be understood referentially, his ignorance of the coins in his pocket (...) shows that it cannot be understood attributively. An explanation for why Smith appeared to have justified true belief is given by distinguishing between 'belief' and 'belief in truth'. Smith believes the sentence 'the man who will get the job has ten coins in his pocket' to be true (he mistakenly believes that Jones will get the job, of whom he knows that he has ten coins in his pocket) (hence his 'belief'), the sentence is true (hence 'truth'), and he has sufficient reason to assent to it (hence his 'justification'). But he does not believe the proposition expressed. Hence he does not know it either. (shrink)

Prior Analytics by the Greek philosopher Aristotle and Laws of Thought by the English mathematician George Boole are the two most important surviving original logical works from before the advent of modern logic. This article has a single goal: to compare Aristotle's system with the system that Boole constructed over twenty-two centuries later intending to extend and perfect what Aristotle had started. This comparison merits an article itself. Accordingly, this article does not discuss many other historically and philosophically important aspects (...) of Boole's book, e.g. his confused attempt to apply differential calculus to logic, his misguided effort to make his system of ‘class logic’ serve as a kind of ‘truth-functional logic’, his now almost forgotten foray into probability theory, or his blindness to the fact that a truth-functional combination of equations that follows from a given truth-functional combination of equations need not follow truth-functionally. One of the main conclusions is that Boole's contribution widened logic and changed its nature to such an extent that he fully deserves to share with Aristotle the status of being a founding figure in logic. By setting forth in clear and systematic fashion the basic methods for establishing validity and for establishing invalidity, Aristotle became the founder of logic as formal epistemology. By making the first unmistakable steps toward opening logic to the study of ‘laws of thought’—tautologies and laws such as excluded middle and non-contradiction—Boole became the founder of logic as formal ontology.… using mathematical methods … has led to more knowledge about logic in one century than had been obtained from the death of Aristotle up to … when Boole's masterpiece was published.Paul Rosenbloom 1950. (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)

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.

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.

The most striking feature of Meinong's theory of intentionality is his thesis that every mental act has its reference‐object “beyond being and non being”. This theory seems, at first, to be a clear example of the so called object‐theory of intentionality, as it introduces special “postulated” entities in the target‐position of the mental act. Closer examination, however, reveals in Meinong's works important elements of the mediator‐theory. Meinong speaks of auxiliary incomplete objects situated “between” the subject and the object of reference (...) and “mediating” the intentional access to the reference‐object. Moreover, even if the object of reference is of the simple nominal form, the mediating structure involves essentially propositional entities. In the paper we attempt to give a set‐theoretical interpretation of Meinong's theory in the frame of which we could eventually do without the incomplete mediating objects. Yet, some general epistemological considerations suggest the indispensability of such incomplete mediating structures. (shrink)

This paper shows that so-called ‘threshold concepts’ have been defined in a way that makes it impossible, even in principle, to empirically isolate them. It continues by proposing an alternative theoretical framework, and argues: (1) that concepts are not reducible to abilities; (2) that acquisition of a given concept can be necessary, but not sufficient, for the possession of an ability; and (3) that being ‘threshold’ is an extrinsic property, such that what is threshold for one person is not for (...) another. It closes by outlining two resultant problems for related empirical research. First, how is it possible to test for concepts, rather than abilities? Second, how can we tell if there is more than one possible conceptual route to the same ability? (shrink)

Deliberate contextual vocabulary acquisition (CVA) is a reader’s ability to figure out a (not the) meaning for an unknown word from its “context”, without external sources of help such as dictionaries or people. The appropriate context for such CVA is the “belief-revised integration” of the reader’s prior knowledge with the reader’s “internalization” of the text. We discuss unwarranted assumptions behind some classic objections to CVA, and present and defend a computational theory of CVA that we have adapted to a new (...) classroom curriculum designed to help students use CVA to improve their reading comprehension. (shrink)

Similar to Meinong, Abū Hāšim al-Ğubbāī held the view that some objects do not exist. This paper is a comparative study between Meinong’s object theory and Abū Hāšim’s theory of nonexistent objects. Our comparative study is mostly done through three topics: the characterization principle, objecthood, and the ontological status of existence. Moreover, Abū Hāšim’s theory of nonexistent objects is based on his theory of states, according to which some things, namely states, which among other things include existence, are neither existent (...) nor nonexistent. In this paper, we have also discussed two arguments on behalf of this claim and then we have examined them from a Meinongian perspective. (shrink)

The paper is about the interpretation of opaque verbs like “seek”, “owe”, and “resemble” which allow for unspecific readings of their (indefinite) objects. It is shown that the following two observations create a problem for semantic analysis: (a) The opaque position is upward monotone: “John seeks a unicorn” implies “John seeks an animal”, given that “unicorn” is more specific than “animal”. (b) Indefinite objects of opaque verbs allow for higher-order, or “underspecific”, readings: “Jones is looking for something Smith is looking (...) for” can express that there is something unspecific that both Jones and Smith are looking for. Given (a) and (b), it would seem that the following inference is hard to escape, if the premisses are construed unspecifically and the conclusion is taken on its under- specific reading: Jones is looking for a sweater. Smith is looking for a pen. Smith is looking for something Jones is looking for. (shrink)

Appealing to some analytic tools developed by contemporary analytic philosophers, I discuss Avicenna’s views regarding the problem(s) of linguistic and mental reference to non-existents, also known as the problem(s) of ‘empty intentionality’. I argue that, according to Avicenna, being in an intentional state directed towards an existing thing involves three elements: (1) an indirect relation to that thing, (2) a direct relation to a mental representation of that thing, and (3) a direct relation to the essence of that thing. Empty (...) intentionality does not involve the first element. Moreover, depending on the nature of the non-existent we are thinking about, the third element may not be involved either. Thus, the necessary element of being in an intentional state towards something is to be related to a mental representation of that thing. The nature of this representation may vary depending on the nature of the non-existent towards which our thought is directed. (shrink)

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)

The authors investigated the ontological argument computationally. The premises and conclusion of the argument are represented in the syntax understood by the automated reasoning engine PROVER9. Using the logic of definite descriptions, the authors developed a valid representation of the argument that required three non-logical premises. PROVER9, however, discovered a simpler valid argument for God's existence from a single non-logical premise. Reducing the argument to one non-logical premise brings the investigation of the soundness of the argument into better focus. Also, (...) the simpler representation of the argument brings out clearly how the ontological argument constitutes an early example of a ?diagonal argument? and, moreover, one used to establish a positive conclusion rather than a paradox. (shrink)

'You ask me about the idiosyncrasies of philosophers? There is their lack of historical sense, their hatred of even the idea of becoming, their Egyptianism. They think they are doing a thing honour when they dehistoricize it, sub specie aeternitatis — when they make a mummy of it.'Nietzsche, Twilight of the Idols.

The problem of empty terms is one of the focal issues in analytic philosophy. Russell’s theory of descriptions, a proposal attempting to solve this problem, attracted much attention and is considered a hallmark of the analytic tradition. Scholars of Indian and Buddhist philosophy, e.g., McDermott, Matilal, Shaw and Perszyk, have studied discussions of empty terms in Indian and Buddhist philosophy. But most of these studies rely heavily on the Nyāya or Navya-Nyāya sources, in which Buddhists are portrayed as opponents to (...) be defeated, and thus do not truly reflect Buddhist views on this issue. The present paper will explore how Dignāga, the founder of Buddhist logic, deals with the issue of empty subject terms. His approach is subtle and complicated. On the one hand, he proposes a method of paraphrase that resembles Russell’s theory of descriptions. On the other, by relying on his philosophy of language—the apoha theory, he tends to fall into a panfictionalism. Through the efforts of his follower Dharmakīrti, the latter approach would become more acceptable among Indian and Tibetan Buddhists. Dignāga’s Chinese commentators, who were free from the influence of Dharmakīrti, dealt with the empty term issue in three ways: (1) by adhering to Dignāga’s method of paraphrase; (2) by allowing exceptions for non-implicative negation; and (3) by indicating the propositional attitude of a given proposition. Among these, the third proved most popular. (shrink)

As Quine observed, the following sentence has a reading which, if true, would be of special interest to the authorities: Ralph believes that someone is a spy. This is the reading where the quantifier is naturally understood as taking wide scope relative to the attitude verb and as binding a variable within the scope of the attitude verb. This essay is interested in addressing the question what the semantic analysis of this kind of reading should look like from a Fregean (...) perspective—a perspective according to which attitude states are generally relations to structured Fregean thoughts composed of senses. The Fregean view faces a challenge of compositionality here. This essay describes the challenge and offers a response on the Fregean's behalf. (shrink)

Focusing on cases which involve binding into epistemic modals with definite descriptions and quantifiers, I raise some new problems for standard approaches to all of these expressions. The difficulties are resolved in a semantic framework that is dynamic in character. I close with a new class of problems about de re readings within the scope of modals.

Gettier presented the now famous Gettier problem as a challenge to epistemology. The methods Gettier used to construct his challenge, however, utilized certain principles of formal logic that are actually inappropriate for the natural language discourse of the Gettier cases. In that challenge to epistemology, Gettier also makes truth claims that would be considered controversial in analytic philosophy of language. The Gettier challenge has escaped scrutiny in these other relevant academic disciplines, however, because of its façade as an epistemological analysis. (...) This article examines Gettier's methods with the analytical tools of logic and analytic philosophy of language. (shrink)

In this article, I use Edmund Gettier’s Ten Coins hypothetical scenario to illustrate some reasoning errors in the use of definite descriptions. The Gettier problem, central as it is to modern epistemology, is first and foremost an argument, which Gettier (Analysis 23(6):121–123, 1963) constructs to prove a contrary conclusion to a widely held view in epistemology. Whereas the epistemological claims in the case have been extensively analysed conceptually, the strategies and tools from other philosophical disciplines such as analytic philosophy of (...) language, logic and argumentation that Gettier deploys in the case have scarcely received any attention. This work abstracts from the epistemological content and examines Gettier’s handling of the definite description involved, and how that affects the cogency of his argument. (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.

La raccolta di dati nella nostra era dell’”Information Technology” ha generato una rivoluzione nella conoscenza. Nell’era dei “big data”, la conseguente crescita senza precedenti dei dati, ha reso necessari cambiamenti nella scala, nella natura e nello stato dei dati, portando quindi i ricercatori ad adottare nuovi paradigmi e metodologie nella ricerca filosofica. In particolare, l’attenzione teorica della filosofia del linguaggio si è spostata verso la conoscenza cognitiva, con un’enfasi sulla proposizione particolare del “data turn” nella cognizione cognitiva nell’era dei “big (...) data”. Il paper esplora la potenziale portata della ricerca quantitativa del “data turn” nella filosofia del linguaggio, tramite l’analisi della necessità di trasformare i paradigmi della ricerca qualitativa e quantitativa, ricostruendo l’approccio quantitativo della filosofia del linguaggio ed ampliando l’analisi delle relazioni uomo-dati nella filosofia dei “big data”. Il paper conclude affermando che sono necessarie ulteriori ricerche per esaminare in modo ancor più approfondito la relazione tra linguaggio, dati e filosofia. (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)

Philosophers of mind and language who advance causal theories face a sort of conjunction problem. When we say that the thing had in mind or the thing referred to is a matter of what causally impacted the thinker or speaker, we must somehow narrow down the long conjunction of items in a causal chain, all of which contributed to the having in mind, but only one of which becomes the object of thought or the linguistic referent. Here, I sketch a (...) notion of cognitive focus intended to do this narrowing. The notion borrows three key aspects from visual focus and some technological aides—causation, amplification, and suppression. I suggest a broader application of this framework to address the conjunction problem not only in ordinary contexts of perceptual focus but also in evidence cases involving non-perceptual cognitive focus. I further suggest cognitive focus is helpful in distinguishing referential vs. attributive thought. (shrink)

It is widely accepted by formal and informal logicians alike that a formal logic which, by the lights of English, gets the connectives wrong, nevertheless conspires to get entailment right—right that is, modulo English. There is a vexing problem occasioned by this semantic alienation of formal logic. It is next to impossible for formal logic to meet the expectations of realism. What, then, of informal logic?

This paper examines how the work of Frege was known and received in Poland in the period 1910–1935 (with one exception concerning the later work of Suszko). The main thesis is that Frege's reception in Poland was perhaps faster and deeper than in other countries, except England, due to works of Russell and Jourdain. The works of Łukasiewicz, Leśniewski and Czeżowski are described.

Many currently working on a Russellian notion of perceptual acquaintance and its role in perceptual experience (including Campbell 2002a, 2002b, and 2009 and Tye 2009) treat naïve realism and indirect realism as an exhaustive disjunction of possible views. In this paper, I propose a form of direct realism according to which one is directly aware of external objects and their features without perceiving a mind-dependent intermediary and without making any inference. Nevertheless, it also maintains that the qualitative character of perceptual (...) experience is a feature of our internal states of sentient awareness and so is to be distinguished from the features of objects in the perceptual scene. On this proposal, we are pre-reflectively aware of the qualitative character of our sensations simply in virtue of having them, and we are non-inferentially aware of external objects and their features by being attuned to what the occurrence of our sensations tells us about the rest of the world. Consequently, we are presented with, and thus acquainted with, both the external objects and the qualitative character of our sensory experiences, albeit in very different ways. Drawing on resources from Perry (2001) and Searle (in draft), I explain how perceptual experience has this “two-faced presentational character”. (shrink)

John Cook Wilson is increasingly recognised as an important predecessor of ordinary language philosophy. He emphasizes the authority of ordinary language in philosophical theorizing. At the same time, however, he circumscribes the limits of that authority and identifies cases in which it threatens to mislead us. My aim is to consider in detail one case where, according to Cook Wilson, ordinary language has misled philosophical theorizing. Judgement was one of the core notions of the logic, epistemology, and philosophy of mind (...) of Cook Wilson’s time. Cook Wilson rejects this notion, in the form developed by his contemporaries, in part because it is based on a problematic analogy between ordinary language and the thoughts expressed in that language. Cook Wilson’s discussion of judgement also highlights the extent to which Cook Wilson was critical of, but also responsive to, his contemporaries. In addition, variants of the language-thought analogy Cook Wilson opposes continue to feature in 21st century epistemology and philosophy of mind. Cook Wilson’s criticism of the analogy thus raises questions about recent work as well as the theories of his contemporaries. (shrink)

In this paper I argue that there can be genuine (as opposed to merely verbal) disputes about whether a sentence form is logically true or an argument form is valid. I call such disputes ?cases of deviance?, of which I distinguish a weak and a strong form. Weak deviance holds if one disputant is right and the other wrong, but the available evidence is insufficient to determine which is which. Strong deviance holds if there is no fact of the matter. (...) In section 2 I argue that weak deviance need not be trivial and may even be interesting. Section 3 considers what it could mean to say that logic is determined by a theory, especially a theory of meaning, an idea that arises in section 2. In section 4 I discuss the dispute between classical and relevance logicians over entailment and argue that it is a case of strong deviance. Finally, in section 5 I show that the result of the previous section is not absolute but relative to the background logic used in reaching it. (shrink)