46. ! Warunki poprawności definicji
Warunek pełności definicji.
Żądanie to jest w pełni spełnione przez pojęcie zawierające sprzeczność, takie jak „nierówny sobie samemu”; wiadomo bowiem o każdym przedmiocie, że nie podpada pod takie pojęcie.”8
postulat owocności definicji.
Postulat nietwórczości definicji (dotyczy definicji pełniącej funkcję skrótu)
warunek istnienia korelatu semantycznego definiowanego terminu.
Frege pisze:
Naukowa ścisłość wymaga gwarancji, ze wyrażenie nie utraci nigdy znaczenia; że niepostrzeżenie nie będzie się liczyło na pustych znakach w mniemaniu, że ma się do czynienia z przedmiotami”
Definicja nie może prowadzić do sprzeczności.
Ten sam termin nie może być na gruncie jednej teorii (systemu) definiowany jeden więcej niż jeden raz.
Definiowany termin musi być prosty
Definicja powinna być całościowa, dokończona.
Frege pisze:
bez skończonej i kompletnej definicji, nie mamy stabilnego gruntu pod nogami, nie jesteśmy pewni co do ważności naszych teorematów i nie możemy śmiało zastosować praw logiki, które z pewnością zakładają ostro ograniczone te pojęcia i relacje.
Jako niepoprawne trzeba odrzucić definicje, których poprawność jest uzależniona od wpierw przeprowadzonego dowodzenia.
„Tym, którzy moje definicje chcieliby uznać za nieco nienaturalne, radzę wziąć pod uwagę, że problem nie polega na naturalności, ale na tym, czy istota rzeczy jest uchwycona poprawnie i bez zastrzeżeń”.
Ten sam termin nie może być na gruncie jednej teorii (systemu) definiowany jeden więcej niż jeden raz.
Definiowany termin musi być prosty
Definicja powinna być całościowa, dokończona. Frege pisze:
bez skończonej i kompletnej definicji, nie mamy stabilnego gruntu pod nogami, nie jesteśmy pewni co do ważności naszych teorematów i nie możemy śmiało zastosować praw logiki, które z pewnością zakładają ostro ograniczone te pojęcia i relacje.
Jako niepoprawne trzeba odrzucić definicje, których poprawność jest uzależniona od wpierw przeprowadzonego dowodzenia
„Tym, którzy moje definicje chcieliby uznać za nieco nienaturalne, radzę wziąć pod uwagę, że problem nie polega na naturalności, ale na tym, czy istota rzeczy jest uchwycona poprawnie i bez zastrzeżeń.