Systematic software development using VDM
Systematic software development using VDM
Logic and information
Intelligent information retrieval: The case of astronomy and related space sciences
Intelligent information retrieval: The case of astronomy and related space sciences
Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
Information flow: the logic of distributed systems
Information flow: the logic of distributed systems
Information theory
Philosophical aspects of information systems
Philosophical aspects of information systems
The nature of information and its relationship to meaning
Philosophical aspects of information systems
Philosophy and Computing: An Introduction
Philosophy and Computing: An Introduction
Blackwell Guide to the Philosophy of Computing and Information
Blackwell Guide to the Philosophy of Computing and Information
The Informational Turn in Philosophy
Minds and Machines
Do Logical Truths Carry Information?
Minds and Machines
Information for Perception and Information Processing
Minds and Machines
Information: Does it Have To Be True?
Minds and Machines
The Metaphilosophy of Information
Minds and Machines
Philosophical Conceptions of Information
Formal Theories of Information
Hi-index | 0.00 |
This paper outlines a quantitative theory of strongly semantic information (TSSI) based on truth-values rather than probability distributions. The main hypothesis supported in the paper is that the classic quantitative theory of weakly semantic information (TWSI), based on probability distributions, assumes that truth-values supervene on factual semantic information, yet this principle is too weak and generates a well-known semantic paradox, whereas TSSI, according to which factual semantic information encapsulates truth, can avoid the paradox and is more in line with the standard conception of what generally counts as semantic information. After a brief introduction, section two outlines the semantic paradox implied by TWSI, analysing it in terms of an initial conflict between two requisites of a quantitative theory of semantic information. In section three, three criteria of semantic information equivalence are used to provide a taxonomy of quantitative approaches to semantic information and introduce TSSI. In section four, some further desiderata that should be fulfilled by a quantitative TSSI are explained. From section five to section seven, TSSI is developed on the basis of a calculus of truth-values and semantic discrepancy with respect to a given situation. In section eight, it is shown how TSSI succeeds in solving the paradox. Section nine summarises the main results of the paper and indicates some future developments.