The following pages link to Verificationism then and now (Q2702584):
Displaying 7 items.
- Assertion and grounding: a theory of assertion for constructive type theory (Q408330) (← links)
- From the knowability paradox to the existence of proofs (Q625705) (← links)
- Manifestability and epistemic truth (Q2339003) (← links)
- Incompleteness, Undecidability and Automated Proofs (Q2829997) (← links)
- A Note on Gödel, Priest and Naïve Proof (Q5013617) (← links)
- Truth and Proof in Intuitionism (Q5253923) (← links)
- CATEGORICAL HARMONY AND PATH INDUCTION (Q5274880) (← links)