Questions tagged [metalogic]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
3
votes
0answers
53 views

How were formal systems and notion syntactic consequence (proof) developed?

I've looked at several resources to learn about logic and metalogic, and they first present syntactic consequence and semantic consequence as separate things and then try to show how each implies the ...