Forallx - An Introduction to Formal Logic
By P.D. Magnus
Length5h 22m
About this audiobook
Forallx is an introduction to sentential logic and first-order predicate logic with identity, logical systems that significantly influenced twentieth-century analytic philosophy. After working through the material in this book, a student should be able to understand most quantified expressions that arise in their philosophical reading. This book treats symbolization, formal semantics, and proof theory for each language. The discussion of formal semantics is more direct than in many introductory texts. Although forall x does not contain proofs of soundness and completeness, it lays the groundwork for understanding why these are things that need to be proven.
Contents:
What is logic?
Sentential logic
Truth tables
Quanti ed logic
Formal semantics
Proofs
Other symbolic notation
Solutions to selected exercises
Audiobook details
Rating★★★★ 3.6 (63)
Includes Goodreads
GenrePhilosophy, Other
Length5 hrs 22 mins
Narrated byListen with 1,000+ voices
FormateBook with Audio
Publish dateMay 24, 2018
LanguageEnglish
Table of contents
11 What is logic?
26Sentences of QL
2Arguments
27Identity
3Sentences
28Practice Exercises
4Two ways that arguments can go wrong
295 Formal semantics
5Deductive validity
30Semantics for SL
Show all chaptersShow less
6Other logical notions
31Interpretations and models in QL
7Formal languages
32Semantics for identity
8Practice Exercises
33Working with models
92 Sentential logic
34Truth in QL
10Sentence letters
35Practice Exercises
11Connectives
366 Proofs
12Other symbolization
37Basic rules for SL
13Sentences of SL
38Derived rules
14Practice Exercises
39Rules of replacement
153 Truth tables
40Rules for quantifiers
16Truth-functional connectives
41Rules for identity
17Complete truth tables
42Proof strategy
18Using truth tables
43Proof-theoretic concepts
19Partial truth tables
44Proofs and models
20Practice Exercises
45Soundness and completeness
214 Quantified logic
46Practice Exercises
22From sentences to predicates
47Symbolic notation
23Building blocks of QL
48Solutions to selected exercises
24Quantifiers
49Quick Reference
25Translating to QL
More from P.D. Magnus
Old Path White CloudsThich Nhat Hanh16h 39m4.6 (15K)$25
Metaphysics (Annotated)Aristotle13h 30m4.6 (1.2K)$2 · $0.00
Sceptical Essays (Annotated)Bertrand Russell9h 16m4.6 (1K)$2 · $0.00
WitnessAriel Burger8h 1m4.6 (1.3K)$20 · $0.00
The Magic PresenceGodfré Ray King10h 21m4.6 (307)$1.20 · $0.00
The Practicing StoicWard Farnsworth9h 56m4.5 (9.2K)$20
Moral Letters to LuciliusLucius Annaeus Seneca24h 35m4.4 (71.8K)$0.99 · $0.00
Lessons in TruthH. Emilie Cady3h 50m4.5 (2.4K)$20 · $0.00
The LawFrédéric Bastiat2h 7m4.4 (17K)$10
IlluminationsWalter Benjamin10h 12m4.4 (16.2K)$20 · $0.00
That Bird Has My WingsJarvis Jay Masters9h 49m4.4 (13.7K)$29 · $0.00
Tâo Teh KingLaozi2h 34m4.4 (230.9K)$2 · $0.00
SymposiumPlato3h 26m4.4 (97.9K)$1.20 · $0.00
Buddhist Boot CampTimber Hawkeye2h 39m4.4 (8.4K)$18 · $0.00
Change Your MindRJ Spina7h 5m4.6 (288)$17
Enchiridion & The Discourses of Epictetus (Annotated)Arrian Epictetus18h 9m4.4 (3.5K)$2 · $0.00
The Meditations of the Emperor Marcus Aurelius AntoninusEmperor of Rome Marcus Aurelius5h 41m4.4 (1.8M)$1 · $0.00
Crime and PunishmentFyodor Dostoevsky23h 11m4.4 (1.3M)$12 · $0.00
MeditationsMarcus Aurelius5h 52m4.4 (433.7K)$1 · $0.00
Everyday DharmaSuneel Gupta5h 2m4.5 (761)$20 · $0.00
The Holy Bible - 1 SamuelKing James2h 13m4.8 (1.6K)$3 · $0.00
The American Standard Bible — The Gospel of MatthewMatthew3h 56m4.7 (3K)$2 · $0.00
Bad Fat Black GirlSesali Bowen6h 32m4.7 (2.8K)$24 · $0.00
The King James Audio Bible New Testament CompleteChristopher Glyn20h 2m4.7 (2.6K)$12 · $0.00
Faiths CheckbookCharles Spurgeon12h 44m4.7 (3.2K)$11 · $0.00
Ten Things I Wish You Knew About Your Child's Mental HealthDr. Billy Garvey4h 53m4.7 (2.4K)$20 · $0.00
The Book of PsalmsUnknown Author5h 9m4.6 (18K)$10
Designing Terry Pratchett’s DiscworldPaul Kidby3h 52m4.7 (343)$20 · $0.00
The Chosen Book OneAmanda Jenkins, Kristen Hendricks, Dallas Jenkins3h 8m4.6 (4.9K)$10 · $0.00
The Lives of BrianBrian Johnson9h 45m4.6 (3.5K)$29 · $0.00
Expository Thoughts on the Gospel of LukeJ.C. Ryle27h 13m4.7 (536)$18 · $0.00
CrossroadsKaleb Dahlgren7h 56m4.6 (4.9K)$26 · $0.00
Across the RiverKent Babb11h 40m4.6 (927)$29 · $0.00
Brain Training for RidersAndrea Monsarrat Waldo5h 56m4.7 (550)$19 · $0.00
My Effin' LifeGeddy Lee17h 11m4.6 (13.1K)$40 · $0.00
Kings and PawnsHoward Bryant10h 9m4.6 (678)$29 · $0.00
The Elementia Chronicles #2: The New OrderSean Fay Wolfe11h 17m4.6 (841)$29 · $0.00
The ActsLuke2h 55m4.6 (19.7K)$12 · $0.00
Woodcraft and Camping (Annotated)George Washington Sears3h 30m4.6 (1.2K)$0.99 · $0.00
The Hate U GiveAngie Thomas11h 50m4.5 (1.1M)$8 · $0.00
You may also like
Taoist Teachings From the Book of Lieh TzŭLie Yukou2h 40m4.2 (1.3K)$1 · $0.00
The CategoriesAristotle1h 36m4.0 (2.2K)$1.80 · $0.00
The Art of Horse-Shoeing: A Manual for FarriersWilliam Hunting2h 58m4.6 (33)$1.50 · $0.00
Lessons in Music Form (Annotated)Percy Goetschius5h 15m4.6 (16)$2 · $0.00
VegetarianNaumann & Göbel Verlag3h 23m4.4 (15)$5 · $0.00
Pasta SaucesNaumann & Göbel Verlag3h 1m4.5 (12)$5 · $0.00
Erotic Art PhotographyAlexandre Dupouy1h 57m3.9 (47)$18 · $0.00
Party FoodNaumann & Göbel Verlag3h 25m4.4 (12)$5 · $0.00
Drawing Dogs. Practical guide to drawing dogsRoberto Fabbretti14m4.4 (12)$10 · $0.00
On Generation and CorruptionAristotle2h 58m3.5 (307)$1.80 · $0.00
The Ultimate Burger BookNaumann & Göbel Verlag2h 56m4.1 (19)$9 · $0.00
The Value of MoneyBenjamin M. Anderson18h 6m4.1 (21)$1 · $0.00
How to Play Chess (Annotated)Charlotte Boardman Rogers2h 43m4.1 (12)$2 · $0.00
The Motor Enthusiast's Dream Collection: 6 Interesting ReadsH. de Graffigny, James Slough Zerbe, Robert B. Meyer, Harold Whiting Slauson, Alfred Powell Morgan, Leonard S. Hobbs17h 34m$0.99 · $0.00
Innovations in Interior Design and Decoration: 11 Must-ReadsMary Harrod Northend, Edith Wharton, Ogden Codman, Elsie De Wolfe, Emily Burbank, Grace Wood, Lady Barker, Candace Wheeler, Lucy Abbot Throop, Charles Franklin Warner, Frank Alvah Parsons, Kathleen Clinch Calkins, Kate Sanborn49h 59m$0.99 · $0.00
Embryology human integratedWilmar Saldarriaga Gil, Carolina Isaza de Lourido, Julián Ramírez Cheyne12h 50m$28 · $0.00
The Renaissance EngraversJp. A. Calosse, Charmian Mezentseva5h 26m$18 · $0.00
Top 5 Masterpieces vol 1Klaus H. Carl5m$8 · $0.00
Top 5 Masterpieces vol 2Klaus H. Carl5m$8 · $0.00
Quick CookingNaumann & Göbel Verlag2h 57m$5 · $0.00