Notwendigkeit von wissenschaftlichen Definitionen

• Die Notwendigkeit einer wissenschaftlichen Definition ergibt sich in der Regel dann, wenn im Laufe des wissenschaftlichen Erkenntnisgewinnes Hypothesen und Theorien aufgestellt oder Modelle konstruiert werden, welche von verschiedenen wissenschaftlern nachvollzogen und diskutiert werden sollen. Um den Kriterien der wissenschaftlichkeit zu genügen, muss deshalb Einvernehmen über die Bedeutung der verwendeten Begriffen herrschen.
• Definitionen bewirken durch ihren abkürzenden Charakter eine leichtere Formulierung und ein leichteres Verständnis von Theorien
• Zwar sind, wie sich formal beweisen lässt, Definitionen notwendiger Weise weder wahr noch falsch, jedoch tragen sie durch den Auswahlprozess beim Definieren bereits Erkenntnis mit sich.

Totale versus Partielle Definitionen

Zum Beispiel: "Wenn man den Gegenstand in Wasser gibt, dann löst er sich auf". Operationale Definitionen sind häufig partiell.Während in totalen Definitionen Definiendum und Definiens äquivalent sind, gilt dies in partiellen Definitionen nur für einen Teilbereich, das heißt nur für den Fall, dass eine Vorbedingung erfüllt ist. In ihnen ist die Vorbedingung die Operation mit der man die zu definierende Eigenschaft überprüft. Die zugehörige Gattung der Dispositionsbegriffe wie "wasserlöslich" beschreibt keine Eigenschaften die direkt ablesbar sind, sondern ist an eine (Prüf-)bedingung geknüpft.

Identitäten vs. Gebrauchsdefinitionen

Adäquatheit wurde damit nur im Kontext "'Kalkül"' definiert, und die Frage wann überhaupt etwas adäquat ist, beziehungsweise welche Dinge unter diesen Begriff fallen, stellt sich nicht.Man spricht von Gebrauchsdefinition (oder Kontextdefinition), weil das Definiendum darin nur so definiert wird, wie man es innerhalb von Sätzen gebraucht. Fällt beispielsweise eine allgemeine Definition des Prädikates "'adäquat"' schwer, so lässt sich leicht definieren, dass die Aussage "'X ist ein adäquater Kalkül"' genau dann wahr ist, wenn X ein Kalkül ist, der vollständig und korrekt ist. Dieser ontologische Unterschied erspart beispielsweise der modernen Mathematik die philosophische Frage nach dem Wesen der Zahl (empirisch, psychologistisch, oder logisch). Die mathematischen Axiome sagen nicht was eine Zahl ist, sondern wann sich etwas Zahl nennen darf und welche arithmetischen Eigenschaften dann für diese gelten. Dass zum Beispiel die Gruppenaxiome gerade davon leben, dass sie verschiedenste Interpretationen erlauben, widerspricht zudem der klassischen Anschauung, Definitionen müssten eindeutig sein.