The Definition (I)
Paul SFETCU
psfetcu@yahoo.com
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.
REFERENCES
- Aristoteles: De interpretatione; Analytica priora.
- Bain, A..: Logique déductive et inductive (Paris, 1894).
- Behmann, H.: Zu den Widersprüchen der Logik und Mengenlehre (1931).
- Bochvar, D. A.: Asupra unui calcul trivalent şi aplicaţiile lui in analiza paradoxelor calculului functional extins clasic (1939).
- Bourbaki: Théorie des ensembles (Paris, 1954).
- Carnap, R.: Logical Syntax of Language (New York, 1937).
- Denjoy, A.: L’enumération fransfinie (vol. IV, Notes sur les sujets controversés).
- Dubislav, W.: Die Definition (Leipzig, 1931).
- Dumitriu, A.: Soluţia paradoxelor logico-matematice (1966); Istoria logicii (vol. IV).
- Fraenkel, A.: Abstract Set Theory (Amsterdam, 1961).
- Russell, B.: Principia mathematica (vol. I, 1910); Introduction to Mathematical Philosophy (trad. fr., Paris 1928).
- Sierpinski, W.: Cardinal and Ordinal Numbers (Varşovia, 1958)
- Van der Waerden, B. L.: Moderne Algebra
This work is licensed under a Creative Commons Attribution 4.0 International License.