On Woodruff’s Constructive Nonsense Logic

Studia Logica:1-20 (forthcoming)
  Copy   BIBTEX

Abstract

Sören Halldén’s logic of nonsense is one of the most well-known many-valued logics available in the literature. In this paper, we discuss Peter Woodruff’s as yet rather unexplored attempt to advance a version of such a logic built on the top of a constructive logical basis. We start by recalling the basics of Woodruff’s system and by bringing to light some of its notable features. We then go on to elaborate on some of the difficulties attached to it; on our way to offer a possible solution to such difficulties, we discuss the relation between Woodruff’s system and two-dimensional semantics for many-valued logics, as developed by Hans Herzberger.

Author Profiles

Jonas R. B. Arenhart
Universidade Federal de Santa Catarina

Analytics

Added to PP
2024-01-22

Downloads
27 (#90,556)

6 months
27 (#88,037)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?