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
Mostrar todos os capítulosVer menos
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
SymposiumPlato3h 26m4.4 (97.9K)$1.20 · $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
MeditationsEmperor Of Rome Marcus Aurelius7h 23m4.3 (477.5K)$1.20 · $0.00
The Imitation of ChristThomas à Kempis6h 27m4.3 (84.6K)$21 · $0.00
Sadhana: the realisation of lifeRabindranath Tagore3h 49m4.4 (8.6K)$6 · $0.00
SapiensYuval Noah Harari15h 18m4.3 (1.4M) · 1193$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
The KybalionThe Three Initiates3h 47m4.3 (58.7K)$20 · $0.00
Chuang Tzu: Mystic, Moralist, and Social ReformerZhuangzi14h 42m4.4 (1.2K)$1 · $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
Reengineering the CorporationMichael Hammer, James Champy1h 29m3.8 (7.3K)$16 · $0.00
Decoding DCFPenelope B. Wellington7h 36m$6.30 · $0.00
C++ for 3D Game Development with Unreal EngineGideon Drake4h 13m$6
Concurrent Python with asyncioLena Iqbal7h 43m$5
Python That Does Your ChoresGreta Farrell7h 50m$5
Practical SQL; Query & Manage DatabaseStephen Hart5h 56m$7 · $0.00
From Raw Data to Real InsightVictor Fontaine7h 42m$5
Confident Excel at WorkCurtis Brandt7h 28m$5 · $0.00
Craft Your First Game with C++ and Unreal Engine 5Bennett Halloran7h 10m$5 · $0.00
DCF BudgetingIsabella S. Lee8h 1m$6.30 · $0.00
Modern Data EngineeringOwen Fletcher7h 33m$6.50 · $0.00
Optical Transceivers and Photonic CircuitsAmara Okonkwo13h 9m$75
Optimal Design and Control MathHenrik Solberg14h 48m$90
Claude Code for Modern DevelopersLeon Grant8h 21m$6.50 · $0.00
Making AI SimpleJasper Living stone4h 33m$10
How To Code For Quantum ComputersNivio Dos Santos2h 19m$46 · $0.00
Story Behind HyperfaceRekha Balakrishnan9m$4
The Definitive Guide To The World's Leading Artificial IntelligenceKael Novera6h 51m$8 · $0.00
The Golden BitcoinMichael A. Duniec6h 43m5.0 (1)$14.99 · $0.00
Generation and Transfer of Knowledge for Digital TransformationUnknown Author6h 15m$8 · $0.00