Guide
PH144 | Analysis of Knowledge
Wed Sep 18 2024
Justified True Belief (JTB)
JTB supposes that a subject S knows a proposition P when:
- S believes that P is true.
- P is true.
- S is justified in believing that P is true.
Are these conditions sufficient for knowledge?
def test():
print("Hello!")
The blank white screen!
haskell
renderRunProblem (TargetProblemMatchesMultiple targetSelector targets) =
"The run command is for running a single executable at once. The target '"
++ renderTargetSelector targetSelector ++ " which includes \n"
++ unlines ((\(label, xs) -> "- " ++ label ++ ": " ++ renderListPretty xs)
<$> (zip ["executables", "test-suites", "benchmarks"]
$ filter (not . null) . map removeDuplicates
$ map (componentNameRaw . availableTargetComponentName)
<$> (flip filterTargetsKind $ targets) <$> [ExeKind, TestKind, BenchKind] ))
where removeDuplicates = catMaybes . map safeHead . group . sort
Contents
More from fermicide