Logic as a tool: a guide to formal logical reasoning

Hoboken, NJ: Wiley (2016)
  Copy   BIBTEX

Abstract

Understanding propositional logic -- Deductive reasoning in propositional logic -- Understanding first-order logic -- Deductive reasoning in first-order logic -- Applications : mathematical proofs and automated reasoning -- Answers and solutions to selected exercises.

Categories

Keywords

Reprint years

Call number

BC71

ISBN(s)

9781118880043   1118880005
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,574

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Comparative Study Concerning Chinese Logic and West Logic.Wu-jin Yang - 2010 - Philosophy and Culture 37 (8):5-21.
Informalizing Formal Logic.Antonis Kakas - 2019 - Informal Logic 39 (2):169-204.
Logic, Reasoning and Revision.Patrick Allo - 2015 - Theoria 82 (1):3-31.
Logic, Reasoning and the Logical Constants.Pascal Engel - 2006 - Croatian Journal of Philosophy 6 (2):219-235.
The Psychology of Logical Reasoning.John Samuel Lindsey - 2000 - Dissertation, University of Virginia
Logic with Added Reasoning.Michael Gabbay - 2002 - Peterborough, Ont. and Orchard Park, NY: Broadview Press.
Logic for Lawyers: A Guide to Clear Legal Thinking.Ruggero J. Aldisert - 1989
Becoming Logical: An Introduction to Logic.Robert Paul Churchill - 1986 - New York: St. Martin's Press.
Logic with trees: an introduction to symbolic logic.Colin Howson - 1997 - New York: Routledge.
Formalizing the Logic of Historical Inference: Contact Details. [REVIEW]D. L. D'Avray & Antonia Fitzpatrick - 2013 - Erkenntnis 78 (4):833-844.
On the Philosophy of Logic.Jennifer Fisher - 2007 - Cengage Learning.
What is “Formal Logic”?Jean-Yves Béziau - 2008 - Proceedings of the Xxii World Congress of Philosophy 13:9-22.
Hegel’s Living Logic.Jon K. Burmeister - 2013 - Research in Phenomenology 43 (2):243-264.
Double Trouble for Logical Pluralists.J. W. Evershed - 2021 - Proceedings of the Aristotelian Society 121 (3):411-424.
What does formal logic have to do with arguments?Matthew W. McKeon - 2022 - Metaphilosophy 53 (5):696-708.

Analytics

Added to PP
2022-12-11

Downloads
7 (#1,394,148)

6 months
6 (#531,961)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Valentin Goranko
Stockholm University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references