Citations of:
Add citations
You must login to add citations.


Informational semantics were first developed as an interpretation of the modeltheory of substructural (and especially relevant) logics. In this paper we argue that such a semantics is of independent value and that it should be considered as a genuine alternative explication of the notion of logical consequence alongside the traditional modeltheoretical and the prooftheoretical accounts. Our starting point is the contentnonexpansion platitude which stipulates that an argument is valid iff the content of the conclusion does not exceed the combined content (...) 

We seek means of distinguishing logical knowledge from other kinds of knowledge, especially mathematics. The attempt is restricted to classical twovalued logic and assumes that the basic notion in logic is the proposition. First, we explain the distinction between the parts and the moments of a whole, and theories of ?sortal terms?, two theories that will feature prominently. Second, we propose that logic comprises four ?momental sectors?: the propositional and the functional calculi, the calculus of asserted propositions, and rules for (...) 

