Information-Oriented Logic
About this book
The book introduces a new form of mathematical logic called "Information Oriented Logic" (IOL). It demonstrates that IOL is capable of solving various classical and non-classical logic problems that cannot be solved by traditional methods of logic. In this book, it is argued that two meaningful declarative sentences or symbols can make the same statement if they express the same thing or referent in different ways. The book treats a piece of information as the referent for a meaningful declarative sentence, thus inventing information-oriented logic. As a result, this book provides a comprehensive guide to this logic. Unlike traditional logic, which uses declarative sentences as the result of logical expressions, this new logic uses pieces of information. The book is intended for undergraduate and graduate students, as well as scholars applying mathematical logic to various fields such as philosophy, linguistics, ontology, information theory, computer science, etc. Additionally, it provides a new mereology in which all implications of a piece of information are its parts.
- This book introduces a new logic that uses pieces of information in logical expressions instead of sentences.
- It contains all important proofs.
- It provides a tool to solve paradoxes of classical logic and, e.g. Gödel’s incompleteness theorem.
Author / Editor information
Topics
-
Download PDFPublicly Available
Frontmatter
I -
Download PDFRequires Authentication UnlicensedLicensed
Abstract
V -
Download PDFRequires Authentication UnlicensedLicensed
Preface
VII -
Download PDFPublicly Available
Contents
XIII -
Download PDFRequires Authentication UnlicensedLicensed
1 Pre-introduction
1 -
Download PDFRequires Authentication UnlicensedLicensed
2 Introduction
13 -
Download PDFRequires Authentication UnlicensedLicensed
3 Two important terms
32 -
Download PDFRequires Authentication UnlicensedLicensed
4 Priorities of operators
33 -
Download PDFRequires Authentication UnlicensedLicensed
5 Definition
34 -
Download PDFRequires Authentication UnlicensedLicensed
6 Inference rules
193 -
Download PDFRequires Authentication UnlicensedLicensed
7 Proving and disproving statements
224 -
Download PDFRequires Authentication UnlicensedLicensed
8 Subjective and objective logic
236 -
Download PDFRequires Authentication UnlicensedLicensed
9 Definition – more advanced part
242 -
Download PDFRequires Authentication UnlicensedLicensed
10 Theory of things – operations on things
275 -
Download PDFRequires Authentication UnlicensedLicensed
11 New logic – extension
321 -
Download PDFRequires Authentication UnlicensedLicensed
12 Probabilistic logic
328 -
Download PDFRequires Authentication UnlicensedLicensed
13 All mathematics derived from logic
354 -
Download PDFRequires Authentication UnlicensedLicensed
14 Depth and richness of logic
355 -
Download PDFRequires Authentication UnlicensedLicensed
15 Problems and paradoxes solved
356 -
Download PDFRequires Authentication UnlicensedLicensed
16 Bonus
403 -
Download PDFRequires Authentication UnlicensedLicensed
References
-
Download PDFRequires Authentication UnlicensedLicensed
Index
425
- Manufacturer information:
- Walter de Gruyter GmbH
Genthiner Straße 13
10785 Berlin - productsafety@degruyterbrill.com
