Forall x : an introduction to formal logic
(E-Book, Online Content)
Author
Contributors
Open Textbook Library, distributor.
Published
[Albany, New York] : P.D. Magnus, [2005]-.
Physical Desc
1 online resource.
More Details
Published
[Albany, New York] : P.D. Magnus, [2005]-.
Format
E-Book, Online Content
Language
English
Notes
Current Publication Frequency
Updated irregularly.
Description
"Forall x 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 books 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."--Open Textbook Library.
System Details
Mode of access: World Wide Web.
Description
Loading Description...
Also in this Series
Checking series information...
Copies
Location | Format | Call Number | Status |
---|---|---|---|
Access online version | Online Content | Online | Available Online |
Location | Format | Call Number | Status |
---|---|---|---|
Embry Riddle Aero University - EBOOK - EBook - Follow link or ask library staff for assistance | E-Book | BC108 .M29 EB | Find It Now |
Subjects
LC Subjects
Citations
APA Citation, 7th Edition (style guide)
Magnus, P. D. (2005). Forall x: an introduction to formal logic . P.D. Magnus.
Chicago / Turabian - Author Date Citation, 17th Edition (style guide)Magnus, P. D. 2005. Forall X: An Introduction to Formal Logic. P.D. Magnus.
Chicago / Turabian - Humanities (Notes and Bibliography) Citation, 17th Edition (style guide)Magnus, P. D. Forall X: An Introduction to Formal Logic P.D. Magnus, 2005.
MLA Citation, 9th Edition (style guide)Magnus, P. D. Forall X: An Introduction to Formal Logic P.D. Magnus, 2005.
Note! Citations contain only title, author, edition, publisher, and year published. Citations should be used as a guideline and should be double checked for accuracy. Citation formats are based on standards as of August 2021.
Staff View
Loading Staff View.