Fitch's Paradox and the Paradox of the Knower both make use of the Factivity Principle. The latter also makes use of a second principle, namely the Knowledge-of-Factivity Principle. Both the principle of factivity and the knowledge thereof have been the subject of various discussions, often in conjunction with a third principle known as Closure. In this paper, we examine the well-known Surprise Examination paradox considering both the principles on which this paradox rests and some formal characterisations of the (...) surprise notion, crucial in this paradox. Standard formalizations of the Surprise Examination paradox in modal logic do not seem, at first glance, to depend on either factivity or knowledge-of-factivity, but we will argue that both factivity and knowledge-of-factivity play a key implicit role in the paradox. Namely, they are implicitly, perhaps unintentionally, used in order to simplify the definition of surprise. We analyze modal logical formalizations of three versions of the paradox concluding that the Surprise Examination paradox is the result of two flaws: the assumption of knowledge-of-factivity, and the over-simplification of the definition of "surprise" accordingly. By fixing these two flaws, the Surprise Examination paradox vanishes. (shrink)

In Posterior Analytics 71b9 12, we find Aristotle’s definition of scientific knowledge. The definiens is taken to have only two informative parts: scientific knowledge must be knowledge of the cause and its object must be necessary. However, there is also a contrast between the definiendum and a sophistic way of knowing, which is marked by the expression “kata sumbebekos”. Not much attention has been paid to this contrast. In this paper, I discuss Aristotle’s definition paying (...) due attention to this contrast and to the way it interacts with the two conditions presented in the definiens. I claim that the “necessity” condition ammounts to explanatory appropriateness of the cause. (shrink)

We propose that, for the purpose of studying theoretical properties of the knowledge of an agent with Artificial General Intelligence (that is, the knowledge of an AGI), a pragmatic way to define such an agent’s knowledge (restricted to the language of Epistemic Arithmetic, or EA) is as follows. We declare an AGI to know an EA-statement φ if and only if that AGI would include φ in the resulting enumeration if that AGI were commanded: “Enumerate all the (...) EA-sentences which you know.” This definition is non-circular because an AGI, being capable of practical English communication, is capable of understanding the everyday English word “know” independently of how any philosopher formally defines knowledge; we elaborate further on the non-circularity of this circular-looking definition. This elegantly solves the problem that different AGIs may have different internal knowledge definitions and yet we want to study knowledge of AGIs in general, without having to study different AGIs separately just because they have separate internal knowledge definitions. Finally, we suggest how this definition of AGI knowledge can be used as a bridge which could allow the AGI research community to import certain abstract results about mechanical knowing agents from mathematical logic. (shrink)

In this paper I will offer a novel understanding of a priori knowledge. My claim is that the sharp distinction that is usually made between a priori and a posteriori knowledge is groundless. It will be argued that a plausible understanding of a priori and a posteriori knowledge has to acknowledge that they are in a constant bootstrapping relationship. It is also crucial that we distinguish between a priori propositions that hold in the actual world and merely (...) possible, non-actual a priori propositions, as we will see when considering cases like Euclidean geometry. Furthermore, contrary to what Kripke seems to suggest, a priori knowledge is intimately connected with metaphysical modality, indeed, grounded in it. The task of a priori reasoning, according to this account, is to delimit the space of metaphysically possible worlds in order for us to be able to determine what is actual. (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)

A new definition of lying is gaining traction, according to which you lie only if you say what you know to be false. Drawing inspiration from “New Evil Demon” scenarios, I present a battery of counterexamples against this “Knowledge Account” of lying. Along the way, I comment upon the methodology of conceptual analysis, the moral implications of the Knowledge Account, and its ties with knowledge-first epistemology.

In the Essay Concerning Human Understanding, Locke insists that all knowledge consists in perception of the agreement or disagreement of ideas. However, he also insists that knowledge extends to outer reality, claiming that perception yields ‘sensitive knowledge’ of the existence of outer objects. Some scholars have argued that Locke did not really mean to restrict knowledge to perceptions of relations within the realm of ideas; others have argued that sensitive knowledge is not strictly speaking a (...) form of knowledge for Locke. This chapter argues that Locke’s conception of sensitive knowledge is in fact compatible with his official definition of knowledge, and discusses his treatment of the problem of skepticism, both in the Essay and in the correspondence with Stillingfleet. (shrink)

The purpose of this paper is to inquire into the relationship between persuasive definition and common knowledge (propositions generally accepted and not subject to dispute in a discussion). We interpret the gap between common knowledge and persuasive definition (PD) in terms of potential disagreements: PDs are conceived as implicit arguments to win a potential conflict. Persuasive definitions are analyzed as arguments instantiating two argumentation schemes, argument from classification and argument from values, and presupposing a potential disagreement. (...) The argumentative structure of PDs reveals different levels of disagreement, and different pos-sibilities of resolving the conflict or causing dialogical deadlock. (shrink)

The author argues in this paper that consciousness may never be defined or explained with entities and properties, neither with brains and neurons, nor with particles, waves, and fields. Instead, a system is proposed in this paper, with matter, energy and lives as its components, and with all its components defined as changes. The definitions or explanations of consciousness based on the systematic relationships among these components are: • Ontologically, consciousness is universal, since it may only be the systematic distinction (...) between matter and energy. • Epistemologically, consciousness is unique, since it may only be the energy qualified systematically by the matter. • Semantically, consciousness is neither the cause nor the effect of mental activities, since it may only be languages. To deny its ontology means to be a dualist. To deny its epistemology means to be a Platonist. And to deny its semantics means to be an animist or panpsychist. None of them may contribute anything to neuroscience or artificial intelligence. Compared with matter and energy, life is the more difficult part of this definition and explanation, also an indispensable part since life is the only cause or effect of matter and energy. If without life, matter and energy by themselves cannot be the explanation of agency or intentional action, nor the explanation of learning and knowledge. Moreover, a system only with matter and energy as its components is fundamentally against birth, death, development, and evolution. Neither of them may explain why everything including us and our cosmos must be created but nothing may remain forever. And the only reason why there is consciousness is that it may be the birth or death of lives. Such defined or explained consciousness might be useful for us to find a more unified framework for neuroscience, the philosophy of mind, and the studies of artificial intelligence. At least, it helps us to avoid making more useless efforts. (shrink)

Ontologies are being used increasingly to promote the reusability of scientific information by allowing heterogeneous data to be integrated under a common, normalized representation. Definitions play a central role in the use of ontologies both by humans and by computers. Textual definitions allow ontologists and data curators to understand the intended meaning of ontology terms and to use these terms in a consistent fashion across contexts. Logical definitions allow machines to check the integrity of ontologies and reason over data annotated (...) with ontology terms to make inferences that promote knowledge discovery. Therefore, it is important not only to include in ontologies multiple types of definitions in both formal and in natural languages, but also to ensure that these definitions meet good quality standards so they are useful. While tools such as Protégé can assist in creating well-formed logical definitions, producing good definitions in a natural language is still to a large extent a matter of human ingenuity supported at best by just a small number of general principles. For lack of more precise guidelines, definition authors are often left to their own personal devices. This paper aims to fill this gap by providing the ontology community with a set of principles and conventions to assist in definition writing, editing, and validation, by drawing on existing definition writing principles and guidelines in lexicography, terminology, and logic. (shrink)

This work articulates two thesis: one Socratic and one Platonic; and displays how the first one is heir of the second. The Socratic one is called the principle of priority of definition; the Platonic one is the Recollection theory. The articulation between both theses is possible due to the Meno’s paradox, which makes a criticism on the first thesis, but it is solved with the second one. The consequence of this articulation is a new interpretation of the Recollection theory, (...) as a theory of knowledge acquisition that depends, mainly, on a distinction between knowledge and true opinion. To conclude, a new interpretation of the knowledge/true opinion distinction is displayed –not in the traditional fashion, evaluating the propositions one by one, and in an atomic way–, but as big blocks or chains of propositions shaping knowledge through explanatory reasoning (aitías logismós). (shrink)

Hard to say what knowledge is. The more this concept is discussed, the more divergent opinions are. Epistemology is the theory of knowledge, and one of the characteristic questions of epistemology concerns what all the myriad kinds of knowledge we ascribe to ourselves have in common. A major distinction between different types of knowledge is descriptive, declarative, or propositional knowledge (which requires a greater degree of intellectual sophistication on the part of the knowledge seeker) (...) and knowledge or skill knowledge. For a description, statement, or assertion to be knowledge, it must be a belief, be true, and be justified. A statement of faith is an expression of belief in someone or something. Belief must be true to be knowledge. Plato, in the Gorgias, argues that faith is the most frequently invoked bearer of truth. In many of Plato's dialogues, such as the Meno and especially the Theaetetus, Socrates regards knowledge as true belief explained or defined in some way. Justification for belief involves a good reason for doing so. The definition of knowledge as justified true belief was widely accepted until 1960, when the American philosopher Edmund Gettier provoked major widespread discussion. -/- DOI: 10.13140/RG.2.2.11276.59528. (shrink)

The definitive statement of the Knowledge Argument was formulated by Frank Jackson, in a paper entitled “Epiphenomenal Qualia” that appeared in The Philosophical Quarterly in 1982. Arguments in the same spirit had appeared earlier (Broad 1925, Robinson 1982), but Jackson’s argument is most often compared with Thomas Nagel’s argument in “What is it Like to be a Bat?” (1974). Jackson, however, takes pains to distinguish his argument from Nagel’s. This entry will follow standard practice in focusing on Jackson’s argument, (...) though I will also describe the main points of alleged similarity and dissimilarity between these two arguments. (shrink)

In Boghossian's 1997 paper, 'Analyticity' he presented an account of a prioriknowledge of basic logical principles as available by inference from knowledge of their role in determining the meaning of the logical constants by implicit definitiontogether with knowledge of the meanings so-determined that we possess through ourprivileged access to meaning. Some commentators (e.g. BonJour (1998), Glüer (2003),Jenkins (2008)) have objected that if the thesis of implicit definition on which he relieswere true, knowledge of the meaning of (...) the constants would presuppose knowledge of the very logical principles knowledge of which the account purports to explain. Aconsequence would seem to be that implicit definition is incompatible with privilegedaccess. I argue that whilst it is possible for Boghossian to defend against theseobjections the form of argument he proposes does exhibit a subtle form of questionbegging such that it exhibits a transmission of warrant-failure. (shrink)

K denotes both the knowledge predicate satisfied by every currently known theorem and the finite set of all currently known theorems. The set K is time-dependent, publicly available, and contains theorems both from formal and constructive mathematics. Any theorem of any mathematician from past or present forever belongs to K. Mathematical statements with known constructive proofs exist in K separately and form the set K_c⊆K. We assume that mathematical sets are atemporal entities. They exist formally in ZFC theory although (...) their properties can be time-dependent (when they depend on K) or informal. The true statement "K is non-empty" is outside K forever because K is not a formal set. Paul Cohen proved in 1963 that the equality 2^{\aleph_0}=\aleph_1 is independent of ZFC. Before 1963, the statement "There is a known constructively defined integer n⩾1 such that 2^{\aleph_0}=\aleph_n" was outside K. Since 1963, this statement is outside K forever. The true statement "There exists a set X⊆{1,...,49} such that card(X)=6 and X never occurred as the winning six numbers in the Polish Lotto lottery" refers to the current non-mathematical knowledge and is outside K forever. In Martin-Löf's terminology, every currently known theorem is actually true whereas every theorem (known or unknown) is potentially true. Actual truth is knowledge dependent and tensed. Potential truth is knowledge independent and tenseless. Algorithms always terminate. We explain the distinction between algorithms whose existence is provable in ZFC and constructively defined algorithms which are currently known. By using this distinction, we obtain non-trivially true statements on decidable sets X⊆N that belong to constructive and informal mathematics and refer to the current mathematical knowledge on X. For every such statement, its truth concerning the current mathematical knowledge is implied by a true statement of the form: (the conjunction of i conditions of the form α∈K)∧(the conjunction of j conditions of the form β∉K)∧(the conjunction of k conditions of the form γ∈K_c)∧(the conjunction of l conditions of the form δ∉K_c), where i,j,k,l∈N and α,β,γ,δ are mathematical statements. In constructive mathematics and the traditional Brouwerian intuitionism, the truth of a mathematical statement means that we know a constructive proof. Therefore, the truth of a mathematical statement depends on time, where the statement is formally stated in the classical mathematics without the predicate K. In this article, mathematical statements on decidable sets X⊆N refer to time because they refer to the current mathematical knowledge on X. They cannot be formally stated in the classical mathematics without the predicate K and their logical values may change in time. For a set X⊆N whose infiniteness is false or unproven, we define which elements of X are classified as known. No known set X⊆N satisfies Conditions (1)-(4) and is widely known in number theory or naturally defined, where this term has only informal meaning. (1) A known algorithm with no input returns an integer n satisfying card(X)<ω ⇒ X⊆(-∞,n]. (2) A known algorithm for every k∈N decides whether or not k∈X. (3) For every known algorithm A with no input, the statement "A returns the logical value of the statement card(X)=ω" is outside K. (4) There are many elements of X and it is conjectured, though so far unproven, that X is infinite. (5) X is naturally defined. The infiniteness of X is false or unproven. X has the simplest definition among known sets Y⊆N with the same set of known elements. No set X⊆N will satisfy Conditions (1)-(4) forever, if for every algorithm with no input, at some future day, a computer will be able to execute this algorithm in 1 second or less. The physical limits of computation disprove the assumption of the above statement. We prove that the set X={n∈N: the interval [-1,n] contains more than 29.5+(11!/(3n+1))∙sin(n) primes of the form k!+1} satisfies Conditions (1)-(5) except the requirement that X is naturally defined. We present a table that shows satisfiable conjunctions of the form #(Condition1)∧(Condition 2)∧#(Condition 3)∧(Condition 4)∧#(Condition 5), where # denotes the negation ¬ or the absence of any symbol. We prove that there exists a naturally defined set C⊆N which satisfies the following conditions (6)-(11). (6) A known and simple algorithm for every k∈N decides whether or not k∈C. (7) For every known algorithm A with no input, the statement "A returns the logical value of the statement card(C)=ω" is outside K. (8) For every known algorithm A with no input, the statement "A returns the logical value of the statement card(N\C)=ω" is outside K. (9) It is conjectured, though so far unproven, that C is infinite. (10) For every known algorithm A with no input, the statement "A returns an integer n satisfying card(C)<ω ⇒ C⊆(-∞,n]" is outside K. (11) For every known algorithm A with no input, the statement "A returns an integer m satisfying card(N\C)<ω ⇒ N\C⊆(-∞,m]" is outside K. The set C={k∈N: 2^{2^k}+1 is composite} is naturally defined and satisfies conditions (6)-(11). (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)

Self-awareness represents the capacity of becoming the object of one’s own attention. In this state one actively identifies, processes, and stores information about the self. This paper surveys the self-awareness literature by emphasizing definition issues, measurement techniques, effects and functions of self-attention, and antecedents of self-awareness. Key self-related concepts (e.g., minimal, reflective consciousness) are distinguished from the central notion of self-awareness. Reviewed measures include questionnaires, implicit tasks, and self-recognition. Main effects and functions of self-attention consist in selfevaluation, escape from (...) the self, amplification of one's subjective experience, increased self-knowledge, self-regulation, and inferences about others' mental states (Theory-of-Mind). A neurocognitive and socioecological model of self-awareness is described in which the role of face-to-face interactions, reflected appraisals, mirrors, media, inner speech, imagery, autobiographical knowledge, and neurological structures is underlined. (shrink)

some thoughts about creativity and freedom of expression.

Trying to define nothingness has always been a challenge for philosophers. What exactly is it? Does it share properties similar to spaces? Can we treat it as a ''thing'' ? We can say an object is inside nothingness, but how do we imagine that ''containment'' ?

If science disputes the validity or authenticity of religious knowledge it is because both the scientist and the rational man assume that every object of knowledge there is or can be exists as a material percept in time and space. If we assume that knowledge of material objects is definite knowledge – an assumption itself suspect considering that the latest WMAP data indicates that 95.4% of the total matter in our universe is dark matter and dark (...) energy – all scientific knowledge (confined as it is to knowledge of 4.6% of the visible universe) is definite knowledge; but because it’s knowledge is confined to a miniscule fraction of all knowledge there is or can be had in our material universe, it can scarcely be said – as Sir Bertrand Russell claims – that all definite knowledge is scientific knowledge. There are other reasons why all definite knowledge is not in the domain of science. Parts of the universe are; the universe as a whole isn’t. The sentient body is; the Self that is clothed by that body isn’t. Analysis of both these wholes reveals the possibility of the existence of a third entity that is beyond scientific knowledge. This humanity calls God. A detailed investigation not conducted but outlined here reveals that (a) Russell’s claim that science holds a monopoly of definite knowledge is false: he probably meant that science has a monopoly of objectively verifiable knowledge; (b) as objective verifiability is contingent upon objectively real existence, science’s monopoly is over entities that are objectively real; (c) all objects of knowledge are not material objects in time and space: there are objects that, because they are not percepts, are not objectively verifiable. There is nothing indefinite about knowledge of such entities. There is nothing subjective about the knowledge of such entities either: so it is not open to science to dismiss knowledge of such entities as subjective, arising from the state of mind of the observer. Space and time are aspects of objective reality and not of subjective reality. The second part of this paper briefly examines the nature of dimensions. Space, time and Self consciousness are three types of dimensions considered. The third part of this paper speaks of a concept called immutable wholes. This is a logical culmination of the paper because dimensions are the state-giving norms of the wholes that these dimensions define and characterize. Spiritual seekers make these entities (sub specie aeternitatis) objects of their realization. Such entities as the Universe as a Whole, the Self, and God belong to this class of existents. If Universe as a Whole {not parts of it (study of which is in the domain of science), no matter how large those parts are, but the whole. Only a true seeker can tell science why the whole ≠ sum of all its parts – but that would be the subject of another paper}. (shrink)

In the aftermath of Gettier’s examples, knowledge came to be thought of as what you would have if in addition to a true belief and your favorite epistemic goody, such as justifiedness, you also were ungettiered, and the theory of knowledge was frequently equated, especially by its detractors, with the project of pinning down that extra bit. It would follow that knowledge contributes something distinctive that makes it indispensable in our pantheon of epistemic concepts only if avoiding (...) gettierization has a value that can be explained without presupposing the value of knowledge. Tracking-type knowledge has a value that no other logically possible conditions on true belief does. As an Evolutionarily Stable Strategy it preserves appropriate belief states through time and changing circumstances. If we characterize gettierization through the concept of relevance matching, then we see that avoiding gettierization has a value independent of that of knowledge, namely, understanding, and that it is unnecessary to add a clause to the tracking conditions to make them suppress gettierization directly, though fallibly. The bright line of value is between gettierization avoidance and understanding on the one hand and knowledge on the other, and so should be the bright line defining concepts. The concept of relevance matching is key to a definition of what it is to understand why p is true, as opposed merely to knowing that p is true. Perfect tracking implies perfect relevance matching, so knowledge and understanding are intimately connected but understanding also requires that one own states that accomplish the relevance matching rather than achieving it vicariously. The theory of understanding based on relevance matching implies that understanding requires appreciation of not only p but its connections to other matters, and explains how it is possible to know that p is true without understanding why. The view implies that understanding is literally simulation, and is suggestive about understanding other minds. (shrink)

In this paper I argue that Locke takes sensitive knowledge (i.e. knowledge from sensation) to be genuine knowledge that material objects exist. Samuel Rickless has recently argued that, for Locke, sensitive knowledge is merely an “assurance”, or a highly probable judgment that falls short of certainty. In reply, I show that Locke sometimes uses “assurance” to describe certain knowledge, and so the use of the term “assurance” to describe sensitive knowledge does not entail that (...) it is less than certain. Further, I show that sensitive knowledge includes the perception of a relation between ideas, and thus it satisfies Locke’s definition of knowledge. He also repeatedly claims that sensitive knowledge is certain. So, despite recent challenges to this interpretation raised in the secondary literature, Locke really does take sensitive knowledge to be certain knowledge. (shrink)

The standard objection to Locke’s epistemology is that his conception of knowledge inevitably leads to skepticism about external objects. One reason for this complaint is that Locke defines knowledge as the perception of a relation between ideas, but perceiving relations between ideas does not seem like the kind of thing that can give us knowledge that tables and chairs exist. Thus Locke’s general definition of knowledge seems to be woefully inadequate for explaining knowledge of (...) external objects. However, this interpretation and subsequent criticism ignore a special category of knowledge Locke calls “real knowledge”, which is Locke’s own account of how we can have knowledge of the real world. In in this paper I argue that real knowledge of substances requires that, in addition to the perception of a relation between ideas, there be a necessary connection between our ideas and the external objects they represent. It is because Locke thinks there is a necessary connection between these ideas and reality that he thinks the perception of ideas can give us knowledge of the actual world. (shrink)

This is the second in a two part series of articles that attempt to clarify the nature and enduring relevance of Kant's concept of a priori knowledge. (For Part I, see below.) In this article I focus mainly on Saul Kripke's critique of Kant, in Naming and Necessity. I argue that Kripke draws attention to a genuine defect in Kant's epistemological framework, but that he used definitions of certain key terms that were quite different from Kant's definitions. When Kripke's (...) definitions are replaced by Kant's definitions, Kripke's account of the status of naming turns out to be a defense of analytic aposteriority as a significant classification of knowledge that Kant neglected. I also introduce here a new way of understanding such epistemological labels, as defining the perspective adopted by the knowing subject in a given situation, rather than an objective characteristic of certain propositions as such. (shrink)

Here is a definition of knowledge: for you to know a proposition p is for you to have an outright belief in p that is correct precisely because it manifests the virtue of rationality. This definition resembles Ernest Sosa’s “virtue theory”, except that on this definition, the only virtue that must be manifested in all instances of knowledge is rationality, and no reductive account of rationality is attempted—rationality is assumed to be an irreducibly normative notion. (...) This definition is compatible with “internalism” about rationality, and with a form of “pragmatic encroachment” on the conditions of rational outright belief. An interpretation is given of this definition, and especially of the sense of ’because’ that it involves. On this interpretation, this definition entails that both safety and adherence are necessary conditions on knowledge; it supports a kind of contextualism about terms like ‘knowledge’; and it provides resources to defend safety, adherence, and contextualism, against some recent objections. (shrink)

This paper is a presentation and critical introduction to the monographic section “Knowledge, Memory and Perception”. Three of the papers included in this section deal with questions concerning the sources and forms of empirical knowledge. Two of them (Olga Fernández, Jordi Fernández) focus on the problem of the intentional content of perception and of episodic memory, respectively. Manuel Liz, in turn, intends to develop a stable version of direct realism about perception. Murali Ramachandran, in contrast, looks for a (...) definition of knowledge that is immune to Gettier-style counterexamples. Against Williamson, he holds this is a genuine and important problem. These contributions to the monographic section are exposed, commented, and criticized in detail. (shrink)

This paper is aimed at understanding one central aspect of Bolzano's views on deductive knowledge: what it means for a proposition and for a term to be known a priori. I argue that, for Bolzano, a priori knowledge is knowledge by virtue of meaning and that Bolzano has substantial views about meaning and what it is to know the latter. In particular, Bolzano believes that meaning is determined by implicit definition, i.e. the fundamental propositions in a (...) deductive system. I go into some detail in presenting and discussing Bolzano's views on grounding, a priori knowledge and implicit definition. I explain why other aspects of Bolzano's theory and, in particular, his peculiar understanding of analyticity and the related notion of Ableitbarkeit might, as it has invariably in the past, mislead one to believe that Bolzano lacks a significant account oï a priori knowledge. Throughout the paper, I point out to the ways in which, in this respect, Bolzano's antagonistic relationship to Kant directly shaped his own views. (shrink)

For millennia, knowledge has eluded a precise definition. The industrialization of knowledge (IoK) and the associated proliferation of the so-called knowledge communities in the last few decades caused this state of affairs to deteriorate, namely by creating a trio composed of data, knowledge, and information (DIK) that is not unlike the aporia of the trinity in philosophy. This calls for a general theory of knowledge (ToK) that can work as a foundation for a science (...) of knowledge (SoK) and additionally distinguishes knowledge from both data and information. In this paper, I attempt to sketch this generality via the establishing of both knowledge structures and knowledge systems that can then be adopted/adapted by the diverse communities for the respective knowledge technologies and practices. This is achieved by means of a formal–indeed, mathematical–approach to epistemological matters a.k.a. formal epistemology. The corresponding application focus is on knowledge systems implementable as computer programs. (shrink)

Virtue epistemologists define knowledge as true belief produced by intellectual virtue. In this paper, I review how this definition fails in three important ways. First, it fails as an account of the ordinary knowledge concept, because neither belief nor reliability is essential to knowledge ordinarily understood. Second, it fails as an account of the knowledge relation itself, insofar as that relation is operationalized in the scientific study of cognition. Third, it serves no prescriptive purpose identified (...) up till now. An alternative theory, abilism, provides a superior account of knowledge as it is ordinarily and scientifically understood. According to abilism, knowledge is an accurate representation produced by cognitive ability. (shrink)

We contend that it is possible to argue reasonably for and against arguments from classifications and definitions, provided they are seen as defeasible (subject to exceptions and critical questioning). Arguments from classification of the most common sorts are shown to be based on defeasible reasoning of various kinds represented by patterns of logical reasoning called defeasible argumentation schemes. We show how such schemes can be identified with heuristics, or short-cut solutions to a problem. We examine a variety of arguments of (...) this sort, including argument from abductive classification, argument from causal classification, argument from analogy-based classification and arguments from classification based on generalizations. (shrink)

A recursive definition of knowledge is proposed, to deal with Gettier style difficulties, and provide a framework for a variety of recursionist theories of knowledge.

Just a silly thought of where we might have come from. Furthermore, who created us? No one knows for sure, but some claim it was God. However, no one has seen God or the actual creators to the best of our knowledge. Moreover, those that claim to have seen God show us no proof. -/- One may wonder, why does God only appear to those who believe in him? What is the point of that if they already believe in (...) God? Wouldn't it be more rational for God to appear to non-believers to make them become Believers? Furthermore, they can spread the word of God and promote his existence. It is not to say that there are no creators but rather to say that God's definition may not be as accurate as we most know it. (shrink)

In discussion of the interpretation of quantum mechanics the terms ‘ontic’ and ‘epistemic’ are often used in the sense of pertaining to what exists, and pertaining to cognition or knowledge respectively. The terms are also often associated with the formal definitions given by Harrigan and Spekkens for the wavefunction in quantum mechanics to be ψ-ontic or ψ-epistemic in the context of the ontological models framework. The formal definitions are contradictories, so that the wavefunction can be either ψ-epistemic or ψ-ontic (...) but not both. However, we argue, nothing about the informal ideas of epistemic and ontic interpretations rules out wavefunctions representing both reality and knowledge. The implications of the Pusey–Barrett–Rudolph theorem and many other issues may be rethought in the light of our analysis. (shrink)

One disturbing but telling demonstration of how definitions of knowledge can go wrong is due to Hawthorne.[1] Although properly intended as an attack on Dretske’s theory of conclusive reasons, it also works against Nozick’s conditional theory. Hawthorne provides a simple example: suppose, he declaims, that salmon induces hallucinations if eaten in great amounts. Suppose that, to be more precise, were you to eat it in amounts greater than 14 pounds at one go (never mind how that is humanly possible), (...) it could cause you to believe that you’ve only had a few tidbits of the savoury fish. Then, on Dretske’s account, if P is the proposition I ate less than 1 pound of salmon, I could know P. On the other hand, let Q be the proposition I ate less than 14 pounds of salmon. Q is not knowable, because were Q to be false, I might still experience the hallucination that I’ve eaten less than a pound of salmon, and therefore I do not have conclusive reasons for Q. (shrink)

The paper surveys the currently available axiomatizations of common belief (CB) and common knowledge (CK) by means of modal propositional logics. (Throughout, knowledge- whether individual or common- is defined as true belief.) Section 1 introduces the formal method of axiomatization followed by epistemic logicians, especially the syntax-semantics distinction, and the notion of a soundness and completeness theorem. Section 2 explains the syntactical concepts, while briefly discussing their motivations. Two standard semantic constructions, Kripke structures and neighbourhood structures, are introduced (...) in Sections 3 and 4, respectively. It is recalled that Aumann's partitional model of CK is a particular case of a definition in terms of Kripke structures. The paper also restates the well-known fact that Kripke structures can be regarded as particular cases of neighbourhood structures. Section 3 reviews the soundness and completeness theorems proved w.r.t. the former structures by Fagin, Halpern, Moses and Vardi, as well as related results by Lismont. Section 4 reviews the corresponding theorems derived w.r.t. the latter structures by Lismont and Mongin. A general conclusion of the paper is that the axiomatization of CB does not require as strong systems of individual belief as was originally thought- only monotonicity has thusfar proved indispensable. Section 5 explains another consequence of general relevance: despite the "infinitary" nature of CB, the axiom systems of this paper admit of effective decision procedures, i.e., they are decidable in the logician's sense. (shrink)

This is a thesis in support of the conceptual yoking of analytic truth to a priori knowledge. My approach is a semantic one; the primary subject matter throughout the thesis is linguistic objects, such as propositions or sentences. I evaluate arguments, and also forward my own, about how such linguistic objects’ truth is determined, how their meaning is fixed and how we, respectively, know the conditions under which their truth and meaning are obtained. The strategy is to make explicit (...) what is distinctive about analytic truths. The objective is to show that truths, known a priori, are trivial in a highly circumscribed way. My arguments are premised on a language-relative account of analytic truth. The language relative account which underwrites much of what I do has two central tenets: 1. Conventionalism about truth and, 2. Non-factualism about meaning. I argue that one decisive way of establishing conventionalism and non-factualism is to prioritise epistemological questions. Once it is established that some truths are not known empirically an account of truth must follow which precludes factual truths being known non-empirically. The function of Part 1 is, chiefly, to render Carnap’s language-relative account of analytic truth. I do not offer arguments in support of Carnap at this stage, but throughout Parts 2 and 3, by looking at more current literature on a priori knowledge and analytic truth, it becomes quickly evident that I take Carnap to be correct, and why. In order to illustrate the extent to which Carnap’s account is conventionalist and non-factualist I pose his arguments against those of his predecessors, Kant and Frege. Part 1 is a lightly retrospective background to the concepts of ‘analytic’ and ‘a priori’. The strategy therein is more mercenary than exegetical: I select the parts from Kant and Frege most relevant to Carnap’s eventual reaction to them. Hereby I give the reasons why Carnap foregoes a factual and objective basis for logical truth. The upshot of this is an account of analytic truth (i.e. logical truth, to him) which ensures its trivial nature. In opposition to accounts of a priori knowledge, which describe it as knowledge gained from rational apprehension, I argue that it is either knowledge from logical deduction or knowledge of stipulations. I therefore reject, in Part 2, three epistemologies for knowing linguistic conventions (e.g. implicit definitions): 1. intuition, 2. inferential a priori knowledge and, 3. a posteriori knowledge. At base, all three epistemologies are rejected because they are incompatible with conventionalism and non-factualism. I argue this point by signalling that such accounts of knowledge yield unsubstantiated second-order claims and/or they render the relevant linguistic conventions epistemically arrogant. For a convention to be arrogant it must be stipulated to be true. The stipulation is then considered arrogant when its meaning cannot be fixed, and its truth cannot be determined without empirical ‘work’. Once a working explication of ‘a priori’ has been given, partially in Part 1 (as inferential) and then in Part 2 (as non-inferential) I look, in Part 3, at an apriorist account of analytic truth, which, I argue, renders analytic truth non-trivial. The particular subject matter here is the implicit definitions of logical terms. The opposition’s argument holds that logical truths are known a priori (this is part of their identification criteria) and that their meaning is factually based. From here it follows that analytic truth, being determined by factually based meaning, is also factual. I oppose these arguments by exposing the internal inconsistencies; that implicit definition is premised on the arbitrary stipulation of truth which is inconsistent with saying that there are facts which determine the same truth. In doing so, I endorse the standard irrealist position about implicit definition and analytic truth (along with the “early friends of implicit definition” such as Wittgenstein and Carnap). What is it that I am trying to get at by doing all of the abovementioned? Here is a very abstracted explanation. The unmitigated realism of the rationalists of old, e.g. Plato, Descartes, Kant, have stoically borne the brunt of the allegation of yielding ‘synthetic a priori’ claims. The anti-rationalist phase of this accusation I am most interested in is that forwarded by the semantically driven empiricism of the early 20th century. It is here that the charge of the ‘synthetic a priori’ really takes hold. Since then new methods and accusatory terms are employed by, chiefly, non-realist positions. I plan to give these proper attention in due course. However, it seems to me that the reframing of the debate in these new terms has also created the illusion that current philosophical realism, whether naturalistic realism, realism in science, realism in logic and mathematics, is somehow not guilty of the same epistemological and semantic charges levelled against Plato, Descartes and Kant. It is of interest to me that in, particularly, current analytic philosophy (given its rationale) realism in many areas seems to escape the accusation of yielding synthetic priori claims. Yet yielding synthetic a priori claims is something which realism so easily falls prey to. Perhaps this is a function of the fact that the phrase, ‘synthetic a priori’, used as an allegation, is now outmoded. This thesis is nothing other than an indictment of metaphysics, or speculative philosophy (this being the crime), brought against a specific selection of realist arguments. I, therefore, ask of my reader to see my explicit, and perhaps outmoded, charge of the ‘synthetic a priori’ levelled against respective theorists as an attempt to draw a direct comparison with the speculative metaphysics so many analytic philosophers now love to hate. I think the phrase ‘synthetic a priori’ still does a lot of work in this regard, precisely because so many current theorists wrongly think they are immune to this charge. Consequently, I shall say much about what is not permitted. Such is, I suppose, the nature of arguing ‘against’ something. I’ll argue that it is not permitted to be a factualist about logical principles and say that they are known a priori. I’ll argue that it is not permitted to say linguistic conventions are a posteriori, when there is a complete failure in locating such a posteriori conventions. Both such philosophical claims are candidates for the synthetic a priori, for unmitigated rationalism. But on the positive side, we now have these two assets: Firstly, I do not ask us to abandon any of the linguistic practises discussed; merely to adopt the correct attitude towards them. For instance, where we use the laws of logic, let us remember that there are no known/knowable facts about logic. These laws are therefore, to the best of our knowledge, conventions not dissimilar to the rules of a game. And, secondly, once we pass sentence on knowing, a priori, anything but trivial truths we shall have at our disposal the sharpest of philosophical tools. A tool which can only proffer a better brand of empiricism. (shrink)

With the advent of the semantic web, the problem of ambiguity is becoming more and more urging. Semantic analysis is necessary for explaining and resolving some sorts of ambiguity by inquiring into the relation between possibilities of predication and definition of a concept in order to solve problems such as interpretation and ambiguity. If computing is now approaching such problems of linguistic analysis, what is worth inquiring into is how the development of linguistic studies can be useful for developing (...) the theoretical background of ontologies. Our proposal is to develop a theory of definition alternative to the traditional metaphysical approach and the modern relativistic account. We interpret the ancient notion of essential definition in a dialectical perspective, and show how the dialectical definition by genus and difference corresponds to the semantic analysis of the definiendum. The dialectical definition is shown to be grounded on the deepest endoxa (shared knowledge) of a community, and to be the argumentatively strongest definition. After presenting the most common types of definition used in argumentation, the linguistic and logical characteristics of the notion of definition by genus and difference are set out in a pragmatic framework. (shrink)

Web 2.0 is the evolution of the Web towards greater simplicity (requiring no technical knowledge or computer for users) and interactivity (allowing everyone, individually or collectively, to contribute, share and collaborate in various forms). The term “Web 2.0" means all technical, features and uses of the World Wide Web that follow the original form of the web, especially interfaces that allow users with little technical knowledge to adopt new functionality of the web. Thus, users contribute to the exchange (...) of information and can interact (share, exchange, etc.) simply, with both the content and structure of the pages, but also between them, creating this way the social web. The user is using the tools at its disposal, as an active person on the canvas. The term “2.0" is now used as a generic term to apply the concept of Web 2.0 to other application domains. (shrink)

Gettier cases are used to show that having a justified true belief is not sufficient for knowledge. They are cases in which an epistemic agent has a belief that is both justified and true, but intuitively cannot be taken to count as knowledge. Modal epistemology is the field of philosophy that tackles questions regarding the sources of our knowledge of modalities (possibility and necessity) and what offers justification for beliefs about what is possible or necessary. Part of (...) the tradition in modal epistemology is to consider conceivability as a guide to metaphysical possibility. As such, if an agent can conceive that P, then the agent is justified to believe that P is metaphysically possible. In this paper I will discuss the possibility of constructing Gettier cases for a tripartite, conceivability-based, definition of modal knowledge. (shrink)

This paper discusses the definition and sources of knowledge according to Ibn 'Arabi, the leading Sufi master of Andalusia (Muslim Spain).

In this article I propose a new problem for the classical analysis of knowledge (as justified true belief) and all analyses belonging to its legacy. The gist of my argument is that truth as a condition for a belief to be knowledge is problematic insofar there is no definition of truth. From this, and other remarks relating to the possibility of defining truth (or lack thereof) and about what truth theories fit our thoughts about knowledge, I (...) conclude that as long as truth is unquestioningly taken as a condition of knowing, knowledge can never be defined in a way that could satisfy our intuitions about it. (shrink)

In fragment B 12 Anaxagoras asserted: ‘And [Mind] has every gnômê concerning everything and is strong to the greatest degree.’ The definitions of gnômê given in the standard Greek lexicon cover a wide range: ‘mark’, ‘token’, ‘intelligence’, ‘thought’, ‘judgment’, ‘understanding’, ‘attention’, ‘conscience’, ‘reason’, ‘will’, ‘disposition’, ‘inclination’, ‘purpose’, ‘initiative’, ‘opinion’, ‘verdict’, ‘decision’, ‘proposition’, ‘resolution’, ‘advice’, and ‘maxim’. Taking a clue from the assonance of ischei (has) with ischuei (is strong), it would be natural to take both parts of the assertion to (...) be concerned with the extent of Mind’s strength, and this would suggest the translation: ‘for it holds every decision concerning everything and (thereby) has the greatest strength’. So understood, both parts of the assertion would be reinforcing Anaxagoras’ basic claim that Mind ‘rules over’ (kratein) everything. Thus, what Anaxagoras’ cosmic nous does is provide just the kind of intelligent oversight nous typically provides in early Greek poetry and philosophy. (shrink)

The concept of knowledge can be modelled in epistemic modal logic and, if modelled by using a standard modal operator, it is subject to the problem of logical omniscience. The classical solution to this problem is to distinguish between implicit and explicit knowledge and to construe the knowledge operator as capturing the concept of implicit knowledge. In addition, since a proposition is said to be implicitly known just in case it is derivable from the set of (...) propositions that are explicitly known by using a certain set of logical rules, the concept of implicit knowledge is definable on the basis of the concept of explicit knowledge. In any case, both implicit and explicit knowledge are typically characterized as factive, i.e. such that it is always the case that what is known is also true. The aim of the present paper is twofold: first, we will develop a dynamic system of explicit intersubjective knowledge that allows us to introduce the operator of implicit knowledge by definition; secondly, we will show that it is not possible to hold together the following two theses: (1) the concept of implicit knowledge is definable along the lines indicated above and (2) the concept of implicit knowledge is factive. (shrink)

This article argues for epistemic decolonization by developing a relational model of knowledge, which we locate within indigenous knowledges. We live in a time of ongoing global, epistemic coloniality, embedded in and shaped by colonial ideas and practices. Epistemological decolonization requires taking nondominant knowledges and their epistemes seriously to open up the possibility of interrogating and dismantling the hegemony of the Western knowledge tradition. We here ask two related questions: What are the decolonial affordances of indigenous knowledges? And (...) how do these compare to other contemporary critiques of epistemic coloniality, specifically those mounted by posthumanism? In answer, we develop three definitional senses of relational with reference to indigenous knowledges. First, we define indigenous knowledges in relation to Western knowledge, with which they share a dialectical origin at the moment of colonial contact. Second, indigenous knowledges are relational in their ontological and axiological orientations. Third, relationality in indigenous knowledge suggests a trialectic space, rather than a dialectic space. We argue for the necessity of an anticolonial framework, which assigns priority to indigenous people’s perceptions and ways of knowing for theorizing recurring colonial relations and their (imperialistic) manifestations in producing and reproducing knowledge. (shrink)

For a long time philosophers have struggled to reach a definition of knowledge that is fully satisfactory from an intuitive standard. However, what could be so fuzzy about the concept of knowledge that it makes our intuitions to not obviously support a single analysis? One particular approach from a naturalistic perspective treats this question from the point of view of the psychology of concepts. According to it, this failure is explained by the structure of our folk concept (...) of knowledge, which organizes its constitutive information in a much looser way than we assume when we rely on intuitive knowledge ascriptions. I will adopt the same starting point here, but argue against the proposed answer and defend the view that this difficulty is explained not by something related to the specific structure of our concept of knowledge but, on the contrary, by its lack of structure. I claim that our folk concept of knowledge should be understood as a primitive mental state concept. (shrink)

[ES] En este breve trabajo, se presenta una edición bilingüe de Is Justified True Belief Knowledge?, de Edmund L. Gettier, donde se presentan contraejemplos a la definición de «conocimiento» como «creencia verdadera justificada». [ES] In this brief text, a bilingual edition of Is Justified True Belief Knowledge?, by Edmund L. Gettier, some counterexamples are presented to the definition of «knowledge» as «justified true belief».

Hegel's Science of Logic makes the just not low claim to be an absolute, ultimate-grounded knowledge. This project, which could not be more ambitious, has no good press in our post-metaphysical age. However: That absolute knowledge absolutely cannot exist, cannot be claimed without self-contradiction. On the other hand, there can be no doubt about the fundamental finiteness of knowledge. But can absolute knowledge be finite knowledge? This leads to the problem of a self-explication of logic (...) (in the sense of Hegel) and further, as will be shown, to a new definition of the dialectical procedure. The stringency of which results from the fact that always exactly that implicit content is explicated that was generated by the preceding explication step itself and is thus concretely comprehensible. At the same time, a new implicit content is generated by this act of explication, which requires a new explication step, and so forth. In the dialectical procedure reinterpreted in this way, dialectical arguments are not beheld, guessed at or even surreptitiously obtained, but are methodically accountable. Thereby dialectics is understood as a self-explication of logic by logical means and thus as a proof of the possibility of ultimate-grounding in the form of absolute and nevertheless finite – and thus also fallible – knowledge. (shrink)