, Volume 187, Issue 3, pp 943–956

“Inference versus consequence” revisited: inference, consequence, conditional, implication


DOI: 10.1007/s11229-011-9901-0


Inference versus consequence, an invited lecture at the LOGICA 1997 conference at Castle Liblice, was part of a series of articles for which I did research during a Stockholm sabbatical in the autumn of 1995. The article seems to have been fairly effective in getting its point across and addresses a topic highly germane to the Uppsala workshop. Owing to its appearance in the LOGICA Yearbook 1997, Filosofia Publishers, Prague, 1998, it has been rather inaccessible. Accordingly it is republished here with only bibliographical changes and an afterword.


Inference Consequence Validity Judgement Proposition Type theory


I am indebted to my colleague Dr. E. P.Bos who read an early version of the manuscript and offered valuable comments.

Open Access

This article is distributed under the terms of the Creative Commons Attribution Noncommercial License which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited.

Copyright information

© The Author(s) 2011