dc.contributor.author |
Cresswell, Maxwell John |
|
dc.date.accessioned |
2011-07-13T21:31:48Z |
|
dc.date.accessioned |
2022-10-27T00:40:07Z |
|
dc.date.available |
2011-07-13T21:31:48Z |
|
dc.date.available |
2022-10-27T00:40:07Z |
|
dc.date.copyright |
1960 |
|
dc.date.issued |
1960 |
|
dc.identifier.uri |
https://ir.wgtn.ac.nz/handle/123456789/25333 |
|
dc.description.abstract |
I have used, where available the standard Russellian symbolism and unless otherwise stated I intend it to have its normal interpretation. The following symbols require explanation; '@' is to be interpreted as a symbol for any number of any propositional variables.It is not a metasymbol however and is uninterpreted in a pure calculus. '(@)' is a symbol for a string of universal quantifiers.
'f'' is to be interpreted as a variable for a truth functor of n argument places. When followed by a string of variables, n is equal to the number of distict variables.When followed by @ the number of argument places is left indeterminate. |
en_NZ |
dc.format |
pdf |
en_NZ |
dc.language |
en_NZ |
|
dc.language.iso |
en_NZ |
|
dc.publisher |
Te Herenga Waka—Victoria University of Wellington |
en_NZ |
dc.title |
Investigations in modal logic, with attention to relations between quantifiers and modal operators |
en_NZ |
dc.type |
Text |
en_NZ |
vuwschema.type.vuw |
Awarded Research Masters Thesis |
en_NZ |
thesis.degree.discipline |
Philosophy |
en_NZ |
thesis.degree.grantor |
Te Herenga Waka—Victoria University of Wellington |
en_NZ |
thesis.degree.level |
Masters |
en_NZ |
thesis.degree.name |
Master of Arts |
en_NZ |