On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
Graduate studies at Western
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)|
|Through your library||Configure|
Similar books and articles
José Iovino (1997). Definability in Functional Analysis. Journal of Symbolic Logic 62 (2):493-505.
Lars Hansen (2005). On an Algebra of Lattice-Valued Logic. Journal of Symbolic Logic 70 (1):282 - 318.
Juliusz Reichbach (1964). A Note About Connection of the First-Order Functional Calculus with Many-Valued Propositional Calculi. Notre Dame Journal of Formal Logic 5 (2):158-160.
Tzu-Hua Hoo (1949). M-Valued Sub-System of (M+N)-Valued Propositional Calculus. Journal of Symbolic Logic 14 (3):177-181.
Walter Sinnott-Armstrong & Amit Malhotra (2002). How to Avoid Deviance (in Logic). History and Philosophy of Logic 23 (3):215--36.
Roberto Cignoli (1982). Proper N-Valued Łukasiewicz Algebras as s-Algebras of Łukasiewicz N-Valued Prepositional Calculi. Studia Logica 41 (1):3 - 16.
D. A. Bochvar (1939). On a Three Valued Calculus and Its Application to the Analysis of Contradictories. Matematicheskii Sbornik 4:287-308.
Added to index2010-08-10
Total downloads19 ( #71,234 of 722,942 )
Recent downloads (6 months)1 ( #61,087 of 722,942 )
How can I increase my downloads?