Formal logic and linguistics:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
The Hague
Mouton
1972
|
| Schriftenreihe: | [Ianua linguarum / Series minor]
102 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | 92 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV003027755 | ||
| 003 | DE-604 | ||
| 005 | 20100201 | ||
| 007 | t | ||
| 008 | 900725s1972 |||| 00||| eng d | ||
| 035 | |a (OCoLC)422170853 | ||
| 035 | |a (DE-599)BVBBV003027755 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-473 |a DE-739 |a DE-355 |a DE-29 |a DE-19 |a DE-83 |a DE-188 | ||
| 050 | 0 | |a BC117S7Z54F 1972 | |
| 082 | 0 | |a 415.01 | |
| 084 | |a ER 620 |0 (DE-625)27737: |2 rvk | ||
| 084 | |a ER 630 |0 (DE-625)27738: |2 rvk | ||
| 100 | 1 | |a Zierer, Ernesto |e Verfasser |4 aut | |
| 240 | 1 | 0 | |a La lógica formal en la lingüística |
| 245 | 1 | 0 | |a Formal logic and linguistics |c by Ernesto Zierer |
| 264 | 1 | |a The Hague |b Mouton |c 1972 | |
| 300 | |a 92 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a [Ianua linguarum / Series minor] |v 102 | |
| 650 | 4 | |a Linguistique | |
| 650 | 4 | |a Logique | |
| 650 | 4 | |a Philologie | |
| 650 | 0 | 7 | |a Linguistik |0 (DE-588)4074250-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Linguistik |0 (DE-588)4037950-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Linguistik |0 (DE-588)4074250-7 |D s |
| 689 | 0 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Mathematische Linguistik |0 (DE-588)4037950-4 |D s |
| 689 | 1 | |5 DE-604 | |
| 810 | 2 | |a Series minor] |t [Ianua linguarum |v 102 |w (DE-604)BV023552230 |9 102. | |
| 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=001895995&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 940 | 1 | |q TUB-nveb | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-001895995 | ||
Datensatz im Suchindex
| _version_ | 1804117316288380928 |
|---|---|
| adam_text | CONTENTS
Foreword 5
I. Introduction 9
II. Sentential Logic 11
1. Terminology 11
2. Logical Negation 12
3. Logical Conjunction (logical product) 15
4. Logical Disjunction 17
5. The Principle of Logical Contradiction .... 22
6. The Principle of Tertium Non Datur 23
7. Logical Implication 25
8. Logical Equivalence 28
9. The Utterance and Semiotics 29
10. The Laws of Commutation, Association, Distri¬
bution and Transitivity 31
11. Normal Forms in Formal Logic 37
III. Predicate Calculus 43
A. Argument and Predicate 43
B. The Quantifiers all and exists 44
C. Semantic Equivalence 47
D. Logic of Classes 49
1. The Notion of Ciassand Classification .... 49
2. Extension and Intension of a Concept 51
3. Class Identity 51
8 CONTENTS
4. Inclusion • . 51
5. Sum of Classes • . 52
6. Product of Classes . 53
7. Complement of a Class ¦ . 54
E. Logic of Relations . 55
1. Inclusion of Relations . 56
2. Sum of Relations . 57
3. Product of Relations • . 58
4. Identical Relations . 58
5. The Complement of a Relation . 58
6. The Universal Relation . 59
7. The Null Relation . 59
8. The Converse of a Relation 59
9. The Relative Product of Relations ...... 59
10. The Properties of Relations • . 61
IV. Higher Predicate Calculus . 64
1. Preliminary Observations • . 64
2. Mapping . 65
3. The Notion of Heredity • . 66
V. Deduction in Formal Logic ¦ . 68
VI. Sentential Calculus and Axiomatization ........ 72
1. Explication and Definition • • 72
2. Sentential Calculus • . 73
3. Axiomatization . 74
VII. Further Examples . 77
Bibliography . 91
|
| any_adam_object | 1 |
| author | Zierer, Ernesto |
| author_facet | Zierer, Ernesto |
| author_role | aut |
| author_sort | Zierer, Ernesto |
| author_variant | e z ez |
| building | Verbundindex |
| bvnumber | BV003027755 |
| callnumber-first | B - Philosophy, Psychology, Religion |
| callnumber-label | BC117S7Z54F 1972 |
| callnumber-raw | BC117S7Z54F 1972 |
| callnumber-search | BC117S7Z54F 1972 |
| callnumber-sort | BC 3117 S7 Z54 F 41972 |
| callnumber-subject | BC - Logic |
| classification_rvk | ER 620 ER 630 |
| ctrlnum | (OCoLC)422170853 (DE-599)BVBBV003027755 |
| dewey-full | 415.01 |
| dewey-hundreds | 400 - Language |
| dewey-ones | 415 - Grammar |
| dewey-raw | 415.01 |
| dewey-search | 415.01 |
| dewey-sort | 3415.01 |
| dewey-tens | 410 - Linguistics |
| discipline | Sprachwissenschaft Literaturwissenschaft |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01768nam a2200481 cb4500</leader><controlfield tag="001">BV003027755</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100201 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">900725s1972 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)422170853</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV003027755</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">BC117S7Z54F 1972</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">415.01</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ER 620</subfield><subfield code="0">(DE-625)27737:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ER 630</subfield><subfield code="0">(DE-625)27738:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Zierer, Ernesto</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="240" ind1="1" ind2="0"><subfield code="a">La lógica formal en la lingüística</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal logic and linguistics</subfield><subfield code="c">by Ernesto Zierer</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">The Hague</subfield><subfield code="b">Mouton</subfield><subfield code="c">1972</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">92 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="490" ind1="1" ind2=" "><subfield code="a">[Ianua linguarum / Series minor]</subfield><subfield code="v">102</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Linguistique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philologie</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Linguistik</subfield><subfield code="0">(DE-588)4074250-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="650" ind1="0" ind2="7"><subfield code="a">Mathematische Linguistik</subfield><subfield code="0">(DE-588)4037950-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Linguistik</subfield><subfield code="0">(DE-588)4074250-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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="689" ind1="1" ind2="0"><subfield code="a">Mathematische Linguistik</subfield><subfield code="0">(DE-588)4037950-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Series minor]</subfield><subfield code="t">[Ianua linguarum</subfield><subfield code="v">102</subfield><subfield code="w">(DE-604)BV023552230</subfield><subfield code="9">102.</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=001895995&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">TUB-nveb</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001895995</subfield></datafield></record></collection> |
| id | DE-604.BV003027755 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T15:52:28Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001895995 |
| oclc_num | 422170853 |
| open_access_boolean | |
| owner | DE-384 DE-473 DE-BY-UBG DE-739 DE-355 DE-BY-UBR DE-29 DE-19 DE-BY-UBM DE-83 DE-188 |
| owner_facet | DE-384 DE-473 DE-BY-UBG DE-739 DE-355 DE-BY-UBR DE-29 DE-19 DE-BY-UBM DE-83 DE-188 |
| physical | 92 S. |
| psigel | TUB-nveb |
| publishDate | 1972 |
| publishDateSearch | 1972 |
| publishDateSort | 1972 |
| publisher | Mouton |
| record_format | marc |
| series2 | [Ianua linguarum / Series minor] |
| spelling | Zierer, Ernesto Verfasser aut La lógica formal en la lingüística Formal logic and linguistics by Ernesto Zierer The Hague Mouton 1972 92 S. txt rdacontent n rdamedia nc rdacarrier [Ianua linguarum / Series minor] 102 Linguistique Logique Philologie Linguistik (DE-588)4074250-7 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Mathematische Linguistik (DE-588)4037950-4 gnd rswk-swf Linguistik (DE-588)4074250-7 s Logik (DE-588)4036202-4 s DE-604 Mathematische Linguistik (DE-588)4037950-4 s Series minor] [Ianua linguarum 102 (DE-604)BV023552230 102. HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001895995&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Zierer, Ernesto Formal logic and linguistics Linguistique Logique Philologie Linguistik (DE-588)4074250-7 gnd Logik (DE-588)4036202-4 gnd Mathematische Linguistik (DE-588)4037950-4 gnd |
| subject_GND | (DE-588)4074250-7 (DE-588)4036202-4 (DE-588)4037950-4 |
| title | Formal logic and linguistics |
| title_alt | La lógica formal en la lingüística |
| title_auth | Formal logic and linguistics |
| title_exact_search | Formal logic and linguistics |
| title_full | Formal logic and linguistics by Ernesto Zierer |
| title_fullStr | Formal logic and linguistics by Ernesto Zierer |
| title_full_unstemmed | Formal logic and linguistics by Ernesto Zierer |
| title_short | Formal logic and linguistics |
| title_sort | formal logic and linguistics |
| topic | Linguistique Logique Philologie Linguistik (DE-588)4074250-7 gnd Logik (DE-588)4036202-4 gnd Mathematische Linguistik (DE-588)4037950-4 gnd |
| topic_facet | Linguistique Logique Philologie Linguistik Logik Mathematische Linguistik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001895995&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV023552230 |
| work_keys_str_mv | AT ziererernesto lalogicaformalenlalinguistica AT ziererernesto formallogicandlinguistics |