The information age owes its existence to a little-known but crucial development, the theoretical study of logic and the foundations of mathematics. The Great Formal Machinery Works draws on original sources and rare archival materials to trace the history of the theories of deduction and computation that laid the logical foundations for the digital revolution.
Jan von Plato examines the contributions of figures such as Aristotle; the nineteenth-century German polymath Hermann Grassmann; George Boole, whose Boolean logic would prove essential to programming languages and computing; Ernst Schr der, best known for his work on algebraic logic; and Giuseppe Peano, cofounder of mathematical logic. Von Plato shows how the idea of a formal proof in mathematics emerged gradually in the second half of the nineteenth century, hand in hand with the notion of a formal process of computation. A turning point was reached by 1930, when Kurt G del conceived his celebrated incompleteness theorems. They were an enormous boost to the study of formal languages and computability, which were brought to perfection by the end of the 1930s with precise theories of formal languages and formal deduction and parallel theories of algorithmic computability. Von Plato describes how the first theoretical ideas of a computer soon emerged in the work of Alan Turing in 1936 and John von Neumann some years later.
Shedding new light on this crucial chapter in the history of science, The Great Formal Machinery Works is essential reading for students and researchers in logic, mathematics, and computer science.
Автор: Halbach Название: Axiomatic Theories of Truth ISBN: 1107424429 ISBN-13(EAN): 9781107424425 Издательство: Cambridge Academ Рейтинг: Цена: 6494.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Volker Halbach examines the most important axiomatizations of truth, explores their properties and shows how the logical results impinge on the philosophical topics related to truth. His book will be indispensable reading for any graduate or professional philosopher in theories of truth.
Автор: Fischer Название: Modal Justification via Theories ISBN: 3319491261 ISBN-13(EAN): 9783319491264 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This monograph articulates and defends a theory-based epistemology of modality (TEM). According to TEM, someone justifiably believe an interesting modal claim if and only if (a) she justifiably believes a theory according to which that claim is true, (b) she believes that claim on the basis of that theory, and (c) she has no defeaters for her belief in that claim. The book has two parts. In the first, the author motivates TEM, sets out the view in detail, and defends it against a number of objections. In the second, the author considers whether TEM is worth accepting. To argue that it is, the author sets out criteria for choosing between modal epistemologies, concluding that TEM has a number of important virtues. However, the author also concedes that TEM is cautious: it probably implies that we are not justified in believing some interesting modal claims that we might take ourselves to be justified in believing. This raises a question about TEM's relationship to Peter van Inwagen's modal skepticism, which the author explores in detail. As it turns out, TEM offers a better route to modal skepticism than the one that van Inwagen provides. But rather than being a liability, the author argues that this is a further advantage of the view. Moreover, he argues that other popular modal epistemologies do not fare better: they cannot easily secure more extensive modal justification than TEM. The book concludes by clarifying TEM’s relationship to the other modal epistemologies on offer, contending that TEM need not be a rival to those views, but can instead be a supplement to them.
Автор: Parsons Название: Theories of Intensionality ISBN: 9811024820 ISBN-13(EAN): 9789811024825 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book offers a comprehensive primer for the study of intensionality. It explores and assesses those key theories of intensionality which have been developed in the twentieth and early twenty-first centuries. Each of the examined theories is tested as to whether it can account for the problems associated with (A) the intersubstitution salva veritate of co-extensional expressions, and (B) existential generalisation. All of these theories are subsequently compared so as to determine which of them comes closest to successfully solving these problems. The book examines four kinds of intensionalist approaches: the Fregean approach (including Church's formalisation of Frege's theory); the possible-worlds approaches of Carnap, Montague and Cresswell; the theory of properties relations and propositions devised by Bealer; and the Meinongian approaches put forward by Zalta and Priest. The book also proposes an alternative to intensionalism: sententialism. Sententialists argue that the problems of intensionality could be solved by appealing to linguistic items (usually sentences) rather than intensional entities. Drawing on the works of Quine, Davidson, Scheffler and R. M. Martin, it explores the viability and value of sententialism as an alternative to intensionalism.
Описание: Focusing on the foundations, this volume explores both classical and constructive mathematics. Its great advantage is to extend the traditional discussion of the foundations of mathematics and to render it at the same time both subtle and more differentiated.
Название: theories of the Evolution of Knowing ISBN: 1138876143 ISBN-13(EAN): 9781138876149 Издательство: Taylor&Francis Рейтинг: Цена: 8726.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume presents current thought and criticism on evolutionary epistemology -- the evolution of knowledge and knowing. As the theme of the fourth T.C. Schneirla Conference held at Wichita State University, evolutionary epistemology was examined from several diverse areas of study including comparative, developmental, physiological, and cultural psychology as well as philosophy. Theories of the Evolution of Knowing addresses alternatives to the genetic determinism inherent in Donald Campbell's concept of genetic epistemology. The concept of integrative levels is shown to offer a parsimonious, non- reductionist approach to the development of "knowing" as a human capacity.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
