Open Access
Summer 1995 Consequence and Confirmation
Hugues Leblanc, Peter Roeper
Notre Dame J. Formal Logic 36(3): 341-363 (Summer 1995). DOI: 10.1305/ndjfl/1040149352


Gentzen's account of logical consequence is extended so as to become a matter of degree. We characterize and study two kinds of function G, where G(X,Y) takes values between 0 and 1, which represent the degree to which the set X of statements (understood conjunctively) logically implies the set Y of statements (understood disjunctively). It is then shown that these functions are essentially the same as the absolute and the relative probability functions described by Carnap.


Download Citation

Hugues Leblanc. Peter Roeper. "Consequence and Confirmation." Notre Dame J. Formal Logic 36 (3) 341 - 363, Summer 1995.


Published: Summer 1995
First available in Project Euclid: 17 December 2002

zbMATH: 0838.03017
MathSciNet: MR1351409
Digital Object Identifier: 10.1305/ndjfl/1040149352

Primary: 03B48
Secondary: 60A99

Rights: Copyright © 1995 University of Notre Dame

Vol.36 • No. 3 • Summer 1995
Back to Top