18 Juil Pierre Joray : “Definition and Inference in Leśniewski’s Logic”
Abstract Since Whitehead and Russell’s Principia Mathematica, explicit definitions are usually considered to be logically neutral. In this paper, we explore those explicit definitions which were called creative by the members of the Warsaw School. We explain why a definition can be necessary for the proofs...