Some clearer reactions: Gauker on the validity of universal instantiation
DOI:
https://doi.org/10.4454/philinq.v4i1.95Keywords:
universal instantiation (UI), existential generalization (EG), many-sorted languages, typed languages, logical orthodoxy, ordinary intuitions, contextsAbstract
It is part of the logical orthodoxy that quantifiers are interdefinable and that the rules of Universal Instantiation (UI) and Existential Generalization (EG) hold or fail together. Christopher Gauker has presented some cases which seemingly undermine the validity of UI but nonetheless leave EG untouched, and has developed a very sophisticated theory to explain why this is so. In the process, he has rejected several attempts to explain the asymmetry, especially those aiming at saving the logical orthodoxy by showing what is wrong with the counterexamples to UI. In this paper I argue that some of those proposals are better grounded than Gauker thinks and that ultimately they should be preferred over his since they satisfactorily explain the apparent counterexamples.
Downloads
Published
Issue
Section
License
– Authors are allowed to upload their papers immediately after publication on reserved access institutional repositories or archives required for research metrics and evaluation. Authors ought to include publication references (journal title, volume, issue and pages, article DOI when available, URL to journal website or journal issue).
Issue files are only available for download by subscription for 18 months from the date of publication. After the embargo period, the content becomes open access and is subject to the Creative Commons Generic Licence version 4.0 (cc. By 4.0). Copyright in individual articles passes to the publisher on the date of publication of the article and reverts to the authors at the end of the embargo period.
If the author wishes to request immediate Open Access publication of his/her contribution, without waiting for the end of the embargo period, a fee of EUR 500.00 will be charged. To make this type of request, please contact our administrative office (amministrazione@edizioniets.com) and the journal manager (journals@edizioniets.com), indicating: the title of the article, the details of the file to which it belongs, the details of the person to whom the invoice should be addressed, the existence of any research funding.
