Truth, Existence and Explanation

Truth, Existence and Explanation

FilMat 2016 Studies in the Philosophy of Mathematics

;

Springer Nature Switzerland AG

12/2018

272

Mole

Inglês

9783030066437

15 a 20 dias

438

Descrição não disponível.
Part I: Truth and expressiveness.- Chapter 1. Some Remarks on True Undecidable Sentences.- Chapter 2. Penrose's New Argument and Paradox.- Chapter 3. On expressive power over arithmetic.- Chapter 4. Intensionality in Mathematics.- Chapter 5. Deflationary truth is a logical notion.- Chapter 6. Making sense of Deflationism from a formal perspective: Conservativity and Relative Interpretability.- Part II: Structures, existence, and explanation.- Chapter 7. Structure and Structures.- Chapter 8. Towards a Better Understanding of Mathematical Understanding.- Chapter 9. The explanatory power of a new proof: Henkin's completeness proof.- Chapter 10. Can proofs by mathematical induction be explanatory?.- Chapter 11. Ontological Commitment and the Import of Mathematics.- Chapter 12. Applicability Problems Generalized.- Chapter 13. Church-Turing Thesis, in Practice.- Chapter 14. Existence vs Conceivability in Aristotle: Are Straight Lines Infinitely Extendible?.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Ontology and Structures in Mathematical Theories;Explanation in Mathematics;Mathematical Truth;Indispensability Arguments;Arithmetical Systems;Mathematical explanation;classical and non-classical logics;Kreisel's Conception of Informal Rigour;Church-Turing Thesis;deflationary theories of truth