This decommissioned ERA site remains active temporarily to support our final migration steps to https://ualberta.scholaris.ca, ERA's new home. All new collections and items, including Spring 2025 theses, are at that site. For assistance, please contact erahelp@ualberta.ca.
Search
Skip to Search Results- 2Frege
- 1Constitution
- 1Dedekind
- 1Instantiation
- 1Law of Non-Contradiction LNC
- 1Law of the Excluded Middle LEM
-
Fall 2009
The problem which spurred this thesis has three components. First, there are entities which we may call stuff – alluded to by uncountable nouns; these entities seem to have a duality for behaving like both (i) an object or a discrete middle size substance – which are supposed to be non-repetitive...
-
Fall 2014
This thesis investigates the status of Mathematical Induction (MI) in an axiomatic system. It first reviews and analyses the status of MI in the works of Gotlob Frege and Richard Dedekind, the pioneers of logicism who, in providing foundations for arithmetic, attempted to reduce MI to what they...