Indiscernibility of identicals
type: Item
instance of: scholarly article
title: Indiscernibility of identicals
zbMATH Open document ID: 0623.03005
DOI: 10.1007/BF00375897
author: Pavel Tichý
published in: Studia Logica
publication date: 1986-01-01T00:00:00Z
review text: This is an excellent solution of the traditional problems of ''intensional vs. non-intensional context'' with respect to the existential import and to the premise ''the f \(=\) the g'', where f, g are definitely descriptive terms. It is shown that neither Frege's contextualism nor Russel's denying the self-contained meaning of descriptive terms, are plausible solutions, and the sophisticated apparatus of partial type theory [\textit{P. Tichý}, Rep. Math. Logic 14, 59-72 (1982; Zbl 0488.03007)] together with Tichý's transparent intensional logic is applied to prove that no ''ad hoc'' solution is necessary. Tichý's general solution (Theorems 10.1 and 11.1) is proved by means of ''natural deduction for partial type theory'' (section 9); the first part of the paper contains an intuitive exposition of the problems and their solutions. A stimulative theory of languages is given (section 7) as well as of ''linguistic attitudes'' (section 8, where a definite solution of the puzzle of ''omniscience'' is found).
Mathematics Subject Classification ID: 03B15
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 03B65
Mathematics Subject Classification ID: 03F99
zbMATH DE Number: 4010471
zbMATH Keywords: lambda-calculus
zbMATH Keywords: semantics
zbMATH Keywords: intensional vs. non-intensional context
zbMATH Keywords: partial type theory
zbMATH Keywords: transparent intensional logic
zbMATH Keywords: theory of languages
zbMATH Keywords: omniscience
reviewed by: Pavel Materna
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 4010471