29072

-    definicja cząstkowa zdanie o postaci implikacji albo sekwencja dwóch zdań o postaci implikacji' wyrażeniem definiowanym jest zawsze predykat; podaje ona warunek wystarczający albo warunek konieczny, albo też warunek wystarczający i warunek konieczny stosowalności definiowanego wyrażenia

-    definicja indukcyjne (rekurencyjna) - zbudowana jest z dwóch części: z warunku wstępnego (podaje się w nim najprostszy kontekst, w którym występuje wyrażenie definiowane) i z warunku indukcyjnego (zawarta w rum jest zasada przekształcania bardziej złożonych kontekstów zawierających wyrażenia definiowane w konteksty prostsze)

-    definicja przez postulaty (aksjomatyczna) - składa się z dwóch lub więcej zdań zawierających definiowane wyrażenie; każde z tych zdań uznaje się za prawdziwe. Prawdziwość zdania zawierającego wyrażenie definiowane nakłada pewne restrykcje na pojmowanie tego wyrażenia, tylko bowiem przy pewnym rozumieniu wyrażenia definiowanego zawierające je zdanie jest prawdziwe. Zdania muszą więc być tak dobrane, aby ich łączna prawdziwość wyznaczała tylko jedno znaczenie zawartego w nich wyrażenia definiowanego.

Podział definicji zc względu na budowę:

A Definicje metajęzykowe B Definicje przedmiotowe (wewnątrzjęzykowe) a Definicje równościowe (normalne)

i    Definicje wyraźne

ii    Definicje kontekstowe

1 Definicje przez abstrakcję b Definicje nie równości owe

i    Definicje cząstkowe

ii    Definicje indukcyjne (rekurencyjne)

iii    Definicje przez postulaty (aksjomatycznc)

Podział definicji ze względu na realizowane przez nie zadania

1.    definicje sprawozdawcze (analityczne) - informuje o znaczeniu, jakie definiowane wyrażenie ma już w tym języku; formułowane głównie w celach dydaktycznych

2.    definicje projektujące (syntetyczne) - informują o projektowanych dopiero znaczeniach wyrażeń; informuje o znaczeniu, jakie definiowane wyrażenie będzie mieć w tym języku

a. definicje konstrukcyjne - nie liczy się ze znaczeniem, jakie wyraz definiowany ma w języku, na bazie którego powstaje budowany język (gdy nie ma tego słowa w danym języku lub gdy słowo istnieje, lecz definicja nadaje mu nowe znaczenie)