Zum Hauptinhalt springen Zur Suche springen Zur Hauptnavigation springen
Dekorationsartikel gehören nicht zum Leistungsumfang.
Logic Works
A Rigorous Introduction to Formal Logic
Taschenbuch von Lorne Falkenstein (u. a.)
Sprache: Englisch

82,30 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Produkt Anzahl: Gib den gewünschten Wert ein oder benutze die Schaltflächen um die Anzahl zu erhöhen oder zu reduzieren.
Kategorien:
Beschreibung
Logic Works is a critical and extensive introduction to logic. It asks questions about why systems of logic are as they are, how they relate to ordinary language and ordinary reasoning, and what alternatives there might be to classical logical doctrines.¿

The book covers classical first-order logic and alternatives, including intuitionistic, free, and many-valued logic. It also considers how logical analysis can be applied to carefully represent the reasoning employed in academic and scientific work, better understand that reasoning, and identify its hidden premises. Aiming to be as much a reference work and handbook for further, independent study as a course text, it covers more material than is typically covered in an introductory course. It also covers this material at greater length and in more depth with the purpose of making it accessible to those with no prior training in logic or formal systems.

Online support material includes a detailed student solutions manual with a running commentary on all starred exercises, and a set of editable slide presentations for course lectures.

Key Features

Introduces an unusually broad range of topics, allowing instructors to craft courses to meet a range of various objectives

Adopts a critical attitude to certain classical doctrines, exposing students to alternative ways to answer philosophical questions about logic

Carefully considers the ways natural language both resists and lends itself to formalization

Makes objectual semantics for quantified logic easy, with an incremental, rule-governed approach assisted by numerous simple exercises

Makes important metatheoretical results accessible to introductory students through a discursive presentation of those results and by using simple case studies
Logic Works is a critical and extensive introduction to logic. It asks questions about why systems of logic are as they are, how they relate to ordinary language and ordinary reasoning, and what alternatives there might be to classical logical doctrines.¿

The book covers classical first-order logic and alternatives, including intuitionistic, free, and many-valued logic. It also considers how logical analysis can be applied to carefully represent the reasoning employed in academic and scientific work, better understand that reasoning, and identify its hidden premises. Aiming to be as much a reference work and handbook for further, independent study as a course text, it covers more material than is typically covered in an introductory course. It also covers this material at greater length and in more depth with the purpose of making it accessible to those with no prior training in logic or formal systems.

Online support material includes a detailed student solutions manual with a running commentary on all starred exercises, and a set of editable slide presentations for course lectures.

Key Features

Introduces an unusually broad range of topics, allowing instructors to craft courses to meet a range of various objectives

Adopts a critical attitude to certain classical doctrines, exposing students to alternative ways to answer philosophical questions about logic

Carefully considers the ways natural language both resists and lends itself to formalization

Makes objectual semantics for quantified logic easy, with an incremental, rule-governed approach assisted by numerous simple exercises

Makes important metatheoretical results accessible to introductory students through a discursive presentation of those results and by using simple case studies
Über den Autor

Lorne Falkenstein is Professor Emeritus at Western University in London, Canada, where he taught symbolic logic for many years. He has published on treatments of spatial representation, temporal awareness, and visual perception in the work of a number of 17th and 18th century philosophers, and continues to do work in that area.

Scott Stapleford is Professor of Philosophy at St. Thomas University in Fredericton, Canada. He is the author of Kant's Transcendental Arguments: Disciplining Pure Reason (2008), coauthor (with Tyron Goldschmidt) of Berkeley's Principles: Expanded and Explained (Routledge, 2016) and Hume's Enquiry: Expanded and Explained (Routledge, 2021), coeditor (with Kevin McCain) of Epistemic Duties: New Arguments, New Angles (Routledge, 2020), and coeditor (with Kevin McCain and Matthias Steup) of Epistemic Dilemmas: New Arguments, New Angles (Routledge, 2021).

Molly Kao is Assistant Professor of Philosophy at the University of Montreal, in Montreal, Canada. Her primary area of research is philosophy of science, having worked on issues in the development of quantum theory as well as methodological questions involving unification and confirmation.

Inhaltsverzeichnis

1. Introduction to the study of logic2. Vocabulary and syntax 3. Semantics 4. Formalization 5. Working with SL semantics A-1. Advanced topics concerning SL semantics 6. Derivations A-2. Advanced topics concerning the soundness and completeness of Ds 7. Reduction Trees A-3: Advanced topics concerning the soundness and completeness of Ts 8. Vocabulary, syntax, formalization and derivations 9. Semantics and Trees for Modal and Intuitionistic Sentential Logic A-4: Advanced Topics concerning the "soundness" and "completeness" of Dm and Tm 10. Vocabulary, syntax, formalization, and derivations 11. Semantics and trees A-5: Advanced topics for PSL 12. Vocabulary, syntax, and formalization 13. Derivations 14. Trees and tree model semantics for QPL 15. Semantics for QPL without mixed multiple quantification 16. Semantics for QPL with mixed multiple quantification A-6: Advanced topics for QPL 17. Higher order logic Rule summaries

Details
Erscheinungsjahr: 2021
Fachbereich: Allgemeines
Genre: Importe, Philosophie
Jahrhundert: Antike
Rubrik: Geisteswissenschaften
Thema: Lexika
Medium: Taschenbuch
ISBN-13: 9780367460297
ISBN-10: 0367460297
Sprache: Englisch
Einband: Kartoniert / Broschiert
Autor: Falkenstein, Lorne
Stapleford, Scott
Kao, Molly
Hersteller: Routledge
Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße: 280 x 210 x 36 mm
Von/Mit: Lorne Falkenstein (u. a.)
Erscheinungsdatum: 30.11.2021
Gewicht: 1,606 kg
Artikel-ID: 128403903
Über den Autor

Lorne Falkenstein is Professor Emeritus at Western University in London, Canada, where he taught symbolic logic for many years. He has published on treatments of spatial representation, temporal awareness, and visual perception in the work of a number of 17th and 18th century philosophers, and continues to do work in that area.

Scott Stapleford is Professor of Philosophy at St. Thomas University in Fredericton, Canada. He is the author of Kant's Transcendental Arguments: Disciplining Pure Reason (2008), coauthor (with Tyron Goldschmidt) of Berkeley's Principles: Expanded and Explained (Routledge, 2016) and Hume's Enquiry: Expanded and Explained (Routledge, 2021), coeditor (with Kevin McCain) of Epistemic Duties: New Arguments, New Angles (Routledge, 2020), and coeditor (with Kevin McCain and Matthias Steup) of Epistemic Dilemmas: New Arguments, New Angles (Routledge, 2021).

Molly Kao is Assistant Professor of Philosophy at the University of Montreal, in Montreal, Canada. Her primary area of research is philosophy of science, having worked on issues in the development of quantum theory as well as methodological questions involving unification and confirmation.

Inhaltsverzeichnis

1. Introduction to the study of logic2. Vocabulary and syntax 3. Semantics 4. Formalization 5. Working with SL semantics A-1. Advanced topics concerning SL semantics 6. Derivations A-2. Advanced topics concerning the soundness and completeness of Ds 7. Reduction Trees A-3: Advanced topics concerning the soundness and completeness of Ts 8. Vocabulary, syntax, formalization and derivations 9. Semantics and Trees for Modal and Intuitionistic Sentential Logic A-4: Advanced Topics concerning the "soundness" and "completeness" of Dm and Tm 10. Vocabulary, syntax, formalization, and derivations 11. Semantics and trees A-5: Advanced topics for PSL 12. Vocabulary, syntax, and formalization 13. Derivations 14. Trees and tree model semantics for QPL 15. Semantics for QPL without mixed multiple quantification 16. Semantics for QPL with mixed multiple quantification A-6: Advanced topics for QPL 17. Higher order logic Rule summaries

Details
Erscheinungsjahr: 2021
Fachbereich: Allgemeines
Genre: Importe, Philosophie
Jahrhundert: Antike
Rubrik: Geisteswissenschaften
Thema: Lexika
Medium: Taschenbuch
ISBN-13: 9780367460297
ISBN-10: 0367460297
Sprache: Englisch
Einband: Kartoniert / Broschiert
Autor: Falkenstein, Lorne
Stapleford, Scott
Kao, Molly
Hersteller: Routledge
Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße: 280 x 210 x 36 mm
Von/Mit: Lorne Falkenstein (u. a.)
Erscheinungsdatum: 30.11.2021
Gewicht: 1,606 kg
Artikel-ID: 128403903
Sicherheitshinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch
-10 %