Forall x: Calgary: an introduction to formal logic
"Forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-or...
Gespeichert in:
| Hauptverfasser: | , , , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Calgary
University of Calgary
Fall 2023
[Calgary] forallx.openlogicproject.org |
| Schlagworte: | |
| Online-Zugang: | kostenfrei |
| Zusammenfassung: | "Forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), symbolizing English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as modal logic, soundness, and functional completeness. Exercises with solutions are available. It is provided in PDF (for screen reading, printing, and a special version for dyslexics), HTML (with additional accessibility features), and in LaTeX source code. A proof editor/checker for the proof system used is available at proofs.openlogicproject.org."--BCcampus website |
| Beschreibung: | "This version is revision 9372a18 (2023-09-01)" |
| Beschreibung: | 1 Online-Ressource (ix, 427 Seiten) |
| ISBN: | 9798859963584 |
Internformat
MARC
| LEADER | 00000nmm a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV049621061 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 240320s2023 |||| o||u| ||||||eng d | ||
| 020 | |a 9798859963584 |9 9798859963584 | ||
| 035 | |a (DE-599)BVBBV049621061 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-355 | ||
| 084 | |a CC 2400 |0 (DE-625)17608: |2 rvk | ||
| 100 | 1 | |a Magnus, P. D. |e Verfasser |0 (DE-588)161067220 |4 aut | |
| 245 | 1 | 0 | |a Forall x: Calgary |b an introduction to formal logic |c by P.D. Magnus, Tim Button, Robert Trueman, Richard Zach ; with contributions by J. Robert Loftis, Aaron Thomas-Bolduc |
| 264 | 1 | |a Calgary |b University of Calgary |c Fall 2023 | |
| 264 | 1 | |a [Calgary] |b forallx.openlogicproject.org | |
| 300 | |a 1 Online-Ressource (ix, 427 Seiten) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a "This version is revision 9372a18 (2023-09-01)" | ||
| 505 | 8 | |a Key notions of logic -- Truth-functional logic -- Truth tables -- Natural deduction for TFL -- First-order logic -- Interpretations -- Natural deduction for FOL -- Modal logic -- Metatheory | |
| 520 | 3 | |a "Forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), symbolizing English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as modal logic, soundness, and functional completeness. Exercises with solutions are available. It is provided in PDF (for screen reading, printing, and a special version for dyslexics), HTML (with additional accessibility features), and in LaTeX source code. A proof editor/checker for the proof system used is available at proofs.openlogicproject.org."--BCcampus website | |
| 653 | 0 | |a Logic | |
| 700 | 1 | |a Button, Tim |e Verfasser |0 (DE-588)1036917746 |4 aut | |
| 700 | 1 | |a Trueman, Robert |e Verfasser |0 (DE-588)1225801362 |4 aut | |
| 700 | 1 | |a Zach, Richard |e Verfasser |0 (DE-588)1242279687 |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9798859963584 |
| 856 | 4 | 0 | |u https://collection.bccampus.ca/textbooks/415 |x Verlag |z kostenfrei |3 Volltext |
| 912 | |a ebook | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-034965119 | ||
| 542 | |f This work is licensed under the Creative Commons Attribution 4.0 International license (CC BY 4.0) | ||
Datensatz im Suchindex
| _version_ | 1804186515680526336 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Magnus, P. D. Button, Tim Trueman, Robert Zach, Richard |
| author_GND | (DE-588)161067220 (DE-588)1036917746 (DE-588)1225801362 (DE-588)1242279687 |
| author_facet | Magnus, P. D. Button, Tim Trueman, Robert Zach, Richard |
| author_role | aut aut aut aut |
| author_sort | Magnus, P. D. |
| author_variant | p d m pd pdm t b tb r t rt r z rz |
| building | Verbundindex |
| bvnumber | BV049621061 |
| classification_rvk | CC 2400 |
| collection | ebook |
| contents | Key notions of logic -- Truth-functional logic -- Truth tables -- Natural deduction for TFL -- First-order logic -- Interpretations -- Natural deduction for FOL -- Modal logic -- Metatheory |
| ctrlnum | (DE-599)BVBBV049621061 |
| discipline | Philosophie |
| discipline_str_mv | Philosophie |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02585nmm a2200397 c 4500</leader><controlfield tag="001">BV049621061</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">240320s2023 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9798859963584</subfield><subfield code="9">9798859963584</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV049621061</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-355</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2400</subfield><subfield code="0">(DE-625)17608:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Magnus, P. D.</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)161067220</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Forall x: Calgary</subfield><subfield code="b">an introduction to formal logic</subfield><subfield code="c">by P.D. Magnus, Tim Button, Robert Trueman, Richard Zach ; with contributions by J. Robert Loftis, Aaron Thomas-Bolduc</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Calgary</subfield><subfield code="b">University of Calgary</subfield><subfield code="c">Fall 2023</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">[Calgary]</subfield><subfield code="b">forallx.openlogicproject.org</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (ix, 427 Seiten)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">"This version is revision 9372a18 (2023-09-01)"</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">Key notions of logic -- Truth-functional logic -- Truth tables -- Natural deduction for TFL -- First-order logic -- Interpretations -- Natural deduction for FOL -- Modal logic -- Metatheory</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">"Forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), symbolizing English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as modal logic, soundness, and functional completeness. Exercises with solutions are available. It is provided in PDF (for screen reading, printing, and a special version for dyslexics), HTML (with additional accessibility features), and in LaTeX source code. A proof editor/checker for the proof system used is available at proofs.openlogicproject.org."--BCcampus website</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Logic</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Button, Tim</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1036917746</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Trueman, Robert</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1225801362</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Zach, Richard</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1242279687</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9798859963584</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://collection.bccampus.ca/textbooks/415</subfield><subfield code="x">Verlag</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ebook</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-034965119</subfield></datafield><datafield tag="542" ind1=" " ind2=" "><subfield code="f">This work is licensed under the Creative Commons Attribution 4.0 International license (CC BY 4.0)</subfield></datafield></record></collection> |
| id | DE-604.BV049621061 |
| illustrated | Not Illustrated |
| index_date | 2024-07-03T23:37:10Z |
| indexdate | 2024-07-10T10:12:21Z |
| institution | BVB |
| isbn | 9798859963584 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-034965119 |
| open_access_boolean | 1 |
| owner | DE-355 DE-BY-UBR |
| owner_facet | DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (ix, 427 Seiten) |
| psigel | ebook |
| publishDate | 2023 |
| publishDateSearch | 2023 |
| publishDateSort | 2023 |
| publisher | University of Calgary forallx.openlogicproject.org |
| record_format | marc |
| spelling | Magnus, P. D. Verfasser (DE-588)161067220 aut Forall x: Calgary an introduction to formal logic by P.D. Magnus, Tim Button, Robert Trueman, Richard Zach ; with contributions by J. Robert Loftis, Aaron Thomas-Bolduc Calgary University of Calgary Fall 2023 [Calgary] forallx.openlogicproject.org 1 Online-Ressource (ix, 427 Seiten) txt rdacontent c rdamedia cr rdacarrier "This version is revision 9372a18 (2023-09-01)" Key notions of logic -- Truth-functional logic -- Truth tables -- Natural deduction for TFL -- First-order logic -- Interpretations -- Natural deduction for FOL -- Modal logic -- Metatheory "Forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), symbolizing English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as modal logic, soundness, and functional completeness. Exercises with solutions are available. It is provided in PDF (for screen reading, printing, and a special version for dyslexics), HTML (with additional accessibility features), and in LaTeX source code. A proof editor/checker for the proof system used is available at proofs.openlogicproject.org."--BCcampus website Logic Button, Tim Verfasser (DE-588)1036917746 aut Trueman, Robert Verfasser (DE-588)1225801362 aut Zach, Richard Verfasser (DE-588)1242279687 aut Erscheint auch als Druck-Ausgabe 9798859963584 https://collection.bccampus.ca/textbooks/415 Verlag kostenfrei Volltext This work is licensed under the Creative Commons Attribution 4.0 International license (CC BY 4.0) |
| spellingShingle | Magnus, P. D. Button, Tim Trueman, Robert Zach, Richard Forall x: Calgary an introduction to formal logic Key notions of logic -- Truth-functional logic -- Truth tables -- Natural deduction for TFL -- First-order logic -- Interpretations -- Natural deduction for FOL -- Modal logic -- Metatheory |
| title | Forall x: Calgary an introduction to formal logic |
| title_auth | Forall x: Calgary an introduction to formal logic |
| title_exact_search | Forall x: Calgary an introduction to formal logic |
| title_exact_search_txtP | Forall x: Calgary an introduction to formal logic |
| title_full | Forall x: Calgary an introduction to formal logic by P.D. Magnus, Tim Button, Robert Trueman, Richard Zach ; with contributions by J. Robert Loftis, Aaron Thomas-Bolduc |
| title_fullStr | Forall x: Calgary an introduction to formal logic by P.D. Magnus, Tim Button, Robert Trueman, Richard Zach ; with contributions by J. Robert Loftis, Aaron Thomas-Bolduc |
| title_full_unstemmed | Forall x: Calgary an introduction to formal logic by P.D. Magnus, Tim Button, Robert Trueman, Richard Zach ; with contributions by J. Robert Loftis, Aaron Thomas-Bolduc |
| title_short | Forall x: Calgary |
| title_sort | forall x calgary an introduction to formal logic |
| title_sub | an introduction to formal logic |
| url | https://collection.bccampus.ca/textbooks/415 |
| work_keys_str_mv | AT magnuspd forallxcalgaryanintroductiontoformallogic AT buttontim forallxcalgaryanintroductiontoformallogic AT truemanrobert forallxcalgaryanintroductiontoformallogic AT zachrichard forallxcalgaryanintroductiontoformallogic |