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
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