The Scope of Formal Logic: The New Logical Doctrines Expounded

A. Thomas Shearman

ISBN 10: 1330375815 / ISBN 13: 9781330375815

Published by Forgotten Books, 2022

About this Item

Print on Demand. This book delves into the evolution of logic's distinctive procedures, from the time of Boole to the present day. Including many detailed explanations and thoughtful illustrations, it explores how the scope of formal logic extends far beyond the classical syllogistic form. Through careful examination of generalized logical processes, the author demonstrates how they lie at the very heart of mathematical reasoning, infusing pure mathematics with a universal logic. Providing a unique blend of criticism and justification, the author maintains that the new thinkers in this field have made substantial progress. This book will intrigue any reader with an interest in logic or the foundations of mathematics, as it offers a meticulously detailed analysis of how the boundaries of formal logic have been extended. This book is a reproduction of an important historical work, digitally reconstructed using state-of-the-art technology to preserve the original format. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in the book.

Seller Inventory # 9781330375815_0

Bibliographic Details

• Title: The Scope of Formal Logic: The New Logical Doctrines Expounded
• Publisher: Forgotten Books
• Publication Date: 2022
• Language: English
• ISBN 10: 1330375815
• ISBN 13: 9781330375815
• Binding: Paperback
• Condition: New
• Book Type: print-on-demand item
• Seller catalogs:
  • Logic

About this title

Synopsis

Formal logic extends beyond syllogisms, offering a generalized framework that underpins mathematics and thought.

This book surveys the new approach to logic, explaining how symbols and formal rules reveal a broader discipline. It emphasizes terms like propositional function, variables, and types, and shows how these ideas influence both mathematics and philosophical analysis. The discussion centers on how the major logicians—Frege, Peano, and Russell—shape a view in which formal logic serves as a foundation for many kinds of reasoning, not just traditional syllogisms.

• Clear explanations of key terms such as propositional function, variables, indefinable, and primitive proposition.
• Attention to how different logicians use symbols and the role of Logical Types.
• Connections between formal logic, mathematics, and philosophical assumptions about space and existence.
• Illustrations of how modern logic treats problems without relying on fixed intuition about objects or movement.

Ideal for readers curious about the development of logical theory and its overlap with mathematics and philosophy.