Philosophical Logic: Current Trends in Asia / Yang, Syraya Chin-Mu ; Lee, Kok Yong ; Ono, Hiroakira  

Público ISBD Ningún comentario para este título. Título : Philosophical Logic: Current Trends in Asia : Proceedings of AWPL-TPLC 2016 Tipo de documento: documento electrónico Autores: Yang, Syraya Chin-Mu, ; Lee, Kok Yong, ; Ono, Hiroakira, Mención de edición: 1 ed. Editorial: Singapore [Malasya] : Springer Fecha de publicación: 2017 Número de páginas: XVI, 296 p. 7 ilustraciones ISBN/ISSN/DL: 978-981-10-6355-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: Lógica  Lógica matemática  Teoría de las máquinas  Lógica Matemática y Fundamentos  Lenguajes formales y teoría de los autómatas Clasificación: 160 Lógica Resumen: Este volumen reúne a un grupo de filósofos con mentalidad lógica y lógicos de orientación filosófica, principalmente de Asia, para abordar una variedad de temas lógicos y filosóficos de interés actual, ofreciendo una muestra representativa del panorama de la lógica filosófica en Asia a principios del siglo XXI. . Examina una variedad de campos, incluida la lógica modal, la lógica epistémica, la semántica formal, la decidibilidad y la mereología. El libro propone nuevos enfoques y construye marcos más potentes, como la teoría de la cobertura, un enfoque algebraico para la eliminación de cortes y un enfoque booleano para el descubrimiento causal, por nombrar sólo algunos. Los lectores pueden encontrar una amplia gama de aplicaciones de estos trabajos originales en la investigación actual de la lógica filosófica, especialmente en el análisis estructural y conceptual de algunas propiedades semánticas y sistemas formales importantes. La variedad de temas y cuestiones discutidos aquí atraerá a lectores de un amplio espectro de disciplinas, que van desde la lógica matemática/filosófica, la ciencia informática, la ciencia cognitiva y la inteligencia artificial, hasta la lingüística, la teoría de juegos y más. Nota de contenido: Representing and Completing Lattices by Propositions of Cover Systems -- A Uniform Algebraic Approach to Cut Elimination via Semi-completeness -- Ancient Indian Logic, Paksa and Analogy -- Provability and Decidability of Arithmetical Sentences -- On the Minimization Principle in the Boolean Approach to Causal Discovery -- Contentual and Formal Aspects of Gentzen's Consistency Proofs -- Saving Supervaluationism from the Challenge of Higher-Order Vagueness Argument -- Cut free Labelled Sequent Calculus for Dynamic Logic of Relation Changers -- On Second Order Propositional Intuitionistic Logics -- Classical Model Existence Theorem in Subclassical Predicate Logics. II -- On Incorporating Reasoning Time into Epistemic Logic -- Proof-theoretic Embedding from Visser's Basic Propositional Logic to Modal Logic K4 via Non-Labelled Sequent Calculi -- Varieties of Parthood -- Infinite "Atomic" Mereological Structures. Tipo de medio : Computadora Summary : This volume brings together a group of logic-minded philosophers and philosophically oriented logicians, mainly from Asia, to address a variety of logical and philosophical topics of current interest, offering a representative cross-section of the philosophical logic landscape in early 21st-century Asia. It surveys a variety of fields, including modal logic, epistemic logic, formal semantics, decidability and mereology. The book proposes new approaches and constructs more powerful frameworks, such as cover theory, an algebraic approach to cut-elimination, and a Boolean approach to causal discovery, to name but a few. Readers may find a wide range of applications of these original works in current research of philosophical logic, especially in the structural and conceptual analysis of some significant semantic properties and formal systems. The variety of topics and issues discussed here will appeal to readers from a broad spectrum of disciplines, ranging from mathematical/phil osophical logic, computing science, cognitive science and artificial intelligence, to linguistics, game theory and beyond. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Philosophical Logic: Current Trends in Asia : Proceedings of AWPL-TPLC 2016 [documento electrónico] / Yang, Syraya Chin-Mu, ; Lee, Kok Yong, ; Ono, Hiroakira,  . -  1 ed.  . - Singapore [Malasya] : Springer, 2017 . - XVI, 296 p. 7 ilustraciones. ISBN : 978-981-10-6355-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: Lógica  Lógica matemática  Teoría de las máquinas  Lógica Matemática y Fundamentos  Lenguajes formales y teoría de los autómatas Clasificación: 160 Lógica Resumen: Este volumen reúne a un grupo de filósofos con mentalidad lógica y lógicos de orientación filosófica, principalmente de Asia, para abordar una variedad de temas lógicos y filosóficos de interés actual, ofreciendo una muestra representativa del panorama de la lógica filosófica en Asia a principios del siglo XXI. . Examina una variedad de campos, incluida la lógica modal, la lógica epistémica, la semántica formal, la decidibilidad y la mereología. El libro propone nuevos enfoques y construye marcos más potentes, como la teoría de la cobertura, un enfoque algebraico para la eliminación de cortes y un enfoque booleano para el descubrimiento causal, por nombrar sólo algunos. Los lectores pueden encontrar una amplia gama de aplicaciones de estos trabajos originales en la investigación actual de la lógica filosófica, especialmente en el análisis estructural y conceptual de algunas propiedades semánticas y sistemas formales importantes. La variedad de temas y cuestiones discutidos aquí atraerá a lectores de un amplio espectro de disciplinas, que van desde la lógica matemática/filosófica, la ciencia informática, la ciencia cognitiva y la inteligencia artificial, hasta la lingüística, la teoría de juegos y más. Nota de contenido: Representing and Completing Lattices by Propositions of Cover Systems -- A Uniform Algebraic Approach to Cut Elimination via Semi-completeness -- Ancient Indian Logic, Paksa and Analogy -- Provability and Decidability of Arithmetical Sentences -- On the Minimization Principle in the Boolean Approach to Causal Discovery -- Contentual and Formal Aspects of Gentzen's Consistency Proofs -- Saving Supervaluationism from the Challenge of Higher-Order Vagueness Argument -- Cut free Labelled Sequent Calculus for Dynamic Logic of Relation Changers -- On Second Order Propositional Intuitionistic Logics -- Classical Model Existence Theorem in Subclassical Predicate Logics. II -- On Incorporating Reasoning Time into Epistemic Logic -- Proof-theoretic Embedding from Visser's Basic Propositional Logic to Modal Logic K4 via Non-Labelled Sequent Calculi -- Varieties of Parthood -- Infinite "Atomic" Mereological Structures. Tipo de medio : Computadora Summary : This volume brings together a group of logic-minded philosophers and philosophically oriented logicians, mainly from Asia, to address a variety of logical and philosophical topics of current interest, offering a representative cross-section of the philosophical logic landscape in early 21st-century Asia. It surveys a variety of fields, including modal logic, epistemic logic, formal semantics, decidability and mereology. The book proposes new approaches and constructs more powerful frameworks, such as cover theory, an algebraic approach to cut-elimination, and a Boolean approach to causal discovery, to name but a few. Readers may find a wide range of applications of these original works in current research of philosophical logic, especially in the structural and conceptual analysis of some significant semantic properties and formal systems. The variety of topics and issues discussed here will appeal to readers from a broad spectrum of disciplines, ranging from mathematical/phil osophical logic, computing science, cognitive science and artificial intelligence, to linguistics, game theory and beyond. 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