- Tytuł:
- All the mathematics in the world: logical validity and classical set theory
- Autorzy:
- McCarty, David Charles
- Powiązania:
- https://bibliotekanauki.pl/articles/691100.pdf
- Data publikacji:
- 2017
- Wydawca:
- Copernicus Center Press
- Tematy:
-
ustification of deduction
set validity
class validity
general validity
intuitionism
topological models - Opis:
- A recognizable topological model construction shows that any consistent principles of classical set theory, including the validity of the law of the excluded third, together with a standard class theory, do not suffice to demonstrate the general validity of the law of the excluded third. This result calls into question the classical mathematician's ability to offer solid justifications for the logical principles he or she favors.
- Źródło:
-
Zagadnienia Filozoficzne w Nauce; 2017, 63; 5-29
0867-8286
2451-0602 - Pojawia się w:
- Zagadnienia Filozoficzne w Nauce
- Dostawca treści:
- Biblioteka Nauki
Artykuł