This paper presents an extensional account of manyand few that explains data that have previously motivated intensional analyses of these quantifiers :599–620, 2000). The key insight is that their semantic arguments are themselves set intersections: the restrictor is the intersection of the predicates denoted by the N’ or the V’ and the restricted universe, U, and the scope is the intersection of the N’ and V’. Following Cohen, I assume that the universe consists of the union of alternatives to the (...) nominal and verbal predicates, where an alternative to a property ψ is one that shares a pragmatic presupposition with ψ, and a pragmatic presupposition is one that is selected by context from a set of potential presuppositions associated with the sentence. A many/few-quantified sentence is then true iff the proportion of the scope to the restrictor is greater/less than some threshold, n. In addition to explaining various problematic cases from the literature, the analysis shows how the readings of a many/few-quantified sentence can be derived from the same syntactico-semantic structure, it being unnecessary to claim lexical or structural ambiguity. The analysis also provides strong support for the idea that natural language quantification is always purely extensional. (shrink)

In almost all of his writings on ontology, Quine celebrated the discovery of contextual definition as a milestone of the history of philosophy. The philosophical appeal of this tool resides in the hope that it allows us to reduce the ontological commitments of theories in substantial ways. The goal of this paper is to show that contextual definition does not really come up to this hope. It is argued that the material adequacy of such definitions presupposes a very strong context-principle, (...) one implying that theories do not have any ontological commitments at all. (shrink)

This paper offers an interpretation of Russell's multiple-relation theory of judgment which characterizes it as direct application of the 1905 theory of definite descriptions. The paper maintains that it was by regarding propositional symbols (when occurring as subordinate clauses) as disguised descriptions of complexes, that Russell generated the philosophical explanation of the hierarchy of orders and the ramified theory of types of _Principia mathematica (1910). The interpretation provides a new understanding of Russell's abandoned book _Theory of Knowledge (1913), the 'direction (...) problems' and Wittgenstein's criticisms. (shrink)

SummaryIn June 1913 the 18-year-old Norbert Wiener presented to Harvard University a doctoral thesis comparing the logical systems of Schröder and Russell, with special reference to their treatment of relations. Shortly afterwards he visited Russell in Cambridge (England) and showed him a copy of the thesis. Russell wrote out some comments, to which Wiener replied.None of these documents has been published. In this paper I summarise the contents of Wiener's thesis, and describe and quote from the subsequent discussion with Russell. (...) I preface the account with some remarks on the personal relationship of Wiener and Russell, and conclude it with the description of the location of the various documents cited. (shrink)

This paper describes the materials in the Russell Archives relevant to Russell's work on logic and the foundations of mathematics, and suggests the kinds of information that may and may not be drawn about the historical development of his ideas. By way of illustration, a couple of episodes are described. The first concerns a logical system closely related to his theory of denoting, which preceeds the system used in Principia mathematics, while the second describes a delay in publishing the second (...) volume of that work due to the discovery by Whitehead of a conceptual error. (shrink)

In this paper we study the termination behavior of Russell’s description elimination rewrite system. We discuss certain claims made by Kripke (2005) in his paper concerning the possible nontermination of elimination of descriptions.

We investigate incomplete symbols, i.e. definite descriptions with scope-operators. Russell famously introduced definite descriptions by contextual definitions; in this article definite descriptions are introduced by rules in a specific calculus that is very well suited for proof-theoretic investigations. That is to say, the phrase ‘incomplete symbols’ is formally interpreted as to the existence of an elimination procedure. The last section offers semantical tools for interpreting the phrase ‘no meaning in isolation’ in a formal way.

This paper discusses the main criticism launched against legal monism and the Pure Theory of Law, as envisaged by Hans Kelsen and the other proponents of the Vienna School of Jurisprudence, namely the criticism voiced by two of the most eminent legal theorists, HLA Hart and Joseph Raz. According to them, legal monism fails to offer a satisfactory theory of the identity of legal systems and it therefore simply cannot be considered a viable theory of legal systems, because it leads (...) to obviously absurd consequences. These arguments which take the form of an attack on the most basic tenets of the Pure Theory of Law and thus legal monism, will be duly addressed and consequently rebutted in this paper, particularly in order to be able to maintain legal monism in its juridico-epistemological manifestation as a working and viable theory of the law. (shrink)

In “Descriptions as Predicates” (Fara 2001) I argued that definite and indefinite descriptions should be given a uniform semantic treatment as predicates rather than as quantifier phrases. The aim of the current paper is to clarify and elaborate one of the arguments for the descriptions-aspredicates view, one that concerns the interaction of descriptions with adverbs of quantification.

Although Strawson’s main aim in “On Referring” was to argue that definite descriptions can be used referentially – that is, “to mention or refer to some individual person or single object . . . , in the course of doing what we should normally describe as making a statement about that person [or] object” (1950, p. 320) – he denied that definite descriptions are always used referentially. The description in ‘Napoleon was the greatest French soldier’ is not used referentially, says (...) Strawson, since it is used not to mention an individual, but only “to say something about an individual already mentioned” (p. 320). This is an example of what we may call a predicative use of a definite description, though such uses might be better illustrated by considering the false sentence.. (shrink)

We seek means of distinguishing logical knowledge from other kinds of knowledge, especially mathematics. The attempt is restricted to classical two-valued logic and assumes that the basic notion in logic is the proposition. First, we explain the distinction between the parts and the moments of a whole, and theories of ?sortal terms?, two theories that will feature prominently. Second, we propose that logic comprises four ?momental sectors?: the propositional and the functional calculi, the calculus of asserted propositions, and rules for (...) (in)valid deduction, inference or substitution. Third, we elaborate on two neglected features of logic: the various modes of negating some part(s) of a proposition R, not only its ?external? negation not-R; and the assertion of R in the pair of propositions ?it is (un)true that R? belonging to the neglected logic of asserted propositions, which is usually left unstated. We also address the overlooked task of testing the asserted truth-value of R. Fourth, we locate logic among other foundational studies: set theory and other theories of collections, metamathematics, axiomatisation, definitions, model theory, and abstract and operator algebras. Fifth, we test this characterisation in two important contexts: the formulation of some logical paradoxes, especially the propositional ones; and indirect proof-methods, especially that by contradiction. The outcomes differ for asserted propositions from those for unasserted ones. Finally, we reflect upon self-referring self-reference, and on the relationships between logical and mathematical knowledge. A subject index is appended. (shrink)

Given a basic conditional of the form, If A then C, individuals usually list three cases as possible: A and C, not‐A and not‐C, not‐A and C. This result corroborates the theory of mental models. By contrast, individuals often judge that the conditional is true only in the case of A and C, and that cases of not‐A are irrelevant to its truth or falsity. This result corroborates other theories of conditionals. To resolve the discrepancy, we devised two new tasks: (...) the “collective” truth task, in which participants judged whether sets of assertions about a specific individual, such as: If A then C, not‐A, C, could all be true at the same time; and one in which participants judged the truth of conditional predictions about specific future events. The results consistently matched the three possibilities, thereby corroborating the model theory. They also showed a massive violation of the probability calculus in estimates of the probabilities of the four cases in the partition of conditionals (A and C, A and not‐C, not‐A and C, and not‐A and not‐C), which summed to over 200%. (shrink)

A thesis I call the name-based singular thought thesis is part of orthodoxy in contemporary philosophy of mind and language: it holds that taking part in communication involving a proper name puts one in a position to entertain singular thoughts about the name’s referent. I argue, first, that proponents of the NBT thesis have failed to explain the phenomenon of name-based singular thoughts, leaving it mysterious how name-use enables singular thoughts. Second, by outlining the reasoning that makes the NBT thesis (...) seem compelling and showing how it can be resisted, I argue that giving up the NBT thesis is not a cost, but rather a benefit. I do this by providing an expanded conception of understanding for communication involving names, which sheds light on the nature of communication involving names and the structure of name-using practices. (shrink)

This paper presents a new argument for necessitism, the claim that necessarily everything is necessarily something. The argument appeals to principles about the metaphysics of quantification and predication which are best seen as constraints on reality’s fineness of grain. I give this argument in section 4; the impatient reader may skip directly there. Sections 1-3 set the stage by surveying three other arguments for necessitism. I argue that none of them are persuasive, but I think it is illuminating to consider (...) my argument in light of the others and vice versa. These interconnections should be of interest even to those who reject necessitism; of particular interest may be the new conception of validity proposed in section 5. (shrink)

The central mission of cognitive science is to reveal the real nature of the mind, however familiar or foreign that nature may be to naive preconceptions. The existence of naive conceptions is also important, however. Prescientific thought and language contain concepts of the mental, and these concepts deserve attention from cognitive science. Just as scientific psychology studies folk physics (McCloskey 1983, Hayes 1985), viz., the common understanding (or misunderstanding) of physical phenomena, so it must study folk psychology, the common understanding (...) of mental states. This subfield of scientific psychology is what I mean by the phrase 'the psychology of folk psychology'. (shrink)

The ordinary understanding and ascription of mental states is a multiply complex subject. Widely discussed approaches to the subject, such as functionalism and the theory-theory (TT), have many variations and interpretations. No surprise, then, that there are misunderstandings and disagreements, which place many items on the agenda. Unfortunately, the multiplicity of issues raised by the commentators and the limitations of space make it impossible to give a full reply to everyone. My response is divided into five topics: (1) Which version(s) (...) of functionalism are candidates for an account of folk psychology, and is any such version satisfactory? (2) Where does TT stand in light of the two target articles and commentaries? (3) Does a phenomenological story provide a promising account of mental states, and is there special first-person authority about them? (4) What are suitable methodological assumptions for our subject matter? (5) How well does the simulation theory fare as an account of third-person mentalistic ascription? (shrink)

Among the philosophical accounts of reference, Quine’s The Roots of Reference stands out in offering an integrated account of the acquisition of linguistic reference and object individuation. Based on a non-referential ability to distinguish bodies, the acquisition of sortals and quantification are crucial steps in learning to refer to objects. In this article, we critically re-assess Quine’s account of reference. Our critique will proceed in three steps with the aim of showing that Quine effectively presupposes what he sets out to (...) explain, namely, reference to objects. We are going to argue that sortals do not individuate, that bodies are already objects, and that the acquisition of variables presupposes a notion of identity. The result is diagnostic of a central desideratum for any theory of reference: an explanation of spatiotemporal object individuation. (shrink)

Perner and Roessler Causing human action: new perspectives on the causal theory of action, MIT Press, Cambridge, MA, pp 199–228, 2010) hold that children who do not yet have an understanding of subjective perspectives, i.e., mental states, explain actions by appealing to objective facts. In this paper, we criticize this view. We argue that in order to understand objective facts, subjects need to understand perspectives. By analysing basic fact-expressing assertions, we show that subjects cannot refer to facts if they do (...) not understand two types of perspectivity, namely, spatial and doxastic perspectivity. To avoid conceptual confusion regarding different ways of referring to facts, we distinguish between reference to facts de re and de dicto. (shrink)

Introspective knowledge by acquaintance is knowledge we have by being directly aware of our phenomenally conscious states. In this paper, I argue that introspective knowledge by acquaintance is a sui generis kind of knowledge: it is irreducible to any sort of propositional knowledge and is wholly constituted by a relationship of introspective acquaintance. My main argument is that this is the best explanation of some epistemic facts about phenomenal consciousness and introspection. In particular, it best explains the epistemic asymmetry between (...) a subject who has never had a certain phenomenal state and one who has. I also consider two theoretical objections to my claim: an objection from disunity and an objection from mysteriousness. I show that these objections can be answered and that introspective knowledge by acquaintance being sui generis remains a live option on the table. (shrink)

This article was first published in 1982 in Educational Analysis (4, 75–91) and republished in 1998 (Hirst, P. H., & White, P. (Eds.), Philosophy of education: Major themes in the analytic tradition, Vol. 1, Philosophy and education, Part 1, pp. 61–78. London: Routledge). I was then a lecturer in philosophy of education at Sheffield University teaching the subject to Master’s students on both full- and part-time programmes. My first degree was in philosophy, read under D. W. Hamlyn and David Cooper (...) and, given their interests, inevitably emphasized the philosophy of language, in particular the work of Wittgenstein in this field. When I subsequently turned my attention to the philosophy of education it seemed obvious to me that there were serious problems with Professor Peters’ approach to language, and I had particular difficulties with his approach to criteria, meaning theory and what seemed an odd interpretation of a transcendental argument. This article thus set out to show that the then dominant form of philosophy of education seemed not to take account of developments in the philosophy of language that preceded Professor Peters’ early work by at least a decade and which cast serious doubt on the enterprise as it was then understood. As the articles in the 1998 collection indicate, I was not alone in thinking there was something amiss, although at the time I seemed to be ploughing a somewhat lonely furrow. In revisiting this early article some 30 years after it was first published I have found to my surprise that there is little I would now change, although I have been forcibly reminded of the very lively discussions Professor Peters and I had over these issues. The fact that there is little I would now add to, or subtract from, my critique is in itself a telling comment on the enduring and influential legacy of the approach to the philosophy of education that Professor Peters championed so powerfully. (shrink)

The comprehension principle of set theory asserts that a set can be formed from the objects satisfying any given property. The principle leads to immediate contradictions if it is formalized as an axiom scheme within classical first order logic. A resolution of the set paradoxes results if the principle is formalized instead as two rules of deduction in a natural deduction presentation of logic. This presentation of the comprehension principle for sets as semantic rules, instead of as a comprehension axiom (...) scheme, can be viewed as an extension of classical logic, in contrast to the assertion of extra-logical axioms expressing truths about a pre-existing or constructed universe of sets. The paradoxes are disarmed in the extended classical semantics because truth values are only assigned to those sentences that can be grounded in atomic sentences. (shrink)

Identities formed with proper names may be contingent. this claim is made first through an example. the paper then develops a theory of the semantics of concrete things, with contingent identity as a consequence. this general theory lets concrete things be made up canonically from fundamental physical entities. it includes theories of proper names, variables, cross-world identity with respect to a sortal, and modal and dispositional properties. the theory, it is argued, is coherent and superior to its rivals, in that (...) it stems naturally from a systematic picture of the physical world. (shrink)

Building on recent work by Delia Graff Fara and Ora Matushansky on appellative constructions like ‘Mirka called Roger handsome’, I argue that if Millianism about proper names is true, then the quantifier ‘something’ in ‘Mirka called Roger something’ is best understood as a kind of substitutional quantifier. Any adequate semantics for such quantifiers must explain both the logical behavior of ‘Mirka called Roger something’ and the acceptability of ‘so’-anaphora in ‘Mirka called Roger something, and everyone so called is handsome’. Millianism (...) about proper names is inconsistent with such quantifiers being standard non-substitutional second-order quantifiers. But this is not the only option for Millianism: I provide two different propositional semantics for substitutional quantification, each of which is adequate in the sense above, given Millianism. One of these is based on Tobias Rosefeldt’s work on non-nominal quantification, and I identify in what way Rosefeldt’s semantics is substitutional. (shrink)

In The Philosophy of Logical Atomism Russell held the view that facts in the world are formally structured complexes, the structure of which matches the logical structure of correspondent propositions. Russell also seems to have denied that there are facts of identity and of diversity. This paper argues that Identity and Diversity can be understood as purely formal structures in Russellian facts. It considers Russell’s possible reasons for denying the existence of facts of identity and diversity and shows how problematic (...) these reasons are. In particular, I argue that identity statements are not tautologies, and their denial does not result into a contradiction. An important consequence of this thesis is that Metaphysics and Logic are not as tied up as Russell took them to be, but nevertheless these are good news for the old formal program for Metaphysics that lies at the very heart of what he called philosophical logic. (shrink)

Ordinary use of empty names encompasses a variety of different phenomena, including issues in semantics, mental content, fiction, pretense, and linguistic practice. In this paper I offer a novel account of empty names, the cognitive theory, and show how it offers a satisfactory account of the phenomena. The virtues of this theory are based on its strength and parsimony. It allows for a fully homogeneous semantic treatment of names coped with ontological frugality and empirical and psychological adequacy.

Fictionalism about a kind of disputed object is often motivated by the fact that the view interprets discourse about those objects literally without an ontological commitment to them. This paper argues that this motivation is inadequate because some viable alternatives to fictionalism have similar attractions. Meinongianism—the view that there are true statements about non-existent objects—is one such view. Meinongianism bears significant similarity to fictionalism, so intuitive doubts about its viability are difficult to sustain for fictionalists. Moreover, Meinongianism avoids some of (...) fictionalism’s weaknesses, thus it is even preferable to fictionalism in some respects. (shrink)

Direction of fit theories usually claim that beliefs are such that they “aim at truth” or “ought to fit” the world and desires are such that they “aim at realization” or the world “ought to fit” them. This essay argues that no theory of direction of fit is correct. The two directions of fit are supposed to be determinations of one and the same determinable two-place relation, differing only in the ordering of favored terms. But there is no such determinable (...) because of ineliminable asymmetries between the way that beliefs “aim at truth” and the way that desires “aim at realization.” This essay traces the ills of direction of fit theory to a misunderstanding of Anscombe and proposes a cure that distinguishes theoretical and practical thought by appeal to a distinction between thought in the form of a state and thought in the form of an event. (shrink)

Abstract creationism about fictional characters is the view that fictional characters are abstract objects that authors create. I defend this view against criticisms from Stuart Brock that hitherto have not been adequately countered. The discussion sheds light on how the number of fictional characters depends on authorial intention. I conclude also that we should change how we think intentions are connected to artifacts more generally, both abstract and concrete.

In this article, I shed some light on Meinong’s motivations for the theory of objects. I argue that one of its basic principles, the principle of indifference, is driven by an intuition common to many Austrian philosophers, which is that something must first be somehow pre-given in order to simply address the issue of its being or non-being. Meinong’s way of spelling out this intuition, I suggest, is to show that there are homeless objects, that is, objects that are not (...) dealt with by any of the existing sciences. Therefore, the indispensability of the theory of objects lies in the plausibility of the thesis that there are such homeless objects. I analyse and evaluate two Meinongian arguments supporting this thesis, I explain how Meinong came to believe that they support the indispensability of the theory of objects, and I stress some advantages of this account over Brentano’s intentionality thesis. (shrink)

There is an obvious paradox in any attempt to map the topography of Paradise, for Paradise, theologians assure us, is outside of space as well as time. Yet mapping Paradise is what Dante's poem, the Paradiso, attempts to do. For the two preceding realms of the afterlife, hell and purgatory, Dante provides numerous finely articulated descriptions of rigorously ordered regions. And again for Paradise, the variegated states of the souls making up the spiritual order of the realm are expressed very (...) precisely by a topographical scheme, one in this case based on Ptolemy's system of the heavens. The seven planetary spheres are followed by the sphere of the fixed stars and the primum mobile, the whole finally bordering on the completely nonspatial heaven of the Empyrean. But this last “sphere” alone is Paradise in the full and strict sense. As Dante has Beatrice explain in canto 4.28–48, the whole poem attempts to describe this totally nonspatial order in terms of the array of the nine physical heavens as metaphorical correlatives for the successive degrees of beatitude experienced by the souls “in” the Empyrean. Paradise in this sense—as the Empyrean—is thus utopic, if any place is: it is literally “no place” at all. (shrink)

In this article I try to show the philosophical continuity of Russell's ideas from his paradox of classes to Principia mathematica. With this purpose, I display the main results (descriptions, substitutions and types) as moments of the same development, whose principal goal was (as in his The principles) to look for a set of primitive ideas and propositions giving an account of all mathematics in logical terms, but now avoiding paradoxes. The sole way to reconstruct this central period in Russell (...) is to resort to unpublished manuscripts, which show the publications of these years to be the extremities of one same iceberg. Thus the logical problems (doubts about propositions, matrices and functions) are parallel to the ontological (the searching for genuine logical subjects) and methodological ones (the status of eliminative reduction). Paradoxes were the cause that the kind of (constructive) definition already applied by Russell, as an inheritance of Moorean analysis, obtained a new trait: ontological elimination, which, beginning with a ?no classes theory? and the theory of descriptions, led to a new theory of judgment (already present in manuscripts from 1906), ?incomplete symbols, and logical constructions. (shrink)

Inspired by the grammar of natural language, the paper presents a variant of first-order logic, in which quantifiers are not sentential operators, but are used as subnectors . A quantified term formed by a subnector is an argument of a predicate. The logic is defined by means of a meaning-conferring natural-deduction proof-system, according to the proof-theoretic semantics program. The harmony of the I/E-rules is shown. The paper then presents a translation, called the Frege translation, from the defined logic to standard (...) first-order logic, and shows that the proof-theoretic meanings of both logics coincide. The paper criticizes Frege’s original regimentation of quantified sentences of natural language, and argues for advantages of the proposed variant. (shrink)

Generic language (e.g., “tigers have stripes”) leads children to assume that the referenced category (e.g., tigers) is inductively informative and provides a causal explanation for the behavior of individual members. In two preregistered studies with 4- to 7-year-old children (N = 497), we considered the mechanisms underlying these effects by testing how correcting generics might affect the development of these beliefs about novel social and animal kinds (Study 1) and about gender (Study 2). Correcting generics by narrowing their scope to (...) a single individual limited beliefs that the referenced categories could explain what their members would be like while broadening the scope to a superordinate category (Study 2) uniquely limited endorsement of gender norms. Across both studies, correcting generics did not alter beliefs about feature heritability and had mixed effects on inductive inferences, suggesting that additional mechanisms (e.g., causal reasoning about shared features) contribute to the development of full-blown essentialist beliefs. These results help illuminate the mechanisms by which generics lead children to view categories as having rich inductive and causal potential; in particular, they suggest that children interpret generics as signals that speakers in their community view the referenced categories as meaningful kinds that support generalization. The findings also point the way to concrete suggestions for how adults can effectively correct problematic generics (e.g., gender stereotypes) that children may hear in daily life. (shrink)

Chris Heathwood requires the sentence 'Caesar was conscious when he crossed the Rubicon' to be made true in much the same way as 'Caesar was wet when he crossed the Rubicon'. Yet because the Growing Block theorist is committed to the zombiedom of the past,the former is not made true by past objects, although the latter is. Heathwood demands a uniform account of the grounding of truths and he will be given a uniform account. But we should exercise care in (...) deciding just what sort of uniformity is appropriate. As Russell so famously pointed out a century ago the subject/predicate form of a sentence can be misleading. Likewise although the two sentences 'Caesar is conscious' and 'Caesar is wet' have similar subject/predicate forms they have, I say, different kinds of truth-conditions and hence their past tense transformations also have different kinds of truth-conditions. The uniformity I endorse is that in both cases the grounds for the past tense transformation are the same as the grounds the present tense versions used to have when they were true. (shrink)

The main aim of the paper is to offer a solution compatible with Graham Priest’s Noneism and Amie Thomasson’s Artifactual theory which stresses the epistemic features of the notion of individuality in fiction in a framework where individuals are conceived of as functions (the framework is known as the world-lines-semantics of Hintikka). According to our view, it is the endorsement of a reader’s perspective that extends the range of the values of the functions (individuals) and that offers an alternative solution (...) to cases of identity inside and outside the scope of a fictionality (or representation) operator. More technically, this proposal can be seen as both extending the notion of individuality of the Artifactual theory and furnishing an epistemic twist to Priest’s principle of freedom. (shrink)

La réflexion philosophique sur la non-existence est une thématique qui a été abordée au commencement même de la philosophie et qui suscite, depuis la publication en 1905 de « On Denoting » par Russell, les plus vifs débats en philosophie analytique. Cependant, le débat féroce sur la sémantique des noms propres et des descriptions définies qui surgirent suite à la publication du « On Referring » par Strawson en 1950 n’engagea pas d’étude systématique de la sémantique des fictions. En fait, (...) le développement systématique d’un lien qui articule approches logiques, philosophiques et littéraires de la fiction devait attendre les travaux de John Woods publiés en 1974 dans son livre The Logic of Fiction : A Philosophical Sounding of Deviant Logic. Un des enjeux les plus excitants du livre de Woods se situe au niveau de l’interaction entre les points de vue internalistes ou interne-à-l’histoire (principalement pragmatiques) et les points de vue externalistes ou externe-à-la-fiction (principalement sémantiques). Sur ce point, Woods fut le premier à formuler une sémantique pour l’opérateur de fiction à lire comme « selon l’histoire… » en relation à la notion logique de portée, ce qui permettait l’étude de l’internalisme et de l’externalisme. Suite au livre de Woods, loin de s’essouffler, les débats trouvaient une nouvelle impulsion. Le fait pertinent pour notre article est que la tradition phénoménologique également, l’étude de la fiction a joué un rôle central. En effet, l’une des problématiques les plus sujettes à controverses dans l’intentionnalité est celle de l’indépendance à l’existence, c’est-à-dire le fait que les actes intentionnels n’ont pas besoin d’être forcément dirigés vers un objet existant. Influencée par les travaux de Roman Ingarden (1893-1970), l’un des plus importants disciples de Husserl, Amie L. Thomasson développe le concept phénoménologique de dépendance ontologique en vue d’expliquer les processus de références inter- et transfictionnels – dans le contexte de l’interprétation littéraire par exemple. L’enjeu essentiel de cet article est de proposer une reconstruction multimodale bi-dimensionnelle de la théorie des personnages fictionnels de Ingarden-Thomasson. Cette théorie qui entend prendre au sérieux le fait que les fictions sont des créations montre la voie pour une articulation entre les approches internalistes et externalistes. Nous motivons certains changements quant à l’approche artéfactuelle - incluant une sémantique appropriée pour l’opérateur de fictionalité qui, nous l’espérons, éveillera l’intérêt des théoriciens de la littérature. L’article est à d’autres égards un panorama de la façon dont différents concepts d’intentionnalité pourraient fonder différentes sémantiques formelles pour la fictionalité. Nous proposerons enfin un cadre dialogique qui est une extension modale d’un certain système de preuve développé par Matthieu Fontaine et Juan Redmond. Le cadre dialogique développe la contrepartie inférentielle de la sémantique bi-dimensionnelle introduite par Shahid Rahman et Tero Tulenheimo dans un article récent. (shrink)