The prime purpose of this paper is, first, to restore to discourse-bound occasion sentences their rightful central place in semantics and secondly, taking these as the basic propositional elements in the logical analysis of language, to contribute to the development of an adequate logic of occasion sentences and a mathematical foundation for such a logic, thus preparing the ground for more adequate semantic, logical and mathematical foundations of the study of natural language. Some of the insights elaborated in this paper (...) have appeared in the literature over the past thirty years, and a number of new developments have resulted from them. The present paper aims atproviding an integrated conceptual basis for this new development in semantics. In Section 1 it is argued that the reduction by translation of occasion sentences to eternal sentences, as proposed by Russell and Quine, is semantically and thus logically inadequate. Natural language is a system of occasion sentences, eternal sentences being merely boundary cases. The logic hasfewer tasks than is standardly assumed, as it excludes semantic calculi, which depend crucially on information supplied by cognition and context and thus belong to cognitive psychology rather than to logic. For sentences to express a proposition and thus be interpretable and informative, they must first be properly anchored in context. A proposition has a truth value when it is, moreover, properly keyed in the world, i.e. is about a situation in the world. Section 2 deals with the logical properties of natural language. It argues that presuppositional phenomena require trivalence and presents the trivalent logic PPC3, with two kinds of falsity and two negations. It introduces the notion of -space for a sentence A as the basis of logical model theory, and the notion of P A /, functioning as a `private' subuniverse for A/A. The trivalent Kleene calculus is reinterpreted as a logical account of vagueness, rather than of presupposition. PPC3 and the Kleene calculus are refinements of standard bivalent logic and can be combined into one logical system. In Section 3 the adequacy of PPC3 as a truth-functional model of presupposition is considered more closely and given a Boolean foundation. In a noncompositional extended Boolean algebra, three operators are defined: 1a for the conjoined presuppositions of a, ã for the complement of a within 1a, and â for the complement of 1a within Boolean 1. The logical properties of this extended Boolean algebra are axiomatically defined and proved for all possible models. Proofs are provided of the consistency and the completeness of the system. Section 4 is a provisional exploration of the possibility of using the results obtained for a new discourse-dependent account of the logic of modalities in natural language. The overall result is a modified and refined logical and model-theoretic machinery, which takes into account both the discourse-dependency of natural language sentences and the necessity of selecting a key in the world before a truth value can be assigned. (shrink)

Most contemporary analytic philosophers of language and mind accept the view that there is a wide class of terms, “natural kind terms”, which includes names of substances (the most common example is “water”), of species of animals, and of many other kinds of things in nature, whose meaning and reference is determined in the way explained by the theory developed in the 1970s by Saul Kripke and Hilary Putnam. The theory is often referred to as “the Kripke-Putnam theory” and is (...) supposed to have such achievements as the overthrow of the earlier dominant Fregean theory of word-meanings (dubbed “descriptivism” by Kripke) as determined by the concepts in our minds, providing support for the “externalist” approach to linguistic meanings (in line with Putnam’s claim that “"Meanings" just ain’t in the head”), and the discovery that there is a wide class of truths (such as that water is H20) that are both a posteriori and necessary. Although the priority in the development of this theory belongs to Kripke, it could hardly gain such a wide acceptance without contributions by Putnam, which turned out to be very influential. However, the habitual idea of “the Kripke-Putnam theory”, as one theory, tends to play down the differences between Putnam’s and Kripke’s approaches and to hush up the fact that in his late works, of 1983 and 1990, Putnam revised and abandoned pretty much of his “Kripkean” views of 1970-ies; in particular, repudiated the pride of Kripke’s theory, the idea of necessary a posteriori truths. This article makes critical analysis and evaluation of Putnam’s ideas and arguments usually credited as important contributions to “the Kripke-Putnam theory”, and highlights the main points of the revision in late Putnam’s works. The case is made that Putnam's famous argument for externalism about meanings, the Twin-Earth thought experiment, is question-begging, fails to do justice to likely changes in the meanings of words with the development of knowledge, and conflicts with the linguistic practice in the relevantly similar case of “jade”. Putnam's argument for externalism from the division of linguistic labour is not cogent too, because “semantic deference” is itself a matter of what is there in “heads” - of some (non-expert) heads deferring to other (recognised as expert) heads. Eventually, on close inspection and in the light of Putnam's later reexplanation and revision, his account of meaning and reference turns out to be a sophisticated variety of conceptualism/internalism. (shrink)

It has been noted before in the history of logic that some of Frege's logical and semantic views were anticipated in Stoicism. In particular, there seems to be a parallel between Frege's Gedanke (thought) and Stoic lekton; and the distinction between complete and incomplete lekta has an equivalent in Frege's logic. However, nobody has so far claimed that Frege was actually influenced by Stoic logic; and there has until now been no indication of such a causal connection. In this essay, (...) we attempt, for the first time, to provide detailed evidence for the existence of this connection. In the course of our argumentation, further analogies between the positions of Frege and the Stoics will be revealed. The classical philologist Rudolf Hirzel will be brought into play as the one who links Frege with Stoicism. The renowned expert on Stoic philosophy was Frege's tenant and lived in the same house as the logician for many years. In der Geschichte der Logik ist häufig bemerkt worden, dass einige der logischen und semantischen Auffassungen Freges in der Stoa antizipiert worden sind. Genannt wurden insbesondere die Parallelen zwischen dem Fregeschen Gedanken und dem stoischen Lekton sowie die Unterscheidung zwischen vollständigen und unvollständigen Lekta, die bei Frege ihre Entsprechung hat. Ein Wirkungszusammenhang ist allerdings nicht behauptet worden. Dazu gab es bislang auch keinen Anlass. Der vorliegende Beitrag versucht erstmalig, einen detaillierten Indizienbeweis für das Bestehen eines solchen Zusammenhangs vorzulegen. Dabei werden weitere charakteristische Übereinstimmungen zwischen Frege und der Stoa aufgewiesen. Als Mittelsmann wird der Altphilologe Rudolf Hirzel vorgestellt. Er wohnte lange Jahre als Mieter zusammen mit Frege im selben Haus und war ein anerkannter Experte der stoischen Philosophie. (shrink)

The article explores the relationship between Tarski’s theory oftruth and modern deflationary or minimalist accounts of truth. The authornotes many similarites, but he also identifies an important difference betweenTarski’s theory and the various approaches of his modern followers: Tarskithought of his theory of truth as an elaboration of the classical correspondence notion. The heart of his theory is the definition of truth in terms ofsatisfaction. Truth is explicated in terms of a relation between language andaspects of external reality. It is (...) just this central component of his theorywhich is rejected by modern deflationism and minimalism. (shrink)

Well over a century after its introduction, Frege's two-dimensional Begriffsschrift notation is still considered mainly a curiosity that stands out more for its clumsiness than anything else. This paper focuses mainly on the propositional fragment of the Begriffsschrift, because it embodies the characteristic features that distinguish it from other expressively equivalent notations. In the first part, I argue for the perspicuity and readability of the Begriffsschrift by discussing several idiosyncrasies of the notation, which allow an easy conversion of logically equivalent (...) formulas, and presenting the notation's close connection to syntax trees. In the second part, Frege's considerations regarding the design principles underlying the Begriffsschrift are presented. Frege was quite explicit about these in his replies to early criticisms and unfavorable comparisons with Boole's notation for propositional logic. This discussion reveals that the Begriffsschrift is in fact a well thought-out and carefully crafted notation that intentionally exploits the possibilities afforded by the two-dimensional medium of writing like none other. (shrink)

Saul Kripke in his revolutionary and influential series of lectures from the early 1970s (later published as the book Naming and Necessity) famously resurrected John Stuart Mill's theory of proper names. Kripke at the same time rejected Mill's theory of general terms. According to Kripke, many natural kind terms do not fit Mill's account of general terms and are closer to proper names. Unfortunately, Kripke and his followers ignored key passages in Mill's A System of Logic in which Mill enunciates (...) a sophisticated and detailed theory of natural kind terms that anticipates and is in some ways superior to Kripke's. (shrink)

Kaplan claims in Demonstratives that no operator may manipulate the context of evaluation of natural language indexicals. We show that this is not so. In fact, attitude reports always manipulate a context parameter (or, rather, a context variable). This is shown by (i) the existence of De Se readings of attitude reports in English (which Kaplan has no account for), and (ii) the existence of a variety of indexicals across languages whose point of evaluation can be shifted, but only in (...) attitude reports. We develop an alternative account within an extensional framework with overt quantification over times, worlds and contexts. Various typological facts are discussed, esp. the distinction between English, Amharic and Ewe pronouns, and that between English and Russian tenses. (shrink)

A detailed interpretation is provided of the ‘Gray's Elegy’ passage in Russell's ‘On Denoting’. The passage is suffciently obscure that its principal lessons have been independently rediscovered. Russell attempts to demonstrate that the thesis that definite descriptions are singular terms is untenable. The thesis demands a distinction be drawn between content and designation, but the attempt to form a proposition directly about the content (as by using an appropriate form of quotation) inevitably results in a proposition about the thing designated (...) instead of the content expressed. In light of this collapse, argues Russell, the thesis that definite descriptions are singular terms must accept that all propositions about a description's content represent it by means of a higher-level descriptive content, so that knowledge of a description's content is always ‘by description’, not ‘by acquaintance’. This, according to Russell, renders our cognitive grip on definite descriptions inexplicable. Separate responses on behalf of Fregeans and Millians are offered. (shrink)

All contributions included in the present issue were originally presented at an ‘Author Meets Critics’ session organised by Richard Zach at the Pacific Meeting of the American Philosophical Association in San Diego in the Spring of 2014.

Predictive processing framework has found wide applications in cognitive science and philosophy. It is an attractive candidate for a unified account of the mind in which perception, action, and cognition fit together in a single model. However, PP cannot claim this role if it fails to accommodate an essential part of cognition—conceptual thought. Recently, Williams argued that PP struggles to address at least two of thought’s core properties—generality and rich compositionality. In this paper, I show that neither necessarily presents a (...) problem for PP. In particular, I argue that because we do not have access to cognitive processes but only to their conscious manifestations, compositionality may be a manifest property of thought, rather than a feature of the thinking process, and result from the interplay of thinking and language. Pace Williams, both of these capacities, constituting parts of a complex and multifarious cognitive system, may be fully based on the architectural principles of PP. Under the assumption that language presents a subsystem separate from conceptual thought, I sketch out one possible way for PP to accommodate both generality and rich compositionality. (shrink)

According to Millianism about proper names, what a proper name semantically contributes to the sentence in which it figures is simply its referent; therefore, co-referring proper names are intercheangable salva veritate and salva significatione. In their 2019 paper published in Topoi, Felappi and Santambrogio formulate a thought-provoking argument against Millianism. Their argument aims at establishing that our normal practice of translation shows that Millianism cannot be correct. I argue that Millians can successfully reply. I will address in turn two versions (...) of Felappi and Santambrogio’s argument, focusing especially on the second one, which apparently raises a more challenging problem for Millianism. Finally, I will consider two objections against my own strategy, and I will reply to them. (shrink)

This essay investigates whether or not we should think that the things we say are identical to the things our sentences mean. It is argued that these theoretical notions should be distinguished, since assertoric content does not respect the compositionality principle. As a paradigmatic example, Kaplan's formal language LD is shown to exemplify a failure of compositionality. It is demonstrated that by respecting the theoretical distinction between the objects of assertion and compositional values certain conflicts between compositionality and contextualism are (...) avoided. This includes the conflict between eternalism and the semantics of tense, the embedding problems for contextualism about epistemic modals and taste claims, and the conflict between direct reference and the semantics of bound pronouns (and monstrous operators). After presenting the theoretical picture which distinguishes assertoric content from compositional semantic value, some objections to the picture are addressed. In so doing, the objection from King (2003) stemming from apparent complications with the interaction of temporal expressions and attitude reports is assessed and shown to be non-threatening. (shrink)

David Chalmers’ two-dimensionalism is an ambitious philosophical program that aims to “ground” or “construct” Fregean meanings and restore “the golden triangle” of apriority, necessity, and meaning that Kripke seemingly broke. This paper aims to examine critically what Chalmers’ theory can in reality achieve. It is argued that the theory faces severe challenges. There are some gaps in the overall arguments, and the reasoning is in some places somewhat circular. Chalmers’ theory is effectively founded on certain strong philosophical assumptions. It is (...) concluded that it is unclear whether the theory can deliver all it promises. (shrink)

_ Source: _Volume 46, Issue 2, pp 184 - 204 According to a very specific and widespread line of interpretation, the mode of working of intentionality could be understood by analogy with the linguistic paradigm set forth by Gottlob Frege in his famous essay “_Über Sinn und Bedeutung._” The goal of the present paper is to dismiss such an interpretation by also analyzing the manner in which Husserl relates, and thereby traces back, the constitution of the logical sphere to the (...) so-called pre-categorial. (shrink)

In this paper we focuse on how the first Heidegger changed the essential idea of phenomenology: if the terms of intentionality, pure consciousness, transcendental subject, noema and noesis radically disappear from Heidegger’s conceptuality, what does it mean exactly? Does Heidegger preserve anything from the idea of intentionality, from Husserl’s task of clarifying the aprioristic correlation between consciousness and object, and from Husserl’s relation of foundation of intentional modalities of higher level on modalities of lower level? We want here to emphasize (...) some essential changes concerning the idea of phenomenology: the holistic structure of experience, the task of clarifying the structure of transcendance as a foundation of intentionality, and the inversion of Husserl’s relation of foundation. On the contrary, we show how Husserl’s concept of sense is essentially different from that of ideal signification. (shrink)

La remisión del problema relativo al como de la captación de pensamientos a la psicología por parte de Frege ha llevado a que se imponga entre los críticos la idea de que toda consideración subjetiva está ausente en este autor. La crítica fregueana al psicologismo, sin embargo, se concentra en una crítica a la concepción psicologista de subjetividad y, correlativamente, implica una concepción de subjetividad novedosa en el contexto de la filosofía alemana de la segunda mitad del s. XIX que, (...) como la husserliana, es no-naturalística e intencional.The assignment to psychology by Frege of the problem concerning how a thought is grasped has made the idea that all subjective considerations are absent from this author's work a dominant one amongst its critics. The fregean critic of psychologism, however, focusses on a critic of the psychologistic conception of the subjectivity and accordingly implies a conception of the subjective that is new in the context of the German philosophy of the second half of the 19th century and that is, like Husserl´s, non- naturalistic and intentional. (shrink)

Some causal explanations are non-committal in that mention of a property in the explanans conveys information about the causal origin of the explanandum even if the property in question plays no causal role for the explanandum . Programme explanations are a variety of non-committal causal (NCC) explanations. Yet their interest is very limited since, as I will argue in this paper, their range of applicability is in fact quite narrow. However there is at least another variety of NCC explanations, causal (...) orientation explanations, which offer a plausible model for many explanations in the special sciences. (shrink)

In a series of recent works, Kit Fine, 605–631, 2003, 2007) has sketched a novel solution to Frege’s puzzle. Radically departing from previous solutions, Fine argues that Frege’s puzzle forces us to reject compositionality. In this paper we first provide an explicit formalization of the relational semantics for first-order logic suggested, but only briefly sketched, by Fine. We then show why the relational semantics alone is technically inadequate, forcing Fine to enrich the syntax with a coordination schema. Given this enrichment, (...) we argue, that that the semantics is compositional. We then examine the deep consequences of this result for Fine’s proposed solution to Frege’s puzzle. We argue that Fine has mis-diagnosed his own solution–his attempted solution does not deny compositionality. The correct characterization of Fine’s solution fits him more comfortably among familiar solutions to the puzzle. (shrink)

The idea underlying the Begriffsschrift account of identities was that the content of a sentence is a function of the things it is about. If so, then if an identity a=b is about the content of its contained terms and is true, then a=a and a=b have the same content. But they do not have the same content; so, Frege concluded, identities are not about the contents of their contained terms. The way Frege regarded the matter is that in an (...) identity the terms flanking the symbol for identity do not have their ordinary contents, but instead have themselves as their contents. In ?Uber Sinn und Bedeutung? Frege became convinced that if an identity a=bis about the signs aand b, then it expresses no proper knowledge. So, since it is evident that many such identities do express proper knowledge, Frege concluded that identities are not about their contained signs. So he became convinced that his Begriffsschrift account was incorrect. What was the error in the argument that led Frege to that account? It was thinking that the content of a sentence is a function of the contents of its constituent signs, that is, the things it is about. (shrink)

It seems that the theories of language of the present century can be classified into two basic groups. The approaches of the first group perceive language as a mathematical structure and understand any theory of language as a kind of application of mathematics or logic. Their ideological background is furnished by logical positivism and analytical philosophy (esp. by Russell, Carnap, Wittgenstein and their followers); and their practical output is Chomskian formal syntax and subsequent formal semantics. The approaches of the other (...) group do not approve of formalization and consider a theory of language closer to psychology than to mathematics. The specific position within this group is occupied by the so-called structuralists (de Saussure, Hjelmslev, Derrida). (shrink)

We provide a cognitive analysis of how children represent belief using mental files. We explain why children who pass the false belief test are not aware of the intensionality of belief. Fifty-one 3½- to 7-year old children were familiarized with a dual object, e.g., a ball that rattles and is described as a rattle. They observed how a puppet agent witnessed the ball being put into box 1. In the agent’s absence the ball was taken from box 1, the child (...) was reminded of it being a rattle, and emphasising its being a rattle it was put back into box 1. Then the agent returned, the object was hidden in the experimenter’s hands and removed from box 1, described as a ‘‘rattle,” and transferred to box 2. Children who passed false belief had no problem saying where the puppet would look for the ball. However, in a different condition in which the agent was also shown that the ball was a rattle they erroneously said that the agent would look for the ball in box 1, ignoring the agent’s knowledge of the identity of rattle and ball. Their problems cease with their mastery of second-order beliefs. Problems also vanish when the ball is described not as a rattle but as a thing that rattles. We describe how our theory can account for these data as well as all other relevant data in the literature. (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)

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)

Suppose we have an idea of what counts as communication, more precisely as a communicative event. Then we have the further task of dividing communicative events into successful and unsuccessful. Part of this task is to find a basis for this evaluation, i.e. appropriate properties of speaker and hearer. It is argued that success should be evaluated in terms of a relation between thought contents of speaker and hearer. This view is labelled ‘classical’, since it is justifiably attributable to both (...) Locke and Frege (section 2). Most of the paper is devoted to discussing competing contemporary views, such as behaviorist/pragmatist views (section 4), requirements of knowledge (section 5), of reliability (section 6) and that success should be defined in terms of public language semantics rather than in terms of thought content (section 7). (shrink)

This is the second part of a two-part article on compositionality, i.e. the principle that the meaning of a complex expression is determined by the meanings of its parts and the way they are put together. In the first, Pagin and Westerståhl (2010), we provide a general historical background, a formal framework, definitions, and a survey of variants of compositionality. It will be referred to as Part I. Here we discuss arguments for and against the claim that natural languages have (...) a compositional semantics. We also discuss some problem cases, including belief reports, quotation, idioms, and ambiguity. (shrink)

Self-knowledge (SK) is a natural ability of the human cognitive system and is defined as a complex re-representation of knowledge subject has about her own internal states. It is composed of two basic representations: the representation of I and the representation of the experienced state. SK has a propositional (i.e. language-like) form and can be expressed in the form of self-reports like “I believe that I believe that p”. It has then the form of a second-order belief which, as a (...) re-representation, generates the following problem concerning false representations: if the first-order representations of the I or of experienced states can be false like in cases of self-illusions or disorders like somatoparaphrenia, then how can error in self-cognition inherited by the re-representation (i.e. by SK) be avoided? I claim that the re-representational model of SK is a useful but artificial tool for the description of the components of SK; however, it is misleading to think of it as capturing the truth about SK. I propose here a representational model of SK which reduces those beliefs constituting SK to first-order beliefs which are sufficient as constituents of SK. (shrink)

If we accept Popper's idea that the human habitat is described in terms of three worlds, and that there are overlaps between these three worlds, our moral actions and values will also be subject to the same kinds of consideration as a repertoire of behaviours exhibited in a physical environment. We will develop moral habits in a moral habitat and our moral behaviours will also be dependent on the kind of moral habitat in which we find ourselves.There are three main (...) problems to which this analysis leads and on which we will focus in this paper. Firstly, there is the problem of the kind of moral environment—habitat—that we need to provide for human beings if they are to develop the kinds of moral values that we hold to be important. Secondly, there is the question of how we are to develop the kinds of moral habits themselves and thirdly, there is the question of how these moral habits and habitat are to be maintained. If we take Popper seriously then human beings have a crucial responsibility in the creation of a moral third world—that is, a habitat in which human beings can flourish. Schools have an important role as a moral habitat for the inculcation of good moral habits. (shrink)

This article provides an overview of development of Kripke semantics for logics determined by information systems. The proposals are made to extend the standard Kripke structures to the structures based on information systems. The underlying logics are defined and problems of their axiomatization are discussed. Several open problems connected with the logics are formulated. Logical aspects of incompleteness of information provided by information systems are considered.

In his book Mental Files , Francois Recanati develops a theory of mind and language based on the idea that Fregean senses should be identified with ‘mental files’, mental representations whose primary function is to store information about objects. I discuss three aspects of Recanati’s book. The first concerns his use of acquaintance relations in individuating mental files, and what this means for ‘file dynamics’. The second concerns his comments on a theory that I have elsewhere advocated, the ‘sequenced worlds’ (...) or ‘multi-centered worlds’ theory. The third concerns how the mental file approach handles non-doxastic attitudes like imagining. (shrink)

The article addresses the works of three 19th-century philosophers: Herbart, Bolzano and Lotze. Despite their differences, i will analyze two essential features they share: their refusal to psychologism as the radicalization of psychology as the ultimate source of philosophy , and the positing of an ideal ‘reality’, independent from both sensibility and the mental and linguistic dimensions, upon which the refusal to psychologism is founded . As a conclusion, i will show how, according to these authors, this platonic, ideal background (...) constitutes the very foundation of every meaningful thought. (shrink)

This paper attempts to describe and address a specific puzzle related to compositionality in artificial networks such as Deep Neural Networks and machine learning in general. The puzzle identified here touches on a larger debate in Artificial Intelligence related to epistemic opacity but specifically focuses on computational applications of human level linguistic abilities or properties and a special difficulty with relation to these. Thus, the resulting issue is both general and unique. A partial solution is suggested.

This is the introductory essay to a collection commemorating the 100th anniversary of the publication in Mind of Bertrand Russell’s paper ‘On Denoting’.

Prezentujemy dwa formalne narzędzia służące do modelowania rozumowań, za pomocą których rozwiązywane są szczególnego rodzaju problemy abdukcyjne. Pierwszy model, osadzony w formalizmie logiki pytań, bazuje na pojęciu słabej implikacji erotetycznej. Drugi model wykorzystuje relacje zawężania i odsiewania definiowane za po-mocą logiki pytań, semantyki sytuacyjnej i pojęcia relewancjiwątku. Na przykładzie analizy rozgrywek w grę Takie Życie pokazujemy, że oba modele adekwatnie charakteryzują dane empiryczne.

Despite the recent increase in interest in philosophy about ignorance, little attention has been paid to the question of what makes it possible for a being to become aware of their own ignorance. In this paper, I try to provide such an account by arguing that, for a being to become aware of their own ignorance, they must have the mental capacity to represent something as being unknown to them. For normal adult humans who have mastered a language, mental representation (...) of an unknown is enabled by forming linguistic expressions whose content is grasped, but whose referent is unknown. I provide a neo-Fregean, a neo-Russellian, and then a unified account of this. On that basis, I then argue further that the content of ignorance can always be captured by a question. I then distinguish between propositional ignorance and non-propositional ignorance and argue that propositional ignorance attributions can be of three types, that-ignorance, whether-ignorance, and fact-ignorance. I conclude by arguing that the acquisition of truths, even when it yields knowledge that is certain, does not always eliminate one’s ignorance and that there is a degree of ignorance in almost everything we claim to know. (shrink)

In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general models and have a natural definition. As a class they do not validate the axiom of Extensionality. We give a cut-free sequent calculus for type theory and show completeness of this calculus with respect to the class of intensional models via a model existence theorem. After this we turn our attention to applications. Firstly, it (...) is argued that, since ITL is truly intensional, it can be used to model ascriptions of propositional attitude without predicting logical omniscience. In order to illustrate this a small fragment of English is defined and provided with an ITL semantics. Secondly, it is shown that ITL models contain certain objects that can be identified with possible worlds. Essential elements of modal logic become available within classical type theory once the axiom of Extensionality is given up. (shrink)

A dilemma has stymied interpretations of the Stranger’s method of dividing kinds into subkinds in Plato’sSophistandStatesman. The dilemma assumes that the kinds are either extensions or intensions. Now kinds divide like extensions, not intensions. But extensions cannot explain the distinct identities of kinds that possess the very same members. We propose understanding a kind as like an animal body—the Stranger’s simile for division—possessing both an extension and an intension. We find textual support in the Stranger’s paradigmatic four steps for collecting (...) a subkind. (shrink)

Considerable attention has been given to the accessibility of legal documents, such as legislation and case law, both in legal information retrieval (query formulation, search algorithms), in legal information dissemination practice (numerous examples of on-line access to formal sources of law), and in legal knowledge-based systems (by translating the contents of those documents to ready-to-use rule and case-based systems). However, within AI & law, it has hardly ever been tried to make the contents of sources of law, and the relations (...) among them, more accessible to those without a legal education. This article presents a theory about translating sources of law into information accessible to persons without a legal education. It illustrates the theory by providing two elaborated examples of such translation ventures. In the first example, formal sources of law in the domain of exchanging police information are translated into rules of thumb useful for policemen. In the second example, the goal of providing non-legal professionals with insight into legislative procedures is translated into a framework for making available sources of law through an integrated legislative calendar. Although the theory itself does not support automating the several stages described, in this article some hints are given as to what such automation would have to look like. (shrink)

In this paper I focus on the fallacy known as Complex Question or Many Questions. After a brief introduction, in Sect. 2 I highlight its pragmatic dimension, and in Sect. 3 its dialectical dimension. In Sect. 4 I present two accounts of this fallacy developed in argumentation theory, Douglas Walton’s and the Pragma-Dialectics’, which have resources to capture both its pragmatic and its dialectical nature. However, these accounts are unsatisfactory for various reasons. In Sect. 5 I focus on the pragmatic (...) dimension of the fallacy and I suggest amendments to the accounts mentioned drawing on the study of the phenomenon of presupposition in theoretical pragmatics. I argue that the central notion in the definition of the fallacy is that of an informative presupposition. In Sect. 6 I focus on the dialectical dimension of the fallacy. This dimension needs to be explicitly acknowledged in the definition of the fallacy in order to distinguish it from a different, non-dialectical, fallacious argumentative move involving presuppositions. (shrink)

We use quotation marks when we wish to refer to an expression. We can and do so refer even when this expression is composed of characters that do not occur in our alphabet. That's why Tarski, Quine, and Geach's theories of quotation don't work. The proposals of Davidson, Frege, and C. Washington, however, do not provide a plausible account of quotation either. (Section I). The problem is to construct a Tarskian theory of truth for an object language that contains quotation (...) marks, without appealing to quotation marks in the metalanguage. I propose to supply Tarski's truth definition with one axiom that determines the denotation of all expressions containing quotation marks. According to this axiom, quotation marks create a non-extensional context. Since admitting such contexts does not lead to any difficulties in the recursive truth characterization, we may indeed dispense with extensionalism. (Section II). Finally, I argue that we classify and denote expressions in the very same way that we classify and denote extralinguistic entities. Both tokens and types of written signs can be easily incorporated into the naturalist's worldview. (Section III). (shrink)

It is popular to hold that emotions are evaluative. On the standard account, the evaluative character of emotion is understood in epistemic terms: emotions apprehend or make us aware of value properties. As this account is commonly elaborated, emotions are experiences with evaluative intentional content. In this paper, I am concerned with a recent alternative proposal on how emotions afford awareness of value. This proposal does not ascribe evaluative content to emotions, but instead conceives of them as evaluative at the (...) level of intentional mode or attitude. I first argue that this proposal fails to make emotions intelligible as value apprehensions. There are reasons to suppose that emotions do not apprehend value to begin with, but are related to values in a different, non-epistemic sense. I then go on to show that the notion of an evaluative intentional mode can still help elucidate the evaluative character of emotion. I argue that there is a plausible non-epistemic understanding of the view that emotions are evaluative modes. On this account, emotions are not ways of apprehending values, but ways of acknowledging values. (shrink)

We argue that many recent philosophical discussions about the reference of everyday concepts of intentional states have implicitly been predicated on descriptive theories of reference. To rectify this, we attempt to demonstrate how a causal theory can be applied to intentional concepts. Specifically, we argue that some phenomena in early social de- velopment ðe.g., mimicry, gaze following, and emotional contagionÞ can serve as refer- ence fixers that enable children to track others’ intentional states and, thus, to refer to those states. (...) This allows intentional concepts to be anchored to their referents, even if folk psy- chological descriptions turn out to be false. (shrink)

As part of his attack on Frege’s ‘myth’ that senses reside in the third realm, Dummett alleges that Frege’s view that all objects are selbständig is an underlying mistake, since some objects depend upon others. Whatever the merits of Dummett’s other arguments against Frege’s conception of sense, this objection fails. First, Frege’s view that senses are third-realm entities is not traceable to his view that all objects are selbständig. Second, while Frege recognizes that there are objects that are dependent upon (...) other objects, he does not take this to compromise the Selbständigkeit of any objects. Thus, Frege’s doctrine that objects are selbständig does not make the claim of absolute independence that Dummett appears to have taken it to make. Nevertheless, in order to make a good case against Frege based on the dependency of senses, Dummett need only establish his claim that senses depend upon expressions: appeal to an absolute conception of independence is unnece... (shrink)