Book
Propositional Logic.
| Title: | Propositional Logic. |
|---|---|
| Authors: | Rautenberg, Wolfgang |
| Source: | Concise Introduction to Mathematical Logic (9781441912206); 2010, p1-40, 40p |
| Abstract: | Propositional logic, by which we here mean two-valued propositional logic, arises from analyzing connections of given sentences A, B, such as ]> These connection operations can be approximately described by two-valued logic. There are other connections that have temporal or local features, for instance, first A then B or here A there B, as well as unary modal operators like it is necessarily true that, whose analysis goes beyond the scope of two-valued logic. These operators are the subject of temporal, modal, or other subdisciplines of many-valued or nonclassical logic. Furthermore, the connections that we began with may have a meaning in other versions of logic that two-valued logic only incompletely captures. This pertains in particular to their meaning in natural or everyday language, where meaning may strongly depend on context. [ABSTRACT FROM AUTHOR] |
| Copyright of Concise Introduction to Mathematical Logic (9781441912206) is the property of Springer Nature / Books and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| DOI: | 10.1007/978-1-4419-1221-3_1 |
| Database: | Complementary Index |
Availability