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
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
The Way to a Beautiful WorldJames Norbury44m$9 · $0.00
The Collected Works of Friedrich NietzscheFriedrich Nietzsche92h$2 · $0.00
The Practicing StoicWard Farnsworth9h 56m$20
Moral Letters to LuciliusLucius Annaeus Seneca25h 38m$2 · $0.00
The Complete Essays of MontaigneMichel de Montaigne45h 30m$2 · $0.00
The Origin of OthersToni Morrison2h 25m$20
The LawFrédéric Bastiat2h 7m$10
IlluminationsWalter Benjamin10h 12m$20 · $0.00
Buddhist Boot CampTimber Hawkeye2h 39m$18 · $0.00
The DhammapadaFriedrich Max Müller1h 30m$15
Tâo Teh KingLaozi2h 23m$2 · $0.00
Change Your MindRJ Spina7h 5m$17
The Meditations of the Emperor Marcus Aurelius AntoninusEmperor of Rome Marcus Aurelius6h 17m$2 · $0.00
Tao Te ChingLao Tzu1h 25m$2 · $0.00
Tao Te ChingStephen Mitchell, Lao Tzu1h 42m$16 · $0.00
Everyday DharmaSuneel Gupta5h 2m$20 · $0.00
Dr. Martin Luther King Jr. on LoveMartin Luther King10h 2m$29 · $0.00
The KybalionThree Initiates3h 47m$2.30
MeditationsMarcus Aurelius5h 54m$2 · $0.00
The Collected Works of Immanuel KantImmanuel Kant83h 35m$2 · $0.00
The Book of Proverbs (2020 Edition)Brian Simmons4h 48m1 (1)$10 · $0.00
PAW Patrol - Volume 16Unknown Author57m$7
The Holy Bible - 1 SamuelKing James2h 13m$3 · $0.00
KJV Holy BibleBroadStreet Publishing Group LLC96h 16m$10 · $0.00
The American Standard Bible — The Gospel of MatthewMatthew3h 56m$2 · $0.00
Everyday Chanakya | Time Management S01E08Radhakrishnan Pillai42m$4
Bad Fat Black GirlSesali Bowen6h 32m$24 · $0.00
The King James Audio Bible New Testament CompleteChristopher Glyn20h 2m5 (1)$12 · $0.00
Faiths CheckbookCharles Spurgeon12h 44m$11 · $0.00
Be Wild Be FreeAmber Fossey26m$7 · $0.00
My Favorite Husband, Vol. 1Hollywood 360, CBS Radio5h 40m$14
Designing Terry Pratchett’s DiscworldPaul Kidby3h 52m$20 · $0.00
The Chosen Book OneAmanda Jenkins, Kristen Hendricks, Dallas Jenkins3h 8m$10 · $0.00
The Lives of BrianBrian Johnson9h 45m$29 · $0.00
The Boy, the Mole, the Fox and the HorseCharlie Mackesy58m$11 · $0.00
Expository Thoughts on the Gospel of LukeJ.C. Ryle27h 13m$18 · $0.00
CrossroadsKaleb Dahlgren7h 56m$26 · $0.00
Across the RiverKent Babb11h 40m$29 · $0.00
Brain Training for RidersAndrea Monsarrat Waldo5h 56m$19 · $0.00
My Effin' LifeGeddy Lee17h 11m5 (1)$40 · $0.00
You may also like
Forallx - An Introduction to Formal LogicP.D. Magnus6h 7m$2 · $0.00
Prompts That Sell: The Power Of Words In Artificial IntelligenceKael Novera50m$7 · $0.00
On the process of maintenance decision-making in the offshore operational environment of the oil and gas industryMario Marcondes Machado$20 · $0.00
ITIL® 4 Create, Deliver and Support (CDS)Claire Agutter3h 36m$40 · $0.00
ITIL® 4 Essentials: Your essential guide for the ITIL 4 Foundation exam and beyond, second editionClaire Agutter4h$40 · $0.00
HorizonsJames Poskett15h 18m$33 · $0.00
A Color Notation: How to Numerically Describe ColorsA. H. Munsell3h 52m$2 · $0.00
Monetize your content with NFTsUnknown Author1h 5m$17 · $0.00
Blockchain for Business: Complete Guide to AdoptionUnknown Author1h 4m$17 · $0.00
Managing AI RiskAndrew Pattison2h 15m$22 · $0.00
The Start-up Founder's Guide to Digital MarketingPramod Maloo8h 17m$20 · $0.00
Reengineering the CorporationMichael Hammer, James Champy1h 29m$16 · $0.00
The AI Strategy Framework for Business LeadersDavid M. Patel9h 18m$24 · $0.00
Artificial IntelligenceJ.C.Lesko2h 43m$15 · $0.00
The Evolution of Technologythe Speech Resource Company9h 30m$20
Nine Algorithms That Changed the FutureJohn MacCormick6h 58m$20 · $0.00
Day Trading AttentionGary Vaynerchuk8h 25m$28 · $0.00
Chatgpt Complete GuideJoaquin Gener1h 23m$6 · $0.00
Business-Englisch lernen Audio - Eine kraftvolle PräsentationMelita Cameron-Wood58m$17
The Artificial AuthorSimone Aliprandi7h 42m$15 · $0.00