Metalogika - Metalogika - Logika ir metalogika: Vieną prasme logika turi būti tapatinama su pirmos eilės tariamaisiais skaičiavimais, skaičiavimais, kuriuose kintamieji yra tik fiksuoto domeno individai, nors tai gali apimti ir logiką. tapatybė, simbolizuojama „=“, kuri įprasta tapatybės savybes laiko logika. Šia prasme oficialų logikos skaičiavimą Gottlobas Frege pasiekė dar 1879 m. Tačiau kartais logika suprantama taip, kad ji apima ir aukštesnę ar Skaityti Daugiau