Art. 05 – Vol. 22 – No. 2 – 2012

The Definition (I)

National Institute for Research and Development in Informatics – ICI Bucharest

Abstract: In this article the logical conditions of a definition are reminded, pointing aut that their being ignored and the nominalist conception opened the way to the introduction of many concepts that only apparently convey a rigurous sense.

Keywords: definition, proof.


  1. Aristoteles: De interpretatione; Analytica priora.
  2. Bain, A..: Logique déductive et inductive (Paris, 1894).

View full article

  1. Behmann, H.: Zu den Widersprüchen der Logik und Mengenlehre (1931).
  2. Bochvar, D. A.: Asupra unui calcul trivalent şi aplicaţiile lui in analiza paradoxelor calculului functional extins clasic (1939).
  3. Bourbaki: Théorie des ensembles (Paris, 1954).
  4. Carnap, R.: Logical Syntax of Language (New York, 1937).
  5. Denjoy, A.: L’enumération fransfinie (vol. IV, Notes sur les sujets controversés).
  6. Dubislav, W.: Die Definition (Leipzig, 1931).
  7. Dumitriu, A.: Soluţia paradoxelor logico-matematice (1966); Istoria logicii (vol. IV).
  8. Fraenkel, A.: Abstract Set Theory (Amsterdam, 1961).
  9. Russell, B.: Principia mathematica (vol. I, 1910); Introduction to Mathematical Philosophy (trad. fr., Paris 1928).
  10. Sierpinski, W.: Cardinal and Ordinal Numbers (Varşovia, 1958)
  11. Van der Waerden, B. L.: Moderne Algebra

Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 International License.