An introduction to formal logic, covering truth-functional (propositional) and first-order (predicate) logic. It deals with logical notions such as entailment and satisfiablity, symbolization of English sentences using connectives and quantifiers (including identity, e.g., definite descriptions), the semantics of TFL (truth tables) and FOL (first-order interpretations), and proofs (using and natural deduction). Advanced topics discussed are the truth-functional adequacy of propositional logic, normal forms, the soundness of the proof system, and the basics of modal logic. Available for free download at forallx.openlogicproject.org.

forall x: Calgary: An Introduction to Formal Logic

Politics & Social Sciences

Zach, Richard

Button, Tim

Magnus, P.D.

Trueman, Robert

Thomas-Bolduc, Aaron

Philosophy

Independently published

An introduction to formal logic, covering truth-functional connectives and first-order logic, symbolization, truth tables, and natural deduction.

forall x: Calgary Remix: An Introduction to Formal Logic

CreateSpace Independent Publishing Platform

This book is an introduction to sentential logic and first-order predicate logic with identity, logical systems that significantly influenced twentieth-century analytic philosophy. It contains content, practice exercises, symbolic notations, and solutions to selected exercises. After working through the material in this book, a student should be able to understand most quantified expressions that arise in their philosophical reading. Anyone using this book is best advised to make a hard copy for reading and to work through practice exercises with pencil and paper. See: http://www.fecundity.com/logic/download.html to download the book in raw LaTeX, and to link to Lulu on-demand publisher to order a bound hard copy. The most recent version is available on-line at http://www.fecundity.com/logic, OGT+ ISBN: 9781616100353

forall x: Introductory Textbook in Formal Logic

Science & Math

Mathematics

Orange Grove Texts Plus

forall x: An Introduction to Formal Logic

State University of New York Press

Cover songs are a familiar feature of contemporary popular music. Musicians describe their own performances as covers, and audiences use the category to organize their listening and appreciation. However, until now philosophers have not had much to say about them. In A Philosophy of Cover Songs, P.D. Magnus demonstrates that philosophy provides a valuable toolbox for thinking about covers; in turn, the philosophy of cover songs illustrates some general points about philosophical method.\nLucidly written, the book is divided into three parts: how to think about covers, appreciating covers, and the metaphysics of covers and songs. Along the way, it explores a range of issues raised by covers, from the question of what precisely constitutes a cover, to the history and taxonomy of the category, the various relationships that hold between songs, performances, and tracks, and the appreciation and evaluation of covers.\nThis unique and engaging book will be of interest to those working in philosophy of art, philosophy of music, popular music studies, music history, and musicology, as well as to readers with a general interest in popular music, covers, and how we think about them.

A Philosophy of Cover Songs

Arts & Photography

Music

Open Book Publishers

Loftis, J. Robert

See the best price to sell, buy, or rent books by Magnus, P.D.. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

Books by Magnus, P.D.