477 Ergebnisse - Zeige 1 von 20.

This volume of the Logica Yearbook series brings together articles presented at the annual international symposium Logica 2022, Teplá, the Czech Republic. The articles range over mathematical and philosophical logic, history and philosophy of logic, and the analysis of natural language.

The Journal of Applied Logics - IfCoLog Journal of Logics and their Applications (FLAP) covers all areas of pure and applied logic, broadly construed. All papers published are free open access, and available via the College Publications website. This Journal is open access, puts no limit on the number of pages of any article, puts no limit on the number of papers in an issue and puts no limit on the number of issues per year. We insist only on...

Lógica Dialógica. Reglas y ejercicios para hacer lógica con diálogos constituye la primera introducción a la Lógica dialógica en castellano dirigida a la práctica de la dialógica y que contiene comentarios precisos sobre ejercicios y soluciones tanto de lógica proposicional como de lógica clásica de primer orden, intuicionista y elementos de lógica modal proposicional. Es la primera parte de la obra Los Diálogos de la Lógica, concebida en dos...

In 1922, Curry started reading Principia Mathematica and was intrigued by the complications of its substitution rule. As a result of trying to analyze substitution, Curry conceived the combinators in 1926. This collection is dedicated to Jonathan Seldin's 80th anniversary. Seldin is the penultimate PhD student of Curry and the guardian of Curry's paradigm. The search at the beginning of the 20th century for powerful systems that combine comp...

Keine Beschreibung.

This comprehensive volume features the proceedings of the Third International Workshop on Logics for New-Generation Artificial Intelligence and the International Workshop on Logic, AI and Law, held in Hangzhou, China on September 8-9 and 11-12, 2023. The collection offers a diverse range of papers that explore the intersection of logic, artificial intelligence, and law. With contributions from some of the leading experts in the field, this vol...

This book marks the inauguration of the Historia Logicae book series, which seeks to publish high-quality monographs, dissertations, textbooks, proceedings, and anthologies on the history of logic in either German or English. Serving as the inaugural volume in this series, the book explores the contemporary interpretation of logic across many centuries and cultures. The first section of the volume comprises a compilation of papers dedicated to...

In this book Dr. Amelia Spivak uncovers a type of tannaitic argument that was lost: neither traditional nor academic scholars seem to have known of its existence. The author finds examples scattered across the range of tannaitic literature - including in well-trodden passages - suggesting that such argumentation was widely practiced. Spivak identifies a signaling Hebrew phrase, o'kheiluf, along with accompanying expressions as uniquely tannait...

This is the first book-length study of the fallacy of composition. It focuses on arguments from parts to whole, from micro to macro, and from some to all, and it discusses both their structures and the conditions of their correctness. The topic is approached through a series of critical reviews, conceptual analyses, and case studies. The critical reviews elaborate interpretations and evaluations of works by such distinguished scholars as: ph...

The Journal of Applied Logics - IfCoLog Journal of Logics and their Applications (FLAP) covers all areas of pure and applied logic, broadly construed. All papers published are free open access, and available via the College Publications website. This Journal is open access, puts no limit on the number of pages of any article, puts no limit on the number of papers in an issue and puts no limit on the number of issues per year. We insist only on...

This book is a different approach to teaching the foundations of mathematical analysis and of computation. The main idea is to delay the use of "formal definitions", which are definitions that nobody can understand without working with them. The approach of this book is to employ the history of mathematics to first develop fundamental concepts of mathematical analysis and the theory of computation and to only introduce formal definitions after...

The Journal of Applied Logics - IfCoLog Journal of Logics and their Applications (FLAP) covers all areas of pure and applied logic, broadly construed. All papers published are open access, and available via the College Publications website. This Journal is open access, and available in both printed and electronic formats. It is published by College Publications, on behalf of IfCoLog (www.ifcolog.net).

This book studies 1-D and 2-D solutions of discrete and continuous analogue dynamical systems and identifies their intrinsic differences. It starts by introducing discrete dynamical systems before comparing them to continuous analogue ones. It studies in some depth periodic and chaotic-type solutions of quadratic and cubic equations and the harvesting/fishing effect on non-periodic and periodic solutions of populations models based on them....

Fertile rather than sterile, what makes constructive debate possible? How to reason together at tackling such a vital issue as drinking water management? Claire Polo here presents textbook case diving into the argumentative mechanisms of discussions among teenagers from Mexican, US and French schools. Challenges are huge on this socio-scientific global problem, and no preexisting correct answer is to be found. Through a deep linguistic approac...

This book explores the major historical phenomenon of the algebraization of mathematics in the second half of the 17th and 18th centuries, offering a broader understanding of the consolidation of analytic geometry and infinitesimal calculus as disciplines. The authors examine the external (intellectual, geographical, and political) factors that influenced these transformations and shed light on the process of acquisition and integration of ana...

This textbook combines methodologies of vehicle dynamics with modeling, analysis, and optimization of suspension systems, power train, and aerodynamics. Chapter topics provide the reader with a broad range of design concepts. The book begins with an introduction of the design process and an overview of basic suspension systems. Subsequent chapters focus on fundamental mathematical modeling of vehicle dynamics and vehicle interaction with a roa...

The Journal of Applied Logics - IfCoLog Journal of Logics and their Applications (FLAP) covers all areas of pure and applied logic, broadly construed. All papers published are free open access, and available via the College Publications website. This Journal is open access, puts no limit on the number of pages of any article, puts no limit on the number of papers in an issue and puts no limit on the number of issues per year. We insist only on...

This book is for readers who have learned about first order logic, Gödel's completeness theorem, the Löwenheim-Skolem theorem, the Tarski-Vaught criterion for being elementary sub-model, and who know naive set theory. A graduate course in model theory will be helpful. The thesis of the book is that we can find worthwhile dividing lines among complete first order theories T, mainly countable. That is, properties dividing them in some sense betw...

The Journal of Applied Logics - IfCoLog Journal of Logics and their Applications (FLAP) covers all areas of pure and applied logic, broadly construed. All papers published are free open access, and available via the College Publications website. This Journal is open access, puts no limit on the number of pages of any article, puts no limit on the number of papers in an issue and puts no limit on the number of issues per year. We insist only on...

Paradoxes seized the attention of logicians in the middle ages, and were used both as tests for the viability of theories of logic, language, epistemology, and possibly every philosophical issue, and also in the specific genre of insolubles as needing a theoretical solution, usually involving issues about signification, truth, knowledge and modality. Numerous theories were developed, not only in the Latin West, but also in the Islamic world an...