Author: Denis Vernant
Publisher: Editions Mardaga
ISBN: 9782870092712
Category : Logic
Languages : fr
Pages : 260

View

Book Description

Author: Henri Dominique Gardeil
Publisher:
ISBN:
Category :
Languages : en
Pages : 0

View

Book Description

Author: Patrick Suppes
Publisher: Courier Corporation
ISBN: 9780486406879
Category : Mathematics
Languages : en
Pages : 340

View

Book Description
Part I of this coherent, well-organized text deals with formal principles of inference and definition. Part II explores elementary intuitive set theory, with separate chapters on sets, relations, and functions. Ideal for undergraduates.

Author: Gilbert Hottois
Publisher: De Boeck Supérieur
ISBN: 2804138356
Category : Philosophy
Languages : fr
Pages : 332

View

Book Description
L'ouvrage comporte deux grandes parties : * la première est une présentation technique et théorique de la logique formelle, principalement la logique des propositions et des prédicats ainsi que des éléments de logique non classique; * la seconde est d'orientation plus philosophique. Elle invite à réfléchir sur la logique et les problèmes de philosophie du langage qu'elle suscite à partir de Wittgenstein, Frege, Russell, Quine et Strawson. Cet ouvrage s'adresse aux universitaires, philosophes, philologues, linguistes, informaticiens, scientifiques désireux d'actualiser leurs connaissances en logique ou intéressés par le langage.

Author: Rudolf Carnap
Publisher: Courier Corporation
ISBN: 048614349X
Category : Mathematics
Languages : en
Pages : 280

View

Book Description
Clear, comprehensive, and rigorous treatment develops the subject from elementary concepts to the construction and analysis of relatively complex logical languages. Hundreds of problems, examples, and exercises. 1958 edition.

Author: Jose L. Zalabardo
Publisher: Routledge
ISBN: 0429968221
Category : Philosophy
Languages : en
Pages : 344

View

Book Description
"This strikes me as in many ways an excellent book...Zalabardo writes clearly and motivates the main ideas well... The number and variety of the excercises is a strength of the book. The instructor has room to choose excercises to suit the needs and abilities of the students"

Author: René David
Publisher:
ISBN: 9782100806324
Category :
Languages : fr
Pages : 352

View

Book Description
Cet ouvrage, entièrement révisé dans cette seconde édition, présente la théorie de la démonstration en tant que discipline et en tant qu'outil. Les premiers chapitres présentent les bases du raisonnement mathématique et la syntaxe associée au calcul des énoncés. La deuxième partie du livre traite plus particulièrement de la théorie de la démonstration, discipline à part entière des mathématiques. Des énoncés d'exercices avec leurs corrigés sont proposés en fin de chapitres . Une annexe présente un assistant de démonstration, le logiciel PhoX, réalisé par l'un des auteurs. Ce logiciel ainsi que des compléments aux corrigés sont disponibles sur le site Web des auteurs.

Author: René Cori
Publisher: Oxford University Press, USA
ISBN: 9780198500513
Category : Mathematics
Languages : en
Pages : 360

View

Book Description
Logic forms the basis of mathematics, and is hence a fundamental part of any mathematics course, . It is a major element in theoretical computer sciences and has undergone a huge revival with the growing importance of computer science. This text is based on a course for undergraduates and provides a clear and accessible introduction to mathematical logic. The concept of model provides the underlying theme, giving the text a theoretical coherence while still covering a wide area of logic. It starts with recursion theory and follows Godel's incompleteness theorems and axiomatic set theory as well as an introduction to model theory. There are examples throughout each section and a varied selection of exercises at the end with answers given in the appendix

Author: Michal Walicki
Publisher: World Scientific Publishing Company
ISBN: 9814719986
Category : Mathematics
Languages : en
Pages : 302

View

Book Description
This is a systematic and well-paced introduction to mathematical logic. Excellent as a course text, the book presupposes only elementary background and can be used also for self-study by more ambitious students.Starting with the basics of set theory, induction and computability, it covers propositional and first order logic — their syntax, reasoning systems and semantics. Soundness and completeness results for Hilbert's and Gentzen's systems are presented, along with simple decidability arguments. The general applicability of various concepts and techniques is demonstrated by highlighting their consistent reuse in different contexts.Unlike in most comparable texts, presentation of syntactic reasoning systems precedes the semantic explanations. The simplicity of syntactic constructions and rules — of a high, though often neglected, pedagogical value — aids students in approaching more complex semantic issues. This order of presentation also brings forth the relative independence of syntax from the semantics, helping to appreciate the importance of the purely symbolic systems, like those underlying computers.An overview of the history of logic precedes the main text, while informal analogies precede introduction of most central concepts. These informal aspects are kept clearly apart from the technical ones. Together, they form a unique text which may be appreciated equally by lecturers and students occupied with mathematical precision, as well as those interested in the relations of logical formalisms to the problems of computability and the philosophy of logic.This revised edition contains also, besides many new exercises, a new chapter on semantic paradoxes. An equivalence of logical and graphical representations allows us to see vicious circularity as the odd cycles in the graphical representation and can be used as a simple tool for diagnosing paradoxes in natural discourse.

Author: Roger Verneaux
Publisher:
ISBN:
Category : Logic
Languages : fr
Pages : 142

View

Book Description