31 lines
1.6 KiB
Markdown
31 lines
1.6 KiB
Markdown
---
|
|
tags:
|
|
- Logic
|
|
- propositional-logic
|
|
---
|
|
|
|
## Object and metalanguages
|
|
|
|
When we talk about a language we call that language the **object language**. A **metalanguage** is a language used to describe some object language.
|
|
|
|
When we are developing a formal logical language (which we may call SL or PL for 'sentential' and 'propositional' logic respectively), the formal language is the object language and natural language (e.g. English) is the metalanguage.
|
|
|
|
**Demonstration**
|
|
|
|
If we talk about German in English, German in the object language and English is the metalanguage.
|
|
|
|
## Use and mention
|
|
|
|
There is an associated distinction: that of use and mention.
|
|
|
|
When we create an expression in a language we are said to *use* that language. When we remark upon said expression we are said to be *mentioning* the language. This distinction may correspond to the object and metalanguage difference above but doesn't have to; use and mention can happen in the same language. For example:
|
|
|
|
````
|
|
'London' is the word that denotes the capital of the UK.
|
|
````
|
|
|
|
## Metavariables
|
|
|
|
A metalinguistic variable (metavariable for short) is an expression in the metalanguage that is used to talk generally about expressions of the object language. The convention in these notes will be to embolden single letters when these letters are used as metavariables.
|
|
|
|
For example, instead of saying *'P & Q' is an expression comprising two atomic sentences and a conjunction* we might say ***P** is an expression comprising two atomic sentences and a conjunction.* In this instance **P** is a metavariable in the metalanguage mentioning the expression P & Q in the object language
|