Skip to main content
SpringerLink
Log in

Logic in Australia

  • Chapter
Essays on Philosophy in Australia

Part of the book series: Nijhoff International Philosophy Series ((NIPS,volume 46))

Abstract

This account of logic studies in Australia consists of discussions of a number of technical results and theories in logic which seem to me to be both interesting and representative. The material covered largely concerns the work of the ‘relevant logic’ school of which I am a member, but I also discuss other work such as the significance logics of Goddard and Routley, various analyses of conditionals proposed by V.H. Dudman, B. Ellis, and F. Jackson, and C.L. Hamblin’s theory of formal dialogues.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

Bibliography of Works Referred to

  • Ackermann, W. (1956): ‘Begründung einer strengen Implikation’, Journal of Symbolic Logic, 21, pp. 113–128.

    Article  Google Scholar 

  • Anderson, A.R. and Belnap, N.D. Jr. (1975): Entailment: The Logic of Relevance and Necessity, vol I, Princeton U.P.

    Google Scholar 

  • Brady, R. (1983): ‘The simple consistency of a set theory based on the logic CSQ’, Notre Dame J. Formal Logic, 24, pp. 431–449.

    Article  Google Scholar 

  • Brady, R (1988): ‘The non-triviality of dialectical set theory’, in Priest, Routley and Norman (1988).

    Google Scholar 

  • Brady, R. and Routley, R. (1988): ‘The non-triviality of extensional dialectical set theory’, typescript.

    Google Scholar 

  • Church, A. (1951): ‘The weak theory of implication’, in Controlliertes Denken, Untersuchungen zum Logikkalkul und der Logik der Einzelwissenschaften, ed. Menne-Wilhelmy-Angsil, Munich, pp. 22–37.

    Google Scholar 

  • Copeland, B.J. (1979): ‘On when a semantics is not a semantics’, Journal of Philosophical Logic, 8, pp. 399–413.

    Article  Google Scholar 

  • Copeland, B.J. (1983): ‘Pure semantics and applied semantics’, Topoi, 2, pp. 197–204.

    Article  Google Scholar 

  • Copeland, B.J. (1986): ‘What is a semantics for classical negation’, Mind, 380, pp. 478–489.

    Article  Google Scholar 

  • Cresswell, M. (1973): Logics and Languages, London: Methuen.

    Google Scholar 

  • Dudman, V.H. (1984a): ‘Conditional interpretation of “IP-sentences’, Australian Journal of Linguistics, 4, pp. 143–204.

    Article  Google Scholar 

  • Dudman, V.H. (1984b): ‘Parsing “IP-sentences’, Analysis, 44, pp. 145–153.

    Google Scholar 

  • Ellis, B. (1979): Rational Belief Systems, Oxford: Blackwell.

    Google Scholar 

  • Geach, P.T. (1954): ‘On Insolubilia’, Analysis, 15, pp.71–72.

    Google Scholar 

  • Goddard, L. (1988): ‘A partly autobiographical and mainly anecdotal account of the short history of logic in Australia’, University of Melbourne Philosophy Department pre-print series, 3/88. (Reprinted in an edited and revised version in the present volume.)

    Google Scholar 

  • Goddard, L. and Routley, R. (1973): The Logic of Significance and Context, St.Andrews: Scottish Academic Press.

    Google Scholar 

  • Grave, S.A. (1984): A History of Philosophy in Australia, St. Lucia: University of Queensland Press.

    Google Scholar 

  • Hamblin, C. (1970): Fallacies, London: Methuen.

    Google Scholar 

  • Hamblin, C. (1971): ‘Mathematical models of dialogue’, Theoria, 37, pp. 130–155.

    Article  Google Scholar 

  • Jackson, F. (1987): Conditionals, Oxford: Blackwell.

    Google Scholar 

  • Kleene, S.C. (1952): Introduction to metamathematics, Amsterdam: North Holland.

    Google Scholar 

  • Lewis, D.K. (1970): ‘General semantics’, Synthese, 22, pp. 18–67.

    Article  Google Scholar 

  • Malinas, G. and Rennie, M.K. (1970): ‘Logic for predicate modifiers and some of their applications’, typescript.

    Google Scholar 

  • Martin, E.P. (1979): The P-W Problem, Ph.D. thesis, ANU.

    Google Scholar 

  • Martin, E.P. (1983): ‘Noncircular Logic’, University of Melbourne preprint series, no. 7/83.

    Google Scholar 

  • Martin E.P. and Meyer, R.K. (1979): ‘S for syllogism’, draft typescript.

    Google Scholar 

  • Martin, E.P. (1982): ‘Solution to the P-W problem’, Journal of Symbolic Logic, 47, pp. 869–887.

    Article  Google Scholar 

  • Meyer, R.K. (1974): ‘Entailment is not strict implication’, Australasian Journal of Philosophy, 52, pp. 212–231.

    Article  Google Scholar 

  • Meyer, R.K. (1975a): ‘The consistency of arithmetic’, typescript, ANU.

    Google Scholar 

  • Meyer, R.K. (1975b): ‘Arithmetic formulated relevantly’, typescript, ANU.

    Google Scholar 

  • Meyer, R.K. (1976): ‘A boolean valued semantics for R’, Research papers in Logic, No. 4, Logic Group, RSSS, ANU.

    Google Scholar 

  • Meyer, R.K. and Dunn, J.M. (1969): ‘E, R and gamma’, Journal of Symbolic Logic, 34, pp. 460–474.

    Article  Google Scholar 

  • Meyer, R.K. and Friedman, H. (1989): ‘Can we implement relevant arithmetic’, typescript, ANU.

    Google Scholar 

  • Meyer, R.K. and Routley, R. (1973): ‘Classical relevant logics I’, Studia Logica, 32, pp. 51–66.

    Article  Google Scholar 

  • Meyer, R.K. (1974): ‘Classical relevant logic II’, Studia Logica, 33, pp. 183–194.

    Article  Google Scholar 

  • Meyer, R.K. (1977): ‘Extensional reduction I’, The Monist, 60, pp. 355–369.

    Google Scholar 

  • Meyer, R.K. (1975): ‘Extensional reduction II’, typescript, ANU.

    Google Scholar 

  • Montague, R. (1974): Formal Philosophy, ed. R. Thomason, New Haven: Yale U.P.

    Google Scholar 

  • Priest, G. (1979): ‘The logic of paradox’, Journal of Philosophical Logic, 8, pp. 219–241.

    Article  Google Scholar 

  • Priest, G. (1980): ‘Sense, Entailment and Modus Ponens’, Journal of Philosophical Logic, 9, pp. 415–435.

    Article  Google Scholar 

  • Priest, G. and Routley, R. (1983): ‘On Paraconsistency’, Research Series in Logic and Metaphysics, Department of Philosophy, RSSS, ANU.

    Google Scholar 

  • Priest, G., Routley, R. and Norman, J. (1988): Paraconsistent Logic, Philosophia Verlag.

    Google Scholar 

  • Quine, W.V.O. (1953): ‘Three grades of modal involvement’, Proceedings of XIth International Congress of Philosophy (Brussels, 1953), vol. 14, pp. 65–81. (Reprinted in Quine’s Ways of Paradox (Random House 1966)).

    Google Scholar 

  • Rennie, M.K. (1968): ‘S3(S) = S3.5’, Journal of Symbolic Logic, 33, pp. 444–445.

    Article  Google Scholar 

  • Rennie, M.K. (1970): ‘Models for multiply modal systems’, Zeitschr. f. math. Logik und Grundlagen d. Math., 16, pp. 175–186.

    Article  Google Scholar 

  • Rennie, M.K. (1971a): ‘Completeness in the logic of predicate modifiers’, Logique et Analyse, 14, pp. 627–643.

    Google Scholar 

  • Rennie, M.K. (1971b): ‘Semantics for RKt‘, Journal of Symbolic Logic, 36, pp. 97–107.

    Article  Google Scholar 

  • Rennie, M.K. (1974): Some uses of type theory in the analysis of language, RSSS.

    Google Scholar 

  • Rennie, M.K. (1990): Some uses of type theory in the analysis of language, second edition including revisions and additional chapters, ed. E.P. Martin, Nijhoff.

    Google Scholar 

  • Routley, R. (1975): ‘Universal semantics’, Journal of Philosophical Logic, 4, pp. 327–356.

    Article  Google Scholar 

  • Routley, R. (1982): ‘Research in logic in Australia, New Zealand and Oceania: Its brief history and its present state’, Research papers in logic #14, Logic Group, Department of Philosophy, RSSS, Australian National University.

    Google Scholar 

  • Routley, R. and Routley, V. (1972): ‘The semantics of first degree entailment’, Nous, 6, pp. 335–358.

    Article  Google Scholar 

  • Routley, R. and Meyer, R.K. (1972a): ‘The semantics of entailment I’, Journal of Philosophical Logic, 1, pp. !53–73.

    Article  Google Scholar 

  • Routley, R. and Meyer, R.K. (1972b): ‘The semantics of entailment HI’, Journal of Philosophical Logic, 1, pp. 192–308.

    Article  Google Scholar 

  • Routley, R. and Meyer, R.K. (1972c): ‘The semantics of entailment IV, typescript, ANU. (Reprinted as Appendix A of Routley et.al. (1982).

    Google Scholar 

  • Routley, R. and Meyer, R.K. (1973): ‘The semantics of entailment (I)’, in H. Leblanc (ed.): Truth, Syntax, and Modality, Amsterdam: North-Holland, pp. 199–243.

    Chapter  Google Scholar 

  • Routley, R. and Meyer, R.K. (1976): ‘Every sentential logic has a two-valued worlds semantics’, Logique et Analyse, 19, pp. 345–365.

    Google Scholar 

  • Routley, R., Meyer, R.K., Plumwood, V. and Brady, R.T. (1982): Relevant Logics and their Rivals, Atasceradero, California: Ridgeview Press.

    Google Scholar 

  • Routley, R., Routley, V., Meyer, R.K. and Martin E.P. (1983): ‘On the philosophical bases of relevant logic semantics’, Journal of Non-classical Logic, 1, pp. 71–102.

    Google Scholar 

  • Skolem, Th. (1957): ‘Bemerkungen zum Komprehensionsaxiom’, Z. Math. Logik, 3, pp. 1–17.

    Article  Google Scholar 

  • Tichy, P. (1971): ‘An approach to intensional analysis’, Nous, 5, pp. 273–297.

    Article  Google Scholar 

Download references

Authors
  1. E. P. Martin
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Melbourne, Australia

    Jan T. J. Srzednicki  & David Wood  & 

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer Science+Business Media Dordrecht

About this chapter

Cite this chapter

Martin, E.P. (1992). Logic in Australia. In: Srzednicki, J.T.J., Wood, D. (eds) Essays on Philosophy in Australia. Nijhoff International Philosophy Series, vol 46. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-8006-9_10

Download citation

  • DOI: https://doi.org/10.1007/978-94-015-8006-9_10

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-90-481-4151-7

  • Online ISBN: 978-94-015-8006-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation