Chapter 21. Metatheory of Logics and the Characterization Problem

  1. Dale Jacquette
  1. Jan Woleński

Published Online: 26 NOV 2007

DOI: 10.1002/9780470996751.ch22

A Companion to Philosophical Logic

A Companion to Philosophical Logic

How to Cite

Woleński, J. (2006) Metatheory of Logics and the Characterization Problem, in A Companion to Philosophical Logic (ed D. Jacquette), Blackwell Publishing Ltd, Oxford, UK. doi: 10.1002/9780470996751.ch22

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;
  • logics;
  • characterization problem;
  • metatheory;
  • consequence operation

Summary

This chapter contains sections titled:

  • Introduction

  • Logic via Consequence Operation and Semantics

  • Metalogic, Syntax and Semantics

  • The Characterization Problem for First-order Logic

  • Final Remarks