Nazwa
Z Wikipedii
Nazwa w logicznym rachunku kwantyfikatorów jest to dowolna zmienna orzecznikowa występująca w zdaniu logicznym. Mówiąc prościej, jest to takie wyrażenie, które możemy rozumieć jako podmiot lub orzecznik w zdaniu. Każda nazwa posiada treść (czyli znaczenie), oraz zakres (czyli odniesienie), przez co też wyróżnia się nazwy konkretne i abstrakcyjne. W szerokim rozumieniu, na potrzeby schematyki kwantyfikatorowej, nazwy przyporządkowująco zapisywane są literami: x, y, z... Każda nazwa przynależy do danego zbioru. Może zawierać się np. w zbiorze liter, z zbiorze cyfr lub w bardziej złożonej grupie.
Przykład nr 1:
Zdanie: | Odległość łączy niepostrzeżenie, czas dzieli niezauważalnie, uczucie myśli... |
---|---|
Nazwy: | x - odległość; y - czas; z - uczucie |
Przykład nr 2:
Zdanie: | Jan jest studentem. |
---|---|
Przynależność: | xЄS; x należy do zbioru S (studenci) |
[edytuj] Funkcje znakowe nazwy:
- znaczenie nazwy - sposób rozumienia tej nazwy w danym języku;
- oznaczanie - nazwa oznacza przedmiot X wtedy i tylko wtedy gdy orzeka się o niej prawdziwie
- desygnat- przedmiot który nazwa oznacza
- zakres- zbiór wszystkich desygnatów danej nazwy;
- denotowanie - nazwa przy danym swoim znaczeniu wskazuje na swój zakres;
- konotowanie - nazwa przy danym swoim znaczeniu wskazuje na zbiór cech, które przysługuje wszystkim desygnatom i tylko im.
[edytuj] Zobacz też
- zmienna zdaniowa
- przegląd zagadnień z zakresu logiki