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
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
Buddhist Boot CampTimber Hawkeye2h 39m4.4 (8.4K)$18 · $0.00
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 Joyful Wisdom ("La Gaya Scienza")Friedrich Wilhelm Nietzsche11h 37m4.4 (26.6K)$1 · $0.00
The Art of LivingEpictetus, Sharon Lebell3h 16m4.4 (50.1K)$18 · $0.00
Sadhana: the realisation of lifeRabindranath Tagore3h 49m4.4 (8.6K)$6 · $0.00
SapiensYuval Noah Harari15h 18m4.3 (1.4M)$33 · $0.00
You BelongSebene Selassie8h 35m4.4 (2.7K)$26 · $0.00
The Song Celestial; Or, Bhagavad-Gîtâ (from the Mahâbhârata)Anonymous2h 18m4.4 (3.2K)$2 · $0.00
Chuang Tzu: Mystic, Moralist, and Social ReformerZhuangzi14h 42m4.4 (1.2K)$1 · $0.00
High-RisersBen Austen13h 33m4.4 (2.8K)$33 · $0.00
The Great OmissionDallas Willard7h 45m4.4 (4K)$26 · $0.00
The Grand InquisitorFyodor Dostoyevsky2h 24m4.3 (10.7K)$1 · $0.00
Praying with the PsalmsEugene H. Peterson7h 20m4.5 (312)$24 · $0.00
Mere ChristianityC. S. Lewis7h 7m4.4 (519.7K)$24 · $0.00
Her Daily BreadKate Wood12h 57m4.6 (153)$33 · $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
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
New Testament - Easy NavigationWorld English Bible19h 35m4.6 (1.3K)$1.30 · $0.00
You may also like
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
Organon — Prior AnalyticsAristotle6h 2m4.0 (466)$1 · $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
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 Renaissance EngraversJp. A. Calosse, Charmian Mezentseva5h 26m$18 · $0.00
Quick CookingNaumann & Göbel Verlag2h 57m$5 · $0.00
Little Cakes & Mini GateauxNaumann & Göbel Verlag4h 15m$5 · $0.00
Mediterranean CuisineUnknown Author3h 4m$5 · $0.00
A Manual of Shoemaking and Leather and Rubber Products (Annotated)William H. Dooley3h 54m$2 · $0.00
A Simplified Grammar of the Swedish Language (Annotated)Elise Charlotte Otté1h 42m$2 · $0.00
The Fireless Cook Book (Annotated)Margaret Johnes Mitchell7h 35m$2 · $0.00
Still Got The BluesBill Brown Jr.1h 14m$10