An introduction to formal logic:
"In this book, Peter Smith presents a guide to the fundamental aims and basic elements of formal logic. He introduces the reader to the languages of propositional and predicate logic, and then develops formal systems for evaluating arguments translated into these languages, concentrating on the...
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge [u.a.]
Cambridge University Press
2003
|
| Edition: | 1. publ. |
| Subjects: | |
| Online Access: | Publisher description Table of contents Inhaltsverzeichnis |
| Summary: | "In this book, Peter Smith presents a guide to the fundamental aims and basic elements of formal logic. He introduces the reader to the languages of propositional and predicate logic, and then develops formal systems for evaluating arguments translated into these languages, concentrating on the easily comprehensible 'tree' method. His discussion is richly illustrated with worked examples and exercises. A distinctive feature is that, alongside the formal work, there is illuminating philosophical commentary. This book will make an ideal text for a first logic course, and will provide a firm basis for further work in formal and philosophical logic."--BOOK JACKET. |
| Item Description: | Includes bibliographical references and index |
| Physical Description: | VIII, 357 S. |
| ISBN: | 0521810337 0521008042 |
Staff View
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV017299880 | ||
| 003 | DE-604 | ||
| 005 | 20130529 | ||
| 007 | t | ||
| 008 | 030708s2003 xxk |||| 00||| eng d | ||
| 010 | |a 2003057283 | ||
| 020 | |a 0521810337 |9 0-521-81033-7 | ||
| 020 | |a 0521008042 |9 0-521-00804-2 | ||
| 035 | |a (OCoLC)52518792 | ||
| 035 | |a (DE-599)BVBBV017299880 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a xxk |c GB | ||
| 049 | |a DE-29 |a DE-19 |a DE-11 | ||
| 050 | 0 | |a BC71 | |
| 082 | 0 | |a 160 |2 21 | |
| 084 | |a CC 2400 |0 (DE-625)17608: |2 rvk | ||
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 100 | 1 | |a Smith, Peter |d 1944- |e Verfasser |0 (DE-588)173658121 |4 aut | |
| 245 | 1 | 0 | |a An introduction to formal logic |c Peter Smith |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Cambridge [u.a.] |b Cambridge University Press |c 2003 | |
| 300 | |a VIII, 357 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Includes bibliographical references and index | ||
| 520 | 1 | |a "In this book, Peter Smith presents a guide to the fundamental aims and basic elements of formal logic. He introduces the reader to the languages of propositional and predicate logic, and then develops formal systems for evaluating arguments translated into these languages, concentrating on the easily comprehensible 'tree' method. His discussion is richly illustrated with worked examples and exercises. A distinctive feature is that, alongside the formal work, there is illuminating philosophical commentary. This book will make an ideal text for a first logic course, and will provide a firm basis for further work in formal and philosophical logic."--BOOK JACKET. | |
| 650 | 4 | |a Logique | |
| 650 | 4 | |a Logique symbolique et mathématique | |
| 650 | 4 | |a Logic | |
| 650 | 0 | 7 | |a Formale Sprache |0 (DE-588)4017848-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | 1 | |a Formale Sprache |0 (DE-588)4017848-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | |u http://www.loc.gov/catdir/description/cam032/2003057283.html |3 Publisher description | |
| 856 | 4 | |u http://www.loc.gov/catdir/toc/cam032/2003057283.html |3 Table of contents | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010427494&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-010427494 | ||
Record in the Search Index
| _version_ | 1804130141344890880 |
|---|---|
| adam_text | Titel: An Introduction to formal logic
Autor: Smith, Peter
Jahr: 2003
Contents
Preface page vii
1 What is logic? 1
2 Validity and soundness 9
3 Patterns of inference 18
4 The counterexample technique 29
5 Proofs 36
6 Validity and arguments 44
Interlude Logic, formal and informal 51
7 Three propositional connectives 53
8 The syntax of PL 63
9 The semantics of PL 72
10 A s and B s, P s and Q s 82
11 Truth functions 88
12 Tautologies 101
13 Tautological entailment 107
Interlude Propositional logic 123
14 PLC and the material conditional 125
15 More on the material conditional 137
16 Introducing PL trees 145
17 Rules for PL trees 157
18 PLC trees 171
19 PL trees vindicated 179
20 Trees and proofs 185
Interlude After propositional logic 192
21 Quantifiers 194
22 QL introduced 202
23 QL explored 210
24 More QL translations 219
25 Introducing QL trees 228
vi Contents
26 The syntax of QL 242
27 Q-valuations 250
28 Q-validity 262
29 More on QL trees 272
30 QL trees vindicated 286
Interlude Developing predicate logic 294
31 Extensionality 296
32 Identity 303
33 The language QL= 309
34 Descriptions and existence 316
35 Trees for identity 325
36 Functions 339
Further reading 348
Index 352
|
| any_adam_object | 1 |
| author | Smith, Peter 1944- |
| author_GND | (DE-588)173658121 |
| author_facet | Smith, Peter 1944- |
| author_role | aut |
| author_sort | Smith, Peter 1944- |
| author_variant | p s ps |
| building | Verbundindex |
| bvnumber | BV017299880 |
| callnumber-first | B - Philosophy, Psychology, Religion |
| callnumber-label | BC71 |
| callnumber-raw | BC71 |
| callnumber-search | BC71 |
| callnumber-sort | BC 271 |
| callnumber-subject | BC - Logic |
| classification_rvk | CC 2400 CC 2600 |
| ctrlnum | (OCoLC)52518792 (DE-599)BVBBV017299880 |
| dewey-full | 160 |
| dewey-hundreds | 100 - Philosophy & psychology |
| dewey-ones | 160 - Philosophical logic |
| dewey-raw | 160 |
| dewey-search | 160 |
| dewey-sort | 3160 |
| dewey-tens | 160 - Philosophical logic |
| discipline | Philosophie |
| edition | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02572nam a2200517zc 4500</leader><controlfield tag="001">BV017299880</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130529 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">030708s2003 xxk |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2003057283</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521810337</subfield><subfield code="9">0-521-81033-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521008042</subfield><subfield code="9">0-521-00804-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)52518792</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV017299880</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxk</subfield><subfield code="c">GB</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">BC71</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</subfield><subfield code="2">21</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="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Smith, Peter</subfield><subfield code="d">1944-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)173658121</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">An introduction to formal logic</subfield><subfield code="c">Peter Smith</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge [u.a.]</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 357 S.</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="520" ind1="1" ind2=" "><subfield code="a">"In this book, Peter Smith presents a guide to the fundamental aims and basic elements of formal logic. He introduces the reader to the languages of propositional and predicate logic, and then develops formal systems for evaluating arguments translated into these languages, concentrating on the easily comprehensible 'tree' method. His discussion is richly illustrated with worked examples and exercises. A distinctive feature is that, alongside the formal work, there is illuminating philosophical commentary. This book will make an ideal text for a first logic course, and will provide a firm basis for further work in formal and philosophical logic."--BOOK JACKET.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique symbolique et mathématique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">http://www.loc.gov/catdir/description/cam032/2003057283.html</subfield><subfield code="3">Publisher description</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">http://www.loc.gov/catdir/toc/cam032/2003057283.html</subfield><subfield code="3">Table of contents</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010427494&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-010427494</subfield></datafield></record></collection> |
| id | DE-604.BV017299880 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T19:16:19Z |
| institution | BVB |
| isbn | 0521810337 0521008042 |
| language | English |
| lccn | 2003057283 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-010427494 |
| oclc_num | 52518792 |
| open_access_boolean | |
| owner | DE-29 DE-19 DE-BY-UBM DE-11 |
| owner_facet | DE-29 DE-19 DE-BY-UBM DE-11 |
| physical | VIII, 357 S. |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | Cambridge University Press |
| record_format | marc |
| spelling | Smith, Peter 1944- Verfasser (DE-588)173658121 aut An introduction to formal logic Peter Smith 1. publ. Cambridge [u.a.] Cambridge University Press 2003 VIII, 357 S. txt rdacontent n rdamedia nc rdacarrier Includes bibliographical references and index "In this book, Peter Smith presents a guide to the fundamental aims and basic elements of formal logic. He introduces the reader to the languages of propositional and predicate logic, and then develops formal systems for evaluating arguments translated into these languages, concentrating on the easily comprehensible 'tree' method. His discussion is richly illustrated with worked examples and exercises. A distinctive feature is that, alongside the formal work, there is illuminating philosophical commentary. This book will make an ideal text for a first logic course, and will provide a firm basis for further work in formal and philosophical logic."--BOOK JACKET. Logique Logique symbolique et mathématique Logic Formale Sprache (DE-588)4017848-1 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 s Formale Sprache (DE-588)4017848-1 s DE-604 http://www.loc.gov/catdir/description/cam032/2003057283.html Publisher description http://www.loc.gov/catdir/toc/cam032/2003057283.html Table of contents HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010427494&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Smith, Peter 1944- An introduction to formal logic Logique Logique symbolique et mathématique Logic Formale Sprache (DE-588)4017848-1 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4017848-1 (DE-588)4037951-6 |
| title | An introduction to formal logic |
| title_auth | An introduction to formal logic |
| title_exact_search | An introduction to formal logic |
| title_full | An introduction to formal logic Peter Smith |
| title_fullStr | An introduction to formal logic Peter Smith |
| title_full_unstemmed | An introduction to formal logic Peter Smith |
| title_short | An introduction to formal logic |
| title_sort | an introduction to formal logic |
| topic | Logique Logique symbolique et mathématique Logic Formale Sprache (DE-588)4017848-1 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Logique Logique symbolique et mathématique Logic Formale Sprache Mathematische Logik |
| url | http://www.loc.gov/catdir/description/cam032/2003057283.html http://www.loc.gov/catdir/toc/cam032/2003057283.html http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010427494&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT smithpeter anintroductiontoformallogic |