References
BerryG. D. W., ‘On Quine's axioms of quantification’,Journal of Symbolic Logic 6 (1941), 23–27.
KripkeS., ‘Semantical considerations on modal logic’,Acta Philosophica Fennica 16 (1963), 83–94.
LambertK., ‘Existential import revisited’,Notre Dame Journal of Formal Logic 4 (1963), 288–292.
LeblancH. and MeyerR. K., ‘On prefacing (∀X)A⊃AY/X with (∀Y)−A free quantification theory without identity’,Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 16 (1970), 447–462.
QuineW. V.,Mathematical Logic (1 st edn.), Harvard University Press, Boston, 1940.
Quine, W. V., 2nd edn. of above (1951)/
TrewA., ‘Nonstandard theories of quantification and identity’,Journal of Symbolic Logic 35 (1970), 267–294.
Author information
Authors and Affiliations
Additional information
I have been helped, in writing this paper, by the kind advice and encouragement of Karel Lambert and Hugues Leblanc.
Rights and permissions
About this article
Cite this article
Fine, K. The permutation principle in quantificational logic. J Philos Logic 12, 33–37 (1983). https://doi.org/10.1007/BF02329199
Issue Date:
DOI: https://doi.org/10.1007/BF02329199