Return to search

The formalization of implication in propositional logic.

This thesis presents the results or an attempt to isolate and give an axiomatic basis for the pure-implication fragment or each or several logical systems. C. I. Lewis points out that exact logic may be taken as a canon or deductive inference, and that the chief business of a canon or deduction is to delineate correctly the properties of the relation of 'implication’. It seems clear, then, that criticism or any logical calculus must include consideration of just what properties are imputed to the relation of ‘implication' by that calculus.

Identiferoai:union.ndltd.org:LACETR/oai:collectionscanada.gc.ca:QMM.115238
Date January 1963
CreatorsSchindler, Patrick. F.
ContributorsMcCall, R. (Supervisor)
PublisherMcGill University
Source SetsLibrary and Archives Canada ETDs Repository / Centre d'archives des thèses électroniques de Bibliothèque et Archives Canada
LanguageEnglish
Detected LanguageEnglish
TypeElectronic Thesis or Dissertation
Formatapplication/pdf
CoverageMaster of Arts. (Department of Philosophy.)
RightsAll items in eScholarship@McGill are protected by copyright with all rights reserved unless otherwise indicated.
Relationalephsysno: NNNNNNNNN, Theses scanned by McGill Library.

Page generated in 0.0092 seconds