Автор: Barker-Plummer Dave Название: Language, Proof and Logic, (+CD-ROM) 2nd Edition ISBN: 1575866323 ISBN-13(EAN): 9781575866321 Издательство: Wiley Рейтинг: Цена: 16051.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A textbook/software package that covers first-order language in a method appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course. It also includes applications for mobile devices, exercises, and a dedicated website.
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.
Автор: Rafa? Urbaniak; Gillman Payette Название: Applications of Formal Philosophy ISBN: 3319585053 ISBN-13(EAN): 9783319585055 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: It covers topics such as: the uses of probable and statistical reasoning, rational choice theory, reasoning in the environmental sciences, reasoning about laws and changes of rules, and reasoning about collective decision procedures as well as about action.
Автор: Uwe Meixner Название: Axiomatic Formal Ontology ISBN: 079234717X ISBN-13(EAN): 9780792347170 Издательство: Springer Рейтинг: Цена: 31305.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Axiomatic Formal Ontology is a fairly comprehensive systematic treatise on general metaphysics. Its main theme is the construction of a general non-set-theoretical theory of intensional entities. Other important matters discussed are the metaphysics of modality, the nature of actual existence, mereology and the taxonomy of entities.
Автор: Fitting Название: First-Order Modal Logic ISBN: 0792353358 ISBN-13(EAN): 9780792353355 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Поставка под заказ.
Описание: Presents a treatment of first-order modal logic, together with propositional background. This book covers quantification, including the difference between actualist and possibilist quantifiers; equality, leading to a treatment of Frege`s morning star/evening star puzzle; the notion of existence and the logical problems surrounding it; and more.
Автор: Greg Restall Название: Logic ISBN: 0415400686 ISBN-13(EAN): 9780415400688 Издательство: Taylor&Francis Рейтинг: Цена: 5970.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A comprehensive introduction to the major concepts and techniques involved in the study of logic. It explores both formal and philosophical logic, and examines the ways in which we can achieve good reasoning.
Автор: Dutilh Novaes Название: Formal Languages in Logic ISBN: 110746031X ISBN-13(EAN): 9781107460317 Издательство: Cambridge Academ Рейтинг: Цена: 5069.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents a new approach to formal languages, in particular but not exclusively as used in logic. Focuses on their cognitive impact on human reasoning, drawing on historical developments, psychology, cognitive science and philosophy. For students and researchers in the areas of logic and computer science.
Автор: Thomas Macaulay Ferguson Название: Meaning and Proscription in Formal Logic ISBN: 3319708201 ISBN-13(EAN): 9783319708201 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
This book aids in the rehabilitation of the wrongfully deprecated work of William Parry, and is the only full-length investigation into Parry-type propositional logics.
A central tenet of the monograph is that the sheer diversity of the contexts in which the mereological analogy emerges - its effervescence with respect to fields ranging from metaphysics to computer programming - provides compelling evidence that the study of logics of analytic implication can be instrumental in identifying connections between topics that would otherwise remain hidden. More concretely, the book identifies and discusses a host of cases in which analytic implication can play an important role in revealing distinct problems to be facets of a larger, cross-disciplinary problem.
It introduces an element of constancy and cohesion that has previously been absent in a regrettably fractured field, shoring up those who are sympathetic to the worth of mereological analogy. Moreover, it generates new interest in the field by illustrating a wide range of interesting features present in such logics - and highlighting these features to appeal to researchers in many fields.
Автор: Mikko Yrj?nsuuri Название: Medieval Formal Logic ISBN: 0792366743 ISBN-13(EAN): 9780792366744 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Central topics in medieval logic are here treated in a way that is congenial to the modern reader, without compromising historical reliability. There is also a systematic account of how medieval authors described the logical content of an inference, and how they thought that the validity of an inference could be guaranteed.
Автор: Frederick J. Crosson; P. Lorenzen Название: Formal Logic ISBN: 902770080X ISBN-13(EAN): 9789027700803 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: "Logic", one of the central words in Western intellectual history, compre- hends in its meaning such diverse things as the Aristotelian syllogistic, the scholastic art of disputation, the transcendental logic of the Kantian critique, the dialectical logic of Hegel, and the mathematical logic of the Principia Mathematica of Whitehead and Russell.
Автор: Mikko Yrj?nsuuri Название: Medieval Formal Logic ISBN: 9048156041 ISBN-13(EAN): 9789048156047 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Central topics in medieval logic are here treated in a way that is congenial to the modern reader, without compromising historical reliability. There is also a systematic account of how medieval authors described the logical content of an inference, and how they thought that the validity of an inference could be guaranteed.
Автор: L.H. Hackstaff Название: Systems of Formal Logic ISBN: 9401035490 ISBN-13(EAN): 9789401035491 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This system serves as a basis upon which a variety of further sys- tems are constructed, including, among others, a full classical proposi- tional calculus, an intuitionistic system, a minimum propositional calcu- lus, a system equivalent to that of F.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
