Change search
ReferencesLink to record
Permanent link

Direct link
Fusing Quantifiers and Connectives: is Intuitionistic Logic Different?
Stockholm University, Faculty of Humanities, Department of Philosophy.
2015 (English)In: Dag Prawitz on Proofs and Meaning / [ed] Heinrich Wansing, Cham: Springer, 2015, 259-280 p.Conference paper (Refereed)
Abstract [en]

A paper by Dag Westerstahl and myself twenty years ago introduced operators that are both connectives and quantifiers. We introduced two binary operators that are classically interdefinable: one that fuses conjunction and existential quantification and one that fuses implication and universal quantification. We called the system PFO. A complete Gentzen-Prawitz style Natural Deduction axiomatization of classical PL was provided. For intuitionistic PL, however, it seemed that existential quantification should be fused with disjunction rather than with conjunction. Whether this was true, and if so why, were questions not answered at the time. Also, it seemed that there is no uniform definition of such a disjunctive-existential operator in classical PFO. This, too, remained a conjecture. In this paper, I return to these previously unresolved questions, and resolve them.

Place, publisher, year, edition, pages
Cham: Springer, 2015. 259-280 p.
, Outstanding Contributions to Logic, ISSN 2211-2766 ; 7
Keyword [en]
Anaphora, Axiomatization, Fusing operators, Intuitionistic logic, Natural deduction, Natural language, PFO, Prawitz, Predicate logic, Uniform definition, Unselective binding
National Category
Computer and Information Science Philosophy, Ethics and Religion
URN: urn:nbn:se:su:diva-119776DOI: 10.1007/978-3-319-11041-7_11ISI: 000357742900011ISBN: 978-3-319-11040-0ISBN: 978-3-319-11041-7OAI: diva2:848168
Dag Prawitz on Proofs and Meaning Workshop, Bochum, Germany, September 10-11, 2012
Available from: 2015-08-24 Created: 2015-08-24 Last updated: 2016-01-27Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Pagin, Peter
By organisation
Department of Philosophy
Computer and Information SciencePhilosophy, Ethics and Religion

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 130 hits
ReferencesLink to record
Permanent link

Direct link