Wittgensteinian tableaux, identity, and co-denotation (Q1020577): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Finite tree property for first-order logic with identity and functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Trees and finite satisfiability: proof of a conjecture of Burgess / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5825229 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Identity, variables, and impredicative definitions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4236324 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4143279 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5537599 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5560258 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Wittgensteinian predicate logic / rank
 
Normal rank

Latest revision as of 15:19, 1 July 2024

scientific article
Language Label Description Also known as
English
Wittgensteinian tableaux, identity, and co-denotation
scientific article

    Statements

    Wittgensteinian tableaux, identity, and co-denotation (English)
    0 references
    0 references
    29 May 2009
    0 references
    The article investigates an alternative way of doing first-order logic which is suggested in Wittgenstein's famous 1922 \textit{Tractatus}. The suggestion is that, in a quantified formula \(\forall x \, \phi\), the bound variable \(x\) should range not over all objects of the domain -- as is customary -- but over all objects of the domain \textit{except those mentioned in \(\phi\)}. For instance, \(\forall x \, \exists y \, Rxy\) says that for all \(x\) there is a \(y\) \textit{other than \(x\)} such that \(x\) bears \(R\) to \(y\). The resulting logic is called \(W\)-logic and was first investigated by Hintikka, who in 1956 showed that -- provided no individual constants or function symbols are present -- first-order logic without identity but with Wittgenstein's alternative semantics has the same expressive power as ordinary first-order logic with identity. The present article presents a tableaux calculus which is proved to be sound and complete for \(W\)-logic. The article then discusses issues of translatability between Wittgensteinian and standard first-order logic in languages with and without individual constants. In particular, a metalinguistic co-denotation predicate is used to bestow the full expressive power of first-order logic with identity on \(W\)-logic in the presence of individual constants. However, the co-denotation predicate has the awkward feature that it is only defined between individual constants, which prevents us from replacing constants to which the predicate is applied by variables.
    0 references
    identity
    0 references
    first-order logic
    0 references
    tableaux calculus
    0 references
    Wittgenstein
    0 references
    Tractatus
    0 references
    Hintikka
    0 references

    Identifiers