The Drinker Paradox and its Dual

About this item

Title

The Drinker Paradox and its Dual

Content partner

University of Canterbury Library

Collection

UC Research Repository

Description

The Drinker Paradox is as follows. In every nonempty tavern, there is a person such that if that person is drinking, then everyone in the tavern is drinking. Formally, \[ \exists x \big(\varphi \rightarrow \forall y \varphi[x/y]\big) \ . \] Due to its counterintuitive nature it is called a paradox, even though it actually is a classical tautology. However, it is not minimally (or even intuitionistically) provable. The same can be said of its dual, which is (equivalent to) the well-known princ...

Read more

Format

Research paper

Research format

Journal article

Date created

2018

Creator

Warren L / Diener H / McKubre-Jordens M

URL

http://hdl.handle.net/10092/16234

Related subjects

Mathematical sciences / Pure mathematics / Mathematical logic, set theory, lattices and universal algebra

What is the copyright status of this item?

All Rights Reserved

This item is all rights reserved, which means you'll have to get permission from University of Canterbury Library before using it.

What can I do with this item?

You must always check with University of Canterbury Library to confirm the specific terms of use, but this is our understanding:

Non-infringing use

NZ Copyright law does not prevent every use of a copyright work. You should consider what you can and cannot do with a copyright work.

No sharing

You may not copy and/or share this item with others without further permission. This includes posting it on your blog, using it in a presentation, or any other public use.

No modifying

You are not allowed to adapt or remix this item into any other works.

No commercial use

You may not use this item commercially.