The happy fish episode from the outer chapters of the Zhuangzi poses enormous difficulty for interpreters. While it may appear to surprisingly resemble the dialectic in Western philosophy, any attempt to analyse it in terms of the patterns of inference familiar to the West is often frustrated by the ostensible queerness that defies such treatment. The following examination of the dialogue in the episode is intended to address the difficulty and to provide a reasoned explanation for both the surface resemblance (...) and apparent queerness. I suggest that the dialogue becomes perfectly intelligible, if it is read against the backdrop of the disputations practiced in ancient China. My contention is that the real purpose of the dialogue is to expose the fundamental unreliability of the logic of the disputers by means of the logic itself. (shrink)

Scholastic and analytic definitions of semantic paradoxes, in terms of groundlessness, circularity, and semantic pathology, are introduced and compared with each other. The fundamental intuitions used in these definitions are the concepts of being true about extralinguistic reality, of making statements about one’s self, and of compatibility with an underlying semantic theory. The three approaches—the groundlessness view, the circularity view, and the semantic pathology view—are shown to differ not only conceptually, but also in their applications. As both a means for (...) showing these differences and as an adequacytest, the so-called two-line puzzles are used, which allows one to address the possibility of making non-paradoxical statements about paradoxical sentences within the same language. (shrink)

This paper propounds a systematic examination of the link between the Knower Paradox and provability interpretations of modal logic. The aim of the paper is threefold: to give a streamlined presentation of the Knower Paradox and related results; to clarify the notion of a syntactical treatment of modalities; finally, to discuss the kind of solution that modal provability logic provides to the Paradox. I discuss the respective strength of different versions of the Knower Paradox, both in the framework of first-order (...) arithmetic and in that of modal logic with fixed point operators. It is shown that the notion of a syntactical treatment of modalities is ambiguous between a self-referential treatment and a metalinguistic treatment of modalities, and that these two notions are independent. I survey and compare the provability interpretations of modality respectively given by Skyrms, B. (1978, The Journal of Philosophy 75: 368–387) Anderson, C.A. (1983, The Journal of Philosophy 80: 338–355) and Solovay, R. (1976, Israel Journal of Mathematics 25: 287–304). I examine how these interpretations enable us to bypass the limitations imposed by the Knower Paradox while preserving the laws of classical logic, each time by appeal to a distinct form of hierarchy. (shrink)

Recently O’Grady argued that Quine’s “Two Dogmas” misses its mark when Carnap’s use of the analyticity distinction is understood in the light of his deflationism. While in substantial agreement with the stress on Carnap’s deflationism, I argue that O’Grady is not sufficiently sensitive to the difference between using the analyticity distinction to support deflationism, and taking a deflationary attitude towards the distinction itself; the latter being much more controversial. Being sensitive to this difference, and viewing Quine as having reason to (...) insist on a non-arbitrary analyticity distinction, we see that “Two Dogmas” makes direct contact with Carnap’s deflationism. We must look beyond “Two Dogmas” to Quine’s other critiques of analyticity to understand why the arbitrariness of the distinction threatens to undermine or overextend Carnap’s deflationism, collapsing it into a view much like Quine’s. Quine is then seen to achieve many of Carnap’s ends, with the important exception of deflationism. (shrink)

Recently O'Grady argued that Quine's "Two Dogmas" misses its mark when Carnap's use of the analyticity distinction is understood in the light of his deflationism. While in substantial agreement with the stress on Carnap's deflationism, I argue that O'Grady is not sufficiently sensitive to the difference between using the analyticity distinction to support deflationism, and taking a deflationary attitude towards the distinction itself; the latter being much more controversial. Being sensitive to this difference, and viewing Quine as having reason to (...) insist on a nonarbitrary analyticity distinction, we see that "Two Dogmas" makes direct contact with Carnap's deflationism. We must look beyond "Two Dogmas" to Quine's other critiques of analyticity to understand why the arbitrariness of the distinction threatens to undermine or overextend Carnap's deflationism. (edited). (shrink)

It is widely assumed that Russell's problems with the unity of the proposition were recurring and insoluble within the framework of the logical theory of his Principles of Mathematics. By contrast, Frege's functional analysis of thoughts (grounded in a type-theoretic distinction between concepts and objects) is commonly assumed to provide a solution to the problem or, at least, a means of avoiding the difficulty altogether. The Fregean solution is unavailable to Russell because of his commitment to the thesis that there (...) is only one ultimate ontological category. This, combined with Russell's reification of propositions, ensures that he must hold concepts and objects to be of the same logical and ontological type. In this paper I argue that, while Frege's treatment of the unity of the proposition has immediate advantages over Russell's, a deeper consideration of the philosophical underpinnings and metaphysical consequences of the two approaches reveals that Frege's supposed solution is, in fact, far from satisfactory. Russell's repudiation of the Fregean position in the Principles is, I contend, convincing and Russell's own position, despite its problems, conforms to a greater extent than Frege's with common sense and, furthermore, with certain ideas which are central to our understanding of the origins of the analytical tradition. (shrink)

In this article I subject to criticism Field's argument, according to which field theory takes space-time to be substance since it ascribes field properties to space-time points. There is petitio principii error made in this reasoning because Field does not give any justification for his controversial assumption that fields are properties of space-time points. What is more, I suggest, Field's interpretation of field theory is incompatible with the way this theory is understood and utilized by its users, namely scientists. My (...) criticism is based on the assumption that one cannot propose an ontology of a given scientific theory, at the same time imposing on it an interpretation which clashes with the interpretation current among its users. I also suggest that in order to establish the ontology of a scientific theory one should also take into account the way it has been constructed. According to this criterion, field theory does indeed take space-time to be a substance. (shrink)

Saul Kripke’s thesis that ordinary proper names are rigid designators is supported by widely shared intuitions about the occurrence of names in ordinary modal contexts. By those intuitions names are scopeless with respect to the modal expressions. That is, sentences in a pair like (a) Aristotle might have been fond of dogs (b) Concerning Aristotle, it is true that he might have been fond of dogs will have the same truth value. The same does not in general hold for definite (...) descriptions. If we, like Kripke, account for this difference by means of the intensions of names and descriptions, we have to conclude that names do not in general have the same intension as any normal, identifying description. However, the difference in scope behavior between names and description can be accounted for alternatively by appeal to the semantics of the modal expressions. On the account we suggest, dubbed ‘relational modality’, simple singular terms, like proper names, contribute to modal contexts simply by their actual world reference, not by their (standard) intension. The relational modality account turns out to be fully equivalent with the rigidity account when it comes to truth of modal and non-modal sentences (with respect to the actual world), and hence supports the same basic intuitions. Given an alternative definition of consequence for relational modality, and a restriction to models with reflexive accessibility relations and non-empty world-bound domains, relational modality also turns out to be model theoretically equivalent with rigidity semantics with respect to logical consequence. Here we introduce the semantics, give the truth definition for relational modality models, and prove the equivalence results. (shrink)

Quine’s notion of fact of the matter has received very little attention, although a good grasp of it is crucial to an understanding of some of Quine’s famous formulations of the indeterminacy of translation thesis. The notion is used and cited by many but has to my knowledge never been thoroughly analysed. In the present article, I attempt to analyse and clarify it. In the first section, my exposition focuses on the relations Quine has developed between his notion of fact (...) of the matter and his views on physicalism and ontology. The main conclusion of this section is that Quine’s notion of fact of the matter is ontological. That is to say, for Quine, the notion concerns extralinguistic reality, which is ultimately described by physics. In the second section, I try to show what relations Quine sees between facts of the matter and truth. The main conclusion of this section is that, for Quine, facts of the matter determine truth. This determination is to be understood in the context of Quine’s genetic approach to evidence, which reveals that it is through the mechanism of conditioned response that facts of the matter determine truth. It is hoped that the present analyses will shed new light on Quine’s controversial indeterminacy of translation thesis as well as on the asymmetry that Quine sees between that thesis and underdetermination of theory. (shrink)

Hilary Putnam first published the consistency objection against Ludwig Wittgenstein’s account of mathematics in 1979. In 1983, Putnam and Benacerraf raised this objection against all conventionalist accounts of mathematics. I discuss the 1979 version and the scenario argument, which supports the key premise of the objection. The wide applicability of this objection is not apparent; I thus raise it against an imaginary axiomatic theory T similar to Peano arithmetic in all relevant aspects. I argue that a conventionalist can explain the (...) consistency of T and suggest that an analogous explanation can be provided for the consistency of Peano arithmetic. (shrink)

Author's replies to an APA book symposium on "Carnap, Tarski, and Quine at Harvard.".

The notion of conceivability has traditionally been regarded as crucial to an account of modal knowledge. Despite its importance to modal epistemology, there is no received explication of conceivability. In recent discussions, some have attempted to explicate the notion in terms of epistemic possibility. There are, however, two notions of epistemic possibility, a more familiar one and a novel one. I argue that these two notions are independent of one another. Both are irrelevant to an account of modal knowledge on (...) the predominant view of modal reality. Only the novel notion is relevant and apt on the competing view of modal reality; but this latter view is problematic in light of compelling counterexamples. Insufficient care regarding the independent notions of epistemic possibility can lead to two problems: a gross problem of conflation and a more subtle problem of obscuring a crucial fact of modal epistemology. Either problem needlessly hampers efforts to develop an adequate account of modal knowledge. I conclude that the familiar notion of epistemic possibility should be eschewed in the context of modal epistemology. (shrink)

According to orthodoxy, there are two basic moods of supposition: indicative and subjunctive. The most popular formalizations of the corresponding norms of suppositional judgement are given by Bayesian conditionalization and Lewisian imaging, respectively. It is well known that Bayesian conditionalization can be generalized (via Jeffrey conditionalization) to provide a model for the norms of partial indicative supposition. This raises the question of whether imaging can likewise be generalized to model the norms of ‘partial subjunctive supposition’. The present article casts doubt (...) on whether the most natural generalizations of imaging are able to provide a plausible account of the norms of partial subjunctive supposition. (shrink)

The Polish logicians' propositional calculi, which consist in a distinct synthesis of the Fregean and Boolean approaches to logic, influenced W. V. Quine's early work in formal logic. This early formal work of Quine's, in turn, can be shown to serve as one of the sources of his holistic conception of natural language.

The concept of hypodox is dual to the concept of paradox. Whereas a paradox is incompatibly overdetermined, a hypodox is underdetermined. Indeed, many particular paradoxes have dual hypodoxes. So, naively the dual of Russell’s Paradox is whether the set of all sets that are members of themselves is self-membered. The dual of the Liar Paradox is the Truth-teller, and a hypodoxical dual of the Heterological paradox is whether ‘autological’ is autological. I provide some analysis of the duality and I search (...) for modal hypodoxes as duals to known paradoxes. I also try to continue this search further by mapping the relations between some paradoxes and hypodoxes in duality squares. This investigation increases the known extension of the concept of hypodox, and the duality relation between paradoxes and hypodoxes assists in finding some of these. (shrink)

The paper is concerned with Quine's substitutional account of logical truth. The critique of Quine's definition tends to focus on miscellaneous odds and ends, such as problems with identity. However, in an appendix to his influential article On Second Order Logic, George Boolos offered an ingenious argument that seems to diminish Quine's account of logical truth on a deeper level. In the article he shows that Quine's substitutional account of logical truth cannot be generalized properly to the general concept of (...) logical consequence. The purpose of this paper is threefold: first, to introduce the reader to the metamathematics of Quine's substitutional definition of logical truth; second, to make Boolos' result accessible to a broader audience by giving a detailed and self-contained presentation of his proof; and, finally, to discuss some of the possible implications and how a defender of the Quinean concepts might react to the challenge posed by Boolos' result. (shrink)

Quine famously argued that analyticity is indefinable, since there is no good account of analyticity in terms of synonymy, and intensions are of no help since there are no intensions. Yet if there are intensions, the question still remains as to the right account of analyticity in terms of them. On the assumption that intensions must be admitted, the present paper considers two such accounts. The first analyzes analyticity in terms of concept identity, and the second analyzes analyticity in terms (...) of the analysis relation. The first fails in light of possible counterexamples. The second is defended, both by considering test cases of intuitively clear analyticities, and by developing the account in light of possible counterexamples. (shrink)

This paper argues for a version of perspectival realism as to abstract objects. Differently from bodies and mental states, abstract realities are supposed to be always unobservable objects, things never given in perception. Contrary to this received view, this paper tries to show that abstract objects can be perceived, even though people aren’t currently aware of perceiving them. Moreover, in order to perceive abstract objects we must be accordingly equipped. Our equipment to perceive abstract objects involves not only retino-cortical elements, (...) but mental and cultural conditions as well. (shrink)

Pan-dispositionalism is one of the major theories in current analytic metaphysics concerning dispositional properties and how they relate to categorical properties. According to pan-dispositionalists, all fundamental properties are dispositional in nature, such that any supposed categorical properties are either unreal or reducible in some way to the dispositional. I argue that if pan-dispositionalism is true then metaphysical naturalism is false. To the extent that one finds pan-dispositionalism a plausible theory, one ought to question the truth of metaphysical naturalism. On the (...) other hand, if one is a committed metaphysical naturalist, one ought to question the truth of pan-dispositionalism. Either way we get a significant result, of interest both to those working in metaphysics and to those working in philosophy of religion. (shrink)

Extended simples are physical objects that, while spatially extended, possess no actual proper parts. The theory that physical reality bottoms out at extended simples is one of the principal competing views concerning the fundamental composition of matter, the others being atomism and the theory of gunk. Among advocates of extended simples, Markosian’s ‘MaxCon’ version of the theory has justly achieved particular prominence. On the assumption of causal realism, I argue here that the reality of MaxCon simples would entail the reality (...) of irreducible, intrinsic dispositional properties. The existence of dispositional properties in turn has important implications for another central debate in metaphysics, namely that between two major competing views concerning the ontology of laws: dispositionalism versus nomological necessitarianism. (shrink)

The deep differences between E. J. Lowe’s ontology of dispositions and that maintained by other prominent dispositionalists have received relatively little attention in the existing literature on his work. Here I lay out some of these differences, along the way attempting to clarify whether Lowe’s ontology can properly be termed ‘dispositionalist.’ I then argue that the unique features of his ontology allow it to avoid some well-known worries facing standard dispositionalism, while at the same time opening his view to novel (...) objections. My overall aim here is neither to defend nor attack Lowe’s theory, but rather to assess some of its pros and cons and to consider its sometimes surprising implications (implications not always drawn out explicitly by Lowe). (shrink)

Many philosophers think that common sense knowledge survives sophisticated philosophical proofs against it. Recently, however, Bryan Frances (forthcoming) has advanced a philosophical proof that he thinks common sense can’t survive. Exploiting philosophical paradoxes like the Sorites, Frances attempts to show how common sense leads to paradox and therefore that common sense methodology is unstable. In this paper, we show how Frances’s proof fails and then present Frances with a dilemma.

According to ontological nihilism there are, fundamentally, no individuals. Both natural languages and standard predicate logic, however, appear to be committed to a picture of the world as containing individual objects. This leads to what I call the \emph{expressibility challenge} for ontological nihilism: what language can the ontological nihilist use to express her account of how matters fundamentally stand? One promising suggestion is for the nihilist to use a form of \emph{predicate functorese}, a language developed by Quine. This proposal faces (...) a difficult objection, according to which any theory in predicate functorese will be a notational variant of the corresponding theory stated in standard predicate logic. Jason Turner (2011) has provided the most detailed and convincing version of this objection. In the present paper, I argue that Turner's case for the notational variance thesis relies on a faulty metasemantic principle and, consequently, that an objection long thought devastating is in fact misguided. (shrink)

The Bounds of Logic presents a new philosophical theory of the scope and nature of logic based on critical analysis of the principles underlying modern Tarskian logic and inspired by mathematical and linguistic development. Extracting central philosophical ideas from Tarski’s early work in semantics, Sher questions whether these are fully realized by the standard first-order system. The answer lays the foundation for a new, broader conception of logic. By generally characterizing logical terms, Sher establishes a fundamental result in semantics. Her (...) development of the notion of logicality for quantifiers and her work on branching are of great importance for linguistics. Sher outlines the boundaries of the new logic and points out some of the philosophical ramifications of the new view of logic for such issues as the logicist thesis, ontological commitment, the role of mathematics in logic, and the metaphysical underpinning of logic. She proposes a constructive definition of logical terms, reexamines and extends the notion of branching quantification, and discusses various linguistic issues and applications. (shrink)

This book explores the interplay between logic and science, describing new trends, new issues and potential research developments.

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)

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

Modality and Anti-Metaphysics critically examines the most prominent approaches to modality among analytic philosophers in the twentieth century, including essentialism. Defending both the project of metaphysics and the essentialist position that metaphysical modality is conceptually and ontologically primitive, Stephen McLeod argues that the logical positivists did not succeed in banishing metaphysical modality from their own theoretical apparatus and he offers an original defence of metaphysics against their advocacy of its elimination. -/- Seeking to assuage the sceptical worries which underlie modal (...) anti-realism, McLeod provides an original contribution to essentialist epistemology, engaging with current debates about modality and suggesting that standard essentialist approaches to some issues in the philosophies of logic and language require revision. -/- This book offers valuable insights to professional philosophers, postgraduates and advanced undergraduates interested in metaphysics, philosophy of logic or the history of twentieth-century analytic philosophy. (shrink)

The Institute Vienna Circle held a conference in Vienna in 2003, Cambridge and Vienna a?

One of the leading concerns animating current philosophy of mind is that, no matter how good a scientific account is, it will leave out what its like to be conscious. The challenge has thus been to study or at least explain away that qualitative dimension. Pursuant with that aim, I investigate how philosophy of signs in the Peircean tradition can positively reshape ongoing debates. Specifically, I think the account of iconic or similarity-based reference we find in semiotic theory offers a (...) more promising variant of the phenomenal concept strategy. Philosophers who endorse this strategy think that the difficulties we have fitting conscious qualia into a scientific picture may owe to the peculiar nature of indexical concepts. They point to the fact that, when we try to convey the feel of our experiences, we employ context-dependent gestures and/or utterances that are indexed to perspectives unique to each person. However, according to the theory I defend, there are three ways signs can refer, namely by convention, causal contact, and similarity. Since similarity is not reducible to proximity, I argue that a theory of reference that turns on shared quality can bypass some of the implausible consequences that plague indexical accounts. In the first chapter, I describe the apparatus needed to make sense of this claim. In the second chapter, I present my account of iconic reference. In the third chapter, I justify my reliance on a distinction that is less than real yet more than nominal. In the fourth chapter, I sketch a trinitarian metaphysics well-suited to house the foregoing account of qualia. (shrink)

Arguably no concept is more fundamental to science than that of causality, for investigations into cases of existence, persistence, and change in the natural world are largely investigations into the causes of these phenomena. Yet the metaphysics and epistemology of causality remain unclear. For example, the ontological categories of the causal relata have been taken to be objects (Hume 1739), events (Davidson 1967), properties (Armstrong 1978), processes (Salmon 1984), variables (Hitchcock 1993), and facts (Mellor 1995). (For convenience, causes and effects (...) will usually be understood as events in what follows.) Complicating matters, causal relations may be singular (Socrates’s drinking hemlock caused Socrates’s death) or general (Drinking hemlock causes death); hence the relata might be tokens (e.g., instances of properties) or types (e.g., types of events) of the category in question. Other questions up for grabs are: Are singular causes metaphysically and/or epistemologically prior to general causes or vice versa (or neither)? What grounds the intuitive asymmetry of the causal relation? Are macro-causal relations reducible to micro-causal relations? And perhaps most importantly: Are causal facts (e.g., the holding of causal relations) reducible to non-causal facts (e.g., the holding of certain spatiotemporal relations)? (shrink)

The distinction between essential versus accidental properties has been characterized in various ways, but it is currently most commonly understood in modal terms: an essential property of an object is a property that it must have, while an accidental property of an object is one that it happens to have but that it could lack. Let’s call this the basic modal characterization, where a modal characterization of a notion is one that explains the notion in terms of necessity/possibility. In the (...) characterization just given of the distinction between essential and accidental properties, the use of the word “must” reflects the fact that necessity is invoked, while the use of the word “could” reflects that possibility is invoked. The notions of necessity and possibility are interdefinable: to say that something is necessary is to say that its negation is not possible; to say that something is possible is to say that its negation is not necessary; to say that an object must have a certain property is to say that it could not lack it; and to say that an object could have a certain property is to say that it is not the case that it must lack it. (shrink)

Part 1 of the thesis questions the traditional relation model of intentionality. After fixing reference on the target phenomenon, intentionality, and explaining my interest in it, I ask what sorts of things intentionality might be a relation to. I consider ordinary objects, properties, propositions and hybrid views, and conclude all make the intentional relation appear rather mysterious. From there, I move on to examine the relation view’s most prominent proponents, the tracking theorists—pointing out some challenges such views face, and concluding (...) that it might be worthwhile looking into alternatives to the relation view. Part 2 asks whether the newly emerging phenomenal intentionality movement can provide a viable alternative to the relation model of intentionality. After focusing on a specific kind of phenomenal intentionality theory—something I call modificationism—I examine three such accounts. From there I go on to discuss some common complaints/challenges these kinds of views face, and consider how they might be addressed within the modificationist framework. In Part 3, I address what I call the problem of cognitive contact: how do our contentful mental states manage to make cognitive contact with the ordinary objects (e.g. tables and chairs) that they appear to. The problem is particularly acute for any version of phenomenal intentionality that denies the relation view, and has been given very little attention in the literature. I consider how a modificationist might address this problem, and conclude that though some avenues appear promising, there is nevertheless a great deal of work to be done if modificationism, and phenomenal intentionality theory, is to overcome this problem. (shrink)

This essay expands on Barry Smith’s paper “Against Fantology” of 2005, which defends the view that analytic philosophy has throughout its history been marked by a tendency to conceive the syntax of first-order predicate logic as a key to ontology. I present fantology (or "F(a)ntology") in the light of a more general and in itself ontologically neutral operation that I call a default ontologization of a language. I then discuss Quine’s views, since he is the most outspoken fantologist in the (...) second half of the twentieth century. As Smith points out, “fantology sometimes takes the form of a thesis according to which the language of standard predicate logic can serve the formulation of the truths of natural science in a uniquely illuminating way”. Hence Quine’s doctrine according to which the ontological commitments of a theory become evident only when the theory has been regimented in fantological clothing. (shrink)

A resolution to the Russell Paradox is presented that is similar to Russell's “theory of types” method but is instead based on the definition of why a thing exists as described in previous work by this author. In that work, it was proposed that a thing exists if it is a grouping tying "stuff" together into a new unit whole. In tying stuff together, this grouping defines what is contained within the new existent entity. A corollary is that a thing, (...) such as a set, does not exist until after the stuff is tied together, or said another way, until what is contained within is completely defined. A second corollary is that after a grouping defining what is contained within is present and the thing exists, if one then alters what is tied together (e.g., alters what is contained within), the first existent entity is destroyed and a different existent entity is created. A third corollary is that a thing exists only where and when its grouping exists. Based on this, the Russell Paradox's set R of all sets that aren't members of themselves does not even exist until after the list of the elements it contains (e.g. the list of all sets that aren't members of themselves) is defined. Once this list of elements is completely defined, R then springs into existence. Therefore, because it doesn't exist until after its list of elements is defined, R obviously can't be in this list of elements and, thus, cannot be a member of itself; so, the paradox is resolved. This same type of reasoning is then applied to Godel's first Incompleteness Theorem. Briefly, while writing a Godel Sentence, one makes reference to a future, not yet completed and not yet existent sentence, G, that claims its unprovability. However, only once the sentence is finished does it become a new unit whole and existent entity called sentence G. If one then goes back in and replaces the reference to the future sentence with the future sentence itself, a totally different sentence, G1, is created. This new sentence G1 does not assert its unprovability. An objection might be that all the possibly infinite number of possible G-type sentences or their corresponding Godel numbers already exist somehow, so one doesn't have to worry about references to future sentences and springing into existence. But, if so, where do they exist? If they exist in a Platonic realm, where is this realm? If they exist pre-formed in the mind, this would seem to require a possibly infinite-sized brain to hold all these sentences. This is not the case. What does exist in the mind is the system for creating G-type sentences and their corresponding numbers. This mental system for making a G-type sentence is not the same as the G-type sentence itself just as an assembly line is not the same as a finished car. In conclusion, a new resolution of the Russell Paradox and some issues with proofs of Godel's First Incompleteness Theorem are described. (shrink)

In the fifth of his John Locke Lectures, Robert Brandom takes up the challenge to define a formal semantics for modelling conceptual contents according to his normative analysis of linguistic practices. The project is to exploit the notion of incompatibility in order to directly define a modally robust relation of entailment. Unfortunately, it can be proved that, in the original definition, the modal system represented by Incompatibility Semantics (IS) collapses into propositional calculus. In this paper I show how IS can (...) be technically amended so to overcome this failure: the required modifications are already known and consist in adapting and including the main notions of Kripke's standard framework of possible worlds. I also show that the modifications do not jeopardize Brandom's original project. (shrink)

This dissertation is a contribution to the philosophy of language. Its central question is: In virtue of which facts do linguistic expressions mean what they do? E.g. why does “apple” mean apple in English? The question receives a systematic answer; in short: Linguistic expressions mean what they do because among their users, there are linguistic conventions and social norms to use and understand them in certain ways. The answer is clarified and defended as a central thesis. For in this form, (...) it is at best a slogan: What is meaning? What is it to use and understand expressions? What are conventions and social norms anyway? How does the use and understanding determine meaning? The goal of the dissertation consists in answering these questions. (shrink)

David Lewis proposed to deal with the semantics of sentences that state what is possible for an individual in terms of possible individuals that are in ways the first individual might have been, so called counterparts of the individual. In this book, I defend counterpart semantics as an approach to the semantics of modality and natural language semantics in particular. Counterpart semantics has a rival, the standard Kripkean semantics that deals with the same sentences in terms of an accessibility relation (...) between possible worlds. While counterpart semantics appears to be more flexible and carries less metaphysical presuppositions (it does not presuppose that I myself exist in various possible worlds, e.g.), Kripkean semantics has some advantages of its own. Most importantly, it incorporates the core assumptions of what may be called standard possible-worlds semantics; i.e. the core assumptions of the most successful framework within linguistic semantics. Counterpart semantics, on the other hand, does not conform to these assumptions, or so I will argue. In this book I opt for a synthesis of these two approaches that allows to combine their advantages. In Chap.1 I introduce the basic idea of counterpart semantics. I defend counterparts against the charge, made by Kripke, that counterparts are irrelevant for the analysis of modality. In Chap. 2 I present the classical version of counterpart semantics, i.e. David Lewis's translation of the language of quantified modal logic into counterpart theory. I discuss some well-known problems and opt for a revision of that translation that is able to solve the problems. Lewis's translation indirectly defines semantical values for expressions of quantified modal logic. In Chap.3 I evaluate counterpart semantics with respect to basic features of possible-worlds semantics. I conclude that the semantical values indirectly assigned to sentences by Lewis's translation are not sets of possible worlds, and that they do not meet certain intuitive demands on notions of meaning and content. (The revisions proposed in Chap.2 do not change this.) In Chap.4 I discuss various versions of a combination of counterpart semantics with Kripkean semantics found in the literature. But I conclude that here, the benefits of the latter are achieved by forfeiting the advantages of the former. Chap.5 finally contains my own proposal how to combine the two approaches in a more satisfactory way. The core semantical notion is truth according to a maximal complete representation, where representations now play the role of worlds. It is an important feature of the counterpart relation that it is qualitative, i.e. a relation in which things stand in virtue how they are. In Chap.1 I point out why it is qualitative, and why it ought to be. In Chap.6 I show how to make the notion of a qualitative property or relation precise. Finally, in Chap.7 I show how to extend this and related notions to predicates and propositions. For counterpart semantics to work at all we have to assume that everything that can be said at all can in principle be expressed in a language with qualitative predicates only (and perhaps, additionally, names, treated directly referentially). In Chap.7 I show how this assumption allows to maintain that the representations of our semantics deserve their name. (shrink)