Aristotelian Assertoric Syllogistic / Amer, Mohamed A.  

Público ISBD Ningún comentario para este título. Título : Aristotelian Assertoric Syllogistic : Incorporating the Aristotelian Assertoric Syllogistic in the Contemporary Symbolic Logic Tipo de documento: documento electrónico Autores: Amer, Mohamed A., Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XVI, 98 p. ISBN/ISSN/DL: 978-3-030-87341-7 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: Lógica  Lógica formal  Lógica filosófica Clasificación: 160 Lógica Resumen: Este libro es un tratado sobre la silogística asertórica aristotélica, que actualmente resulta de creciente interés. Hace algunos siglos, atrajo la atención de los fundadores de la lógica moderna, quienes la abordaron de varias maneras (semánticas y sintácticas). Posteriormente se introdujeron otros enfoques. En este libro se analizan, desarrollan e interrelacionan estos enfoques (con pocas excepciones). Entre otras cosas, se investigan diferentes facetas de solidez, integridad, decidibilidad e independencia de la silogística asertórica aristotélica. Se examinan específicamente la aritmetización (Leibniz), la algebraización (Leibniz y Boole) y los modelos de Venn (Euler y Venn). El libro está dirigido a estudiosos de los campos de la lógica y la historia de la lógica. Nota de contenido: Acknowledgements -- 1. Formalizations of AAS -- 2. Semantics of AAS -- 3. Decidability -- 4. Basic equivalence of the four formalizations -- 5. Venn soundness and completeness -- 6. Direct way to Venn models -- 7. Variations on NF(C) -- 8. Direct completion of direct deduction -- 9. Models of NF(C) revisited -- 10. Decidability revisited -- 11. Sorites -- 12. Independence -- 13. Algebraic semantics of AAS, a prelude -- 14. Algebraic interpretation of NF(C) -- 15. Annihilators: Embedding the partial into a total -- 16. Back to algebraic interpretation -- 17. Leibniz and Boole -- 18. Inadequacy: bounds of AAS -- Appendix. Tipo de medio : Computadora Summary : This book is a treatise on Aristotelian assertoric syllogistic, which is currently of growing interest. Some centuries ago, it attracted the attention of the founders of modern logic, who approached it in several (semantical and syntactical) ways. Further approaches were introduced later on. In this book these approaches (with few exceptions) are discussed, developed and interrelated. Among other things, different facets of soundness, completeness, decidability, and independence for Aristotelian assertoric syllogistic are investigated. Specifically arithmetization (Leibniz), algebraization (Leibniz and Boole), and Venn models (Euler and Venn) are examined. The book is aimed at scholars in the fields of logic and history of logic. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Aristotelian Assertoric Syllogistic : Incorporating the Aristotelian Assertoric Syllogistic in the Contemporary Symbolic Logic [documento electrónico] / Amer, Mohamed A.,  . -  1 ed.  . - [s.l.] : Springer, 2021 . - XVI, 98 p. ISBN : 978-3-030-87341-7 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: Lógica  Lógica formal  Lógica filosófica Clasificación: 160 Lógica Resumen: Este libro es un tratado sobre la silogística asertórica aristotélica, que actualmente resulta de creciente interés. Hace algunos siglos, atrajo la atención de los fundadores de la lógica moderna, quienes la abordaron de varias maneras (semánticas y sintácticas). Posteriormente se introdujeron otros enfoques. En este libro se analizan, desarrollan e interrelacionan estos enfoques (con pocas excepciones). Entre otras cosas, se investigan diferentes facetas de solidez, integridad, decidibilidad e independencia de la silogística asertórica aristotélica. Se examinan específicamente la aritmetización (Leibniz), la algebraización (Leibniz y Boole) y los modelos de Venn (Euler y Venn). El libro está dirigido a estudiosos de los campos de la lógica y la historia de la lógica. Nota de contenido: Acknowledgements -- 1. Formalizations of AAS -- 2. Semantics of AAS -- 3. Decidability -- 4. Basic equivalence of the four formalizations -- 5. Venn soundness and completeness -- 6. Direct way to Venn models -- 7. Variations on NF(C) -- 8. Direct completion of direct deduction -- 9. Models of NF(C) revisited -- 10. Decidability revisited -- 11. Sorites -- 12. Independence -- 13. Algebraic semantics of AAS, a prelude -- 14. Algebraic interpretation of NF(C) -- 15. Annihilators: Embedding the partial into a total -- 16. Back to algebraic interpretation -- 17. Leibniz and Boole -- 18. Inadequacy: bounds of AAS -- Appendix. Tipo de medio : Computadora Summary : This book is a treatise on Aristotelian assertoric syllogistic, which is currently of growing interest. Some centuries ago, it attracted the attention of the founders of modern logic, who approached it in several (semantical and syntactical) ways. Further approaches were introduced later on. In this book these approaches (with few exceptions) are discussed, developed and interrelated. Among other things, different facets of soundness, completeness, decidability, and independence for Aristotelian assertoric syllogistic are investigated. Specifically arithmetization (Leibniz), algebraization (Leibniz and Boole), and Venn models (Euler and Venn) are examined. The book is aimed at scholars in the fields of logic and history of logic. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

---

1 (1 - 1 / 1) Ver por página : 25 50 100 200