Zur Startseite gehen
0,00 €*
Cover: 9781107610774 | Elements of Logical Reasoning | Jan Von Plato | Taschenbuch | Englisch
Dekorationsartikel gehören nicht zum Leistungsumfang.
Elements of Logical Reasoning
Taschenbuch von Jan Von Plato
Sprache: Englisch

29,50 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:
Beschreibung
Some of our earliest experiences of the conclusive force of an argument come from school mathematics: faced with a mathematical proof, we cannot deny the conclusion once the premises have been accepted. Behind such arguments lies a more general pattern of 'demonstrative arguments' that is studied in the science of logic. Logical reasoning is applied at all levels, from everyday life to advanced sciences, and a remarkable level of complexity is achieved in everyday logical reasoning, even if the principles behind it remain intuitive. Jan von Plato provides an accessible but rigorous introduction to an important aspect of contemporary logic: its deductive machinery. He shows that when the forms of logical reasoning are analysed, it turns out that a limited set of first principles can represent any logical argument. His book will be valuable for students of logic, mathematics and computer science.
Some of our earliest experiences of the conclusive force of an argument come from school mathematics: faced with a mathematical proof, we cannot deny the conclusion once the premises have been accepted. Behind such arguments lies a more general pattern of 'demonstrative arguments' that is studied in the science of logic. Logical reasoning is applied at all levels, from everyday life to advanced sciences, and a remarkable level of complexity is achieved in everyday logical reasoning, even if the principles behind it remain intuitive. Jan von Plato provides an accessible but rigorous introduction to an important aspect of contemporary logic: its deductive machinery. He shows that when the forms of logical reasoning are analysed, it turns out that a limited set of first principles can represent any logical argument. His book will be valuable for students of logic, mathematics and computer science.
Über den Autor
Jan von Plato is Professor of Philosophy at the University of Helsinki. He is the author of Creating Modern Probability (Cambridge University Press, 1994) and, with Sara Negri, Structural Proof Theory (Cambridge University Press, 2001) and Proof Analysis (Cambridge University Press, 2011).
Zusammenfassung
This book is an accessible and scientifically rigorous introduction to the principles of logical reasoning, covering many topics including the deductive machinery of metalogic, otherwise known as the nature and function of proofs. It will be valuable to students of logic, mathematics and computer science.
Inhaltsverzeichnis
Part I. First Steps in Logical Reasoning: 1. Starting points; 2. Rules of proof; 3. Natural deduction; 4. Proof search; 5. Classical natural deduction; 6. Proof search in classical logic; 7. The semantics of propositional logic; Part II. Logical Reasoning with the Quantifiers: 8. The quantifiers; 9. Derivations in predicate logic; 10. The semantics of predicate logic; Part III. Beyond Pure Logic: 11. Equality and axiomatic theories; 12. Elements of the proof theory of arithmetic; Part IV. Complementary Topics: 13. Normalization and cut elimination; 14. Deductive machinery from Aristotle to Heyting.
Details
Erscheinungsjahr: 2014
Fachbereich: Grundlagen
Genre: Mathematik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Inhalt: Kartoniert / Broschiert
ISBN-13: 9781107610774
ISBN-10: 110761077X
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Plato, Jan Von
Hersteller: Cambridge University Press
Maße: 244 x 170 x 16 mm
Von/Mit: Jan Von Plato
Erscheinungsdatum: 23.01.2014
Gewicht: 0,482 kg
Artikel-ID: 105881400
Über den Autor
Jan von Plato is Professor of Philosophy at the University of Helsinki. He is the author of Creating Modern Probability (Cambridge University Press, 1994) and, with Sara Negri, Structural Proof Theory (Cambridge University Press, 2001) and Proof Analysis (Cambridge University Press, 2011).
Zusammenfassung
This book is an accessible and scientifically rigorous introduction to the principles of logical reasoning, covering many topics including the deductive machinery of metalogic, otherwise known as the nature and function of proofs. It will be valuable to students of logic, mathematics and computer science.
Inhaltsverzeichnis
Part I. First Steps in Logical Reasoning: 1. Starting points; 2. Rules of proof; 3. Natural deduction; 4. Proof search; 5. Classical natural deduction; 6. Proof search in classical logic; 7. The semantics of propositional logic; Part II. Logical Reasoning with the Quantifiers: 8. The quantifiers; 9. Derivations in predicate logic; 10. The semantics of predicate logic; Part III. Beyond Pure Logic: 11. Equality and axiomatic theories; 12. Elements of the proof theory of arithmetic; Part IV. Complementary Topics: 13. Normalization and cut elimination; 14. Deductive machinery from Aristotle to Heyting.
Details
Erscheinungsjahr: 2014
Fachbereich: Grundlagen
Genre: Mathematik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Inhalt: Kartoniert / Broschiert
ISBN-13: 9781107610774
ISBN-10: 110761077X
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Plato, Jan Von
Hersteller: Cambridge University Press
Maße: 244 x 170 x 16 mm
Von/Mit: Jan Von Plato
Erscheinungsdatum: 23.01.2014
Gewicht: 0,482 kg
Artikel-ID: 105881400
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch
Cover: 9780684823447 | Third Culture | Beyond the Scientific Revolution | John Brockman
Third Culture
Beyond the Scientific Revolution
EAN: 9780684823447
Sprache: Englisch
Von/Mit: John Brockman

26,70 €*

Aktuell nicht verfügbar

Buch
Cover: 9780691132983 | Optimization Algorithms on Matrix Manifolds | Rodolphe Sepulchre
Optimization Algorithms on Matrix Manifolds
EAN: 9780691132983
Sprache: Englisch
Von/Mit: P. -A. Absil (u. a.)

92,65 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783528448745 | Fünfstellige logarithmische und trigonometrische Tafeln | Taschenbuch
Fünfstellige logarithmische und trigonometrische Tafeln
EAN: 9783528448745
Sprache: Deutsch
Von/Mit: Oskar Schlömilch (u. a.)

44,99 €*

Lieferzeit 2-4 Werktage

Taschenbuch
Cover: 9781493900633 | A Mathematical Introduction to Compressive Sensing | Rauhut (u. a.)
A Mathematical Introduction to Compressive Sensing
EAN: 9781493900633
Sprache: Englisch
Von/Mit: Holger Rauhut (u. a.)

60,98 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9780801816079 | Mind | An Essay on Human Feeling (Revised) | Susanne K Langer | Buch
Mind
An Essay on Human Feeling (Revised)
EAN: 9780801816079
Sprache: Englisch
Von/Mit: Susanne K Langer

49,45 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9780198714545 | Performing Music Research | Aaron Williamon (u. a.) | Taschenbuch
Performing Music Research
Methods in Music Education, Psychology, and Performance Science
EAN: 9780198714545
Sprache: Englisch
Von/Mit: Aaron Williamon (u. a.)

67,25 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783905764116 | Wie die Künstliche Intelligenz zur Intelligenz kommt | Straub | Buch
Wie die Künstliche Intelligenz zur Intelligenz kommt
Einblick in eine aktuelle Technologie
EAN: 9783905764116
Sprache: Deutsch
Von/Mit: Hans Rudolf Straub

19,00 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781009009850 | The Cognitive Science of Belief | A Multidisciplinary Approach | Buch
The Cognitive Science of Belief
EAN: 9781009009850
Sprache: Englisch
Von/Mit: Julien Musolino (u. a.)

51,50 €*

Aktuell nicht verfügbar

Buch
Cover: 9780323898270 | Introduction to Quantitative EEG and Neurofeedback | Chartier (u. a.)
Introduction to Quantitative Eeg and Neurofeedback
EAN: 9780323898270
Sprache: Englisch
Von/Mit: Dan R Chartier (u. a.)

150,95 €*

Lieferzeit 1-2 Wochen

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...