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. 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. 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. 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. 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