Metatheory of Logics and the Characterization Problem

In Dale Jacquette (ed.), A Companion to Philosophical Logic. Malden, MA, USA: Wiley-Blackwell. pp. 319–331 (2002)
  Copy   BIBTEX

Abstract

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.

Categories

Add categories

Keywords

Reprint years

ISBN(s)

9780470996751   9780631216711

DOI

10.1002/9780470996751.ch22

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,642

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Metatheory.Alasdair Urouhart - 2002 - In Dale Jacquette (ed.), A Companion to Philosophical Logic. Malden, MA, USA: Wiley-Blackwell. pp. 305–318.
Logics.John E. Nolt - 1997 - Wadsworth Publishing Company.
Reflexive Intermediate Propositional Logics.Nathan C. Carter - 2006 - Notre Dame Journal of Formal Logic 47 (1):39-62.
Metalogic: An Introduction to the Metatheory of Standard First Order Logic.M. J. Cresswell & Geoffrey Hunter - 1972 - Philosophical Quarterly 22 (86):79.
Metalogic: An Introduction to the Metatheory of Standard First Order Logic.H. A. Lewis Geoffrey Hunter - 1972 - Philosophical Books 13 (1):12-14.
Alethic Modal Logics and Semantics.Gerhard Schurz - 2002 - In Dale Jacquette (ed.), A Companion to Philosophical Logic. Malden, MA, USA: Wiley-Blackwell. pp. 442–477.
HUNTER, G. "Metalogic: An Introduction to the Metatheory of Standard First Order Logic". [REVIEW]D. Edgington - 1974 - Mind 83:461.
Non-classical Metatheory for Non-classical Logics.Andrew Bacon - 2013 - Journal of Philosophical Logic 42 (2):335-355.
Relevance Logic.Edwin D. Mares - 2002 - In Dale Jacquette (ed.), A Companion to Philosophical Logic. Malden, MA, USA: Wiley-Blackwell. pp. 607–627.
On the completeness of a certain system of arithmetic of whole numbers in which addition occurs as the only operation.Mojżesz Presburger & Dale Jabcquette - 1991 - History and Philosophy of Logic 12 (2):225-233.

Analytics

Added to PP
2023-06-15

Downloads
2 (#1,450,151)

6 months
4 (#1,635,958)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jan Wolenski
Jagiellonian University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references