In this article, I distinguish between a moral and a strictly legal conception of legal normativity, and argue that legal positivists can account for law's normativity in the strictly legal but not in the moral sense, while pointing out that normativity in the former sense is of little interest, at least to lawyers. I add, however, that while the moral conception of law's normativity is to be preferred to the strictly legal conception from the rather narrow viewpoint of the study (...) of law's normativity, it is less attractive than the latter from the broader viewpoint of the study of the nature of law. I then distinguish between a moral and a strictly legal conception of the normative force of legal justification, and argue that legal positivists may without contradiction embrace the moral conception, and that therefore the analysis of the normative force of legal justification need not be a problem for legal positivists. I conclude that, on the whole, we have reason to prefer legal positivism to natural law theory. I begin by introducing the subject of jurisprudence . I then introduce the natural law/legal positivism debate, suggesting that we ought to understand it as a debate about the proper way to explicate the concept of law . I proceed to argue that legal decision‐making is a matter of applying legal norms to facts, and that syllogistic reasoning plays a prominent role in legal decision‐making thus conceived . Having done that, I discuss law's normativity , the normative force of legal justification , and the relation between the former and the latter . I conclude with a critical comment on Joseph Raz’ understanding of the question of law's normativity. (shrink)

In a seminal paper of 1923 on vagueness, Bertrand Russell discussed some of the most important problems concerning the nature of vagueness, its extension within the language, and its relation to truth and logic. The present paper inquires into Russell's theory. The following topics will be analysed and discussed in turn in sections 1?5: Russell's definition of vagueness; his claim that all phrases are vague; his theory of the source of the vagueness in our language; his principles for the transmission (...) of vagueness; and his claim that logic is incompatible with vagueness. This paper is an attempt to give a rational reconstruction of Russell's position as expressed in his paper. Compatible passages in other of his works are also studied. (shrink)

This paper examines Russell's substitutional theory of classes and relations, and its influence on the development of the theory of logical types between the years 1906 and the publication of Principia Mathematica (volume I) in 1910. The substitutional theory proves to have been much more influential on Russell's writings than has been hitherto thought. After a brief introduction, the paper traces Russell's published works on type-theory up to Principia. Each is interpreted as presenting a version or modification of the substitutional (...) theory. New motivations for Russell's 1908 axiom of infinity and axiom of reducibility are revealed. (shrink)

This thesis is on the history and philosophy of logic and semantics. Logic can be described as the ‘science of reasoning’, as it deals primarily with correct patterns of reasoning. However, logic as a discipline has undergone dramatic changes in the last two centuries: while for ancient and medieval philosophers it belonged essentially to the realm of language studies, it has currently become a sub-branch of mathematics. This thesis attempts to establish a dialogue between the modern and the medieval traditions (...) in logic, by means of ‘translations’ of the medieval logical theories into the modern framework of symbolic logic, i.e. formalizations. One of its conclusions is that, when properly understood within their own framework, the interest of medieval logical theories for modern investigations go beyond mere historical interest, but that a thorough conceptual analysis of such theories must be undertaken in order to avoid conceptual misprojections. While such translations of medieval into modern logic have been attempted before, the approach presented here is innovative in that attention is paid to the similarities as well as to the dissimilarities between the two traditions, and to what can be learned from the medieval masters for modern investigations in logic and semantics. (shrink)

In the essay, I compare the aims and especially the methods of philosophers and grammarians. It transpires that there are several interesting similarities to be found with the method and aim in particular of traditional 'armchair philosophers'. I argue that these similarities go far enough to suggest that if armchair philosophers' method is in a state of challenge, as is claimed by a number of experimental philosophers, then the same can be said about the method of grammarians. However, I also (...) try to show that it is not easy for experimental philosophers to frame their critique in a way that avoids construing its target too broadly, which would lead to unacceptable consequences. I conclude with some brief remarks on the extent to which a properly targeted critique can provide a challenge for traditional philosophical method. (shrink)

Carnap's theory of descriptions was restricted in two ways. First, the descriptive conditions had to be non-modal. Second, only primitive predicates or the identity predicate could be used to predicate something of the descriptum . The motivating reasons for these two restrictions that can be found in the literature will be critically discussed. Both restrictions can be relaxed, but Carnap's theory can still be blamed for not dealing adequately with improper descriptions.

In this paper we give some formal examples of ideas developed by Penco in two papers on the tension inside Frege's notion of sense (see Penco 2003). The paper attempts to compose the tension between semantic and cognitive aspects of sense, through the idea of sense as proof or procedure – not as an alternative to the idea of sense as truth condition, but as complementary to it (as it happens sometimes in the old tradition of procedural semantics).

This is the first part of a two-part article on semantic compositionality, that is, the principle that the meaning of a complex expression is determined by the meanings of its parts and the way they are put together. Here we provide a brief historical background, a formal framework for syntax and semantics, precise definitions, and a survey of variants of compositionality. Stronger and weaker forms are distinguished, as well as generalized forms that cover extra-linguistic context dependence as well as linguistic (...) context dependence. In the second article, we survey arguments for and arguments against the claim that natural languages are compositional, and consider some problem cases. It will be referred to as Part II. (shrink)

Anotace Following Carnap's Principle of Subject Matter, Pavel Tichý proposed a methodological principle I call the "Denotational Principle of Aboutness". It says that expressions are about their denotata. Denotata are modelled as possible world intensions or (common) extensions. Nearly the same principle was recently defended by Marie Duží and Pavel Materna under the name the "Parmenides Principle". However, Duží and Materna did not react to Tichý's late proposal which I call the "Constructional Principle of Aboutness". It says that the subject (...) matter of expressions consists not in their denotata but their meanings. The meanings are explicated by Tichý, and also by Duží and Materna, as so-called constructions; constructions are complex entities akin to algorithms, they construct intensions or extensions. In this paper, I argue in favour of the Constructional Principle of Aboutness. I show that there are not only single arguments, but whole net of methodological principles which support it. This is why the topic largely transcends the debate among Tichý's followers. (shrink)

The article aims at exposition, commenting and interpreting Frege’s theory of meaning, based on the requirement to distinguish, in the meaning of a sign, the level of sense (Sinn) and the correlative level of reference (Bedeutung). The author directs attention to some logico-linguistic reasons which seem to have urged Frege to advocate the differential conception of meaning. In accordance with Frege’s decision to use the theoretical notions of sense and reference, the relevant semantic features of a proper name as well (...) as of a declarative sentence are explored. Since only something which constitutes what someone who understands the word or expression implicitly grasps can be counted as a possible ingredient in meaning, the claim is made that entities on the level of reference (objects, truth-values) are not undeniable ingredients of meaning. Sense therefore is left in the role of a genuine semantic concept. Keywords: Frege, language, meaning, sense, reference. (shrink)

From the Editor’s Introduction: "The Internal Limitations of Human Understanding." We carry, unavoidably, the limits of our understanding with us. We are perpetually confined within the horizons of our conceptual structure. When this structure grows or expands, the breadth of our comprehensions enlarges, but we are forever barred from the wished-for glimpse beyond its boundaries, no matter how hard we try, no matter how much credence we invest in the substance of our learning and mist of speculation. -/- The limitations (...) in view here are not due to the mere finitude of our understanding of ourselves and of the world in which we live. They are limitations that come automatically and necessarily with any form of understanding. They are, as we shall see, part and parcel of any organization or ordering of data that we call information. -/- The consequences of these limitations are varied: As a result of them, hermeneutics cannot help but be hermetic; scientific theories of necessity are circumscribed by the boundaries of the ideas that define them; formal systems must choose between consistency and comprehensiveness; philosophical study, because it includes itself within its own proper subject matter, is forced to be reflexive in its self-enclosure. The fundamental dynamic shared by all forms of understanding testifies to an internal limitative keystone. (shrink)

Gaining information can be modelled as a narrowing of epistemic space . Intuitively, becoming informed that such-and-such is the case rules out certain scenarios or would-be possibilities. Chalmers’s account of epistemic space treats it as a space of a priori possibility and so has trouble in dealing with the information which we intuitively feel can be gained from logical inference. I propose a more inclusive notion of epistemic space, based on Priest’s notion of open worlds yet which contains only those (...) epistemic scenarios which are not obviously impossible. Whether something is obvious is not always a determinate matter and so the resulting picture is of an epistemic space with fuzzy boundaries. (shrink)

Frege's theory of indirect contexts and the shift of sense and reference in these contexts has puzzled many. What can the hierarchy of indirect senses, doubly indirect senses, and so on, be? Donald Davidson gave a well-known 'unlearnability' argument against Frege's theory. The present paper argues that the key to Frege's theory lies in the fact that whenever a reference is specified (even though many senses determine a single reference), it is specified in a particular way, so that giving a (...) reference implies giving a sense; and that one must be 'acquainted' with the sense. It is argued that an indirect sense must be 'immediately revelatory' of its reference. General principles for Frege's doctrine of sense and reference are sated, for both direct and indirect quotation, to be understood iteratively. I also discuss Frege's doctrine of tensed and first person statements in the light of my analysis. The views of various other authors are examined. The conclusion is to ascribe to Frege an implicit doctrine of acquaintance similar to that of Russell. (shrink)

One particular topic in the literature on Frege’s conception of sense relates to two apparently contradictory theses held by Frege: the isomorphism of thought and language on one hand and the expressibility of a thought by different sentences on the other. I will divide the paper into five sections. In (1) I introduce the problem of the tension in Frege’s thought. In (2) I discuss the main attempts to resolve the conflict between Frege’s two contradictory claims, showing what is wrong (...) with some of them. In (3), I analyze where, in Frege’s writings and discussions on sense identity, one can find grounds for two different conceptions of sense. In (4) I show how the two contradictory theses held by Frege are connected with different concerns, compelling Frege to a constant oscillation in terminology. In (5) I summarize two further reasons that prevented Frege from making the distinction between two conceptions of sense clear: (i) the antipsychologism problem and (ii) the overlap of traditions in German literature contemporary to Frege about the concept of value. I conclude with a hint for a reconstruction of the Fregean notion of ‘thought’ which resolves the contradiction between his two theses. (shrink)

Wenn es aber Wirklichkeitssinn gibt, und niemand wird bezweifeln, daß er seine Daseinsberechtigung hat, dann muß es auch etwas geben, das man Möglichkeitssinn nennen kann. Wer ihn besitzt, sagt beispielsweise nicht: Hier ist dies oder das geschehen, wird geschehen, muß geschehen; sondern er erfindet: Hier könnte, sollte oder müßte geschehn; und wenn man ihm von irgend etwas erklärt, daß es so sei, wie es sei, dann denkt er: Nun, es könnte wahrscheinlich auch anders sein. So ließe sich der Möglichkeitssinn geradezu (...) als die Fähigkeit definieren, alles, was ebensogut sein könnte, zu denken und das, was ist, nicht wichtiger zu nehmen als das, was nicht ist. (shrink)

In this article I first sketch what I take to be two Quinean arguments for the continuity of philosophy with science. After examining Wittgenstein’s reasons for not accepting the arguments, I conclude that they are ineffective on Wittgenstein’s assumptions. Next, I ask three related questions: Where do Quine’s and Wittgenstein’s philosophical views essentially diverge? Did Wittgenstein have an argument against the continuity of science with philosophy? Did Wittgenstein believe until the end of his philosophical career that scientific results are philosophically (...) irrelevant? It will be seen that all three questions are related with Wittgenstein’s distinction between conceptual and factual issues. I conclude that the opposition between Quinean philosophy and Wittgensteinian philosophy is genuine. (shrink)

Adviser: Professor Stefan Baumrin In the first chapter I introduce the distinction between metaethics and normative ethics and argue that metaethics, properly conceived, is a part of cognitive science. For example, the debate between rationalism and sentimentalism can be informed by recent empirical work in psychology and the neurosciences. In the second chapter I argue that the traditional view that one’s theory of semantics determines what one’s theory of justification must be is mistaken. Though it has been the case that (...) there are ‘typical’ combinations of semantic and justificational theories this is by no means forced on one. In the third chapter I examine two current kinds of expressivism; that of Blackburn and Copp. Each gives us an example of different combinations of semantic and justificatory theory. In Blackburn’s case he combines a use theory of meaning with a classic emotivist theory of justification, In Copp’s case it is a neo-Gricean philosophy of language with a realist’s theory of justification. I find both of these wanting as they ultimately collapse into relativistic subjectivism. In the fourth and fifth chapter I turn to developing Emotive Realism. The basic idea behind this view is that when someone says ‘x is wrong/right’ that person has (a) expressed a moral emotion about x and at the same time (b) expressed the belief that the emotion in (a) is the correct one to have. The belief expressed in (b) will be true or false depending on one’s theory of justification. In the fourth chapter I argue that we need separate semantic theories for thoughts and sentences. In the fifth chapter I fill in the details of Emotive Realism as I see it. (shrink)

in Robin Le Poidevin (ed.) Being: Developments in Contemporary Metaphysics. Cambridge: Cambridge University Press. Peter van Inwagen claims that there are no tables or chairs. He also claims that sentences such as ‘There are chairs here’, which seem to imply their existence, are often true. This combination of views opens van Inwagen to a charge of self-contradiction. I explain the charge, and van Inwagen’s response to it, which involves the claim that sentences like ‘There are tables’ shift their truth-conditions between (...) different contexts of utterance. I present an alternative response which involves the negation of that claim, and argue that it is preferable to van Inwagen’s. (shrink)

This is a study of the epistemology of indexical reference, Or its foundation in the intentionality of the speaker's awareness of the referent. Where the referent is the object of the speaker's acquaintance on that occasion, The sense expressed is the generic content of that awareness. This, Indexical sense determines indexical reference, But indexical sense works by appeal to the context of the speaker's awareness of the referent. It is discussed how, By virtue of indexical sense, Indexical reference is rigid, (...) I.E. Picks out the same referent in any possible world. (shrink)

The very idea of informative analysis gives rise to a well-known paradox. Yet a parallel puzzle, herein called the paradox of synonymy, arises for statements which do not express analyses. The paradox of synonymy has a straightforward metalinguistic solution: certain words are referring to themselves. Likewise, the paradox of analysis can be solved by recognizing that certain expressions in an analysis statement are referring to their own semantic structures.

Though I have not found enough of the latter to test out this bromide, I am sensible of the value bestowed by colleagues who have taken such exacting care in analyzing my arguments. While their incisive observation and hard objections threaten to leave an extinct theory, I hope the reader will rather judge it one strengthened by adversity. Let me initially expose the heart of my argument so as to make obvious the shocks it must endure. I ask the reader (...) to grant that altruistic behavior can be empirically justified, that is, to allow that we have evolved under the aegis of kin and group selection (or comparably effective mechanisms) to heed the community welfare, to be moved to aid the distressed even at.. (shrink)

On what seems to be the best interpretation, what Quine calls 'the problem of synonymy' in Two Dogmas is the problem of approximating the extension of our pretheoretic concept of synonymy by clear and respectable means. Quine thereby identified a problem which he himself did not think had any solution, and so far he has not been proven wrong. Some difficulties for providing a solution are discussed in this paper.

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)

This paper concerns a fundamental dispute in ontology between the “Foundational Ontologist”, who believes that there is only one correct way of characterizing what there is, and the ontological “Skeptic”, who believes that there are viable alternative characterizations of what there is. I examine in detail an intriguing recent proposal in Dorr (2005), which promises to yield (i) a way of interpreting the Skeptic by means of a counterfactual semantics; and (ii) a way of converting the Skeptic to a position (...) within Foundational Ontology, viz., that of Nihilism (according to which nothing composes anything and the world consists of mereological simples); this alleged conversion crucially turns on a novel notion of “metaphysical analyticity”. I argue that both components of Dorr’s proposal are problematic in central ways: as a result, the Foundational Ontologist gains an indirect argument against the coherence of the Skeptic’s position; and the non-Nihilist Foundational Ontologist may feel confirmed in his doubts towards the Nihilist outlook. (shrink)

Ontology is the philosophical discipline that tries to find out what there is: what entities make up reality, what is the stuff the world is made from? Thus, ontology is part of metaphysics, and in fact it seems to be about half of all of metaphysics. It tries to establish what (kinds of) things there are, the other half tries to find out what the (general) properties of these things are and what (general) relations they have to each other. Settling (...) questions in ontology would bring with it major progress in metaphysics. And it would bring with it major progress in a variety of areas in philosophy outside of metaphysics as well. Many philosophical debates outside of metaphysics are quite directly influenced by how things turn out in ontology. Whether or not there are certain entities will give rise to quite different answers in various philosophical debates. I would like to very briefly describe three debates where ontological questions play a central role. These debates are either directly from metaphysics or from other areas of philosophy and they will be of central importance throughout this paper. (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)

There is a well-known argument from Leibniz's Law for the view that coincident material things may be distinct. For given that they differ in their properties, then how can they be the same? However, many philosophers have suggested that this apparent difference in properties is the product of a linguistic illusion; there is just one thing out there, but different sorts or guises under which it may be described. I attempt to show that this ‘opacity’ defence has intolerable consequences for (...) the functioning of our language and that the original argument should therefore be allowed to stand. (shrink)

Russell's involuted path in the development of his theory of logical types from 1903 to 1910-13 is examined and explained in terms of the development in his early philosophy of the notion of a logical subject vis-a-vis the problem of the one and many; i.e., the problem for russell, first, of a class-as-one as a logical subject as opposed to a class as many, and, secondly, of a propositional function as a single and separate logical subject as opposed to existing (...) only in the many propositions that are its values. (shrink)

Amidst the progress being made in the various (sub-)disciplines of the behavioural and brain sciences a somewhat neglected subject is the problem of how everything fits into one world and, derivatively, how the relation between different levels of discourse should be understood and to what extent different levels, domains, approaches, or disciplines are autonomous or dependent. In this paper I critically review the most recent proposals to specify the nature of interdiscourse relations, focusing on the concept of supervenience. Ideally supervenience (...) is a relation between different discourses which has all the advantages of reduction, but without its disadvantages. I apply the more abstract considerations to two concrete cases: schizophrenia and colour. Usually an interlevel or interdiscourse relation is seen as asymmetrical: the overlaying discourse depends on the underlying discourse (and not vice versa), where the out- or un-spoken assumption is that the ultimate underlying discourse is physical. Instead I argue that scientific categories referred to in interdiscourse relations are, ultimately, dependent on common sense categories and common sense normative criteria. It is the manifest categories and common sense ideas about what is reasonable and what is right that determine the relevant categorisations at the deeper, underlying levels. I suggest that the implications of this are not merely methodological or epistemological. (shrink)

Burge follows Descartes in claiming that the category of conceptually self-verifying judgments includes (but is not restricted to) judgments that give rise to sincere assertions of sentences of the form, 'I am thinking that p'. In this paper I argue that Burge’s Cartesian insight is hard to reconcile with Fregean accounts of the content of thought. Burge's intuitively compelling claim that cogito judgments are conceptually self-verifying poses a real challenge to neo-Fregean theories of content.

In this article, extracted from his book Exploring Meinong's Jungle and Beyond, Sylvan argues that, contrary to widespread opinion, mathematics is not an extensional discipline and cannot be extensionalized without considerable damage. He argues that some of the insights of Meinong's theory of objects, and its modern development, item theory, should be applied to mathematics and that mathematical objects and structures should be treated as mind-independent, non-existent objects.

In this essay I will consider two theses that are associated with Frege,and will investigate the extent to which Frege really believed them.Much of what I have to say will come as no surprise to scholars of thehistorical Frege. But Frege is not only a historical figure; he alsooccupies a site on the philosophical landscape that has allowed hisdoctrines to seep into the subconscious water table. And scholars in a widevariety of different scholarly establishments then sip from thesedoctrines. I believe (...) that some Frege-interested philosophers at various ofthese establishments might find my conclusions surprising.Some of these philosophical establishments have arisen from an educationalmilieu in which Frege is associated with some specific doctrine at theexpense of not even being aware of other milieux where other specificdoctrines are given sole prominence. The two theses which I will discussillustrate this point. Each of them is called Frege''s Principle, but byphilosophers from different milieux. By calling them milieux I do not want to convey the idea that they are each located at some specificsocio-politico-geographico-temporal location. Rather, it is a matter oftheir each being located at different places on the intellectuallandscape. For this reason one might (and I sometimes will) call them(interpretative) traditions. (shrink)

Psychological research has shown that cognitive illusions, of which visual illusions are just a special case, are systematic and pervasive, raising epistemological questions about how error in all forms of research can be identified and eliminated. The quantitative sciences make use of statistical techniques for this purpose, but it is not clear what the qualitative equivalent is, particularly in view of widespread scepticism about validity and objectivity. I argue that, in the light of cognitive psychology, the ‘error question’ cannot be (...) dismissed as a positivist obsession, and that the concepts of truth and objectivity are unavoidable. However, they constitute only a ‘minimal realism’, which does not necessarily bring a commitment to ‘absolute’ truth, certainty, correspondence, causation, reductionism, or universal laws in its wake. The assumption that it does reflects a misreading of positivism and, ironically, precipitates a ‘crisis of legitimation and representation’, as described by constructivist authors. (shrink)

The increasingly pluralistic character of modern societies has led to questions, not only about the proper use of ethnic-group terms, but also about the correct semantic analysis of them. Here I argue that ethnic-group terms are analogous to other linguistic expressions whose extension is fixed in the way suggested by a causal theory of reference. My view accommodates precisely those scenarios of communication involving ethnic-group terms that will be seen puzzling to Fregeans. At the same time, it undermines the plausibility (...) of skepticism about those terms. (shrink)

Nominalizations are expressions that are particularly challenging philosophically in that they help form singular terms that seem to refer to abstract or derived objects often considered controversial. The three standard views about the semantics of nominalizations are [1] that they map mere meanings onto objects, [2] that they refer to implicit arguments, and [3] that they introduce new objects, in virtue of their compositional semantics. In the second case, nominalizations do not add anything new but pick up objects that would (...) be present anyway in the semantic structure of a corresponding sentence without a nominalization. In the first and third case, nominalizations in a sense ‘create’ new objects’, enriching the ontology on the basis of the meaning of expressions. I will argue that there is a fourth kind of nominalization which requires a quite different treatment. These are nominalizations that introduce ‘new’ objects, but only partially characterize them. Such nominalizations generally refer to events or tropes. I will explore an account according on which such nominalizations refer to truth makers. (shrink)

This paper argues for an ontological distinction between two kinds of universals, 'kinds of tropes' such as 'wisdom' and properties such as 'the property of being wise'. It argues that the distinction is parallel to that between two kinds of collections, pluralities such as 'the students' and collective objects such as 'the class'. The paper argues for the priortity of distributive readings with pluralities on the basis of predicates of extent or shape, such 'large' or 'long'.

There are two principles which bear the name Frege''sprinciple: the principle of compositionality, and the contextprinciple. The aim of this contribution is to investigate whether thisis justified: did Frege accept both principles at the same time, did hehold the one principle but not the other, or did he, at some moment,change his opinion? The conclusion is as follows. There is a developmentin Frege''s position. In the period of Grundlagen he followed to a strict form of contextuality. He repeatedcontextuality in later (...) writings, but became less strict. From 1914 on,pushed by the needs of research, he comes close to compositionality. Buthe could never make the final step toward compositionality forprincipled reasons, therefore he always would reject compositionality. (shrink)

This paper presents an approach to truth and the Liar paradox which combines elements of context dependence and hierarchy. This approach is developed formally, using the techniques of model theory in admissible sets. Special attention is paid to showing how starting with some ideas about context drawn from linguistics and philosophy of language, we can see the Liar sentence to be context dependent. Once this context dependence is properly understood, it is argued, a hierarchical structure emerges which is neither ad (...) hoc nor unnatural. (shrink)

This article traces the development of possible worlds semantics through the work of: Wittgenstein, 1913-1921; Feys, 1924; McKinsey, 1945; Carnap, 1945-1947; McKinsey, Tarski and Jónsson, 1947-1952; von Wright, 1951; Becker, 1952; Prior, 1953-1954; Montague, 1955; Meredith and Prior, 1956; Geach, 1960; Smiley, 1955-1957; Kanger, 1957; Hintikka, 1957; Guillaume, 1958; Binkley, 1958; Bayart, 1958-1959; Drake, 1959-1961; Kripke, 1958-1965.

The object of this paper is to show why recent research in the psychology of deductive and probabilistic reasoning does not have.