Propositional and predicate calculus: a model of argument
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
London
Springer
2005
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | VI, 315 S. |
| ISBN: | 1852339217 9781852339210 |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV019771491 | ||
| 003 | DE-604 | ||
| 005 | 20050921 | ||
| 007 | t | ||
| 008 | 050413s2005 xxu |||| 00||| eng d | ||
| 010 | |a 2005040219 | ||
| 020 | |a 1852339217 |c acidfree paper |9 1-85233-921-7 | ||
| 020 | |a 9781852339210 |9 978-1-85233-921-0 | ||
| 035 | |a (OCoLC)57465637 | ||
| 035 | |a (DE-599)BVBBV019771491 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c US | ||
| 049 | |a DE-703 |a DE-384 |a DE-11 | ||
| 050 | 0 | |a QA9.3 | |
| 082 | 0 | |a 511.3 |2 22 | |
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 100 | 1 | |a Goldrei, Derek |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Propositional and predicate calculus |b a model of argument |c Derek Goldrei |
| 264 | 1 | |a London |b Springer |c 2005 | |
| 300 | |a VI, 315 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Calcul des prédicats - Problèmes et exercices | |
| 650 | 4 | |a Calcul propositionnel - Problèmes et exercices | |
| 650 | 4 | |a Propositional calculus | |
| 650 | 4 | |a Predicate calculus | |
| 650 | 0 | 7 | |a Aussagenkalkül |0 (DE-588)4137551-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Prädikatenkalkül |0 (DE-588)4175518-2 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Aussagenkalkül |0 (DE-588)4137551-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Prädikatenkalkül |0 (DE-588)4175518-2 |D s |
| 689 | 1 | |5 DE-604 | |
| 856 | 4 | 2 | |m Digitalisierung UB Augsburg |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013097626&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-013097626 | ||
Datensatz im Suchindex
| _version_ | 1804133251825008640 |
|---|---|
| adam_text | CONTENTS
1
Introduction
1
1.1 Outline
of the book
1
1.2
Assumed knowledge
6
2
Propositions and truth assignments
17
2.1
Introduction
17
2.2
The construction of prepositional formulas
19
2.3
The interpretation of propositional formulas
31
2.4
Logical equivalence
48
2.5
The expressive power of connectives
63
2.6
Logical consequence
74
3
Formal propositional calculus
85
3.1
Introduction
85
3.2
A formal system for propositional calculus
87
3.3
Soundness and completeness
100
3.4
Independence of axioms and alternative systems
119
4
Predicates and models
133
4.1
Introduction: basic ideas
133
4.2
First-order languages and their interpretation
140
4.3
Universally valid formulas and logical equivalence
163
4.4
Some axiom systems and their consequences
185
4.5
Substructures and Isomorphisms
208
5
Formal predicate calculus
217
5.1
Introduction
217
5.2
A formal system for predicate calculus
221
5.3
The soundness theorem
242
5.4
The equality axioms and non-normal structures
247
5.5
The completeness theorem
252
6
Some uses of compactness
265
6.1
Introduction: the compactness theorem
265
6.2
Finite axiomatizability
266
6.3
Some non-axiomatizable theories
272
6.4
The
Löwenheim-Skolem
theorems
277
6.5
New models from old ones
289
6.6
Decidable theories
298
Bibliography
309
Index
311
|
| any_adam_object | 1 |
| author | Goldrei, Derek |
| author_facet | Goldrei, Derek |
| author_role | aut |
| author_sort | Goldrei, Derek |
| author_variant | d g dg |
| building | Verbundindex |
| bvnumber | BV019771491 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.3 |
| callnumber-search | QA9.3 |
| callnumber-sort | QA 19.3 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | CC 2600 SK 130 |
| ctrlnum | (OCoLC)57465637 (DE-599)BVBBV019771491 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01718nam a2200469zc 4500</leader><controlfield tag="001">BV019771491</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20050921 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">050413s2005 xxu |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2005040219</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1852339217</subfield><subfield code="c">acidfree paper</subfield><subfield code="9">1-85233-921-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781852339210</subfield><subfield code="9">978-1-85233-921-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)57465637</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV019771491</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">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-703</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.3</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">22</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">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Goldrei, Derek</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Propositional and predicate calculus</subfield><subfield code="b">a model of argument</subfield><subfield code="c">Derek Goldrei</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London</subfield><subfield code="b">Springer</subfield><subfield code="c">2005</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VI, 315 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="650" ind1=" " ind2="4"><subfield code="a">Calcul des prédicats - Problèmes et exercices</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Calcul propositionnel - Problèmes et exercices</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Propositional calculus</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Predicate calculus</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Aussagenkalkül</subfield><subfield code="0">(DE-588)4137551-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Prädikatenkalkül</subfield><subfield code="0">(DE-588)4175518-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Aussagenkalkül</subfield><subfield code="0">(DE-588)4137551-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Prädikatenkalkül</subfield><subfield code="0">(DE-588)4175518-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Augsburg</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=013097626&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-013097626</subfield></datafield></record></collection> |
| id | DE-604.BV019771491 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T20:05:45Z |
| institution | BVB |
| isbn | 1852339217 9781852339210 |
| language | English |
| lccn | 2005040219 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-013097626 |
| oclc_num | 57465637 |
| open_access_boolean | |
| owner | DE-703 DE-384 DE-11 |
| owner_facet | DE-703 DE-384 DE-11 |
| physical | VI, 315 S. |
| publishDate | 2005 |
| publishDateSearch | 2005 |
| publishDateSort | 2005 |
| publisher | Springer |
| record_format | marc |
| spelling | Goldrei, Derek Verfasser aut Propositional and predicate calculus a model of argument Derek Goldrei London Springer 2005 VI, 315 S. txt rdacontent n rdamedia nc rdacarrier Calcul des prédicats - Problèmes et exercices Calcul propositionnel - Problèmes et exercices Propositional calculus Predicate calculus Aussagenkalkül (DE-588)4137551-8 gnd rswk-swf Prädikatenkalkül (DE-588)4175518-2 gnd rswk-swf Aussagenkalkül (DE-588)4137551-8 s DE-604 Prädikatenkalkül (DE-588)4175518-2 s Digitalisierung UB Augsburg application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013097626&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Goldrei, Derek Propositional and predicate calculus a model of argument Calcul des prédicats - Problèmes et exercices Calcul propositionnel - Problèmes et exercices Propositional calculus Predicate calculus Aussagenkalkül (DE-588)4137551-8 gnd Prädikatenkalkül (DE-588)4175518-2 gnd |
| subject_GND | (DE-588)4137551-8 (DE-588)4175518-2 |
| title | Propositional and predicate calculus a model of argument |
| title_auth | Propositional and predicate calculus a model of argument |
| title_exact_search | Propositional and predicate calculus a model of argument |
| title_full | Propositional and predicate calculus a model of argument Derek Goldrei |
| title_fullStr | Propositional and predicate calculus a model of argument Derek Goldrei |
| title_full_unstemmed | Propositional and predicate calculus a model of argument Derek Goldrei |
| title_short | Propositional and predicate calculus |
| title_sort | propositional and predicate calculus a model of argument |
| title_sub | a model of argument |
| topic | Calcul des prédicats - Problèmes et exercices Calcul propositionnel - Problèmes et exercices Propositional calculus Predicate calculus Aussagenkalkül (DE-588)4137551-8 gnd Prädikatenkalkül (DE-588)4175518-2 gnd |
| topic_facet | Calcul des prédicats - Problèmes et exercices Calcul propositionnel - Problèmes et exercices Propositional calculus Predicate calculus Aussagenkalkül Prädikatenkalkül |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013097626&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT goldreiderek propositionalandpredicatecalculusamodelofargument |