On rigorous definitions

L'analyse de l'A. des definitions est delimitee par deux considerations. Il traite les definitions 1) en tant qu'explications du sens des mots, et 2) seulement en termes de formes de rigueur bien apprehendees. Deux criteres standars, eliminability et conservativeness, et des regles standards sont appliques

[1]  Hans Hermes,et al.  Introduction to mathematical logic , 1973, Universitext.

[2]  Ina Ruck,et al.  USA , 1969, The Lancet.

[3]  Alfred Tarski,et al.  Der Wahrheitsbegriff in den formalisierten Sprachen , 1935 .

[4]  Martha Kneale,et al.  The development of logic , 1963 .

[5]  Nuel D. Belnap,et al.  Entailment : the logic of relevance and necessity , 1975 .

[6]  A. D. Ritchie.  The Dictionary of Philosophy , 1945, Nature.

[7]  Anil Gupta,et al.  XV—Remarks on Definitions and the Concept of Truth , 1989 .

[8]  J. Altham.  Naming and necessity. , 1981 .

[9]  R. Goodstein,et al.  The Basic Laws of Arithmetic , 1966, The Mathematical Gazette.

[10]  E. Casari.  Logic and the Foundations of Mathematics , 1981 .

[11]  Eugene C. Luschei,et al.  The logical systems of Lesniewski , 1962 .

[12]  Trevor Evans,et al.  Mathematical logic and the foundations of mathematics , 1963 .

[13]  N. Belnap,et al.  The Revision Theory of Truth , 1993 .

[14]  Gottlob Frege,et al.  The basic laws of arithmetic : exposition of the system , 1966 .

[15]  J. Horty.  Frege on the psychological significance of definitions , 1993 .

[16]  A. R. Turquette,et al.  Logic, Semantics, Metamathematics , 1957 .

[17]  James D. McCawley,et al.  The Logic of Common Nouns: An Investigation in Quantified Modal Logic , 1980 .

[18]  Joseph R. Shoenfield,et al.  Mathematical logic , 1967 .

[19]  R. L. Goodstein.  MATHEMATICAL LOGIC AND THE FOUNDATIONS OF MATHEMATICS , 1963 .

[20]  C. I. Lewis,et al.  The Semantic Conception of Truth and the Foundations of Semantics , 1944 .

[21]  Alfred Tarski,et al.  Introduction to Logic and to the Methodology of Deductive Sciences , 1943 .