This article focuses attention on the specification of language expressions in order to express statements having a truth value.Each specified expression(=value expression)introduced can be derived by adding a specifi...This article focuses attention on the specification of language expressions in order to express statements having a truth value.Each specified expression(=value expression)introduced can be derived by adding a specification to an expression of the natural language(“Mario Rossi”—“Mario Rossi born in…on…”)or it can be associated with it without sharing any part of it(“water”-“H2O”).We can imagine different languages and different translation procedures from natural language;each procedure imposes a choice among different value expressions.There are two“windows”that the syntax of the specified expressions“opens up to the world”,so to speak;these are the following formulas:The value of/x/=x',where“x”,“x'”are names,/x/is true iffx',where“x”,“x'”are sentences.In the second formula categorical reductions and compositions of the specified expressions must have been performed.In cases where these passages are not available,we would remain with a syntactic expression of the type of sentences,but not,such as to exemplify the traditional definition of truth.展开更多
基金I would like to thank my colleague Andrea Bianchi,philosopher of the language of my Department,for discussions and critical remarks.By a coincidence of fate His name is among the most in need of specification,but he does not agree at all,as well as on the bartender’s beard and on the red color.
文摘This article focuses attention on the specification of language expressions in order to express statements having a truth value.Each specified expression(=value expression)introduced can be derived by adding a specification to an expression of the natural language(“Mario Rossi”—“Mario Rossi born in…on…”)or it can be associated with it without sharing any part of it(“water”-“H2O”).We can imagine different languages and different translation procedures from natural language;each procedure imposes a choice among different value expressions.There are two“windows”that the syntax of the specified expressions“opens up to the world”,so to speak;these are the following formulas:The value of/x/=x',where“x”,“x'”are names,/x/is true iffx',where“x”,“x'”are sentences.In the second formula categorical reductions and compositions of the specified expressions must have been performed.In cases where these passages are not available,we would remain with a syntactic expression of the type of sentences,but not,such as to exemplify the traditional definition of truth.
