A contingent Russell's paradox
type: Item
instance of: scholarly article
title: A contingent Russell's paradox
zbMATH Open document ID: 0860.03010
author: Francesco Orilia
published in: Notre Dame Journal of Formal Logic
publication date: 1997-04-15T00:00:00Z
review text: Two Cocchiarella type-free systems of nonstandard second-order logic are shown to produce a contingent Russell paradox, i.e., derivability of a contradiction from contingent premisses.
Mathematics Subject Classification ID: 03B15
Mathematics Subject Classification ID: 03A05
zbMATH DE Number: 935229
zbMATH Keywords: nominalized predicates
zbMATH Keywords: type-free systems of nonstandard second-order logic
zbMATH Keywords: contingent Russell paradox
reviewed by: Pavel Materna
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1305/ndjfl/1040067319
OpenAlex ID: W1985323659
cites work: The theory of homogeneous simple types as a second order logic
cites work: Two \(\lambda\)-extensions of the theory of homogeneous simple types as a second-order logic
cites work: Q4722029
cites work: Truth and paradox
cites work: Outline of a Theory of Truth
cites work: Q5734418
DOI: 10.1305/NDJFL/1040067319
description: scientific article; zbMATH DE number 935229