| Título : |
Truth, Existence and Explanation : FilMat 2016 Studies in the Philosophy of Mathematics |
| Tipo de documento: |
documento electrónico |
| Autores: |
Piazza, Mario, ; Pulcini, Gabriele, |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2018 |
| Número de páginas: |
XII, 272 p. 29 ilustraciones |
| ISBN/ISSN/DL: |
978-3-319-93342-9 |
| Nota general: |
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. |
| Palabras clave: |
Matemáticas Lógica Conocimiento Teoría de Teoría de las máquinas Filosofía de las Matemáticas Epistemología Lenguajes formales y teoría de los autómatas |
| Índice Dewey: |
510.1 Filosofía y teoría de las matemáticas |
| Resumen: |
Este libro contiene más de 15 ensayos que exploran cuestiones de verdad, existencia y explicación. Presenta investigaciones de vanguardia en filosofía de las matemáticas y la lógica. Filósofos, matemáticos y académicos más jóvenes de renombre brindan una contribución reveladora al animado debate en este campo de investigación interdisciplinario. Los ensayos analizan el realismo versus el antirrealismo, así como las teorías de la verdad inflacionarias versus deflacionarias. Los contribuyentes también consideran el ficcionalismo matemático, el estructuralismo, la naturaleza y el papel de los axiomas, la existencia constructiva y la generalidad. Además, la cobertura también analiza el papel explicativo de las matemáticas y la relevancia filosófica de la explicación matemática. El libro atraerá a una amplia audiencia matemática y filosófica. Contiene trabajos de FilMat, la Red Italiana de Filosofía de las Matemáticas. Estos artículos recopilados aquí también se presentaron en su segunda conferencia internacional, celebrada en la Universidad de Chieti-Pescara en mayo de 2016. |
| Nota de contenido: |
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?. |
| En línea: |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
| Link: |
https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i |
Truth, Existence and Explanation : FilMat 2016 Studies in the Philosophy of Mathematics [documento electrónico] / Piazza, Mario, ; Pulcini, Gabriele, . - 1 ed. . - [s.l.] : Springer, 2018 . - XII, 272 p. 29 ilustraciones. ISBN : 978-3-319-93342-9 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
| Palabras clave: |
Matemáticas Lógica Conocimiento Teoría de Teoría de las máquinas Filosofía de las Matemáticas Epistemología Lenguajes formales y teoría de los autómatas |
| Índice Dewey: |
510.1 Filosofía y teoría de las matemáticas |
| Resumen: |
Este libro contiene más de 15 ensayos que exploran cuestiones de verdad, existencia y explicación. Presenta investigaciones de vanguardia en filosofía de las matemáticas y la lógica. Filósofos, matemáticos y académicos más jóvenes de renombre brindan una contribución reveladora al animado debate en este campo de investigación interdisciplinario. Los ensayos analizan el realismo versus el antirrealismo, así como las teorías de la verdad inflacionarias versus deflacionarias. Los contribuyentes también consideran el ficcionalismo matemático, el estructuralismo, la naturaleza y el papel de los axiomas, la existencia constructiva y la generalidad. Además, la cobertura también analiza el papel explicativo de las matemáticas y la relevancia filosófica de la explicación matemática. El libro atraerá a una amplia audiencia matemática y filosófica. Contiene trabajos de FilMat, la Red Italiana de Filosofía de las Matemáticas. Estos artículos recopilados aquí también se presentaron en su segunda conferencia internacional, celebrada en la Universidad de Chieti-Pescara en mayo de 2016. |
| Nota de contenido: |
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?. |
| En línea: |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
| Link: |
https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i |
|  |
Truth, Existence and Explanation
