Formalizability and Knowledge Ascriptions in Mathematical Practice
We investigate the truth conditions of knowledge ascriptions for the case of mathematical knowledge. The availability of a formalizable mathematical proof appears to be a natural criterion:(*) X knows that p is true iff X has available a formalizable proof of p.Yet, formalizability plays no major ro...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | deu |
| Published: |
Éditions Kimé
2009-10-01
|
| Series: | Philosophia Scientiæ |
| Online Access: | http://journals.openedition.org/philosophiascientiae/231 |