Algorithmic information theory
Algorithmic information theory
Logic and information
Information, Randomness and Incompleteness
Information, Randomness and Incompleteness
Outline of a Theory of Strongly Semantic Information
Minds and Machines
A Mathematical Theory of Communication
A Mathematical Theory of Communication
Philosophical Conceptions of Information
Formal Theories of Information
| Hi-index | 0.00 |
The paper deals with the question whether logical truth carry information. On the one hand it seems that we gain new information by drawing inferences or arriving at some theorems. On the other hand the formal accounts of information and information content which are most widely known today say that logical truth carry no information at all. The latter is shown by considering these accounts. Then several ways to deal with the dilemma are distinguished, especially syntactic and ontological solutions. A version of a syntactical solution is favoured.