Among philosophers, Fregeanism and sententialism are widely considered two of the leading theories of the semantics of attitude reports. Among linguists, these approaches have received little recent sustained discussion. This paper aims to bridge this divide. I present a new formal implementation of Fregeanism and sententialism, with the goal of showing that these theories can be developed in sufficient detail and concreteness to be serious competitors to the theories which are more popular among semanticists. I develop a modern treatment of (...) quantifying in for Fregeanism and sententialism, in the style of Heim and Kratzer, and then show how these theories can—somewhat surprisingly—account for “third readings” on the model of the “Standard Solution” from possible-worlds semantics. The resulting Fregean/sententialist proposal has a distinctive attraction: it treats data related to counterfactual attitudes —which have proven challenging to accommodate in the setting of possible worlds semantics—straightforwardly as third readings. (shrink)

What does it mean to ‘give’ the value of a variable in an algebraic context, and how does giving the value of a variable differ from merely describing it? I argue that to answer this question, we need to examine the role that giving the value of a variable plays in problem-solving practice. I argue that four different features are required for a statement to count as giving the value of a variable in the context of solving an elementary algebra (...) problem: the variable must be in the scope opened by the problem statement; the values given must be in the range of the variable, which is determined by the problem; the statement giving the values must represent a complete solution; and it must be in a canonical form. This account helps us better understand elementary algebra itself, as well as the use of algebraic tools to analyze phenomena in natural language. (shrink)

In this paper, we offer a novel analysis of presuppositions, paying particular attention to the interaction between the knowledge resources that are required to The analysis has two main features. First, we capture an analogy between presuppositions, anaphora and scope ambiguity (cf. van der Sandt 1992), by utilizing semantic under-specification (c£ Reyle 1993). Second, resolving this underspecification requires reasoning about how the presupposition is rhetorically connected to the discourse context. This has several consequences. First, since pragmatic information plays a role (...) in computing the rhetorical relation, it also constrains the interpretation of presuppositions. Our account therefore provides a formal framework for analysing problematic data, which require pragmatic reasoning. Second, binding presuppositions to the context via rhetorical links replaces accommodating them, in the sense of adding them to the context (cf. Lewis 1979). The treatment of presupposition is thus generalized and integrated into the discourse update procedure. We formalize this approach in SDRT (Asher 1993; Lascarides & Asher 1993), and demonstrate that it provides a rich framework for interpreting presuppositions, where semantic and pragmatic constraints are integrated. (shrink)

This paper explores the thesis that de re quantification into propositional attitudes has been wrongly conceived. One must never bind an individual variable in the context of a propositional attitude. Such quantification fails to respect the quantificational scaffolding of discursive thinking. This is the lesson of the Meinong–Russell debate over whether there are objects of thought about which it is true to say they are not. Respecting it helps to see how to solve contingent Liar paradoxes of propositional attitudes such (...) as Kripke’s Nixon–Jones. (shrink)

In “Two Dogmas”, Quine indicates that Carnap’s Aufbau fails “in principle” to reduce our knowledge of the external world to sense data. This is because in projecting the sensory material to reconstruct the physical world, Carnap gives up the use of operating rules and switches to a procedure informed by general principles. This procedure falls short of providing an eliminative translation for the connective “is at”, which is necessary for the reduction. In dissecting Quine’s objection, I argue that Quine has (...) at best proven the claim that the use of general principles essentially fails the task of radical reductionism. However, in order to establish the conclusion that the Aufbau fails in principle, Quine needs to further vindicate two other claims. They are: first, a switch from operating rules to general principles is necessary; second, the set of general principles Carnap adopts is the best alternative. By disambiguating the notion of “explicit definition” and examining the concept of definability in the Aufbau, I explore the possibility of justifying these two claims that Quine overlooks in his objection. The result suggests that Quine’s objection stands in tension with his radical reductionist reading of the Aufbau. (shrink)

A 'free logic' for singular terms with restrictions on existential generalization and universal instantiation is set out and argued for. Weaker logics, Such as lambert's fd and fd1 are held incapable of proving instances of tarski's truth schema for languages containing non-Denoting terms. Stronger logics, Such as scott's and lambert's fd2, Are held to yield false theorems when given natural interpretations. The logic defended conforms essentially to russell's semantical intuitions. Some consequences are drawn for the theory of identity.

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

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

Arguments from analogy are pervasive in everyday reasoning, mathematics, philosophy, and science. Informal logic studies everyday argumentation in ordinary language. A branch of fuzzy logic, approximate reasoning, seeks to model facets of everyday reasoning with vague concepts in ill-defined situations. Ways of combining the results from these fields will be suggested by introducing a new argumentation scheme—a fuzzy analogical argument from classification—with the associated critical questions. This will be motivated by a case study of analogical reasoning in the virtual friendship (...) debate within information ethics. The virtual friendship debate is a disagreement over whether virtual friendships are genuine friendships. It will be argued that the debate could move away from its current impasse, caused by unproductive metaphysical and logical assumptions, if extant arguments are reinterpreted as fuzzy analogical arguments from classification, and subjected to a new set of critical questions which would replace the quest for facts of essence about friendship with an emphasis on empirical data, persuasion, and definitional power. (shrink)

This study explores the phenomenon of the so-called “third reading” of propositional attitude reports. This reading, which was originally explored in the dissertation of J. Fodor (1973) and has since become one of the significant problems in the formal semantics of natural languages, differs from the more well-known de re and de dicto readings by being an intermediate case. If the de re interpretation can be referred to as transparent specific, and the de dicto interpretation as opaque non-specific, then the (...) third reading is transparent non-specific. Fodor's standard solution has been the subject of much discussion in the literature and has given rise to a series of widely accepted counterexamples that are thought to demonstrate the limitations of Fodor's solution. At the same time, alternative approaches to the explication of these readings also suffer from formal shortcomings (for example, some of them did not satisfy the requirement of meaning compositionality, which is a basic requirement in formal semantic literature). This study points out that the analysis of all complex cases of the third reading did not fully take into account their syntactic structure. This remained unnoticed due to the ellipsis in many of these cases. It is shown that a restoration of the ellided syntactic structure makes it possible to analyze all hard cases as basic ones using the classical standard analysis proposed by Fodor supplemented by the principles of admissibility of substitution of L-equivalent expressions in intensional contexts (known since G. Frege and R. Carnap). In the final part of the work, it is demonstrated how exactly the main complex cases of the “third reading” are explicated in terms of the standard approach. (shrink)

The article discusses the reasons why modern formal semantics of natural language is an integral part of a larger philosophical research program for the study of the nature of intentionality. The purpose of this article is to show how research in the field of formal semantics of natural language became the implementation of a large philosophical research program that is focused on the nature of intentional objects, which since the time of F. Brentano have been considered an integral part of (...) mental phenomena. Mental phenomena are opposed to physical phenomena due to their inherent intentionality. In modern philosophy, it is commonly considered that the comprehension of the nature of intentionality is the key to understanding the nature of consciousness, and, consequently, the nature of man. The article shows that formal semantics represents the structure of the meaning of linguistic expressions, with the help of which human thought is formed, which is one of the main objects of intentional consciousness. In formal semantics, this representation is carried out in a rigorous, systematic, and empirically verifiable way on the basis of natural languages, that is, on those symbolic systems that real people use in real practice to shape their thoughts. The research is based on the works of G. Frege, who laid the foundation for the formal-semantic methodology. Thus, the answer is given to the question of why modern formal linguistics, which originates in the analytical philosophy of the 20th century, is a philosophically significant discipline. This response is a reaction to the objections of skeptics who believe that modern analytic philosophy cannot be considered a direction that has any serious philosophical significance. (shrink)

According to the computational theory of mind , to think is to compute. But what is meant by the word 'compute'? The generally given answer is this: Every case of computing is a case of manipulating symbols, but not vice versa - a manipulation of symbols must be driven exclusively by the formal properties of those symbols if it is qualify as a computation. In this paper, I will present the following argument. Words like 'form' and 'formal' are ambiguous, as (...) they can refer to form in either the syntactic or the morphological sense. CTM fails on each disambiguation, and the arguments for CTM immediately cease to be compelling once we register that ambiguity. The terms 'mechanical' and 'automatic' are comparably ambiguous. Once these ambiguities are exposed, it turns out that there is no possibility of mechanizing thought, even if we confine ourselves to domains where all problems can be settled through decision-procedures. The impossibility of mechanizing thought thus has nothing to do with recherché mathematical theorems, such as those proven by Gödel and Rosser. A related point is that CTM involves, and is guilty of reinforcing, a misunderstanding of the concept of an algorithm. (shrink)

In order to understand a sentence, one must know the relevant semantic rules. Those rules are not learned in a vacuum; they are given to one through one's senses. As a result, knowledge of semantic rules sometimes comes bundled with semantically irrelevant, but cognitively non-innocuous, knowledge of the circumstances in which those rules were learned. Thus, one must work through non-semantic information in order to know what is literally meant by a given sentence-token. A consequence is that one's knowledge of (...) what is literally meant by a given sentence-token is sometimes embedded in non-semantic knowledge, resulting in a cleavage between what that sentence-token literally means and what the auditor in question takes it to mean. Such deviations obviously have nothing to do with the principles put forth by Grice, since those principles only concern sentence-tokens that have already been understood---since, to put it another way, those principles only concern post-semantic implicature. The just-described deviations are appropriately described as being due to "pre-semantic implicature." Given the phenomenon of pre-semantic implicature, it is easily shown that Russell's Theory of Descriptions, if taken as a theory of literal meaning, is false. In the present volume, these rather elementary principles are entirely ignored, and all of the articles in it are sterile repetitions of the points made by Russell and Strawson. The blinkered approach to language embodied in this volume must be reconsidered in light of psychological principles relating to language-acquisition and language-use. Unfortunately, analytic philosophers shy away from such topics, as is made clear by the papers in this grim volume. (shrink)

A series of representations must be semantics-driven if the members of that series are to combine into a single thought: where semantics is not operative, there is at most a series of disjoint representations that add up to nothing true or false, and therefore do not constitute a thought at all. A consequence is that there is necessarily a gulf between simulating thought, on the one hand, and actually thinking, on the other. A related point is that a popular doctrine (...) - the so-called 'computational theory of mind' (CTM) - is based on a confusion. CTM is the view that thought-processes consist in 'computations', where a computation is defined as a 'form-driven' operation on symbols. The expression 'form-driven operation' is ambiguous, as it may refer either to syntax-driven operations or to morphology-driven operations. Syntax-driven operations presuppose the existence of operations that are driven by semantic and extra-semantic knowledge. So CTM is false if the terms 'computation' and 'form-driven operation' are taken to refer to syntax-driven operations. Thus, if CTM is to work, those expressions must be taken to refer to morphology-driven operations. CTM therefore fails, given that an operation must be semantics-driven if it is to qualify as a thought. CTM therefore fails on each possible disambiguation of the expressions 'formal operation' and 'computation,' and it is therefore false. (shrink)

This paper presents a fundamental difference between negative semantics for free logics and positive ones regarding the logical relations between existence and predication. We conclude that this difference is the key to understand why negative free logics are stronger, i.e., they prove more, than positive free logics.

Contrary to frequent declarations that descriptivism as a theory of how names refer is dead and gone, such a descriptivism is, to all appearances, alive and well. Or rather, a descendent of that doctrine is alive and well. This new version—neo-descriptivism, for short—is supposedly immune from the usual arguments against descriptivism, in large part because it avoids classical descriptivism’s emphasis on salient, first-come-to-mind properties and holds instead that a name’s reference-fixing content is typically given by egocentric properties specified in terms (...) of broadly causal relationships between a speaker and his environment: properties like being the actual individual called ‘Aristotle’ referred to by my informants’ use of the name, being the actual individual called ‘George Bush’ whom I have seen/heard described as the U.S. President who started the second Gulf War, and so on. names is not in contention.) What these neo-descriptivists claim is that the usual modal, semantical, and epistemological arguments against classical descriptivism don’t get much of a foothold against this new version, especially if we don’t insist that speakers be able to state these properties on demand. It is enough that these are properties implicit in the semantic judgments of speakers. Recent attacks notwithstanding, such a neo-descriptivism has struck many philosophers as a credible and worthy successor to classical descriptivism. (shrink)

Despite the renown of ‘On Denoting’, much criticism has ignored or misconstrued Russell's treatment of scope, particularly in intensional, but also in extensional contexts. This has been rectified by more recent commentators, yet it remains largely unnoticed that the examples Russell gives of scope distinctions are questionable or inconsistent with his own philosophy. Nevertheless, Russell is right: scope does matter in intensional contexts. In Principia Mathematica, Russell proves a metatheorem to the effect that the scope of a single occurrence of (...) a description in an extensional context does not matter, provided existence and uniqueness conditions are satisfied. But attempts to eliminate descriptions in more complicated cases may produce an analysis with more occurrences of descriptions than featured in the analysand. Taking alternation and negation to be primitive (as in the first edition of Principia), this can be resolved, although the proof is non-trivial. Taking the Sheffer stroke to be primitive (as proposed by Russell in the second edition), with bad choices of scope the analysis fails to terminate. (shrink)

This is an introduction to a special issue on the history of phenomenal intentionality.

The notion of intentionality is what Franz Brentano is best known for. But disagreements and misunderstandings still surround his account of its nature. In this paper, I argue that Brentano’s mature account of the nature of intentionality construes it, not as a two-place relation between a subject and an object, nor as a three-place relation between a subject’s act, its object, and a ‘content,’ but as an altogether non-relational, intrinsic property of subjects. I will argue that the view is more (...) defensible than might initially appear. (shrink)

R. K. Meyer once gave precise form to the question of whether relevant implication can be defined in any modal system, and his answer was `no'. In the present paper, we extend S4, first with propositional quantifiers, to the system S4π+; and then with definite propositional descriptions, to the system S4π+ lp . We show that relevant implication can in some sense be defined in the modal system S4π+ lp , although it cannot be defined in S4π+.

Aristotle's illustrations of the fallacy of Figure of Speech (or Form of Expression) are none too convincing. They are tied to Aristotle's theory of categories and to peculiarities of Greek grammar that fail to hold appeal for a contemporary readership. Yet, upon closer inspection, Figure of Speech shows many points of contact with views and problems that inhabit 20th-century analytical philosophy. In the paper, some Aristotelian examples will be analyzed to gain a better understanding of this fallacy. The case of (...) the Third Man argument and some modern cases lend plausibility to the claim that Figure of Speech is of more interest as a type of fallacy than has generally been assumed. Finally, a case is made for the view that Figure of Speech, though listed among the fallacies dependent upon language, is not properly classified as a fallacy of ambiguity. More likely, it should be looked upon as a type of non sequitur. This has important consequences for the profile of dialogue associated with this fallacy. (shrink)

The paper offers a historical survey of the emergence of logical formalization in twentieth-century analytically oriented philosophy of religion. This development is taken to have passed through three main ?stages?: a pioneering stage in the late nineteenth and early twentieth centuries (led by Frege and Russell), a stage of crisis in the 1920s and early 1930s (occasioned by Wittgenstein, logical positivists such as Carnap, and neo-Thomists such as Maritain), and a stage of rehabilitation in the 1930s, 1940s, and 1950s (led (...) by the Cracow Circle and Quine). (shrink)

What is the exact relationship between analytic philosophy and philosophy of science? In this paper, I will address this question from the perspective of research traditions, with the help of recent histor- ical studies on analytic philosophy. The two groups are particularly focused: the Polish philosophers and the logical empiricists in Berlin. Neither of them is unknown to us. However, by taking seriously their connection to the development of analytic philosophy and philosophy of science as research traditions, I believe, the (...) understanding of our own tradition may be improved. (shrink)

Abstract Theories of descriptions tend to involve commitments about the ambiguity of descriptions. For example, sentences containing descriptions are widely taken to be ambiguous between de re , de dicto , and intermediate interpretations and are sometimes thought to be ambiguous between the former and directly referential interpretations. I provide arguments to suggest that none of these interpretations are due to ambiguities (or indexicality). On the other hand, I argue that descriptions are ambiguous between the above family of interpretations and (...) what may be called ‘institutional’ as well as generic interpretations. My arguments suggest that an adequate theory of descriptions may require considerable rethinking. Most contemporary theories of descriptions appear to be committed to one or more claims about the ambiguity of descriptions that I reject in this paper. I suggest that my observations provide a reason to renew efforts to develop a theory of descriptions within a representationalist theory of interpretation. Content Type Journal Article Pages 1-16 DOI 10.1007/s11098-011-9759-5 Authors Philipp Koralus, Philosophy Department, Princeton University, 212 1879 Hall, Princeton, NJ 08544, USA Journal Philosophical Studies Online ISSN 1573-0883 Print ISSN 0031-8116. (shrink)

This paper aims to shed light on the broader significance of Frege’s logicism against the background of discussing and comparing Wittgenstein’s ‘showing/saying’-distinction with Brandom’s idiom of logic as the enterprise of making the implicit rules of our linguistic practices explicit. The main thesis of this paper is that the problem of Frege’s logicism lies deeper than in its inconsistency : it lies in the basic idea that in arithmetic one can, and should, express everything that is implicitly presupposed so that (...) nothing is left unsaid. This, in fact, is the target of Wittgenstein’s critique. Rather than the Tractatus, with its claim that logicism attempts to say something that can only be shown, it is the Philosophical Investigations, with its argument by regress against the thesis that every rule which one can follow must be of an explicit nature, that is of real significance here. (shrink)

Certain commentators on Russell's “no class” theory, in which apparent reference to classes or sets is eliminated using higher-order quantification, including W. V. Quine and (recently) Scott Soames, have doubted its success, noting the obscurity of Russell’s understanding of so-called “propositional functions”. These critics allege that realist readings of propositional functions fail to avoid commitment to classes or sets (or something equally problematic), and that nominalist readings fail to meet the demands placed on classes by mathematics. I show that Russell (...) did thoroughly explore these issues, and had good reasons for rejecting accounts of propositional functions as extra-linguistic entities. I argue in favor of a reading taking propositional functions to be nothing over and above open formulas which addresses many such worries, and in particular, does not interpret Russell as reducing classes to language. (shrink)

I offer an analysis of the sentence "the concept horse is a concept". It will be argued that the grammatical subject of this sentence, "the concept horse", indeed refers to a concept, and not to an object, as Frege once held. The argument is based on a criterion of proper-namehood according to which an expression is a proper name if it is so rendered in Frege's ideography. The predicate "is a concept", on the other hand, should not be thought of (...) as referring to a function. It will be argued that the analysis of sentences of the form "C is a concept" requires the introduction of a new form of statement. Such statements are not to be thought of as having function--argument form, but rather the structure subject--copula--predicate. (shrink)

Sequel to Part I. In these articles, I describe Cantor’s power-class theorem, as well as a number of logical and philosophical paradoxes that stem from it, many of which were discovered or considered (implicitly or explicitly) in Bertrand Russell’s work. These include Russell’s paradox of the class of all classes not members of themselves, as well as others involving properties, propositions, descriptive senses, class-intensions and equivalence classes of coextensional properties. Part II addresses Russell’s own various attempts to solve these paradoxes, (...) including strategies that he considered and rejected (limitation of size, the zigzag theory, etc.), as well as his own final views whereupon many purported entities that, if reified, lead to these contradictions, must not be genuine entities, but ‘logical fictions’ or ‘logical constructions’ instead. (shrink)

It would seem that some statements like ‘There are exactly four moons of Jupiter’ and ‘The number of moons of Jupiter is four’ have the same truth-conditions and yet differ in ontological commitment. One strategy to resolve this paradoxical phenomenon is to insist that the statements have not only the same truth-conditions but also the same ontological commitments; the other strategy is to reject the presumption that they have the same truth-conditions. This paper critically examines some popular versions of these (...) two strategies, and defends a new solution according to which the statements have the same ontological commitments and yet differ in truth-conditions. (shrink)

In the 2020 Yale Law Journal article, “Commonsense Consent,” Roseanna Sommers argues that deception is compatible with the layperson’s intuitive sense of consent. That is, unlike the canonical understanding of consent defended by legal scholars and philosophers, the notion of consent defended by the folk is not invalidated by deception. In this study, I find that while respondents do appear to attribute consent to victims of deception, they do so in a limited number of contexts – i.e., they attribute de (...) re consent to victims of de dicto deception and attribute de dicto consent to victims of de re deception. When the two varieties of consent and deception are properly disambiguated and matched type for type however, we see the reverse phenomenon – i.e., participants refrain from attributing de dicto consent to de dicto deception and refrain from attributing de re consent to de re deception. If this is right, rather than saying, as Sommers does, that deception generally fails to invalidate commonsense consent, we should refine our understanding of commonsense consent to include two varieties of consent, each of which is in fact invalidated by its own variety of deception. (shrink)

InThe Language Animal, Charles Taylor’s struggle to provide a theoretical framework for his narration of the self finally becomes obvious. About 30 years after he wrote his great and fascinatingSources of the Self, Taylor closes the gap between the self as a radical being-in-the-world and its analytical premises. Even if the main topic of Taylor’s new book may seem to be only a comparison of what he calls ‘HHH-theory’ and ‘HLC-theory,’ there are two other authors, the combination of whose ideas (...) clarifies not only his approach to language but also to his concept of ‘reality’ as such: Gottlob Frege and Ludwig Wittgenstein.DansThe Language Animal, les efforts que doit déployer Charles Taylor pour fournir un point de vue théorique permettant de fonder son récit du soi deviennent finalement apparents. Quelque trente ans après son grand et fascinantLes sources du moi, il comble l’écart qui subsistait entre le soi en tant qu’être au monde radical et ses prémisses analytiques. Même si le principal sujet du nouveau livre de Taylor semble se résumer à une comparaison entre ce qu’il appelle la théorie HHH et la théorie HLC, on y retrouve deux auteurs dont les idées, combinées, permettent de clarifier son approche du langage et du concept de «réalité» : Gottlob Frege et Ludwig Wittgenstein. (shrink)

Proper names are usually considered devices of singular reference but, when considered as word-types, they also exhibit other kinds of uses. In this paper I intend to show that systematic kinds of uses of proper names considered as word-types can be accounted for by a generalized rule-based conception of systematic polysemy, one which not only postulates a multiplicity of stable senses for an expression, but also a multiplicity of content generating rules, each of which determines potentially different contents in different (...) contexts. In contrast to the currently extant polysemous conceptions of proper names (Leckie in Philos Stud 165:1139–1160, 2013), which only encompass individual and predicative uses, the presented proposal concerns all systematic uses of proper names considered in the literature, i.e., individual, predicative, deferred, descriptive, anaphoric, and bound uses of proper names. The resulting conception accommodates referential intuition about the default individual uses of proper names while also admitting other kinds of uses without generating homonymy. It transpires that proper names are semantically underdetermined and context-sensitive expressions. (shrink)

The book offers a proposal on how to define truth in all its complexity, without reductionism, showing at the same time which questions a theory of truth has to answer and which questions, although related to truth, do not belong within the scope of such a theory. Just like any other theory, a theory of truth has its structure and limits. The semantic core of the position is that truth-ascriptions are pro-forms, i.e. natural language propositional variables. The book also offers (...) an explanation of the syntactic behaviour of truth-terms, and the pragmatic roles of truth-acts. The theory of truth we present is a technical proposal, relatively uncontaminated by radical philosophical discussion. It makes indeed philosophical points, but it is intended to be a conceptual analysis, as neutral as possible, of the aspects that may serve as a point of departure for more philosophically-laden destinations. Like the Fregean account of quantifiers, which is prior to and, to a large extent, independent of the metaphysical debate about existence and its forms, or the Kaplanian view on demonstratives, that is neutral regarding the debate about individuals and the possibilities we have to actually “reach” them in a referring act, we intend our proposal about truth to be a sophisticated and explicative setting that helps to situate other debates about truth accurately, far from the distorted and sometimes strongly ideological discussions that have turned the topic into a paradigm of philosophical impasse. (shrink)

An introduction to analytic ontology. Part 1 deals with the question, What is ontology?, focusing on (i) the interplay between ontological and broadly metaphysical concerns, and (ii) the difference between material ontology and formal ontology. Part 2 deals with the question, How is ontology done?, focusing on (i) the delicate interplay between ontology and truth-making (or: between meaning and existence), and (ii) the differences between revolutionary vs. hermeneutic, prescriptive vs. descriptive, and absolute vs. relative approaches to ontology. Part 3 surveys (...) the state of the art in a number of areas, both in material ontology (e.g., the problem of universals, the status of objects and events, the ontology of mathematics, of the physical sciences, of the social sciences) and in formal ontology (identity, ontological dependence, part-whole relations). (shrink)

Jonas Olson presents a critical survey of moral error theory, the view that there are no moral facts and so all moral claims are false. Part I explores the historical context of the debate; Part II assesses J. L. Mackie's famous arguments; Part III defends error theory against challenges and considers its implications for our moral thinking.

Does Sherlock Holmes exist? Maybe we would answer, no, because Sherlock Holmes is a fictional entity. But, with the same logic, we can say that Sherlock Holmes is a detective and not a police. How do we believe and know the truth-value of Sherlock Holmes when Sherlock Holmes doesn’t exist? Fictional objects underwent a various number of puzzles in their ontological and metaphysical resolutions. Philosophers have tried to solve this puzzle by inventing various theories. This article means to explore the (...) historical development of fictional objects and the puzzle surrounding it. This article finds that the theories in fictional objects include two big-streams of metaphysical assumptions that contradict each other which are(1) mind-dependent and (2) mind-independent. This article also means to invent a theory called theory-n to solve fictional objects puzzles that are assigned by Kripke (1979). This article solves the fictional objects mind-dependent and/or mind-independentpuzzleor belief puzzle with rather relational-semantic approaches instead of flat-semantics. Further, theory-n finds that new fictionalism with relational-semantic admits fictional objects as foundation to make sense of objects (any objects, including actual objects is reducible to fiction). (shrink)

A Russellian notion of what it is for a proposition to be “directly about” something in particular is defined. Various strong and weak, and mediate and immediate, Russellian notions of general aboutness are then defined in terms of Russellian direct aboutness. In particular, a proposition is about something iff the proposition is either directly, or strongly indirectly, about that thing. A competing Russellian account, due to Kaplan, is criticized through a distinction between knowledge by description and denoting by description. The (...) epistemological significance of Russellian aboutness is assessed. A Russellian substitute for de re propositional attitude is considered. (shrink)

John Searle’s The Construction of Social Reality and Hernando de Soto’s The Mystery of Capital shifted the focus of current thought on capital and economic development to the cultural and conceptual ideas that underpin market economies and that are taken for granted in developed nations. This collection of essays assembles 21 philosophers, economists, and political scientists to help readers understand these exciting new theories.

This book is both an introduction to and a research work on Meinongianism. “Meinongianism” is taken here, in accordance with the common philosophical jargon, as a general label for a set of theories of existence – probably the most basic notion of ontology. As an introduction, the book provides the first comprehensive survey and guide to Meinongianism and non-standard theories of existence in all their main forms. As a research work, the book exposes and develops the most up-to-date Meinongian theory (...) (called modal Meinongianism), applies it to specific fields, and discusses its open problems. Part I of the book provides a historical introduction to, and critical discussion of, the dominant philosophical view of existence: the “Kantian-Fregean-Quinean” perspective. Part II is the full-fledged introduction to the Meinongian theories of existence as a real property of individuals: after starting with the so-called naïve Meinongian conception and its problems, it provides a self-contained presentation of the main neo-Meinongian proposals, and a detailed discussion of their strengths and weaknesses. Part III develops a specific neo-Meinongian theory of existence employing a model-theoretic semantic framework. It discusses its application to the ontology and semantics of fictional objects, and its open problems. The methodology of the book follows the most recent trends in analytic ontology. In particular, the meta-ontological point of view is largely privileged. (shrink)