We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.LO

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Mathematics > Logic

Title: A quantitative approach to semantic informativity

Abstract: The present article defines a way to measure semantic informativity of deductions. This is done by means of dynamic concepts of complexity and relevancy, which are, in turn, defined according to explicit operations of insertion and deletion on databases. Hence, with respect to finite databases, it proposes a unified solution to Bar-Hillel-Carnap paradox, showing how some tautologies may be informative but contradictions cannot, and to the Hintikka' scandal of deduction, explaining how some deductions can be informative and others not.
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
Cite as: arXiv:1404.3782 [math.LO]
  (or arXiv:1404.3782v1 [math.LO] for this version)

Submission history

From: Anderson de Araújo [view email]
[v1] Tue, 15 Apr 2014 00:02:21 GMT (15kb)
[v2] Thu, 17 Apr 2014 22:08:42 GMT (15kb)
[v3] Wed, 23 Apr 2014 21:06:33 GMT (14kb)

Link back to: arXiv, form interface, contact.