Makinson, David C. (2005) Friendliness for logicians. In: Artemov, S., Barringer, H., d'Avila Garcez, A. S., Lamb, L. C. and Woods, J., (eds.) We will show them! Essays in honour of Dov Gabbay. College Publications, London, UK, pp. 259-292. ISBN 1904987125
We define and examine a notion of logical friendliness, which is a broadening of the familiar notion of classical consequence. The concept is studied first in its simplest form, and then in a syntax-independent version, which we call sympathy. We also draw attention to the surprising number of familiar notions and operations with which it makes contact, providing a new light in which they may be seen.
|Item Type:||Book Section|
|Additional Information:||© 2005 David C. Makinson|
|Library of Congress subject classification:||B Philosophy. Psychology. Religion > BC Logic|
|Sets:||Departments > Philosophy, Logic and Scientific Method|
Actions (login required)
|Record administration - authorised staff only|