Encyklopedia internetowa - Słowniki online

- pojęcie logiczne zaproponowane przez → Russella, będące próbą przezwyciężenia problemu → antynomii w logice matematycznej (pewne konstrukcje logiczne, które wydawały się poprawne, w rzeczywistości okazywały się konstrukcjami prowadzącymi do sprzeczności), który pojawił się w niej na początku XX w.; zawiera myśl, że zdania o zbiorach i zdania o elementach zbiorów są innego typu, dlatego nie można ich ze sobą zestawiać, ponieważ prowadzi to do niejasności w odbiorze informacji; np. zdanie: "wszystkie misie są małe" jest informacją zawierającą nie tylko twierdzenie o wszystkich misiach, ale także informacją o tej informacji, więc aby unikać niejasności, teoria typów ustala na przykład, co należy rozumieć przez wyraz "wszystkie"; dlatego odróżnia też zbiory indywidualne od zbiorów zbiorów, a te od zbiorów zbiorów zbiorów, itd.

Dla tego hasła nie dodano jeszcze żadnych obrazków do galerii.