Logic and Foundations of Mathematics

Logic and Foundations of Mathematics
Author: Andrea Cantini
Publisher: Springer Science & Business Media
Total Pages: 283
Release: 2013-03-09
Genre: Mathematics
ISBN: 9401721092

The IOth International Congress of Logic, Methodology and Philosophy of Science, which took place in Florence in August 1995, offered a vivid and comprehensive picture of the present state of research in all directions of Logic and Philosophy of Science. The final program counted 51 invited lectures and around 700 contributed papers, distributed in 15 sections. Following the tradition of previous LMPS-meetings, some authors, whose papers aroused particular interest, were invited to submit their works for publication in a collection of selected contributed papers. Due to the large number of interesting contributions, it was decided to split the collection into two distinct volumes: one covering the areas of Logic, Foundations of Mathematics and Computer Science, the other focusing on the general Philosophy of Science and the Foundations of Physics. As a leading choice criterion for the present volume, we tried to combine papers containing relevant technical results in pure and applied logic with papers devoted to conceptual analyses, deeply rooted in advanced present-day research. After all, we believe this is part of the genuine spirit underlying the whole enterprise of LMPS studies.

Logic: A History of its Central Concepts

Logic: A History of its Central Concepts
Author: Dov M. Gabbay
Publisher: Newnes
Total Pages: 706
Release: 2012-12-31
Genre: Mathematics
ISBN: 0080931707

The Handbook of the History of Logic is a multi-volume research instrument that brings to the development of logic the best in modern techniques of historical and interpretative scholarship. It is the first work in English in which the history of logic is presented so extensively. The volumes are numerous and large. Authors have been given considerable latitude to produce chapters of a length, and a level of detail, that would lay fair claim on the ambitions of the project to be a definitive research work. Authors have been carefully selected with this aim in mind. They and the Editors join in the conviction that a knowledge of the history of logic is nothing but beneficial to the subject's present-day research programmes. One of the attractions of the Handbook's several volumes is the emphasis they give to the enduring relevance of developments in logic throughout the ages, including some of the earliest manifestations of the subject. - Covers in depth the notion of logical consequence - Discusses the central concept in logic of modality - Includes the use of diagrams in logical reasoning

The A to Z of Logic

The A to Z of Logic
Author: Harry J. Gensler
Publisher: Scarecrow Press
Total Pages: 354
Release: 2010-02-12
Genre: History
ISBN: 1461731828

The A to Z of Logic introduces the central concepts of the field in a series of brief, non-technical, cross-referenced dictionary entries. The 352 alphabetically arranged entries give a clear, basic introduction to a very broad range of logical topics. Entries can be found on deductive systems, such as propositional logic, modal logic, deontic logic, temporal logic, set theory, many-valued logic, mereology, and paraconsistent logic. Similarly, there are entries on topics relating to those previously mentioned such as negation, conditionals, truth tables, and proofs. Historical periods and figures are also covered, including ancient logic, medieval logic, Buddhist logic, Aristotle, Ockham, Boole, Frege, Russell, Gödel, and Quine. There are even entries relating logic to other areas and topics, like biology, computers, ethics, gender, God, psychology, metaphysics, abstract entities, algorithms, the ad hominem fallacy, inductive logic, informal logic, the liar paradox, metalogic, philosophy of logic, and software for learning logic. In addition to the dictionary, there is a substantial chronology listing the main events in the history of logic, an introduction that sketches the central ideas of logic and how it has evolved into what it is today, and an extensive bibliography of related readings. This book is not only useful for specialists but also understandable to students and other beginners in the field.

The Many Valued and Nonmonotonic Turn in Logic

The Many Valued and Nonmonotonic Turn in Logic
Author: Dov M. Gabbay
Publisher: Elsevier
Total Pages: 691
Release: 2007-08-13
Genre: Mathematics
ISBN: 008054939X

The present volume of the Handbook of the History of Logic brings together two of the most important developments in 20th century non-classical logic. These are many-valuedness and non-monotonicity. On the one approach, in deference to vagueness, temporal or quantum indeterminacy or reference-failure, sentences that are classically non-bivalent are allowed as inputs and outputs to consequence relations. Many-valued, dialetheic, fuzzy and quantum logics are, among other things, principled attempts to regulate the flow-through of sentences that are neither true nor false. On the second, or non-monotonic, approach, constraints are placed on inputs (and sometimes on outputs) of a classical consequence relation, with a view to producing a notion of consequence that serves in a more realistic way the requirements of real-life inference. Many-valued logics produce an interesting problem. Non-bivalent inputs produce classically valid consequence statements, for any choice of outputs. A major task of many-valued logics of all stripes is to fashion an appropriately non-classical relation of consequence.The chief preoccupation of non-monotonic (and default) logicians is how to constrain inputs and outputs of the consequence relation. In what is called "left non-monotonicity, it is forbidden to add new sentences to the inputs of true consequence-statements. The restriction takes notice of the fact that new information will sometimes override an antecedently (and reasonably) derived consequence. In what is called "right non-monotonicity, limitations are imposed on outputs of the consequence relation. Most notably, perhaps, is the requirement that the rule of or-introduction not be given free sway on outputs. Also prominent is the effort of paraconsistent logicians, both preservationist and dialetheic, to limit the outputs of inconsistent inputs, which in classical contexts are wholly unconstrained.In some instances, our two themes coincide. Dialetheic logics are a case in point. Dialetheic logics allow certain selected sentences to have, as a third truth value, the classical values of truth and falsity together. So such logics also admit classically inconsistent inputs. A central task is to construct a right non-monotonic consequence relation that allows for these many-valued, and inconsistent, inputs.The Many Valued and Non-Monotonic Turn in Logic is an indispensable research tool for anyone interested in the development of logic, including researchers, graduate and senior undergraduate students in logic, history of logic, mathematics, history of mathematics, computer science, AI, linguistics, cognitive science, argumentation theory, and the history of ideas. - Detailed and comprehensive chapters covering the entire range of modal logic. - Contains the latest scholarly discoveries and interprative insights that answers many questions in the field of logic.

Hypothetical Syllogistic and Stoic Logic

Hypothetical Syllogistic and Stoic Logic
Author: Anthony Speca
Publisher: BRILL
Total Pages: 161
Release: 2016-06-21
Genre: Philosophy
ISBN: 9004321128

This volume traces the development of Aristotle’s hypothetical syllogistic through antiquity, and shows for the first time how it later became misidentified with the logic of the rival Stoic school. By charting the origins of this error, the book illuminates elements of Aristotelian logic that have been obscured for almost two thousand years, and raises important issues concerning the distinctive roles of semantic and syntactic analysis in theories of logical consequence. The first chapters of the book deal with the original Aristotelian hypothetical syllogistic, and explain how Aristotle’s later followers began to conflate it with Stoic logic. The final chapters examine in detail the two most crucial surviving treatments of the subject, Boethius’s On hypothetical syllogisms and On Cicero’s Topics, which carried this conflation into the Middle Ages.

Atonement

Atonement
Author: Eleonore Stump
Publisher:
Total Pages: 557
Release: 2018
Genre: Philosophy
ISBN: 0198813864

The doctrine of the atonement is the distinctive doctrine of Christianity. Over the course of many centuries of reflection, highly diverse interpretations of the doctrine have been proposed. In the context of this history of interpretation, Eleonore Stump considers the doctrine afresh with philosophical care. Whatever exactly the atonement is, it is supposed to include a solution to the problems of the human condition, especially its guilt and shame. Stump canvasses the major interpretations of the doctrine that attempt to explain this solution and argues that all of them have serious shortcomings. In their place, she argues for an interpretation that is both novel and yet traditional and that has significant advantages over other interpretations, including Anselm's well-known account of the doctrine. In the process, she also discusses love, union, guilt, shame, forgiveness, retribution, punishment, shared attention, mind-reading, empathy, and various other issues in moral psychology and ethics.

Historical Dictionary of Logic

Historical Dictionary of Logic
Author: Harry J. Gensler
Publisher: Scarecrow Press
Total Pages: 360
Release: 2006
Genre: History
ISBN: 9780810855311

"Historical Dictionary of Logic contains a dictionary section of more than 300 entries on persons, concepts, theories, forms of logic, fields in which logic is used, and the many fallacies that can trap the unwary. It includes entries on historical periods and figures, including ancient logic, medieval logic, Buddhist logic, Aristotle, Ockham, Boole, Frege, Russell, Godel, and Quine. It also includes information on propositional logic, modal logic, deontic logic, temporal logic, set theory, many-valued logic, mereology, and para-consistent logic. A substantial chronology lists the main events in the history of logic, and an introduction sketches the central ideas and their evolution. The bibliography provides a broad range of additional reading."--BOOK JACKET.

The Logic of God Incarnate

The Logic of God Incarnate
Author: Thomas V. Morris
Publisher: Wipf and Stock Publishers
Total Pages: 221
Release: 2001-04-06
Genre: Religion
ISBN: 1579106293

This book is a philosophical examination of the logical problems associated with the claim that Jesus of Nazareth was one and the same person as God the Son, the Second Person of the divine Trinity. How can a being or person who is omniscient, omnipotent, omnipresent, etc., have become human given that humans are limited in knowledge and beset with weaknesses? Unless this belief in the incarnation is to be dismissed as pious sentimentality, a philosophical case must be made for at least the possible rationality of the idea. Tom Morris makes such an attempt in this book. Indeed, although it claims only to be arguing that the idea of God Incarnate is not impossible, The Logic of God Incarnate confronts the preponderance of modem philosophical argumentation against the incarnation and manages to put the traditional doctrine in a quite plausible light.