Powered by OpenAIRE graph
Found an issue? Give us feedback
addClaim

What is constant in logic?

Authors: Van den Broek, Brian.;

What is constant in logic?

Abstract

The thesis opens with an account of the origins of the modern problem of the demarcation of the logical constants in Alfred Tarski's 1936 lecture "On the Concept of Logical Consequence". Focus then shifts to the logical notions, to free the investigation from parochialism. John Etchemendy's recent challenge to the demarcation project is discussed and rejected. The thesis then surveys various methodological issues, conceptions of the aims and purposes of logic, and needed technical concepts. This provides the requisite tools to carry out the evaluation of existing demarcation proposals. Three groups of demarcation proposals are elaborated and evaluated. First are model-theoretic proposals, which attempt to define the logical notions as those whose extensions are held fixed under various classes of morphisms on the domains on models for logic. Next are the proof-theoretic proposals which attempt to define the logical notions as those whose meanings can be fixed by inference rules. Last, various other proposals which do not fall into any general grouping are discussed. In all cases, the proposed demarcations are rejected, either due to internal technical considerations, or because the demarcation offered will not suffice to meet the aims and purposes of logic. Finally, the thesis turns to arguments that there could not be a unique demarcation of the logical notions which serves all of the central purposes of logic. Further, it is argued that disputes over the nature of logic are subject to a particular intractability, as a dispute over logic is, at least in part, a dispute over the norms under which disputes are to be carried out; thus we have strong reason to doubt that there could be a demarcation that would resolve the debates. I conclude that logic is, at base, an irreducibly interest-relative and pragmatic affair.

This item was digitized as part of a project to share McGill's intellectual legacy with the public. If you are the copyright holder or a relative of the copyright holder who is deceased, you may request withdrawal by emailing escholarship.library@mcgill.ca. The full policy for eScholarship may be accessed here: https://www.mcgill.ca/libraries/research-services/escholarship/policy

Country
Canada
Related Organizations
Keywords

Logic

  • BIP!
    Impact byBIP!
    selected citations
    These citations are derived from selected sources.
    This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    0
    popularity
    This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
    Average
    influence
    This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    Average
    impulse
    This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
    Average
Powered by OpenAIRE graph
Found an issue? Give us feedback
selected citations
These citations are derived from selected sources.
This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Citations provided by BIP!
popularity
This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
BIP!Popularity provided by BIP!
influence
This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Influence provided by BIP!
impulse
This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
BIP!Impulse provided by BIP!
0
Average
Average
Average
Upload OA version
Are you the author of this publication? Upload your Open Access version to Zenodo!
It’s fast and easy, just two clicks!