MARC details
| 000 -LEADER |
|---|
| fixed length control field |
02518nam a2200349 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
OTLid0000054 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
MnU |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20201105133252.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
|---|
| fixed length control field |
m o d s |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
180907s2012 mnu o 0 0 eng d |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
MnU |
| Language of cataloging |
eng |
| Transcribing agency |
MnU |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
B72 |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Magnus, P.D. |
| Relator term |
author |
| 245 03 - TITLE STATEMENT |
|---|
| Title |
An Introduction to Formal Logic |
| Statement of responsibility, etc. |
P.D. Magnus |
| 264 #2 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Name of producer, publisher, distributor, manufacturer |
Open Textbook Library |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Name of producer, publisher, distributor, manufacturer |
Fecundity |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource |
| 490 0# - SERIES STATEMENT |
|---|
| Series statement |
Open textbook library. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Chapter 1: What is logic? -- Chapter 2: Sentential logic -- Chapter 3: Truth tables -- Chapter 4: Quantified logic -- Chapter 5: Formal semantics -- Chapter 6: Proofs |
| 520 0# - SUMMARY, ETC. |
|---|
| Summary, etc. |
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. Throughout the book, I have tried to highlight the choices involved in developing sentential and predicate logic. Students should realize that these two are not the only possible formal languages. In translating to a formal language, we simplify and profit in clarity. The simplification comes at a cost, and different formal languages are suited to translating different parts of natural language. The book is designed to provide a semester's worth of material for an introductory college course. It would be possible to use the book only for sentential logic, by skipping chapters 4-5 and parts of chapter 6. |
| 542 1# - INFORMATION RELATING TO COPYRIGHT STATUS |
|---|
| Copyright statement |
Attribution-ShareAlike |
| 546 ## - LANGUAGE NOTE |
|---|
| Language note |
In English. |
| 588 0# - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Description based on print resource |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Humanities |
| Form subdivision |
Textbooks |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Philosophy |
| Form subdivision |
Textbooks |
| 710 2# - ADDED ENTRY--CORPORATE NAME |
|---|
| Corporate name or jurisdiction name as entry element |
Open Textbook Library |
| Relator term |
distributor |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://open.umn.edu/opentextbooks/textbooks/54">https://open.umn.edu/opentextbooks/textbooks/54</a> |
| Public note |
Access online version |
