First order meta theories

Logic Journal of the IGPL 5 (1):97-144 (1997)
  Copy   BIBTEX

Abstract

Ian Mason [25] has shown that the meta-theory of propositional calculus is not axiomatizable. That is not to say that its meta-theory cannot be studied. There may be a sequence of theories, indexed by the ordinals, which encompass the entire meta-theory. The same goes for other forms of logic too. Herein is proposed one candidate for such a sequence, for a wide range of logics

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,440

External links

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

Through your library

Similar books and articles

A meta-theory for ethical theories.Bernard Rosen - 1975 - Journal of Value Inquiry 9 (1):12-23.
Meta-Externalism vs Meta-Internalism in the Study of Reference.Daniel Cohnitz & Jussi Haukioja - 2013 - Australasian Journal of Philosophy 91 (3):475-500.
Meta-conceivability.Philip Corkum - 2012 - Essays in Philosophy 13 (1):12.
Meta-Ontology.Peter van Inwagen - 1998 - Erkenntnis 48:233-250.
Global and Local Pessimistic Meta-inductions.Samuel Ruhmkorff - 2013 - International Studies in the Philosophy of Science 27 (4):409-428.
Meta-fórico y meta-físico/meta-fórico y meta-histórico.Luis Vergara - 2007 - Revista de Filosofía (México) 39 (120):41-64.
Disputes in just war theory and meta-theory.Graham Long - 2012 - European Journal of Political Theory 11 (2):209-225.
Structuralism and Meta-Mathematics.Simon Friederich - 2010 - Erkenntnis 73 (1):67 - 81.

Analytics

Added to PP
2015-02-04

Downloads
4 (#1,629,783)

6 months
4 (#799,214)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references