58吃瓜

Abstract:聽E-sentences (entailment-sentences) are metalinguistic sentences like , , and . This type of sentences is found at the heart of the epistemology of logic as their truth-values tell us what follows from what.聽Justification holism聽says that beliefs regarding E-sentences can only be justified in the context of a logical theory, e.g. classical, intuitionistic, paraconsistent etc. Thus,…

Abstract:聽The insight behind TSIM theory is that we should take at face value the view of belief, knowledge, (cognitive) information, but also of other notions less explored in formal logic, like imagination and mental simulation, as (propositional) representational mental states bearing intentionality, that is, being about states of affairs, issues, situations, or circumstances which make…