W matematyce współczesnej spotyka się też metodę uzyskiwania pojęć abstrakcyjnych drogą idealizacji. Polega ona na wyobrażeniu sobie własności czy cech w rzeczywistości nie występujących. Przykładem może tutaj być idea nieskończoności, która leży u teoriomnogościowych podstaw matematyki. Związane z tą ideą są takie pojęcia jak moc zbioru, różne rodzaje nieskończoności liczby porządkowe, indukcja pozaskończona, pewnik wyboru itp. U podstaw tej idei leżało odkrycie faktu, że zbiór liczb naturalnych nie jest równoliczny ze zbiorem liczb rzeczywistych.
Przykłady Punkt w przestrzeni jest abstraktem miejsca (zapewne stąd wzięła się na przykład nazwa metoda miejsc geometrycznych). Każde miejsce ma w rzeczywistości swój kolor, strukturę, twardość itp., ale punkt abstrahuje od tych cech. Każda figura w geometrii euklidesowej jest abstraktem. Płaszczyzna euklidesowa jest abstraktem powierzchni Ziemi i jest to użyteczne np. w geodezji. Abstrahuje się w tym wypadku od drobnych (lub nawet większych) nierówności terenu. Zbiór jest abstraktem. Abstrahujemy tutaj od wszystkich cech jego elementów poza tym, że są one elementami tego zbioru. Tak zwany paradoksalny podział kuli Banacha-Tarskiego jest twierdzeniem abstrakcyjnym ze względu na korpuskularną naturę Świata. Ponadto jest przykładem roli idealizacji w odkrywaniu nowych własności obiektów znanych od dawna.
Bibliografia
Kategoria:Logika matematyczna