This is a preview. Log in through your library . Abstract We prove the following surprising property of Heyting's intuitionistic propositional calculus, IpC. Consider the collection of formulas, φ, ...

Those arguing for the existence of non-propositional content appeal to emotions for support, although there has been little engagement in those debates with developments in contemporary theory of ...