Från Rilpedia

Logik, Formellt system
Bivalent logik Flervärd logik Modallogik Temporal logik Matematisk logik Filosofisk logik Metalogik Boolesk algebra
Logiska system
Syllogistisk logik Klassisk logik, Satslogik Predikatlogik Första ordningens logik Andra ordningens logik Intuitionistisk logik Parakonsistent logik Substrukturell logik Relevanslogik Linjär logik Suddig logik (Fuzzy logic) Sannolikhetslogik Relationell logik Deontisk logik

Metalogik är studiet av logikens formella system och språk, s.k. objektlogiker, och deras egenskaper. Metalogiken har sitt eget system av begrepp, utöver objektspråkens, för att kategorisera systemen och beskriva deras egenskaper.

Första ordningens predikatlogik är det viktigaste av dessa objektsystem/språk och förståelse av denna är grundläggande för allt vidare studium av logiken och dess tillämpningar i exempelvis filosofi, lingvistik, datalogi eller matematik.

Se även

• Härledningsbegrepp