Many-valued logic and sequence arguments in value theory

Synthese 199 (3-4):10793-10825 (2021)
  Copy   BIBTEX

Abstract

Some find it plausible that a sufficiently long duration of torture is worse than any duration of mild headaches. Similarly, it has been claimed that a million humans living great lives is better than any number of worm-like creatures feeling a few seconds of pleasure each. Some have related bad things to good things along the same lines. For example, one may hold that a future in which a sufficient number of beings experience a lifetime of torture is bad, regardless of what else that future contains, while minor bad things, such as slight unpleasantness, can always be counterbalanced by enough good things. Among the most common objections to such ideas are sequence arguments. But sequence arguments are usually formulated in classical logic. One might therefore wonder if they work if we instead adopt many-valued logic. I show that, in a common many-valued logical framework, the answer depends on which versions of transitivity are used as premises. We get valid sequence arguments if we grant any of several strong forms of transitivity of 'is at least as bad as' and a notion of completeness. Other, weaker forms of transitivity lead to invalid sequence arguments. The plausibility of the premises is largely set aside here, but I tentatively note that almost all of the forms of transitivity that lead to valid sequence arguments seem intuitively problematic. Still, a few moderately strong forms of transitivity that might be acceptable lead to valid sequence arguments, although weaker statements of the initial value claims avoid these arguments at least to some extent.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,783

External links

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

Through your library

Similar books and articles

A Characteristic Model For Some Tabular Many-valued Logics.Marion Mircheva - 1986 - Bulletin of the Section of Logic 15 (4):159-161.
Finiteness in infinite-valued łukasiewicz logic.Stefano Aguzzoli & Agata Ciabattoni - 2000 - Journal of Logic, Language and Information 9 (1):5-29.
Algorithmic logic. Multiple-valued extensions.Helena Rasiowa - 1979 - Studia Logica 38 (4):317 - 335.
How to avoid deviance (in logic).Walter Sinnott-Armstrong & Amit Malhotra - 2002 - History and Philosophy of Logic 23 (3):215--36.
On Rine's view of Boolean algebras.George Epstein - 1981 - Bulletin of the Section of Logic 10 (2):91-92.
Sentential Falsehood Logic FL4.Sergey Pavlov - 1998 - The Paideia Archive: Twentieth World Congress of Philosophy 8:112-117.
A Three-Valued Fregean Quantification Logic.Minghui Ma & Yuanlei Lin - 2019 - Journal of Philosophical Logic 48 (2):409-423.

Analytics

Added to PP
2021-06-07

Downloads
51 (#311,456)

6 months
23 (#119,283)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Simon Knutsson
Stockholm University

Citations of this work

Papers in Population Ethics.Elliott Thornley - 2023 - Dissertation, University of Oxford

Add more citations

References found in this work

Vagueness.Timothy Williamson - 1996 - New York: Routledge.
Vagueness.Timothy Williamson - 1995 - British Journal for the Philosophy of Science 46 (4):589-601.
Précis of Vagueness.Timothy Williamson - 1997 - Philosophy and Phenomenological Research 57 (4):921-928.
Vagueness and Degrees of Truth.Nicholas J. J. Smith - 2008 - Oxford, England: Oxford University Press.

View all 51 references / Add more references