PP-2016-30: Tales from an Old Manuscript

PP-2016-30: van Benthem, Johan (2016) Tales from an Old Manuscript. [Report]

[thumbnail of Full Text]
Text (Full Text)

Download (236kB) | Preview
[thumbnail of Abstract] Text (Abstract)

Download (844B)


‘Possibility semantics’ for classical logics is on the rise these days, and it throws interesting new light on the borderline between classical and intuitionistic logic.
This note is about a source from 1981 that is attracting some attention, a handwritten Tech Report from the Groningen Institute of Mathematics, never published, but with a facsimile on-line at http://dare.uva.nl/cgi/arno/show.cgi?fid=621016.
I present its content, and discuss what issues this raises that may be of current relevance.

Note: This paper appeared in a Festschrift on the occasion of the retirement of Albert Visser, edited by Jan van Eijck, Rosalie Iemhoff and Joost Joosten.

Item Type: Report
Report Nr: PP-2016-30
Series Name: Prepublication (PP) Series
Year: 2016
Uncontrolled Keywords: possibilities, modal logic, first-order logic, axiom of choice, ultra products, filter products
Subjects: Logic
Depositing User: Johan van Benthem
Date Deposited: 12 Oct 2016 14:37
Last Modified: 12 Oct 2016 14:37
URI: https://eprints.illc.uva.nl/id/eprint/566

Actions (login required)

View Item View Item