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)

This paper analyses two definitions of contingency. Both definitions have been widely accepted and used as to identify contingent events. One of them is primarily of a philosophical character, whereas the other is more commonly used in mathematics. Evidently, these two definitions do not describe the same set of phenomena, and neither of them determines the completely intuitive notion of contingency.Namely, carefully selected examples testify that the first definition is too narrow and the second too wide. These facts have certain (...) epistemological consequences. They must, therefore, serve as a warning for using the definitions only in a restrictive and cautious way when detecting random beliefs – those we cannot identify as knowledge. (shrink)

The JTB definition of knowledge has been shown by Gettier to be incomplete: its three conditions are necessary for knowledge, but not sufficient. We argue that the JTB definition can be completed with a very simple fourth condition, namely that the justification for the belief in p must be sufficient to exclude ¬p. It is shown that the resulting JTB+S definition solves the Gettier problem.

This chapter criticizes the standard truth–theoretic model of implicit definition whereby we stipulate that a word is to have whatever meaning will make true a certain set of sentences containing it. The alternative model proposed here is that, in such cases, the word derives its meaning from our way of using it, from our regarding those sentences as true—and so it acquires that meaning even if they are not true. It is argued, on this basis, that there is no route (...) from meanings, so constituted, to our a priori knowledge in logic, arithmetic, or geometry. (shrink)

During the last decades the question of defining life has gained increased interest but, at the same time, the difficulty in reaching consensus on a possible answer has led many to skeptical positions. This, in turn, has raised a wider debate about why defining life is so hard and controversial. Such a debate introduces additional aspects to be considered, like the role and nature of a definition of life itself. In this paper, we will focus on those aspects, arguing that (...) progress can be made if we conceive definitions of life as open heuristic tools that contribute to develop specific research strategies in the biological sciences and, more generally, to increase our understanding of life’s complexity. In contrast with pragmatic or operationalist approaches, we will defend that definitions of life comprise a set of ontological assumptions, together with an inherent unifying vocation, so they should be subject to comparison and critical assessment, closely related to the success or failure of the corresponding research programs, but also to the success or failure in establishing well-grounded interconnections among the latter. We consider that the search for a more coherent, integrated and generalized theory of biology cannot be pursued without keeping an empirical standpoint, and the exercise of defining life should not be taken as an obstacle but as a valuable instrument to achieve that goal. (shrink)

v. 1. Opponents' position (Pūrvapakṣa) -- v. 2. Pramā-lakṣaṇa-siddhānta.

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)

Two families of positions dominate debates over a metaphysically reductive analysis of knowledge. Traditionalism holds that knowledge has a complete, uniquely identifying analysis, while knowledge-first epistemology contends that knowledge is primitive—admitting of no reductive analysis whatsoever. Drawing on recent work in metaphysics, I argue that these alternatives fail to exhaust the available possibilities. Knowledge may have a merely partial analysis: a real definition that distinguishes it from some, but not all other things. I demonstrate that (...) this position is attractive; it evades concerns that its rivals face. (shrink)

Originally published in 1990. This study argues that scepticism is an intelligible view and that the issue scepticism raises is whether or not certain sceptical hypotheses are as plausible as the ordinary views we accept. It discusses psychological concepts, definitions of knowledge, belief and hypothetic inference. Starting from ‘Is skepticism a problem for epistemology’, the book takes us through the argument for the possibility of scepticism, including looking at sense data and considering memory and perception.

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)

The aim of this paper is to suggest a new interpretation to the Gettier problem by showing that the standard JTB definition of knowledge is not epistemologically incomplete, being at the same time formally incomplete. The Gettier problem is shown to emerge through the implicit self-application of the JTB definition of knowledge to prove its own incompleteness. A conclusion is drawn, which runs counter to the traditional view that the problem necessarily requires a conceptual amendment of the standard (...) defi nition, in spite of the formal incompleteness of the latter. The Gettier problem is construed to be related to the ancient Meno problem within a contemporary justifi cational discourse. (shrink)

The problem of definition of knowledge has been discussed in the tradi-tion of kalām and philosophy. Especially with the inclusion of logic definition theory in the discipline of kalām, the definitions put forward were criticized by later thinkers. Shams al-Dīn al-Samarqandī (d. 722/1322), who was included in this discussion, which was mainly shaped around the question of whether knowledge is necessary (ḍarūrī) or acquired (kasbī), wrote the ideal definition and features in al-Meārif and commentary of Avicenna’s al-Ishārāt wa (...) altanbīhāt. In addition, Shams al-Dīn al-Samarqandī examined the problem of whether knowledge can be defined and -like Fakhr al-Dīn al-Rāzī (d. 606/1210)- argued that the meaning of knowledge is very clear. In this context, Shams al-Dīn al-Samarqandī, who criticizes the definition of knowledge put forward by the Peripatetic tradition in particular Avicenna (d. 428/1037), determined the ont and non-existent definitions of knowledge and criticized them. This study deals with how the ideal definition theory, which Avicenna founded, was handled by Shams al-Dīn al-Samarqandī and the problem of definition of knowledge according to Shams al-Dīn al-Samarqandī. In addition, with this article, it has been argued that Shams al-Dīn al-Samarqandī did not define knowledge. In this direction, at the beginning of the article, the discussions on the definition of knowledge in the pre-Shams al-Dīn al-Samarqandī kalām tradition and the sides of the issue were examined. Then, in this article, in which the characteristics of the ideal definition according to Shams al-Dīn al-Samarqandī are determined, it is also examined whether he defines knowledge or not. (shrink)

In this paper an improved formulation of the classical tripartite view of knowledge is proposed and defended. This formulation solves Gettier's problem by making explicit what is concealed by the symbolic version of the tripartite definition, namely, the perspectival context in which concrete knowledge claims are evaluated.

This study discusses the treatise of Jalāl al-Dīn Davvānī (d. 908/1502) named Risāla fī taʻrīf ʻilm. This treatise criticizes a definition of knowledge adopted by some theologians in the late period (mutaʾakhkhirīn). The definition of knowledge at issue consists of three components: Attribution, discernment, no possibility of contradiction. Knowledge is an attribute as a category and with this attribution, a discernment is obtained. As a result of this process knowledge is acquired and there should be no (...) possibility of this knowledge to be inconsistent. Davvānī examines eight possibilities of the definition on knowledge. In each of these eight possibilities a different problems arises. According to Davvānī, the definition mentioned is problematic in all probability. Nonetheless, Davvānī does not propose another definition of knowledge that can replace the definition of knowledge that he criticizes. This article represents the process of reaching the definition of knowledge stated in the history of theological thought. The definitions on knowledge made from the first period (al-mutaqaddimīn) are summarized and the strengths and weaknesses of these definitions are explained. There are two main approaches regarding the nature of knowledge in Islamic thought: According to the first approach pioneered by Fakhr al-Dīn Rāzī (d. 606/1202), absolute knowledge is a priory (badīhī) and undefinable. According to the second one, the nature of absolute knowledge is a posteriori (naẓarī) and definable. The first part of this article includes the definitions and criticisms of knowledge in Islamic thought. The second part discusses the claim of originality. In the second part, Davvānī’s treatise will be evaluated for the first time. According to the conclusion of the treatise, the definition made to find the essence of knowledge is unfounded in all respect. It is important to evaluate the treatise as a reflection of anti-essentialism in the history of Islamic thought. Most contemporary studies do not count this treatise among Davvānī’s works. In the biography book al-Aʿlām written by Khayr al-Dīn al-Ziriklī (d. 1976), Risāla fī taʻrīf ʻilm is counted among the works of Davvānī. In the introduction of more than one manuscript, the work is clearly attributed to Davvānī. As a result of the double-sided research, it has been ensured that the work belongs to Davvānī. However, in other two manuscripts containing the same treatise, the work is shown as belonging to an unknown person named Şāirzāda. But there is no information found about this person. This name seems more like a copyist (mustansıh) than an author. Possibly, such a mistake occurred as a result of confusing the two names. Davvānī’s small volume treatise sheds light on the intellectual atmosphere and level of its period. The definition of knowledge mentioned in the classical theology book of ‘Aḍud al-Dīn al-Ījī (d. 756/1355) called al-Mawāqif is superior to other definitions of knowledge. Instead of this definition of knowledge, which is presented as perfect, Jurjānī (d. 816/1413) preferred the definition of knowledge attributed to al-Māturīdī (d. 333/944) in the Sharḥ al-Mawāqif. This preference has been accepted as an implicit criticism for future generations, including Davvānī. Those who claimed that Jurjānī did not taken a random choice, carried on their criticism by going over the definition. The fine craftsmanship revealed in the treatise reveals that critical thinking is used intensively. The properly understanding of the treatise depends on knowing the science of logic and following it with intense attention. The definition of knowledge is examined from various angles with the help of concepts such as conception, ratification, judgment and contradiction (nakz) of the science of logic. In the science of logic, every layer of knowledge such as certainty, conjecture, imitation, doubt is investigated one by one. In the science of kalām, attention is paid that the ideal level of knowledge is precise. An uncertain knowledge is not considered knowledge according to kalām. Because the main goal of theologians is to build religious beliefs on the obtained certain knowledge. It is not accepted to base knowledge to a probable information on imprecise knowledge. For a knowledge among the knowns to reach the level of certainty, it must be correct and exclude other possibilities. Another condition is required for certainty in the definition of knowledge that Davvānī examines in his treatise is that the opposite is wrong. The fact that a piece of information is considered true depends on the fact that its reverse is false. In this treatise, it is discussed how to look for the contradictions or discrepancy that are wanted to be excluded. Knowledge is inseparable from the human mind, from outside of the world, or from the relationship between the two. (shrink)

R.G. Collingwood defined historical knowledge as essentially ‘scientific’, and saw the historian's task as the ‘re-enactment of past thoughts’. The author argues the need to go beyond Collingwood, first by demonstrating the authenticity of available evidence, and secondly, using Namier as an example, by considering methodology as well as epistemology, and the need to relate past thoughts to their present context. The ‘law of the consumption of time’ encourages historians to focus on landmark events, theories and generalisations, thus breaking (...) from Collingwood's emphasis on fidelity to past ideas and interpreting the past from the concepts of the present. This conflict can only be reconciled by the study of historiography. (shrink)

R.G. Collingwood defined historical knowledge as essentially ‘scientific’, and saw the historian's task as the ‘re-enactment of past thoughts’. The author argues the need to go beyond Collingwood, first by demonstrating the authenticity of available evidence, and secondly, using Namier as an example, by considering methodology as well as epistemology, and the need to relate past thoughts to their present context. The ‘law of the consumption of time’ encourages historians to focus on landmark events, theories and generalisations, thus breaking (...) from Collingwood's emphasis on fidelity to past ideas and interpreting the past from the concepts of the present. This conflict can only be reconciled by the study of historiography. (shrink)

C. K. Grant; X*—On a Definition of Knowledge, Proceedings of the Aristotelian Society, Volume 73, Issue 1, 1 June 1973, Pages 157–166, https://doi.org/10.1093/a.

A common criticism of Locke’s ideational definition of knowledge is that it contradicts his accounts of knowledge’s reality and sensitive knowledge. Here it is argued that the ideational definiton of knowledge is compatible with knowledge of idea-independent reality. The key is Locke’s notion of the signification. Nominal agreements obtain if and only if the ideas’ descriptive contents are the ground for truth; real agreements obtain only if their total denotation are the grounds for truth. The (...) signification of the ideas determine whether they denote real or fantastical objects. Three types of ideas, simple quality-ideas, modal ideas, and relational ideas, necessarily signify real objects. The fourth type, the ideas of substances, are real only if those particular combinations of qualitites have been perceived to co-exist. Locke’s ideas are intrinsically either real or fantastical and thus, it is argued, his models of truth and knowledge’s reality are far from typical correspondence theories. (shrink)

This article is concerned with a discussion of the plausibility of the claim that GM technology has the potential to provide the hungry with sufficient food for subsistence. Following a brief outline of the potential applications of GM in this context, a history of the green revolution and its impact will be discussed in relation to the current developing world agriculture situation. Following a contemporary analysis of malnutrition, the claim that GM technology has the potential to provide the hungry with (...) sufficient nourishment will be discussed within the domain of moral philosophy to determine whether there exists a moral obligation to pursue this end if and only if the technology proves to be relatively safe and effective. By using Peter Singer’s duty of moral rescue, I argue that we have a moral duty to assist the third world through the distribution of such GM plants. I conclude the paper by demonstrating that my argument can be supported by applying a version of the Precautionary Principle on the grounds that doing nothing might be worse for the current situation. (shrink)

This thesis is concerned with explaining how a subject can acquire a priori knowledge of arithmetic. Every account for arithmetical, and in general mathematical knowledge faces Benacerraf's well-known challenge, i.e. how to reconcile the truths of mathematics with what can be known by ordinary human thinkers. I suggest four requirements that jointly make up this challenge and discuss and reject four distinct solutions to it. This will motivate a broadly Fregean approach to our knowledge of arithmetic and (...) mathematics in general. Pursuing this strategy appeals to the context principle which, it is proposed, underwrites a form of Platonism and explains how reference to and object-directed thought about abstract entities is, in principle, possible. I discuss this principle and defend it against different criticisms as put forth in recent literature. Moreover, I will offer a general framework for implicit definitions by means of which - without an appeal to a faculty of intuition or purely pragmatic considerations - a priori and non-inferential knowledge of basic mathematical principles can be acquired. In the course of this discussion, I will argue against various types of opposition to this general approach. Also, I will highlight crucial shortcomings in the explanation of how implicit definitions may underwrite a priori knowledge of basic principles in broadly similar conceptions. In the final part, I will offer a general account of how non-inferential mathematical knowledge resulting from implicit definitions is best conceived which avoids these shortcomings. (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.

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)

"Self-knowledge" is commonly used in philosophy to refer to knowledge of one's particular mental states, including one's beliefs, desires, and sensations. It is also sometimes used to refer to knowledge about a persisting self -- its ontological nature, identity conditions, or character traits. At least since Descartes, most philosophers have believed that self-knowledge is importantly different from knowledge of the world external to oneself, including others' thoughts. But there is little agreement about what precisely distinguishes (...) self-knowledge from knowledge in other realms. Partially because of this disagreement, philosophers have endorsed competing accounts of how we acquire self-knowledge. These accounts have important consequences for the scope of mental content, for mental ontology, and for personal identity. (shrink)

The general theme of this article is the actual practice of how definitions are justified and formulated in mathematics. The theoretical insights of this article are based on a case study of topological definitions of chaos. After introducing this case study, I identify the three kinds of justification which are important for topological definitions of chaos: natural-world-justification, condition-justification and redundancy-justification. To my knowledge, the latter two have not been identified before. I argue that these three kinds of justification are (...) widespread in mathematics. After that, I first discuss the state of the art in the literature about the justification of definitions in the light of actual mathematical practice. I then go on to criticize Lakatos’s account of proof-generated definitions—the main account in the literature on this issue—as being limited and also misguided: as for topological definitions of chaos, in nearly all mathematical fields various kinds of justification are found and are also reasonable. (shrink)