The paradox of inference and the non-triviality of analytic information
It is well known (see Carnap, Bar-Hillel) that analytically/logically true sentences lack informational content. One consequence is that the conclusion of a valid argument brings no information which would not be contained in premises. The author solves the resulting ``paradox of inference by distinguishing between empirical and analytic information. This is realized on the basis of Transparent Intensional Logic (TIL), which is an extensional hyperintensional system enabling us to treat abstract procedures (in TIL defined as ``constructions) as objects sui generis. Constructions as structured meanings of expressions prescribe how to arrive at respective truth-values so that analytically equivalent sentences may possess distinct analytic contents. Thus we can see that the empirical content of the conclusion of a valid argument is contained in the premises but its analytic content may be distinct.
- Information, negation, and paraconsistency
- Paradox of analyticity and related issues
- scientific article; zbMATH DE number 6699702
- Inferential paraconsistency
- scientific article; zbMATH DE number 7503174
- The information paradox and the infall problem
- Paraconsistent reasoning as an analytic tool
- Paraconsistent informational logic
- The scandal of deduction. Hintikka on the information yield of deductive inferences
- scientific article; zbMATH DE number 1790346
- Alonzo Church's Contributions to Philosophy and Intensional Logic
- Computational Logic in Multi-Agent Systems
- scientific article; zbMATH DE number 5347850 (Why is no real title available?)
- scientific article; zbMATH DE number 43055 (Why is no real title available?)
- scientific article; zbMATH DE number 510787 (Why is no real title available?)
- scientific article; zbMATH DE number 3443559 (Why is no real title available?)
- scientific article; zbMATH DE number 6423789 (Why is no real title available?)
- scientific article; zbMATH DE number 3417428 (Why is no real title available?)
- scientific article; zbMATH DE number 2212542 (Why is no real title available?)
- scientific article; zbMATH DE number 3051936 (Why is no real title available?)
- Information flow and impossible situations
- Knowledge in flux. Modeling the dynamics of epistemic states
- Logical pluralism and semantic information
- Predication and extensionalization
- Procedural semantics for hyperintensional logic. Foundations and applications of transparent intensional logic
- The complexity of theorem-proving procedures
- The enduring scandal of deduction. Is propositional logic really uninformative?
- The scandal of deduction. Hintikka on the information yield of deductive inferences
- On the number of types
- Constrained consequence
- If structured propositions are logical procedures then how are procedures individuated?
- Substitution contradiction, its resolution and the Church-Rosser theorem in TIL
- The content of deduction
- The scandal of deduction. Hintikka on the information yield of deductive inferences
- Extensionality and logicality
- Extensional Logic of Hyperintensions
- The information paradox: a pedagogical introduction
- Making sense of sense containment
- Transparent quantification into hyperintensional objectual attitudes
- Two paradoxes of semantic information
- Substitution inconsistencies in transparent intensional logic
- Consistent ultrafinitist logic
- Hyperintensions as computations
- Truthmakers and relevance for FDE, LP, K3, and CL
This page was built for publication: The paradox of inference and the non-triviality of analytic information
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q600847)
