- Table View
- List View
Logical Methods
by Greg Restall Shawn StandeferAn accessible introduction to philosophical logic, suitable for undergraduate courses and above.Rigorous yet accessible, Logical Methods introduces logical tools used in philosophy—including proofs, models, modal logics, meta-theory, two-dimensional logics, and quantification—for philosophy students at the undergraduate level and above. The approach developed by Greg Restall and Shawn Standefer is distinct from other texts because it presents proof construction on equal footing with model building and emphasizes connections to other areas of philosophy as the tools are developed. Throughout, the material draws on a broad range of examples to show readers how to develop and master tools of proofs and models for propositional, modal, and predicate logic; to construct and analyze arguments and to find their structure; to build counterexamples; to understand the broad sweep of formal logic&’s development in the twentieth and twenty-first centuries; and to grasp key concepts used again and again in philosophy. This text is essential to philosophy curricula, regardless of specialization, and will also find wide use in mathematics and computer science programs. Features:An accessible introduction to proof theory for readers with no background in logicCovers proofs, models, modal logics, meta-theory, two-dimensional logics, quantification, and many other topicsProvides tools and techniques of particular interest to philosophers and philosophical logiciansFeatures short summaries of key concepts and skills at the end of each chapterOffers chapter-by-chapter exercises in two categories: basic, designed to reinforce important ideas; and challenge, designed to push students&’ understanding and developing skills in new directions
Logical Modalities from Aristotle to Carnap
by Max CresswellInterest in the metaphysics and logic of possible worlds goes back at least as far as Aristotle, but few books address the history of these important concepts. This volume offers new essays on the theories about the logical modalities (necessity and possibility) held by leading philosophers from Aristotle in ancient Greece to Rudolf Carnap in the twentieth century. The story begins with an illuminating discussion of Aristotle's views on the connection between logic and metaphysics, continues through the Stoic and mediaeval (including Arabic) traditions, and then moves to the early modern period with particular attention to Locke and Leibniz. The views of Kant, Peirce, C. I. Lewis and Carnap complete the volume. Many of the essays illuminate the connection between the historical figures studied, and recent or current work in the philosophy of modality. The result is a rich and wide-ranging picture of the history of the logical modalities.
Logical Skills: Social-Historical Perspectives (Studies in Universal Logic)
by Julie Brumberg-Chaumont Claude RosentalThis contributed volume explores the ways logical skills have been perceived over the course of history. The authors approach the topic from the lenses of philosophy, anthropology, sociology, and history to examine two opposing perceptions of logic: the first as an innate human ability and the second as a skill that can be learned and mastered. Chapters focus on the social and political dynamics of the use of logic throughout history, utilizing case studies and critical analyses.Specific topics covered include:the rise of logical skillsproblems concerning medieval notions of idiocy and rationalitydecolonizing natural logicnatural logic and the course of timeLogical Skills: Social-Historical Perspectives will appeal to undergraduate and graduate students, as well as researchers in the fields of history, sociology, philosophy, and logic. Psychology and colonial studies scholars will also find this volume to be of particular interest.
Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements
by Lutz Geldsetzer Richard L. SchwartzThis new volume on logic follows a recognizable format that deals in turn with the topics of mathematical logic, moving from concepts, via definitions and inferences, to theories and axioms. However, this fresh work offers a key innovation in its 'pyramidal' graph system for the logical formalization of all these items. The author has developed this new methodology on the basis of original research, traditional logical instruments such as Porphyrian trees, and modern concepts of classification, in which pyramids are the central organizing concept. The pyramidal schema enables both the content of concepts and the relations between the concept positions in the pyramid to be read off from the graph. Logical connectors are analyzed in terms of the direction in which they connect within the pyramid. Additionally, the author shows that logical connectors are of fundamentally different types: only one sort generates propositions with truth values, while the other yields conceptual expressions or complex concepts. On this basis, strong arguments are developed against adopting the non-discriminating connector definitions implicit in Wittgensteinian truth-value tables. Special consideration is given to mathematical connectors so as to illuminate the formation of concepts in the natural sciences. To show what the pyramidal method can contribute to science, a pyramid of the number concepts prevalent in mathematics is constructed. The book also counters the logical dogma of 'false' contradictory propositions and sheds new light on the logical characteristics of probable propositions, as well as on syllogistic and other inferences.
The Logician and the Engineer: How George Boole and Claude Shannon Created the Information Age
by Paul J. NahinHow two pioneers of math and technology ushered in the computer revolutionBoolean algebra, also called Boolean logic, is at the heart of the electronic circuitry in everything we use—from our computers and cars, to home appliances. How did a system of mathematics established in the Victorian era become the basis for such incredible technological achievements a century later? In The Logician and the Engineer, Paul Nahin combines engaging problems and a colorful historical narrative to tell the remarkable story of how two men in different eras—mathematician and philosopher George Boole and electrical engineer and pioneering information theorist Claude Shannon—advanced Boolean logic and became founding fathers of the electronic communications age. Nahin takes readers from fundamental concepts to a deeper and more sophisticated understanding of modern digital machines, in order to explore computing and its possible limitations in the twenty-first century and beyond.
Logicism and its Philosophical Legacy
by William DemopoulosThe idea that mathematics is reducible to logic has a long history, but it was Frege who gave logicism an articulation and defense that transformed it into a distinctive philosophical thesis with a profound influence on the development of philosophy in the twentieth century. This volume of classic, revised and newly written essays by William Demopoulos examines logicism's principal legacy for philosophy: its elaboration of notions of analysis and reconstruction. The essays reflect on the deployment of these ideas by the principal figures in the history of the subject - Frege, Russell, Ramsey and Carnap - and in doing so illuminate current concerns about the nature of mathematical and theoretical knowledge. Issues addressed include the nature of arithmetical knowledge in the light of Frege's theorem; the status of realism about the theoretical entities of physics; and the proper interpretation of empirical theories that postulate abstract structural constraints.
Logics for Computer Science: Classical And Non-classical
by Anita WasilewskaProviding an in-depth introduction to fundamental classical and non-classical logics, this textbook offers a comprehensive survey of logics for computer scientists. Logics for Computer Science contains intuitive introductory chapters explaining the need for logical investigations, motivations for different types of logics and some of their history. They are followed by strict formal approach chapters. All chapters contain many detailed examples explaining each of the introduced notions and definitions, well chosen sets of exercises with carefully written solutions, and sets of homework. While many logic books are available, they were written by logicians for logicians, not for computer scientists. They usually choose one particular way of presenting the material and use a specialized language. Logics for Computer Science discusses Gentzen as well as Hilbert formalizations, first order theories, the Hilbert Program, Godel's first and second incompleteness theorems and their proofs. It also introduces and discusses some many valued logics, modal logics and introduces algebraic models for classical, intuitionistic, and modal S4 and S5 logics.The theory of computation is based on concepts defined by logicians and mathematicians. Logic plays a fundamental role in computer science, and this book explains the basic theorems, as well as different techniques of proving them in classical and some non-classical logics. Important applications derived from concepts of logic for computer technology include Artificial Intelligence and Software Engineering. In addition to Computer Science, this book may also find an audience in mathematics and philosophy courses, and some of the chapters are also useful for a course in Artificial Intelligence.
Logics in Artificial Intelligence: 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings (Lecture Notes in Computer Science #11468)
by Francesco Calimeri Nicola Leone Marco MannaThis book constitutes the proceedings of the 16th European Conference on Logics in Artificial Intelligence, JELIA 2019, held in Rende, Italy, in May 2019. The 50 full papers and 10 short papers included in this volume were carefully reviewed and selected from 101 submissions. Additionally, the book contains 3 invited papers. The accepted papers span a number of areas within Logics in AI, including: belief revision and argumentation; causal, defeasible and inductive reasoning; conditional, probabilistic and propositional logic; description logics; logic programming; modal and default logic; and temporal logic.
Logics in Artificial Intelligence: 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings (Lecture Notes in Computer Science #12678)
by Wolfgang Faber Gerhard Friedrich Martin Gebser Michael MorakThis book constitutes the proceedings of the 17th European Conference on Logics in Artificial Intelligence, JELIA 2021, held as a virtual event, in May 2021. The 27 full papers and 3 short papers included in this volume were carefully reviewed and selected from 68 submissions. The accepted papers span a number of areas within Logics in AI, including: argumentation; belief revision; reasoning about actions, causality, and change; constraint satisfaction; description logics and ontological reasoning; non-classical logics; and logic programming (answer set programming).
Logics in Artificial Intelligence: 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings (Lecture Notes in Computer Science #14281)
by Sarah Gaggl Maria Vanina Martinez Magdalena OrtizThis book constitutes proceedings of the 18th European Conference on Logics in Artificial Intelligence, JELIA 2023, held in Dresden, Germany, in September 2023.The 41 full papers and 11 short papers included in this volume were carefully reviewed and selected from 111 submissions. The accepted papers span a number of areas within Logics in AI, including: argumentation; belief revision; reasoning about actions, causality, and change; constraint satisfaction; description logics and ontological reasoning; non-classical logics; and logic programming (answer set programming).
Logics in Artificial Intelligence
by Loizos Michael Antonis KakasThis book constitutes the proceedings of the 15th European Conference on Logics in Artificial Intelligence, JELIA 2016, held in Larnaca, Cyprus, in November 2015. The 32 full papers and 10 short papers included in this volume were carefully reviewed and selected from 88 submissions. The accepted papers span a number of areas within Logics in AI, including: belief revision, answer set programming, argumentation, probabilistic reasoning, handling inconsistencies, temporal logics and planning, description logics, and decidability and complexity results.
Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics
by Fabio MogaveroIn this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior. The work is organized in two parts. In the first part two logics for computations, the graded computation tree logic and the computation tree logic with minimal model quantifiers are discussed. These have proved to be useful in describing correct executions of monolithic closed systems. The second part focuses on logics for strategies, strategy logic and memoryful alternating-time temporal logic, which have been successfully applied to formalize several properties of interactive plays in multi-entities systems modeled as multi-agent games.
Logik für Dummies (Für Dummies)
by Mark ZegarelliLogik ist die Basis der Wissenschaft, aber auch eine Brücke zwischen Wissenschaft und Alltag, denn die Grundlagen sind einfach logisch. Doch so einfach sie auf den ersten Blick scheint, so anspruchsvoll ist sie im Detail. "Logik kompakt für Dummies" führt Sie systematisch und so einfach wie möglich in dieses Teilgebiet von Mathematik und Philosophie ein. Dabei arbeitet Mark Zegarelli mit anschaulichen Beispielen und schafft es so, dieses abstrakte Thema nicht nur verständlich zu erklären, sondern auch Wert und Nutzen der Logik aufzuzeigen.
Logische Strukturen beim Beweisen und ihre Verbalisierung: Eine sprachintegrative Entwicklungsforschungsstudie zum fachlichen Lernen (Dortmunder Beiträge zur Entwicklung und Erforschung des Mathematikunterrichts #46)
by Kerstin HeinBeweisen ist eine zentrale Tätigkeit innerhalb der universitären Mathematik. Im Mathematikunterricht gibt es jedoch zumeist wenig Lerngelegenheiten, um Beweisen zu erlernen. Insbesondere Lehr-Lern-Arrangements zur Förderung des Beweisens unter Berücksichtigung der sprachlichen Anforderungen fehlen. Aus diesem Grund stellt Kerstin Hein ein theoretisch fundiertes und empirisch erprobtes Lehr-Lern-Arrangement zur Förderung des Beweisens vor. Sie untersucht dafür logische Strukturen und die darauf bezogenen Beweistätigkeiten unter Berücksichtigung der Sprache, die bisher selten als Lerngegenstand betrachtet wurden. Die Autorin rekonstruiert Wirkungsweisen von graphischen und sprachlichen Unterstützungsformaten und die individuellen Lernwege bei der Bearbeitung des entwickelten Lehr-Lern-Arrangements.
Logistic Regression: A Primer (Quantitative Applications in the Social Sciences #132)
by Fred C. PampelThis volume helps readers understand the intuitive logic behind logistic regression through nontechnical language and simple examples. The Second Edition presents results from several statistical packages to help interpret the meaning of logistic regression coefficients, presents more detail on variations in logistic regression for multicategory outcomes, and describes some potential problems in interpreting logistic regression coefficients. A companion website includes the three data sets and Stata, SPSS, and R commands needed to reproduce all the tables and figures in the book. Finally, the Appendix reviews the meaning of logarithms, and helps readers understand the use of logarithms in logistic regression as well as in other types of models.
Logistic Regression: A Primer (Quantitative Applications in the Social Sciences #132)
by Fred C. PampelThis volume helps readers understand the intuitive logic behind logistic regression through nontechnical language and simple examples. The Second Edition presents results from several statistical packages to help interpret the meaning of logistic regression coefficients, presents more detail on variations in logistic regression for multicategory outcomes, and describes some potential problems in interpreting logistic regression coefficients. A companion website includes the three data sets and Stata, SPSS, and R commands needed to reproduce all the tables and figures in the book. Finally, the Appendix reviews the meaning of logarithms, and helps readers understand the use of logarithms in logistic regression as well as in other types of models.
Logistics, Supply Chain and Financial Predictive Analytics: Theory And Practices (Asset Analytics)
by Kusum Deep Madhu Jain Said SalhiThis book addresses a broad range of problems commonly encountered in the fields of financial analysis, logistics and supply chain management, such as the use of big data analytics in the banking sector. Divided into twenty chapters, some of the contemporary topics discussed in the book are co-operative/non-cooperative supply chain models for imperfect quality items with trade-credit financing; a non-dominated sorting water cycle algorithm for the cardinality constrained portfolio problem; and determining initial, basic and feasible solutions for transportation problems by means of the “supply demand reparation method” and “continuous allocation method.” In addition, the book delves into a comparison study on exponential smoothing and the Arima model for fuel prices; optimal policy for Weibull distributed deteriorating items varying with ramp type demand rate and shortages; an inventory model with shortages and deterioration for three different demand rates; outlier labeling methods for medical data; a garbage disposal plant as a validated model of a fault-tolerant system; and the design of a “least cost ration formulation application for cattle”; a preservation technology model for deteriorating items with advertisement dependent demand and trade credit; a time series model for stock price forecasting in India; and asset pricing using capital market curves. The book offers a valuable asset for all researchers and industry practitioners working in these areas, giving them a feel for the latest developments and encouraging them to pursue further research in this direction.
Logistische Regression: Eine anwendungsorientierte Einführung mit R (essentials)
by Markus Kalisch Lukas MeierDieses Open-Access-Buch gibt eine anwendungsorientierte Einführung in die logistische Regression. Ausgehend von Grundkenntnissen der linearen Regression wird diese zuerst als zweistufiges Modell interpretiert, was den Übergang zur logistischen Regression vereinfacht. Neben einer kompakten Einführung der entsprechenden Theorie liegt der Fokus auch auf der Umsetzung mit der Statistiksoftware R und der richtigen Formulierung der entsprechenden Ergebnisse. Alle Schritte werden anhand zahlreicher Beispiele illustriert. Hinzu kommt eine Einführung in die Klassifikation mit den entsprechenden Begriffen.
Lognormal Distributions: Theory and Applications (Statistics: A Series Of Textbooks And Monographs #88)
by CrowPresenting the first comprehensive review of the subject's theory and applications inmore than 15 years, this outstanding reference encompasses the most-up-to-date advancesin lognormal distributions in thorough, detailed contributions by specialists in statistics,business and economics , industry, biology , ecology, geology, and meteorology.Lognormal Distributions describes the theory and methods of point and intervalestimation as well as the testing of hypotheses clearly and precisely from a modemviewpoint-not only for the basic two-parameter lognormal distribution but also for itsgeneralizations, including three parameters, truncated distributions, delta-lognormaldistributions, and two or more dimensions.Featuring over 600 references plus author and subject indexes, this volume rev iews thesubject's history .. . gives explicit formulas for minimum variance unbiased estimates ofparameters and their variances ... provides optimal tests of hypotheses and confidenceinterval procedures for various functions of the parameters in the two-parameter model. .. and discusses practical methods of analysis for truncated, censored, or groupedsamples.
Logos and Alogon: Thinkable and the Unthinkable in Mathematics, from the Pythagoreans to the Moderns
by Arkady PlotnitskyThis book is a philosophical study of mathematics, pursued by considering and relating two aspects of mathematical thinking and practice, especially in modern mathematics, which, having emerged around 1800, consolidated around 1900 and extends to our own time, while also tracing both aspects to earlier periods, beginning with the ancient Greek mathematics. The first aspect is conceptual, which characterizes mathematics as the invention of and working with concepts, rather than only by its logical nature. The second, Pythagorean, aspect is grounded, first, in the interplay of geometry and algebra in modern mathematics, and secondly, in the epistemologically most radical form of modern mathematics, designated in this study as radical Pythagorean mathematics. This form of mathematics is defined by the role of that which beyond the limits of thought in mathematical thinking, or in ancient Greek terms, used in the book’s title, an alogon in the logos of mathematics. The outcome of this investigation is a new philosophical and historical understanding of the nature of modern mathematics and mathematics in general. The book is addressed to mathematicians, mathematical physicists, and philosophers and historians of mathematics, and graduate students in these fields.
The Long Baby Boom: An Optimistic Vision for a Graying Generation
by Jeff Goldsmith“Important, timely . . . should be the basis for a national debate about how we each want to grow older and what kind of society we want to do it in.” —John Rother, Group Executive Officer of Policy and Strategy, AARPThe aging of the boomer generation has unleashed a veritable tidal wave of gloomy punditry, advertising for financial services, and forecasts of impending national bankruptcy. In The Long Baby Boom, Jeff Goldsmith counters the catastrophic predictions with a far more optimistic scenario.Drawing on evidence that most baby boomers plan on working long past age sixty-five, Goldsmith argues that they will have a constructive impact on society. By assuming a much larger portion of the financial burden of their own retirement and health costs, they will help preserve Social Security and Medicare for the less fortunate—and for successive generations.The Long Baby Boom is the first comprehensive forecast of baby boomers’ career plans, health trends, and cultural and political values. Goldsmith’s pro-work, pro-savings, pro-health social policy emphasizes personal responsibility without ripping the social safety net. Constructive and innovative, The Long Baby Boom doesn’t promise a cloud-free future, but it does reassure us that the sky isn’t falling.
Long-Memory Processes: Probabilistic Properties and Statistical Methods
by Jan Beran Rafal Kulik Sucharita Ghosh Yuanhua FengLong-memory processes are known to play an important part in many areas of science and technology, including physics, geophysics, hydrology, telecommunications, economics, finance, climatology, and network engineering. In the last 20 years enormous progress has been made in understanding the probabilistic foundations and statistical principles of such processes. This book provides a timely and comprehensive review, including a thorough discussion of mathematical and probabilistic foundations and statistical methods, emphasizing their practical motivation and mathematical justification. Proofs of the main theorems are provided and data examples illustrate practical aspects. This book will be a valuable resource for researchers and graduate students in statistics, mathematics, econometrics and other quantitative areas, as well as for practitioners and applied researchers who need to analyze data in which long memory, power laws, self-similar scaling or fractal properties are relevant.
Long-Range Dependence and Self-Similarity (Cambridge Series in Statistical and Probabilistic Mathematics #45)
by Vladas Pipiras Murad S. TaqquThis modern and comprehensive guide to long-range dependence and self-similarity starts with rigorous coverage of the basics, then moves on to cover more specialized, up-to-date topics central to current research. These topics concern, but are not limited to, physical models that give rise to long-range dependence and self-similarity; central and non-central limit theorems for long-range dependent series, and the limiting Hermite processes; fractional Brownian motion and its stochastic calculus; several celebrated decompositions of fractional Brownian motion; multidimensional models for long-range dependence and self-similarity; and maximum likelihood estimation methods for long-range dependent time series. Designed for graduate students and researchers, each chapter of the book is supplemented by numerous exercises, some designed to test the reader's understanding, while others invite the reader to consider some of the open research problems in the field today.
Long-Term Ecological Research
by Cornelia Baessler Felix Müller Hendrik Schubert Stefan KlotzEcosystems change on a multitude of spatial and temporal scales. While analyses of ecosystem dynamics in short timespans have received much attention, the impacts of changes in the long term have, to a great extent, been neglected, provoking a lack of information and methodological know-how in this area. This book fills this gap by focusing on studies dealing with the investigation of complex, long-term ecological processes with regard to global change, the development of early warning systems, and the acquisition of a scientific basis for strategic conservation management and the sustainable use of ecosystems. Within this book, theoretical ecological questions of long-term processes, as well as an international dimension of long-term monitoring, observations and research are brought together. The outcome is an overview on different aspects of long-term ecological research. Aquatic, as well as terrestrial ecosystems are represented.
Long-Term Health State Estimation of Energy Storage Lithium-Ion Battery Packs
by Qi Huang Shunli Wang Zonghai Chen Ran Xiong Carlos Fernandez Daniel-I. StroeThis book investigates in detail long-term health state estimation technology of energy storage systems, assessing its potential use to replace common filtering methods that constructs by equivalent circuit model with a data-driven method combined with electrochemical modeling, which can reflect the battery internal characteristics, the battery degradation modes, and the battery pack health state. Studies on long-term health state estimation have attracted engineers and scientists from various disciplines, such as electrical engineering, materials, automation, energy, and chemical engineering. Pursuing a holistic approach, the book establishes a fundamental framework for this topic, while emphasizing the importance of extraction for health indicators and the significant influence of electrochemical modeling and data-driven issues in the design and optimization of health state estimation in energy storage systems. The book is intended for undergraduate and graduate students who are interested in new energy measurement and control technology, researchers investigating energy storage systems, and structure/circuit design engineers working on energy storage cell and pack.