First published in 1961, Inductive Probability is a dialectical analysis of probability as it occurs in inductions. The book elucidates on the various forms of inductive, the criteria for their validity, and the consequent probabilities....Loe edasi...
Sari: AK Peters/CRC Recreational Mathematics Series
(Ilmumisaeg: 14-Oct-2024, Kirjastus: Taylor & Francis Ltd, ISBN-13: 9780429104947)
This book unifies ideas from set theory and mathematical logic and traces their effects on mainstream mathematical topics of today, such as number theory and combinatorics. Ideas are shown to evolve from natural mathematical questions about the natu...Loe edasi...
Symbolic regression (SR) is one of the most powerful machine learning techniques that produces transparent models, searching the space of mathematical expressions for a model that represents the relationship between the predictors and the dependent...Loe edasi...
This is the first comprehensive textbook on higher order logic that is written specifically to introduce the subject matter to graduate students in philosophy....Loe edasi...
This book describes the logical structure of Mathematics from its foundations to its real-world applications. It describes the many interweaving relationships between different areas of mathematics and its practical applications, and as such provide...Loe edasi...
Originally published in 1966 On the Syllogism and Other Logical Writings assembles for the first time the five celebrated memoirs of Augustus De Morgan on the syllogism....Loe edasi...
This book deals with two most important branches of mathematics, namely, logic and set theory. Logic and set theory are two closely related branches of mathematics that play very crucial roles in the foundations of mathematics, and together produce...Loe edasi...
What is philosophically relevant about the nature of logico-mathematical knowledge in recent research in psychology and cognitive science? The essays in this collection tackle this important philosophical query from the perspective of cognitive psyc...Loe edasi...
Model theory is one of the central branches of mathematical logic. The field has evolved rapidly in the last few decades. This book is an introduction to current trends in model theory, and contains a collection of articles authored by top researche...Loe edasi...
This book addresses the logical aspects of the foundations of scientific theories. Even though the relevance of formal methods in the study of scientific theories is now widely recognized and regaining prominence, the issues covered here are still n...Loe edasi...
Originally published in 1964. This book is concerned with general arguments, arguments that rely for their force on the ideas expressed by all, every, any, some, none and other kindred words or phrases. Quantificational form is dealt with before an...Loe edasi...
Originally published in 1962. This clear and simple account of the growth and structure of Mathematical Logic requires no previous knowledge of logic. It outlines the four lines of thought that have been its roots and goes on to the main theories of...Loe edasi...
This book introduces the technical tools and concepts that are indispensable for advanced work in philosophy. Beginning with the fundamentals of set theory, the author guides the reader through relations, functions and the theory of arithmetic befor...Loe edasi...
A First Course in Logic is an introduction to first-order logic suitable for first and second year mathematicians and computer scientists. There are three components to this course: propositional logic; Boolean algebras; and predicate/first-order, l...Loe edasi...
First published in 1998,. Taking on Wittgensteinianism themes, but also using, or relying on several mathematical results, Slater in this book explores the idea of realism and further argues how in a philosophical viewpoint is incorrect. Slater also...Loe edasi...
The development of mathematical competence -- both by humans as a species over millennia and by individuals over their lifetimes -- is a fascinating aspect of human cognition. This book explores a vast range of psychological questions related to mat...Loe edasi...
This volume of Bertrand Russells Collected Papers finds Russell focused on writing Principia Mathematica during 190508. The volumes 80-page introduction covers the evolution of his logic from 1896 until 1909, when volume I of Principia went to the...Loe edasi...
(Ilmumisaeg: 28-Feb-2013, Kirjastus: Oxford University Press, ISBN-13: 9780199665785)
These new studies of Wittgensteins Tractatus represent a significant step beyond recent polemical debate. They cover a wide range of themes, and show that close investigation into the composition of the Tractatus, and into the various influences on...Loe edasi...
(Ilmumisaeg: 25-Nov-2011, Kirjastus: ISTE Ltd and John Wiley & Sons Inc, ISBN-13: 9781118601457)
* Starting with an updated description of Allens calculus, the book proceeds with a description of the main qualitative calculi which have been developed over the last two decades * It describes the connection of complexity issues to geometric p...Loe edasi...
(Ilmumisaeg: 05-May-2011, Kirjastus: Oxford University Press, ISBN-13: 9780199606207)
Richard Tieszen analyzes, develops, and defends the writings of Kurt Gödel (1906-1978) on the philosophy and foundations of mathematics and logic. Gödels relation to the work of Plato, Leibniz, Husserl, and Kant is examined, and a new type of plato...Loe edasi...
(Ilmumisaeg: 18-Apr-2011, Kirjastus: John Wiley & Sons Inc, ISBN-13: 9781119991472)
This book provides an introduction to formal methods based on temporal logic, describing techniques for testing and developing complex computational systems. It starts with a full introduction to the subject and then goes into more detail, covering...Loe edasi...
(Ilmumisaeg: 14-Oct-2010, Kirjastus: Oxford University Press, ISBN-13: 9780199541492)
Truth Through Proof defends an anti-platonist philosophy of mathematics derived from game formalism. Alan Weir aims to develop a more satisfactory successor to game formalism utilising a widely accepted, broadly neo-Fregean framework, in which the p...Loe edasi...
