Logika-pojęcia

SUPOZYCJA PROSTA - konkretny obiekt.
SUPOZYCJA FORMALNA - zbiór, kategoria.
SUPOZYCJA MATERIALNA - wyraz, słowo, część nazwy; „znaczy tyle samo co”, „oznacza”, „denotuje”, „nazywamy” itp.
Funktor definicyjny „oznacza” narzuca definiendum supozycję materialną, a definiens zwykłą.
Funktor definicyjny „denotuje” albo „nazywamy” narzuca definiens supozycję formalną.
DEFINICJA RÓWNOŚCIOWA - występuje w niej funktor definicyjny, definiendum i definiens.
DEFINICJA WYRAŹNA - definicja równościowa, w której definiendum pokrywa się z wyrazem definiowanym.
DEFINICJA KONTEKSTOWA - definicja równościowa, w której definiendum zawiera oprócz wyrazu definiowanego wyrazy niedefiniowane.
DEFINICJA UWIKŁANA - nie zawiera funktora definicyjnego.
DEFINICJA ABSTRAKCYJNA - zbudowana wg schematu: Cx=Cy ≡ xRy.
... zobacz całą notatkę