Find counter arguments by entering NameVs… or …VsName.
The author or concept searched is found in the following 6 entries.
| Disputed term/author/ism | Author |
Entry |
Reference |
|---|---|---|---|
| Convention T | Tarski | Berka I 476f Def Convention T/original place/Tarski: We will call a true definition of truth a formally correct definition of the symbol "Wr" ("class of all true statements") formulated in terms of the metalanguage if it leads to the following conclusions: I 477 α) all sentences that are gained from the expression "x ε Wr iff "p" by inserting for the symbol x a structurally descriptive name of an arbitrary statement in the considered language ((s) of the object language) and for the symbol "p" the expression that is the translation of this statement in the meta language; β) the statement "for an arbitrary x - if x ε Wr, then x ε AS" (or in other words ""Wr < AS"). New in relation to Chapter 1: introduction of the meta language.(1) >Object language, >Metalanguage. I 451 Definition structural-descriptive name/Tarski: ((s) different category than the quotation names): describe, of what words the expression, designated by the name, consists and of which characters each individual word consists and in what order they follow one another - goes without quotation marks. Method: introduce single names for all letters and other characters ((s) no quotation names). E.g. for letters f, j, P, etc.: Ef, Jay, Pee, E.g. to the quotation name ""snow"" ((s) quotation marks twice) corresponds the structural-descriptive name: the word that consists of the six consecutive letters Es, En, O, double-u - ((s) letter names without quotation marks). 1. A.Tarski, Der Wahrheitsbegriff in den formalisierten Sprachen, Commentarii Societatis philosophicae Polonorum. Vol 1, Lemberg 1935 |
Tarski I A. Tarski Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983 Berka I Karel Berka Lothar Kreiser Logik Texte Berlin 1983 |
| Formal Language | Tarski | Berka I 458 Formal language/Tarski: in a formal language the meaning of each term is uniquely determined by its shape. I 459 Variables: variables have no independent meaning. - Statements remain statements after translation into everyday language. Variable/Tarski: variables represent for us always names of classes of individuals. >Class name. Berka I 461 Formal language/terminology/abbreviations/spelling/Tarski: here: the studied language (object language). Symbols: N, A, I, P: negation, alternation, inclusion, quantifier - metalanguage: Symbols ng (negation), sm (sum = alternation), in (inclusion) - this is the language in which the examination is performed. ng, sm, etc. correspond to the colloquial expressions ((s) the formal symbols N, A, etc. do not). I 464 E.g. object language: Example expression: Nixi, xll: - meta language: translation of this expression: (structural-descriptive name, symbolic expression): name: "((ng ^ in) ^ v1) ^ v2" - but: see below: difference name/translation.(1) >Structural-descriptive name, >Quotation name, >Metalanguage. 1. A.Tarski, Der Wahrheitsbegriff in den formalisierten Sprachen, Commentarii Societatis philosophicae Polonorum. Vol 1, Lemberg 1935 --- Horwich I 112 Formal language/Tarski: in it all assertible sentences are theorems. - There may be a language with exactly specified structure, which is not formalized. - Then the assertibility may depend on extra-linguistic factors.(2) >Assertibility. 2. A. Tarski, The semantic Conceptions of Truth, Philosophy and Phenomenological Research 4, pp. 341-75 |
Tarski I A. Tarski Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983 Berka I Karel Berka Lothar Kreiser Logik Texte Berlin 1983 Horwich I P. Horwich (Ed.) Theories of Truth Aldershot 1994 |
| Functors | Tarski | I Berka 455 Functor/Tarski: quotation marks: quotation marks are name-forming functors. "extensional"/"intensional": these expressions name assertion-forming functors.(1) ((s) There is no "intensional "name.) >Intensionality, >Extensionality, >Functions/Tarski, >Quotation name, >Structural-descriptive name, >Terminology/Tarski. 1. A.Tarski, Der Wahrheitsbegriff in den formalisierten Sprachen, Commentarii Societatis philosophicae Polonorum. Vol 1, Lemberg 1935 |
Tarski I A. Tarski Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983 |
| Proper Names | Tarski | Berka I 451 Def quotation name/Tarski: any name of a statement (or even meaningless expression) consisting of quotes and the expression, and which is precisely the signified through the considered name. E.g. the name ""it snows"". ((s) Quotation marks twice) N.B.: identical configured expressions must not be identified. - Therefore quotation names are general, not individual names (classes of character strings). >Description levels, >Quotation marks, cf. >Names of sentences. I 453 Syntactically simple expressions - such as letters - have no independent meaning. I 451 Def structural-descriptive name/Tarski: (different category than the quotation names): they describe, of what words the expression, designated by the name, consists and of which characters each individual word consists and in what order they follow one another. - This goes without quotation marks. Method: introduce single names for all letters and other characters (No quotation names). E.g. for letters f, j, P, etc.: Ef, Jay, Pee, ex - E.g. to the quotation name ""snow"" (quotation marks twice) corresponds the structural-descriptive name: word that consists of the six consecutive letters Es, En, O, double-u - (letter names without quotation marks). I 451 Semantically ambiguous/Russell/Tarski: E.g. name, designating: a) with respect to items b) to classes, relations, etc. I 464 Name/translation/metalanguage/object language/Tarski: difference: an expression of the object language in the metalanguage may a) be given a name, or b) a translation. >Object language, >Metalanguage. I 496 Names/variables/constants/Tarski: variables represent names constants are names. >Representation, >Proxy. For each constant and each variable of the object language (except for the logical constants of propositional calculus) can form a fundamental function that contains this character (the statement variables neither occur into the fundamental functions as functors nor as arguments). Statement variable: any ((s) individual) of them is regarded as an independent fundamental function.(1) >Constants/Tarski, >Functions/Tarski. 1. A.Tarski, Der Wahrheitsbegriff in den formalisierten Sprachen, Commentarii Societatis philosophicae Polonorum. Vol 1, Lemberg 1935 |
Tarski I A. Tarski Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983 Berka I Karel Berka Lothar Kreiser Logik Texte Berlin 1983 |
| Syntax | Schröter | Berka I 415 Character strings/Schröter: if they are alike, theay are not considered being different here. - Therefore we are always talking of a set of character strings that have the same design as a given sequence of characters.(1) - ((s)> Tarski: a quotationmark-name (quotation name, quotation-mark name) is always general: class of identically designed strings, not an individual name. >functionalism/Tarski) 1. K. Schröter, Was ist eine mathematische Theorie?, Jahresbericht der deutschen Mathematikervereinigung 53 (1943), 69-82 |
Berka I Karel Berka Lothar Kreiser Logik Texte Berlin 1983 |
| Terminology | Tarski | I 451 Def structural-descriptive name/Tarski: ((s) different category than the quotation names): describe, of what words the expression, designated by the name, consists and of which characters each individual word consists and in what order they follow one another - goes without quotation marks. Method: introduce single names for all letters and other characters ((s) no quotation names). E.g. for letters f, j, P, etc.: Ef, Jay, Pee, E.g. to the quotation name ""snow"" ((s) quotation marks twice) corresponds the structural-descriptive name: the word that consists of the six consecutive letters Es, En, O, double-u - ((s) letter names without quotation marks). Berka I 454 Def Quotation function/Tarski: the in Tarski schema (or variants) occurring expression ""p"" (quotes twice) must be regarded as a function whose argument is a propositional variable and the values constant leading names of statements. So the quotation marks become separate words (like the word "name") with the syntactic role of functors. |
Tarski I A. Tarski Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983 Berka I Karel Berka Lothar Kreiser Logik Texte Berlin 1983 |
| |||
No results. Please choose an author or concept or try a different keyword-search.