A contingent Russell's paradox (Q1924332): Difference between revisions

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.

0 references

zbMATH Keywords

nominalized predicates

0 references

type-free systems of nonstandard second-order logic

0 references

contingent Russell paradox

0 references

reviewed by

Pavel Materna

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1305/ndjfl/1040067319

0 references

cites work

The theory of homogeneous simple types as a second order logic

0 references

Two \(\lambda\)-extensions of the theory of homogeneous simple types as a second-order logic

0 references

Q4722029

0 references

Truth and paradox

0 references

Outline of a Theory of Truth

0 references

Q5734418

0 references

Identifiers

zbMATH Open document ID

0860.03010

0 references

DOI

10.1305/ndjfl/1040067319

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:1924332

@@ Property / reviewed by @@
+Pavel Materna
@@ Property / reviewed by: Pavel Materna / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1305/ndjfl/1040067319
+Normal rank
@@ Property / OpenAlex ID @@
+W1985323659
@@ Property / OpenAlex ID: W1985323659 / rank @@
+Normal rank
@@ Property / cites work @@
+The theory of homogeneous simple types as a second order logic
+Normal rank
@@ Property / cites work @@
+Two \(\lambda\)-extensions of the theory of homogeneous simple types as a second-order logic
+Normal rank
@@ Property / cites work @@
+Q4722029
@@ Property / cites work: Q4722029 / rank @@
+Normal rank
@@ Property / cites work @@
+Truth and paradox
@@ Property / cites work: Truth and paradox / rank @@
+Normal rank
@@ Property / cites work @@
+Outline of a Theory of Truth
@@ Property / cites work: Outline of a Theory of Truth / rank @@
+Normal rank
@@ Property / cites work @@
+Q5734418
@@ Property / cites work: Q5734418 / rank @@
+Normal rank