Author: Francis BaconPublisher:
ISBN:
Category : Logic
Languages : la
Pages : 742
Book Description
Bacon's Novum organum
Author: Francis BaconA new system of logic
Author: Samuel Richard BosanquetPublisher:
ISBN:
Category :
Languages : en
Pages : 412
Book Description
A New System of Logic, and development of the principles of truth and reasoning, etc
Author: Samuel Richard BOSANQUETPublisher:
ISBN:
Category :
Languages : en
Pages : 404
Book Description
A New System of Logic and Development of the Principles of Truth and Reasoning
Author: Samuel Richard BosanquetPublisher: London : [s.n.]
ISBN:
Category : Ethics
Languages : en
Pages : 402
Book Description
Outline of a New System of Logic
Author: George BenthamPublisher:
ISBN:
Category : Logic
Languages : en
Pages : 304
Book Description
Alan Turing's Systems of Logic
Author: Andrew W. AppelPublisher: Princeton University Press
ISBN: 0691164738
Category : Computers
Languages : en
Pages : 160
Book Description
A facsimile edition of Alan Turing's influential Princeton thesis Between inventing the concept of a universal computer in 1936 and breaking the German Enigma code during World War II, Alan Turing (1912–1954), the British founder of computer science and artificial intelligence, came to Princeton University to study mathematical logic. Some of the greatest logicians in the world—including Alonzo Church, Kurt Gödel, John von Neumann, and Stephen Kleene—were at Princeton in the 1930s, and they were working on ideas that would lay the groundwork for what would become known as computer science. This book presents a facsimile of the original typescript of Turing's fascinating and influential 1938 Princeton PhD thesis, one of the key documents in the history of mathematics and computer science. The book also features essays by Andrew Appel and Solomon Feferman that explain the still-unfolding significance of the ideas Turing developed at Princeton. A work of philosophy as well as mathematics, Turing's thesis envisions a practical goal—a logical system to formalize mathematical proofs so they can be checked mechanically. If every step of a theorem could be verified mechanically, the burden on intuition would be limited to the axioms. Turing's point, as Appel writes, is that "mathematical reasoning can be done, and should be done, in mechanizable formal logic." Turing's vision of "constructive systems of logic for practical use" has become reality: in the twenty-first century, automated "formal methods" are now routine. Presented here in its original form, this fascinating thesis is one of the key documents in the history of mathematics and computer science.
Mill's A System of Logic
Author: Antis LoizidesPublisher: Routledge
ISBN: 113502054X
Category : Philosophy
Languages : en
Pages : 282
Book Description
John Stuart Mill considered his A System of Logic, first published in 1843, the methodological foundation and intellectual groundwork of his later works in ethical, social, and political theory. Yet no book has attempted in the past to engage with the most important aspects of Mill's Logic. This volume brings together leading scholars to elucidate the key themes of this influential work, looking at such topics as his philosophy of language and mathematics, his view on logic, induction and deduction, free will, argumentation, ethology and psychology, as well as his account of normativity, kinds of pleasure, philosophical and political method and the "Art of Life."
The Old New Logic
Author: David S. OderbergPublisher: MIT Press
ISBN: 9780262651066
Category : Philosophy
Languages : en
Pages : 260
Book Description
A diverse group of contributors reflect on the philosophical legacy of Fred Sommers and his efforts to revive and refashion traditional Aristotelian logic for a post-Fregean world.
Temporal Logic and State Systems
Author: Fred KrögerPublisher: Springer Science & Business Media
ISBN: 3540674012
Category : Computers
Languages : en
Pages : 440
Book Description
Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications of linear and branching time temporal logic; TLA (Temporal Logic of Actions); automata theoretical connections; model checking; and related theories. All theoretical details and numerous application examples are elaborated carefully and with full formal rigor, and the book will serve as a basic source and reference for lecturers, graduate students and researchers.
The Logic of Information
Author: Luciano FloridiPublisher: Oxford University Press
ISBN: 0192570277
Category : Mathematics
Languages : en
Pages : 224
Book Description
Luciano Floridi presents an innovative approach to philosophy, conceived as conceptual design. He explores how we make, transform, refine, and improve the objects of our knowledge. His starting point is that reality provides the data, to be understood as constraining affordances, and we transform them into information, like semantic engines. Such transformation or repurposing is not equivalent to portraying, or picturing, or photographing, or photocopying anything. It is more like cooking: the dish does not represent the ingredients, it uses them to make something else out of them, yet the reality of the dish and its properties hugely depend on the reality and the properties of the ingredients. Models are not representations understood as pictures, but interpretations understood as data elaborations, of systems. Thus, he articulates and defends the thesis that knowledge is design and philosophy is the ultimate form of conceptual design. Although entirely independent of Floridi's previous books, The Philosophy of Information (OUP 2011) and The Ethics of Information (OUP 2013), The Logic of Information both complements the existing volumes and presents new work on the foundations of the philosophy of information.