Definitions
from The Century Dictionary.
- noun The part of metaphysics which concerns logic.
from Wiktionary, Creative Commons Attribution/Share-Alike License.
- noun philosophy The metatheory of
logic ; the study ofproperties oflogical systems .
Etymologies
from Wiktionary, Creative Commons Attribution/Share-Alike License
Support
Help support Wordnik (and make this page ad-free) by adopting the word metalogic.
Examples
-
His concern for utmost rigor in the formalization and execution of logic, coupled with a nominalistic rejection of abstract entities, led to a precise but highly unusual metalogic.
StanisÅaw LeÅniewski Simons, Peter 2007
-
Object logics can be formulated within Isabelle's metalogic by using its many syntactic and deductive tools.
Automated Reasoning Portoraro, Frederic 2005
-
By analogy with Hilbert's metamathematics, Tarski constructed metalogic as a distinct discipline.
AXIOMATIZATION ROBERT BLANCH 1968
-
Metalogic today occupies in the activities of logicians a place equal at least in importance to that of logic properly so-called, since beyond the studies specifically assigned to metalogic there is scarcely any work in logic not accompanied by a critical examina - tion on the metalogical level.
AXIOMATIZATION ROBERT BLANCH 1968
Comments
Log in or sign up to get involved in the conversation. It's quick and easy.