Inference, Consequence, Implication: A Constructivist's Perspective

Philosophia Mathematica 6 (2):178-194 (1998)
  Copy   BIBTEX

Abstract

An implication is a proposition, a consequence is a relation between propositions, and an inference is act of passage from certain premise-judgements to another conclusion-judgement: a proposition is true, a consequence holds, whereas an inference is valid. The paper examines interrelations, differences, refinements and linguistic renderings of these notions, as well as their history. The truth of propositions, respectively the holding of consequences, are treated constructively in terms of verification-objects. The validity of an inference is elucidated in terms of the existence of a chain of immediately evident steps linking premises and conclusion.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 86,554

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2010-07-27

Downloads
66 (#210,906)

6 months
4 (#246,748)

Historical graph of downloads
How can I increase my downloads?