On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus

&
History and Philosophy of Logic 2 (1-2):87-112 (1981)
  Copy   BIBTEX

Abstract

A three-valued propositional logic is presented, within which the three values are read as ‘true’, ‘false’ and ‘nonsense’. A three-valued extended functional calculus, unrestricted by the theory of types, is then developed. Within the latter system, Bochvar analyzes the Russell paradox and the Grelling-Weyl paradox, formally demonstrating the meaninglessness of both.

Categories

Keywords

Reprint years

DOI

10.1080/01445348108837023

Other Versions

No versions found

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: D. A. Bochvar, On the Consistency of a Three-Valued Logical Calculus. [REVIEW]Wanda Szmielew - 1946 - Journal of Symbolic Logic 11 (4):129-129.
On the consistency of a three-valued logical calculus.D. A. Bochvar - 1984 - Topoi 3 (1):3-12.
Partial and paraconsistent three-valued logics.Vincent Degauquier - 2016 - Logic and Logical Philosophy 25 (2):143-171.
II Three-valued and Intuitionist Logic.A. N. Prior - 1963 - In Arthur N. Prior, Formal Logic. Oxford, GB: Oxford University Press. pp. 230-259.
Bochvar's algebras and corresponding propositional calculi.Viktor Finn & Revaz Grigolia - 1980 - Bulletin of the Section of Logic 9 (1):39-43.
On Axiom Systems of Słupecki for the Functionally Complete Three-Valued Logic.Mateusz M. Radzki - 2017 - Axiomathes 27 (4):403-415.
The extended calculus of indications interpreted as a three-valued logic.Francisco J. Varela - 1979 - Notre Dame Journal of Formal Logic 20 (1):141-146.
Uwagi o logice trójwartościowej.Tomasz Bigaj - 1997 - Filozofia Nauki 3.
An axiom system for three-valued Ł ukasiewicz propositional calculus.Luisa Iturrioz - 1977 - Notre Dame Journal of Formal Logic 18 (4):616-620.
Paradoxes of Material Implication.Mostofa N. Mansur - 2005 - Dissertation, Memorial University of Newfoundland

Analytics

Added to PP
2010-08-10

Downloads
277 (#153,269)

6 months
40 (#213,000)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A semantic theory of redundancy.Kyle Blumberg & Simon Goldstein - 2025 - Linguistics and Philosophy 48 (4):787-821.
Free logic.John Nolt - 2021 - Stanford Encyclopedia of Philosophy.
Off-Topic: A New Interpretation of Weak-Kleene Logic.Jc Beall - 2016 - Australasian Journal of Logic 13 (6).
Defining LFIs and LFUs in extensions of infectious logics.Szmuc Damian Enrique - 2016 - Journal of Applied Non-Classical Logics 26 (4):286-314.

View all 93 citations / Add more citations

References found in this work

No references found.

Add more references