E. Gettier. Is Justified True Belief Knowledge? Analysis, v. 23, pp. 121--123, 1963  Home/Search   Document Not in Database   Summary   Related Articles   Check

....deduced from step i Gamma 1 using one application of the applicable rules of inference. As previously stated, the agent is to have only 1 For more details on SLn theories, see [Drapkin and Perlis, 1986, Elgot Drapkin, 1988] 2 known, believed, or concluded. The distinctions between these (see [Gettier, 1963, Perlis, 1986, Perlis, 1988] are not addressed here. 3 For simplicity, in the remainder of the paper we drop the quotes around the second argument of predicates U and K j . a finite number of theorems (conclusions, beliefs, or simply wffs) at any given step. We write: i : ff i 1 : ....

E. Gettier. Is justified true belief knowledge ? Analysis, 23:121--123, 1963.

....s(t 1 ) s(t n ) 2 I(w) P ) M j= w;s :A iff M 6j= w;s A 8 Knowledge, unlike belief, involves certain non subjective criteria. One of these criteria is truth: You cannot know what is false. Another non subjective criterion is justification: Knowledge is justified, true belief (cf. [Gettier, 1963 ] Explaining the relevant sense of justification is a notoriously difficult problem. M j= w;s A B iff M j= w;s A and M j= w;s B M j= w;s (8x)A iff M j= w; s(x=d) A; for all d 2 D M j= w;s KA iff M j= w 0 ;s A; for all w 0 2 W The standard connectives ( oe, and j) and the existential ....

E. Gettier. Is justified true belief knowledge? Analysis, 23:121-- 123, 1963.

....intend, however, to eventually make broad use of a retraction mechanism to keep things to a reasonable size. Specifically, we anticipate the introduction of a notion of relevance, along the lines we pursued in our memory model. 5 We are not distinguishing here between belief and knowledge. See [9] for a discussion of belief vs. knowledge. The meta theories all are consistent, first order theories, and therefore complete with respect to standard first order semantics. However, their associated agent theories are another matter. These we do not even want in general to be consistent, for ....

....use of the turnstile here. 7 We see that the predicate letter K has two roles: in SL n and in SLn . The context will make the role clear. 8 In [5, 4] we used K(i; ff) for K(i; ff) 9 known, believed, or concluded. As already stated, we are not distinguishing between these terms. See [9, 18, 19] for a discussion of these. For time, we envision a clock which is ticking as the agent is reasoning. At each step in its reasoning, the agent looks at this clock to obtain the time. 10 The wff Now(i) is an i theorem. Now(i) corresponds intuitively to the statement The time is now i. ....

E. Gettier. Is justified true belief knowledge? Analysis, 23:121--123, 1963.

....know X a moment ago, then conclude :X . Suppose this is a belief at time i. If at time i Gamma 1, we did not have the belief X , then, using the revised notion of introspection, at time i we can negatively introspect to produce 7 We are not distinguishing here between belief and knowledge. See [23] for a discussion of belief vs. knowledge. 8 In this paper we do not address the case of ff having free variables in K(i; ff ) the belief :K(i Gamma 1; X) If we also have the belief Now(i) at time i, a suitable form of modus ponens allows us to conclude :X at time i 1. Aside from ....

....7 . Finally, we use the notation SL 7 for any of a family of step logics whose OBS and INF involve the predicates Now and K and contain a retraction mechanism. Choosing OBS and INF therefore fixes the theory within the family. 20 known, believed, or concluded. The distinctions between these (see [23, 4, 26]) will not be addressed here. to mean that ff is an i theorem, and fi is an i 1 theorem. There is no implicit assumption that ff (or any other wff other than fi) is present (or not present) at step i 1. The ellipsis simply indicates that there might be other wffs present. Wffs are not ....

E. Gettier. Is justified true belief knowledge? Analysis, 23:121--123, 1963.

....to Figure 1. Wise man #1 knows the following: a. Wise man #2 uses the rule of modus ponens. b. Wise man #2 knows at step 1 that if my card is black, then his is white. 3 For more details on SLn step logics, see [ED88] 4 known, believed, or concluded. The distinctions between these (see [Get63, Per86, Per88]) are not addressed here. 5 For simplicity, in the remainder of the paper we drop the quotes around the second argument of predicates U and K j . OBSW 2 is defined as follows. OBSW 2 (i) 8 : 8 : 8i) 8x) 8y) K ....

E. Gettier. Is justified true belief knowledge? Analysis, 23:121--123, 1963.

....1960 s saw a flourishing of interest in this area in the philosophy community. Axioms for knowledge were suggested, attacked, and defended. Models for the various axiomatizations were proposed, mainly in terms of possible worlds semantics, and then again attacked and defended (see, for example, [Gettier 1963; Lenzen 1978; Barwise and Perry 1983] More recently, reasoning about knowledge has found applications in such diverse fields as economics, linguistics, artificial intelligence, and computer science. While researchers in these areas have tended to look to philosophy for their initial ....

Gettier, E. (1963). Is justified true belief knowledge? Analysis 23, 121--123.

....Indeed, there is relatively little work on this in AI. A common philosophical slogan about knowledge being justified true belief, which can be traced back to Plato [23] has not been backed up with a formal theory, and at least for a while seemed to fall into disrepute within philosophy (cf. [30]) Within philosophy Lenzen s work [40, 41] is an exception, and within AI published material on the connection between the knowledge and belief includes Moses and Shoham s [48] Recent but as yet unpublished work by a number of researchers, all related to conditional logic, promises new insights. ....

E. L. Gettier. Is justified true belief knowledge? Analysis, 23:121--123, 1963.

....epistemic notions. 1 Introduction Formal approaches to modelling knowledge have received considerable attention in the second half of the Twentieth century. In the philosophical literature, numerous models and axiomatizations were suggested and attacked, mainly in the 1960 s and 1970 s [vW51, Hin62, Get63, Len78]. The modal logic S5, widely accepted as an appropriate characterization of necessity, has been attacked in many ways and is no longer considered by philosophers to be a good candidate for capturing knowledge. Since the 1970 s formal treatments of knowledge and belief have been pursued in other ....

E. Gettier. Is justified true belief knowledge? Analysis, 23:121--123, 1963.

....history of philosophy, from classical Greek period till today. Traditional epistemology, based on the assumption of truthfulness being the necessary characteristic of knowledge, has been arguing for knowledge as justified true belief. Even though this definition has been challenged by some [e.g. Gettier, 1963], it still remains the most believed description of knowledge. One does not reflect upon whether the above mentioned definition is a useful one, but what the argument for this definition should be built upon. This description of human knowlege is quite in harmony with the cognitivist understanding ....

Gettier, E. L. (1963). Is justified true belief knowledge?, Analysis, 23, 121-123, Blackwell.

No context found.

E. Gettier. Is Justified True Belief Knowledge? Analysis, v. 23, pp. 121--123, 1963

No context found.

Gettier, E. 1963. "Is Justified True Belief Knowledge?", Analysis 23 (6): 121123.

No context found.

Gettier, Edmund, 1963, "Is Justified True Belief Knowledge?" Analysis, 23

No context found.

Gettier, E. 1963. "Is Justified True Belief Knowledge?" Analysis 23 (6): 121123.

No context found.

E. Gettier. Is Justified True Belief Knowledge? Analysis, 23, 121--123, 1963.

No context found.

Gettier, E. (1963), "Is justified true belief knowledge?", Analysis, 6, pp. 121-123.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC