Metalogic

In der Metalogik , der mathematischen Logik und der Berechenbarkeitstheorie ist eine effektive Methode oder ein effektives Verfahren ein deterministisches Verfahren mit endlicher Laufzeit zur Lösung eines Problems einer

In der analytischen Philosophie wird grundlegend zwischen dem alltäglichen Gebrauch eines Begriffs (eines Wortes, Namens, einer Phrase usw.) und seiner bewussten Erwähnung unterschieden.

In Logik und Linguistik bezeichnet man als Metasprache eine Sprache, die zur Beschreibung einer anderen Sprache, der sogenannten Objektsprache , dient .

Eine metasyntaktische Variable ist ein bestimmtes Wort oder eine Wortgruppe, die in der Informatik und insbesondere in der Programmierung als Platzhalter dient .

In der Logik ist ein Metatheorem eine Aussage über ein formales System, die in einer Metasprache bewiesen wird .

Die Unterscheidung zwischen Typ und Token beschreibt den Unterschied zwischen einem Objekttyp (analog zu einer Klasse ) und den einzelnen Token dieses Typs (analog zu Instanzen ).

In der mathematischen Logik und Metalogik heißt ein formales System hinsichtlich einer bestimmten Eigenschaft vollständig , wenn sich jede Formel mit dieser Eigenschaft mithilfe des Systems ableiten lässt, d. h.

WFF 'N PROOF ist ein Spiel der modernen Logik , das entwickelt wurde, um Prinzipien der symbolischen Logik zu lehren . Es wurde 1962 von Layman E.