Greg Restall (born 11 January 1969) is an Australian philosopher and Professor of
Philosophy
Philosophy ('love of wisdom' in Ancient Greek) is a systematic study of general and fundamental questions concerning topics like existence, reason, knowledge, Value (ethics and social sciences), value, mind, and language. It is a rational an ...
at the
University of St Andrews
The University of St Andrews (, ; abbreviated as St And in post-nominals) is a public university in St Andrews, Scotland. It is the List of oldest universities in continuous operation, oldest of the four ancient universities of Scotland and, f ...
.
He is a fellow of the
Australian Academy of the Humanities
The Australian Academy of the Humanities was established by Royal Charter in 1969 to advance scholarship and public interest in the humanities in Australia. It operates as an independent not-for-profit organisation partly funded by the Australi ...
.
Restall is known for his research on
logic
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths. It examines how conclusions follow from premises based on the structure o ...
and
theories of meaning.
After working at the
University of Melbourne
The University of Melbourne (colloquially known as Melbourne University) is a public university, public research university located in Melbourne, Australia. Founded in 1853, it is Australia's second oldest university and the oldest in the state ...
for years he was appointed the Shelby Cullom David Professor of Philosophy at the University of St Andrews.
Books
* ''An Introduction to Substructural Logics'', Routledge, 2000
* ''Logic'', Routledge, 2006
* ''Logical Pluralism'', with
Jc Beall, Oxford University Press, 2006
* ''Logical Methods'', with Shawn Standefer, MIT Press, 2023
See also
*
Substructural logic
*
Validity (logic)
In logic, specifically in deductive reasoning, an argument is valid if and only if it takes a form that makes it impossible for the premises to be truth, true and the conclusion nevertheless to be False (logic), false. It is not required for a va ...
*
Logical harmony
Logical harmony, a name coined by Michael Dummett, is a supposed constraint on the rules of inference that can be used in a given logical system.
Overview
The logician Gerhard Gentzen proposed that the meanings of logical connectives could be giv ...
*
Relevance logic
References
External links
Personal WebsiteGreg Restall at the University of Melbournehttps://www.st-andrews.ac.uk/philosophy/news/title-114634-en.php
Analytic philosophers
Christian philosophers
Australian philosophy academics
Living people
Academic staff of the University of Melbourne
University of Queensland alumni
1969 births
Australian philosophers of language
Australian logicians
Philosophers of logic
Academic staff of Macquarie University
Academic staff of the Australian National University
Fellows of the Australian Academy of the Humanities
{{Christian-philosopher-stub