MARC details
| 000 -LEADER |
|---|
| fixed length control field |
04104nam a2200457Ii 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
bcotR000311 |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20210215102216.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
|---|
| fixed length control field |
m u |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr cn|---uuuuu |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
190918s2019 nyu o 000 0 eng d |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)1119733237 |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
K6U |
| Language of cataloging |
eng |
| Description conventions |
rda |
| Transcribing agency |
K6U |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
BC71 |
| Item number |
.M342 2019eb |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Magnus, P. D., |
| Relator term |
author. |
| 240 10 - UNIFORM TITLE |
|---|
| Uniform title |
forall x |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
forall x, Calgary : |
| Remainder of title |
an introduction to formal logic / |
| Statement of responsibility, etc. |
by P. D. Magnus, Tim Button ; with additions by J. Robert Loftis, Robert Trueman ; remixed and revised by Aaron Thomas-Bolduc, Richard Zach. |
| 246 3# - VARYING FORM OF TITLE |
|---|
| Title proper/short title |
forall x : |
| Remainder of title |
an introduction to formal logic, Calgary |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Name of producer, publisher, distributor, manufacturer |
P.D. Magnus, |
| 264 #2 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Name of producer, publisher, distributor, manufacturer |
BCcampus, BC Open Textbook Project |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (viii, 389 pages) |
| 500 ## - GENERAL NOTE |
|---|
| General note |
This bibliographic record is available under the Creative Commons CC0 "No Rights Reserved" license. |
| 500 ## - GENERAL NOTE |
|---|
| General note |
"This booklet is based on the solutions booklet forallx: Cambridge, by Tim Button University of Cambridge used under a CC BY 4.0 license, which is based in turn on forallx, by P.D. Magnus University at Albany, State University of New York used under a CC BY 4.0 license, which was remixed & expanded by Aaron Thomas-Bolduc & Richard Zach University of Calgary"--page ii. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
"This is a textbook on formal logic. The book is divided into nine parts. Part I introduces the topic and notions of logic in an informal way, without introducing a formal language yet. Parts II-IV concern truth-functional languages. In it, sentences are formed from basic sentences using a number of connectives ('or', 'and', 'not', 'if . . . then') which just combine sentences into more complicated ones. We discuss logical notions such as entailment in two ways: semantically, using the method of truth tables (in Part III) and proof-theoretically, using a system of formal derivations (in Part IV). Parts V-VII deal with a more complicated language, that of first-order logic. It includes, in addition to the connectives of truth-functional logic, also names, predicates, identity, and the so-called quantifiers. These additional elements of the language make it much more expressive than the truth-functional language, and we'll spend a fair amount of time investigating just how much one can express in it. Again, logical notions for the language of first-order logic are defined semantically, using interpretations, and proof-theoretically, using a more complex version of the formal derivation system introduced in Part IV. Part VIII discusses the extension of TFL by non-truth-functional operators for possibility and necessity: modal logic. Part IX covers two advanced topics: that of conjunctive and disjunctive normal forms and the expressive adequacy of the truth-functional connectives, and the soundness of natural deduction for TFL"--BCcampus website. |
| 588 ## - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Description based on online resource; title from pdf title page (viewed on September 18, 2019). |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Logic |
| Form subdivision |
Textbooks. |
| 655 #0 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Electronic books. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Button, Tim, |
| Relator term |
author. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Loftis, J. Robert. |
| Title of a work |
forall x, Lorain County remix. |
| Form subheading |
Selections |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Trueman, Robert. |
| Title of a work |
Modal logic primer. |
| Form subheading |
Selections |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Thomas-Bolduc, Aaron, |
| Relator term |
editor. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Zach, Richard, |
| Relator term |
editor. |
| 710 2# - ADDED ENTRY--CORPORATE NAME |
|---|
| Corporate name or jurisdiction name as entry element |
BC Open Textbook Project, |
| Relator term |
distributor. |
| 710 2# - ADDED ENTRY--CORPORATE NAME |
|---|
| Corporate name or jurisdiction name as entry element |
BCcampus. |
| 775 08 - OTHER EDITION ENTRY |
|---|
| Relationship information |
Revision of: |
| Main entry heading |
Magnus, P. D. |
| Title |
forall x |
| Place, publisher, and date of publication |
Calgary : forallx.openlogicproject.org, 2018. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Materials specified |
BC Open Textbook Project title homepage. |
| Uniform Resource Identifier |
<a href="https://open.bccampus.ca/browse-our-collection/find-open-textbooks/?uuid=843aa250-9b7d-4301-befc-c44a7c3af4ce&contributor=&keyword=&subject=">https://open.bccampus.ca/browse-our-collection/find-open-textbooks/?uuid=843aa250-9b7d-4301-befc-c44a7c3af4ce&contributor=&keyword=&subject=</a> |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Materials specified |
BC Open Textbook Project. |
| Uniform Resource Identifier |
<a href="http://solr.bccampus.ca:8001/bcc/file/843aa250-9b7d-4301-befc-c44a7c3af4ce/1/OTB213-02-forallx-Introduction-to-formal-logic-yyc-fall2019.pdf">http://solr.bccampus.ca:8001/bcc/file/843aa250-9b7d-4301-befc-c44a7c3af4ce/1/OTB213-02-forallx-Introduction-to-formal-logic-yyc-fall2019.pdf</a> |
