Timeline for Semantics/Syntax distinction vs. Meta/Object language distinction
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 23, 2018 at 19:22 | comment | added | Mauro ALLEGRANZA | The term meta-mathematics was coined by Hilbert in the 20s, while the similar term meta-logic was introduced in 1930 by Lukasiewicz and Tarski : "In the course of the years 1920-30 investigations were carried out in Warsaw belonging to that part of metamathematics—or better metalogic—which has as its field of study the simplest deductive discipline, namely the sentential calculus." | |
| Dec 23, 2018 at 19:13 | comment | added | Mauro ALLEGRANZA | Obviously, the distinction syntax/semantics was a "natural" one, already available with the study natural language. Not so for the distinction between object- and meta-language. | |
| Dec 5, 2018 at 4:23 | vote | accept | Mallik | ||
| Dec 5, 2018 at 4:23 | |||||
| Dec 5, 2018 at 2:55 | review | Close votes | |||
| Dec 6, 2018 at 20:05 | |||||
| Dec 5, 2018 at 1:26 | answer | added | Bjørn Kjos-Hanssen | timeline score: 1 | |
| Dec 4, 2018 at 17:44 | history | asked | Mallik | CC BY-SA 4.0 |