Size of this PNG preview of this TIF file: 367 × 599 pixels. Other resolutions: 147 × 240 pixels | 294 × 480 pixels | 729 × 1,190 pixels.
Original file (729 × 1,190 pixels, file size: 1.76 MB, MIME type: image/tiff)
 | This is a file from the Wikimedia Commons. Information from its description page there is shown below. Commons is a freely licensed media file repository. You can help. |
Summary
Brouwerian argument against the Law of Excluded Middle applied to a universe of discourse that is "uncompleted". Drawing shows a logical universe that is expanding, and the failure of the double-negative to incorporate the expansion.
Licensing
I, the copyright holder of this work, hereby publish it under the following license:
This file is licensed under the Creative Commons Attribution 3.0 Unported license.
- You are free:
- to share – to copy, distribute and transmit the work
- to remix – to adapt the work
- Under the following conditions:
- attribution – You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use.
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Thumbnail | Dimensions | User | Comment | |
|---|---|---|---|---|---|
| current | 16:47, 25 April 2012 |  | 729 × 1,190 (1.76 MB) | Wvbailey | Added 3rd image to reinforce the point that NOT(NOT-X) <> NOT-X if the universe of discourse is expanding. |
| 14:31, 25 April 2012 |  | 668 × 765 (1.03 MB) | Wvbailey | Brouwerian argument against the Law of Excluded Middle applied to a universe of discourse that is "uncompleted". Drawing shows a logical universe that is expanding, and the failure of the double-negative to incorporate the expansion. |
File usage
The following page uses this file: