Graham Priest on Dialetheism and Paraconsistency / Başkent, Can ; Ferguson, Thomas Macaulay  

Público ISBD Ningún comentario para este registro. Título : Graham Priest on Dialetheism and Paraconsistency Tipo de documento: documento electrónico Autores: Başkent, Can, ; Ferguson, Thomas Macaulay, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XI, 704 p. 337 ilustraciones ISBN/ISSN/DL: 978-3-030-25365-3 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 Matemática y Fundamentos  Teoría de las máquinas  Lógica  Lenguajes formales y teoría de los autómatas  Lógica matemática Índice Dewey: 160 Lógica Resumen: Este libro presenta el estado del arte en los campos de la lógica formal iniciados por Graham Priest. Incluye trabajo técnico avanzado sobre el modelo y las teorías de prueba de la lógica paraconsistente, en contribuciones de los mejores académicos en el campo. La investigación de Graham Priest ha tenido una influencia considerable en el campo de la lógica filosófica, especialmente con respecto a los temas del dialeteísmo (la tesis de que existen oraciones verdaderas pero inconsistentes) y la paraconsistencia (una explicación de la deducción en la que premisas contradictorias no implican la verdad). de sentencias arbitrarias. El trabajo de Priest ha desafiado periódicamente a los investigadores a reevaluar muchos supuestos sobre la racionalidad, la ontología y la verdad. Este libro recopila investigaciones originales de algunos de los académicos más estimados que trabajan en lógica filosófica, cuyas contribuciones exploran y evalúan el trabajo de Priest sobre enfoques lógicos a problemas en filosofía, lingüística, computación y matemáticas. Proporcionan nuevos análisis, críticas y aplicaciones del trabajo de Priest y dan fe de su continua relevancia y actualidad. El libro también incluye las respuestas de Priest a los contribuyentes, proporcionando un nivel adicional al desarrollo de estos temas. Nota de contenido: Section I: Front Matter -- Chapter 1. Introduction Hitoshi Omori, Can Başkent, and Thomas Macaulay Ferguson -- Chapter 2. Scientific Autobiography Graham Priest -- Section II: Paradoxes, Consistency, and Dialetheism -- Chapter 3. Priest on Paradoxes of Truth and Sets Hartry Field -- Chapter 4. Denotation and Paradox Stephen Read -- Chapter 5. Why Are There Paradoxes?: Priest Inclosures, Lawvere Fixed Points, and the Inconsistency of the World Zach Weber -- Chapter 6. Comprehension, Fixed Points and Paradox Greg Restall -- Chapter 7. Inconsistency, Completeness, and Reflection Stewart Shapiro -- Chapter 8. Contradictory Information: Sometimes Better Than Nothing J. Michael Dunn -- Chapter 9. Into the Epistemological Suppositions of Dialetheism Diderik Batens -- Section III: Metaphysics, Ontology, and Noneism -- Chapter 10. On Unity and Oneness Aaron Cotnoir -- Chapter 11. Modal Meinongianism and the Logic of Intentionality Francesco Berto -- Chapter 12. On Non-Transitive « Identity » Heinrich Wansing -- Chapter 13. The Number of Logical Values Ross Brady -- Chapter 14. What Could Be a Falsity Maker for the Principle of Non-Contradiction ? Walter Carnielli and Abilio Rodrigues -- Chapter 15. Dialethic Modal Logic Patrick Girard -- Chapter 16. Propositional Surrogates and Quantifiers Marcelo Coniglio -- Section IV: Meaning, Language, and Logic -- Chapter 17. Consistency and Non-Triviality as Success-Words: Two Perspectives Patrick Allo -- Chapter 18. Assertion, Denial, and the Meaning of Connectives Francesco Paoli -- Chapter 19. Radical Foundations and Verbal Disputes Toby Meadows -- Chapter 20. Ambivalence and Contradiction Paul Egré -- Chapter 21. Hegel and Priest on Revising Logic Elena Ficara -- Chapter 22. Logic is Belief Revision Koji Tanaka -- Chapter 23. Priest on Negation Lloyd Humberstone -- Chapter 24. Deviating from Classical Logic Leon Horsten -- Chapter 25. Logics Need No Passport ! João Marcos -- Section V: Proof Theory, Model Theory, and Paraconsistency -- Chapter 26. On Core Logic Neil Tennant -- Chapter 27. Cut Elimination in Contraction Free Logics Maarten McKubre-Jordens and Erik Istre -- Chapter 28. Annotated Natural Deduction for Adaptive Reasoning Giuseppe Primiero -- Chapter 29. Plurivalence and Paraconsistency by Default Thomas Macaulay Ferguson -- Chapter 30. Implication in LP Barteld Kooi and Allard Tamminga -- Chapter 31. Game Semantics for LPs Can Başkent -- Chapter 32. Relevance and Dialetheism: Separating Truth and Consequences Edwin Mares -- Chapter 33. Relevant Entailment and Deductive Implication for Dialetheists Peter Verdée -- Section VI: Back Matter -- Chapter 34. Replies to Contributions Graham Priest -- Chapter 35. Bibliography of Graham Priest's Work in Logic. 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 Graham Priest on Dialetheism and Paraconsistency [documento electrónico] / Başkent, Can, ; Ferguson, Thomas Macaulay,  . -  1 ed.  . - [s.l.] : Springer, 2019 . - XI, 704 p. 337 ilustraciones. ISBN : 978-3-030-25365-3 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 Matemática y Fundamentos  Teoría de las máquinas  Lógica  Lenguajes formales y teoría de los autómatas  Lógica matemática Índice Dewey: 160 Lógica Resumen: Este libro presenta el estado del arte en los campos de la lógica formal iniciados por Graham Priest. Incluye trabajo técnico avanzado sobre el modelo y las teorías de prueba de la lógica paraconsistente, en contribuciones de los mejores académicos en el campo. La investigación de Graham Priest ha tenido una influencia considerable en el campo de la lógica filosófica, especialmente con respecto a los temas del dialeteísmo (la tesis de que existen oraciones verdaderas pero inconsistentes) y la paraconsistencia (una explicación de la deducción en la que premisas contradictorias no implican la verdad). de sentencias arbitrarias. El trabajo de Priest ha desafiado periódicamente a los investigadores a reevaluar muchos supuestos sobre la racionalidad, la ontología y la verdad. Este libro recopila investigaciones originales de algunos de los académicos más estimados que trabajan en lógica filosófica, cuyas contribuciones exploran y evalúan el trabajo de Priest sobre enfoques lógicos a problemas en filosofía, lingüística, computación y matemáticas. Proporcionan nuevos análisis, críticas y aplicaciones del trabajo de Priest y dan fe de su continua relevancia y actualidad. El libro también incluye las respuestas de Priest a los contribuyentes, proporcionando un nivel adicional al desarrollo de estos temas. Nota de contenido: Section I: Front Matter -- Chapter 1. Introduction Hitoshi Omori, Can Başkent, and Thomas Macaulay Ferguson -- Chapter 2. Scientific Autobiography Graham Priest -- Section II: Paradoxes, Consistency, and Dialetheism -- Chapter 3. Priest on Paradoxes of Truth and Sets Hartry Field -- Chapter 4. Denotation and Paradox Stephen Read -- Chapter 5. Why Are There Paradoxes?: Priest Inclosures, Lawvere Fixed Points, and the Inconsistency of the World Zach Weber -- Chapter 6. Comprehension, Fixed Points and Paradox Greg Restall -- Chapter 7. Inconsistency, Completeness, and Reflection Stewart Shapiro -- Chapter 8. Contradictory Information: Sometimes Better Than Nothing J. Michael Dunn -- Chapter 9. Into the Epistemological Suppositions of Dialetheism Diderik Batens -- Section III: Metaphysics, Ontology, and Noneism -- Chapter 10. On Unity and Oneness Aaron Cotnoir -- Chapter 11. Modal Meinongianism and the Logic of Intentionality Francesco Berto -- Chapter 12. On Non-Transitive « Identity » Heinrich Wansing -- Chapter 13. The Number of Logical Values Ross Brady -- Chapter 14. What Could Be a Falsity Maker for the Principle of Non-Contradiction ? Walter Carnielli and Abilio Rodrigues -- Chapter 15. Dialethic Modal Logic Patrick Girard -- Chapter 16. Propositional Surrogates and Quantifiers Marcelo Coniglio -- Section IV: Meaning, Language, and Logic -- Chapter 17. Consistency and Non-Triviality as Success-Words: Two Perspectives Patrick Allo -- Chapter 18. Assertion, Denial, and the Meaning of Connectives Francesco Paoli -- Chapter 19. Radical Foundations and Verbal Disputes Toby Meadows -- Chapter 20. Ambivalence and Contradiction Paul Egré -- Chapter 21. Hegel and Priest on Revising Logic Elena Ficara -- Chapter 22. Logic is Belief Revision Koji Tanaka -- Chapter 23. Priest on Negation Lloyd Humberstone -- Chapter 24. Deviating from Classical Logic Leon Horsten -- Chapter 25. Logics Need No Passport ! João Marcos -- Section V: Proof Theory, Model Theory, and Paraconsistency -- Chapter 26. On Core Logic Neil Tennant -- Chapter 27. Cut Elimination in Contraction Free Logics Maarten McKubre-Jordens and Erik Istre -- Chapter 28. Annotated Natural Deduction for Adaptive Reasoning Giuseppe Primiero -- Chapter 29. Plurivalence and Paraconsistency by Default Thomas Macaulay Ferguson -- Chapter 30. Implication in LP Barteld Kooi and Allard Tamminga -- Chapter 31. Game Semantics for LPs Can Başkent -- Chapter 32. Relevance and Dialetheism: Separating Truth and Consequences Edwin Mares -- Chapter 33. Relevant Entailment and Deductive Implication for Dialetheists Peter Verdée -- Section VI: Back Matter -- Chapter 34. Replies to Contributions Graham Priest -- Chapter 35. Bibliography of Graham Priest's Work in Logic. 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

Rohit Parikh on Logic, Language and Society / Başkent, Can ; Moss, Lawrence S. ; Ramanujam, Ramaswamy  

Público ISBD Ningún comentario para este registro. Título : Rohit Parikh on Logic, Language and Society Tipo de documento: documento electrónico Autores: Başkent, Can, ; Moss, Lawrence S., ; Ramanujam, Ramaswamy, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XIV, 359 p. 28 ilustraciones ISBN/ISSN/DL: 978-3-319-47843-2 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  Teoría de las máquinas  Lógica matemática  Semiótica  Lenguajes formales y teoría de los autómatas  Lógica Matemática y Fundamentos Índice Dewey: 160 Lógica Resumen: Este libro analiza los principales hitos del trabajo académico de Rohit Jivanlal Parikh. Destacando la transición del interés de Parikh de los lenguajes formales a los lenguajes naturales, y cómo abordó la filosofía del lenguaje de Wittgenstein, traza la trayectoria académica de un brillante erudito cuyo trabajo abrió varias nuevas vías en la investigación. Este volumen es parte de la serie de libros de Springer Contribuciones destacadas a la lógica y honra a Rohit Parikh y sus obras de muchas maneras. Parikh es un líder en el ámbito de las ideas y ofrece conceptos y definiciones que enriquecen el campo y conducen a nuevas direcciones de investigación. Parikh ha contribuido en una variedad de áreas de la lógica, la informática y la teoría de juegos. En lógica matemática sus contribuciones han sido en teoría de funciones recursivas, teoría de prueba y análisis no estándar; en informática, en las áreas de lógica modal, temporal y dinámica de programas y semántica de programas, así como lógica del conocimiento; en inteligencia artificial en el área de revisión de creencias; y en la teoría de juegos en el análisis formal de los procedimientos sociales, con una fuerte corriente subyacente de filosofía que recorre toda su obra. Esta no es una colección de artículos limitados a un tema, ni siquiera directamente relacionados con obras específicas de Parikh, sino que todos los artículos están inspirados e influenciados por Parikh de alguna manera, agregando estructuras y enriqueciendo la "tierra de Parikh". El libro presenta una descripción general similar a un folleto de Parikh-land antes de proporcionar un "video introductorio" sobre las vistas y los sonidos que experimenta al leer el libro. Nota de contenido: Chapter 1. Editors' Preface -- Chapter 2. Juliet Floyd: Parikh and Wittgenstein -- Chapter 3. Prashant Parikh: Vagueness, Communication and the Sorites Paradox -- Chapter 4. Robert van Rooij: Nonmonotonicity and Knowability: As knowable as possible -- Chapter 5. Jan van Eijck and Philip Elsas: What is Money? -- Chapter 6. Dominik Klein and Eric Pacuit: Focusing on Campaigns -- Chapter 7. Can Başkent: A Non-classical Logical Approach to Social Software -- Chapter 8. Joseph Halpern: Why Bother with Syntax? -- Chapter 9. Johan van Benthem: Talking about Knowledge -- Chapter 10. Maduka Attamah, Hans van Ditmarsch, Davide Grossi, Wiebe van der Hoek: The Pleasure of Gossip -- Chapter 11. Gabriel Sandu and Silviu Velice: Modeling Monty Hall in IF Logic -- Chapter 12. Amy Greenwald, Jiacui Li, Eric Sodomka: Solving for Best Responses and Equilibria in Extensive-Form: Games with Reinforcement Learning Methods -- Chapter 13. Juoko Vaananen. The Logic of Approximate Dependence -- Chapter 14. Melvin Fitting: On Height and Happiness -- Chapter 15. Konstantinos Georgatos: Epistemic Conditionals and the Logic of Subsets -- Chapter 16. Dexter Kozen: On the Coalgebraic Theory of Kleene Algebras with Tests -- Chapter 17. Vaughan Pratt: Aristotle, Boole and Categories -- Chapter 18. Noson Yanofsky: Galois Theory of Algorithms -- Chapter 19. Parikh's Closing Remarks. 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 Rohit Parikh on Logic, Language and Society [documento electrónico] / Başkent, Can, ; Moss, Lawrence S., ; Ramanujam, Ramaswamy,  . -  1 ed.  . - [s.l.] : Springer, 2017 . - XIV, 359 p. 28 ilustraciones. ISBN : 978-3-319-47843-2 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  Teoría de las máquinas  Lógica matemática  Semiótica  Lenguajes formales y teoría de los autómatas  Lógica Matemática y Fundamentos Índice Dewey: 160 Lógica Resumen: Este libro analiza los principales hitos del trabajo académico de Rohit Jivanlal Parikh. Destacando la transición del interés de Parikh de los lenguajes formales a los lenguajes naturales, y cómo abordó la filosofía del lenguaje de Wittgenstein, traza la trayectoria académica de un brillante erudito cuyo trabajo abrió varias nuevas vías en la investigación. Este volumen es parte de la serie de libros de Springer Contribuciones destacadas a la lógica y honra a Rohit Parikh y sus obras de muchas maneras. Parikh es un líder en el ámbito de las ideas y ofrece conceptos y definiciones que enriquecen el campo y conducen a nuevas direcciones de investigación. Parikh ha contribuido en una variedad de áreas de la lógica, la informática y la teoría de juegos. En lógica matemática sus contribuciones han sido en teoría de funciones recursivas, teoría de prueba y análisis no estándar; en informática, en las áreas de lógica modal, temporal y dinámica de programas y semántica de programas, así como lógica del conocimiento; en inteligencia artificial en el área de revisión de creencias; y en la teoría de juegos en el análisis formal de los procedimientos sociales, con una fuerte corriente subyacente de filosofía que recorre toda su obra. Esta no es una colección de artículos limitados a un tema, ni siquiera directamente relacionados con obras específicas de Parikh, sino que todos los artículos están inspirados e influenciados por Parikh de alguna manera, agregando estructuras y enriqueciendo la "tierra de Parikh". El libro presenta una descripción general similar a un folleto de Parikh-land antes de proporcionar un "video introductorio" sobre las vistas y los sonidos que experimenta al leer el libro. Nota de contenido: Chapter 1. Editors' Preface -- Chapter 2. Juliet Floyd: Parikh and Wittgenstein -- Chapter 3. Prashant Parikh: Vagueness, Communication and the Sorites Paradox -- Chapter 4. Robert van Rooij: Nonmonotonicity and Knowability: As knowable as possible -- Chapter 5. Jan van Eijck and Philip Elsas: What is Money? -- Chapter 6. Dominik Klein and Eric Pacuit: Focusing on Campaigns -- Chapter 7. Can Başkent: A Non-classical Logical Approach to Social Software -- Chapter 8. Joseph Halpern: Why Bother with Syntax? -- Chapter 9. Johan van Benthem: Talking about Knowledge -- Chapter 10. Maduka Attamah, Hans van Ditmarsch, Davide Grossi, Wiebe van der Hoek: The Pleasure of Gossip -- Chapter 11. Gabriel Sandu and Silviu Velice: Modeling Monty Hall in IF Logic -- Chapter 12. Amy Greenwald, Jiacui Li, Eric Sodomka: Solving for Best Responses and Equilibria in Extensive-Form: Games with Reinforcement Learning Methods -- Chapter 13. Juoko Vaananen. The Logic of Approximate Dependence -- Chapter 14. Melvin Fitting: On Height and Happiness -- Chapter 15. Konstantinos Georgatos: Epistemic Conditionals and the Logic of Subsets -- Chapter 16. Dexter Kozen: On the Coalgebraic Theory of Kleene Algebras with Tests -- Chapter 17. Vaughan Pratt: Aristotle, Boole and Categories -- Chapter 18. Noson Yanofsky: Galois Theory of Algorithms -- Chapter 19. Parikh's Closing Remarks. 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

---

1 (1 - 2 / 2) Por página: 25 50 100 200