Chapter 20. Metatheory

  1. Dale Jacquette
  1. Alasdair Urouhart

Published Online: 26 NOV 2007

DOI: 10.1002/9780470996751.ch21

A Companion to Philosophical Logic

A Companion to Philosophical Logic

How to Cite

Urouhart, A. (2006) Metatheory, in A Companion to Philosophical Logic (ed D. Jacquette), Blackwell Publishing Ltd, Oxford, UK. doi: 10.1002/9780470996751.ch21

Publication History

  1. Published Online: 26 NOV 2007
  2. Published Print: 1 JAN 2006

ISBN Information

Print ISBN: 9780631216711

Online ISBN: 9780470996751

SEARCH

Keywords:

  • metatheory;
  • mathematical logic;
  • Hilbert's program;
  • Godel's theorems;
  • computability

Summary

This chapter contains sections titled:

  • Introduction

  • Hilbert's Program

  • Gödel's Theorems

  • Computability

  • Absolute and Relative in Logic