History and Philosophy of Logic 2 (1-2):87-112 (1981)
| 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
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1080/01445348108837023 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
Theories of Truth Based on Four-Valued Infectious Logics.Damian Szmuc, Bruno Da Re & Federico Pailos - 2020 - Logic Journal of the IGPL 28 (5):712-746.
An Epistemic Interpretation of Paraconsistent Weak Kleene Logic.Damian E. Szmuc - forthcoming - Logic and Logical Philosophy:1.
Defining LFIs and LFUs in Extensions of Infectious Logics.Szmuc Damian Enrique - 2016 - Journal of Applied Non-Classical Logics 26 (4):286-314.
Off-Topic: A New Interpretation of Weak-Kleene Logic.Jc Beall - 2016 - Australasian Journal of Logic 13 (6).
A Computational Interpretation of Conceptivism.Thomas Macaulay Ferguson - 2014 - Journal of Applied Non-Classical Logics 24 (4):333-367.
View all 55 citations / Add more citations
Similar books and articles
On a Three Valued Calculus and Its Application to the Analysis of Contradictories.D. A. Bochvar - 1939 - Matematicheskii Sbornik 4 (2):287-308.
Proper N-Valued Łukasiewicz Algebras as s-Algebras of Łukasiewicz N-Valued Prepositional Calculi.Roberto Cignoli - 1982 - Studia Logica 41 (1):3 - 16.
How to Avoid Deviance (in Logic).Walter Sinnott-Armstrong & Amit Malhotra - 2002 - History and Philosophy of Logic 23 (3):215--36.
M-Valued Sub-System of (M+N)-Valued Propositional Calculus.Tzu-Hua Hoo - 1949 - Journal of Symbolic Logic 14 (3):177-181.
A Note About Connection of the First-Order Functional Calculus with Many-Valued Propositional Calculi.Juliusz Reichbach - 1964 - Notre Dame Journal of Formal Logic 5 (2):158-160.
On an Algebra of Lattice-Valued Logic.Lars Hansen - 2005 - Journal of Symbolic Logic 70 (1):282 - 318.
Analytics
Added to PP index
2010-08-10
Total views
83 ( #140,007 of 2,506,425 )
Recent downloads (6 months)
3 ( #209,812 of 2,506,425 )
2010-08-10
Total views
83 ( #140,007 of 2,506,425 )
Recent downloads (6 months)
3 ( #209,812 of 2,506,425 )
How can I increase my downloads?
Downloads
