University home page

Find an ExpertProfiling the University of Melbourne's Researchers

A/PROF GREG RESTALL



Contact Details

Organization: Philosophy, Anthropology and Social Inquiry
Position: ASSOCIATE PROFESSOR
Email:
Homepage: http://consequently.org/
Room: 203
Level: 02
Building: Old Quadrangle Building
Campus: Parkville

Research Expertise and International Linkages

Research Expertise

Research Interest Key Words Country of Expertise
Philosophy; Philosophical logic; theories of meaning Logic; Modal Logic; Semantics Australia

Qualifications, Honours, Fellowships and Other Awards

Qualifications

Title Institution Date Awarded Abbreviation
Bachelor of Science (honours) The University of Queensland 31-Dec-1989
Doctor of Philosophy The University of Queensland 31-Dec-1994

Fellowships

Fellowship Date Awarded
Fellow of the Australian Academy of the Humanities (FAHA) 01-Apr-2004

Government Research Classifications

Research Fields, Courses and Discipline Classifications

Socio-Economic Objective Classifications

Grants and Contracts

Research Grants, Contracts and Consultancies awarded to the University of Melbourne as the administering institution (since 2003) as recorded in Themis Agreements.

Grants

Title Role Funding Source Scheme Award Date
Options for proofs: new perspectives on propositional logic Chief Investigator AUST RESEARCH COUNCIL Discovery Projects 01/01/2003
Logical pluralism: new concepts of logical consequence Chief Investigator AUST RESEARCH COUNCIL Large Research Grants Scheme 09/09/2003
Logic, abstraction and construction Chief Investigator AUST RESEARCH COUNCIL Discovery Projects 01/01/2005

Publications

Publications produced at the University of Melbourne and reported in the Annual Publications Collection and 'Research Report' since 2001. The Themis Publications module, released in November 2006, allows additional publications from previous institutions and publications from past years to be entered.

Publications in 2008

Book Chapters

  • A Participatory Theory of the Atonement
    Year: 2008
    Book: New Waves in Philosophy of Religion
    Publisher: Palgrave Macmillan(Hampshire)
    Authors(s):
  • Curry's Revenge: the costs of non-classical solutions to the paradoxes of self-reference
    Year: 2008
    Book: The Revenge of the Liar
    Publisher: Oxford University Press(Oxford)
    Authors(s):
  • Envelopes and Indifference
    Year: 2008
    Book: Dialogues, Logics and Other Strange Things, essays in honour of Shahid Rahman
    Publisher: College Publications(London)
    Authors(s):
  • Models for Liars in Bradwardine's Theory of Truth
    Year: 2008
    Book: Unity, Truth and the Liar
    Publisher: Springer Science+Business Media(Dordrecht)
    Authors(s):
    URL - open access http://www.springerlink.com/content/ktm1x638x43k0k40/
  • Postscript to "Truthmakers, Entailment and Necessity"
    Year: 2008
    Book: Truth and Truth-making
    Publisher: Acumen Publishing
    Authors(s):
    Editors(s):
  • Proofnets for S5: sequents and circuits for modal logic
    Year: 2008
    Book: Logic Colloquium 2005
    Publisher: Cambridge University Press(New York)
    Authors(s):
    Editors(s):
    URL - open access http://www.cambridge.org/us/catalogue/catalogue.asp?isbn=9780521884259
  • Truthmakers, Entailment and Necessity
    Year: 2008
    Book: Truth and Truth-making
    Publisher: Acumen Publishing
    Authors(s):
    Editors(s):

Journal Articles

Conference Publications/Papers

  • Proof Theory and Meaning: on second order logic
    Year: 2008
    Event name: Logica 2007
    Conference Publication: Logica 2007 Yearbook
    Page numbers: 157-170
    Publisher: Filosofia(Prague)
    Author(s):

Publications in 2007

Journal Articles

Publications in 2006

Books

  • Logic: an introduction
    Year: 2006
    Publisher: Routledge - Taylor & Francis(Abingdon)
    Authors(s):
  • Logical pluralism
    Year: 2006
    Publisher: Oxford University Press(New York)
    Authors(s):

Book Chapters

  • Questions and answers on formal philosophy
    Year: 2006
    Book: Masses of formal philosophy: aim, scope, direction
    Publisher: Automatic Press
    Authors(s):
    Editors(s):
  • Relevant and substructural logics
    Year: 2006
    Book: Logic and the modalities in the 20th century
    Publisher: Elsevier(Amsterdam)
    Authors(s):

Journal Articles

  • Relevant restricted quantification
    Year: 2006
    Journal: Journal of Philosophical Logic
    Volume: 35
    Issue: 6
    Page numbers: 587-598
    Author(s):
    Super Search Source this item in the University's Catalouge locate this resource.

Publications in 2005

Book Chapters

  • Minimalists about truth can (and should) be epistemicists, and it helps if they are revision theorists too
    Year: 2005
    Book: Deflationism and paradox
    Publisher: Oxford University Press(Oxford)
    Authors(s):

Journal Articles

  • Constant domain quantified modal logics without Boolean negation
    Year: 2005
    Journal: Australasian Journal of Logic
    Volume: 3
    Issue: 2005
    Page numbers: 45-62
    Author(s):
    URL - open access http://eprints.infodiv.unimelb.edu.au/archive/00001752/
    Super Search Source this item in the University's Catalouge locate this resource.
  • Logics, situations and channels
    Year: 2005
    Journal: Journal of Cognitive Science
    Volume: 6
    Issue: 2
    Page numbers: 125-150
    Author(s):
    Super Search Source this item in the University's Catalouge locate this resource.
  • Lukasiewicz, Supervaluations and the Future
    Year: 2005
    Journal: L&PS - Logic and Philosophy of Science
    Volume: 3
    Issue: 2005
    Page numbers: 1-10
    Publisher: Department of Philosophy, University of Trieste
    Author(s):
    Super Search Source this item in the University's Catalouge locate this resource.
  • Moral fictionalism versus the rest
    Year: 2005
    Journal: Australasian Journal of Philosophy
    Volume: 83
    Issue: 3
    Page numbers: 307-330
    Publisher: Oxford University Press(Oxford)
    Author(s):
    Super Search Source this item in the University's Catalouge locate this resource.
  • The geometry of non-distributive logics
    Year: 2005
    Journal: Journal of Symbolic Logic
    Volume: 70
    Issue: 4
    Page numbers: 1108-1126
    Author(s):
    Super Search Source this item in the University's Catalouge locate this resource.

Major Reference Works

  • Logical Consequence:'Logical Consequence' in The Stanford encyclopedia of philosophy.
    Year: 2005
    Reference Work Title: Logical Consequence
    Publisher: The Metaphysics Research Lab, Centre for the Study of Langauge(Stanford)
    Author(s):

Conference Publications/Papers

  • Multiple conclusions
    Year: 2005
    Event name: Logic, methodology and philosophy of science; twelfth international congress
    Conference Publication: Logic, methodology and philosophy of science; proceedings of the twelfth international congress
    Volume: 12
    Issue: 1
    Page numbers: 189-206
    Publisher: King's College Publications(London)
    Author(s):

Publications in 2004

Book Chapters

  • Laws of non-contradiction, laws of the excluded middle, and logics
    Year: 2004
    Book: The law of non-contradiction
    Publisher: Oxford University Press(Oxford)
    Authors(s):
  • Logical pluralism and the preservation of warrant
    Year: 2004
    Book: Logic, epistemology, and the unity of science
    Publisher: Kluwer Academic Publishers(Dordrecht)
    Authors(s):

Journal Articles

  • One way to face facts
    Year: 2004
    Journal: Philosophical Quarterly
    Volume: 54
    Issue: 216
    Page numbers: 420-426
    Author(s):
    Super Search Source this item in the University's Catalouge locate this resource.
  • Routes to triviality
    Year: 2004
    Journal: Journal of Philosophical Logic
    Volume: 333
    Issue: 4
    Page numbers: 421-436
    Publisher: Kluwer Academic Publishers
    Author(s):
    Super Search Source this item in the University's Catalouge locate this resource.

Publications in 2003

Book Chapters

  • Logic
    Year: 2003
    Book: Fundamentals of philosophy
    Publisher: Routledge(London)
    Authors(s):

Journal Articles

  • Just what is full-blooded Platonism?
    Year: 2003
    Journal: Philosophia Mathematica
    Volume: 11
    Issue: 3
    Page numbers: 82-91
    Author(s):
    Super Search Source this item in the University's Catalouge locate this resource.
  • Paraconsistency everywhere
    Year: 2003
    Journal: Notre Dame Journal of Formal Logic
    Volume: 43
    Issue: 3
    Page numbers: 147-156
    Publisher: University of Notre Dame(Philadelphia)
    Author(s):
    Super Search Source this item in the University's Catalouge locate this resource.

Publications in 2002

Book Chapters

  • Relevance Logic
    Year: 2002
    Book: Handbook of Philosophical Logic
    Publisher: Kluwer Academic Publishers(Dordrecht)
    Authors(s):
    Editors(s):

Journal Articles

  • Carnap's tolerance, meaning, and logical pluralism
    Year: 2002
    Journal: Journal of Philosophy
    Volume: XCIX
    Issue: 8
    Page numbers: 426-443
    Author(s):
    Super Search Source this item in the University's Catalouge locate this resource.
top of page