Metalogik

Logik, Formellt system
Logiska system

Metalogik är studiet av logikens formella system och språk, så kallade 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.

Några begrepp

Några begrepp inom metalogik och hur de är relaterade inbördes:

verifierad falsifierad
ej falsifierad overifierad
tautologi kontradiktion
ej kontradiktion ej tautologi

Se även

Media som används på denna webbplats

Question book-4.svg
Författare/Upphovsman: Tkgd2007, Licens: CC BY-SA 3.0
A new incarnation of Image:Question_book-3.svg, which was uploaded by user AzaToth. This file is available on the English version of Wikipedia under the filename en:Image:Question book-new.svg
SquareOfOpposition.PNG
Författare/Upphovsman: Åke Persson, Licens: CC BY-SA 3.0
Square of opposistion