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
Information om artikeln
Medverkande
Dag Prawitz
Källangivelse