Inconsistent mathematics:
The theory of inconsistency has been growing steadily over the last two decades. One focus has been philosophical issues arising from the paradoxes of set theory and semantics. A second focus has been the study of paraconsistent, or inconsistency-tolerant, logics. A third focus has been the applicat...
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Dordrecht u.a.
Kluwer
1995
|
| Series: | Mathematics and its applications
312 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Summary: | The theory of inconsistency has been growing steadily over the last two decades. One focus has been philosophical issues arising from the paradoxes of set theory and semantics. A second focus has been the study of paraconsistent, or inconsistency-tolerant, logics. A third focus has been the application of paraconsistent logics to problems in artificial intelligence. This book focuses on a fourth aspect, the construction of mathematical theories in which contradictions occur, and the investigation of their properties. The inconsistent approach provides a distinctive perspective on the various number systems, order, differential and integral calculus, discontinuous changes, inconsistent systems of linear equations, projective geometry, topology and category theory. The final chapter outlines several known results concerning paradoxes in the foundations of set theory and semantics The book begins with an informal chapter which summarises the main results nontechnically, and draws philosophical implications from them. This volume will be of interest of advanced undergraduates, graduate students and professionals in the areas of logic, philosophy, mathematics and theoretical computer science |
| Physical Description: | IX, 155 S. |
| ISBN: | 0792331869 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010119467 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 950330s1995 |||| 00||| engod | ||
| 020 | |a 0792331869 |9 0-7923-3186-9 | ||
| 035 | |a (OCoLC)31240354 | ||
| 035 | |a (DE-599)BVBBV010119467 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 | ||
| 050 | 0 | |a QA9 | |
| 082 | 0 | |a 510/.1 |2 20 | |
| 100 | 1 | |a Mortensen, Chris |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Inconsistent mathematics |c by Chris Mortensen |
| 264 | 1 | |a Dordrecht u.a. |b Kluwer |c 1995 | |
| 300 | |a IX, 155 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Mathematics and its applications |v 312 | |
| 520 | 3 | |a The theory of inconsistency has been growing steadily over the last two decades. One focus has been philosophical issues arising from the paradoxes of set theory and semantics. A second focus has been the study of paraconsistent, or inconsistency-tolerant, logics. A third focus has been the application of paraconsistent logics to problems in artificial intelligence. This book focuses on a fourth aspect, the construction of mathematical theories in which contradictions occur, and the investigation of their properties. The inconsistent approach provides a distinctive perspective on the various number systems, order, differential and integral calculus, discontinuous changes, inconsistent systems of linear equations, projective geometry, topology and category theory. The final chapter outlines several known results concerning paradoxes in the foundations of set theory and semantics | |
| 520 | |a The book begins with an informal chapter which summarises the main results nontechnically, and draws philosophical implications from them. This volume will be of interest of advanced undergraduates, graduate students and professionals in the areas of logic, philosophy, mathematics and theoretical computer science | ||
| 650 | 7 | |a Logica |2 gtt | |
| 650 | 4 | |a Logik | |
| 650 | 4 | |a Inconsistency (Logic) | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | 7 | |a Parakonsistente Logik |0 (DE-588)4226190-9 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Parakonsistente Logik |0 (DE-588)4226190-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a Mathematics and its applications |v 312 |w (DE-604)BV008163334 |9 312 | |
| 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=006719688&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006719688 | ||
Record in the Search Index
| _version_ | 1804124512580534272 |
|---|---|
| adam_text | TABLE OF CONTENTS
ONE MOTIVATIONS
1. Paraconsistency 1
2. Summary 5
3. Philosophical Implications 7
TWO ARITHMETIC
1. Relevant Arithmetic 15
2. Nonclassical Logics and their Theories 20
3. Models for Number Systems with
Arithmetical Operations 27
4. Summary of Further Results in Arithmetic 31
THREE MODULO INFINITY
1. The Classical Denumerable Nonstandard Model
of Natural Number Arithmetic 33
2. Inconsistency 35
FOUR ORDER
1. Order and Equality without Function Symbols 39
2. Order and Equality with Function Symbols 40
FIVE CALCULUS
1. Introduction 43
2. A Nilpotent Ring of Hyperreal Numbers 44
3. An Incomplete Theory 47
4. Incomplete Differential Calculus 49
5. Inconsistent Differential Calculus 55
6. Integration 56
7. Conclusion 58
vi
SIX INCONSISTENT CONTINUOUS FUNCTIONS
1. Introduction 59
2. Functionality 60
3. Logic 63
I
SEVEN THE DELTA FUNCTION
1. Introduction 67
2. Functionality 68
EIGHT INCONSISTENT SYSTEMS OF LINEAR EQUATIONS
1. Introduction 73
2. The Inconsistent Case 73
3. Control Theory 77
4. Applications, Problems and Special Cases 80
NINE PROJECTIVE SPACES
1. Introduction 83
2. Vector Spaces 84
3. Projective Geometry 86
4. Projective Geometry Modulo Infinity 88
TEN TOPOLOGY 93
ELEVEN CATEGORY THEORY
(with Peter Lavers)
1. Introduction 101
2. Closed Set Logic 103
3. Propositional Logic in a Category 104
4. Implication 109
5. Quantification Theory 112
6. Conclusion 114
TWELVE CLOSED SET SHEAVES AND THEIR CATEGORIES vii
(William James)
1. Introduction 115
2. Pretopologies and Topologies for Categories 116
3. Subobject Classifiers 120
4. Closed Set Sheaves 123
THIRTEEN DUALITY 125
FOURTEEN FOUNDATIONS: PROVABILITY, TRUTH AND SETS
(with Joshua Cole)
1. Introduction 129
2. Provability
2.1 Consistent Preliminaries 130
2.2 The Inconsistent Case 132
3. Truth
3.1 The Fixed Point Method 135
3.2 The Fixed Point Method Applied to Truth Theory 137
3.3 The Proof that Fixed Points Model the T scheme 139
3.4 The Proof that there are Fixed Points 141
4. The Fixed Point Method Applied to Set Theory 141
5. Further Applications 146
BIBLIOGRAPHY 147
INDEX OF DEFINITIONS AND NAMES 152
|
| any_adam_object | 1 |
| author | Mortensen, Chris |
| author_facet | Mortensen, Chris |
| author_role | aut |
| author_sort | Mortensen, Chris |
| author_variant | c m cm |
| building | Verbundindex |
| bvnumber | BV010119467 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9 |
| callnumber-search | QA9 |
| callnumber-sort | QA 19 |
| callnumber-subject | QA - Mathematics |
| ctrlnum | (OCoLC)31240354 (DE-599)BVBBV010119467 |
| dewey-full | 510/.1 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 510 - Mathematics |
| dewey-raw | 510/.1 |
| dewey-search | 510/.1 |
| dewey-sort | 3510 11 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02638nam a2200421 cb4500</leader><controlfield tag="001">BV010119467</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">950330s1995 |||| 00||| engod</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0792331869</subfield><subfield code="9">0-7923-3186-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)31240354</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010119467</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-12</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510/.1</subfield><subfield code="2">20</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Mortensen, Chris</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Inconsistent mathematics</subfield><subfield code="c">by Chris Mortensen</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht u.a.</subfield><subfield code="b">Kluwer</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 155 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">Mathematics and its applications</subfield><subfield code="v">312</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">The theory of inconsistency has been growing steadily over the last two decades. One focus has been philosophical issues arising from the paradoxes of set theory and semantics. A second focus has been the study of paraconsistent, or inconsistency-tolerant, logics. A third focus has been the application of paraconsistent logics to problems in artificial intelligence. This book focuses on a fourth aspect, the construction of mathematical theories in which contradictions occur, and the investigation of their properties. The inconsistent approach provides a distinctive perspective on the various number systems, order, differential and integral calculus, discontinuous changes, inconsistent systems of linear equations, projective geometry, topology and category theory. The final chapter outlines several known results concerning paradoxes in the foundations of set theory and semantics</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">The book begins with an informal chapter which summarises the main results nontechnically, and draws philosophical implications from them. This volume will be of interest of advanced undergraduates, graduate students and professionals in the areas of logic, philosophy, mathematics and theoretical computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Inconsistency (Logic)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Parakonsistente Logik</subfield><subfield code="0">(DE-588)4226190-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Parakonsistente Logik</subfield><subfield code="0">(DE-588)4226190-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Mathematics and its applications</subfield><subfield code="v">312</subfield><subfield code="w">(DE-604)BV008163334</subfield><subfield code="9">312</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=006719688&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-006719688</subfield></datafield></record></collection> |
| id | DE-604.BV010119467 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:46:51Z |
| institution | BVB |
| isbn | 0792331869 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006719688 |
| oclc_num | 31240354 |
| open_access_boolean | |
| owner | DE-12 |
| owner_facet | DE-12 |
| physical | IX, 155 S. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | Kluwer |
| record_format | marc |
| series | Mathematics and its applications |
| series2 | Mathematics and its applications |
| spelling | Mortensen, Chris Verfasser aut Inconsistent mathematics by Chris Mortensen Dordrecht u.a. Kluwer 1995 IX, 155 S. txt rdacontent n rdamedia nc rdacarrier Mathematics and its applications 312 The theory of inconsistency has been growing steadily over the last two decades. One focus has been philosophical issues arising from the paradoxes of set theory and semantics. A second focus has been the study of paraconsistent, or inconsistency-tolerant, logics. A third focus has been the application of paraconsistent logics to problems in artificial intelligence. This book focuses on a fourth aspect, the construction of mathematical theories in which contradictions occur, and the investigation of their properties. The inconsistent approach provides a distinctive perspective on the various number systems, order, differential and integral calculus, discontinuous changes, inconsistent systems of linear equations, projective geometry, topology and category theory. The final chapter outlines several known results concerning paradoxes in the foundations of set theory and semantics The book begins with an informal chapter which summarises the main results nontechnically, and draws philosophical implications from them. This volume will be of interest of advanced undergraduates, graduate students and professionals in the areas of logic, philosophy, mathematics and theoretical computer science Logica gtt Logik Inconsistency (Logic) Logic, Symbolic and mathematical Parakonsistente Logik (DE-588)4226190-9 gnd rswk-swf Parakonsistente Logik (DE-588)4226190-9 s DE-604 Mathematics and its applications 312 (DE-604)BV008163334 312 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006719688&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Mortensen, Chris Inconsistent mathematics Mathematics and its applications Logica gtt Logik Inconsistency (Logic) Logic, Symbolic and mathematical Parakonsistente Logik (DE-588)4226190-9 gnd |
| subject_GND | (DE-588)4226190-9 |
| title | Inconsistent mathematics |
| title_auth | Inconsistent mathematics |
| title_exact_search | Inconsistent mathematics |
| title_full | Inconsistent mathematics by Chris Mortensen |
| title_fullStr | Inconsistent mathematics by Chris Mortensen |
| title_full_unstemmed | Inconsistent mathematics by Chris Mortensen |
| title_short | Inconsistent mathematics |
| title_sort | inconsistent mathematics |
| topic | Logica gtt Logik Inconsistency (Logic) Logic, Symbolic and mathematical Parakonsistente Logik (DE-588)4226190-9 gnd |
| topic_facet | Logica Logik Inconsistency (Logic) Logic, Symbolic and mathematical Parakonsistente Logik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006719688&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV008163334 |
| work_keys_str_mv | AT mortensenchris inconsistentmathematics |