An introduction to logical theory:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Peterborough [u.a.]
Broadview Press
2013
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Includes bibliographical references and index |
| Beschreibung: | XXIV, 410 S. graph. Darst. |
| ISBN: | 9781551119939 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV041202381 | ||
| 003 | DE-604 | ||
| 005 | 20160817 | ||
| 007 | t | ||
| 008 | 130805s2013 d||| |||| 00||| eng d | ||
| 020 | |a 9781551119939 |9 978-1-55111-993-9 | ||
| 035 | |a (OCoLC)859375518 | ||
| 035 | |a (DE-599)BVBBV041202381 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29 |a DE-11 | ||
| 084 | |a CC 2400 |0 (DE-625)17608: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 100 | 1 | |a Yaqūb, Aladdin Mahmūd |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a An introduction to logical theory |c Aladdin M. Yaqub |
| 264 | 1 | |a Peterborough [u.a.] |b Broadview Press |c 2013 | |
| 300 | |a XXIV, 410 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Includes bibliographical references and index | ||
| 650 | 4 | |a Logic / Textbooks | |
| 650 | 4 | |a Language and logic / Textbooks | |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4151278-9 |a Einführung |2 gnd-content | |
| 689 | 0 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m Digitalisierung UB Erlangen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026177234&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-026177234 | ||
Datensatz im Suchindex
| _version_ | 1804150629519589376 |
|---|---|
| adam_text | CONTENTS
INTRODUCTION ANDINSTRUCTOR S GUIDE
*
XI
CHAPTER
ONE:INFORMAL
LOGIC
*
1
1.1
TAXONOMY
OFARGUMENTS
*
1
1.1.1
DEFINITION
OFANARGUMENT
*
1
1.1.2
TYPESOFLINK
*
3
1.1.3
DEDUCTIVELY
VALID
ANDINVALID
ARGUMENTS
*
6
1.1.4
DEDUCTIVELY
SOUND
ANDUNSOUND
ARGUMENTS
*
7
1.1.5
DEDUCTIVE
LOGIC
*
8
1.1.6
DEDUCTIVE
ARGUMENTS
*
9
1.1.7
PROBABILISTIC
ARGUMENTS
*
9
1.1.8
PROBABILISTIC
LOGIC
*
10
1.1.9
COGENT
ARGUMENTS
*
10
1.2
CLASSICAL
DEDUCTIVE
LOGICAND
THENOTION
OFLOGICAL
POSSIBILITY
*
12
1.2.1
DEFINITION
OFALOGICALPOSSIBILITY
*
12
1.2.2
CLASSICALTRUTH
VALUES
ANDBIVALENCE
*
14
1.2.3
DEDUCTIVE
VALIDITY
ANDLOGICALCONSEQUENCE
*
17
1.2.4
DEFINITION
OFDEDUCTIVE
VALIDITY
*
18
1.2.5
DEFINITION
OFDEDUCTIVE
INVALIDITY
*
18
1.2.6
DEFINITION
OFLOGICALTRUTH
*
18
1.2.7
DEFINITION
OFLOGICALFALSEHOOD
*
19
1.2.8
DEFINITION
OFCONTINGENCY
*
19
1.2.9
DEFINITION
OFLOGICALEQUIVALENCE
*
20
1.2.10
DEFINITION
OFCONSISTENCY
*
21
1.2.11
DEFINITION
OFINCONSISTENCY
*
21
1.2.12
RELEVANT
LOGICALPOSSIBILITIES
*
21
1.2.13
EXAMPLES
ANDCOUNTEREXAMPLES
*
22
1.3
EXERCISES
23
SOLUTIONS
TOTHESTARRED
EXERCISES
*
27
CHAPTER
TWO:TERMLOGIC(TL)
*
37
2.1
THETLWORLDVIEW
*
37
2.2
THE
SYNTAX
OFTL
*
41
2.2.1
THEBASICVOCABULARY
OFTL
*
41
2.2.2
2.2.3
2.3
2.3.1
2.3.2
2.3.3
2.3.4
2.4
2.4.1
2.4.2
2.4.3
2.4.4
2.5
2.5.1
2.5.2
2.5.3
2.5.4
2.5.5
2.5.6
2.5.7
2.5.8
2.5.9
2.5.10
2.5.11
2.5.12
2.6
TLSENTENCES
*
42
NON-RECURSIVE
GENERATIVE
GRAMMAR
*
43
TRANSLATING
ENGLISH
INTOTL
*
44
GENERALTERMS
*
44
SINGULARTERMS
*
45
UNIVERSALANDEXISTENTIALQUANTIFIERS
*
46
TRANSLATINGENGLISHIDIOMSINTOTL
*
47
THESEMANTICS
OFTL
*
48
TLDIAGRAMS
*
48
SIMILARTLDIAGRAMS
*
50
THETRUTH
CONDITIONS
OFTLSENTENCES
*
52
TRUTHVALUESOFTLSENTENCESONSIMILARTLDIAGRAMS
*
54
LOGICALCONCEPTS
INTL
55
DEFINITIONOFATLARGUMENT
*
55
LOGICALPOSSIBILITIES
ANDTLDIAGRAMS
*
55
DEFINITIONOFDEDUCTIVE
VALIDITYINTL
*
55
DEFINITIONOFDEDUCTIVE
INVALIDITY
INTL
*
59
DEFINITIONOFLOGICALTRUTH
INTL
*
59
DEFINITIONOFLOGICALFALSEHOOD
INTL
*
59
DEFINITIONOFCONTINGENCY
INTL
*
60
DEFINITIONOFLOGICALEQUIVALENCE
INTL
*
60
DEFINITIONOFCONSISTENCYINTL
*
61
DEFINITIONOFINCONSISTENCY
INTL
*
61
THEDECIDABILITY
OFLOGICALCONCEPTSINTL
*
62
THEREPRESENTABILITY
OFLOGICALPOSSIBILITIESBYTLDIAGRAMS
EXERCISES
86
*
65
SOLUTIONS
TOTHESTARRED
EXERCISES
90
CHAPTER
THREE:SENTENCE
LOGIC(SL)
111
3.1
THESLWORLDVIEW
*
111
3.2
THESYNTAXOFSL
113
3.2.1
THEBASICVOCABULARY
OFSL
*
113
3.2.2
SLSENTENCES
*
113
3.2.3
TYPESOFSLCOMPOUND
SENTENCES
*
117
3.2.4
SLCONSTRUCTION
TREES
*
117
3.2.5
ACONVENTION
*
119
3.2.6
GENERATIVE
RECURSIVEGRAMMAR
*
120
3.3
TRANSLATING
ENGLISH
INTO
SL
120
3.3.1
TRANSLATING
ENGLISHCONNECTIVESINTOSLCONNECTIVES
*
120
3.3.2
TRANSLATINGENGLISHIDIOMSINTOSL
*
123
CONTENTS
IX
3.4 THESEMANTICS
OFSL
*
123
3.4.1
SLTRUTHVALUATIONS
*
123
3.4.2
THETRUTHCONDITIONS
OFSLSENTENCES
*
126
3.4.3
TRUTHTABLES
*
130
3.4.4
TRUTHANALYSIS
*
132
3.5
LOGICALCONCEPTS
INSL
*
136
3.5.1
DEFINITIONOFANSLARGUMENT
*
136
3.5.2
LOGICALPOSSIBILITIESANDSLTRUTH
VALUATIONS
*
136
3.5.3
DEFINITIONOFDEDUCTIVE
VALIDITYINSL
*
136
3.5.4
DEFINITIONOFDEDUCTIVE
INVALIDITY
INSL
*
137
3.5.5
DEFINITIONOFLOGICALTRUTHINSL
*
137
3.5.6
DEFINITIONOFLOGICALFALSEHOODINSL
*
138
3.5.7
DEFINITIONOFCONTINGENCY
INSL
*
138
3.5.8
DEFINITIONOFLOGICALEQUIVALENCE
INSL
*
139
3.5.9
DEFINITIONOFCONSISTENCYINSL
*
140
3.5.10
DEFINITIONOFINCONSISTENCY
INSL
*
140
3.5.11
THEDECIDABILITYOFLOGICALCONCEPTSINSL
*
141
3.5.12
THEREPRESENTABILITY
OFLOGICALPOSSIBILITIESBYSLTRUTHVALUATIONS
*
145
3.6
EXERCISES
157
SOLUTIONS
TOTHESTARRED
EXERCISES
*
163
CHAPTER
FOUR:PREDICATE
LOGIC(PL)
*
179
4.1
4.2
4.2.1
4.2.2
4.2.3
4.2.4
4.2.5
4.2.6
4.2.7
4.3
4.4
4.4.1
4.4.2
4.4.3
4.4.4
4.5
4.5.1
4.5.2
4.5.3
THEPLWORLDVIEW
*
179
THESYNTAXOFPL
*
192
THEBASICVOCABULARY
OFPL
*
192
PLQUANTIFIERS
ANDPLTERMS
*
196
PLFORMULAS
*
200
BOUNDANDFREEVARIABLESANDPLSENTENCES
*
202
PLCONSTRUCTION
TREES
*
205
THREECONVENTIONS
*
208
GENERATIVERECURSIVEGRAMMAR
*
208
TRANSLATING
PLINTOENGLISH
ANDENGLISH
INTOPL
*
210
THESEMANTICS
OFPL
*
218
PLINTERPRETATIONS
*
218
THESIZEOFAPLINTERPRETATION
*
230
THETRUTHCONDITIONS
OFPLSENTENCES
*
232
BIVALENCEANDCLASSICALTRUTH
*
239
LOGICALCONCEPTS
INPL
*
240
DEFINITIONOFAPLARGUMENT
*
240
LOGICALPOSSIBILITIESANDPLINTERPRETATIONS
*
240
DEFINITIONOFDEDUCTIVE
VALIDITYINPL
*
241
4.5.4
DEFINITIONINDEDUCTIVEINVALIDITYINPL * 242
4.5.5
DEFINITIONOFLOGICALTRUTHINPL
*
243
4.5.6
DEFINITIONOFLOGICALFALSEHOODINPL
*
244
4.5.7
DEFINITIONOFCONTINGENCYINPL
*
245
4.5.8
DEFINITIONOFLOGICALEQUIVALENCEINPL
*
246
4.5.9
DEFINITIONOFCONSISTENCYINPL
*
247
4.5.10
DEFINITIONOFINCONSISTENCYINPL
*
249
4.5.11
THEUNDECIDABILITY
OFLOGICALCONCEPTSINPL
*
250
4.5.12
THERELATIONBETWEENTLANDPLANDTHERELATIONBETWEENSLANDPL
*
260
4.5.13
THEREPRESENTABILITY
OFLOGICALPOSSIBILITIESBYPLINTERPRETATIONS
*
271
4.6
EXERCISES
305
SOLUTIONS
TOTHESTARREDEXERCISES
*
309
CHAPTER
FIVE:CLASSICALPROOFTHEORY
*
327
5.1
THENOTION
OFDEMONSTRATIVE
PROOF
*
327
5.2
THENOTION
OFFORMALDERIVATION
*
334
5.2.1
DEFINITIONOFAFORMALDERIVATION
*
334
5.2.2
THESOUNDNESSTHEOREMFORPL
*
337
5.2.3
THECOMPLETENESSTHEOREMFORPL
*
338
5.2.4
COROLLARIESOFTHESOUNDNESSANDCOMPLETENESSTHEOREMS
*
339
5.2.5
THECOMPACTNESSTHEOREM
*
342
5.3
THENATURAL
DEDUCTION
SYSTEM(NOS)
*
345
5.3.1
TYPESOFNDSRULES
*
345
5.3.2
THENDSRULESOFINFERENCE
*
349
5.3.3
THEGENTZENDEDUCTIONSYSTEM(GDS)
*
361
5.4
STRATEGIESFORCONSTRUCTING
FORMALDERIVATIONS
*
366
5.5
EXERCISES
378
SOLUTIONS
TOTHESTARREDEXERCISES
*
382
INDEX
*
399
|
| any_adam_object | 1 |
| author | Yaqūb, Aladdin Mahmūd |
| author_facet | Yaqūb, Aladdin Mahmūd |
| author_role | aut |
| author_sort | Yaqūb, Aladdin Mahmūd |
| author_variant | a m y am amy |
| building | Verbundindex |
| bvnumber | BV041202381 |
| classification_rvk | CC 2400 |
| ctrlnum | (OCoLC)859375518 (DE-599)BVBBV041202381 |
| discipline | Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01396nam a2200373 c 4500</leader><controlfield tag="001">BV041202381</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160817 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">130805s2013 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781551119939</subfield><subfield code="9">978-1-55111-993-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)859375518</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041202381</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29</subfield><subfield code="a">DE-11</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">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Yaqūb, Aladdin Mahmūd</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">An introduction to logical theory</subfield><subfield code="c">Aladdin M. Yaqub</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Peterborough [u.a.]</subfield><subfield code="b">Broadview Press</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXIV, 410 S.</subfield><subfield code="b">graph. Darst.</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="650" ind1=" " ind2="4"><subfield code="a">Logic / Textbooks</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Language and logic / Textbooks</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4151278-9</subfield><subfield code="a">Einführung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</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="2"><subfield code="m">Digitalisierung UB Erlangen</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=026177234&sequence=000001&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-026177234</subfield></datafield></record></collection> |
| genre | (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV041202381 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T00:41:58Z |
| institution | BVB |
| isbn | 9781551119939 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-026177234 |
| oclc_num | 859375518 |
| open_access_boolean | |
| owner | DE-29 DE-11 |
| owner_facet | DE-29 DE-11 |
| physical | XXIV, 410 S. graph. Darst. |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | Broadview Press |
| record_format | marc |
| spelling | Yaqūb, Aladdin Mahmūd Verfasser aut An introduction to logical theory Aladdin M. Yaqub Peterborough [u.a.] Broadview Press 2013 XXIV, 410 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Includes bibliographical references and index Logic / Textbooks Language and logic / Textbooks Logik (DE-588)4036202-4 gnd rswk-swf (DE-588)4151278-9 Einführung gnd-content Logik (DE-588)4036202-4 s DE-604 Digitalisierung UB Erlangen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026177234&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Yaqūb, Aladdin Mahmūd An introduction to logical theory Logic / Textbooks Language and logic / Textbooks Logik (DE-588)4036202-4 gnd |
| subject_GND | (DE-588)4036202-4 (DE-588)4151278-9 |
| title | An introduction to logical theory |
| title_auth | An introduction to logical theory |
| title_exact_search | An introduction to logical theory |
| title_full | An introduction to logical theory Aladdin M. Yaqub |
| title_fullStr | An introduction to logical theory Aladdin M. Yaqub |
| title_full_unstemmed | An introduction to logical theory Aladdin M. Yaqub |
| title_short | An introduction to logical theory |
| title_sort | an introduction to logical theory |
| topic | Logic / Textbooks Language and logic / Textbooks Logik (DE-588)4036202-4 gnd |
| topic_facet | Logic / Textbooks Language and logic / Textbooks Logik Einführung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026177234&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT yaqubaladdinmahmud anintroductiontologicaltheory |