ABSTRACT Is it possible to effect singular reference to mathematical objects in the abstractionist framework? I will argue that even if mathematical expressions pass the relevant syntactic and inferential tests to qualify as singular terms, that does not mean that their semantic function is to refer to a particular object. I will defend two arguments leading to this claim: the permutation argument for the referential indeterminacy of mathematical terms, and the argument from the semantic idleness of the terms introduced by (...) abstraction principles. (shrink)

We describe a general logical framework, Justification Logic, for reasoning about epistemic justification. Justification Logic is based on classical propositional logic augmented by justification assertions t: F that read t is a justification for F. Justification Logic absorbs basic principles originating from both mainstream epistemology and the mathematical theory of proofs. It contributes to the studies of the well-known Justified True Belief vs. Knowledge problem. We state a general Correspondence Theorem showing that behind each epistemic modal logic, there is a (...) robust system of justifications. This renders a new, evidence-based foundation for epistemic logic. As a case study, we offer a resolution of the GoldmanRed Barns in Justification Logic. Furthermore, we formalize the well-known Gettier example and reveal hidden assumptions and redundancies in Gettier’s reasoning. (shrink)

In every introductory course on logic, students learn that expressions like ‘somebody’, ‘nothing’ or ‘every woman’ are not names or referring expressions, but quantifiers, and that, owing to this,...

The present paper is a continuation of a previous one by the same title, the content of which faced the issue concerning the relations of coreference and qualification in compliance with the Navya-Nyāya theoretical framework, although prompted by the Advaita-Vedānta enquiry regarding non-difference. In a complementary manner, by means of a formal analysis of equivalence, equality, and identity, this section closes the loop by assessing the extent to which non-difference, the main issue here, cannot be reduced to any of the (...) former. The following sections of this study will focus on the assessment of the eventual possibility of causation and transformation in non-difference. (shrink)

This article shows that there are square circles in the sense that there are mathematical objects that are at the same time both perfectly circular and perfectly square. The philosophical significance of this is discussed, especially in view of philosophy's widespread use of “square circle” as a typical example of an impossibility. In particular, the focus is on what the existence of square circles means for the possibility of conceptual analysis, and more generally what we can learn about the nature (...) of non-formal concepts and their use in philosophy. (shrink)

My purpose here is purely historical. It is not an attempt to resolve the question as to whether Russell did or did not countenance nonclassical logics, and if so, which nonclassical logics, and still less to demonstrate whether he himself contributed, in any manner, to the development of nonclassical logic. Rather, I want merely to explore and insofar as possible document, whether, and to what extent, if any, Russell interacted with the various, either the various candidates or their, ideas that (...) Dejnožka and others have proposed as potentially influential in Russell’s intellectual reactions to nonclassical logic or to the philosophical concepts that might contribute to his reactions to nonclassical logics. (shrink)

This paper is concerned with connections between scientific and metaphysical realism. It is not difficult to show that scientific realism, as expounded by Psillos (1999) clearly qualifies as a kind of metaphysical realism in the sense of Putnam (1980). The statement of scientific realism therefore must not only deal with underdetermination and the dynamics of scientific theories but also answer the semantic challenges to metaphysical realism. As will be argued, the common core of these challenges is the proposition that a (...) (metaphysical) realist semantics leads to semantic agnosticism in the sense that we are unable to grasp the proper meanings and referents of our linguistic expressions. Having established this, I will focus more specifically on the question of whether scientific realism—in its state-of-the-art account—has the resources to make reference to scientific concepts intelligible such that the semantic challenges can be answered. (shrink)

§0. Alonzo Church's contributions to philosophy and to that most philosophical part of logic, intensional logic, are impressive indeed. He wrote relatively few papers actually devoted to specifically philosophical issues, as distinguished from related technical work in logic. Many of his contributions appear in reviews for The Journal of Symbolic Logic, and it can hardly be maintained that one finds there a “philosophical system”. But there occur a clearly articulated and powerful methodology, terse arguments, often of “crushing cogency”, and philosophical (...) observations of the first importance.Many of the less formal philosophical contributions center around questions concerning meaning, but there are important clarifications and insights into matters of the epistemology and ontology of the sciences, especially the formal sciences.1.1. The logistic method. Church's writings on philosophical matters exhibit an unwavering commitment to what he called the “logistic method”. The term did not catch on and now one would just speak of “formalization”. The use of these ideas is now so common and familiar among logicians and logically-oriented philosophers that they are simply taken for granted. But they deserve to be celebrated and re-emphasized, for there are philosophers who seriously underestimate and even consciously reject these techniques. (shrink)

Subjective language has attracted substantial attention in the recent literature in formal semantics and philosophy of language Subjective meaning: alternatives to relativism, De Gruyter, Berlin, pp 1–19, 2016; Lasersohn in Subjectivity and perspective in truth-theoretic semantics, Oxford University Press, Oxford, 2017; Vardomskaya in Sources of subjectivity, Ph.D. thesis, University of Chicago, IL, 2018; Zakkou in Faultless disagreement: a defense of contextualism in the realm of personal taste, Vittorio Klostermann, Frankfurt a. M., 2019b). Most current theories argue that Subjective Predicates, which (...) express matters of opinion, semantically differ from ordinary predicates, which express matters of fact. We will call this view “SP exceptionalism”. This paper addresses SP exceptionalism by scrutinizing the behavior of SPs in attitude reports, which, as we will argue, significantly constrains the space of analytical options and rules out some of the existing theories. As first noticed by Stephenson :487–525, 2007a; Towards a theory of subjective meaning, Ph.D. thesis, Massachusetts Institute of Technology, Cambridge, MA, 2007b), the most prominent reading of embedded SPs is one where they talk about the attitude holder’s subjective judgment. As is remarked sometimes :327–352, 2009; Pearson in J Semant 30:103–154, 2013a), this reading is not the only one: embedded SPs may also talk about someone else’s, non-local, judgment. We concentrate specifically on such cases and show that non-local judgment is possible if and only if SPs are used within a DP that is outside main predicate position and that entire DP is read de re. We demonstrate that the behavior of SPs in attitude reports does not differ from that of ordinary predicates: it follows from general constraints on intersective modification and intensional quantification Ways of scope taking, Springer, Dordrecht, pp 183–215, 1997; Musan in On the temporal interpretation of noun phrases, Garland, New York, 1997; Percus in Nat Lang Semant 8:173–229, 2000; Keshet in Good intensions: paving two roads to a theory of the de re/de dicto distinction, Ph.D. thesis, Massachusetts Institute of Technology, Cambridge, MA, 2008). We argue that this unexceptional behavior of SPs in fact has unexpected consequences for SP exceptionalism. Precisely because SPs have been argued to be semantically different from ordinary predicates, not all theories correctly predict these less-studied data: some overgenerate :691–706, 2007; Sæbø 2009) and some undergenerate Proceedings of Sinn und Bedeutung, vol 11, pp 433–447, 2007; Pearson 2013a). Out of the currently available theories, only relativist accounts :643–686, 2005; MacFarlane 2014; Bylinina in J Semant 34, 291–331, 2017; Coppock in Linguist Philos 41:125–164, 2018) predict the right interpretation, and only that interpretation. We thus present a novel empirical argument for relativism, and, more generally, formulate a constraint that has to be taken into consideration by any view that advocates SP exceptionalism. (shrink)

In this paper, I argue that viewing Frege’s puzzle through a semantic lens results in the rejection of solutions to it on irrelevant grounds. As a result, I develop a solution to it that rests on a non-semantic sense of context-sensitivity. And I apply this picture to Frege’s puzzle when it arises through the use of identity statements designed to establish that distinct speakers are talking about the same thing.

When Husserl speaks of the so-called ‘transcendental reduction’ or ‘phenomenological epochē’ many believe that he is eschewing the question of truth or existence. Two reasons are given for this: First, Husserl explicitly states that when we perform the reduction, we should no longer naively ‘accept [the world] as it presents itself to me as factually existing’ (Id I §30, p. 53) and should suspend our judgement with regard to ‘the positing of its actual being’ (Id I §88, p. 182). Second, (...) Husserl seems to have no problem in referring to an ‘object’ of thought even when we refer to non-existent, hallucinatory or indeed impossible objects. This seems to suggest that he is not interested in the question whether or not there is a corresponding ‘ordinary’ object. The paper seeks to question this and will show that his inquiry never loses sight of the questions of truth and existence but rather brings them into the foreground. (shrink)

There is a strong consensus among analytic philosophers that Husserl is an internalist and that his internalism must be understood in conjunction with his methodological solipsism. This paper focuses on Husserl's early work the, Logical Investigations , and explores whether such a reading is justified. It shows that Husserl is not a methodological solipsist: He neither believes that meaning can be reduced to the individual, nor does he assign an explanatory role for meaning to the subject. Explanatory priority is assigned (...) to objects which have an intrinsic property independently of any access or attitude we may have to them. Although not a methodological solipsist, there are nonetheless internalist elements to Husserl's thought: He believes that we can think of non-existent objects and his account of indexicals and demonstratives shows that there are two kinds of meaning: one is context independent and internally individuated, the other is partly determined by context and so externally individuated. The paper leaves it open whether this is sufficient to mark Husserl out as an internalist. However, even if he were considered as such, we can be sure of one thing, namely, that his internalism would not be a species of methodological solipsism. (shrink)

The article deals with the interpretation of propositional attitudes in the framework of modal predicate logic. The first part discusses the classical puzzles arising from the interplay between propositional attitudes, quantifiers and the notion of identity. After comparing different reactions to these puzzles it argues in favor of an analysis in which evaluations of de re attitudes may vary relative to the ways of identifying objects used in the context of use. The second part of the article gives this analysis (...) a precise formalization from a model-and proof-theoretic perspective. (shrink)

The main aim in the forthcoming discussion is to contrast theistic modal realism and theistic actualist realism. Actualist realism is the dominant view among theists and presents the most serious challenge to theistic modal realism. I discuss various prominent forms of theistic actualist realism. I offer reasons for rejecting the view of metaphysical reality that actualist realism affords. I discuss theistic modal realism and show that the traditional conception of God is perfectly consistent with the metaphysics of genuine modal realism. (...) Indeed theistic modal realism is more suited to traditional theism than is any version of actualist realism. (shrink)

At first russell thought (p) that whatever a proposition is about must be a constituent of it. Then, Around 1900, He discovered denoting concepts and realized that a proposition could be about something and have only its denoting concept as constituent. However, A number of remarks that he made through the years can only be understood as inspired by (p). In particular, The arguments offered in "on denoting" against the doctrine of denotation of "principles" are grounded on (p).

The question of who exactly is responsible for an organization’s actions cannot be too carefully considered, as a clear understanding of this point is crucial from ethical, moral, managerial, and public perspectives. This article discusses how to justify a non-participant member’s responsibility for the actions of other group members, establishing collective responsibility. The article develops a novel context-depended framework that solves this problem by supplying good grounds for perceiving organizations as organic entities, which is adequate for establishing collective responsibility. I (...) suggest that to be responsible for the actions of an organization, one has to belong to that organization, even if one has not taken any part at any level in group actions. The more regular concept of causal responsibility is not applicable here since it cannot account for the responsibility of non-participant members. (shrink)

This paper introduces Richard Montague's theory of determiner phrases to the philosophically oriented readers who are familiar with Russell's traditional treatment. Determiner phrases include not only quantifier phrases in the narrow sense, such as every man, some woman, and nothing, but also DP conjunctions such as Adam and Betty and Adam or Betty, and even proper names such as Adam and Betty. Montague treats all determiner phrases as belonging to type t, i.e., the type of functions from properties of individuals (...) to truth values. This paper also introduces the simply typed lambda-calculus for the explication of Montague's theory. Two major problems with Montague's theory, one more philosophical and the other more linguistic, are discussed. (shrink)

This paper sets forth a new theory of quantifiers and term connectives, called shadow theory , which should help simplify various semantic theories of natural language by greatly reducing the need of Montagovian proper names, type-shifting, and λ-conversion. According to shadow theory, conjunctive, disjunctive, and negative noun phrases such as John and Mary , John or Mary , and not both John and Mary , as well as determiner phrases such as every man , some woman , and the boys (...) , are all of semantic type e and denote individual-like objects, called shadows — conjunctive , disjunctive , or negative shadows, such as John-and-Mary, John-or-Mary, and not-(John-and-Mary). There is no essential difference between quantification and denotation: quantification is nothing but denotation of shadows. Individuals and shadows constitute a Boolean structure. Formal language LSD (Language for Shadows with Distributivity), which takes compound terms to denote shadows, is investigated. Expansions and enrichments of LSD are also considered toward the end of the paper. (shrink)

This article argues that, in order to understand Peter Winch's view of philosophy, it is profitable to read him together with R. G. Collingwood's philosophy of history. Collingwood was both an important source for Winch and a thinker engaged in a closely parallel philosophical pursuit. Collingwood and Winch shared the view that philosophy is an effort to understand the various ways in which human beings make reality intelligible. For both, this called for rapprochement between philosophy and the humanities. Like Collingwood, (...) Winch wanted to reformulate philosophy as a form of human science. Both thinkers advanced a conception of logic where the validity of judgements, propositions, and thought are dependent on their function as instruments in human dialogue. In their treatments of logic, Winch and Collingwood were fleshing out their idea that questions concerning human meaningful behaviour also tie back to the question of what philosophical analysis is about. There is a deep connection between two main issues in both Collingwood's and Winch's writings: on the one hand, the need for ‘internal’ understanding of how human beings relate to reality, and on the other hand, their critique of the idea of logic as a self-sufficient system, external to historically embedded forms of life. At the core of their shared vision there was a comprehensive critique of metaphysical realism. (shrink)

I argue that predicativism, the view that proper names are predicates, is a viable theory of the semantics of proper names given a certain hypothesis about the grammar of definiteness. Extant versions of predicativism hold that a singular name in argument position constitutes the predicative component of a covert definite description. I show that these versions cannot accommodate semantic and typological data, specifically: syntactic and semantic disparities between bare and non-bare occurrences of such names in English, the distinctive modal rigidity (...) displayed by names, as opposed to common noun definite descriptions, and cross-linguistic data that feature seemingly distinct determiners for names in argument position. I propose that predicativism needs to embrace a view of definite marking as complex, consisting of a definite article and a bindable, familiarity-tracking constituent, which I call _index_. I show that this view is empirically motivated and typologically attested. The resulting version of predicativism can accommodate elegantly the observed semantic data when coupled with language-specific morpho-phonological generalizations. I finally address criticisms of and alternatives to my version of predicativism. (shrink)

This paper argues for the importance of the distinction between internal and external negation over expressions for belief. The common fallacy is to confuse statement like (1) and (2): (1) John believes that the school is not closed on Tuesday; (2) John does not believe that the school is closed on Tuesday. The fallacy has ramifications in teaching, reasoning, and argumentation. Analysis of the fallacy and suggestions for teaching are offered.

An informal theory is set forth of relations between abstract entities, includingcolors, physical quantities, times, andplaces in space, and the concrete things thathave them, or areat orin them, based on the assumption that there are close analogies between these relations and relations between abstractsets and the concrete things that aremembers of them. It is suggested that even standard scientific usage of these abstractions presupposes principles that are analogous to postulates of abstraction, identity, and other fundamental principles of set theory. Also (...) discussed is the significance of important disanalogies between sets and physical abstractions, including especiallymodal andtemporal aspects of physical abstractions, which is related to the problem of the characterizingconstancy, of colors, physical attributes, and locations in space. (shrink)

Szabó follows Heim in viewing familiarity, rather than uniqueness, as the essence of the definite article, but attempts to derive both familiarity and uniqueness implications pragmatically, assigning a single semantic interpretation to both the definite and indefinite articles. I argue that if there is no semantic distinction between the articles, then there is no way to derive these differences between them pragmatically.

In this introduction, I consider different problems posed by the use of singular terms in fiction (section 1), paying especial attention to proper names and, in particular, to names of real people, places, etc. As we will see (section 2), descriptivist and Millian theories of reference face different kinds of problems in explaining the use of fictional names in fiction-related contexts. Moreover, the task of advancing a uniform account of names in these contexts—an account which deals not only with fictional (...) names but also with “real” names—will prove to be very hard no matter whether we favour realist or antirealist intuitions about fictional discourse (section 3). Section 4 offers an overview of the content of this volume, with emphasis on the discussion between Manuel García-Carpintero and Stacie Friend about the meaning of “real” names in fiction-related contexts, the main topic of the Third Blasco Disputatio. (shrink)

Two kinds of individuals are distinguished: abstract and concrete. Whereas abstract individuals belong to our conceptual sphere, concrete individuals (i.e. particulars) individuate the world of matter. A subject investigating the external world projects abstract individuals onto concrete ones. The proposal offers a solution to various metaphysical and epistemological puzzles concerned with individuals, e.g., the Ship of Theseus, the Polish Logician, problems with reidentification, or proper names.

The problem of truthmakers for negative propositions was introduced by Bertrand Russell in 1918. Since then the debate has mostly been concerned with whether to accept or reject their existence, and little has been said about what it is that makes a negative proposition negative. This is a problem as it is obvious that you cannot just read it off from the grammar of a sentence. The aim of this paper is to demonstrate that propositions may be negative or positive (...) in many ways: it offers a typology, and shows how the question of the existence of negative facts will receive a different answer depending on its relationship to that typology. (shrink)

The comment addresses central issues of a "theory theory" approach as exemplified in Gopnik' and Goldman's BBS-articles. Gopnik, on the one hand, tries to demonstrate that empirical evidence from developmental psychology supports the view of a "theory theory" in which common sense beliefs are constructed to explain ourselves and others. Focusing the informational processing routes possibly involved we would like to argue that his main thesis (e.g. idea of intentionality as a cognitive construct) lacks support at least for two reasons: (...) one methodological and one structural. On the other hand, Goldman raises an important question when he is asking how people ascribe mental states to themselves. Reasons why Goldman's attempt to understand common sense mental representations by using an analogy from visual perception is problematic are discussed. The role which is attributed to a phenomenology is evaluated. (shrink)

Most contemporary philosophical discussions of intentionality start and end with a treatment of the propositional attitudes. In fact, many theorists hold that all attitudes are propositional attitudes. Our folk-psychological ascriptions suggest, however, that there are non-propositional attitudes: I like Sally, my brother fears snakes, everyone loves my grandmother, and Rush Limbaugh hates Obama. I argue that things are as they appear: there are non-propositional attitudes. More specifically, I argue that there are attitudes that relate individuals to non-propositional objects and do (...) so not in virtue of relating them to propositions. I reach this conclusion by not only showing that attempted analyses of apparently non-propositional attitudes in terms of the propositional fail, but that some non-propositional attitudes don’t even supervene on propositional attitudes. If this is correct, then the common discussions of intentionality that address only propositional attitudes are incomplete and those who hold that all intentional states are propositional are mistaken. (shrink)

This volume includes a target paper, taking up the challenge to revive, within a modern (formal) framework, a medieval solution to the Liar Paradox which did ...

Scientific discourse is rife with passages that appear to be ordinary descriptions of systems of interest in a particular discipline. Equally, the pages of textbooks and journals are filled with discussions of the properties and the behavior of those systems. Students of mechanics investigate at length the dynamical properties of a system consisting of two or three spinning spheres with homogenous mass distributions gravitationally interacting only with each other. Population biologists study the evolution of one species procreating at a constant (...) rate in an isolated ecosystem. And when studying the exchange of goods, economists consider a situation in which there are only two goods, two perfectly rational agents, no restrictions on available information, no transaction costs, no money, and dealings are done immediately. Their surface structure notwithstanding, no competent scientist would mistake descriptions of such systems as descriptions of an actual system: we know very well that there are no such systems. These descriptions are descriptions of a model-system, and scientists use model-systems to represent parts or aspects of the world they are interested in. Following common practice, I refer to those parts or aspects as target-systems. What are we to make of this? Is discourse about such models merely a picturesque and ultimately dispensable façon de parler? This was the view of some early twentieth century philosophers. Duhem (1906) famously guarded against confusing model building with scientific theorizing and argued that model building has no real place in science, beyond a minor heuristic role. The aim of science was, instead, to construct theories, with theories understood as classificatory or representative structures systematically presented and formulated in precise symbolic.. (shrink)

The period from 1900 to 1935 was particularly fruitful and important for the development of logic and logical metatheory. This survey is organized along eight "itineraries" concentrating on historically and conceptually linked strands in this development. Itinerary I deals with the evolution of conceptions of axiomatics. Itinerary II centers on the logical work of Bertrand Russell. Itinerary III presents the development of set theory from Zermelo onward. Itinerary IV discusses the contributions of the algebra of logic tradition, in particular, Löwenheim (...) and Skolem. Itinerary V surveys the work in logic connected to the Hilbert school, and itinerary V deals specifically with consistency proofs and metamathematics, including the incompleteness theorems. Itinerary VII traces the development of intuitionistic and many-valued logics. Itinerary VIII surveys the development of semantical notions from the early work on axiomatics up to Tarski's work on truth. (shrink)

This book introduces the reader to Whitehead’s complex and often misunderstood metaphysics by showing that it deals with questions about the nature of causation originally raised by the philosophy of Leibniz. Whitehead’s philosophy is an attempt at rehabilitating Leibniz’s theory of monads by recasting it in terms of novel ontological categories.

Over the past fifty years the philosophy of language and mind has been dominated by a nondescriptivist approach to content and reference. This book attempts to recast and systematize that approach by offering an indexical model in terms of mental files. According to Recanati, we refer through mental files, the function of which is to store information derived through certain types of contextual relation the subject bears to objects in his or her environment. The reference of a file is determined (...) relationally, not satisfactionally, so a file is not to be equated to the body of (mis-)information it contains. Mental files are the mental equivalent of singular terms, and the reference of linguistic expressions is inherited from that of the files we associate with them. On this approach, mental files, the vehicles of singular thought, do all the work of so-called 'modes of presentation' in Fregean and neo-Russellian theories. (shrink)

This paper challenges the first Gettier counterexample to the tripartite account of knowledge. Noting that 'the man who will get the job' is a description and invoking Donnellan's distinction between their 'referential' and 'attributive' uses, I argue that Smith does not actually believe that the man who will get the job has ten coins in his pocket. Smith's ignorance about who will get the job shows that the belief cannot be understood referentially, his ignorance of the coins in his pocket (...) shows that it cannot be understood attributively. An explanation for why Smith appeared to have justified true belief is given by distinguishing between 'belief' and 'belief in truth'. Smith believes the sentence 'the man who will get the job has ten coins in his pocket' to be true (he mistakenly believes that Jones will get the job, of whom he knows that he has ten coins in his pocket) (hence his 'belief'), the sentence is true (hence 'truth'), and he has sufficient reason to assent to it (hence his 'justification'). But he does not believe the proposition expressed. Hence he does not know it either. (shrink)

Philosophy Without Ambiguity: A Logico‐linguistic Essay. By JAY DAVID ATLAS The Limits to Debate: A Revised Theory of Semantic Presupposition. By NOEL BURTON‐ROBERTS From Reading to Neurons. By DAVID CAPLAN From Neuropsychology to Mental Structure. By TIM SHALLICE.

I argue that on very weak assumptions about truth (in particular, that there are coherent norms governing the use of "true"), there is a proposition absolutely inexpressible with conventional language, or something very close. I argue for this claim "constructively": I use a variant of the Berry Paradox to reveal a particular thought for my readership to entertain that very strongly resists conventional expression. I gauge the severity of this expressive limitation within a taxonomy of expressive failures, and argue that (...) despite its strength there is nothing incoherent about admitting its existence. The argument forms part of a project of clarifying precisely what trade-offs are required to secure the kinds of expressive power truth theorists typically want, in the process showing that the admission of very strong expressive limitations may ultimately prove to be the lesser of two evils. (shrink)

The paper introduces the “Contest Paradox”: on the one hand, rational competitors employ the most effective means to achieve the constitutive end of games - winning; On the other hand, apparently rational competitors often employ means that are sub-optimal for winning, e.g., playing beautifully or fairly. Nevertheless, the actions of such competitors are viewed as rational. Are such competitors rational? I reject the possibility of resolving the paradox by appealing to additional ends or norms to winning, such as playing sportingly. (...) Instead, I argue that the constitutive end of games is not a win simpliciter, but a type of win, such as winning-beautifully or winning-fairly. This interpretive framework is theoretically advantageous because it accounts better for the ‘unity of action’ or ‘flow’ competitors experience, better deals with various cases, and accommodates different traditions of competing. (shrink)

This study examines the concept of “description” and its theoretical foundations. The literature about it is surprisingly limited, and its usage is vague, sometimes even conflicting. Description should be considered in relation to other processes, such as representation, data capturing, and categorizing, which raises the question about what it means to describe something. Description is often used for any type of predication but may better be limited to predications based on observations. Research aims to establish criteria for making optimal descriptions; (...) however, the problems involved in describing something have seldom been addressed. Specific ideals are often followed without examine their fruitfulness. This study provides evidence that description cannot be a neutral, objective activity; rather, it is a theory-laden and interest-based activity. In information science, description occurs in processes such as document description, descriptive metadata assignment, and information resource description. In this field, description has equally been used in conflicting ways that mostly do not evince a recognition of the value- and theory-laden nature of descriptions. It is argued that descriptive activities in information science should always be based on consciously explicit considerations of the goals that descriptions are meant to serve. (shrink)

One of the divine attributes is omniscience. The standard concept of omniscience is the concept of having complete knowledge: God knows every truth. But there are also other concepts of omniscience that are consistent with having incomplete knowledge. I will propose a new concept of omniscience, namely the concept of having supreme knowledge. It is inspired by how Anselm talks about God's knowledge and it makes good sense of a key premise in an Anselmian argument for omniscience. Moreover, it can (...) be used to escape some of the set-theoretical and logical arguments against divine omniscience. (shrink)