Intermediate conclusions
Australasian Journal of Philosophy 53 (1):61 – 64 (1975)
| Abstract | A statement q is a conclusion intermediate between p and h if and only if (1) p justifies h, (2) p justifies q, and (3) (p and not-q) justifies h to a significantly lesser degree than p justifies h. I contend that Gettier-type counterexamples to definitions of factual knowledge violate the following principle: if one knows that h on the basis of p, then all the conclusions intermediate between p and h are true. This principle does not refer to anyone's beliefs that intermediate conclusions are true. I test my contention against several examples which have been discussed in the literature. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesTadeusz Prucnal (1979). On Two Problems of Harvey Friedman. Studia Logica 38 (3):247 - 262.
Larisa L. Maksimova (1979). Interpolation Properties of Superintuitionistic Logics. Studia Logica 38 (4):419 - 428.
Nick Bezhanishvili (2008). Frame Based Formulas for Intermediate Logics. Studia Logica 90 (2):139 - 159.
Nobu-Yuki Suzuki (1989). An Algebraic Approach to Intuitionistic Modal Logics in Connection with Intermediate Predicate Logics. Studia Logica 48 (2):141 - 155.
Larisa L. Maksimova (1986). On Maximal Intermediate Logics with the Disjunction Property. Studia Logica 45 (1):69 - 75.
Alessandro Avellone, Camillo Fiorentini, Paolo Mantovani & Pierangelo Miglioli (1996). On Maximal Intermediate Predicate Constructive Logics. Studia Logica 57 (2-3):373 - 408.
Jonathan P. Seldin (1986). On the Proof Theory of the Intermediate Logic MH. Journal of Symbolic Logic 51 (3):626-647.
Nobu -Yuki Suzuki (1990). Kripke Bundles for Intermediate Predicate Logics and Kripke Frames for Intuitionistic Modal Logics. Studia Logica 49 (3):289 - 306.
Wiesław Dziobiak (1982). On Finite Approximability of Ψ-Intermediate Logics. Studia Logica 41 (1):67 - 73.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads3 ( #202,107 of 550,917 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
