|
Works of George Boole [Djvu Pdf - Eng][TNT Village] [Tntvillage.Scambioetico]
George Boole
Visit this info link: Link 
Language: English
Writer: George Boole
Size: 34,8 MB
Extension: DJVU & PDF(scan)
Origin: scan blue and white
OCR: Various
The Mathematical Analysis of Logic
From Amazon:
Self-taught mathematician George Boole (1815-1864) published a pamphlet in 1847 - The Mathematical Analysis of Logic - that launched him into history as one of the nineteenth century's most original thinkers. In the introduction, Boole closely adheres to two themes: the fundamental unity of all science and the close relationship between logic and mathematics. In the first chapter, he examines first principles of formal logic, and then moves on to Aristotelian syllogism, hypotheticals, and the properties of elective functions. Boole uses this pamphlet to answer a well-known logician of the day, Sir William Hamilton, who believed that only philosophers could study 'the science of real existence', while all mathematicians could do was measure things. In essence, The Mathematical Analysis of Logic humbly chides Hamilton and asks him to rethink his bias. Boole is compelling reading for anyone interested in intellectual history and the science of the mind.
From Alibris:
George Boole (1815-1864) is renowned as the first logician to apply algebraic methods to logic successfully. His Mathematical Analysis of Logic, first published in 1847, was the ground-breaking work that laid the foundations for what is known today as Boolean algebra and the propositional calculus. Written in response to the altercation between Sr. William Hamilton and Augustus de Morgan over the quantification of the predicate within syllogistic theory, its remarkable innovations led other logicians, among them William Stanley Jevons, John Venn, Charles Sanders Peirce, and Ernst Schroder, to refine and develop Boole's system. In turn, their efforts were incorporated by Alfred North Whitehead and Bertrand Russell into the monumental system of Principia Mathematica. In short, modern symbolic logic was founded in the pages of this book.
A treatise on the calculus of finite differences
The English mathematician and logician GEORGE BOOLE (1814-1864) is best known as a founder of modern symbolic logic.
This book was designed as a sequel to his Treatise on Differential Equations (1859). Divided into two sections (Difference- and Sum-Calculus and Difference- and Functional Equations), and containing more than 200 exercises (complete with answers), Boole discusses: nature of the calculus of finite differences. direct theorems of finite differences finite integration, and the summation of series Bernoulli's number, and factorial coefficients convergency and divergency of series difference-equations of the first order. linear difference-equations with constant coefficients mixed and partial difference-equations and much more.
Logic, Logic, and Logic
Book Description:
George Boolos was one of the most prominent and influential logician-philosophers of recent times. This collection, nearly all chosen by Boolos himself shortly before his death, includes thirty papers on set theory, second-order logic, and plural quantifiers; on Frege, Dedekind, Cantor, and Russell; and on miscellaneous topics in logic and proof theory, including three papers on various aspects of the Gödel theorems. Boolos is universally recognized as the leader in the renewed interest in studies of Frege's work on logic and the philosophy of mathematics
. John Burgess has provided introductions to each of the three parts of the volume, and also an afterword on Boolos's technical work in provability logic, which is beyond the scope of this volume.
A Treatise on Differential Equations
This Elibron Classics book is a facsimile reprint of a 1877 edition by Macmillan and Co., London.
NOTE & PREVIEW
-----------------------------------------------------------------------------------------------------------------------------------------------------
   
Visit http://www.tntvillage.scambioetico.org/ |
