Studies in Logic

Studies in Logic PDF Author: Charles S. Peirce
Publisher:
ISBN:
Category :
Languages : en
Pages : 203

Get Book Here

Book Description

Studies in Logic

Studies in Logic PDF Author: Charles S. Peirce
Publisher:
ISBN:
Category :
Languages : en
Pages : 203

Get Book Here

Book Description


Studies in Logic

Studies in Logic PDF Author: Charles Sanders Peirce
Publisher:
ISBN:
Category : Logic
Languages : en
Pages : 306

Get Book Here

Book Description


The Development of Modern Logic

The Development of Modern Logic PDF Author: Leila Haaparanta
Publisher: Oxford University Press
ISBN: 0199722722
Category : Philosophy
Languages : en
Pages : 1005

Get Book Here

Book Description
This edited volume presents a comprehensive history of modern logic from the Middle Ages through the end of the twentieth century. In addition to a history of symbolic logic, the contributors also examine developments in the philosophy of logic and philosophical logic in modern times. The book begins with chapters on late medieval developments and logic and philosophy of logic from Humanism to Kant. The following chapters focus on the emergence of symbolic logic with special emphasis on the relations between logic and mathematics, on the one hand, and on logic and philosophy, on the other. This discussion is completed by a chapter on the themes of judgment and inference from 1837-1936. The volume contains a section on the development of mathematical logic from 1900-1935, followed by a section on main trends in mathematical logic after the 1930s. The volume goes on to discuss modal logic from Kant till the late twentieth century, and logic and semantics in the twentieth century; the philosophy of alternative logics; the philosophical aspects of inductive logic; the relations between logic and linguistics in the twentieth century; the relationship between logic and artificial intelligence; and ends with a presentation of the main schools of Indian logic. The Development of Modern Logic includes many prominent philosophers from around the world who work in the philosophy and history of mathematics and logic, who not only survey developments in a given period or area but also seek to make new contributions to contemporary research in the field. It is the first volume to discuss the field with this breadth of coverage and depth, and will appeal to scholars and students of logic and its philosophy.

The Rise of Modern Logic: from Leibniz to Frege

The Rise of Modern Logic: from Leibniz to Frege PDF Author: Dov M. Gabbay
Publisher: Elsevier
ISBN: 008053287X
Category : Mathematics
Languages : en
Pages : 781

Get Book Here

Book Description
With the publication of the present volume, the Handbook of the History of Logic turns its attention to the rise of modern logic. The period covered is 1685-1900, with this volume carving out the territory from Leibniz to Frege. What is striking about this period is the earliness and persistence of what could be called 'the mathematical turn in logic'. Virtually every working logician is aware that, after a centuries-long run, the logic that originated in antiquity came to be displaced by a new approach with a dominantly mathematical character. It is, however, a substantial error to suppose that the mathematization of logic was, in all essentials, Frege's accomplishment or, if not his alone, a development ensuing from the second half of the nineteenth century. The mathematical turn in logic, although given considerable torque by events of the nineteenth century, can with assurance be dated from the final quarter of the seventeenth century in the impressively prescient work of Leibniz. It is true that, in the three hundred year run-up to the Begriffsschrift, one does not see a smoothly continuous evolution of the mathematical turn, but the idea that logic is mathematics, albeit perhaps only the most general part of mathematics, is one that attracted some degree of support throughout the entire period in question. Still, as Alfred North Whitehead once noted, the relationship between mathematics and symbolic logic has been an "uneasy" one, as is the present-day association of mathematics with computing. Some of this unease has a philosophical texture. For example, those who equate mathematics and logic sometimes disagree about the directionality of the purported identity. Frege and Russell made themselves famous by insisting (though for different reasons) that logic was the senior partner. Indeed logicism is the view that mathematics can be re-expressed without relevant loss in a suitably framed symbolic logic. But for a number of thinkers who took an algebraic approach to logic, the dependency relation was reversed, with mathematics in some form emerging as the senior partner. This was the precursor of the modern view that, in its four main precincts (set theory, proof theory, model theory and recursion theory), logic is indeed a branch of pure mathematics. It would be a mistake to leave the impression that the mathematization of logic (or the logicization of mathematics) was the sole concern of the history of logic between 1665 and 1900. There are, in this long interval, aspects of the modern unfolding of logic that bear no stamp of the imperial designs of mathematicians, as the chapters on Kant and Hegcl make clear. Of the two, Hcgel's influence on logic is arguably the greater, serving as a spur to the unfolding of an idealist tradition in logic - a development that will be covered in a further volume, British Logic in the Nineteenth Century.

The Logical Tracts

The Logical Tracts PDF Author: Ahti-Veikko Pietarinen
Publisher: Walter de Gruyter GmbH & Co KG
ISBN: 3110649659
Category : Philosophy
Languages : en
Pages : 447

Get Book Here

Book Description
In three comprehensive volumes, Logic of the Future presents a full panorama of Charles S. Peirce’s important late writings. Among the most influential American thinkers, Peirce took his existential graphs to be his greatest contribution to human thought. The manuscripts from 1895—1913, most of which are published here for the first time, testify the richness and open-endedness of his theory of logic and its applications. They also invite us to reconsider our ordinary conceptions of reasoning as well as the conventional stories told about the evolution of modern logic. This second volume collects Peirce’s writings on existential graphs related to his Lowell Lectures of 1903, the annus mirabilis of his that became decisive in the development of the mature theory of the graphical method of logic.

Relational Methods in Computer Science

Relational Methods in Computer Science PDF Author: Chris Brink
Publisher: Springer Science & Business Media
ISBN: 3709165105
Category : Computers
Languages : en
Pages : 289

Get Book Here

Book Description
The calculus of relations has been an important component of the development of logic and algebra since the middle of the nineteenth century, when Augustus De Morgan observed that since a horse is an animal we should be able to infer that the head of a horse is the head of an animal. For this, Aristotelian syllogistic does not suffice: We require relational reasoning. George Boole, in his Mathematical Analysis of Logic of 1847, initiated the treatment of logic as part of mathematics, specifically as part of algebra. Quite the opposite conviction was put forward early this century by Bertrand Russell and Alfred North Whitehead in their Principia Mathematica (1910 - 1913): that mathematics was essentially grounded in logic. Logic thus developed in two streams. On the one hand algebraic logic, in which the calculus of relations played a particularly prominent part, was taken up from Boole by Charles Sanders Peirce, who wished to do for the "calculus of relatives" what Boole had done for the calculus of sets. Peirce's work was in turn taken up by Schroder in his Algebra und Logik der Relative of 1895 (the third part of a massive work on the algebra of logic). Schroder's work, however, lay dormant for more than 40 years, until revived by Alfred Tarski in his seminal paper "On the calculus of binary relations" of 1941 (actually his presidential address to the Association for Symbolic Logic).

Psychology and Its Cities

Psychology and Its Cities PDF Author: Christopher D. Green
Publisher: Routledge
ISBN: 135167160X
Category : Psychology
Languages : en
Pages : 439

Get Book Here

Book Description
Within the social and political upheaval of American cities in the decades surrounding the turn of the 20th century, a new scientific discipline, psychology, strove to carve out a place for itself. In this new history of early American psychology, Christopher D. Green highlights the urban contexts in which much of early American psychology developed and tells the stories of well-known early psychologists, including William James, G. Stanley Hall, John Dewey, and James McKeen Cattell, detailing how early psychologists attempted to alleviate the turmoil around them. American psychologists sought out the daunting intellectual, emotional, and social challenges that were threatening to destabilize the nation’s burgeoning urban areas and proposed novel solutions, sometimes to positive and sometimes to negative effect. Their contributions helped develop our modern ideas about the mind, person, and society. This book is ideal for scholars and students interested in the history of psychology.

The algebra of logic

The algebra of logic PDF Author: Louis Couturat
Publisher: BoD - Books on Demand
ISBN:
Category : Mathematics
Languages : en
Pages : 96

Get Book Here

Book Description
Louis Couturat (French: [kutyʁa]; 17 January 1868 – 3 August 1914) was a French logician, mathematician, philosopher, and linguist. Couturat was a pioneer of the constructed language Ido. He was the French advocate of the symbolic logic that emerged in the years before World War I, thanks to the writings of Charles Sanders Peirce, Giuseppe Peano and his school, and especially to The Principles of Mathematics by Couturat's friend and correspondent Bertrand Russell. Like Russell, Couturat saw symbolic logic as a tool to advance both mathematics and the philosophy of mathematics. In this, he was opposed by Henri Poincaré, who took considerable exception to Couturat's efforts to interest the French in symbolic logic. With the benefit of hindsight, we can see that Couturat was in broad agreement with the logicism of Russell, while Poincaré anticipated Brouwer's intuitionism. His first major publication was Couturat (1896). In 1901, he published La Logique de Leibniz, a detailed study of Leibniz the logician, based on his examination of the huge Leibniz Nachlass in Hanover. Even though Leibniz had died in 1716, his Nachlass was cataloged only in 1895. Only then was it possible to determine the extent of Leibniz's unpublished work on logic. In 1903, Couturat published much of that work in another large volume, his Opuscules et Fragments Inedits de Leibniz, containing many of the documents he had examined while writing La Logique. Couturat was thus the first to appreciate that Leibniz was the greatest logician during the more than 2000 years that separate Aristotle from George Boole and Augustus De Morgan. A significant part of the 20th century Leibniz revival is grounded in Couturat's editorial and exegetical efforts. This work on Leibniz attracted Russell, also the author of a 1900 book on Leibniz, and thus began their professional correspondence and friendship. In 1905, Couturat published a work on logic and the foundations of mathematics (with an appendix on Kant's philosophy of mathematics) that was originally conceived as a translation of Russell's Principles of Mathematics. In the same year, he published L'Algèbre de la logique, a classic introduction to Boolean algebra and the works of C.S. Peirce and Ernst Schröder.

The Continuity of Peirce's Thought

The Continuity of Peirce's Thought PDF Author: Kelly A. Parker
Publisher: Vanderbilt University Press
ISBN: 9780826512963
Category : Philosophy
Languages : en
Pages : 300

Get Book Here

Book Description
In The Continuity of Peirce's Thought, Kelly Parker shows how the principle of continuity functions in phenomenology and semeiotic, the two most novel and important of Peirce's philosophical sciences, which mediate between mathematics and metaphysics. Parker argues that Peirce's concept of continuity is the central organizing theme of the entire Peircean philosophical corpus. He explains how Peirce's unique conception of the mathematical continuum shapes the broad sweep of his thought, extending from mathematics to metaphysics and in religion. This new book should appeal to all who seek a fuller, unified understanding of the career and overarching contributions of Peirce, one of the key figures in the American philosophical tradition.

Dictionary of Philosophy and Psychology: Text, Le-Z. Addenda. Indices: I Greek terms. II. Latin terms. III. German terms. IV. French terms. V. Italian terms

Dictionary of Philosophy and Psychology: Text, Le-Z. Addenda. Indices: I Greek terms. II. Latin terms. III. German terms. IV. French terms. V. Italian terms PDF Author: James Mark Baldwin
Publisher:
ISBN:
Category : Philosophy
Languages : en
Pages : 938

Get Book Here

Book Description