Logikens deldiscipliner

En viktig skiljelinje går mellan objektteorier och metateorier. De förra består inom modern logik av formella system av nyss omnämnt slag. Inom dem kan man således härleda logiska sanningar med hjälp av på förhand fastlagda regler; beträffande ett sätt att fastlägga dem se naturlig deduktion. Beroende på vilka logiska former som kan uttryckas i det språk som fixeras får man olika logiska system så som ovan omtalats. En strävan har varit att i enlighet med logicismens program så långt som

• Författare:
• Dag Prawitz