The goal of this paper is to see how mental and language representations are unique from a video-game perspective, using two main criteria. First, I will posit that the level of being both an interactive work of fiction and a self-involving interactive fiction belongs to a fuzzy interval and that some works – and, therefore, some video games – are more immersive than others. Second, I will observe how propositions tie the player’s representations of the real world and the game (...) world. Starting from psychological theories of pretense in children’s make-believe games, I will then expand Nichols and Stich’s cognitive theory of pretense to include an extra layer related to the game world, i.e., player-specific representations that govern player-specific propositions. The representations dealing with the work world are the socially shared ones, while the possible-world representations, dealing with most of the game world, are player-specific and tied to unique language use. (shrink)

In Overlooking Conventions Michael Devitt argues in defence of the traditional approach to semantics. Devitt’s main line of argument is an inference to the best explanation: nearly all cases that linguistic pragmatists discuss in order to challenge the traditional approach to semantics are better explained by adding conventions into language, in the form of expanding the range of polysemy or the range of indexicality (in the broad sense of linguistically governed context sensitivity). In this paper, we discuss three aspects of (...) a draft of Devitt’s Overlooking Conventions, which was discussed at a conference in Dubrovnik in September 2018. First, we try to show that his rejection of Bach’s distinction between convention and standardization overlooks important features of standardization. Second, we elaborate on Devitt’s argument against linguistic pragmatism based on the normative aspect of meaning and show that a similar argument can be mounted against semantic minimalism. While Devitt and minimalists have a common enemy, they are not allies either. Third, we address a methodological difficulty in Devitt’s view concerning a threat of over-generation and propose a solution to it. Although this paper is the result of collaboration the authors have written different parts. Carlo Penco has written part 1, Massimiliano Vignolo has written part 2 and part 3. (shrink)

The topic of this dissertation is the nature of linguistic competence, the capacity to understand and produce sentences of natural language. I defend the empiricist account of linguistic competence embedded in the connectionist cognitive science. This strand of cognitive science has been opposed to the traditional symbolic cognitive science, coupled with transformational-generative grammar, which was committed to nativism due to the view that human cognition, including language capacity, should be construed in terms of symbolic representations and hardwired rules. Similarly, linguistic (...) competence in this framework was regarded as being innate, rule-governed, domain-specific, and fundamentally different from performance, i.e., idiosyncrasies and factors governing linguistic behavior. I analyze state-of-the-art connectionist, deep learning models of natural language processing, most notably large language models, to see what they can tell us about linguistic competence. Deep learning is a statistical technique for the classification of patterns through which artificial intelligence researchers train artificial neural networks containing multiple layers that crunch a gargantuan amount of textual and/or visual data. I argue that these models suggest that linguistic competence should be construed as stochastic, pattern-based, and stemming from domain-general mechanisms. Moreover, I distinguish syntactic from semantic competence, and I show for each the ramifications of the endorsement of a connectionist research program as opposed to the traditional symbolic cognitive science and transformational-generative grammar. I provide a unifying front, consisting of usage-based theories, a construction grammar approach, and an embodied approach to cognition to show that the more multimodal and diverse models are in terms of architectural features and training data, the stronger the case is for the connectionist linguistic competence. I also propose to discard the competence vs. performance distinction as theoretically inferior so that a novel and integrative account of linguistic competence originating in connectionism and empiricism that I propose and defend in the dissertation could be put forward in scientific and philosophical literature. (shrink)

This dialogue explores the question of whether intentionality—the “ofness”, “aboutness”, or “directedness” of mental states—is a relation. We explore three views: the Naive View, on which intentionality is a relation to ordinary, everyday objects, facts, and other such items; the Abstract Contents View, on which intentionality is a relation to mind-independent abstract entities that are our contents; and the Aspect View, on which intentionality is a matter of having intentional states with particular (non-relational) aspects that are our contents. We consider (...) the challenges facing these views, which include empirical challenges in accounting for all the contents our intentional states can represent, metaphysical challenges in making sense of how contents can be entertained or otherwise represented by us and how they can play a psychological role in the mental economy, and challenges in making sense of how intentionality connects us to the world—if at all. Along the way, we consider the question of how consciousness is related to intentionality and how this affects one’s choice of views. (shrink)

In this thesis, I aim to motivate a particular philosophy of mathematics characterised by the following three claims. First, mathematical sentences are generally speaking false because mathematical objects do not exist. Second, people typically use mathematical sentences to communicate content that does not imply the existence of mathematical objects. Finally, in using mathematical language in this way, speakers are not doing anything out of the ordinary: they are performing straightforward assertions. In Part I, I argue that the role played by (...) mathematics in our scientific explanations is a purely expressive one, merely allowing us to say more about the physical world than we would otherwise be able to. Mathematical objects do not need to exist for mathematics to play this role. This proposal puts a normative constraint on our use of mathematical language: we ought to use mathematically presented theories to express belief only in the consequences they have for non-mathematical things. In Part II, I will argue that what the normative proposal recommends is in fact what people generally do in both pure and applied mathematical contexts. I motivate this claim by showing that it is predicted by our best general means of analysing natural language. I provide a semantic theory of applied arithmetical sentences that reveals they do not purport to refer to numbers, as well as a pragmatic theory for pure mathematical language use which reveals that pure mathematical utterances do not typically communicate content that implies the existence of mathematical objects. In conclusion, I show that the emerging hermeneutic fictionalist position is preferable to any alternative interpretation of mathematical discourse as aimed at describing a domain of independently existing abstract mathematical objects. (shrink)

Are there nonexistent objects, i.e., objects that do not exist? Some examples often cited are: Zeus, Pegasus, Sherlock Holmes, Vulcan (the hypothetical planet postulated by the 19th century astronomer Le Verrier), the perpetual motion machine, the golden mountain, the fountain of youth, the round square, etc. Some important philosophers have thought that the very concept of a nonexistent object is contradictory (Hume) or logically ill-formed (Kant, Frege), while others (Leibniz, Meinong, the Russell of Principles of Mathematics) have embraced it wholeheartedly. (...) This entry is an examination of the many questions which arise in connection with the view that there are nonexistent objects. The following are particularly salient: What reasons are there (if any) for thinking that there are nonexistent objects? If there are nonexistent objects, then what kind of objects are they? How can they be characterized? Is it possible to provide a consistent theory of nonexistent objects? What is the explanatory force of a consistent theory of nonexistent objects (if such a thing is possible)? (shrink)

There has frequently been taken to be a tension, if not an incompatibility, between "externalist" theories of content (which allow the make-up of one's physical environment and the linguistic usage of one's community to contribute to the contents of one's thoughts and utterances) and the "methodologically individualist" intuition that whatever contributes to the content of one's thoughts and utterances must ultimately be grounded in facts about one's own attitudes and behavior. In this dissertation I argue that one can underwrite such (...) externalist theories within a methodologically individualistic framework by understanding semantic norms in terms of the need to reach, for each of one's terms, a type of "equilibrium." Each speaker's commitment to making her _own_ beliefs and applications consistent allows one to incorporate these 'external' factors into the contents of their thoughts and utterances in a way that remains methodologically individualistic. Methodologically individualistic accounts are typically taken to be unable to incorporate 'external' factors such as the world's physical make-up or communal usage because of arguments suggesting that the individual's own beliefs and usage underdetermine or even misidentify what, according to externalist accounts, they mean by their terms. These arguments, however, only seem plausible if one presupposes a comparatively impoverished conception of the individual's beliefs. The beliefs a speaker associates with a given term extend far beyond the handful of sentences they would produce if asked to list such beliefs. In particular, speakers have an implicit, but rich, understanding of their language, their world, and the relation between them. Speakers typically understand languages as shared temporally extended practices about which they can be, both individually and collectively, mistaken. Once this conception of language is taken into account, the ascriptions which purportedly forced 'non-individualistic' conceptions of content upon us (particularly ascriptions which seemed to tie what we meant to social use rather than our own beliefs) turn out to be ultimately grounded in the individual's own beliefs. Indeed, our self-conception does much more than merely underwrite 'non-individualistic' ascriptions.. (shrink)

Bertrand Russell in his essay On Denoting [1905] presented a theory of description developed in response to the one proposed by Gottlob Frege in his paper Über Sinn und Bedeutung [1892]. The aim of our work will be to show that Russell underestimated Frege three times over in presenting the latter’s work: in relation to the Gray’s Elegy argument, to the Ferdinand argument, and to puzzles discussed by Russell. First, we will discuss two claims of Russell’s which do not do (...) justice to Frege: that we speak of a sense by means of quotation marks, and that all Frege does to cope with phrases that might denote nothing is define an arbitrary object as their reference. Second, we will show that Russell omitted the fact that Frege’s theory provided some answers for the puzzles presented by Russell in his essay. (shrink)

Composition as Identity is the view that an object is identical to its parts taken collectively. I elaborate and defend a theory based on this idea: composition is a kind of identity. Since this claim is best presented within a plural logic, I develop a formal system of plural logic. The principles of this system differ from the standard views on plural logic because one of my central claims is that identity is a relation which comes in a variety of (...) forms and only one of them obeys substitution unrestrictedly. I justify this departure from orthodoxy by showing some problems which result from attempts to avoid inconsistencies within plural logic by means of postulating other non-singular terms besides plural terms. Thereby, some of the main criticisms raised against Composition as Identity can be addressed. Further, I argue that the way objects are arranged is relevant with respect to the question which object they compose, i.e. to which object they are identical to. This helps to meet a second group of arguments against Composition as Identity. These arguments aim to show that identifying composite objects on the basis of the identity of their parts entails, contrary to our common sense view, that rearranging the parts of a composite object does not leave us with a different object. Moreover, it allows us to carve out the intensional aspects of Composition as Identity and to defend mereological universalism, the claim that any objects compose some object. Much of the pressure put on the latter view can be avoided by distinguishing the question whether some objects compose an object from the question what object they compose. Eventually, I conclude that Composition as Identity is a coherent and plausible position, as long as we take identity to be a more complex relation than commonly assumed. (shrink)

The dispute between the Fregean and the Neo-Meinongian approach to existence has become entrenched: it seems that nothing but intuitions may be relied upon to decide the issue. And since contemporary analytic philosophers clearly are inclined towards the intuitions that support Frege's approach, it looks as if Fregeanism has won the day. In this paper, however, I try to develop a compromise solution. This compromise consists in abandoning the assumption shared by both Fregeanism and Neo-Meinongianism, namely that the notion of (...) existence adds something to the content of a statement. To the contrary, we should think of existence as a redundant notion. In other words, I will argue that we should be deflationist about existence. Moreover, the kind of deflationism I propose relies on what I call the existence equivalence schema, a schema which follows the blueprint of the well-known truth equivalence schema. From such a perspective, we can say that Fregean philosophers rightly deny the status of a discriminating property to existence; and, conversely, Neo-Meinongians, too, rightly reject the view that existence is captured by quantification or expresses a universal property of objects. Finally, the argument that we should take a deflationist approach to existence builds upon an analysis of natural language (general) existential statements and their intuitive entailment-relations. (shrink)

Many philosophers have held that perceptual experience is fundamentally a matter of perceivers being in particular representational states. Such states are said to have representational content, i.e. accuracy or veridicality conditions, capturing the way that things, according to that experience, appear to be. In this thesis I argue that the case against representationalism — the view that perceptual experience is fundamentally and irreducibly representational — that is set out in Charles Travis’s ‘The Silence of the Senses’ (2004) constitutes a powerful, (...) but much misunderstood and neglected argument against this prevailing philosophical orthodoxy. -/- In chapter 2, I present an interpretation of Travis’s arguments that poses a dilemma for the representationalist concerning the indeterminacy and availability of perceptual content. Chapters 3 and 4 evaluate a variety of arguments in favour of such content based upon the nature of appearances, or ‘looks’, including those by Byrne (2009), Siegel (2010) and Schellenberg (2011b), each of which I find to be problematic. Finally, chapters 5 and 6 examine the relationship between representational content and phenomenal character, i.e. what perceptual experience is subjectively like, outlining some potential responses to Travis’s anti-representationalism. These include the external individuation of content and self-knowledge, and the operation of perceptual discriminatory capacities (the latter of which does not necessarily favour a representationalist account of experience). -/- I conclude that Travis’s arguments establish substantive constraints upon the nature and role of perceptual content. Moreover, I argue that the debate centres less upon the existence of such content than its explanatory role, particularly in relation to phenomenal character and the contents of other mental states: belief, intention, thought, knowledge, and so on. This in turn highlights the need for representationalists to better clarify the role of the contents their theories posit, and why such theories constitute a better explanation of the relevant phenomena than the corresponding non-representational view.. (shrink)

Type-logical semantics studies linguistic meaning with the help of the theory of types. The latter originated with Russell as an answer to the paradoxes, but has the additional virtue that it is very close to ordinary language. In fact, type theory is so much more similar to language than predicate logic is, that adopting it as a vehicle of representation can overcome the mismatches between grammatical form and predicate logical form that were observed by Frege and Russell. The grammatical forms (...) of ordinary language sentences consequently may be taken to be much less misleading than logicians in the first half of the 20th century often thought them to be. This was realized by Richard Montague, who used the theory of types to translate fragments of ordinary language into a logical language. Semantics is commonly divided into lexical semantics, which studies the meaning of words, and compositional semantics, which studies the way in which complex phrases obtain a meaning from their constituents. The strength of type-logical semantics lies with the latter, but type-logical theories can be combined with many competing hypotheses about lexical meaning, provided these hypotheses are expressed using the language of type theory. (shrink)

To understand the thesis of actualism, consider the following example. Imagine a race of beings — call them ‘Aliens’ — that is very different from any life-form that exists anywhere in the universe; different enough, in fact, that no actually existing thing could have been an Alien, any more than a given gorilla could have been a fruitfly. Now, even though there are no Aliens, it seems intuitively the case that there could have been such things. After all, life might (...) have evolved very differently than the way it did in fact. So in virtue of what is it true that there could have been Aliens when in fact there are none, and when, moreover, nothing that exists in fact could have been an Alien? So-called "possibilists" offer the following answer: ‘It is possible that there are Aliens’ is true because there are in fact individuals that could have been Aliens. At first blush, this might appear directly to contradict the premise that no existing thing could possibly have been an Alien. The possibilist's thesis, however, is that existence, or actuality, encompasses only a subset of the things that, in the broadest sense, are. So for the possibilist, ‘It is possible that there are Aliens’ is true simply in virtue of the fact that there are possible-but-nonactual Aliens, i.e., things that could have existed (but do not) and which would have been Aliens if they had. Actualists reject this answer; they deny that there are any nonactual individuals. Thus, actualism is the philosophical position that everything there is — everything that can in any sense be said to be — exists, or is actual. (shrink)

Alonzo Church (1903–1995) was a renowned mathematical logician, philosophical logician, philosopher, teacher and editor. He was one of the founders of the discipline of mathematical logic as it developed after Cantor, Frege and Russell. He was also one of the principal founders of the Association for Symbolic Logic and the Journal of Symbolic Logic. The list of his students, mathematical and philosophical, is striking as it contains the names of renowned logicians and philosophers. In this article, we focus primarily on (...) Church’s philosophical contributions. (For an account of his life and academic history see the Introduction to The Collected Works of Alonzo Church (2019).) However, we also discuss his mathematical results when it is desirable to do so in order to pursue a philosophical issue. (shrink)

These lines — also attributed to H. L. Mencken and Carl Jung — although perhaps politically incorrect, are surely correct in reminding us that more is involved in what one communicates than what one literally says; more is involved in what one means than the standard, conventional meaning of the words one uses. The words ‘yes,’ ‘perhaps,’ and ‘no’ each has a perfectly identifiable meaning, known by every speaker of English (including not very competent ones). However, as those lines illustrate, (...) it is possible for different speakers in different circumstances to mean different things using those words. How is this possible? What's the relationship among the meaning of words, what speakers mean when uttering those words, the particular circumstances of their utterance, their intentions, their actions, and what they manage to communicate? These are some of the questions that pragmatics tries to answer; the sort of questions that, roughly speaking, serve.. (shrink)

Situation semantics was developed as an alternative to possible worlds semantics. In situation semantics, linguistic expressions are evaluated with respect to partial, rather than complete, worlds. There is no consensus about what situations are, just as there is no consensus about what possible worlds or events are. According to some, situations are structured entities consisting of relations and individuals standing in those relations. According to others, situations are particulars. In spite of unresolved foundational issues, the partiality provided by situation semantics (...) has led to some genuinely new approaches to a variety of phenomena in natural language semantics. In the way of illustration, this article includes relatively detailed overviews of a few selected areas where situation semantics has been successful: implicit quantifier domain restrictions, donkey pronouns, and exhaustive interpretations. It moreover addresses the question of how Davidsonian event semantics can be embedded in a semantics based on situations. Other areas where a situation semantics perspective has led to progress include attitude ascriptions, questions, tense, aspect, nominalizations, implicit arguments, point of view, counterfactual conditionals, and discourse relations. (shrink)

A number of important philosophical problems are problems in the overlap of logic and ontology. Both logic and ontology are diverse fields within philosophy, and partly because of this there is not one single philosophical problem about the relation between logic and ontology. In this survey article we will first discuss what different philosophical projects are carried out under the headings of "logic" and "ontology" and then we will look at several areas where logic and ontology overlap.

There is an obvious difference between what a term designates and what it means. At least it is obvious that there is a difference. In some way, meaning determines designation, but is not synonymous with it. After all, “the morning star” and “the evening star” both designate the planet Venus, but don't have the same meaning. Intensional logic attempts to study both designation and meaning and investigate the relationships between them.

Platonism is the view that there exist such things as abstract objects — where an abstract object is an object that does not exist in space or time and which is therefore entirely non-physical and nonmental. Platonism in this sense is a contemporary view. It is obviously related to the views of Plato in important ways, but it is not entirely clear that Plato endorsed this view, as it is defined here. In order to remain neutral on this question, the (...) term ‘platonism’ is spelled with a lower-case ‘p’. (See entry on Plato.) The most important figure in the development of modern platonism is Gottlob Frege (1884, 1892, 1893-1903, 1919). The view has also been endorsed by many others, including Kurt Gödel (1964), Bertrand Russell (1912), and W.V.O. Quine (1948, 1951). (shrink)

In this paper, I will claim that fictional works apparently about utterly immigrant objects, i.e., real individuals imported in fiction from reality, are instead about fictional individuals that intentionally resemble those real individuals in a significant manner: fictional surrogates of such individuals. Since I also share the realists’ conviction that the remaining fictional works concern native characters, i.e., full-fledged fictional individuals that originate in fiction itself, I will here defend a hyperrealist position according to which fictional works only concern fictional (...) individuals. (shrink)

We discuss presupposition, the phenomenon whereby speakers mark linguistically the information that is presupposed or taken for granted, rather than being part of the main propositional content of a speech act. Expressions and constructions carrying presuppositions are called “presupposition triggers”, forming a large class including definites and factive verbs. The article first introduces the range of triggers, the basic properties of presuppositions such as projection and cancellability, and the diagnostic tests used to identify them. The reader is then introducedto major (...) models of presupposition from the last 50 years, separated into three classes: Frege-Strawson derived semantic models, pragmaticmodels such as that offered by Stalnaker, and dynamic models. Finallywe discuss some of the main current issues in presupposition theory. These involve accommodation, which occurs when a hearer's knowledge state is adjusted to meet the speaker's presuppositions; presupposition failure, which occurs when a presupposition is false; the interaction between presuppositions and attitudes; and the triggering problem, i.e., the problem of explaining why presuppositions occur in the first place. (shrink)

This text aims at presenting a general characterization of the act of perceiving a particular object, in a framework in which perception is conceived of as a mental and cognitive faculty having specific functions that other faculties such as imagination and memory do not possess. I introduce the problem of determining the occurrence of singular perception of a physical object, as opposed to the occurrence of other mental states or attitudes. I propose that clarifying this occurrence problem requires making explicit (...) the conditions of perceptual competence/faculty so as to explain the occurrence of each perceptual performance on the basis of the use of this competence. I argue then for a direct relational model according to which the singular perception of an object depends on a competence of connecting the perceiver directly with each target object. This model is compatible with a disjunctive approach to perception according to which each particular experience of an object corresponds either to a direct perceptual relation with this object or to the illusion of having the experience of this object. The arguments in favour of this relational model rest on the idea that the faculty of perception grounds the capacity to demonstratively identify physical objects. (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)

Against the dominant view in contemporary Hobbes scholarship, I argue that Hobbes’ philosophy of language implicitly denies that linguistic expressions refer to anything. I defend this thesis both textually, in light of what Hobbes actually said, and contextually, in light of Hobbes’ desertion of the vocabulary of suppositio, which was prevalent in semantics leading up to Hobbes. Hobbes explained away the apparent fact of linguistic reference via a reductive analysis: the relation between words and things wholly reduces to a composite (...) of the relation of signification between words and conceptions on the one hand, and the relation of representation between conceptions and things on the other. Intentionality, for Hobbes, accrues to conceptions, not words. (shrink)

The traditional use of the expression 'pseudoproblem' is analysed in order to clarify the talk of pseudoproblems and related phenomena. The goal is to produce a philosophically serviceable terminology that stays true to its historical roots. This explicative study is inspired by and makes use of the method of logical reconstruction. Since pseudoproblems are usually expressed by pseudoquestions a formal language of questions is presented as a possible reconstruction language for alleged pseudoproblems. The study yields an informal theory of pseudoproblems (...) whose presuppositions are critically investigated right away. At least one result remains: Claims of pseudoproblemship and their refutations must not be voiced casually - they are to be relativized and need substantial interpretive effort. (shrink)

Throughout this paper, we are trying to show how and why our Mathematical frame-work seems inappropriate to solve problems in Theory of Computation. More exactly, the concept of turning back in time in paradoxes causes inconsistency in modeling of the concept of Time in some semantic situations. As we see in the first chapter, by introducing a version of “Unexpected Hanging Paradox”,first we attempt to open a new explanation for some paradoxes. In the second step, by applying this paradox, it (...) is demonstrated that any formalized system for the Theory of Computation based on Classical Logic and Turing Model of Computation leads us to a contradiction. We conclude that our mathematical frame work is inappropriate for Theory of Computation. Furthermore, the result provides us a reason that many problems in Complexity Theory resist to be solved.(This work is completed in 2017 -5- 2, it is in vixra in 2017-5-14, presented in Unilog 2018, Vichy). (shrink)

It is natural to suppose the following three: factivity of knowledge, alda-know synonymy, and the univocity of alda. However, rago-knowledge attribution, expressed by “rago alda” sentences, seems to defeat to hold them at once. In this paper, I try to dissolve this predicament, analyzing “rago alda” sentence as a kind of hybrid language expression. And the theoretical advantages, which my analysis has over other possible, alternative approaches, are to be shown.

Despite the often false impression that the analytic philosophy as an anti-metaphysical movement has nothing to do with metaphysics, there can be found good reasons to grant the metaphysical dispositions of analytic philosophers, and thereby, to minimize the anti-metaphysical nature of analytic philosophy in its all phases. Since analytic philosophy is a historical movement the main nature of which developed through several stages, the very kinds of metaphysical dispositions within each one of its various stages can be easily portrayed. In (...) the meantime, logical realism as the early stage of analytic philosophy contains plenty of metaphysical dispositions. Undoubtedly, one cannot say that analytic philosophy in this period was not committed to metaphysical theses about the plurality of entities, the ultimate nature of reality and the logical structure of the world. In this paper, then, after giving a relatively complete explanation of the logical realism, we claimed that although logical realists rejected the traditional speculative metaphysics of their predecessors, they also replaced it by the metaphysics of logic that pursues the metaphysical aims, this time, by logical means. So, we portrayed this kind of metaphysics as Bolzano’s Semantic Platonism, Frege’s and Russell’s Pluralistic Platonism, Russell’s Pluralistic Atomism, and Wittgenstein’s logical atomism. (shrink)

Strawson’s conception of analysis as a ‘connective linguistic analysis’ makes it possible for him to achieve an indefinitely large range of ideas or concepts among them are certain numbers of fundamental, general and pervasive concepts or concept-types which not only are pre-theoretical or ahistorical, but also together constitute a structural framework only within whichlogic, ontology and epistemology is possible. He takes it as a foundation for this conclusion that logic, ontology and epistemology are three aspects of one unified enquiry (or (...) trio)and strengthensit by this assertion thatwe can understand this unity through considering the fundamental operation of our language. In this paper, after tracing the line of development of Strawson’s philosophical idea of the trio and specifying the fundamental operation of our language (or the common thread which makes this unity possible), we stipulate that it is by means of ‘connective linguistic analysis’ that Strawsonwas able to unify epistemology, ontology and logic. (shrink)

If we are to develop efficient, reliable and secure means for sharing information across healthcare systems and organizations, then a careful analysis of human actions will be needed. To address this need, the HL7 organization has proposed its Reference Information Model (RIM), which is designed to provide a comprehensive representation of the entire domain of healthcare centered around the phenomenon of human action. Taking the Basic Formal Ontology as our starting point, we examine the RIM from an ontological point of (...) view, describing how it fails to provide a representation of the healthcare domain which would enjoy the sort of clarity, coherence, rigor and completeness that is claimed on its behalf. (shrink)

This paper offers a unified, quantificational treatment of incomplete descriptions like ‘the table’. An incomplete quantified expression like ‘every bottle’ (as in “Every bottle is empty”) can feature in true utterances despite the fact that the world contains nonempty bottles. Positing a contextual restriction on the bottles being talked about is a straightforward solution. It is argued that the same strategy can be extended to incomplete definite descriptions across the board. ncorporating the contextual restrictions into semantics involves meeting a complex (...) array of desiderata, yet the apparently simpler pragmatic alternative faces severe problems and is therefore a nonstarter. (shrink)