The Cartesian Semantics of the Port Royal Logic

The Cartesian Semantics of the Port Royal Logic
Author: John N. Martin
Publisher: Routledge
Total Pages: 253
Release: 2019-11-04
Genre: Philosophy
ISBN: 1351249185

This book sets out for the first time in English and in the terms of modern logic the semantics of the Port Royal Logic (La Logique ou l’Art de penser, 1662-1685) of Antoine Arnauld and Pierre Nicole, perhaps the most influential logic book in the 17th and 18th centuries. Its goal is to explain how the Logic reworks the foundation of pre-Cartesian logic so as to make it compatible with Descartes’ metaphysics. The Logic’s authors forged a new theory of reference based on the medieval notion of objective being, which is essentially the modern notion of intentional content. Indeed, the book’s central aim is to detail how the Logic reoriented semantics so that it centered on the notion of intentional content. This content, which the Logic calls comprehension, consists of an idea’s defining modes. Mechanisms are defined in terms of comprehension that rework earlier explanations of central notions like conceptual inclusion, signification, abstraction, idea restriction, sensation, and most importantly within the Logic’s metatheory, the concept of idea-extension, which is a new technical concept coined by the Logic. Although Descartes is famous for rejecting "Aristotelianism," he says virtually nothing about technical concepts in logic. His followers fill the gap. By putting to use the doctrine of objective being, which had been a relatively minor part of medieval logic, they preserve more central semantic doctrines, especially a correspondence theory of truth. A recurring theme of the book is the degree to which the Logic hews to medieval theory. This interpretation is at odds with what has become a standard reading among French scholars according to which this 16th-century work should be understood as rejecting earlier logic along with Aristotelian metaphysics, and as putting in its place structures more like those of 19th-century class theory.

The Art of Prolog, second edition

The Art of Prolog, second edition
Author: Leon S. Sterling
Publisher: MIT Press
Total Pages: 553
Release: 1994-03-10
Genre: Computers
ISBN: 0262691639

This new edition of The Art of Prolog contains a number of important changes. Most background sections at the end of each chapter have been updated to take account of important recent research results, the references have been greatly expanded, and more advanced exercises have been added which have been used successfully in teaching the course. Part II, The Prolog Language, has been modified to be compatible with the new Prolog standard, and the chapter on program development has been significantly altered: the predicates defined have been moved to more appropriate chapters, the section on efficiency has been moved to the considerably expanded chapter on cuts and negation, and a new section has been added on stepwise enhancement—a systematic way of constructing Prolog programs developed by Leon Sterling. All but one of the chapters in Part III, Advanced Prolog Programming Techniques, have been substantially changed, with some major rearrangements. A new chapter on interpreters describes a rule language and interpreter for expert systems, which better illustrates how Prolog should be used to construct expert systems. The chapter on program transformation is completely new and the chapter on logic grammars adds new material for recognizing simple languages, showing how grammars apply to more computer science examples.

Arguments about Arguments

Arguments about Arguments
Author: Maurice A. Finocchiaro
Publisher: Cambridge University Press
Total Pages: 488
Release: 2005-07-25
Genre: Philosophy
ISBN: 9780521853279

This book brings together essays by one of the pre-eminent scholars of informal logic.

The Cambridge Descartes Lexicon

The Cambridge Descartes Lexicon
Author: Lawrence Nolan
Publisher: Cambridge University Press
Total Pages: 1642
Release: 2015-01-01
Genre: Philosophy
ISBN: 1316380939

The Cambridge Descartes Lexicon is the definitive reference source on René Descartes, 'the father of modern philosophy' and arguably among the most important philosophers of all time. Examining the full range of Descartes' achievements and legacy, it includes 256 in-depth entries that explain key concepts relating to his thought. Cumulatively they uncover interpretative disputes, trace his influences, and explain how his work was received by critics and developed by followers. There are entries on topics such as certainty, cogito ergo sum, doubt, dualism, free will, God, geometry, happiness, human being, knowledge, Meditations on First Philosophy, mind, passion, physics, and virtue, which are written by the largest and most distinguished team of Cartesian scholars ever assembled for a collaborative research project - 92 contributors from ten countries.

Mathematicians and Their Gods

Mathematicians and Their Gods
Author: Snezana Lawrence
Publisher: Oxford University Press, USA
Total Pages: 305
Release: 2015
Genre: Mathematics
ISBN: 0198703058

This is a book on the relationship between mathematics and religious beliefs. This book shows that, throughout scientific history, mathematics has been used to make sense of the 'big' questions of life, and that religious beliefs sometimes drove mathematicians to do mathematics to help them make sense of the world