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. (shrink)

This chapter contains sections titled: I II III IV V VI VII VIII IX X.

This chapter contains sections titled: A Timeline of Medieval Logicians A Guide to the Literature.

This book brings together philosophers, mathematicians and logicians to penetrate important problems in the philosophy and foundations of mathematics. In philosophy, one has been concerned with the opposition between constructivism and classical mathematics and the different ontological and epistemological views that are reflected in this opposition. The dominant foundational framework for current mathematics is classical logic and set theory with the axiom of choice (ZFC). This framework is, however, laden with philosophical difficulties. One important alternative foundational programme that is actively (...) pursued today is predicativistic constructivism based on Martin-Löf type theory. Associated philosophical foundations are meaning theories in the tradition of Wittgenstein, Dummett, Prawitz and Martin-Löf. What is the relation between proof-theoretical semantics in the tradition of Gentzen, Prawitz, and Martin-Löf and Wittgensteinian or other accounts of meaning-as-use? What can proof-theoretical analyses tell us about the scope and limits of constructive and predicative mathematics? (shrink)

The paper offers an interpretation of thesis 6.01. The treatment touches upon variables, identity, elementary propositions, internal relations. Klammerausdrücke, and operations. Wittenstein's notations are found not to cover the particular form of definition by induction that is used at 6 and 6.01. It is concluded that Wittgenstein's ability to design of a formal system of logic does not match his outstanding logico-philosophical insight.