University/Organization
Department of Philosophy
University of Alberta
Edmonton, Alberta
CANADA
Department of Philosophy
University of Alberta
Edmonton, Alberta
CANADA
Title
Non-denoting Terms in R-mingle
Synopsis
The problem of expressions that talk about nonexistent objects has been a topic of philosophical discussions since the time of the pre-Socratic philosophers. The logic of relevant implication (R) and its extension with the mingle axiom (RM) are logics close to the popular 2-valued logic. RM is less complicated than R; it is easier to use for concrete reasoning. This talk shows how to include terms without referents into RM; how to modify RMQ and its semantics. I conclude with concrete examples.