The Syllogistic with Unity |
| |
Authors: | Ian Pratt-Hartmann |
| |
Affiliation: | 1. School of Computer Science, Manchester University, Manchester, M13 9PL, UK
|
| |
Abstract: | We extend the language of the classical syllogisms with the sentence-forms “At most 1 p is a q” and “More than 1 p is a q”. We show that the resulting logic does not admit a finite set of syllogism-like rules whose associated derivation relation is sound and complete, even when reductio ad absurdum is allowed. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|