Add to ORKGTarski’s Indefinability Theorem can be generalized so that it applies to many-valued languages. We introduce a notion of strong semantic self-representation applicable to any (sufficiently rich) interpreted many-valued language L. A sufficiently rich interpreted many-valued language L is SSSR just in case it has a function symbol n(x) such that, for any f Sent(L), the denotation of the term n(“f”) in L is precisely ||f||L, the semantic value of f in L. By a simple diagonal construction (finding a sentence l such that l is equivalent to n(“l”) T), it is shown that no such language strongly represents itself semantically. Hence, no such language can be its own metalanguage
Tarski believed that the notion of truth should be relativised not to the notion of meaning - as man...
Every countable language which conforms to classical logic is shown to have an extension which has ...
Is logic empirical? Is logic to be found in the world? Or is logic rather a convention, a product of...
The Polish logician Roman Suszko has extensively pleaded in the 1970s for a restatement of the notio...
It must be admitted that mathematical investigations in providing alternative semantics have carried...
In this paper I argue that it’s impossible for there to be a single universal theory of meaning for ...
This chapter explores logical semantics, that is, the structural meaning of logical expressions like...
Tarski avoids the liar paradox by relativizing truth and falsehood to particular languages and forbi...
No one denies that Tarski made a major contribution to one particular problem about truth, namely, t...
This paper is a modest contribution to a universal logic approach to many-valued semantic systems. T...
Suszko’s Thesis is a philosophical claim regarding the nature of many-valuedness. It was f...
Ordinary and transfinite recursion and induction and ZF set theory are used to construct from a full...
In the paper * we discuss a distinctive versatility of the non-Fregean approach to the sentential id...
Despite wide variation among natural languages, there are linguistic properties thought to be univer...
Tarski believed that the notion of truth should be relativised not to the notion of meaning - as man...
Every countable language which conforms to classical logic is shown to have an extension which has ...
Is logic empirical? Is logic to be found in the world? Or is logic rather a convention, a product of...
The Polish logician Roman Suszko has extensively pleaded in the 1970s for a restatement of the notio...
It must be admitted that mathematical investigations in providing alternative semantics have carried...
In this paper I argue that it’s impossible for there to be a single universal theory of meaning for ...
This chapter explores logical semantics, that is, the structural meaning of logical expressions like...
Tarski avoids the liar paradox by relativizing truth and falsehood to particular languages and forbi...
No one denies that Tarski made a major contribution to one particular problem about truth, namely, t...
This paper is a modest contribution to a universal logic approach to many-valued semantic systems. T...
Suszko’s Thesis is a philosophical claim regarding the nature of many-valuedness. It was f...
Ordinary and transfinite recursion and induction and ZF set theory are used to construct from a full...
In the paper * we discuss a distinctive versatility of the non-Fregean approach to the sentential id...
Despite wide variation among natural languages, there are linguistic properties thought to be univer...
Tarski believed that the notion of truth should be relativised not to the notion of meaning - as man...
Every countable language which conforms to classical logic is shown to have an extension which has ...
Is logic empirical? Is logic to be found in the world? Or is logic rather a convention, a product of...