Interpreting Negation: A Semantic Theory of Negation for Standard and Non-Standard Logics
Hass, Marjorie
This item is only available for download by members of the University of Illinois community. Students, faculty, and staff at the U of I may log in with your NetID and password to view the item. If you are trying to access an Illinois-restricted dissertation or thesis, you can request a copy through your library's Inter-Library Loan office or purchase a copy directly from ProQuest.
Permalink
https://hdl.handle.net/2142/72601
Description
Title
Interpreting Negation: A Semantic Theory of Negation for Standard and Non-Standard Logics
Author(s)
Hass, Marjorie
Issue Date
1993
Doctoral Committee Chair(s)
McCarthy, T.,
Department of Study
Philosophy
Discipline
Philosophy
Degree Granting Institution
University of Illinois at Urbana-Champaign
Degree Name
Ph.D.
Degree Level
Dissertation
Keyword(s)
Philosophy
Abstract
I argue that there is a common core to the negation operators found in classical logic, quantum logic and some versions of three-valued logic--logics I refer to an 'valent' logics. In particular, each of these operators adheres to the following three constraints: (1) A proposition and its negation cannot intersect in a non-trivial way, (2) The law of contraposition holds, and (3) Negation maps propositions one-to-one and onto propositions. I further show that a logic consisting of an operator defined by just these constraints, i.e., a minimal negation operator, along with a standard disjunctive operator, is decidable. Finally, I argue that intuitionistic logic does not contain an operator which meets the constraints outlined above, but that it does contain an operator which provides a different form of negation.
Analyzing these results, I suggest that the difference between negation in intuitionistic logic and in valent logics can best be explained by examining the way in which the latter, unlike the former, aim at describing relations between real states of affairs. I argue that the constraints placed on the negation operator in valent logics arise naturally from the assumption that the logic is "talking about" some aspect of reality. I show that the most natural interpretation of valent logic requires that they have more than one semantic value whereas intuitionistic logic contains but a single semantic value. Michael Dummett has claimed that the division between realist and non-realist logic ought to be made on the basis of whether the logic contains the law of bivalence. I criticize his view and suggest that this division might more plausibly be made based on the type of negation operator the logic contains.
A final chapter considers a possible logic for vague predicates using fuzzy set theory. I show that such a logic contains a negation operator that meets the valent constraints. I use this result and the conclusions drawn previously to argue--against Putnam--that vagueness can be accommodated within a realist semantic structure.
Use this login method if you
don't
have an
@illinois.edu
email address.
(Oops, I do have one)
IDEALS migrated to a new platform on June 23, 2022. If you created
your account prior to this date, you will have to reset your password
using the forgot-password link below.
