Información de la indexación
|
|
510 Matemáticas Documentos en la biblioteca con la clasificación 510.1 (17)
Crear una solicitud de compra Refinar búsqueda
TÃtulo : Founding Mathematics on Semantic Conventions Tipo de documento: documento electrónico Autores: Hansen, Casper Storm, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XI, 256 p. ISBN/ISSN/DL: 978-3-030-88534-2 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Matemáticas Lógica matemática MetafÃsica Lengua y lenguas Análisis matemático FilosofÃa de las Matemáticas Lógica Matemática y Fundamentos FilosofÃa del lenguaje Análisis Clasificación: 510.1 Resumen: Este libro presenta una nueva filosofÃa nominalista de las matemáticas: el convencionalismo semántico. Su tesis central es que las matemáticas deben basarse en la capacidad humana de crear lenguaje y, especÃficamente, en la capacidad de instituir convenciones para las condiciones de verdad de las oraciones. Esta postura filosófica conduce a una forma alternativa de practicar las matemáticas: en lugar de "construir" objetos a partir de conjuntos, un matemático deberÃa introducir nuevos tipos de oraciones sintácticas, junto con sus condiciones de verdad, a medida que desarrolla una teorÃa. El convencionalismo semántico se justifica primero mediante la crÃtica de la teorÃa de conjuntos, el intuicionismo, el logicismo y el predicativismo de Cantoria; luego en sus propios términos; y finalmente, ejemplificado por una reconstrucción detallada del análisis aritmético y real. También se incluye una solución sencilla a la paradoja del mentiroso y otras paradojas que tradicionalmente se han reconocido como semánticas. Y dado que se sostiene que las matemáticas son semántica, esta solución también se aplica a la paradoja de Russell y a las demás paradojas matemáticas de la autorreferencia. Además de los filósofos interesados ​​en la metafÃsica y la epistemologÃa de las matemáticas o las paradojas de la autorreferencia, este libro deberÃa atraer a los matemáticos interesados ​​en enfoques alternativos. Nota de contenido: 1. Introduction -- 2. Classical Mathematics and Plenitudinous Combinatorialism -- 3 Intuitionism and Choice Sequences -- 4. From Logicism to Predicativism -- 5. Conventional Truth -- 6. Semantic Conventionalism for Mathematics -- 7. A Convention for a Type-free Language -- 8. Basic Mathematics -- 9. Real Analysis -- 10. Possibility -- References -- Index of symbols -- General index. Tipo de medio : Computadora Summary : This book presents a new nominalistic philosophy of mathematics: semantic conventionalism. Its central thesis is that mathematics should be founded on the human ability to create language – and specifically, the ability to institute conventions for the truth conditions of sentences. This philosophical stance leads to an alternative way of practicing mathematics: instead of "building" objects out of sets, a mathematician should introduce new syntactical sentence types, together with their truth conditions, as he or she develops a theory. Semantic conventionalism is justified first through criticism of Cantorian set theory, intuitionism, logicism, and predicativism; then on its own terms; and finally, exemplified by a detailed reconstruction of arithmetic and real analysis. Also included is a simple solution to the liar paradox and the other paradoxes that have traditionally been recognized as semantic. And since it is argued that mathematics is semantics, this solution also applies to Russell's paradox and the other mathematical paradoxes of self-reference. In addition to philosophers who care about the metaphysics and epistemology of mathematics or the paradoxes of self-reference, this book should appeal to mathematicians interested in alternative approaches. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Founding Mathematics on Semantic Conventions [documento electrónico] / Hansen, Casper Storm, . - 1 ed. . - [s.l.] : Springer, 2021 . - XI, 256 p.
ISBN : 978-3-030-88534-2
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Matemáticas Lógica matemática MetafÃsica Lengua y lenguas Análisis matemático FilosofÃa de las Matemáticas Lógica Matemática y Fundamentos FilosofÃa del lenguaje Análisis Clasificación: 510.1 Resumen: Este libro presenta una nueva filosofÃa nominalista de las matemáticas: el convencionalismo semántico. Su tesis central es que las matemáticas deben basarse en la capacidad humana de crear lenguaje y, especÃficamente, en la capacidad de instituir convenciones para las condiciones de verdad de las oraciones. Esta postura filosófica conduce a una forma alternativa de practicar las matemáticas: en lugar de "construir" objetos a partir de conjuntos, un matemático deberÃa introducir nuevos tipos de oraciones sintácticas, junto con sus condiciones de verdad, a medida que desarrolla una teorÃa. El convencionalismo semántico se justifica primero mediante la crÃtica de la teorÃa de conjuntos, el intuicionismo, el logicismo y el predicativismo de Cantoria; luego en sus propios términos; y finalmente, ejemplificado por una reconstrucción detallada del análisis aritmético y real. También se incluye una solución sencilla a la paradoja del mentiroso y otras paradojas que tradicionalmente se han reconocido como semánticas. Y dado que se sostiene que las matemáticas son semántica, esta solución también se aplica a la paradoja de Russell y a las demás paradojas matemáticas de la autorreferencia. Además de los filósofos interesados ​​en la metafÃsica y la epistemologÃa de las matemáticas o las paradojas de la autorreferencia, este libro deberÃa atraer a los matemáticos interesados ​​en enfoques alternativos. Nota de contenido: 1. Introduction -- 2. Classical Mathematics and Plenitudinous Combinatorialism -- 3 Intuitionism and Choice Sequences -- 4. From Logicism to Predicativism -- 5. Conventional Truth -- 6. Semantic Conventionalism for Mathematics -- 7. A Convention for a Type-free Language -- 8. Basic Mathematics -- 9. Real Analysis -- 10. Possibility -- References -- Index of symbols -- General index. Tipo de medio : Computadora Summary : This book presents a new nominalistic philosophy of mathematics: semantic conventionalism. Its central thesis is that mathematics should be founded on the human ability to create language – and specifically, the ability to institute conventions for the truth conditions of sentences. This philosophical stance leads to an alternative way of practicing mathematics: instead of "building" objects out of sets, a mathematician should introduce new syntactical sentence types, together with their truth conditions, as he or she develops a theory. Semantic conventionalism is justified first through criticism of Cantorian set theory, intuitionism, logicism, and predicativism; then on its own terms; and finally, exemplified by a detailed reconstruction of arithmetic and real analysis. Also included is a simple solution to the liar paradox and the other paradoxes that have traditionally been recognized as semantic. And since it is argued that mathematics is semantics, this solution also applies to Russell's paradox and the other mathematical paradoxes of self-reference. In addition to philosophers who care about the metaphysics and epistemology of mathematics or the paradoxes of self-reference, this book should appeal to mathematicians interested in alternative approaches. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Intuitionistic Proof Versus Classical Truth : The Role of Brouwer's Creative Subject in Intuitionistic Mathematics Tipo de documento: documento electrónico Autores: Martino, Enrico, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XIII, 170 p. 1 ilustraciones ISBN/ISSN/DL: 978-3-319-74357-8 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Matemáticas FilosofÃa Lógica matemática Philology TeorÃa de las máquinas Lógica FilosofÃa de las Matemáticas Lógica Matemática y Fundamentos Lenguajes formales y teorÃa de los autómatas Clasificación: 510.1 Resumen: Este libro examina el papel de los actos de elección en las matemáticas clásicas e intuicionistas. Con quince artÃculos, tanto nuevos como publicados anteriormente, ofrece un nuevo análisis de conceptos desarrollados por el matemático y filósofo LEJ Brouwer, el fundador del intuicionismo. El autor explora la idealización que hace Brouwer del sujeto creativo como base de la verdad intuicionista y, en el proceso, también analiza una cuestión importante y relacionada: ¿hasta qué punto la perspectiva intuicionista logra evitar la noción realista clásica de verdad? Los artÃculos detallan aspectos realistas en la idealización del sujeto creativo e investigan el papel oculto de la elección incluso en la lógica y las matemáticas clásicas, cubriendo temas como el teorema de la barra, la teorÃa de tipos, la evidencia inductiva, los modelos de Beth, los modelos falibles y más. Además, el autor ofrece un análisis crÃtico de la respuesta de matemáticos y filósofos clave al trabajo de Brouwer. Estas figuras incluyen a Michael Dummett, Saul Kripke, Per Martin-Löf y Arend Heyting. Este libro atrae a investigadores y estudiantes de posgrado interesados ​​en la filosofÃa de las matemáticas, la lingüÃstica y las matemáticas. Nota de contenido: Brouwer, Dummett and the bar theorem -- Creative subject and bar theorem -- Natural intuitionistic semantics and generalized Beth semantics -- Connection between the principle of inductive evidence and the bar theorem -- On the Brouwerian concept of negative continuity -- Classical and intuitionistic semantical groundedness -- Brouwer's equivalence between virtual and inextensible order -- An intuitionistic notion of hypothetical truth for which strong completeness intuitionistically holds -- Propositions and judgements in Martin-Löf -- Negationless Intuitionism -- Temporal and atemporal truth in intuitionistic mathematics -- Arbitrary reference in mathematical reasoning -- The priority of arithmetical truth over arithmetical provability -- The impredicativity of the intuitionistic meaning of logical constants -- The intuitionistic meaning of logical constants and fallible models. Tipo de medio : Computadora Summary : This book examines the role of acts of choice in classical and intuitionistic mathematics. Featuring fifteen papers – both new and previously published – it offers a fresh analysis of concepts developed by the mathematician and philosopher L.E.J. Brouwer, the founder of intuitionism. The author explores Brouwer's idealization of the creative subject as the basis for intuitionistic truth, and in the process he also discusses an important, related question: to what extent does the intuitionistic perspective succeed in avoiding the classical realistic notion of truth? The papers detail realistic aspects in the idealization of the creative subject and investigate the hidden role of choice even in classical logic and mathematics, covering such topics as bar theorem, type theory, inductive evidence, Beth models, fallible models, and more. In addition, the author offers a critical analysis of the response of key mathematicians and philosophers to Brouwer's work. These figures includeMichael Dummett, Saul Kripke, Per Martin-Löf, and Arend Heyting. This book appeals to researchers and graduate students with an interest in philosophy of mathematics, linguistics, and mathematics. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Intuitionistic Proof Versus Classical Truth : The Role of Brouwer's Creative Subject in Intuitionistic Mathematics [documento electrónico] / Martino, Enrico, . - 1 ed. . - [s.l.] : Springer, 2018 . - XIII, 170 p. 1 ilustraciones.
ISBN : 978-3-319-74357-8
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Matemáticas FilosofÃa Lógica matemática Philology TeorÃa de las máquinas Lógica FilosofÃa de las Matemáticas Lógica Matemática y Fundamentos Lenguajes formales y teorÃa de los autómatas Clasificación: 510.1 Resumen: Este libro examina el papel de los actos de elección en las matemáticas clásicas e intuicionistas. Con quince artÃculos, tanto nuevos como publicados anteriormente, ofrece un nuevo análisis de conceptos desarrollados por el matemático y filósofo LEJ Brouwer, el fundador del intuicionismo. El autor explora la idealización que hace Brouwer del sujeto creativo como base de la verdad intuicionista y, en el proceso, también analiza una cuestión importante y relacionada: ¿hasta qué punto la perspectiva intuicionista logra evitar la noción realista clásica de verdad? Los artÃculos detallan aspectos realistas en la idealización del sujeto creativo e investigan el papel oculto de la elección incluso en la lógica y las matemáticas clásicas, cubriendo temas como el teorema de la barra, la teorÃa de tipos, la evidencia inductiva, los modelos de Beth, los modelos falibles y más. Además, el autor ofrece un análisis crÃtico de la respuesta de matemáticos y filósofos clave al trabajo de Brouwer. Estas figuras incluyen a Michael Dummett, Saul Kripke, Per Martin-Löf y Arend Heyting. Este libro atrae a investigadores y estudiantes de posgrado interesados ​​en la filosofÃa de las matemáticas, la lingüÃstica y las matemáticas. Nota de contenido: Brouwer, Dummett and the bar theorem -- Creative subject and bar theorem -- Natural intuitionistic semantics and generalized Beth semantics -- Connection between the principle of inductive evidence and the bar theorem -- On the Brouwerian concept of negative continuity -- Classical and intuitionistic semantical groundedness -- Brouwer's equivalence between virtual and inextensible order -- An intuitionistic notion of hypothetical truth for which strong completeness intuitionistically holds -- Propositions and judgements in Martin-Löf -- Negationless Intuitionism -- Temporal and atemporal truth in intuitionistic mathematics -- Arbitrary reference in mathematical reasoning -- The priority of arithmetical truth over arithmetical provability -- The impredicativity of the intuitionistic meaning of logical constants -- The intuitionistic meaning of logical constants and fallible models. Tipo de medio : Computadora Summary : This book examines the role of acts of choice in classical and intuitionistic mathematics. Featuring fifteen papers – both new and previously published – it offers a fresh analysis of concepts developed by the mathematician and philosopher L.E.J. Brouwer, the founder of intuitionism. The author explores Brouwer's idealization of the creative subject as the basis for intuitionistic truth, and in the process he also discusses an important, related question: to what extent does the intuitionistic perspective succeed in avoiding the classical realistic notion of truth? The papers detail realistic aspects in the idealization of the creative subject and investigate the hidden role of choice even in classical logic and mathematics, covering such topics as bar theorem, type theory, inductive evidence, Beth models, fallible models, and more. In addition, the author offers a critical analysis of the response of key mathematicians and philosophers to Brouwer's work. These figures includeMichael Dummett, Saul Kripke, Per Martin-Löf, and Arend Heyting. This book appeals to researchers and graduate students with an interest in philosophy of mathematics, linguistics, and mathematics. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Luck Theory : A Philosophical Introduction to the Mathematics of Luck Tipo de documento: documento electrónico Autores: Rescher, Nicholas, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XXXIII, 90 p. 56 ilustraciones ISBN/ISSN/DL: 978-3-030-63780-4 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Matemáticas TeorÃa de juego FilosofÃa de las Matemáticas Clasificación: 510.1 Resumen: Este libro es un original estudio de las matemáticas de la suerte. Partiendo del principio de que la suerte puede medirse por la diferencia entre las expectativas razonables y su realización final, el libro desarrolla paso a paso una teorÃa matemática que se adapta a toda la gama de nuestra comprensión presistemática de la forma en que la suerte funciona en los asuntos humanos. Al pasar de la exposición explicativa al tratamiento matemático, el libro proporciona una explicación clara y accesible de la forma en que la evaluación de la suerte entra en los cálculos de la teorÃa de la decisión racional. Nota de contenido: 1. Chancy Outcome Situation -- 2. Outcome Luck Assessment and the Luck Equation -- 3. Variant Approaches to Luck -- 4. Some Illustrative Examples -- 5. Luck in Success/Failure Situations -- 6. Basic Luck Theorems -- 7. Luck and Risk -- 8. Managing Luck. Tipo de medio : Computadora Summary : This book is an original—the first-ever treatment of the mathematics of Luck. Setting out from the principle that luck can be measured by the gap between reasonable expectation and eventual realization, the book develops step-by-step a mathematical theory that accommodates the entire range of our pre-systematic understanding of the way in which luck functions in human affairs. In so moving from explanatory exposition to mathematical treatment, the book provides a clear and accessible account of the way in which luck assessment enters into the calculations of rational decision theory. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Luck Theory : A Philosophical Introduction to the Mathematics of Luck [documento electrónico] / Rescher, Nicholas, . - 1 ed. . - [s.l.] : Springer, 2021 . - XXXIII, 90 p. 56 ilustraciones.
ISBN : 978-3-030-63780-4
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Matemáticas TeorÃa de juego FilosofÃa de las Matemáticas Clasificación: 510.1 Resumen: Este libro es un original estudio de las matemáticas de la suerte. Partiendo del principio de que la suerte puede medirse por la diferencia entre las expectativas razonables y su realización final, el libro desarrolla paso a paso una teorÃa matemática que se adapta a toda la gama de nuestra comprensión presistemática de la forma en que la suerte funciona en los asuntos humanos. Al pasar de la exposición explicativa al tratamiento matemático, el libro proporciona una explicación clara y accesible de la forma en que la evaluación de la suerte entra en los cálculos de la teorÃa de la decisión racional. Nota de contenido: 1. Chancy Outcome Situation -- 2. Outcome Luck Assessment and the Luck Equation -- 3. Variant Approaches to Luck -- 4. Some Illustrative Examples -- 5. Luck in Success/Failure Situations -- 6. Basic Luck Theorems -- 7. Luck and Risk -- 8. Managing Luck. Tipo de medio : Computadora Summary : This book is an original—the first-ever treatment of the mathematics of Luck. Setting out from the principle that luck can be measured by the gap between reasonable expectation and eventual realization, the book develops step-by-step a mathematical theory that accommodates the entire range of our pre-systematic understanding of the way in which luck functions in human affairs. In so moving from explanatory exposition to mathematical treatment, the book provides a clear and accessible account of the way in which luck assessment enters into the calculations of rational decision theory. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Making it Formally Explicit : Probability, Causality and Indeterminism Tipo de documento: documento electrónico Autores: Hofer-Szabó, Gábor, ; WroÅ„ski, Leszek, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XIV, 242 p. 15 ilustraciones ISBN/ISSN/DL: 978-3-319-55486-0 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Matemáticas FÃsica cuántica Probabilidades Mecánica Conocimiento TeorÃa de FilosofÃa de las Matemáticas TeorÃa de probabilidad Mecanica clasica EpistemologÃa Clasificación: 510.1 Resumen: Este libro recopila artÃculos de investigación sobre los fundamentos filosóficos de la probabilidad, la causalidad, el espacio-tiempo y la teorÃa cuántica. Los artÃculos están relacionados con charlas presentadas en seis talleres posteriores organizados por el Grupo de Investigación Budapest-Cracovia sobre Probabilidad, Causalidad y Determinismo. La cobertura consta de tres partes. La Parte I se centra en la noción de probabilidad desde una perspectiva epistemológica formal y filosófica general. La Parte II aplica consideraciones probabilÃsticas para abordar cuestiones causales en los fundamentos de la mecánica cuántica. La Parte III investiga la cuestión del indeterminismo en las teorÃas del espacio-tiempo. También explora algunas cuestiones relacionadas, como la decidibilidad y la observación. Los autores que contribuyen son todos filósofos de la ciencia con una sólida formación en matemáticas o fÃsica. Creen que prestar atención a los detalles formales más finos a menudo ayuda a evitar trampas que exacerban los problemas filosóficos que están en el centro de atención de la investigación contemporánea. Los artÃculos presentados aquà ayudan a hacer explÃcitos los supuestos matemático-estructurales que subyacen a las argumentaciones filosóficas clave. Este enfoque formalmente riguroso y conceptualmente preciso atraerá tanto a investigadores y filósofos como a matemáticos y estadÃsticos. Nota de contenido: Part I. Probability and chance-credence norms -- Chapter 1. Can Bayesian agents always be rational? A principled analysis of consistency of an Abstract Principal Principle (Miklós Rédei and Zalán Gyenis) -- Chapter 2. Does the Principal Principle imply the Principle of Indifference? (Balázs Gyenis and Leszek WroÅ„ski) -- Chapter 3. A Mathematical Approach to Lewis' Principal Principle - An Analysis through Examples (Gergei Bana) -- Chapter 4. Three methods for solving the problem of inconsistent marginals in data integration (Christian Wallmann and Jon Williamson) -- Part II. Structures for quantum experiments -- Chapter 5. Separate common causes and EPR correlations – an ``almost no-go'' result (Tomasz Placek, Leszek WroÅ„ski and MichaÅ‚ Tomasz Godziszewski) -- Chapter 6. On quantum nonlocal correlations and probability spaces used to model them (Márton Gömöri and Tomasz Placek) -- Chapter 7. Reichenbachian common cause systems of size 3 in general probability theories (Yuichiro Kitajima) -- Chapter 8. Two Sources of Non-locality in Quantum Mechanics? (Iñaki San Pedro) -- Part III. Indeterminism, Undecidability, and Macrostates -- Chapter 9. On the semantics of spacetime theories (László E. Szabó) -- Chapter 10. Indeterminism, Gravitation, and Spacetime Theory (Samuel C. Fletcher) -- Chapter 11. Extendible maximal globally hyperbolic spacetimes in classical general relativity: a philosophical survey (Juliusz Doboszewski) -- Chapter 12. On the emergence of macrostates (Márton Gömöri, Balázs Gyenis, Gábor Hofer-Szabó) -- Chapter 13. Experimental Logics as a Model of Development of Deductive Science and Computational Properties of Undecidable Sentences (MichaÅ‚ Tomasz Godziszewski). Tipo de medio : Computadora Summary : This book collects research papers on the philosophical foundations of probability, causality, spacetime and quantum theory. The papers are related to talks presented in six subsequent workshops organized by The Budapest-Kraków Research Group on Probability, Causality and Determinism. Coverage consists of three parts. Part I focuses on the notion of probability from a general philosophical and formal epistemological perspective. Part II applies probabilistic considerations to address causal questions in the foundations of quantum mechanics. Part III investigates the question of indeterminism in spacetime theories. It also explores some related questions, such as decidability and observation. The contributing authors are all philosophers of science with a strong background in mathematics or physics. They believe that paying attention to the finer formal details often helps avoiding pitfalls that exacerbate the philosophical problems that are in the center of focus of contemporary research. The papers presented here help make explicit the mathematical-structural assumptions that underlie key philosophical argumentations. This formally rigorous and conceptually precise approach will appeal to researchers and philosophers as well as mathematicians and statisticians. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Making it Formally Explicit : Probability, Causality and Indeterminism [documento electrónico] / Hofer-Szabó, Gábor, ; WroÅ„ski, Leszek, . - 1 ed. . - [s.l.] : Springer, 2017 . - XIV, 242 p. 15 ilustraciones.
ISBN : 978-3-319-55486-0
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Matemáticas FÃsica cuántica Probabilidades Mecánica Conocimiento TeorÃa de FilosofÃa de las Matemáticas TeorÃa de probabilidad Mecanica clasica EpistemologÃa Clasificación: 510.1 Resumen: Este libro recopila artÃculos de investigación sobre los fundamentos filosóficos de la probabilidad, la causalidad, el espacio-tiempo y la teorÃa cuántica. Los artÃculos están relacionados con charlas presentadas en seis talleres posteriores organizados por el Grupo de Investigación Budapest-Cracovia sobre Probabilidad, Causalidad y Determinismo. La cobertura consta de tres partes. La Parte I se centra en la noción de probabilidad desde una perspectiva epistemológica formal y filosófica general. La Parte II aplica consideraciones probabilÃsticas para abordar cuestiones causales en los fundamentos de la mecánica cuántica. La Parte III investiga la cuestión del indeterminismo en las teorÃas del espacio-tiempo. También explora algunas cuestiones relacionadas, como la decidibilidad y la observación. Los autores que contribuyen son todos filósofos de la ciencia con una sólida formación en matemáticas o fÃsica. Creen que prestar atención a los detalles formales más finos a menudo ayuda a evitar trampas que exacerban los problemas filosóficos que están en el centro de atención de la investigación contemporánea. Los artÃculos presentados aquà ayudan a hacer explÃcitos los supuestos matemático-estructurales que subyacen a las argumentaciones filosóficas clave. Este enfoque formalmente riguroso y conceptualmente preciso atraerá tanto a investigadores y filósofos como a matemáticos y estadÃsticos. Nota de contenido: Part I. Probability and chance-credence norms -- Chapter 1. Can Bayesian agents always be rational? A principled analysis of consistency of an Abstract Principal Principle (Miklós Rédei and Zalán Gyenis) -- Chapter 2. Does the Principal Principle imply the Principle of Indifference? (Balázs Gyenis and Leszek WroÅ„ski) -- Chapter 3. A Mathematical Approach to Lewis' Principal Principle - An Analysis through Examples (Gergei Bana) -- Chapter 4. Three methods for solving the problem of inconsistent marginals in data integration (Christian Wallmann and Jon Williamson) -- Part II. Structures for quantum experiments -- Chapter 5. Separate common causes and EPR correlations – an ``almost no-go'' result (Tomasz Placek, Leszek WroÅ„ski and MichaÅ‚ Tomasz Godziszewski) -- Chapter 6. On quantum nonlocal correlations and probability spaces used to model them (Márton Gömöri and Tomasz Placek) -- Chapter 7. Reichenbachian common cause systems of size 3 in general probability theories (Yuichiro Kitajima) -- Chapter 8. Two Sources of Non-locality in Quantum Mechanics? (Iñaki San Pedro) -- Part III. Indeterminism, Undecidability, and Macrostates -- Chapter 9. On the semantics of spacetime theories (László E. Szabó) -- Chapter 10. Indeterminism, Gravitation, and Spacetime Theory (Samuel C. Fletcher) -- Chapter 11. Extendible maximal globally hyperbolic spacetimes in classical general relativity: a philosophical survey (Juliusz Doboszewski) -- Chapter 12. On the emergence of macrostates (Márton Gömöri, Balázs Gyenis, Gábor Hofer-Szabó) -- Chapter 13. Experimental Logics as a Model of Development of Deductive Science and Computational Properties of Undecidable Sentences (MichaÅ‚ Tomasz Godziszewski). Tipo de medio : Computadora Summary : This book collects research papers on the philosophical foundations of probability, causality, spacetime and quantum theory. The papers are related to talks presented in six subsequent workshops organized by The Budapest-Kraków Research Group on Probability, Causality and Determinism. Coverage consists of three parts. Part I focuses on the notion of probability from a general philosophical and formal epistemological perspective. Part II applies probabilistic considerations to address causal questions in the foundations of quantum mechanics. Part III investigates the question of indeterminism in spacetime theories. It also explores some related questions, such as decidability and observation. The contributing authors are all philosophers of science with a strong background in mathematics or physics. They believe that paying attention to the finer formal details often helps avoiding pitfalls that exacerbate the philosophical problems that are in the center of focus of contemporary research. The papers presented here help make explicit the mathematical-structural assumptions that underlie key philosophical argumentations. This formally rigorous and conceptually precise approach will appeal to researchers and philosophers as well as mathematicians and statisticians. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Mathematical Logic : On Numbers, Sets, Structures, and Symmetry Tipo de documento: documento electrónico Autores: Kossak, Roman, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XIII, 186 p. 28 ilustraciones ISBN/ISSN/DL: 978-3-319-97298-5 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Matemáticas Lógica matemática Unidades aritméticas y lógicas informáticas. Lógica FilosofÃa de las Matemáticas Lógica Matemática y Fundamentos Estructuras aritméticas y lógicas Aplicaciones de las matemáticas Clasificación: 510.1 Resumen: Este libro, presentado en dos partes, ofrece una introducción lenta a la lógica matemática y a varios conceptos básicos de la teorÃa de modelos, como la definibilidad de primer orden, los tipos, las simetrÃas y las extensiones elementales. Su primera parte, Conjuntos lógicos y números, muestra cómo se utiliza la lógica matemática para desarrollar las estructuras numéricas de las matemáticas clásicas. La exposición no supone ningún prerrequisito; es rigurosa, pero lo más informal posible. Todos los conceptos necesarios se introducen exactamente como se harÃa en un curso de lógica matemática; pero se acompañan de comentarios introductorios más extensos y ejemplos para motivar los desarrollos formales. La segunda parte, Relaciones, estructuras, geometrÃa, introduce varios conceptos básicos de la teorÃa de modelos, como la definibilidad de primer orden, los tipos, las simetrÃas y las extensiones elementales, y muestra cómo se utilizan para estudiar y clasificar las estructuras matemáticas. Aunque más avanzada, esta segunda parte es accesible para el lector que ya está familiarizado con la lógica matemática básica o que ha leÃdo atentamente la primera parte del libro. Se discuten los desarrollos clásicos en la teorÃa de modelos, incluido el teorema de compacidad y sus usos. Otros temas incluyen la docilidad, la minimalidad y la minimalidad de orden de las estructuras. El libro puede utilizarse como introducción a la teorÃa de modelos, pero a diferencia de los textos estándar, no requiere familiaridad con el álgebra abstracta. Este libro también será de interés para los matemáticos que conocen los aspectos técnicos del tema, pero no están familiarizados con su historia y antecedentes filosóficos. Nota de contenido: Chapter1. Mathematical Logic -- Chapter2. Logical Seeing -- Chapter3. What is a Number? -- Chapter4. Number Structures -- Chapter5. Points, Lines -- Chapter6. Set Theory -- Chapter7. Relations -- Chapter8. Definable Elements and Constants -- Chapter9. Minimal and Order-Minimal Structures -- Chapter10. Geometry of Definable Sets -- Chapter11. Where Do Structures Come From? -- Chapter12. Elementary Extensions and Symmetries -- Chapter13. Tame vs. Wild -- Chapter14. First-order Properties -- Chapter15. Symmetries and Logical Visibility One More Time. . Tipo de medio : Computadora Summary : This book, presented in two parts, offers a slow introduction to mathematical logic, and several basic concepts of model theory, such as first-order definability, types, symmetries, and elementary extensions. Its first part, Logic Sets, and Numbers, shows how mathematical logic is used to develop the number structures of classical mathematics. The exposition does not assume any prerequisites; it is rigorous, but as informal as possible. All necessary concepts are introduced exactly as they would be in a course in mathematical logic; but are accompanied by more extensive introductory remarks and examples to motivate formal developments. The second part, Relations, Structures, Geometry, introduces several basic concepts of model theory, such as first-order definability, types, symmetries, and elementary extensions, and shows how they are used to study and classify mathematical structures. Although more advanced, this second part is accessible to the reader who is either already familiar with basic mathematical logic, or has carefully read the first part of the book. Classical developments in model theory, including the Compactness Theorem and its uses, are discussed. Other topics include tameness, minimality, and order minimality of structures. The book can be used as an introduction to model theory, but unlike standard texts, it does not require familiarity with abstract algebra. This book will also be of interest to mathematicians who know the technical aspects of the subject, but are not familiar with its history and philosophical background. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Mathematical Logic : On Numbers, Sets, Structures, and Symmetry [documento electrónico] / Kossak, Roman, . - 1 ed. . - [s.l.] : Springer, 2018 . - XIII, 186 p. 28 ilustraciones.
ISBN : 978-3-319-97298-5
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Matemáticas Lógica matemática Unidades aritméticas y lógicas informáticas. Lógica FilosofÃa de las Matemáticas Lógica Matemática y Fundamentos Estructuras aritméticas y lógicas Aplicaciones de las matemáticas Clasificación: 510.1 Resumen: Este libro, presentado en dos partes, ofrece una introducción lenta a la lógica matemática y a varios conceptos básicos de la teorÃa de modelos, como la definibilidad de primer orden, los tipos, las simetrÃas y las extensiones elementales. Su primera parte, Conjuntos lógicos y números, muestra cómo se utiliza la lógica matemática para desarrollar las estructuras numéricas de las matemáticas clásicas. La exposición no supone ningún prerrequisito; es rigurosa, pero lo más informal posible. Todos los conceptos necesarios se introducen exactamente como se harÃa en un curso de lógica matemática; pero se acompañan de comentarios introductorios más extensos y ejemplos para motivar los desarrollos formales. La segunda parte, Relaciones, estructuras, geometrÃa, introduce varios conceptos básicos de la teorÃa de modelos, como la definibilidad de primer orden, los tipos, las simetrÃas y las extensiones elementales, y muestra cómo se utilizan para estudiar y clasificar las estructuras matemáticas. Aunque más avanzada, esta segunda parte es accesible para el lector que ya está familiarizado con la lógica matemática básica o que ha leÃdo atentamente la primera parte del libro. Se discuten los desarrollos clásicos en la teorÃa de modelos, incluido el teorema de compacidad y sus usos. Otros temas incluyen la docilidad, la minimalidad y la minimalidad de orden de las estructuras. El libro puede utilizarse como introducción a la teorÃa de modelos, pero a diferencia de los textos estándar, no requiere familiaridad con el álgebra abstracta. Este libro también será de interés para los matemáticos que conocen los aspectos técnicos del tema, pero no están familiarizados con su historia y antecedentes filosóficos. Nota de contenido: Chapter1. Mathematical Logic -- Chapter2. Logical Seeing -- Chapter3. What is a Number? -- Chapter4. Number Structures -- Chapter5. Points, Lines -- Chapter6. Set Theory -- Chapter7. Relations -- Chapter8. Definable Elements and Constants -- Chapter9. Minimal and Order-Minimal Structures -- Chapter10. Geometry of Definable Sets -- Chapter11. Where Do Structures Come From? -- Chapter12. Elementary Extensions and Symmetries -- Chapter13. Tame vs. Wild -- Chapter14. First-order Properties -- Chapter15. Symmetries and Logical Visibility One More Time. . Tipo de medio : Computadora Summary : This book, presented in two parts, offers a slow introduction to mathematical logic, and several basic concepts of model theory, such as first-order definability, types, symmetries, and elementary extensions. Its first part, Logic Sets, and Numbers, shows how mathematical logic is used to develop the number structures of classical mathematics. The exposition does not assume any prerequisites; it is rigorous, but as informal as possible. All necessary concepts are introduced exactly as they would be in a course in mathematical logic; but are accompanied by more extensive introductory remarks and examples to motivate formal developments. The second part, Relations, Structures, Geometry, introduces several basic concepts of model theory, such as first-order definability, types, symmetries, and elementary extensions, and shows how they are used to study and classify mathematical structures. Although more advanced, this second part is accessible to the reader who is either already familiar with basic mathematical logic, or has carefully read the first part of the book. Classical developments in model theory, including the Compactness Theorem and its uses, are discussed. Other topics include tameness, minimality, and order minimality of structures. The book can be used as an introduction to model theory, but unlike standard texts, it does not require familiarity with abstract algebra. This book will also be of interest to mathematicians who know the technical aspects of the subject, but are not familiar with its history and philosophical background. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Reflections on the Foundations of Mathematics / Centrone, Stefania ; Kant, Deborah ; Sarikaya, Deniz
Permalink
PermalinkPermalinkPermalinkPermalinkPermalink
